Related papers: Generalized Kochen-Specker Theorem
We present a simple experimental scheme which can be used to demonstrate an all-or-nothing type contradiction between non-contextual hidden variables and quantum mechanics. The scheme, which is inspired by recent ideas by Cabello and…
By introducing an operator sum representation for arbitrary linear maps, we develop a generalized theory of quantum error correction (QEC) that applies to any linear map, in particular maps that are not completely positive (CP). This theory…
A quantum state can be understood in a loose sense as a map that assigns a value to every observable. Formalizing this characterization of states in terms of generalized probability distributions on the set of effects, we obtain a simple…
We performed an experimental test of the Kochen-Specker theorem based on an inequality derived from the Peres-Mermin proof, using spin-path (momentum) entanglement in a single neutron system. Following the strategy proposed by Cabello et…
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…
In quantum theory general measurements are described by so-called Positive Operator-Valued Measures (POVMs). We show that in $d$-dimensional quantum systems an application of depolarizing noise with constant (independent of $d$) visibility…
One of the recent no-go theorems on \Psi-epistemic interpretations of quantum proves that there are no 'maximally epistemic' interpretations of quantum theory. The proof utilises similar arrangements to Clifton's quantum contextuality proof…
We consider generalized inverses of linear operators on arbitrary vector spaces and study the question when their product in reverse order is again a generalized inverse. This problem is equivalent to the question when the product of two…
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…
One of the fundamental results in quantum foundations is the Kochen-Specker no-go theorem. For the quantum theory, the no-go theorem excludes the possibility of a class of hidden variable models where value attribution is context…
The CMI Millennium "P vs NP Problem" can be resolved e.g. if one shows at least one counterexample to the conjecture "P is equal to NP". A certain class of problems being such counterexamples is formulated. This implies the rejection of the…
In this paper we consider a quantum open system and treat the master equation with some restricted dissipator which consists of a set of projection operators (projectors). The exact solution is given under the commutable approximation (in…
Arbitrary quantum states cannot be copied. In fact, to make a copy we must provide complete information about the system. However, can a quantum system self-replicate? This is not answered by the no-cloning theorem. In the classical…
Generalised observables (POM observables) are necessary for representing all possible measurements on a quantum system. Useful algebraic operations such as addition and multiplication are defined for these observables, recovering many…
We consider the problem of existence of the diagonal representation for operators in the space of a family of generalized coherent states associated with an unitary irreducible representation of a (compact) Lie group. We show that necessary…
Kochen and Specker's theorem can be seen as a consequence of Gleason's theorem and logical compactness. Similar compactness arguments lead to stronger results about finite sets of rays in Hilbert space, which we also prove by a direct…
Modal quantum theory (MQT) is a simplified cousin of ordinary Hilbert space quantum theory. We show that two important theorems of actual quantum theory, the Kochen-Specker theorem excluding non-contextual hidden variables and the…
We show that the theory of operator quantum error correction can be naturally generalized by allowing constraints not only on states but also on observables. The resulting theory describes the correction of algebras of observables (and may…
It is well known that there are entire functions whose orbit approximates any other entire function under the action of a sequence of translation operators . This result also holds for an uncountable family of sequences of translation…
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,…