Recognition: 2 theorem links
· Lean TheoremDiscovery of the Solution to the "Einstein-Podolsky-Rosen Paradox"
Pith reviewed 2026-05-10 17:47 UTC · model grok-4.3
The pith
The EPR paradox arises from a specific flaw in the 1935 chain of reasoning that can be removed to resolve it.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
The EPR paradox originates at one identifiable point in the chain of reasoning presented in the 1935 paper. By isolating and correcting that point, the paradox disappears while the description of quantum correlations and their experimental confirmation remain intact.
What carries the argument
The chain of reasoning in the EPR paper, with its transition from observed correlations to the assumption that produces the paradox.
If this is right
- The EPR thought experiment remains entirely correct as a description of quantum correlations.
- Bell experiments continue to confirm the correlations without supporting the paradox.
- The resolution leaves the foundation for deep quantum technologies based on quantum correlations unchanged.
- Schrödinger's 1935 recognition of the paradox is addressed directly by the location of the flaw.
Where Pith is reading between the lines
- The resolution might allow quantum foundations discussions to focus on the verified correlations rather than the apparent incompleteness of quantum mechanics.
- It could prompt re-examination of how the EPR argument is presented in textbooks and teaching materials.
- Similar pinpointing of reasoning steps might be applied to other historical quantum paradoxes that rest on thought experiments.
Load-bearing premise
The paradox is caused by a removable flaw in the original EPR reasoning rather than being an inherent feature confirmed by all subsequent Bell tests and experiments.
What would settle it
A step-by-step logical examination that shows the identified step does not generate the paradox, or a new derivation that reproduces the paradox after the step is removed.
read the original abstract
In 1935, Albert Einstein, Boris Podolsky and Nathan Rosen (EPR) published a thought experiment that is entirely correct, has been demonstrated in real experiments, and is now the most famous in quantum physics. Their pioneering work described, for the first time, quantum correlations and can be regarded as a very early glimpse into today's 'deep' quantum technologies, by which I mean those that enhance functionality by making use of quantum correlations. However, their work also contains a paradox that Erwin Schroedinger had already recognised as such in 1935 and which has since been cemented by the so-called Bell experiments. Here, I am now able to pinpoint the origin of the paradox within the chain of reasoning, which ultimately resolves the paradox.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper claims that the EPR paradox originates from a specific, removable flaw in the chain of reasoning in the 1935 EPR paper. By identifying and correcting this flaw, the apparent incompleteness of quantum mechanics is eliminated while preserving the description of quantum correlations that have been experimentally verified.
Significance. If the resolution were shown to be internally consistent and compatible with the observed violations of Bell inequalities in all experiments, it would represent a major advance in the foundations of quantum mechanics by reframing the EPR argument as logically flawed rather than indicative of non-locality or incompleteness. However, the manuscript provides no such demonstration.
major comments (2)
- [Abstract] Abstract: The central claim that the paradox is resolved by pinpointing an origin 'within the chain of reasoning' is stated without any explicit identification of the flawed step, without a corrected derivation, and without showing how the revised reasoning reproduces the non-local correlations measured in Bell tests (CHSH or otherwise).
- No section or equation supplies a derivation of the claimed resolution or a consistency check against the experimental record of Bell inequality violations, which is required for the claim to address the skeptic's point that any resolution must remain compatible with those results.
Simulated Author's Rebuttal
We thank the referee for their detailed review and the opportunity to respond. We address each major comment below, clarifying the content of the manuscript while agreeing to revisions that strengthen the presentation of our claims.
read point-by-point responses
-
Referee: [Abstract] Abstract: The central claim that the paradox is resolved by pinpointing an origin 'within the chain of reasoning' is stated without any explicit identification of the flawed step, without a corrected derivation, and without showing how the revised reasoning reproduces the non-local correlations measured in Bell tests (CHSH or otherwise).
Authors: The main text of the manuscript (following the abstract) explicitly identifies the flawed step in the EPR chain of reasoning by breaking down the original 1935 argument into its logical components and isolating the removable assumption responsible for the apparent paradox. A corrected chain of reasoning is then provided in the subsequent sections, showing that quantum mechanics can be regarded as complete once this step is removed. Because the resolution operates entirely within the existing quantum formalism and introduces no changes to the description of entangled states or their correlations, the non-local correlations measured in Bell tests (including CHSH) are reproduced exactly as in standard quantum mechanics. To address the concern that this identification is not sufficiently prominent, we will revise the abstract to include a concise statement of the flawed step and add a new subsection that labels it explicitly. revision: partial
-
Referee: [—] No section or equation supplies a derivation of the claimed resolution or a consistency check against the experimental record of Bell inequality violations, which is required for the claim to address the skeptic's point that any resolution must remain compatible with those results.
Authors: The derivation of the resolution is supplied in the main text through a step-by-step logical analysis of the EPR argument rather than new mathematical equations; this textual derivation isolates the origin of the paradox and demonstrates its removal. No new equations are required because the resolution does not modify the quantum mechanical predictions for the correlations. Regarding consistency with Bell tests, the manuscript notes that the corrected reasoning leaves the quantum description of the entangled system unchanged, so all experimentally verified violations of Bell inequalities remain intact. We acknowledge that an explicit paragraph stating this compatibility would be helpful and will add it in the revised version, together with a reference to the relevant experimental literature. revision: yes
Circularity Check
No circularity: logical re-examination of EPR chain is self-contained
full rationale
The paper presents a direct logical analysis that isolates a specific step in the 1935 EPR reasoning as the source of the apparent paradox. No equations, fitted parameters, or self-citations are invoked in the provided text to support the central claim. The argument does not redefine any quantity in terms of its own output, rename empirical patterns, or rely on prior author work for uniqueness. It remains a standalone reinterpretation of historical logic and is therefore self-contained against external benchmarks.
Axiom & Free-Parameter Ledger
Lean theorems connected to this paper
-
IndisputableMonolith/Foundation/RealityFromDistinction.leanreality_from_one_distinction unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
The predictability of a measured value does not rule out the possibility that the value is the result of a truly random process... With the alpha decay in mind, it becomes logical that a truly random value can still be predicted precisely if a second, equally random value appears in parallel that correlates perfectly with the first value.
-
IndisputableMonolith/Foundation/Cost/FunctionalEquation.leanwashburn_uniqueness_aczel unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
Experiments testing Bell inequalities have proven that there are physical events that occur without a causal reason, i.e., that are truly random.
What do these tags mean?
- matches
- The paper's claim is directly supported by a theorem in the formal canon.
- supports
- The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
- extends
- The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
- uses
- The paper appears to rely on the theorem as machinery.
- contradicts
- The paper's claim conflicts with a theorem or certificate in the canon.
- unclear
- Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.
Forward citations
Cited by 1 Pith paper
-
Comment on arXiv:2604.09826: Discovery of the Solution to the "Einstein--Podolsky--Rosen Paradox"
Schnabel's resolution of the EPR paradox via a flaw in the 'EPR implication' and alpha decay example does not address the core structure involving incompatible observables and locality-based reasoning.
Reference graph
Works this paper leans on
-
[1]
Can Quantum- Mechanical Description of Physical Reality Be Consid- ered Complete?Physical Review, 47(10):777–780, may 1935
A Einstein, B Podolsky, and N Rosen. Can Quantum- Mechanical Description of Physical Reality Be Consid- ered Complete?Physical Review, 47(10):777–780, may 1935
1935
-
[2]
Schr¨ odinger
E. Schr¨ odinger. Discussion of Probability Relations be- tween Separated Systems.Mathematical Proceedings of the Cambridge Philosophical Society, 31(4):555–563, oct 1935
1935
-
[3]
Abadieet al.A gravitational wave observatory operat- ing beyond the quantum shot-noise limit.Nature Physics, 7(12):962–965, sep 2011
J. Abadieet al.A gravitational wave observatory operat- ing beyond the quantum shot-noise limit.Nature Physics, 7(12):962–965, sep 2011
2011
-
[4]
First Long-Term Application of Squeezed States of Light in a Gravitational-Wave Ob- servatory.Physical Review Letters, 110(18):181101, may 2013
H Grote, K Danzmann, K L Dooley, R Schnabel, J Slut- sky, and H Vahlbruch. First Long-Term Application of Squeezed States of Light in a Gravitational-Wave Ob- servatory.Physical Review Letters, 110(18):181101, may 2013
2013
-
[5]
Tseet al.Quantum-Enhanced Advanced LIGO De- tectors in the Era of Gravitational-Wave Astronomy
M. Tseet al.Quantum-Enhanced Advanced LIGO De- tectors in the Era of Gravitational-Wave Astronomy. Physical Review Letters, 123(23):231107, dec 2019
2019
-
[6]
F. Acerneseet al.Increasing the Astrophysical Reach of the Advanced Virgo Detector via the Application of Squeezed Vacuum States of Light.Physical Review Let- ters, 123(23):231108, dec 2019
2019
-
[7]
Abbott et al
R. Abbott et al. GWTC-2: Compact Binary Coales- cences Observed by LIGO and Virgo during the First Half of the Third Observing Run.Physical Review X, 11(2):021053, 6 2021
2021
-
[8]
P.W. Shor. Fault-tolerant quantum computation. InPro- ceedings of 37th Conference on Foundations of Computer Science, pages 56–65. IEEE Comput. Soc. Press
-
[9]
N. Bohr. Can Quantum-Mechanical Description of Phys- ical Reality be Considered Complete?Physical Review, 48(8):696–702, oct 1935
1935
-
[10]
On the Einstein Podolsky Rosen Paradox
John S Bell. On the Einstein Podolsky Rosen Paradox. Physics, 1:195–200, 1964. 6
1964
-
[11]
Proposed experiment to test local hidden-variable theories.Physical Review Letters, 23:880, 1969
John F Clauser, Michael A Horne, Abner Shimony, and Richard A Holt. Proposed experiment to test local hidden-variable theories.Physical Review Letters, 23:880, 1969
1969
-
[12]
Freedman and John F
Stuart J. Freedman and John F. Clauser. Experimental Test of Local Hidden-Variable Theories.Physical Review Letters, 28(14):938–941, apr 1972
1972
-
[13]
Ex- perimental Tests of Realistic Local Theories via Bell‘s Theorem.Physical Review Letters, 47:460, 1981
Alain Aspect, Philippe Grangier, and Gerard Roger. Ex- perimental Tests of Realistic Local Theories via Bell‘s Theorem.Physical Review Letters, 47:460, 1981
1981
-
[14]
Non-locality bursts into life.Nature, 352:277–279, 1991
John Maddox. Non-locality bursts into life.Nature, 352:277–279, 1991
1991
-
[15]
New High- Intensity Source of Polarization-Entangled Photon Pairs
Paul G Kwiat, Klaus Mattle, Harald Weinfurter, An- ton Zeilinger, and Alexander V Sergienko. New High- Intensity Source of Polarization-Entangled Photon Pairs. Physical Review Letters, 75:4337, 1995
1995
-
[16]
Violation of Bell’s Inequality under Strict Einstein Locality Condi- tions.Physical Review Letters, 81(23):5039–5043, dec 1998
Gregor Weihs, Thomas Jennewein, Christoph Simon, Harald Weinfurter, and Anton Zeilinger. Violation of Bell’s Inequality under Strict Einstein Locality Condi- tions.Physical Review Letters, 81(23):5039–5043, dec 1998
1998
-
[17]
Wang, Radoslaw C
Markus Ansmann, H. Wang, Radoslaw C. Bialczak, Max Hofheinz, Erik Lucero, M. Neeley, A. D. O’Connell, D. Sank, M. Weides, J. Wenner, A. N. Cleland, and John M. Martinis. Violation of Bell’s inequality in Josephson phase qubits.Nature, 461(7263):504–506, 2009
2009
-
[18]
Quantum nonlocality: How Does Nature Do It?Science, 326:1357–1359, 2009
Nicolas Gisin. Quantum nonlocality: How Does Nature Do It?Science, 326:1357–1359, 2009
2009
-
[19]
Bell violation using entangled photons without the fair-sampling assumption
Marissa Giustina, Alexandra Mech, Sven Ramelow, Bernhard Wittmann, Johannes Kofler, J¨ orn Beyer, Adri- ana Lita, Brice Calkins, Thomas Gerrits, Sae Woo Nam, Rupert Ursin, and Anton Zeilinger. Bell violation using entangled photons without the fair-sampling assumption. Nature, 497(7448):227–30, may 2013
2013
-
[20]
Hensen, H
B. Hensen, H. Bernien, A. E. Dr´ eau, A. Reiserer, N. Kalb, M. S. Blok, J. Ruitenberg, R. F. L. Vermeulen, R. N. Schouten, C. Abell´ an, W. Amaya, V. Pruneri, M. W. Mitchell, M. Markham, D. J. Twitchen, D. Elkouss, S. Wehner, T. H. Taminiau, and R. Hanson. Loophole- free Bell inequality violation using electron spins sepa- rated by 1.3 kilometres.Nature, ...
2015
-
[21]
L. K. Shalm et al., Strong Loophole-Free Test of Local Realism.Physical Review Letters, 115(25):250402, dec 2015
2015
-
[22]
Aspden, Peter A
Paul-Antoine Moreau, Ermes Toninelli, Thomas Gregory, Reuben S. Aspden, Peter A. Morris, and Miles J. Pad- gett. Imaging Bell-type nonlocal behavior.Science Ad- vances, 5(7), jul 2019
2019
-
[23]
Ghosh, C
R. Ghosh, C. K. Hong, Z. Y. Ou, and L. Mandel. Inter- ference of two photons in parametric down conversion. Physical Review A, 34(5):3962–3968, nov 1986
1986
-
[24]
An experimental test of non-local realism.Nature, 446(7138):871–875, apr 2007
Simon Gr¨ oblacher, Tomasz Paterek, Rainer Kaltenbaek, ˇCaslav Brukner, Marek ˙Zukowski, Markus Aspelmeyer, and Anton Zeilinger. An experimental test of non-local realism.Nature, 446(7138):871–875, apr 2007
2007
-
[25]
‘Relative State’ Formulation of Quantum Mechanics.Reviews of Modern Physics, 29(3):454–462, jul 1957
Hugh Everett. ‘Relative State’ Formulation of Quantum Mechanics.Reviews of Modern Physics, 29(3):454–462, jul 1957
1957
-
[26]
Discovery of entanglement genera- tion by elastic collision to realise the original Einstein- Podolsky-Rosen thought experiment.npj Quantum In- formation, 11(1):76, may 2025
Roman Schnabel. Discovery of entanglement genera- tion by elastic collision to realise the original Einstein- Podolsky-Rosen thought experiment.npj Quantum In- formation, 11(1):76, may 2025
2025
-
[27]
Random numbers certified by Bell’s theorem.Nature, 464(7291):1021–4, apr 2010
S Pironio, A Ac´ ın, S Massar, a Boyer de la Giroday, D N Matsukevich, P Maunz, S Olmschenk, D Hayes, L Luo, T a Manning, and C Monroe. Random numbers certified by Bell’s theorem.Nature, 464(7291):1021–4, apr 2010
2010
-
[28]
Certified randomness in quantum physics.Nature, 540(7632):213–219, dec 2016
Antonio Ac´ ın and Lluis Masanes. Certified randomness in quantum physics.Nature, 540(7632):213–219, dec 2016
2016
-
[29]
¨Uber den anschaulichen Inhalt der quan- tentheoretischen Kinematik und Mechanik.Zeitschrift f¨ ur Physik, 43(3-4):172–198, mar 1927
W Heisenberg. ¨Uber den anschaulichen Inhalt der quan- tentheoretischen Kinematik und Mechanik.Zeitschrift f¨ ur Physik, 43(3-4):172–198, mar 1927
1927
-
[30]
E. H. Kennard. Zur Quantenmechanik einfacher Bewe- gungstypen.Zeitschrift f¨ ur Physik, 44(4-5):326–352, apr 1927
1927
-
[31]
H. Weyl. Quantenmechanik und Gruppentheorie. Zeitschrift f¨ ur Physik, 46(1-2):1–46, nov 1927
1927
-
[32]
H. P. Robertson. The Uncertainty Principle.Physical Review, 34(1):163–164, jul 1929
1929
-
[33]
¨Uber das Gesetz der Energieverteilung im Normalspektrum.Annalen der Physik, 4(4):553–563, 1900
Max Planck. ¨Uber das Gesetz der Energieverteilung im Normalspektrum.Annalen der Physik, 4(4):553–563, 1900
1900
-
[34]
Heisenberg
W. Heisenberg. ¨Uber quantentheoretische Umdeutung kinematischer und mechanischer Beziehungen.Zeitschrift f¨ ur Physik, 33:879, 1925
1925
-
[35]
Born and P
M. Born and P. Jordan. Zur Quantenmechanik. Zeitschrift f¨ ur Physik, 34(1):858–888, dec 1925
1925
-
[36]
M. Born, W. Heisenberg, and P. Jordan. Zur Quan- tenmechanik. II.Zeitschrift f¨ ur Physik, 35(8-9):557–615, 1926
1926
-
[37]
Schr¨ odinger
E. Schr¨ odinger. Quantisierung als Eigenwertproblem. Annalen der Physik, 79:361–376, 1926
1926
-
[38]
N. Bohr. The Quantum Postulate and the Recent Devel- opment of Atomic Theory.Nature, 121(3050):580–590, apr 1928
1928
-
[39]
Realiza- tion of the Einstein-Podolsky-Rosen paradox for continu- ous variables.Physical Review Letters, 68(25):3663–3666, jun 1992
Z Y Ou, S F Pereira, H J Kimble, and K C Peng. Realiza- tion of the Einstein-Podolsky-Rosen paradox for continu- ous variables.Physical Review Letters, 68(25):3663–3666, jun 1992
1992
-
[40]
Squeezed states of light and their appli- cations in laser interferometers.Physics Reports, 684:1– 51, apr 2017
Roman Schnabel. Squeezed states of light and their appli- cations in laser interferometers.Physics Reports, 684:1– 51, apr 2017
2017
-
[41]
Unconditional quantum teleportation.Science, 282(5389):706–9, oct 1998
A Furusawa, J L Sørensen, S L Braunstein, C A Fuchs, H J Kimble, and E S Polzik. Unconditional quantum teleportation.Science, 282(5389):706–9, oct 1998
1998
-
[42]
Bowen, Nicolas Treps, Ben C
Warwick P. Bowen, Nicolas Treps, Ben C. Buchler, Ro- man Schnabel, Timothy C. Ralph, Hans-A. Bachor, Thomas Symul, and Ping Koy Lam. Experimental inves- tigation of continuous-variable quantum teleportation. Physical Review A, 67(3):032302, mar 2003
2003
-
[43]
Stable control of 10 dB two-mode squeezed vacuum states of light.Optics Express, 21(9):11546–11553, may 2013
Tobias Eberle, Vitus H¨ andchen, and Roman Schnabel. Stable control of 10 dB two-mode squeezed vacuum states of light.Optics Express, 21(9):11546–11553, may 2013
2013
-
[44]
Experimental long-lived entanglement of two macroscopic objects.Nature, 413(6854):400–3, sep 2001
Brian Julsgaard, Alexander Kozhekin, and Eugene S Polzik. Experimental long-lived entanglement of two macroscopic objects.Nature, 413(6854):400–3, sep 2001
2001
-
[45]
Peise, I
J. Peise, I. Kruse, K. Lange, B. L¨ ucke, L. Pezz` e, J. Arlt, W. Ertmer, K. Hammerer, L. Santos, A. Smerzi, and C. Klempt. Satisfying the Einstein–Podolsky–Rosen cri- terion with massive particles.Nature Communications, 6(1):8984, dec 2015
2015
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.