Computing the Girth of a Planar Graph in Linear Time

The girth of a graph is the minimum weight of all simple cycles of the graph. We study the problem of determining the girth of an n-node unweighted undirected planar graph. The first non-trivial algorithm for the problem, given by Djidjev, runs in O(n^{5/4} log n) time. Chalermsook, Fakcharoenphol, and Nanongkai reduced the running time to O(n log^2 n). Weimann and Yuster further reduced the running time to O(n log n). In this paper, we solve the problem in O(n) time.Comment: 20 pages, 7 figures, accepted to SIAM Journal on Computin

The generalized Kochen-Specker theorem

A proof of the generalized Kochen-Specker theorem in two dimensions due to Cabello and Nakamura is extended to all higher dimensions. A set of 18 states in four dimensions is used to give closely related proofs of the generalized Kochen-Specker, Kochen-Specker and Bell theorems that shed some light on the relationship between these three theorems.Comment: 5 pages, 1 Table. A new third paragraph and an additional reference have been adde

Multiparty multilevel Greenberger-Horne-Zeilinger states

The proof of Bell's theorem without inequalities by Greenberger, Horne, and Zeilinger (GHZ) is extended to multiparticle multilevel systems. The proposed procedure generalizes previous partial results and provides an operational characterization of the so-called GHZ states for multiparticle multilevel systems.Comment: REVTeX, 5 pages, 1 figur

Bell's theorem with and without inequalities for the three-qubit Greenberger-Horne-Zeilinger and W states

A proof of Bell's theorem without inequalities valid for both inequivalent classes of three-qubit entangled states under local operations assisted by classical communication, namely Greenberger-Horne-Zeilinger (GHZ) and W, is described. This proof leads to a Bell inequality that allows more conclusive tests of Bell's theorem for three-qubit systems. Another Bell inequality involving both tri- and bipartite correlations is introduced which illustrates the different violations of local realism exhibited by the GHZ and W states.Comment: REVTeX4, 5 pages, 3 figure

Multi-level, multi-party singlets as ground states and their role in entanglement distribution

We show that a singlet of many multi-level quantum systems arises naturally as the ground state of a physically-motivated Hamiltonian. The Hamiltonian simply exchanges the states of nearest-neighbours in some network of qudits (d-level systems); the results are independent of the strength of the couplings or the network's topology. We show that local measurements on some of these qudits project the unmeasured qudits onto a smaller singlet, regardless of the choice of measurement basis at each measurement. It follows that the entanglement is highly persistent, and that through local measurements, a large amount of entanglement may be established between spatially-separated parties for subsequent use in distributed quantum computation.Comment: Corrected method for physical preparatio

"All versus nothing" inseparability for two observers

A recent proof of Bell's theorem without inequalities [A. Cabello, Phys. Rev. Lett. 86, 1911 (2001)] is formulated as a Greenberger-Horne-Zeilinger-like proof involving just two observers. On one hand, this new approach allows us to derive an experimentally testable Bell inequality which is violated by quantum mechanics. On the other hand, it leads to a new state-independent proof of the Kochen-Specker theorem and provides a wider perspective on the relations between the major proofs of no-hidden-variables.Comment: REVTeX, 4 page

Loophole-free Bell's experiment and two-photon all-versus-nothing violation of local realism

We introduce an all-versus-nothing proof of impossibility of Einstein-Podolsky-Rosen's local elements of reality for two photons entangled both in polarization and path degrees of freedom, which leads to a Bell's inequality where the classical bound is 8 and the quantum prediction is 16. A simple estimation of the detection efficiency required to close the detection loophole using this proof gives eta > 0.69. This efficiency is lower than that required for previous proposals.Comment: REVTeX4, 4 page

Bipartite Bell inequalities for hyperentangled states

We show that bipartite Bell inequalities based on the Einstein-Podolsky-Rosen criterion for elements of reality and derived from the properties of some hyperentangled states allow feasible experimental verifications of the fact that quantum nonlocality grows exponentially with the size of the subsystems, and Bell loophole-free tests with currently available photodetection efficiencies.Comment: REVTeX4, 5 page

Two-player quantum pseudo-telepathy based on recent all-versus-nothing violations of local realism

We introduce two two-player quantum pseudo-telepathy games based on two recently proposed all-versus-nothing (AVN) proofs of Bell's theorem [A. Cabello, Phys. Rev. Lett. 95, 210401 (2005); Phys. Rev. A 72, 050101(R) (2005)]. These games prove that Broadbent and Methot's claim that these AVN proofs do not rule out local-hidden-variable theories in which it is possible to exchange unlimited information inside the same light-cone (quant-ph/0511047) is incorrect.Comment: REVTeX4, 5 page