REVIEW 3 major objections 3 minor 59 references
Conditional probabilities in quantum-optical settings
T0 review · 3 major / 3 minor · reviewed 2026-08-01 · deepseek-v4-flash
Pith's one-line read The paper shows that conditioning on one variable in a joint noisy measurement of complementary observables can reduce, or even eliminate, uncertainty in the conjugate variable, and that the resulting conditional distribution generally cann
desk verdict The math checks out and the CV variance result is a real, citable advance, but the paper overstates the no-go: it only rules out a Born form with the fixed marginal POVM, not Born-rule conditioning in general. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
The central object is the joint POVM (positive operator-valued measure, the generalized-measurement object assigning a positive operator to each outcome) describing a noisy simultaneous measurement of complementary observables X and Y. For the continuous-variable case this is Δ(x,y) = (1/π)D(x,y)ρ0D†, a displaced squeezed vacuum generating a squeezed Q function; its Gaussian statistics have covariance Φ = Γ + Σ. The load-bearing identity is the lower bound σ²_{x|y} ≥ Σxx, which any Born-form conditional p~(x|y)=tr[ρ_y ΔX(x)] must satisfy. Violating this bound is what proves that no physical reduced state can reproduce the conditional statistics. For qubits, the analogous POVM has three noise
What would settle it
A double-homodyne experiment on a vacuum input with θ=π/4 and squeezing |r|≥0.6585: if the empirically estimated conditional variance of x given y is not below Σxx, or if a physical state ρ_y reproducing the conditional distribution through the marginal POVM is found, the paper's central no-go claim is refuted.
Extended reading notes
Core claim
For the squeezed-Q joint measurement Δ(x,y) = (1/π)D(x,y)ρ0D† with a squeezed-vacuum reference, the conditional distribution p~_{x|y}(x|y) is Gaussian with variance σ²_{x|y} = (ΦxxΦyy − Φxy²)/Φyy. Because σ²_{x|y} can fall below Σxx — for a vacuum input with θ=π/4 and |r|≥0.6585 — the inequality σ²_{x|y} ≥ Σxx that a Born-form representation would require is violated, so no physical state ρ_y satisfies p~(x|y)=tr[ρ_y ΔX(x)] with the marginal POVM ΔX(x). The qubit analogue uses the POVM Δ(x,y) = ¼(σ0+xγXσX+yγYσY+xyγXYσZ), and under the optimality condition γX²+γY²+γXY²=1 the conditional probability reaches p~max(x|y)=1. In both settings the non-Born behavior is driven by measurement-induced c
Load-bearing premise
The no-go conclusion rests on requiring that the conditional x-statistics after a y outcome come from a fixed marginal POVM via some physical state; if the state-update map is allowed to depend on the outcome itself, the non-Born result becomes a representation choice rather than a physical impossibility.
Editorial extensions
If this is right
- Conditioning on a joint-measurement outcome is not equivalent to a projective or Lüders-style state reduction; the posterior statistics of the conjugate variable need not come from any physical state via the marginal POVM.
- In double-homodyne detection on a vacuum input with θ=π/4 and |r|≥0.6585, the conditional x-variance is predicted to drop below the detector's added noise Σxx, a directly observable signature.
- For qubits, an optimal joint POVM makes x perfectly predictable from y, with p(x|y)=1, for the pure state s=(xγX, -yγY, xyγXY).
- The effect is driven by measurement-induced correlations (Σxy or γXY) that disappear in the marginals; therefore joint statistics carry information beyond what marginal measurements can reveal.
- In the fully classical limit, where the reference field has no fluctuations, the effect vanishes, indicating that the non-Born behavior is intrinsically quantum and stems from the squeezed-vacuum reference.
Reading between the lines
- If the state-update rule for the conditioned variable is allowed to depend on the recorded outcome y — for example, by using the full Kraus operators of Δ(x,y) rather than the fixed marginal POVM ΔX(x) — the 'no Born form' conclusion becomes a representation choice rather than a physical impossibility; the operational content is that the marginal POVM alone cannot serve as the update rule.
- The continuous-variable infimum σ²_{x|y} = 1/(16Σyy) suggests a practical data-processing strategy: deliberately engineering correlated measurement noise (via a squeezed reference) and post-selecting on y could suppress uncertainty in the variable of interest below the detector's intrinsic noise floor.
- The same formalism could be applied to other conjugate pairs — time-frequency or number-phase — wherever a joint POVM exists, predicting analogous non-Born conditional statistics.
- The qubit result p(x|y)=1 hints at a deterministic 'readout' of one dichotomic observable conditioned on the other when the noise parameters are optimal, which could be relevant for communication or cryptographic protocols built from joint measurements.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper studies conditional probabilities obtained from joint noisy measurements of conjugate quadratures in two settings: double homodyne detection with a squeezed-vacuum reference (the 'squeezed Q' POVM) and a qubit joint POVM. For Gaussian system states it derives the conditional variance σ²_{x|y} and shows that for certain reference states (e.g., vacuum input, θ=π/4, |r|≥0.6585) this variance drops below the intrinsic noise Σ_xx of the marginal POVM. It concludes that no physical state ρ_y can reproduce p~(x|y) via the Born rule with the marginal POVM, Eq. (4.4). In the qubit case it finds that the conditional probability can reach the value 1 for an optimal POVM, and asserts that no ρ_y exists when γ_X≠1. The paper interprets these findings as showing that typical state-reduction rules do not apply to this kind of conditioning.
Significance. The technical content is valuable: it provides explicit counterexamples to the expectation that any conditional distribution obtained from a joint measurement can be represented as a fixed state measured by the marginal POVM of the conditioning observable. The Gaussian variance inequality and the qubit p_max=1 result are striking and of direct interest to quantum measurement theory. The paper is self-contained in the Gaussian part, gives a practical implementation in Sec. VI, and the main algebra in Secs. II-IV checks out. However, the broader claim about state reduction is representation-dependent, and one intermediate qubit formula is incorrect, so the paper needs revision before the interpretive conclusions can be accepted as stated.
major comments (3)
- [Sec. IV, Eq. (4.4); abstract] The no-go result is representation-dependent. The paper proves that there is no physical state ρ_y and fixed marginal POVM ΔX(x) satisfying Eq. (4.4). However, the conditional distribution is itself a legitimate Born-rule expression from the joint POVM: p~(x|y)=tr[ρΔ(x,y)]/tr[ρΔY(y)]. This is already a standard quantum-mechanical conditional probability, and the effective x-measurement after conditioning on y is y-dependent, not the marginal ΔX. The conclusion that the conditional distribution 'cannot be derived from typical rules of state reduction' (abstract, Sec. IV, Sec. IX) overreaches. What is established is only that the marginal POVM does not provide the correct post-measurement x-statistics. The abstract and conclusions should be revised to state this precisely.
- [Sec. VIII, Eq. (8.10)] The maximization leading to Eq. (8.10) is incorrect. Starting from (8.7), the inequality (8.9) bounds only the numerator, but the denominator 1+yγ_Y s_Y must be included in the variation. The correct maximum over s_Y is p_max = 1/2(1 + sqrt(γ_X²+γ_XY²)/sqrt(1−γ_Y²)), not the expression with the factor in the numerator. For example, with γ_X=0.5, γ_Y=0.5, γ_XY=0, the paper's (8.10) gives 0.716, while the state (8.11) substituted into (8.7) gives 0.789. This internal inconsistency must be fixed; the final optimal-POVM result (8.14) is correct, but the general formula and derivation need correction.
- [Sec. VIII, after Eq. (8.16)] The claim that no physical ρ_y can reproduce the conditional probability via the marginal POVM when γ_X≠1 is stated without proof, with a reference to [37]. Since this is a central assertion of the qubit section, a direct argument should be included: from (8.16), tr[ρ_y ΔX(x)] ≤ (1+γ_X)/2 for any ρ_y, while the conditional distribution with the optimal state (8.15) reaches 1 when (8.13) holds. This is a simple proof and should be provided rather than deferred to a reference.
minor comments (3)
- [Sec. V, Eqs. (5.1)-(5.3)] The derivation of the minimum and infimum is compressed; a short sketch of the algebra leading from (4.3) to (5.2)-(5.3) would improve readability and checkability.
- [Sec. IV, wording] The phrase 'The answer in general is negative' is acceptable because a family of counterexamples is given, but it could be misread as 'for all states.' Consider rephrasing to 'there exist states for which no such ρ_y exists.'
- [Sec. VII] The semiclassical discussion correctly restricts attention to the domain where the Wigner function is nonnegative, but it would be helpful to state explicitly that this restricts the values of r and θ for which the analysis applies.
Circularity Check
No significant circularity: the central nonrepresentability result follows from declared POVM assumptions and explicit inequalities; self-citations are background only.
full rationale
The paper's claimed results are not circular. The squeezed-Q POVM (2.1) and qubit POVM (8.1) are stated as inputs, and the state parameters (r, θ, γ) are not fitted to the target conclusion. The key nonrepresentability result is derived: assuming a reduced state ρ_y could reproduce the conditional statistics via the fixed marginal POVM (4.4), the conditional variance would have to be at least the marginal kernel variance Σxx; the vacuum example violates this for |r|≥0.6585 (Eqs. 4.5–4.8), so no such ρ_y exists. This is a genuine mathematical consequence, not an assumed premise. Similarly, the qubit bound (8.10) and the p_max=1 result (8.14) follow from an explicit optimization over system states for a fixed POVM, not from fitting the answer into the input. The self-citations [27,28,57] and [37] supply context or prior related work; the qubit result from [37] is rederived in Eqs. (8.7)–(8.15), so the argument does not rest on an unverified self-citation. The broader wording that the conditional distribution 'cannot be derived from typical rules of state reduction' is an interpretive extension of the proven statement about the fixed marginal POVM; it may overreach, but that is a scope/correctness concern, not circularity, because the mathematical derivation does not presuppose that broader claim.
Assumptions & free parameters
free parameters (2)
- Squeezing parameter r and rotation angle θ of reference squeezed vacuum =
θ=π/4, |r| ≥ 0.6585 for violation example
- Qubit POVM noise coefficients γ_X, γ_Y, γ_XY =
optimal case γ_X²+γ_Y²+γ_XY²=1
assumptions (6)
- standard math Born rule p~(x,y)=tr[ρ∆(x,y)] and Bayes rule define conditional probabilities.
- standard math Wigner-function convolution: p~ = W_S * W_0, with marginals as convolutions.
- domain assumption Rotated squeezed vacuum is a physical state with det Σ = 1/16.
- domain assumption Double-homodyne beam-splitter setup realizes the POVM (2.1).
- standard math Qubit POVM positivity requires γ_X²+γ_Y²+γ_XY²≤1.
- domain assumption Gaussian pure system states satisfy ΓxxΓyy−Γxy²=1/16.
Cite this review
Pith. "Pith review of Conditional probabilities in quantum-optical settings." pith.science (2026). https://pith.science/paper/IHDFGXEI
@misc{pith2026260721100,
author = {Pith},
title = {Pith review of: Conditional probabilities in quantum-optical settings},
year = {2026},
howpublished = {\url{https://pith.science/paper/IHDFGXEI}},
note = {Machine review of arXiv:2607.21100}
}
read the original abstract
We examine conditional probabilities derived from the joint noisy measurement of two complementary observables. We show that conditioning on one variable can lead to reduction of uncertainty in the other one, even completely eliminating uncertainty. We show that the conditional distribution cannot, in general, be represented in Born form using the marginal positive operator valued measure and any physical system state, nor can it be derived from typical rules of state reduction. We examine these issues in two basic quantum-optical schemes. These are double homodyne detection and a qubit measurement.
Reference graph
Works this paper leans on
-
[37]
P´ erez and A
I. P´ erez and A. Luis, Quantum conditional probabilities, J. Phys. A: Math. Theor.55, 355302 (2022)
2022
-
[1]
Mandel and E
L. Mandel and E. Wolf,Optical Coherence and Quantum Optics(Cambridge University Press, Cambridge, U.K., 1995)
1995
-
[2]
M. O. Scully and M. S. Zubairy, Quantum Optics (Cam- bridge University Press, Cambridge, England, 1997)
1997
-
[3]
J. S. Bell, On the Einstein Podolsky Rosen paradox, Physics1, 195–200 (1964)
1964
-
[4]
Fine, Hidden variables, joint probability, and the Bell inequalities, Phys
A. Fine, Hidden variables, joint probability, and the Bell inequalities, Phys. Rev. Lett.48, 291–295 (1982)
1982
-
[5]
A. F. G. Solis-Labastida, M. Gastelum, and J. G. Hirsch, The Violation of Bell-CHSH Inequalities Leads to Dif- ferent Conclusions Depending on the Description Used, Entropy23, 872 (2021)
2021
-
[6]
A. F. G. Solis-Labastida and J. G. Hirsch, Remarks on the use of objective probabilities in Bell-CHSH inequali- ties, arXiv:2202.08353v1 [quant-ph]
-
[7]
Rivas, On the role of joint probability distributions of incompatible observables in Bell and Kochen–Specker Theorems, Ann
A. Rivas, On the role of joint probability distributions of incompatible observables in Bell and Kochen–Specker Theorems, Ann. Phys. (N.Y.)411, 167939 (2019)
2019
Show all 59 references
-
[8]
W. M. Muynck and O. Abu-Zeid, On an alternative in- terpretation of the Bell inequalities, Phys. Lett. A100, 485–489 (1984)
1984
-
[9]
Aiello, A possible statistics loophole in Bell’s theorem, arXiv:2412.17857v3 [physics.gen-ph]
A. Aiello, A possible statistics loophole in Bell’s theorem, arXiv:2412.17857v3 [physics.gen-ph]
-
[10]
van Dam, R
W. van Dam, R. D. Gill, and P. D. Gr¨ unwald, The Sta- tistical Strength of Nonlocality Proofs, IEEE Trans. Inf. Theor.51, 2812–2835 (2005)
2005
-
[11]
Peres, Bayesian analysis of Bell inequalities, Fortsch
A. Peres, Bayesian analysis of Bell inequalities, Fortsch. Phys.48, 531–535 (2000)
2000
-
[12]
Khrennikov, Non-Kolmogorov probability models and modified Bell’s inequality, J
A. Khrennikov, Non-Kolmogorov probability models and modified Bell’s inequality, J. Math. Phys.41, 1768–1777 (2000)
2000
-
[13]
Hess and W
K. Hess and W. Philipp, Bell’s theorem: Critique of proofs with and without inequalities, AIP Conf. Proc. 750, 150–157 (2005)
2005
-
[14]
Matzkin, Is Bell’s theorem relevant to quantum me- chanics
A. Matzkin, Is Bell’s theorem relevant to quantum me- chanics. On locality and non-commuting observables, AIP Conf. Proc.1101, 339–348 (2009)
2009
-
[15]
T. M. Nieuwenhuizen, Is the Contextuality Loophole Fa- tal for the Derivation of Bell Inequalities?, Found. Phys. 41, 580–591 (2011)
2011
-
[16]
Khrennikov, CHSH inequality: Quantum probabilities as classical conditional probabilities, Found
A. Khrennikov, CHSH inequality: Quantum probabilities as classical conditional probabilities, Found. Phys.45, 711–725 (2015)
2015
-
[17]
Christian, On a Surprising Oversight by John S
J. Christian, On a Surprising Oversight by John S. Bell in the Proof of his Famous Theorem, arXiv:1704.02876 [physics.gen-ph]
-
[18]
W. M. de Muynck and H. Martens, Neutron interferom- etry and the joint measurement of incompatible observ- ables, Phys. Rev. A42, 5079–5085 (1990)
1990
-
[19]
W. M. de Muynck, An alternative to the L¨ uders general- ization of the von Neumann projection, and its interpre- tation, J. Phys. A: Math. Gen.31, 431–444 (1998)
1998
-
[20]
W. M. de Muynck, Information in neutron interference experiments, Phys. Lett. A182, 201–206 (1993)
1993
-
[21]
W. M. Muynck,Foundations of Quantum Mechanics, an Empiricist Approach, (Kluwer Academic Publishers, Dordrecht, The Netherlands, 2002)
2002
-
[22]
Busch, Some Realizable Joint Measurements of Com- plementary Observables, Found
P. Busch, Some Realizable Joint Measurements of Com- plementary Observables, Found. Phys.17, 905–937 (1987)
1987
-
[23]
Busch, Unsharp reality and joint measurements for spin observables, Phys
P. Busch, Unsharp reality and joint measurements for spin observables, Phys. Rev. D33, 2253–2261 (1986)
1986
-
[24]
S. Yu, N. Liu, L. Li, and C. H. Oh, Joint measurement of two unsharp observables of a qubit, Phys. Rev. A81, 062116 (2010)
2010
-
[25]
J. L. Park and H. Margenau, Simultaneous measurabil- ity in quantum theory, Int. J. Theor. Phys.1, 211–283 (1968)
1968
-
[26]
Heinosaari, Simultaneous measurement of two quan- tum observables: Compatibility, broadcasting, and in- between, Phys
T. Heinosaari, Simultaneous measurement of two quan- tum observables: Compatibility, broadcasting, and in- between, Phys. Rev. A93, 042118 (2016)
2016
-
[27]
Luis, Nonclassical light revealed by the joint statistics of simultaneous measurements,Opt
A. Luis, Nonclassical light revealed by the joint statistics of simultaneous measurements,Opt. Lett.41, 1789–1792 (2016)
2016
-
[28]
Luis and L
A. Luis and L. Monroy, Nonclassicality of coherent states: Entanglement of joint statistics, Phys. Rev. A96, 063802 (2017)
2017
-
[29]
E. Masa, L. Ares, and A. Luis, Nonclassical joint dis- tributions and Bell measurements, Phys. Lett. A384, 126416 (2020)
2020
-
[30]
E. Masa, L. Ares, and A. Luis, Inequalities for com- plementarity in observed statistics, Phys. Lett. A,427, 127914 (2022)
2022
-
[31]
Luis, Single-measurement Bell analysis, Phys
A. Luis, Single-measurement Bell analysis, Phys. Rev. A 111, 012213 (2025)
2025
-
[32]
Luis, Statistical analysis of Bell tests via generalized measurements, arXiv:2505.07474v1 [quant-ph]
A. Luis, Statistical analysis of Bell tests via generalized measurements, arXiv:2505.07474v1 [quant-ph]
-
[33]
Luis, Generalized measurements for Bell tests in dif- ferent probability spaces, arXiv:2506.07496v1 [quant-ph]
A. Luis, Generalized measurements for Bell tests in dif- ferent probability spaces, arXiv:2506.07496v1 [quant-ph]
-
[34]
Guerra, On Quantum Conditional Probability, THEO- RIA76, 115–37 (2013)
I. Guerra, On Quantum Conditional Probability, THEO- RIA76, 115–37 (2013)
2013
-
[35]
Busch and P
P. Busch and P. Lahti, L¨ uders ruleCompendium of Quan- tum Physics(Springer, Berlin, Germany, 2009)
2009
-
[36]
Ozawa, Conditional probability and a posteriori states in quantum mechanics, Publ
M. Ozawa, Conditional probability and a posteriori states in quantum mechanics, Publ. RIMS Kyoto Univ.21279– 95 (1985)
1985
-
[38]
Arthurs and J
E. Arthurs and J. L. Kelly Jr., On the simultaneous mea- surement of a pair of conjugate observables, Bell System Technical Journal44, 725 (1965)
1965
-
[39]
M. J. Collett, R. Loudon, and C. W. Gardiner, Quantum Theory of Optical Homodyne and Heterodyne Detection, J. Mod. Opt.34, 881 (1987)
1987
-
[40]
Leonhardt and H
U. Leonhardt and H. Paul, Phase measurement and Q function, Phys. Rev. A47, R2460 (1993)
1993
-
[41]
Leonhardt and H
U. Leonhardt and H. Paul, Realistic optical homodyne measurements and quasiprobability distributions, Phys. Rev. A48, 4598 (1993)
1993
-
[42]
Kiukas and P
J. Kiukas and P. Lahti, A note on the measurement of phase space observables with an eight-port homodyne de- tector, J. Mod. Opt.55, 1891 (2008)
2008
-
[43]
Husimi, Some formal properties of the density matrix, Proc
K. Husimi, Some formal properties of the density matrix, Proc. Phys. Math. Soc. Jpn.22, 264–314 (1940)
1940
-
[44]
Cahill and R.J
K.E. Cahill and R.J. Glauber, Ordered expansions in bo- son amplitude operators, Phys. Rev.177, 1857 (1969)
1969
-
[45]
Wigner, On the quantum correction for thermody- namic equilibrium, Phys
E. Wigner, On the quantum correction for thermody- namic equilibrium, Phys. Rev.40, 749 (1932)
1932
-
[46]
W. P. Schleich,Quantum Optics in Phase Space, (Wiley- VCH Verlag, Berlin, Germany, 2001)
2001
-
[47]
Aragone, E
C. Aragone, E. Chalbaud, and S. Salam´ o, On intelligent 7 spin states, J. Math. Phys.17, 1963–1971 (1976)
1963
-
[48]
D. A. Trifonov, Generalized intelligent states and squeez- ing, J. Math. Phys.35, 2297–2308 (1994)
1994
-
[49]
D. A. Trifonov, Generalized uncertainty relations and co- herent and squeezed states, J. Opt. Soc. Am. A17, 2486– 2495 (2000)
2000
-
[50]
E. P. Wigner, The Problem of Measurement, Am. J. Phys.31, 6–15 (1963)
1963
-
[51]
Ozawa, An Operational Approach to Quantum State Reduction, Ann
M. Ozawa, An Operational Approach to Quantum State Reduction, Ann. Phys. (N.Y.)259, 121–137 (1997)
1997
-
[52]
G. Auletta,Foundations and Interpretation of Quantum Mechanics in the Light of a Critical-Historical Analysis of the Problems and of a Synthesis of the Results, (World Scientific, Singapore, 2000)
2000
-
[53]
Ozawa, Quantum State Reduction and the Repeata- bility Hypothesis, Annals of the Japan Association for Philosophy of Science11, 107-121 (2003)
M. Ozawa, Quantum State Reduction and the Repeata- bility Hypothesis, Annals of the Japan Association for Philosophy of Science11, 107-121 (2003)
2003
-
[54]
Schlosshauer, Decoherence, the measurement prob- lem, and interpretations of quantum mechanics, Rev
M. Schlosshauer, Decoherence, the measurement prob- lem, and interpretations of quantum mechanics, Rev. Mod. Phys.76, 1267–1305 (2005)
2005
-
[55]
Giacosa, On Unitary Evolution and Collapse in Quan- tum Mechanics, Quanta3, 156–170 (2014)
F. Giacosa, On Unitary Evolution and Collapse in Quan- tum Mechanics, Quanta3, 156–170 (2014)
2014
-
[56]
Bassi, K
A. Bassi, K. Lochan, S. Satin, T. P. Singh, and H. Ul- bricht, Models of wave-function collapse, underlying the- ories, and experimental tests, Rev. Mod. Phys.85, 471– 527 (2013)
2013
-
[57]
Luis and L
A. Luis and L. Ares, Apparatus contribution to observed nonclassicality, Phys. Rev. A102, 022222 (2020)
2020
-
[58]
Santos, Stochastic electrodynamics and the interpre- tation of quantum theory, arXiv:1205.0916v3 [quant-ph]
E. Santos, Stochastic electrodynamics and the interpre- tation of quantum theory, arXiv:1205.0916v3 [quant-ph]
-
[59]
T. H. Boyer, Stochastic Electrodynamics: The Closest Classical Approximation to Quantum Theory, Atoms7, 29 (2019)
2019
Reviewed August 1, 2026 · model on record in the stance chip above.
Discussion (0). Sign in to comment.