Pith. sign in

REVIEW 2 major objections 2 minor 1 cited by

Counterfactual quantum measurements

T0 review · 2 major / 2 minor · reviewed 2026-05-18 · grok-4.3

Challenge this review Download PDF Read on arXiv ↗ Review JSON

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

desk verdict The paper sketches a formalism for quantum counterfactuals by restricting antecedents to measurement settings, but the required similarity ordering on histories is not yet shown to be unique or derived from QM rules. read the letter →

arxiv 2510.01888 v2 submitted 2025-10-02 quant-ph

Ingita Banerjee , Kiarn T. Laverick , Howard M. Wiseman This is my paper · ORCID
classification quant-ph
keywords quantumcounterfactualsmeasurementsettingsLewishierarchyindeterministictheoryopticshypotheticaldetectorreplacementatomfluorescence
checked against alexander_duality_circle_linking
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

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.

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.

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.

Watch

Extended reading notes

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.

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.

Editorial extensions

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.

Reading between the lines

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.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

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

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 · score 0.0 of 10

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.

Assumptions & free parameters 0 free parameters · 0 assumptions · 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.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Counterfactual quantum measurements." pith.science (2026). https://pith.science/paper/2510.01888

@misc{pith2026251001888,
  author       = {Pith},
  title        = {Pith review of: Counterfactual quantum measurements},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/2510.01888}},
  note         = {Machine review of arXiv:2510.01888}
}
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?"

Figures

Figures reproduced from arXiv: 2510.01888 by the authors.

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. 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. FIG. 4. States on the Bloch ball, with colours [PITH_FULL_IMAGE:figures/full_fig_p007_4.png] view at source ↗
Figures from the paper (1 more)
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 sta…

Discussion (0). Continue with ORCID to comment.

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.

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. Unifying Quantum Smoothing Theories with Extended Retrodiction

    quant-ph 2025-10 conditional novelty 7.0 of 10

    Quantum smoothing is a family of retrodictive updates distinguished by the agent's prior correlations; Petz-Fuchs and Guevara-Wiseman smoothing are extreme cases, with entropy bounds between them.

Reference graph

Works this paper leans on

52 extracted references · 52 canonical work pages · cited by 1 Pith paper

  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 Pith review 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

Show all 52 references
  1. [9]

    David Lewis meets John Bell,

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

    1992

  2. [10]

    Pearl and D

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

    2018

  3. [11]

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

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

    2009

  4. [12]

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

    2015

  5. [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]

    2025

  6. [14]

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

    2021

  7. [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)

    1935

  8. [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)

    1935

  9. [17]

    Counterfactual definiteness and local causa- tion,

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

    1982

  10. [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)

    1971

  11. [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)

    2021

  12. [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)

    2014

  13. [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)

    1966

  14. [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)

    1957

  15. [23]

    On the Einstein Podolsky Rosen paradox,

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

    1964

  16. [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)

    2015

  17. [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

    2016

  18. [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

    1990

  19. [27]

    The theory of local beables,

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

    1985

  20. [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)

    1999

  21. [29]

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

    2001

  22. [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)

    1987

  23. [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]

    2023

  24. [32]

    Quantum causal modelling,

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

    2016

  25. [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)

    2017

  26. [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)

    2015

  27. [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)

    2013

  28. [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)

    1969

  29. [37]

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

    2009

  30. [38]

    Quantum state smooth- ing,

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

    2015

  31. [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)

    2021

  32. [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)

    2002

  33. [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)

    1976

  34. [42]

    See the Supplemental Material for details

  35. [43]

    Pearl, Models, reasoning and inference, Vol

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

    2000

  36. [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)

    2013

  37. [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)

    1983

  38. [46]

    Quantum detection and estimation theory,

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

    1969

  39. [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)

    1988

  40. [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 underst...

    1996

  41. [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//GTZuDVh...

    2025

  42. [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

  43. [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

  44. [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 assump...

Pith tools

Reviewed May 18, 2026 · model on record in the stance chip above.