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

We present a method to obtain sets of vectors proving the Bell-Kochen-Specker theorem in dimension $n$ from a similar set in dimension $d$ ($3\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

Six-qubit permutation-based decoherence-free orthogonal basis

There is a natural orthogonal basis of the 6-qubit decoherence-free (DF) space robust against collective noise. Interestingly, most of the basis states can be obtained from one another just permuting qubits. This property: (a) is useful for encoding qubits in DF subspaces, (b) allows the implementation of the Bennett-Brassard 1984 (BB84) protocol in DF subspaces just permuting qubits, which completes a the method for quantum key distribution using DF states proposed by Boileau et al. [Phys. Rev. Lett. 92, 017901 (2004)], and (c) points out that there is only one 6-qubit DF state which is essentially new (not obtained by permutations) and therefore constitutes an interesting experimental challenge.Comment: REVTeX4, 5 page

Bell's theorem without inequalities and without unspeakable information

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.Comment: REVTeX4, 4 pages, 1 figure; for Asher Peres' Festschrift, to be published in Found. Phy

Bell's theorem without inequalities and without alignments

A proof of Bell's theorem without inequalities is presented which exhibits three remarkable properties: (a) reduced local states are immune to collective decoherence; (b) distant local setups do not need to be aligned, since the required perfect correlations are achieved for any local rotation of the local setups; (c) local measurements require only individual measurements on the qubits. Indeed, it is shown that this proof is essentially the only one which fulfils (a), (b), and (c).Comment: REVTeX4, 4 page

Mermin inequalities for perfect correlations

Any n-qubit state with n independent perfect correlations is equivalent to a graph state. We present the optimal Bell inequalities for perfect correlations and maximal violation for all classes of graph states with n < 7 qubits. Twelve of them were previously unknown and four give the same violation as the Greenberger-Horne-Zeilinger state, although the corresponding states are more resistant to decoherence.Comment: REVTeX4, 5 pages, 1 figur