Related papers: A Simplified Basis for Bell-Kochen-Specker Theorem…
Using the spontaneous parametric down-conversion process in a type-I phase matching BBO crystal as single photon source, we perform an all-or-nothing-type Kochen-Specker experiment proposed by Simon \QTR{it}{et al}. [Phys. Rev. Lett.…
Quantum processes cannot be reduced, in a nontrivial way, to classical processes without specifying the context in the description of a measurement procedure. This requirement is implied by the Kochen-Specker theorem in the…
Assuming projective determinacy, we extend Spector's strong version of the Spector-Gandy Theorem to all odd levels of the projective hierarchy: Theorem. For every space $X$ which is a finite product of the natural numbers $N$ and Baire…
We give a sufficient condition for an algebraic structure to have a computable presentation with a computable basis and a computable presentation with no computable basis. We apply the condition to differentially closed, real closed, and…
On an arbitrary compact Riemann surface, necessary and sufficient conditions are found for the existence of semistable vector bundles with slope between zero and one and a prescribed number of linearly independent holomorphic sections.…
The Kochen-Specker theorem states that exclusive and complete deterministic outcome assignments are impossible for certain sets of measurements, called Kochen-Specker (KS) sets. A straightforward consequence is that KS sets do not have…
We look at what type of arguments can rule out the joint reality (or value definiteness) of two observables of a physical system, such as a qubit, and give several strong yet simple no-go results based on assumptions typically weaker than…
In contrast to conventional, dynamical entanglement, in which particles with definite identity have uncertain properties, in so-called statistical entanglement, which arises between indistinguishable particles because of quantum symmetry…
We consider an ontology, in which contextual nonlocal hidden variables are stored as pre-existing possibilities in a repository outside space-time; and in which the context can be chosen ``freely'' (measurement independence) by each agent,…
Bell-Kochen-Specker theorem states that a non-contextual hidden-variable theory cannot completely reproduce the predictions of quantum mechanics. Asher Peres gave a remarkably simple proof of quantum contextuality in a four-dimensional…
It is proven that any hidden variable theory of the type proposed by Meyer [Phys. Rev. Lett. {\bf 83}, 3751 (1999)], Kent [{\em ibid.} {\bf 83}, 3755 (1999)], and Clifton and Kent [Proc. R. Soc. London, Ser. A {\bf 456}, 2101 (2000)] leads…
I argue that our judgements regarding the locally causal models which are compatible with a given quantum no-go theorem implicitly depend, in part, on the context of inquiry. It follows from this that certain no-go theorems, which are…
Under a standard set of assumptions for a hidden-variables model for quantum events, we show that all observables must commute simultaneously. And, despite Bell's complaint that a key condition of von Neumann's was quite unrealistic, we…
In the history of quantum physics several no-go theorems have been proved, and many of them have played a central role in the development of the theory, such as Bell's or the Kochen-Specker theorem. A recent paper by F. Laudisa has raised…
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…
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…
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…
We show that unitary representations of simply connected, semisimple algebraic groups over local fields of characteristic zero obey a spectral gap absorption principle: that is, that spectral gap is preserved under tensor products. We do…
It is shown that, given a reasonable continuity assumption regarding possessed values, it is possible to construct a Kochen-Specker obstruction for any coordinate and its conjugate momentum, demonstrating that at most one of these two…
In this paper we are interested in spectral decomposition of an unbounded operator with discrete spectrum. We show that if $A$ generates a polynomially bounded $n$-times integrated group whose spectrum set $\sigma(A)=\{i\lambda_k;…