Related papers: Bell-Kochen-Specker theorem: A proof with 18 vecto…
We again consider (as in a companion paper) an entangled two-particle state that is produced from two independent down-conversion sources by the process of "entanglement-swapping", so that the particles have never met. We show that there is…
We provide a theory independent framework to quantify coherence. In comparison with Bell's theory independent approach to quantum nonlocality, we characterize a general coherence phenomenon with statistics arising from sequential…
Kent's conclusion that ``non-contextual hidden variable theories cannot be excluded by theoretical arguments of the Kochen-Specker type once the imprecision in real world experiments is taken into account'' [Phys. Rev. Lett. 83, 3755…
We have experimentally tested the non local properties of the states generated by a high brilliance source of entanglement which virtually allows the direct measurement of the full set of photon pairs created by the basic QED process…
We investigate the violation of non-contextuality by a class of continuous variable states, including variations of entangled coherent states (ECS's) and a two-mode continuous superposition of coherent states. We generalise the…
The Bell theorem for a pair of two-state systems in a singlet state is formulated for the entire range of measurement settings.
In the paper it is argued that the Kochen-Specker theorem necessitates a conclusion that for a quantum system it is possible to find a set of projection operators which is not truth-value bivalent; that is, a bivalent truth-value assignment…
We theoretically investigate the distinguishability of a set of mutually orthogonal four-dimensional Bell states of photon system in path degree of freedom using only linear optics, resorting to the two-photon interference. With quantum…
A proof of Bell's theorem without inequalities is presented in which distant local setups do not need to be aligned, since the required perfect correlations are achieved for any local rotation of the local setups.
For a multipartite correlation experiment with an arbitrary number of settings and any spectral type of outcomes at each site, we introduce a single general representation incorporating in a unique manner all Bell-type inequalities for…
The quantum state of a $d$-dimensional system can be represented by the $d^2$ probabilities corresponding to a SIC-POVM, and then this distribution of probability can be represented by a vector of $\R^{d^2-1}$ in a simplex, we will call…
A proof of Bell's theorem without inequalities for two maximally entangled particles is proposed using the technique of quantum teleportation. It follows Hardy's arguments for a non-maximally entangled state with the help of two auxiliary…
In a recent work, it was shown by one of us (EGC) that Bell-Kochen-Specker inequality violations in phenomena satisfying the no-disturbance condition (a generalisation of the no-signalling condition) cannot in general be explained with a…
It is known that it is impossible to unambiguously distinguish the four Bell states encoded in pairs of photon polarizations using only linear optics. However, hyperentanglement, the simultaneous entanglement in more than one degree of…
The Kochen-Specker (KS) theorem is a cornerstone result in quantum foundations, establishing that quantum correlations in Hilbert spaces of dimension $d \geq 3$ cannot be explained by (consistent) hidden variable theories that assign a…
A "magic rectangle" of eleven observables of four qubits, employed by Harvey and Chryssanthacopoulos (2008) to prove the Bell-Kochen-Specker theorem in a 16-dimensional Hilbert space, is given a neat finite-geometrical reinterpretation in…
In 1960, the mathematician Ernst Specker described a simple example of nonclassical correlations which he dramatized using a parable about a seer who sets an impossible prediction task to his daughter's suitors. We revisit this example…
It is a well-established fact that some quantum correlations can be nonlocal, meaning that they cannot be described by a local hidden variable model. Certain quantum correlations have a form of nonlocality so strong that they cannot be…
Using the measurement-based quantum computation model, we construct interactive proofs with non-communicating quantum provers and a classical verifier. Our construction gives interactive proofs for all languages in BQP with a polynomial…
In this Letter, we explore the possibility of developing Bell inequalities predicated on models using a single Local Hidden Variable (s-LHV), a strict subset of general LHV models. Because of the less strenuous constraints imposed by s-LHV…