19 research outputs found

    Recursive proof of the Bell-Kochen-Specker theorem in any dimension n>3n>3

    Full text link
    We present a method to obtain sets of vectors proving the Bell-Kochen-Specker theorem in dimension nn from a similar set in dimension dd (3d<n2d3\leq d<n\leq 2d). As an application of the method we find the smallest proofs known in dimension five (29 vectors), six (31) and seven (34), and different sets matching the current record (36) in dimension eight.Comment: LaTeX, 7 page

    Bell-Kochen-Specker theorem: A proof with 18 vectors

    Get PDF
    We present a ``state-independent'' proof of the Bell-Kochen-Specker theorem using only 18 four-dimensional vectors, which is a record for this kind of proof. This set of vectors contains subsets which allow us to develop a ``state-specific'' proof with 10 vectors (also a record) and a ``probabilistic'' proof with 7 vectors which reflects the algebraic structure of Hardy's nonlocality theorem.Comment: LaTeX, 10 page

    Quantum mechanics and elements of reality inferred from joint measurements

    Get PDF
    The Einstein-Podolsky-Rosen argument on quantum mechanics incompleteness is formulated in terms of elements of reality inferred from joint (as opposed to alternative) measurements, in two examples involving entangled states of three spin-1/2 particles. The same states allow us to obtain proofs of the incompatibility between quantum mechanics and elements of reality.Comment: LaTeX, 12 page

    Proposed experimental tests of the Bell-Kochen-Specker theorem

    Full text link
    For a two-particle two-state system, sets of compatible propositions exist for which quantum mechanics and noncontextual hidden-variable theories make conflicting predictions for every individual system whatever its quantum state. This permits a simple all-or-nothing state-independent experimental verification of the Bell-Kochen-Specker theorem.Comment: LaTeX, 8 page
    corecore