pith. sign in

arxiv: 2504.20816 · v2 · submitted 2025-04-29 · 🪐 quant-ph

The Contextual Heisenberg Microscope

Jan-{\AA}ke Larsson This is my paper

Pith reviewed 2026-05-22 18:42 UTC · model grok-4.3

classification 🪐 quant-ph
keywords Heisenberg microscopecontextual ontological modelstabilizer quantum mechanicsquantum contextualitymeasurement back-actionGHZ nonlocality
0
0 comments X

The pith

A contextual ontological model fully accounts for the back-action in the Heisenberg microscope within stabilizer quantum mechanics.

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

The paper re-examines the Heisenberg microscope thought experiment in the restricted setting of stabilizer quantum mechanics, which nonetheless exhibits nonlocality and contextuality. Using the contextual ontological model, it demonstrates that the measurement back-action can be completely described ontologically. The randomness associated with the outcomes originates in the initial state of the pointer system. This mirrors the original Heisenberg description and suggests that contextuality may allow such pictures in broader quantum mechanics.

Core claim

Within the Contextual Ontological Model for Stabilizer QM, the back-action in the contextual Heisenberg microscope is completely described, and the associated randomness originates in the initial state of the pointer system, exactly as in the original description of the Heisenberg microscope.

What carries the argument

The Contextual Ontological Model (COM), which supplies a complete ontological description of future measurement outcomes reproducing all quantum predictions including GHZ nonlocality and Peres-Mermin contextuality in Stabilizer QM.

If this is right

  • The back-action from the measurement device can be fully accounted for within the ontological model.
  • The randomness in measurement outcomes comes from the pointer's initial state rather than an uncontrollable disturbance.
  • This contextual version of the Heisenberg microscope picture may extend to general quantum mechanics.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • Similar ontological descriptions could be explored for other restricted quantum theories that exhibit contextuality.
  • Explicit simulations of stabilizer circuits including pointer systems could test the source of randomness.
  • This may offer ways to reconcile classical measurement intuitions with quantum contextuality in practical quantum information settings.

Load-bearing premise

The Contextual Ontological Model supplies a complete ontological description of future measurement outcomes that reproduces all quantum predictions, including GHZ nonlocality and Peres-Mermin contextuality, in Stabilizer QM.

What would settle it

A calculation in stabilizer quantum mechanics showing that the back-action cannot be completely described by the initial state of the pointer in the contextual ontological model would falsify the main claim.

Figures

Figures reproduced from arXiv: 2504.20816 by Jan-{\AA}ke Larsson.

Figure 1
Figure 1. Figure 1: FIG. 1. The Heisenberg microscope for qubits. [PITH_FULL_IMAGE:figures/full_fig_p001_1.png] view at source ↗
Figure 2
Figure 2. Figure 2: FIG. 2. The Heisenberg microscope in Stabilizer QM. [PITH_FULL_IMAGE:figures/full_fig_p002_2.png] view at source ↗
Figure 3
Figure 3. Figure 3: FIG. 3. The Heisenberg microscope in the Contextual Onto [PITH_FULL_IMAGE:figures/full_fig_p004_3.png] view at source ↗
read the original abstract

The Heisenberg microscope provides a powerful mental image of the measurement process of quantum mechanics (QM), attempting to explain the uncertainty relation through an uncontrollable back-action from the measurement device. However, Heisenberg's proposed back-action uses features that are not present in the QM description of the world, and according to Bohr not present in the world. Therefore, Bohr argues, the mental image proposed by Heisenberg should be avoided. Later developments by Bell and Kochen-Specker shows that a model that contains the features used for the Heisenberg microscope is in principle possible but must necessarily be nonlocal and contextual. In this paper we will re-examine the measurement process within a restriction of QM known as Stabilizer QM (SQM), that still exhibits for example Greenberger-Horne-Zeilinger nonlocality and Peres-Mermin contextuality. The re-examination will use a recent extension of SQM, the Contextual Ontological Model (COM), where the system state gives a complete description of future measurement outcomes reproducing the quantum predictions, including the mentioned phenomena. We will see that the resulting contextual Heisenberg microscope back-action can be completely described within COM, and that the associated randomness originates in the initial state of the pointer system, exactly as in the original description of the Heisenberg microscope. The presence of contextuality, usually seen as prohibiting ontological models, suggests that the contextual Heisenberg microscope picture could perhaps be enabled in general QM.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

2 major / 2 minor

Summary. The manuscript re-examines the Heisenberg microscope in Stabilizer Quantum Mechanics (SQM), which exhibits GHZ nonlocality and Peres-Mermin contextuality. Using the Contextual Ontological Model (COM) as a recent extension of SQM, it claims that the back-action can be completely described ontologically within COM, with the associated randomness originating entirely in the initial ontic state of the pointer system, exactly as in the original Heisenberg picture. The paper suggests that this contextual version of the microscope may be viable in general QM despite contextuality.

Significance. If the central claim holds, the work supplies a concrete ontological account of measurement back-action in a contextual but still quantum theory. By attributing all randomness to the pointer preparation within COM while reproducing the relevant nonlocality and contextuality phenomena, it offers a way to preserve a Heisenberg-style mental image. This is a potentially useful bridge between ontological models and the features that usually obstruct them, and the explicit use of COM to achieve reproduction of stabilizer predictions is a clear strength.

major comments (2)
  1. [Abstract and COM application section] The central claim that COM supplies a complete ontological description of future measurement outcomes (reproducing GHZ nonlocality and Peres-Mermin contextuality) while ensuring back-action randomness originates solely in the pointer's initial state is load-bearing. The manuscript must exhibit the explicit ontic-state update rule for the pointer and demonstrate that no context-dependent ontic variables are required for the pointer measurement; otherwise the attribution of randomness cannot be made solely to the pointer preparation as asserted.
  2. [COM application section] § on the contextual Heisenberg microscope setup: the assertion that the back-action 'can be completely described within COM' requires a worked derivation or explicit construction showing how the pointer's ontic state determines the outcomes without residual contextuality leaking into the system-pointer interaction. If only marginals are reproduced, the original Heisenberg picture is not recovered.
minor comments (2)
  1. [Introduction] The introduction of COM would benefit from a short self-contained summary of its ontic states and update rules for stabilizer operations before applying it to the microscope, to aid readers unfamiliar with the prior extension.
  2. Notation for the pointer state and its ontic variables should be introduced with an explicit example (e.g., a simple stabilizer state and pointer observable) to make the back-action description concrete.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for their thorough review and valuable feedback on our manuscript. The major comments raise important points about the need for explicit details in our application of the Contextual Ontological Model (COM) to the Heisenberg microscope. We have prepared a revised version of the manuscript that incorporates additional explicit constructions and derivations to address these concerns. Our point-by-point responses are as follows.

read point-by-point responses

  1. Referee: [Abstract and COM application section] The central claim that COM supplies a complete ontological description of future measurement outcomes (reproducing GHZ nonlocality and Peres-Mermin contextuality) while ensuring back-action randomness originates solely in the pointer's initial state is load-bearing. The manuscript must exhibit the explicit ontic-state update rule for the pointer and demonstrate that no context-dependent ontic variables are required for the pointer measurement; otherwise the attribution of randomness cannot be made solely to the pointer preparation as asserted.

    Authors: We thank the referee for emphasizing this crucial aspect. Upon re-examination, we acknowledge that while the manuscript outlines the COM framework and its application to the Heisenberg microscope, the explicit ontic-state update rule for the pointer was not presented in sufficient detail. In the revised version, we have added a new subsection detailing the ontic-state update rule. Specifically, the pointer's ontic state lambda_p is updated according to a deterministic function based on the initial ontic state and the interaction, with all stochasticity traced back to the distribution over initial lambda_p. We demonstrate that the pointer measurement outcomes are fully determined by lambda_p without requiring additional context-dependent variables, as the COM for the pointer is constructed to be non-contextual in its own right for the relevant measurements. This preserves the attribution of randomness to the pointer preparation. revision: yes

  2. Referee: [COM application section] § on the contextual Heisenberg microscope setup: the assertion that the back-action 'can be completely described within COM' requires a worked derivation or explicit construction showing how the pointer's ontic state determines the outcomes without residual contextuality leaking into the system-pointer interaction. If only marginals are reproduced, the original Heisenberg picture is not recovered.

    Authors: We agree that a worked derivation is necessary to fully substantiate the claim. The original manuscript provides the setup and argues based on the properties of COM that back-action is ontological, but we have now included an explicit step-by-step derivation in the revised manuscript. This derivation shows how the joint system-pointer ontic state evolves, with the pointer's ontic variables dictating the back-action on the system in a manner consistent with the stabilizer predictions. Importantly, the construction ensures no residual contextuality in the interaction by using the fact that COM reproduces the quantum marginals exactly while assigning ontic states that account for the contextuality in the system but not leaking it into the pointer's description. This recovers the Heisenberg picture where the back-action is uncontrollable due to the pointer's initial state uncertainty. revision: yes

Circularity Check

0 steps flagged

Minor self-citation dependence on COM definition; central back-action attribution remains independently derived

full rationale

The paper defines COM as supplying a complete ontological state for the system that determines all future outcomes while reproducing SQM predictions including GHZ nonlocality and Peres-Mermin contextuality. It then applies this to show that pointer back-action randomness originates solely in the pointer's initial ontic state. This step uses the model's stated completeness as a premise but does not reduce the microscope conclusion to a tautology or fitted parameter; the attribution follows from contrasting system completeness against pointer preparation. The reliance on prior COM work introduces a self-citation element that is not load-bearing for the specific back-action claim, which has independent content within the given framework. No equations or steps equate the target result to its inputs by construction.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 1 invented entities

The paper depends on the prior framework of Stabilizer QM and its extension to the Contextual Ontological Model; no explicit free parameters are introduced in the abstract, but the completeness of COM is taken as given.

axioms (2)
  • domain assumption Stabilizer QM exhibits Greenberger-Horne-Zeilinger nonlocality and Peres-Mermin contextuality while remaining a restriction of standard quantum mechanics.
    Invoked in the abstract as the setting that still contains the relevant phenomena.
  • domain assumption The Contextual Ontological Model provides a complete description of future measurement outcomes that reproduces quantum predictions.
    Central premise stated in the abstract for the re-examination.
invented entities (1)
  • Contextual Ontological Model (COM) no independent evidence
    purpose: Supplies an ontological state that completely determines future measurement outcomes in Stabilizer QM while reproducing quantum predictions including contextuality.
    Described as a recent extension used to model the Heisenberg microscope back-action.

pith-pipeline@v0.9.0 · 5769 in / 1540 out tokens · 35654 ms · 2026-05-22T18:42:05.010830+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

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.

Reference graph

Works this paper leans on

25 extracted references · 25 canonical work pages · 1 internal anchor

  1. [1]

    model, the Contextual Ontological Model [8] (COM), that reproduces the predictions of Stabilizer QM. The re- sults by Bell [9] and Kochen-Specker [10, 11] (KS) tell us that such a model must give contextual predictions from the pre-existing values: future outcomes must sometimes depend on which measurements have been performed, even if the future measurem...

    work page

  2. [2]

    the finite and un- controllable interaction between the objects and the mea- suring instruments

    for qubits, the main reason is that Bohmian mechan- ics uses position as the preferred phase space coordinate while COM changes the preferred coordinate according to the preceding sequence of measurements [21]. COM essentially keeps track of the QM state preparation rather than the QM state itself. IV. THE CONTEXTUAL HEISENBERG MICROSCOPE COM allows us to...

    work page

  3. [3]

    Heisenberg, ¨Uber den anschaulichen Inhalt der quan- tentheoretischen Kinematik und Mechanik, Zeitschrift f¨ ur Physik43, 172 (1927), English translation in Wheeler & Zurek[2]

    W. Heisenberg, ¨Uber den anschaulichen Inhalt der quan- tentheoretischen Kinematik und Mechanik, Zeitschrift f¨ ur Physik43, 172 (1927), English translation in Wheeler & Zurek[2]

    work page 1927

  4. [4]

    Heisenberg, The Physical Content of Quantum Kine- matics and Mechanics, in Quantum Theory and Measure- ment, edited by J

    W. Heisenberg, The Physical Content of Quantum Kine- matics and Mechanics, in Quantum Theory and Measure- ment, edited by J. A. Wheeler and W. H. Zurek (Prince- ton University Press, 1983) pp. 62–84

    work page 1983

  5. [5]

    A. H. Compton, A Quantum Theory of the Scattering of X-rays by Light Elements, Physical Review 21, 483 (1923)

    work page 1923

  6. [6]

    Heisenberg, The physical principles of the quantum theory (Dover, 1930)

    W. Heisenberg, The physical principles of the quantum theory (Dover, 1930)

    work page 1930

  7. [7]

    Bohr, The Quantum Postulate and the Recent Devel- opment of Atomic Theory, Nature 121, 580 (1928)

    N. Bohr, The Quantum Postulate and the Recent Devel- opment of Atomic Theory, Nature 121, 580 (1928)

    work page 1928

  8. [8]

    von Neumann, Mathematische Grundlagen der Quan- tenmechanik (Springer, 1932)

    J. von Neumann, Mathematische Grundlagen der Quan- tenmechanik (Springer, 1932)

    work page 1932

  9. [9]

    Einstein, B

    A. Einstein, B. Podolsky, and N. Rosen, Can Quantum- Mechanical Description of Physical Reality be Consid- ered Complete?, Phys. Rev. 47, 777 (1935)

    work page 1935

  10. [10]

    Hindlycke and J.-˚A

    C. Hindlycke and J.-˚A. Larsson, Efficient Contextual On- tological Model of n-Qubit Stabilizer Quantum Mechan- ics, Physical Review Letters 129, 130401 (2022)

    work page 2022

  11. [11]

    J. S. Bell, On the Einstein-Podolsky-Rosen paradox, Physics (Long Island City, N. Y.) 1, 195 (1964)

    work page 1964

  12. [12]

    Kochen and E

    S. Kochen and E. P. Specker, The problem of hidden variables in quantum mechanics, Journal of Mathematics and Mechanics 17, 59 (1967)

    work page 1967

  13. [13]

    Budroni, A

    C. Budroni, A. Cabello, O. G¨ uhne, M. Kleinmann, and J.-˚A. Larsson, Kochen-Specker contextuality, Reviews of Modern Physics 94, 045007 (2022)

    work page 2022

  14. [14]

    Gottesman, Stabilizer Codes and Quantum Error Correction, Ph.D

    D. Gottesman, Stabilizer Codes and Quantum Error Correction, Ph.D. thesis, Caltech (1997), arXiv:quant- ph/9705052

    work page arXiv 1997

  15. [15]

    The Heisenberg Representation of Quantum Computers

    D. Gottesman, The Heisenberg Representation of Quan- tum Computers, arXiv:quant-ph/9807006 (1998)

    work page internal anchor Pith review Pith/arXiv arXiv 1998

  16. [16]

    Aaronson and D

    S. Aaronson and D. Gottesman, Improved simulation of stabilizer circuits, Physical Review A 70, 052328 (2004)

    work page 2004

  17. [17]

    D. M. Greenberger, M. A. Horne, A. Shimony, and A. Zeilinger, Bell’s theorem without inequalities, Ameri- can Journal of Physics 58, 1131 (1990)

    work page 1990

  18. [18]

    Peres, Incompatible results of quantum measure- ments, Physics Letters A 151, 107 (1990)

    A. Peres, Incompatible results of quantum measure- ments, Physics Letters A 151, 107 (1990)

    work page 1990

  19. [19]

    N. D. Mermin, Simple unified form for the major no- hidden-variables theorems, Physical Review Letters 65, 3373 (1990)

    work page 1990

  20. [20]

    There is no need to randomize the sign of C ′ 1 in SSTR be- cause the signs of the Ck are never used, nor needed since randomness is generated on demand before measurement output

    work page

  21. [21]

    The COM state initialization is equivalent to measuring Pauli Z on the qubit, and on outcome −1 resetting the 6 qubit to |0⟩ by applying an X gate; thus preparation is measurement just as in regular quantum mechanics

    work page

  22. [22]

    Bohm, Quantum Theory (Prentice Hall, New York, 1951)

    D. Bohm, Quantum Theory (Prentice Hall, New York, 1951)

    work page 1951

  23. [23]

    Skott, Spin Measurement in Bohmian Mechanics and the Contextual Ontological Model , Master’s thesis, LiTH- ISY-EX–24/5648–SE, Link¨ oping University, Link¨ oping (2024)

    A. Skott, Spin Measurement in Bohmian Mechanics and the Contextual Ontological Model , Master’s thesis, LiTH- ISY-EX–24/5648–SE, Link¨ oping University, Link¨ oping (2024)

    work page 2024

  24. [24]

    Bohr, Can Quantum-Mechanical Description of Phys- ical Reality be Considered Complete?, Physical Review 48, 696 (1935)

    N. Bohr, Can Quantum-Mechanical Description of Phys- ical Reality be Considered Complete?, Physical Review 48, 696 (1935)

    work page 1935

  25. [25]

    Fankhauser, T

    J. Fankhauser, T. Gonda, and G. De les Coves, Epistemic horizons from deterministic laws: Lessons from a nomic toy theory, Synthese 205, 136 (2025)

    work page 2025