Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Log inSign up
Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Blog
Job Board
Q3AS

© 2026 Aqora Quantum S.A.S.

TermsPrivacyLegal Notice

arXiv:quant-ph/9703030

Comment on ``Nonlocality of a Single Photon Revisited''

J. Acácio de Barros, Gary Oas, Patrick Suppes

Published Mar 18, 1997• 0 citations
arXivHTMLPDF

Abstract

This paper has been withdrawn. A significantly revised version will be posted in the near future.
DOI
10.48550/arxiv.quant-ph/9703030

Related papers

Comment on ‘‘Nonlocality of a single photon’’

Emilio Santos

Tan, Walls, and Collett

Physical Review Letters•Feb 10, 1992•37 citations

Can single-photon states violate causality?

J. Acácio de Barros, Gary Oas, Patrick Suppes

This paper has been withdrawn.

arXiv:quant-ph/9703053•Mar 29, 1997•0 citations

Nonlocality Without Inequalities for all Pure Entangled States

Stephen Mark Barnett, Anthony Chefles

This paper has been withdrawn by the authors.

arXiv:quant-ph/9807090•Jul 31, 1998•0 citations

Nonlocality of a Single Photon Revisited Again

Lev Vaidman A

Comment on L. Hardy, Phys. Rev. Lett. {\bf 73}, 2279 (1994). It is argued that the experiment proposed by Hardy should not be considered as a single photon experiment.

arXiv:quant-ph/9501003•Physical Review Letters•Sep 4, 1995•45 citations

Local Dynamics, Global Semantics: A Closure Engine for Semantic Nonlocality Paper 45 of the NEMS Suite

Nova Spivack

Programme status: This record belongs to an active research programme. It is not a finished or final theory. The framework is currently undergoing a systematic audit, together with corrections and improvements prompted by reader feedback. Several significant issues have been identified, and some claims, derivations and interpretations in the current version may be revised, qualified or withdrawn in future versions. Revised versions will be released when this work is complete. Status as of October 2026. We adopt a strong locality axiom at the Holds level: factorization—global satisfaction of observational propositions is the conjunction over fragments of a local predicate applied to the restricted world. This is algebraic, not geometric; no spacetime structure is assumed. Under factorization, same local views (same restriction at every fragment) imply observational equivalence; hence world-type is determined by the global map from fragments to local views. Interpretation: local dynamics alone do not guarantee local semantic closure; semantics is glued globally. A minimal toy (two fragments, observables as per-fragment claims) witnesses factorization and the main theorem. The development is mechanized in Lean 4 as the SemanticNonlocality library in nems-lean, with zero sorry and no custom axioms. Trust boundary. Factorization is an algebraic \Holds-level axiom, not a spacetime locality claim; interpretive "nonlocality" language is about semantic gluing, not signalling. Mechanization is nems-lean . See .

•Apr 5, 2026•0 citations

Quantum Nonlocality of Single Photon State?

Aurélien Drezet

Foundations of Physics Letters•Aug 28, 2006•4 citations
Programme status: This record belongs to an active research programme. It is not a finished or final theory. The framework is currently undergoing a systematic audit, together with corrections and improvements prompted by reader feedback. Several significant issues have been identified, and some claims, derivations and interpretations in the current version may be revised, qualified or withdrawn in future versions. Revised versions will be released when this work is complete. Status as of October 2026. We adopt a strong locality axiom at the Holds level: factorization—global satisfaction of observational propositions is the conjunction over fragments of a local predicate applied to the restricted world. This is algebraic, not geometric; no spacetime structure is assumed. Under factorization, same local views (same restriction at every fragment) imply observational equivalence; hence world-type is determined by the global map from fragments to local views. Interpretation: local dynamics alone do not guarantee local semantic closure; semantics is glued globally. A minimal toy (two fragments, observables as per-fragment claims) witnesses factorization and the main theorem. The development is mechanized in Lean 4 as the SemanticNonlocality library in nems-lean, with zero sorry and no custom axioms. Trust boundary. Factorization is an algebraic \Holds-level axiom, not a spacetime locality claim; interpretive "nonlocality" language is about semantic gluing, not signalling. Mechanization is nems-lean . See .