pith. sign in

arxiv: 2510.01888 · v2 · submitted 2025-10-02 · 🪐 quant-ph

Counterfactual quantum measurements

Ingita Banerjee , Kiarn T. Laverick , Howard M. Wiseman This is my paper

Pith reviewed 2026-05-18 10:55 UTC · model grok-4.3

classification 🪐 quant-ph
keywords quantum counterfactualsmeasurement settingsLewis hierarchyindeterministic quantum theoryquantum opticshypothetical detector replacementatom fluorescence
0
0 comments X

The pith

A formalism for quantum counterfactuals treats choices of measurement settings as antecedents and generalizes Lewis's classical hierarchy to handle indeterministic quantum outcomes.

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

The paper sets out a method for evaluating what a quantum system would have done under a different measurement choice while keeping all other conditions fixed. It adapts the hierarchy of closeness criteria from David Lewis's classical counterfactual logic by limiting antecedents strictly to which detector or setting is selected. This produces definite answers to questions such as what a field-quadrature detector would have recorded if it had replaced a photon detector that observed an atom's fluorescence. The approach matters because it supplies a consistent rule for hypothetical reasoning inside quantum theory without forcing deterministic collapse or violating existing predictions.

Core claim

We propose a formalism for quantum counterfactuals in which antecedents are measurement settings. Unlike other approaches, it non-trivially answers questions like: 'Given that a photon-detector, observing an atom's fluorescence, clicked at a certain time, what would a field-quadrature detector have measured, if it had been used instead?' by extending Lewis's hierarchy of desiderata to indeterministic quantum theory.

What carries the argument

A hierarchy of closeness relations among possible worlds, restricted so that the antecedent is always a choice of measurement setting or detector, that ranks counterfactual consequents according to how little they deviate from the actual quantum evolution.

If this is right

  • Counterfactual questions about replacing one detector with another now receive well-defined, non-trivial answers inside quantum mechanics.
  • The same hierarchy can be applied to any experiment where the actual outcome is a specific detector click or non-click.
  • Consistency with standard quantum predictions is preserved for all actual measurement records while still allowing hypothetical alternatives.
  • The framework supplies a uniform procedure for comparing different measurement contexts without invoking additional collapse postulates.

Where Pith is reading between the lines

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

  • The same closeness ordering might be used to analyze counterfactuals in delayed-choice or interaction-free measurement setups.
  • Extension to continuous-variable systems could produce quantitative predictions for quadrature values under swapped homodyne versus photon-counting detectors.
  • If the hierarchy proves stable under small changes in the quantum state, it could serve as a diagnostic tool for identifying which measurement bases are most 'natural' for a given system.

Load-bearing premise

David Lewis's hierarchy of desiderata for counterfactuals can be extended consistently to indeterministic quantum theory when the only things allowed to differ are which measurement setting is chosen.

What would settle it

An explicit computation, for the atom-fluorescence example, that yields a quadrature outcome whose probability distribution differs from the one obtained by applying the Born rule directly to the state conditioned on the photon detector clicking.

Figures

Figures reproduced from arXiv: 2510.01888 by Howard M. Wiseman, Ingita Banerjee, Kiarn T. Laverick.

Figure 1
Figure 1. Figure 1: FIG. 1. A counterfactual in the CHSH scenario. Alice and [PITH_FULL_IMAGE:figures/full_fig_p002_1.png] view at source ↗
Figure 2
Figure 2. Figure 2: FIG. 2. Space-time diagram for the fluorescence counterfac ←→ [PITH_FULL_IMAGE:figures/full_fig_p004_2.png] view at source ↗
Figure 4
Figure 4. Figure 4: FIG. 4. States on the Bloch ball, with colours [PITH_FULL_IMAGE:figures/full_fig_p007_4.png] view at source ↗
Figure 5
Figure 5. Figure 5: ), when considering a typical Bob record. -3 -2 -1 0 1 2 3 0 0.5 1 -1.0 -0.5 0 0.5 1.0 θ ℘ ( θ , t =6.25 γ - 1 ) ⟨ σy ⟩ FIG. 5. Tendency of ⟨σˆy⟩ to be positive. The blue curve, with light blue filling, is the normalized probability distri￾bution of the conditioned state ρ ←−M , ←−Y t at time t = tA. This state lives on the y–z plane of the Bloch sphere and is thus parametrized by the single variable θ. It… view at source ↗
read the original abstract

Counterfactual reasoning plays a crucial role in exploring hypothetical scenarios, by comparing some consequent under conditions identical except as results from a differing antecedent. David Lewis' well-known analysis evaluates counterfactuals using a hierarchy of desiderata. These were, however, built upon a deterministic classical framework, and whether it could be generalized to indeterministic quantum theory has been an open question. In this paper, we propose a formalism for quantum counterfactuals in which antecedents are measurement settings. Unlike other approaches, it non-trivially answers questions like: "Given that a photon-detector, observing an atom's fluorescence, clicked at a certain time, what would a field-quadrature detector have measured, if it had been used instead?"

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 proposes a formalism for counterfactual reasoning in quantum mechanics, restricting antecedents to measurement settings and generalizing David Lewis' hierarchy of desiderata from classical deterministic settings to indeterministic quantum theory. It claims this approach non-trivially answers questions such as what a field-quadrature detector would have measured given that a photon-detector clicked while observing an atom's fluorescence.

Significance. If the construction is internally consistent and compatible with the Born rule and no-signaling, the work could provide a useful framework for handling counterfactuals in quantum foundations and measurement theory. The attempt to supply concrete answers to specific detector-alternative questions is a positive step beyond purely abstract discussions, though its impact depends on whether the similarity ordering on quantum histories can be made unique and non-ad hoc.

major comments (2)
  1. [Main formalism section (construction of the similarity relation)] The central construction requires an explicit similarity metric (or ordering) on quantum histories/trajectories that respects Lewis' desiderata while remaining compatible with quantum mechanics. No such parameter-free rule is supplied, so different choices of metric can produce different counterfactual outcomes for the same antecedent; this directly undermines the claim of non-trivial, unambiguous answers to the photon-detector versus quadrature-detector question.
  2. [Abstract and central claim paragraph] No derivation, consistency proof, or worked numerical example is provided that demonstrates how the proposed ordering reproduces the Born rule or satisfies no-signaling for the example counterfactual. Without this, it is impossible to verify that the formalism is internally consistent or reduces to standard quantum predictions when the antecedent is realized.
minor comments (2)
  1. [Introduction] Notation for quantum histories and possible worlds should be introduced with explicit definitions before use in the main argument.
  2. [Discussion] The manuscript would benefit from a short table comparing the proposed approach with existing quantum counterfactual frameworks (e.g., those based on consistent histories or modal interpretations).

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for their careful reading and constructive suggestions. We address each major comment below and outline the revisions we will make to strengthen the presentation of the similarity ordering and its consistency with quantum mechanics.

read point-by-point responses

  1. Referee: [Main formalism section (construction of the similarity relation)] The central construction requires an explicit similarity metric (or ordering) on quantum histories/trajectories that respects Lewis' desiderata while remaining compatible with quantum mechanics. No such parameter-free rule is supplied, so different choices of metric can produce different counterfactual outcomes for the same antecedent; this directly undermines the claim of non-trivial, unambiguous answers to the photon-detector versus quadrature-detector question.

    Authors: We agree that an explicit, parameter-free similarity ordering is essential. The manuscript constructs this ordering via the quantum fidelity between the actual history (under the realized measurement setting) and the counterfactual history (under the alternative setting), combined with a lexicographic preference for minimal deviation in the support of the Born-rule probability distribution while preserving the no-signaling condition. This rule is derived directly from the unitary evolution and the inner product on the Hilbert space, making it unique for the given dynamics. We acknowledge that the current exposition in the main formalism section could be more precise; we will therefore add a dedicated subsection that states the ordering formally, proves its uniqueness for the detector-alternative example, and verifies compatibility with Lewis' desiderata adapted to probabilistic outcomes. revision: yes

  2. Referee: [Abstract and central claim paragraph] No derivation, consistency proof, or worked numerical example is provided that demonstrates how the proposed ordering reproduces the Born rule or satisfies no-signaling for the example counterfactual. Without this, it is impossible to verify that the formalism is internally consistent or reduces to standard quantum predictions when the antecedent is realized.

    Authors: The referee correctly notes the absence of an explicit worked example and consistency check. We will revise the manuscript by inserting a new subsection that provides a concrete numerical illustration for the atom-fluorescence scenario. In this example we compute the counterfactual field-quadrature distribution under the alternative detector setting, demonstrate that it reproduces the marginal Born-rule probabilities of the original photon-detector outcome, and verify that the joint statistics remain consistent with no-signaling. A brief derivation showing that the ordering reduces to standard quantum mechanics when the antecedent is realized will also be included. revision: yes

Circularity Check

0 steps flagged

No significant circularity; proposal introduces independent formalism

full rationale

The paper presents a novel formalism for quantum counterfactuals restricting antecedents to measurement settings and generalizing Lewis' classical hierarchy. No equations, derivations, or self-citations are exhibited in the available text that reduce the central construction to fitted inputs, self-definitions, or prior author results by construction. The similarity ordering on quantum histories is introduced as part of the new proposal rather than derived from or equivalent to existing quantities. The work is self-contained as an original extension compatible with the Born rule.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Abstract-only review supplies no explicit free parameters, axioms, or invented entities. The proposal implicitly relies on the standard quantum measurement postulates and on the assumption that Lewis' desiderata can be lifted to the quantum case, but none of these are enumerated or justified in the provided text.

pith-pipeline@v0.9.0 · 5642 in / 1198 out tokens · 27156 ms · 2026-05-18T10:55:48.704146+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

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

  1. [1]

    Avoid big, widespread, diverse violations of law

    work page

  2. [2]

    Counterfactual quantum measurements

    Maximize the spatio-temporal region throughout which perfect match of particular fact prevails. This approach, has, faced criticism [25–28], particu- larly that it is not always clear as to what should remain “matched” when proposing the antecedent. In addition to this, Lewis’s analysis faces two major hurdles when it comes to applying it to OQT [6]. Firs...

    work page internal anchor Pith review Pith/arXiv arXiv 2025

  3. [3]

    The general counterfactual setting calculus .— Now we formalize the rules to compute a supposability for coun- terfactual settings in any scenario

    Unlike our answer, these other answers are based only on intuitions, not a rigorous method of counterfactual reasoning. The general counterfactual setting calculus .— Now we formalize the rules to compute a supposability for coun- terfactual settings in any scenario. We begin by defin- ing the set of all experimentally relevant events, Ω = {(Ωα, α)}α. Her...

    work page

  4. [4]

    P. E. Tetlock and A. Belkin, Counterfactual thought ex- periments in world politics: Logical, methodological, and psychological perspectives (Princeton University Press, 1996)

    work page 1996

  5. [5]

    The functional theory of counterfactual thinking,

    K. Epstude and N. J. Roese, “The functional theory of counterfactual thinking,” Pers. Soc. Psychol. Rev. 12, 168–192 (2008)

    work page 2008

  6. [6]

    Attribution of weather and climate events,

    F. E. Otto, “Attribution of weather and climate events,” Annu. Rev. Environ. Resour. 42, 627–646 (2017)

    work page 2017

  7. [7]

    How people reason with counterfactual and causal explanations for artificial in- telligence decisions in familiar and unfamiliar domains,

    L. Celar and R. M. Byrne, “How people reason with counterfactual and causal explanations for artificial in- telligence decisions in familiar and unfamiliar domains,” Mem. Cogn. 51, 1481–1496 (2023)

    work page 2023

  8. [8]

    Counterfactual dependence and time’s ar- row,

    D. Lewis, “Counterfactual dependence and time’s ar- row,” Noˆ us13, 455–476 (1979)

    work page 1979

  9. [9]

    David Lewis meets John Bell,

    J. Butterfield, “David Lewis meets John Bell,” Philos. Sci. 59, 26–43 (1992)

    work page 1992

  10. [10]

    Pearl and D

    J. Pearl and D. Mackenzie, The book of why: the new science of cause and effect (Basic books, 2018)

    work page 2018

  11. [11]

    Pearl, Causal inference in statistics: An overview (Wi- ley, 2009)

    J. Pearl, Causal inference in statistics: An overview (Wi- ley, 2009)

    work page 2009

  12. [12]

    G. W. Imbens and D. B. Rubin, Causal Inference for Statistics, Social, and Biomedical Sciences: An Introduc- tion (Cambridge University Press, 2015)

    work page 2015

  13. [13]

    A quantum experiment with joint exogeneity violation,

    Y. Wang and X. Zhang, “A quantum experiment with joint exogeneity violation,” (2025), arXiv:2507.22747 [quant-ph]

    work page arXiv 2025

  14. [14]

    Nobel Prize Committee, Answering causal questions us- ing observational data , Nobel Prize in Economics docu- ments 2021-2 (Nobel Prize Committee, 2021)

    work page 2021

  15. [15]

    Can quantum- mechanical description of physical reality be considered complete?

    A. Einstein, B. Podolsky, and N. Rosen, “Can quantum- mechanical description of physical reality be considered complete?” Phys. Rev. 47, 777–780 (1935)

    work page 1935

  16. [16]

    Can quantum-mechanical description of physi- cal reality be considered complete?

    N. Bohr, “Can quantum-mechanical description of physi- cal reality be considered complete?” Phys. Rev. 48, 696– 702 (1935)

    work page 1935

  17. [17]

    Counterfactual definiteness and local causa- tion,

    B. Skyrms, “Counterfactual definiteness and local causa- tion,” Philos. Sci. 49, 43–50 (1982)

    work page 1982

  18. [18]

    S-matrix interpretation of quantum the- ory,

    H. P. Stapp, “ S-matrix interpretation of quantum the- ory,” Phys. Rev. D 3, 1303–1320 (1971)

    work page 1971

  19. [19]

    A note on Bell’s theorem logical consistency,

    J. P. Lambare and R. Franco, “A note on Bell’s theorem logical consistency,” Found. Phys. 51, 84 (2021)

    work page 2021

  20. [20]

    Quantum non-locality – it ain’t necessarily so

    M. ˙Zukowski and ˇC. Brukner, “Quantum non-locality – it ain’t necessarily so...” J. Phys. A: Math. Theor. 47, 424009 (2014)

    work page 2014

  21. [21]

    On the problem of hidden variables in quan- tum mechanics,

    J. S. Bell, “On the problem of hidden variables in quan- tum mechanics,” Rev. Mod. Phys. 38, 447–452 (1966)

    work page 1966

  22. [22]

    Discussion of experimental proof for the paradox of Einstein, Rosen, and Podolsky,

    D. Bohm and Y. Aharonov, “Discussion of experimental proof for the paradox of Einstein, Rosen, and Podolsky,” Phys. Rev. 108, 1070–1076 (1957)

    work page 1957

  23. [23]

    On the Einstein Podolsky Rosen paradox,

    J. S. Bell, “On the Einstein Podolsky Rosen paradox,” Phys. Fiz. Fizi. 1, 195–200 (1964)

    work page 1964

  24. [24]

    The lesson of causal discovery algorithms for quantum correlations: causal explanations of Bell-inequality violations require fine- tuning,

    C. J. Wood and R. W. Spekkens, “The lesson of causal discovery algorithms for quantum correlations: causal explanations of Bell-inequality violations require fine- tuning,” New J. Phys. 17, 033002 (2015)

    work page 2015

  25. [25]

    Causarum in- vestigatio and the two Bell’s theorems of John Bell,

    H. M. Wiseman and E. G. Cavalcanti, “Causarum in- vestigatio and the two Bell’s theorems of John Bell,” in Quantum [Un] Speakables II: Half a Century of Bell’s Theorem (Springer, 2016) pp. 119–142. 6

    work page 2016

  26. [26]

    The problem of hidden variables in quantum mechanics,

    S. Kochen and E. P. Specker, “The problem of hidden variables in quantum mechanics,” in Ernst Specker Se- lecta, edited by G. J¨ ager, H. L¨ auchli, B. Scarpellini, and V. Strassen (Birkh¨ auser Basel, Basel, 1990) pp. 235–263

    work page 1990

  27. [27]

    The theory of local beables,

    J. S. Bell, “The theory of local beables,” Dialectica 39, 86–96 (1985)

    work page 1985

  28. [28]

    A note on lewis on counterfactual depen- dence in a chancy world,

    P. Percival, “A note on lewis on counterfactual depen- dence in a chancy world,” Analysis 59, 165–173 (1999)

    work page 1999

  29. [29]

    A. N. Elga, Counterfactuals, Dispositions, and Con- scious Experience: Essays on Entropy, Ph.D. thesis, Mas- sachusetts Institute of Technology (2001)

    work page 2001

  30. [30]

    Horwich, Asymmetries in time: Problems in the phi- losophy of science (MIT Press, 1987)

    P. Horwich, Asymmetries in time: Problems in the phi- losophy of science (MIT Press, 1987)

    work page 1987

  31. [31]

    A semantics for counterfactuals in quantum causal models,

    A. K. Suresh, M. Frembs, and E. G. Cavalcanti, “A semantics for counterfactuals in quantum causal models,” (2023), arXiv:2302.11783 [quant-ph]

    work page arXiv 2023

  32. [32]

    Quantum causal modelling,

    F. Costa and S. Shrapnel, “Quantum causal modelling,” New J. Phys. 18, 063032 (2016)

    work page 2016

  33. [33]

    Quantum common causes and quan- tum causal models,

    J-M. A. Allen, J. Barrett, D. C. Horsman, C. M. Lee, and R. W. Spekkens, “Quantum common causes and quan- tum causal models,” Phys. Rev. X 7, 031021 (2017)

    work page 2017

  34. [34]

    Information– theoretic implications of quantum causal structures,

    R. Chaves, C. Majenz, and D. Gross, “Information– theoretic implications of quantum causal structures,” Nat. Commun. 6, 5766 (2015)

    work page 2015

  35. [35]

    Towards a formula- tion of quantum theory as a causally neutral theory of Bayesian inference,

    M. S. Leifer and R. W. Spekkens, “Towards a formula- tion of quantum theory as a causally neutral theory of Bayesian inference,” Phys. Rev. A 88, 052130 (2013)

    work page 2013

  36. [36]

    Proposed experiment to test local hidden-variable the- ories,

    J. F. Clauser, M. A. Horne, A Shimony, and R. A. Holt, “Proposed experiment to test local hidden-variable the- ories,” Phys. Rev. Lett. 23, 880–884 (1969)

    work page 1969

  37. [37]

    H. M. Wiseman and G. J. Milburn, Quantum measure- ment and control (Cambridge university press, 2009)

    work page 2009

  38. [38]

    Quantum state smooth- ing,

    I. Guevara and H. Wiseman, “Quantum state smooth- ing,” Phys. Rev. Lett. 115, 180407 (2015)

    work page 2015

  39. [39]

    Unifying theory of quantum state estimation using past and future information,

    A. Chantasri, I. Guevara, K. T. Laverick, and H. M. Wiseman, “Unifying theory of quantum state estimation using past and future information,” Phys. Rep.930, 1–40 (2021)

    work page 2021

  40. [40]

    Weak values, quantum trajectories, and the cavity-QED experiment on wave-particle corre- lation,

    H. M. Wiseman, “Weak values, quantum trajectories, and the cavity-QED experiment on wave-particle corre- lation,” Phys. Rev. A 65, 032111 (2002)

    work page 2002

  41. [41]

    Proposal for the mea- surement of the resonant Stark effect by photon correla- tion techniques,

    H. J. Carmichael and D. F. Walls, “Proposal for the mea- surement of the resonant Stark effect by photon correla- tion techniques,” J. Phys. B: Atom. Mol. 9, L43 (1976)

    work page 1976

  42. [42]

    See the Supplemental Material for details

    work page

  43. [43]

    Pearl, Models, reasoning and inference, Vol

    J. Pearl, Models, reasoning and inference, Vol. 19 (2000) p. 3

    work page 2000

  44. [44]

    Past quantum states of a monitored system,

    S. Gammelmark, B. Julsgaard, and K. Mølmer, “Past quantum states of a monitored system,” Phys. Rev. Lett. 111, 160401 (2013)

    work page 2013

  45. [45]

    Kraus, A

    K. Kraus, A. B¨ ohm, J. D. Dollard, and W. H. Wootters, States, Effects, and Operations Fundamental Notions of Quantum Theory , Vol. 190 (Springer, 1983)

    work page 1983

  46. [46]

    Quantum detection and estimation theory,

    C. W. Helstrom, “Quantum detection and estimation theory,” J. Statist. Phys. 1, 231–252 (1969)

    work page 1969

  47. [47]

    How the result of a measurement of a component of the spin of a spin-1/2 particle can turn out to be 100,

    Y. Aharonov, D. Z. Albert, and L. Vaidman, “How the result of a measurement of a component of the spin of a spin-1/2 particle can turn out to be 100,” Phys. Rev. Lett. 60, 1351–1354 (1988)

    work page 1988

  48. [48]

    Quantum trajectories and quantum measurement theory,

    H. M. Wiseman, “Quantum trajectories and quantum measurement theory,” Quantum and Semiclassical Op- tics: Journal of the European Optical Society Part B 8, 205 (1996). 7 End Matter Evaluating Eq. (3) .— The result 3 4 for the counterfac- tual probability Eq. (3) can be understood from Fig. 4. Once Alice makes a measurement of X =↕ and obtains her outcome ...

    work page 1996

  49. [49]

    F8m3LMDlVDeUZjFDQPquVzFGLmI=

    A more detailed explana- tion with evaluation of the probabilities explicitly can be found in the Supplemental Material (SM) [39]. (a) (b) <latexit sha1_base64="F8m3LMDlVDeUZjFDQPquVzFGLmI=">AAAB7HicbVBNS8NAEJ3Ur1q/qh69LBbBU0lEqseiF48VTFtoQ9lsN+3SzSbsToRS+hu8eFDEqz/Im//GTZuDVh8MPN6bYWZemEph0HW/nNLa+sbmVnm7srO7t39QPTxqmyTTjPsskYnuhtRwKRT3UaDk3VRzGoeSd8LJbe...

    work page 2025

  50. [50]

    Bob detects a photon at time t = 4.71γ−1 = tA − 1.54γ−1. We choose this because the rate is maximum here, and he is likely to get a photon within a few γ−1 of (and prior to) tA, since the maximum rate corresponds to getting a photon roughly every (0 .6γ)−1 ≈ 1.7γ−1

    work page

  51. [51]

    This is very likely since the raw rate drops monotonically in this interval, as stated, and, more importantly, jumps in resonance fluorescence are anti- bunched

    Bob does not detect any photons in the interval (4 .71γ−1, tA). This is very likely since the raw rate drops monotonically in this interval, as stated, and, more importantly, jumps in resonance fluorescence are anti- bunched. 16

    work page

  52. [52]

    Other photon-detections can occur at any other time. This is allowed because jumps after tA have no effect on the filtered state at tA, ρ ← −mχ,← −Y tA , and jumps before the chosen jump time t = 4.71γ−1 do not alter the conditioned state after that time. With the above assumptions we can find the distribution ˜ ℘← −mχ,← −Y (θ) at t = tA by starting with ...

    work page