Pith. sign in

REVIEW 3 major objections 4 minor 1 cited by

Realism and the Inequivalence of the Two Quantum Pictures

T0 review · 3 major / 4 minor · reviewed 2026-08-04 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗

Pith's one-line read Under scientific realism, the Schrödinger and Heisenberg pictures of quantum mechanics are inequivalent: the Heisenberg picture's descriptors carry strictly more structure than the wavefunction.

desk verdict A well-written philosophy chapter that repackages known non-isomorphism results into a realism argument, but the load-bearing premise—the physical status of the Heisenberg reference state—is openly unresolved. read the letter →

arxiv 2510.02138 v2 pith:LRPS5CK5 submitted 2025-10-02 quant-ph

Charles Alexandre Bédard This is my paper · ORCID
classification quant-ph MSC 81P0581P1581P40
keywords SchrödingerpictureHeisenbergDeutsch–HaydendescriptorsscientificrealisminstrumentalismquantumlocalityEverettinterpretationBellinequalities
topics The Measurement Problem
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The reading

This paper tries to establish that the textbook equivalence of the Schrödinger and Heisenberg pictures holds only if one adopts instrumentalism—the view that theories are just prediction devices. Under scientific realism, the pictures describe different structures and cannot both be true. The Heisenberg-picture descriptor, a time-evolving local generator of observable algebra, stands in a many-to-one, non-invertible relation to the Schrödinger wavefunction, so the wavefunction is a thinner description. The paper argues that descriptors also give genuinely local explanations of superdense coding, teleportation, branching, and Bell violations. If correct, a realist quantum ontology should be built from descriptors rather than from the universal wavefunction.

What carries the argument

The load-bearing object is the Deutsch–Hayden descriptor q_i(t): a subsystem-local set of operators that generate the full observable algebra of that subsystem and evolve by Heisenberg conjugation U† q_i(0) U. Because the collection of all local descriptors can reconstruct the global unitary up to a phase, it captures more than the wavefunction, which is just one column of that unitary. The paper pairs descriptors with quantum noumenal states, equivalence classes [U]_S of unitaries modulo operations outside a system's causal past, and proves (Theorem 1) that these classes correspond one-to-one with descriptors. The reference vector |0⟩ enters as the fixed Heisenberg state from which Born-rul

What would settle it

Constructing a bijection between the projective unitary group P(U(H)) and projective Hilbert space P(H) that preserves all subsystem locality constraints and that reproduces every descriptor-based local explanation would falsify the non-isomorphism claim. Concretely, if a Schrödinger-side local description (for example, a subsystem-decomposed 'fluid' of internal memories) could be shown to be isomorphic to the descriptor formalism without appealing to the reference state |0⟩, the paper's central claim would fail.

Watch

Extended reading notes

Core claim

The central claim is that the state spaces of the two pictures are non-isomorphic: the space of Heisenberg descriptors is the projective unitary group P(U(H_U)), while the Schrödinger state space is the projective Hilbert space P(H_U), and these are not isomorphic for a general Hilbert space. Descriptors therefore surject onto Schrödinger states without reducing to them—each wavefunction has many descriptor realizations. A second claim is that this extra structure is explanatory: it yields local accounts of superdense coding, teleportation, branching, and Bell-inequality violations, which the Schrödinger picture cannot match. On this basis the paper concludes that scientific realism cannot r

Load-bearing premise

The load-bearing premise is that the fixed Heisenberg reference vector |0⟩ is a physically meaningful part of reality rather than a mere convention or gauge choice; if it is a convention, the extra descriptor structure is exactly the surplus that should be quotiented away, and the inequivalence claim collapses.

Editorial extensions

If this is right

  • The standard equivalence proof, based on identical Born-rule expectation values, is valid only as instrumental equivalence; it does not establish sameness of physical description.
  • A realist ontology of quantum theory should not identify the two pictures; the Heisenberg descriptor, rather than the wavefunction, is the candidate for what is real.
  • Phenomena traditionally viewed as nonlocal—teleportation, superdense coding, branching, and Bell violations—admit fully local accounts in the Heisenberg picture.
  • The choice between the Schrödinger and Heisenberg pictures becomes a substantive factual question, not a matter of convention, on a par with choosing between genuinely different theories.
  • Rejecting the Wallace–Timpson gauge identification is necessary if the explanatory successes of descriptors are to be preserved.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • If descriptors are taken as fundamental, then the Heisenberg reference state |0⟩ cannot remain a convention: the entire inequivalence argument depends on its physical meaning, so future work must either make |0⟩ dynamical or ontologically grounded, or concede the surplus structure.
  • The non-isomorphism suggests that quantum gravity or a more fundamental theory could retain local descriptor structure while wavefunction-based notions dissolve, since descriptors encode unitary histories rather than states.
  • One testable extension: compare descriptor-based branching dynamics with Schrödinger-side 'local fluids' proposals to see whether any empirical or explanatory distinction can be made; if none, the inequivalence may be purely metaphysical.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

3 major / 4 minor

Summary. The paper argues that the standard equivalence between the Schrödinger and Heisenberg pictures of quantum mechanics is an instrumentalist assumption. Under scientific realism, the two pictures describe different structures: Heisenberg-picture descriptors (generalized Deutsch–Hayden generator tuples) are in one-to-one correspondence with unitary evolutions modulo a phase, P(U(H_U)), while Schrödinger states are rays in Hilbert space, P(H_U). Since these spaces are not isomorphic, the author concludes that the pictures are inequivalent under realism and that Heisenberg-picture descriptors offer a separable local ontology, illustrated by superdense coding, teleportation, branching, and Bell violations. The paper also engages with the Wallace–Timpson proposal to gauge-quotient the extra descriptor structure, but leaves open the status of the Heisenberg reference state.

Significance. If the central claim were fully established, this would be a significant contribution to quantum foundations, reframing the picture-equivalence debate around structural isomorphism rather than predictive equivalence and giving new weight to the Deutsch–Hayden program. The formal core—descriptors ≃ P(U(H_U)) versus states ≃ P(H_U)—is standard and essentially correct for finite-dimensional systems, and the paper is commendably explicit in flagging the Heisenberg-state problem as the key open issue. However, that same admission makes the realist conclusion conditional: the paper does not yet establish that the extra descriptor structure is physical rather than gauge. The explanatory claims in §6 are also deferred to other publications rather than demonstrated here.

major comments (3)
  1. [§5.1 (Eq. (6)) and §7] The descriptor state space in Eq. (6) is defined without the Heisenberg reference vector |0⟩, but the Born rule A4 and the density-matrix reconstruction in §4.4 require the pair (q_i(t), |0⟩). For any C with C|0⟩=e^{iθ}|0⟩, U and U C produce the same Schrödinger ray [U|0⟩] yet different descriptor tuples (C† q C vs. q). The difference between H-Descriptors_U and S-States_U is therefore precisely the absence of a quotient by the stabilizer of |0⟩. The paper's own §7 calls the status of the Heisenberg state 'the key challenge'; until a physical argument shows that |0⟩ is not gauge, the central realist inequivalence is not established. The abstract's conclusion depends on this point, so it needs to be resolved or the thesis made explicitly conditional.
  2. [§5.1, Theorem 1 (Eq. (5))] The '⇐=' direction of Theorem 1 is asserted rather than proved. The proof sets U'=VU and claims that V's functional representation 'depends explicitly on terms of q_i(0)' because [U] differs, but it does not prove that such dependence implies q_i(t+1)≠q_i(t). The result can be proved directly by showing that Ad_{U'U†} fixes gen_{S_i}⊗1 iff U'U† lies in 1_{S_i}⊗B(H_{S_i-complement}); this commutant argument is absent. Since the theorem is used to underwrite the descriptor↔noumenal-state correspondence and the no-action-at-a-distance analysis, the gap should be filled or the theorem replaced by a correct proof sketch.
  3. [§5.1 and §4.1] Theorem 1 claims to cover dimensions d_i ∈ N >1 ∪ ∞, and §4.1 introduces unbounded and continuously labelled generators for infinite-dimensional systems. No rigorous treatment of domains, spectral measures, or infinite-dimensional unitary groups is provided. The finite-dimensional qubit network suffices for the paper's main conceptual claim; if the infinite-dimensional claim is to be retained, it needs a proof or an explicit restriction to finite dimensions.
minor comments (4)
  1. [§4.1 and Eq. (5)] The symbol H_{S_k} is used for both the subsystem Hilbert space and its complement; the tensor product in Eq. (5) should be labelled H_{S_k-complement} or similar to avoid confusion.
  2. [§5 (first paragraph)] Typo: 'Schröinger' should be 'Schrödinger'.
  3. [§4.4] The reconstruction of the density operator uses sums over i,j without explicitly displaying the range or the normalization; making this explicit would improve readability.
  4. [§6] The explanatory claims in §6 are presented as consequences of descriptors, but the calculations are deferred to other publications. A sentence clarifying that these are sketches rather than proofs within this chapter would set appropriate expectations.

Circularity Check

1 steps flagged · score 4.0 of 10

Core non-isomorphism is independent, but the Bell-locality payoff that justifies rejecting the gauge quotient is deferred to a forthcoming self-citation.

  1. self citation load bearing [§6.4 (Local Violations of Bell Inequalities); cf. §7]
    "The multiversal measures assigned to those records precisely match the quantum statistics: in the CHSH game, the winning pairs sum to cos^2(π/8). ... See Ref. [30] for a full analysis."

    The paper's argument against the Wallace–Timpson gauge quotient is that descriptor structure earns its keep by solving problems: 'I also oppose the Wallace–Timpson identification on the grounds that the formalism of descriptors allows us to solve important problems, such as those laid out in §6' (§7). But the quantitative Bell-local account—the key 'full analysis' of one of these problems—is not derived here; it is deferred to Ref. [30], an unpublished, forthcoming paper by the same author. The explanatory payoff that motivates treating descriptor structure as real rather than gauge is therefore carried by a self-citation, not by a derivation in the present text. The core non-isomorphism theorem is independent, so the circularity is partial.

full rationale

The central non-isomorphism claim is self-contained: Theorem 1 and Eq. (6) explicitly construct H-Descriptors_U ≃ P(U(H_U)) and S-States_U ≃ P(H_U), and the surjection from descriptors to states is a mathematical fact, not a fitted input. The paper also explicitly flags its main assumption in §7 ('the key challenge is to understand the status of the Heisenberg state'), which is a limitation about the physical status of |0⟩ rather than a circular step. However, the rejection of the Wallace–Timpson gauge identification is supported by explanatory successes (§6), and the quantitative Bell-locality analysis is not provided in the paper but cited to the author's own forthcoming Ref. [30]. To that extent, one load-bearing justificatory strand reduces to an unverified self-citation. This does not undermine the independent non-isomorphism theorem, so the overall circularity score is moderate, not high.

Assumptions & free parameters 0 free parameters · 6 assumptions · 0 invented entities

The paper introduces no new empirical fitting parameters and no new postulated entities: descriptors, noumenal states, and internal memories are imported from prior work. The load-bearing axioms are the standard axioms of unitary quantum mechanics plus the specifically realist premises that equivalence requires isomorphism and that a complete local description must be separable. The most fragile uncharged premise is the physical status of the Heisenberg reference vector |0⟩, which the author explicitly acknowledges as an open problem.

assumptions (6)
  • domain assumption Standard quantum axioms A1–A4: Hilbert-space states, self-adjoint observables, unitary dynamics, and the Born rule.
    The whole argument operates within unitary quantum mechanics, and the empirical equivalence of the pictures is defined through these axioms (Section 2).
  • domain assumption Scientific realism: there is a real objective world, and theories aim to describe it.
    The conclusion of inequivalence only follows under this philosophical premise (Section 3).
  • domain assumption Under realism, two descriptions are equivalent iff their structures are isomorphic.
    This premise does much of the philosophical work: it upgrades equivalence from sameness of predictions to structural isomorphism (Section 3).
  • domain assumption A complete and local description of a system must be a separable tuple of subsystem descriptors, and action at a distance is defined via Wallace's criterion.
    Used to argue that the Schrödinger wavefunction is nonlocal and that descriptors satisfy locality (Sections 4.2, 4.6).
  • standard math The projective unitary group P(U(H_U)) is not isomorphic to the projective Hilbert space P(H_U).
    Used in Section 5.1 to conclude that the descriptor state space differs from the wavefunction state space.
  • domain assumption A unitary-only, Everett-style framework without collapse is the correct arena for explaining measurement phenomena.
    The local explanations in Section 6 presume no collapse and treat 'classical' information as decoherence-robust quantum information.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Realism and the Inequivalence of the Two Quantum Pictures." pith.science (2026). https://pith.science/paper/LRPS5CK5

@misc{pith2026251002138,
  author       = {Pith},
  title        = {Pith review of: Realism and the Inequivalence of the Two Quantum Pictures},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/LRPS5CK5}},
  note         = {Machine review of arXiv:2510.02138}
}
read the original abstract

The standard claim that the Schr\"odinger and Heisenberg pictures of quantum mechanics are equivalent rests on the fact that they yield identical empirical predictions. This equivalence therefore assumes the instrumentalist worldview in which theories serve only as tools for prediction. Under scientific realism, by contrast, theories aim to describe reality. Whereas the Schr\"odinger picture posits a time-evolving wave function, the Heisenberg picture posits so-called descriptors, time-evolving generators of the algebra of observables. These two structures are non-isomorphic: descriptors surject onto but do not reduce to the Schr\"odinger state. Hence, under realism, the pictures are inequivalent. I argue that this inequivalence marks an opening toward a richer, separable ontology for quantum theory. On explanatory grounds, descriptors provide genuinely local accounts of superdense coding, teleportation, branching, and Bell inequality violations -- phenomena that the Schr\"odinger framework does not explain fully locally.

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score. Full citation record

  1. Another Triumph of Locality: Colliding Histories Skew Handshakes

    quant-ph 2026-04 unverdicted novelty 3.0 of 10

    Bell's inequality is claimed not to refute local reality because, in the Heisenberg picture, each subsystem has a local descriptor and CHSH correlations emerge only when histories meet.

Reference graph

Works this paper leans on

34 extracted references · 1 linked inside Pith · cited by 1 Pith paper

  1. [1]

    Information flow in entangled quantum systems.Proceedings of the Royal Society A, 456(1999):1759–1774, 2000

    David Deutsch and Patrick Hayden. Information flow in entangled quantum systems.Proceedings of the Royal Society A, 456(1999):1759–1774, 2000

    1999

  2. [2]

    Nonlocality and information flow: The approach of Deutsch and Hayden.Foundations of Physics, 35(2):313–343, 2005

    Christopher G Timpson. Nonlocality and information flow: The approach of Deutsch and Hayden.Foundations of Physics, 35(2):313–343, 2005

    2005

  3. [3]

    Foundations of quantum mechanics.Nature, 203(4941):115–116, 1964

    PAM Dirac. Foundations of quantum mechanics.Nature, 203(4941):115–116, 1964

    1964

  4. [4]

    Quantum electrodynamics without dead wood.Physical Review, 139(3B):B684, 1965

    PAM Dirac. Quantum electrodynamics without dead wood.Physical Review, 139(3B):B684, 1965

    1965

  5. [5]

    Über quantentheoretische umdeutung kinematischer und mechanischer beziehungen.Zeitschrift für Physik, 33(1):879–893, 1925

    W Heisenberg. Über quantentheoretische umdeutung kinematischer und mechanischer beziehungen.Zeitschrift für Physik, 33(1):879–893, 1925

    1925

  6. [6]

    Quantisierung als eigenwertproblem.Annalen der physik, 385(13):437–490, 1926

    Erwin Schrödinger. Quantisierung als eigenwertproblem.Annalen der physik, 385(13):437–490, 1926. 17

    1926

  7. [7]

    Über das verhältnis der Heisenberg-Born-Jordanschen quantenmechanik zu der meinen.Annalen der Physik, 79(8):734, 1926

    Erwin Schrödinger. Über das verhältnis der Heisenberg-Born-Jordanschen quantenmechanik zu der meinen.Annalen der Physik, 79(8):734, 1926

    1926

  8. [8]

    Operator calculus and the solution of the equations of quantum dynamics.Physical Review, 28(4):711, 1926

    Carl Eckart. Operator calculus and the solution of the equations of quantum dynamics.Physical Review, 28(4):711, 1926

    1926

Show all 34 references
  1. [9]

    Are wave mechanics and matrix mechanics equivalent theories?Cechoslovackij fiziceskij zurnal B, 11(10):693–708, 1961

    Norwood Russell Hanson. Are wave mechanics and matrix mechanics equivalent theories?Cechoslovackij fiziceskij zurnal B, 11(10):693–708, 1961

    1961

  2. [10]

    The equivalence myth of quantum mechanics—Part I

    Frederick A Muller. The equivalence myth of quantum mechanics—Part I. Studies in history and philosophy of science Part B: Studies in history and philoso- phy of modern Physics, 28(1):35–61, 1997

    1997

  3. [11]

    The equivalence myth of quantum mechanics—Part II.Studies in history and philosophy of science Part B: Studies in history and philosophy of modern Physics, 28(2):219–247, 1997

    FA Muller. The equivalence myth of quantum mechanics—Part II.Studies in history and philosophy of science Part B: Studies in history and philosophy of modern Physics, 28(2):219–247, 1997

    1997

  4. [12]

    Princeton University Press, 1955

    John von Neumann.Mathematical foundations of quantum mechanics. Princeton University Press, 1955

    1955

  5. [13]

    Popper.Realism and the Aim of Science, volume 1 ofPostscript to the Logic of Scientific Discovery

    Karl R. Popper.Realism and the Aim of Science, volume 1 ofPostscript to the Logic of Scientific Discovery. Routledge, London, 1996

    1996

  6. [14]

    The theory of the universal wave function

    Hugh Everett III. The theory of the universal wave function. In Bryce De- Witt and Neill Graham, editors,The Many-Worlds Interpretation of Quantum Mechanics, pages 3–140. Princeton University Press, Princeton, NJ, 1973

    1973

  7. [15]

    L’information algorithmique en physique: émer- gence, sophistication et localité quantique

    Charles Alexandre Bédard. L’information algorithmique en physique: émer- gence, sophistication et localité quantique. 2020

    2020

  8. [16]

    A local-realistic model for quantum theory.Pro- ceedings of the Royal Society A, 477(2250):20200897, 2021

    Paul Raymond-Robichaud. A local-realistic model for quantum theory.Pro- ceedings of the Royal Society A, 477(2250):20200897, 2021

    2021

  9. [17]

    The cost of quantum locality.Proceedings of the Royal Society A, 477(2246):20200602, 2021

    Charles Alexandre Bédard. The cost of quantum locality.Proceedings of the Royal Society A, 477(2246):20200602, 2021

    2021

  10. [18]

    PhD thesis, University of Oxford, 2023

    N Tibau Vidal.On the locality of indistinguishable quantum systems. PhD thesis, University of Oxford, 2023

    2023

  11. [19]

    The ABC of Deutsch–Hayden descriptors.Quan- tum Reports, 3(2):272–285, 2021

    Charles Alexandre Bédard. The ABC of Deutsch–Hayden descriptors.Quan- tum Reports, 3(2):272–285, 2021

    2021

  12. [20]

    Restoring locality

    Samuel Kuypers. Restoring locality. In Alyssa Ney, editor,Local Quantum Mechanics: Everett, Many Worlds, and Reality. Oxford University Press, This Volume. 18

  13. [21]

    Oxford University Press, 2012

    David Wallace.The Emergent Multiverse: Quantum Theory According to the Everett Interpretation. Oxford University Press, 2012

    2012

  14. [22]

    The equivalence of local-realistic and no- signalling theories.arXiv preprint arXiv:1710.01380, 2017

    Paul Raymond-Robichaud. The equivalence of local-realistic and no- signalling theories.arXiv preprint arXiv:1710.01380, 2017

    2017 arXiv

  15. [23]

    Local quantum theory with fluids in space-time.Quan- tum Reports, 5(1):156–185, 2023

    Mordecai Waegell. Local quantum theory with fluids in space-time.Quan- tum Reports, 5(1):156–185, 2023

    2023

  16. [24]

    Communication via one-and two- particle operators on Einstein-Podolsky-Rosen states.Physical review letters, 69(20):2881, 1992

    Charles H Bennett and Stephen J Wiesner. Communication via one-and two- particle operators on Einstein-Podolsky-Rosen states.Physical review letters, 69(20):2881, 1992

    1992

  17. [25]

    Teleporting an unknown quantum state via dual classical and Einstein-Podolsky-Rosen channels.Physical Review Letters, 70(13):1895, 1993

    Charles H Bennett, Gilles Brassard, Claude Crépeau, Richard Jozsa, Asher Peres, and William K Wootters. Teleporting an unknown quantum state via dual classical and Einstein-Podolsky-Rosen channels.Physical Review Letters, 70(13):1895, 1993

    1993

  18. [26]

    Teleportation revealed.Quantum Reports, 5(2):510–525, 2023

    Charles Alexandre Bédard. Teleportation revealed.Quantum Reports, 5(2):510–525, 2023

    2023

  19. [27]

    Everettian branching in the world and of the world

    Nick Huggett Nadia Blackshaw and James Ladyman. Everettian branching in the world and of the world. In Alyssa Ney, editor,Local Quantum Mechan- ics: Everett, Many Worlds, and Reality. Oxford University Press, This Volume

  20. [28]

    Everettian relative states in the Heisen- berg picture.Proceedings of the Royal Society A, 477(2246):20200783, 2021

    Samuel Kuypers and David Deutsch. Everettian relative states in the Heisen- berg picture.Proceedings of the Royal Society A, 477(2246):20200783, 2021

    2021

  21. [29]

    On the Einstein Podolsky Rosen paradox.Physics, 1(3):195–200, 1964

    John S Bell. On the Einstein Podolsky Rosen paradox.Physics, 1(3):195–200, 1964

    1964

  22. [30]

    Explaining Bell locally.Proceedings of the Royal Society A, 2025

    Charles Alexandre Bédard. Explaining Bell locally.Proceedings of the Royal Society A, 2025. Forthcoming

    2025

  23. [31]

    Non-locality and gauge freedom in Deutsch and Hayden’s formulation of quantum mechanics.Foundations of Physics, 37(7):1069–1073, 2007

    David Wallace and Christopher G Timpson. Non-locality and gauge freedom in Deutsch and Hayden’s formulation of quantum mechanics.Foundations of Physics, 37(7):1069–1073, 2007

    2007

  24. [32]

    Quantum theory of probability and decisions.Proceedings of the Royal Society of London

    David Deutsch. Quantum theory of probability and decisions.Proceedings of the Royal Society of London. Series A: Mathematical, Physical and Engineering Sciences, 455(1988):3129–3137, 1999

    1988

  25. [33]

    David Wallace. Everettian rationality: defending Deutsch’s approach to probability in the Everett interpretation.Studies in History and Philosophy of Science Part B: Studies in History and Philosophy of Modern Physics, 34(3):415– 439, 2003. 19

    2003

  26. [34]

    Branch-counting in the everett interpretation of quantum mechanics.Proceedings of the Royal Society A, 477(2255):20210600, 2021

    Simon Saunders. Branch-counting in the everett interpretation of quantum mechanics.Proceedings of the Royal Society A, 477(2255):20210600, 2021. 20

    2021

Pith tools

Reviewed August 4, 2026 · model on record in the stance chip above.