Related papers: Construction of Three-Qubit Kochen-Specker Sets
We examine the relationship between quantum contextuality (in both the standard Kochen-Specker sense and in the generalised sense proposed by Spekkens) and models of quantum theory in which the quantum state is maximally epistemic. We find…
Proofs of Bell-Kochen-Specker contextuality demonstrate that there exists sets of projectors that cannot each be assigned either 0 or 1 such that each basis formed from them contains exactly one 1-assigned projector. Instead, at least some…
The Kochen-Specker theorem asserts the impossibility of assigning values to quantum quantities in a way that preserves functional relations between them. We construct a new type of valuation which is defined on all operators, and which…
Quantum mechanics provides a statistical description about nature, and thus would be incomplete if its statistical predictions could not be accounted for by some realistic models with hidden variables. There are, however, two powerful…
A $k$-pairable $n$-qubit state is a resource state that allows Local Operations and Classical Communication (LOCC) protocols to generate EPR-pairs among any $k$-disjoint pairs of the $n$ qubits. Bravyi et al. introduced a family of…
We show that three unsharp binary qubit measurements are enough to violate a generalized noncontextuality inequality, the LSW inequality, in a state-dependent manner. For the case of trine spin axes we calculate the optimal quantum…
This paper presents a minimal formulation of nonrelativistic quantum mechanics, by which is meant a formulation which describes the theory in a succinct, self-contained, clear, unambiguous and of course correct manner. The bulk of the…
We consider the phenomenon of quantum mechanical contextuality, and specifically parity-based proofs thereof. Mermin's square and star are representative examples. Part of the information invoked in such contextuality proofs is the…
We introduce a logic modelling some aspects of the behaviour of the measurement process, in such a way that no direct mention of quantum states is made, thus avoiding the problems associated to this rather evasive notion. We then study some…
Topos quantum mechanics, developed by Isham et. al., creates a topos of presheaves over the poset V(N) of abelian von Neumann subalgebras of the von Neumann algebra N of bounded operators associated to a physical system, and established…
The testability of the Kochen-Specker theorem is a subject of ongoing controversy. A central issue is that experimental implementations relying on sequential measurements cannot achieve perfect compatibility between the measurements and…
In the paper, a value assignment for projection operators relating to a quantum system is equated with assignment of truth-values to the propositions associated with these operators. In consequence, the Kochen-Specker theorem (its localized…
A formula for the commutator of tensor product matrices is used to shows that, for qubits, compatibility of quantum multiparty observables almost never implies local compatibility at each site and to predict when this happens/does not…
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…
For general non-classical systems, we study the different classical representations that fulfill the specific context dependence imposed by the hidden measurement system formalism introduced in quant-ph/0008061. We show that the collection…
The failure of distributivity in quantum logic is motivated by the principle of quantum superposition. However, this principle can be encoded differently, i.e., in different logico-algebraic objects. As a result, the logic of experimental…
It was presented by Cabello and Nakamura [A. Cabello, Phys. Rev. Lett. 90, 190401 (2003)], that the Kochen-Specker theorem applies to two dimensions if one uses Positive Operator-Valued Measures. We show that contextuality in their models…
For the first time we construct an infinite family of Kochen-Specker sets in a space of fixed dimension, namely in R^4. While most of the previous constructions of Kochen-Specker sets have been based on computer search, our construction is…
Two types of inequalities, Kochen-Specker inequalities and noncontextuality inequalities, are both used to demonstrate the incompatibility between the noncontextual hidden variable model and quantum mechanics. It has been thought that…
Two distant systems can exhibit quantum nonlocality even though the correlations between them admit a local model. This nonlocality can be revealed by testing extra correlations between successive measurements on one of the systems which do…