In this short paper we present the main features of a new quantum programming language proposed recently by Peter Selinger which gives a good idea about the difficulties of constructing a scalable quantum computer. We show how some of these difficulties are related to the contextuality of quantum observables and to the abstract and statistical character of quantun theory (QT). We discuss also, in some detail, the statistical interpretation (SI) of QT and the contextuality of observables indicating the importance of these concepts for the whole domain of quantum information.
Whereas complementarity manifests itself via two incompatible observables, quantum contextuality can only be revealed via the joint measurements among at least three observables. By incorporating unsharp measurements and joint measurements into a realistic model, we reestablish an inequality due to Liang, Spekkens, and Wiseman rigorously based on the assumption of noncontextuality alone. Its violation therefore unambiguously pinpoints the quantum contextuality of a two-level system. The maximal violation is attained by three triplewise jointly measurable observables that are pairwise jointly m…
We investigate small geometric configurations that furnish observable-based proofs of the Kochen-Specker theorem. Assuming that each context consists of the same number of observables and each observable is shared by two contexts, it is proved that the most economical proofs are the famous Mermin-Peres square and the Mermin pentagram featuring, respectively, $9$ and $10$ observables, there being no proofs using less than $9$ observables. We also propose a new proof with $14$ observables forming a `magic' heptagram. On the other hand, some other prominent small-size finite geometries, like the …
We propose a test of quantum contextuality for a single three-level system that uses nine projective measurements. It has a form of an inequality that has to be satisfied by any non-contextual theory and which is violated by any quantum state, except for the maximally mixed one. Due to the fact that there is only a single state that does not exhibit contextuality, it is natural to ask what the difference between state-independent tests and the one proposed here is.
We introduce contextual values as a generalization of the eigenvalues of an observable that takes into account both the system observable and a general measurement procedure. This technique leads to a natural definition of a general conditioned average that converges uniquely to the quantum weak value in the minimal disturbance limit. As such, we address the controversy in the literature regarding the theoretical consistency of the quantum weak value by providing a more general theoretical framework and giving several examples of how that framework relates to existing experimental and theoreti…
We consider any noncontextuality inequality, and the state preparation scheme which consists in performing any von Neumann measurement on any initial state. For an inequality which is not always satisfied, and Hilbert space dimensions greater than a value specified by the inequality, we determine necessary and sufficient conditions for the existence of observables with which the inequality is violated after the preparation process. For an initial state with no zero eigenvalues, there are always such observables, and which are independent of this state.
Previous experimental tests of quantum contextuality based on the Bell-Kochen-Specker (BKS) theorem have demonstrated that not all observables among a given set can be assigned noncontextual eigenvalue predictions, but have never identified which specific observables must fail such assignment. We now remedy this shortcoming by showing that BKS contextuality can be confined to particular observables by pre- and postselection, resulting in anomalous weak values that we measure using modern neutron interferometry. We construct a confined contextuality witness from weak values, which we measure ex…
The contextuality of quantum mechanics, i.e. the measurement outcome dependence upon previously made measurements, can be shown by the violation of inequalities based on measurements of well chosen observables. An important property of such observables is that their expectation value can be expressed in terms of probabilities of obtaining two exclusive outcomes. In order to satisfy this, inequalities have been constructed using either observables with a dichotomic spectrum or using periodic functions obtained from displacement operators in phase space. Here we identify the general conditions o…
Recent experiments have shown that nature violates noncontextual inequalities regardless of the state of the physical system. So far, all these inequalities involve measurements of dichotomic observables. We show that state-independent quantum contextuality can also be observed in the correlations between measurements of observables with genuinely continuous spectra, highlighting the universal character of the effect.
Our aim is to compare the fundamental notions of quantum physics - contextuality vs. incompatibility. One has to distinguish two different notions of contextuality, {\it Bohr-contextuality} and {\it Bell-contextuality}. The latter is defined operationally via violation of noncontextuality (Bell type) inequalities. This sort of contextuality will be compared with incompatibility. It is easy to show that, for quantum observables, there is {\it no contextuality without incompatibility.} The natural question arises: What is contextuality without incompatibility? (What is "dry-residue"?) Generally …
Contextuality, a generalization of non-locality, has been proposed as the resource that provides the computational speed-up for quantum computation. For universal quantum computation using qudits, of odd-prime dimension, contextuality has been shown to be a necessary and possibly sufficient resource. However, the role of contextuality in quantum computation with qubits remains open. The $n$-qubit stabilizer formalism, which by itself cannot provide a quantum computer super-polynomial computational advantage over a classical counterpart, is contextual. Therefore contextuality cannot be identifi…
Quantum contextuality in systems of identical bosonic particles is explicitly exhibited via the maximum violation of a suitable inequality of Clauser-Horne-Shimony-Holt type. Unlike the approaches considered so far, which make use of single-particle observables, our analysis involves collective observables constructed using multi-boson operators. An exemplifying scheme to test this violation with a quantum optical setup is also discussed.
Kochen-Specker theorems assure the breakdown of certain types of non-contextual hidden variable theories through the non-existence of global, holistic frame functions; alas they do not allow us to identify where this breakdown occurs, nor the extent of it. It was recently shown [Phys. Rev. A 86, 062109 (2012)] that this breakdown does not occur everywhere; here we show that it is maximal in that it occurs almost everywhere, and thus prove that quantum indeterminacy--often referred to as contextuality or value indefiniteness--is a global property as is often assumed. In contrast to the Kochen-S…
In the Contextuality-by-Default theory random variables representing measurement outcomes are labeled contextually, i.e., not only by what they measure but also under what conditions (in what contexts) the measurements are made, including but not reducible to what other measurements are made "together" with the given one. We propose in this paper that the quantum observables generating these random variables be labeled contextually as well, making the sets of the observables in different contexts disjoint. A quantum observable is defined as a pair consisting of the observable's label and a sel…
We experimentally test quantum contextuality of a single qutrit using NMR. The contextuality inequalities based on nine observables developed by Kurzynski et. al. are first reformulated in terms of traceless observables which can be measured in an NMR experiment. These inequalities reveal the contextuality of almost all single-qutrit states. We demonstrate the violation of the inequality on four different initial states of a spin-1 deuterium nucleus oriented in a liquid crystal matrix, and follow the violation as the states evolve in time. We also describe and experimentally perform a single-s…
This paper illustrates a direct connection between quantum steering and non-trivial preparation contextuality. In two party-two measurement per party-two outcomes per measurement $(2-2-2)$ Bell scenario, any argument of Bell nonlocality is a proof of trivial preparation contextuality; however, the converse may not hold. If one of the parties (say, Alice) performs the measurements of more than two dichotomic observables, then it is possible to find a set of non-trivial functional relations between Alice's observables. We argue that the existence of a suitable set of such non-trivial relations b…
Counterfactual reasoning and contextuality is defined and critically evaluated with regard to its nonempirical content. To this end, a uniqueness property of states, explosion views and link observables are introduced. If only a single context associated with a particular maximum set of observables can be operationalized, then a context translation principle resolves measurements of different contexts.
Contextuality is a necessary resource for universal quantum computation and non-contextual quantum mechanics can be simulated efficiently by classical computers in many cases. Orders of Planck's constant, $\hbar$, can also be used to characterize the classical-quantum divide by expanding quantities of interest in powers of $\hbar$---all orders higher than $\hbar^0$ can be interpreted as quantum corrections to the order $\hbar^0$ term. We show that contextual measurements in finite-dimensional systems have formulations within the Wigner-Weyl-Moyal (WWM) formalism that require higher than order …
Despite the conceptual importance of contextuality in quantum mechanics, there is a hitherto limited number of applications requiring contextuality but not entanglement. Here, we show that for any quantum state and observables of sufficiently small dimensions producing contextuality, there exists a communication task with quantum advantage. Conversely, any quantum advantage in this task admits a proof of contextuality whenever an additional condition holds. We further show that given any set of observables allowing for quantum state-independent contextuality, there exists a class of communicat…
Contextuality is a central property in comparative analysis of classical, quantum, and supercorrelated systems. We examine and compare two well-motivated approaches to contextuality. One approach ("contextuality-by-default") is based on the idea that one and the same physical property measured under different conditions (contexts) is represented by different random variables. The other approach is based on the idea that while a physical property is represented by a single random variable irrespective of its context, the joint distributions of the random variables describing the system can invo…
The Bell-KS theorem and the more recent $ψ$-epistemic \emph{no-go} theorems of QM are discussed in the context of Entropic Dynamics. In doing so we find that the Bell-KS theorem allows for, a perhaps overlooked, hybrid-contextual model of QM in which one set of commuting observables (position in this case) is non-contextual and all other observables are contextual. Entropic Dynamics is in a unique position as compared to other foundational theories of QM because it derives QM using standard techniques in Bayesian probability theory. In this formalism, position is the preferred basis from which…
The structural connections between the Kochen-Specker (KS) theorem, pre- and post-selection (PPS) paradoxes, and anomalous weak values are explored in detail. All PPS paradoxes, such as the 3-box paradox, the Quantum Cheshire Cat, and the Quantum Pigeonhole principle, construct a particular type of ontological model that assigns an eigenvalue to each observable (independent of context) of a system such that these assignments are consistent with the PPS. It is shown that such an ontological model must be explicitly contextual in the sense of the KS theorem, or otherwise implies either a restric…
The contextuality and noncontextuality notions are considered in framework of probability representation of quantum states. Example of qutrit states and violation of the noncontextuality inequalities are presented by using the spin tomogram and tomographic symbols of the observables.
There is presented a contextual statistical model of the probabilistic description of physical reality. Here contexts (complexes of physical conditions) are considered as basic elements of reality. There is discussed the relation with QM. We propose a realistic analogue of Bohr's principle of complementarity. In the opposite to the Bohr's principle, our principle has no direct relation with mutual exclusivity for observables. To distinguish our principle from the Bohr's principle and to give better characterization, we change the terminology and speak about supplementarity, instead of compleme…
The claim of Meyer, Kent and Clifton (MKC) that finite precision measurement nullifies the Kochen-Specker theorem is criticised. It is argued that, although MKC have nullified the Kochen-Specker theorem strictly so-called, there are other, related propositions which are not nullified. The argument given is an elaboration of some of Mermin's critical remarks. Although MKC allow for the fact that the observables to be measured cannot be precisely specified, they continue to assume that the observables which are actually measured are strictly commuting. As Mermin points out, this assumption is un…
The Klyachko inequality is an inequality for the probabiities of the values of five observables of a spin-1 particle, which is satisfied by any noncontextual assignment of values to this set of observables, but is violated by the probabilities defined by a certain quantum state. We describe an experiment between two entangled spin-1 particles to test contextuality via a related inequality. We point out that a test of contextuality by measurements on a single particle to confirm the Klyachko inequality requires an assumption of non-disturbance by the measuring instrument, which is avoided in th…
The goal of the paper is to check whether the real eigenstates of the observables in the single qudit Pauli group may lead to quantum contextuality, the property that mutually compatible and independent experiments depend on each other. We find that quantum contextuality crops up at dimension twelve in various configurations with a few rays. We use the Shannon capacity for characterizing the corresponding orthogonality graphs. Some arithmetical properties underlying the qudit contextuality are outlined.
Given the symplectic polar space of type $W(5,2)$, let us call a set of five Fano planes sharing pairwise a single point a Fano pentad. Once 63 points of $W(5,2)$ are appropriately labeled by 63 non-trivial three-qubit observables, any such Fano pentad gives rise to a quantum contextual set known as Mermin pentagram. Here, it is shown that a Fano pentad also hosts another, closely related contextual set, which features 25 observables and 30 three-element contexts. Out of 25 observables, ten are such that each of them is on six contexts, while each of the remaining 15 observables belongs to two…
The Suppes-Zanotti inequalities involving the joint expectations of just three binary quantum observables are (re-)derived by the hull computation of the respective correlation polytope. A min-max calculation reveals its maximal quantum violations correspond to a generalized Tsirelson bound. Notions of "contextuality" motivated by such violations are critically reviewed.
We present a detailed motivation for and definition of the contextual values of an observable, which were introduced by Dressel et al. [Phys. Rev. Lett. 104 240401 (2010)]. The theory of contextual values extends the well-established theory of generalized state measurements by bridging the gap between partial state collapse and the observables that represent physically relevant information about the system. To emphasize the general utility of the concept, we first construct the full theory of contextual values within an operational formulation of classical probability theory, paying special at…
We employ a trapped ion to study quantum contextual correlations in a single qutrit using the 5-observable KCBS inequality, which is arguably the most fundamental non-contextuality inequality for testing Quantum Mechanics (QM). We quantify the effect of systematics in our experiment by purposely scanning the degree of signaling between measurements, which allows us to place realistic bounds on the non-classicality of the observed correlations. Our results violate the classical bound for this experiment by up to 25 standard deviations, while being in agreement with the QM limit. In order to tes…
We use a single trapped-ion qutrit to demonstrate the violation of an input-state-independent non-contextuality inequality using a sequence of randomly chosen quantum non-demolition projective measurements. We concatenate 54 million sequential measurements of 13 observables, and violate an optimal non-contextual bound by 214 standard deviations. We use the same dataset to characterize imperfections including signaling and repeatability of the measurements. The experimental sequence was generated in real time with a quantum random number generator integrated into our control system to select th…
In Itamar Pitowsky's reading of the Gleason and the Kochen-Specker theorems, in particular, his Logical Indeterminacy Principle, the emphasis is on the value indefiniteness of observables which are not within the preparation context. This is in stark contrast to the prevalent term {\em contextuality} used by many researchers in informal, heuristic yet omni-realistic and potentially misleading ways. This paper discusses both concepts and argues in favor of value indefiniteness in all but a continuum of contexts intertwining in the vector representing a single pure (prepared) state. Even more re…
We show that the perfect commutation graph is the sufficient tight condition for admitting the noncontextual description of each observable set satisfying it in the yes-no question scenario. With this condition, we propose a method for proving the monogamy relation between two informationtheoretic contextuality inequalities by decomposing the total commutation graph into perfect subgraphs. The results offer a powerful tool to investigate the contextuality and to understand quantum information theory. This theoretical work can be experimentally verified in current laboratorial technology.
We argue that the experiment described in the recent Letter by Zu et al. [Phys. Rev. Lett. 109, 150401 (2012); arXiv:1207.0059v1] does not allow to make conclusions about contextuality, since the measurement of the observables as well as the preparation of the state manifestly depend on the chosen context.
We show that, for any system with a number of levels which can be identified with n qubits, there is an inequality for the correlations between three compatible dichotomic measurements which must be satisfied by any noncontextual theory, but is violated by any quantum state. Remarkably, the violation grows exponentially with n, and the tolerated error per correlation also increases with n, showing that state-independent quantum contextuality is experimentally observable in complex systems.
Quantum contextuality, as proved by Kochen and Specker, and also by Bell, should manifest itself in any state in any system with more than two distinguishable states and recently has been experimentally verified on various physical systems. However for the simplest system capable of exhibiting contextuality, a qutrit, the quantum contextuality is verified only state-dependently in experiment because too many (at least 31) observables are involved in all the known state-independent tests. Here we report an experimentally testable inequality involving only 13 observables that is satisfied by all…
Contextuality provides a unifying paradigm for nonclassical aspects of quantum probabilities and resources of quantum information. Unfortunately, most forms of quantum contextuality remain experimentally unexplored due to the difficulty of performing sequences of projective measurements on individual quantum systems. Here we show that two-point correlations between binary compatible observables are sufficient to reveal any form of contextuality. This allows us to design simple experiments that are more robust against imperfections and easier to analyze, thus opening the door for observing inte…
A PhD student is locked inside a box, imitating a quantum system by mimicking the measurement statistics of any viable observable nominated by external observers. Inside a second box lies a genuine quantum system. Either box can be used to pass a test for contextuality - and from the perspective of an external observer, be operationally indistinguishable. There is no way to discriminate between the two boxes based on the output statistics of any contextuality test. This poses a serious problem for contextuality tests to be used as viable tests for device independent quantumness, and severely l…
This is an up-to-date survey of the p-mechanical construction (see funct-an/9405002, quant-ph/9610016, math-ph/0007030, quant-ph/0212101, quant-ph/0303142), which is a consistent physical theory suitable for a simultaneous description of classical and quantum mechanics. Observables in p-mechanics are defined to be convolution operators on the Heisenberg group H^n. Under irreducible representations of H^n the p-observables generate corresponding observables in classical and quantum mechanics. p-States are defined as positive linear functionals on p-observables. It is shown that both states and …
In recent years there has been a growing interest in treating many-body systems as Bell scenarios, where lattice sites play the role of distant parties and only near-neighbor statistics are accessible. We investigate contextuality arising from three Bell scenarios in infinite, translation-invariant 1D models: nearest-neighbor with two dichotomic observables per site; nearest- and next-to-nearest neighbor with two dichotomic observables per site and nearest-neighbor with three dichotomic observables per site. For the first scenario, we give strong evidence that it cannot exhibit contextuality, …
Wheeler's {\it observer-participancy} and the related {\it it from bit} credo refer to quantum non-locality and contextuality. The mystery of these concepts slightly starts unveiling if one encodes the (in)compatibilities between qubit observables in the relevant finite geometries. The main objective of this treatise is to outline another conceptual step forward by employing Grothendieck's {\it dessins d'enfants} to reveal the topological and (non)algebraic machinery underlying the measurement acts and their information content.
For spin-1/2 particles, using a suitable Mach-Zehnder-type setup with a spin-flipper, we argue that it is a direct consequence of the quantum mechanical treatment that an experimentally verifiable \textit{subensemble} mean of the measured values of an arbitrarily chosen spin variable exhibits dependence on the choice of a comeasurable `path' observable. This, in turn, enables inferring path-spin contextuality at the level of individual measured values of spin that are predetermined using a relevant hidden-variable model applied to our setup.
No physical measurement can be performed with infinite precision. This leaves a loophole in the standard no-go arguments against non-contextual hidden variables. All such arguments rely on choosing special sets of quantum-mechanical observables with measurement outcomes that cannot be simulated non-contextually. As a consequence, these arguments do not exclude the hypothesis that the class of physical measurements in fact corresponds to a dense subset of all theoretically possible measurements with outcomes and quantum probabilities that \emph{can} be recovered from a non-contextual hidden var…
Quantum contextuality is a source of quantum computational power and a theoretical delimiter between classical and quantum structures. It has been substantiated by numerous experiments and prompted generation of state independent contextual sets, that is, sets of quantum observables capable of revealing quantum contextuality for any quantum state of a given dimension. There are two major classes of state-independent contextual sets - the Kochen-Specker ones and the operator-based ones. In this paper, we present a third, hypergraph-based class of contextual sets. Hypergraph inequalities serve a…
Recently, an interesting form of non-classical effect which can be considered as a form of contextuality within quantum mechanics, has been demonstrated for a four-level system by discriminating the different routes that are taken for measuring a single observable. In this paper, we provide a simpler version of that proof for a single qutrit, which is also within the formalism of quantum mechanics and without recourse to any realist hidden variable model. The degeneracy of the eigenvalues and the L$\ddot{u}$der projection rule play important role in our proof.
The most well-known tool for studying contextuality in quantum computation is the n-qubit stabilizer state tableau representation. We provide an extension that describes not only the quantum state, but is also outcome deterministic. The extension enables a value assignment to exponentially many Pauli observables, yet remains quadratic in both memory and computational complexity. Furthermore, we show that the mechanisms employed for contextuality and measurement disturbance are wholly separate. The model will be useful for investigating the role of contextuality in $n$-qubit quantum computation…
We invoke some ideas from finite geometry to map bijectively 135 heptads of mutually commuting three-qubit observables into 135 symmetric four-qubit ones. After labeling the elements of the former set in terms of a seven-dimensional Clifford algebra, we present the bijective map and most pronounced actions of the associated symplectic group on both sets in explicit forms. This formalism is then employed to shed novel light on recently-discovered structural and cardinality properties of an aggregate of three-qubit Mermin's 'magic' pentagrams. Moreover, some intriguing connections with the so-ca…
The inequalities that separate contextual from noncontextual correlations for the n-cycle scenario (consisting of n dichotomic observables Oj, with j = 0, ..., n-1 and such that Oj and Oj+1 are jointly measurable) have been recently identified [arXiv:1206.3212 (2012)]. Here we report the results of an experiment designed to reach the maximum quantum violation of these inequalities for any even number of observables ranging from 4 to 14. The four dimensional Hilbert space required for the test was spanned by two photonic qubits encoded in the transversal path of photon pairs, and the joint meas…
The existence of observables that are incompatible or not jointly measurable is a characteristic feature of quantum mechanics, which lies at the root of a number of nonclassical phenomena, such as uncertainty relations, wave--particle dual behavior, Bell-inequality violation, and contextuality. However, no intuitive criterion is available for determining the compatibility of even two (generalized) observables, despite the overarching importance of this problem and intensive efforts of many researchers. Here we introduce an information theoretic paradigm together with an intuitive geometric pic…
In quantum physics the term `contextual' can be used in more than one way. One usage, here called `Bell contextual' since the idea goes back to Bell, is that if $A$, $B$ and $C$ are three quantum observables, with $A$ compatible (i.e., commuting) with $B$ and also with $C$, whereas $B$ and $C$ are incompatible, a measurement of $A$ might yield a different result (indicating that quantum mechanics is contextual) depending upon whether $A$ is measured along with $B$ (the $\{A,B\}$ context) or with $C$ (the $\{A,C\}$ context). An analysis of what projective quantum measurements measure shows that…
The Kochen-Specker theorem shows the impossibility for a hidden variable theory to consistently assign values to certain (finite) sets of observables in a way that is non-contextual and consistent with quantum mechanics. If we require non-contextuality, the consequence is that many observables must not have pre-existing definite values. However, the Kochen-Specker theorem does not allow one to determine which observables must be value indefinite. In this paper we present an improvement on the Kochen-Specker theorem which allows one to actually locate observables which are provably value indefi…
