Many seemingly paradoxical effects are known in the predictions for outcomes of intermediate measurements made on pre- and post-selected quantum systems. Despite appearances, these effects do not demonstrate the impossibility of a noncontextual hidden variable theory, since an explanation in terms of measurement-disturbance is possible. Nonetheless, we show that for every paradoxical effect wherein all the pre- and post- selected probabilities are 0 or 1 and the pre- and post-selected states are nonorthogonal, there is an associated proof of contextuality. This proof is obtained by considering all the measurements involved in the paradoxical effect -- the pre-selection, the post-selection, and the alternative possible intermediate measurements -- as alternative possible measurements at a single time.
If a quantum system is prepared and later post-selected in certain states, "paradoxical" predictions for intermediate measurements can be obtained. This is the case both when the intermediate measurement is strong, i.e. a projective measurement with Luders-von Neumann update rule, or with weak measurements where they show up in anomalous weak values. Leifer and Spekkens [quant-ph/0412178] identified a striking class of such paradoxes, known as logical pre- and post-selection paradoxes, and showed that they are indirectly connected with contextuality. By analysing the measurement-disturbance re…
We describe a joint cohomological framework for measurement-based quantum computation (MBQC) and the corresponding contextuality proofs. The central object in this framework is an element in the second cohomology group of the chain complex describing a given MBQC. It contains the function computed, up to gauge equivalence, and at the same time is a contextuality witness. The present cohomological description only applies to temporally flat MBQCs, and we outline an approach for extending it to the temporally ordered case.
This short note is an introduction to the slides from our talks given in 2018 during the Advanced School of Quantum Foundations and Quantum Computation in Joao Pessoa , Brazil. In these talks, addressed to participants with a limited knowledge of quantum foundations, we defined locality, causality, randomness, counterfactual definiteness and we explained EPR-Bohm paradoxes. In particular we discussed in great detail various Bell-type inequalities and the implications of their violation in spin polarisation correlation experiments. Finally we explained why and how the predictive completeness of…
Contextuality and nonlocality are non-classical properties exhibited by quantum statistics whose implications profoundly impact both foundations and applications of quantum theory. In this paper we provide some insights into logical contextuality and inequality-free proofs. The former can be understood as the possibility version of contextuality, while the latter refers to proofs of quantum contextuality/nonlocality that are not based on violations of some noncontextuality (or Bell) inequality. The present work aims to build a bridge between these two concepts from what we call possibilistic p…
While quantum computers are expected to yield considerable advantages over classical devices, the precise features of quantum theory enabling these advantages remain unclear. Contextuality--the denial of a notion of classical physical reality--has emerged as a promising hypothesis. Magic states are quantum resources critical for practically achieving universal quantum computation. They exhibit the standard form of contextuality that is known to enable probabilistic advantages in a variety of computational and communicational tasks. Strong contextuality is an extremal form of contextuality desc…
Many features of single-partite quantum walks can be simulated by classical waves. However, it was recently experimentally shown that some temporal sequences of measurements on a quantum walker do not admit a classical description in terms of macro-realistic theories. Here, we extend this observation and present pre- and post-selection scenarios in quantum walks leading to logical paradoxes. Such paradoxes were recently shown to be equivalent to proofs of contextuality, therefore we provide an additional argument for non-classicality of a quantum walk model. The assumptions behind the claims o…
The notion of contextuality, which emerges from a theorem established by Simon Kochen and Ernst Specker (1960-1967) and by John Bell (1964-1966), is certainly one of the most fundamental aspects of quantum weirdness. If it is a questioning on scholastic philosophy and a study of contrafactual logic that led Specker to his demonstration with Kochen, it was a criticism of von Neumann's "proof" that led John Bell to the result. A misinterpretation of this famous "proof" will lead them to diametrically opposite conclusions. Over the last decades, remarkable theoretical progresses have been made on…
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…
One fascinating way of revealing the quantum nonlocality is the all-versus-nothing test due to Greenberger, Horne, and Zeilinger (GHZ) known as GHZ paradox. So far genuine multipartite and multilevel GHZ paradoxes are known to exist only in systems containing an odd number of particles. Here we shall construct GHZ paradoxes for an arbitrary number (greater than 3) of particles with the help of qudit graph states on a special kind of graphs, called as GHZ graphs. Based on the GHZ paradox arising from a GHZ graph, we derive a Bell inequality with two $d$-outcome observables for each observer, wh…
We establish a strong link between two apparently unrelated topics: the study of conflicting information in the formal framework of valuation algebras, and the phenomena of non-locality and contextuality. In particular, we show that these peculiar features of quantum theory are mathematically equivalent to a general notion of \emph{disagreement} between information sources. This result vastly generalises previously observed connections between contextuality, relational databases, constraint satisfaction problems, and logical paradoxes, and gives further proof that contextual behaviour is not a…
We provide a cohomological framework for contextuality of quantum mechanics that is suited to describing contextuality as a resource in measurement-based quantum computation. This framework applies to the parity proofs first discussed by Mermin, as well as a different type of contextuality proofs based on symmetry transformations. The topological arguments presented can be used in the state-dependent and the state-independent case.
Coherence as a resource for $N$-box and quantum pigeonhole paradoxes
INL – International Iberian Nanotechnology Laboratory（国际伊比利亚纳米技术实验室）；Institute of Theoretical Physics, Ulm University（乌尔姆大学理论物理研究所）；Center for Integrated Quantum Science and Technology (IQST)（集成量子科学与技术中心）；Instituto de Física, Universidade Federal Fluminense（弗鲁米嫩塞联邦大学物理研究所）
In this reply, we point out that the claim by De Zela[2] is unjustified because the setup he discusses is \emph{not} equivalent to the setup analysed in our paper[1]. Hence his subsequent argument claiming the reproducibility of our demonstrated quantum effect of path-spin contextuality by the Kochen-Specker realist model is \emph{not} relevant.
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.
I examine Pan and Home's reply to my Comment on their proposal for testing noncontextual models. I show that the Kochen-Specker model for a qubit does explain all outcomes of a test based on such a proposal, so that it would be inconclusive about the untenability of realistic, noncontextual models.
Contextuality is a key feature of quantum mechanics that provides an important non-classical resource for quantum information and computation. Abramsky and Brandenburger used sheaf theory to give a general treatment of contextuality in quantum theory [New Journal of Physics 13 (2011) 113036]. However, contextual phenomena are found in other fields as well, for example database theory. In this paper, we shall develop this unified view of contextuality. We provide two main contributions: firstly, we expose a remarkable connection between contexuality and logical paradoxes; secondly, we show that…
The sheaf theoretic description of non-locality and contextuality by Abramsky and Brandenburger sets the ground for a topological study of these peculiar features of quantum mechanics. This viewpoint has been recently developed thanks to sheaf cohomology, which provides a sufficient condition for contextuality of empirical models in quantum mechanics and beyond. Subsequently, a number of studies proposed methods to detect contextuality based on different cohomology theories. However, none of these cohomological descriptions succeeds in giving a full invariant for contextuality applicable to co…
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…
This paper introduces an extension of the de Broglie-Bohm-Bell formulation of quantum mechanics, which includes intrinsic particle degrees of freedom, such as spin, as elements of reality. To evade constraints from the Kochen-Specker theorem the discrete spin values refer to a specific basis -- i.e., a single spin vector orientation for each particle; these spin orientations are, however, not predetermined, but dynamic and guided by the (reduced, spin-only) wave function of the system, which is conditional on the realized location values of the particles. In this way, the unavoidable contextua…
Recently, a geometric embedding of the classical space and classical phase space of an n-particle system into the space of states of the system was constructed and shown to be physically meaningful. Namely, the Newtonian dynamics of the particles was recovered from the Schroedinger dynamics by constraining the state of the system to the classical phase space submanifold of the space of states. A series of theorems related to the embedding and the Schroedinger evolution with a random Hamiltonian was proven and shown to be applicable to the process of measurement in classical and quantum mechani…
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.
Cabello-Severini-Winter and Abramsky-Hardy (building on the framework of Abramsky-Brandenburger) both provide classes of Bell and contextuality inequalities for very general experimental scenarios using vastly different mathematical techniques. We review both approaches, carefully detail the links between them, and give simple, graph-theoretic methods for finding inequality-free proofs of nonlocality and contextuality and for finding states exhibiting strong nonlocality and/or contextuality. Finally, we apply these methods to concrete examples in stabilizer quantum mechanics relevant to unders…
The author cannot grant that Quantum Mechanics satisfies the axioms described here when repeated measurements are at stake. This does not compromise the validity of the conclusions of the previous article "A glance beyond the quantum model", Proc. Roy. Soc. Lond. A 466, 881-890 (2009).
In this paper we present a new categorical approach which attempts to provide an original understanding of QM. Our logos categorical approach attempts to consider the main features of the quantum formalism as the standpoint to develop a conceptual representation that explains what the theory is really talking about --rather than as problems that need to be bypassed in order to allow a restoration of a classical "common sense" understanding of what there is. In particular, we discuss a solution to Kochen-Specker contextuality through the generalization of the meaning of global valuation. This i…
A review is made of the field of contextuality in quantum mechanics. We study the historical emergence of the concept from philosophical and logical issues. We present and compare the main theoretical frameworks that have been derived. Finally, we focus on the complex task of establishing experimental tests of contextuality. Throughout this work, we try to show that the conceptualisation of contextuality has progressed through different complementary perspectives, before summoning them together to analyse the signification of contextuality experiments. Doing so, we argue that contextuality eme…
This thesis reports progress in the analysis of causality and multi-agent logical paradoxes in quantum and post-quantum theories. These research areas are highly relevant for the foundations of physics as well as the development of quantum technologies. In the first part, focussing on causality, we develop techniques for using generalised entropies to analyse distinctions between classical and non-classical causal structures. We derive new properties of Tsallis entropies of systems that follow from the relevant causal structure, and apply these to obtain new necessary constraints for classical…
Quantum mechanics implies that not all physical properties can be simultaneously well defined, such as the momentum and position due to Heisenberg uncertainty principle. Some alternative theories have been explored, notably the non-contextual hidden variable theories in which the properties of a system have pre-defined values which are independent of the measurement contextual. However, the Kochen-Specker theorem showed that such non-contextual hidden variable theories are in conflict with quantum mechanics. Recently, a state-independent inequality satisfied by non-contextual hidden variable t…
Realist interpretations of quantum mechanics presuppose the existence of elements of reality that are independent of the actions used to reveal them. Such a view is challenged by several no-go theorems that show quantum correlations cannot be explained by non-contextual ontological models, where physical properties are assumed to exist prior to and independently of the act of measurement. However, all such contextuality proofs assume a traditional notion of causal structure, where causal influence flows from past to future according to ordinary dynamical laws. This leaves open the question of …
A central result in the foundations of quantum mechanics is the Kochen-Specker theorem. In short, it states that quantum mechanics cannot be reconciled with classical models that are noncontextual for ideal measurements. The first explicit derivation by Kochen and Specker was rather complex, but considerable simplifications have been achieved thereafter. We propose a systematic approach to find minimal Hardy-type and Greenberger-Horne-Zeilinger-type (GHZ-type) proofs of the Kochen-Specker theorem, these are characterized by the fact that the predictions of classical models are opposite to the …
Quantum pre- and post-selection (PPS) paradoxes occur when counterfactual inferences are made about different measurements that might have been performed, between two measurements that are actually performed. The 3 box paradox is the paradigm example of such a paradox, where a ball is placed in one of three boxes and it is inferred that it would have been found, with certainty, both in box 1 and in box 2 had either box been opened on their own. Precisely what is at stake in PPS paradoxes has been unclear, and classical models have been suggested which are supposed to mimic the essential featur…
For a believer in locality of Nature, the Aharonov-Bohm effect and the Aharonov-Casher effect are paradoxes. I discuss these and other Aharonov's paradoxes and propose a local explanation of these effects. If the solenoid in the Aharonov-Bohm effect is treated quantum mechanically, the effect can be explained via local interaction between the field of the electron and the solenoid. I argue that the core of the Aharonov-Bohm and the Aharonov-Casher effects is that of quantum entanglement: the quantum wave function describes all systems together.
Weak value measurements have recently given rise to a large interest for both the possibility of measurement amplification and the chance of further quantum mechanics foundations investigation. In particular, a question emerged about weak values being proof of the incompatibility between Quantum Mechanics and Non-Contextual Hidden Variables Theories (NCHVT). A test to provide a conclusive answer to this question was given in [M. Pusey, Phys. Rev. Lett. 113, 200401 (2014)], where a theorem was derived showing the NCHVT incompatibility with the observation of anomalous weak values under specific…
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…
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…
The conspiracy of ontic states responding to measurements contextually to comply with noncontextual quantum mechanical probabilities is analyzed for general ontological models. A general physical picture of ontological space structure and how ontic states are disturbed by measurement contexts is presented. A common assumption in ontological models called lambda-sufficiency is analyzed and argued to be inconsistent with measurement contextuality for ontological models with certain symmetry in ontic space with respect to quantum states and measurements.
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…
Random numbers represent an indispensable resource for many applications. A recent remarkable result is the realization that non-locality in quantum mechanics can be used to certify genuine randomness through Bell's theorem, producing reliable random numbers in a device independent way. Here, we explore the contextuality aspect of quantum mechanics and show that true random numbers can be generated using only single qutrit (three-state systems) without entanglement and non-locality. In particular, we show that any observed violation of the Klyachko-Can-Binicioglu-Shumovsky (KCBS) inequality [P…
The question of whether quantum phenomena can be explained by classical models with hidden variables is the subject of a long lasting debate. In 1964, Bell showed that certain types of classical models cannot explain the quantum mechanical predictions for specific states of distant particles. Along this line, some types of hidden variable models have been experimentally ruled out. An intuitive feature for classical models is non-contextuality: the property that any measurement has a value which is independent of other compatible measurements being carried out at the same time. However, the res…
Quantum mechanics exhibits a very peculiar form of contextuality. Identifying and connecting the simplest scenarios in which more general theories can or cannot be more contextual than quantum mechanics is a fundamental step in the quest for the principle that singles out quantum contextuality. The former scenario corresponds to the Klyachko-Can-Binicioglu-Shumovsky (KCBS) inequality. Here we show that there is a simple tight inequality, twin to the KCBS, for which quantum contextuality cannot be outperformed. In a sense, this twin inequality is the simplest tool for recognizing fully contextu…
