pith. sign in

arxiv: 2509.26373 · v2 · submitted 2025-09-30 · 🪐 quant-ph

Fundamental limits to contrast reversal of survival probability correlations

Kyoungho Cho , Jeongho Bang This is my paper

Pith reviewed 2026-05-18 12:21 UTC · model grok-4.3

classification 🪐 quant-ph
keywords survival probabilityPearson correlationunitary dynamicsanti-contrastquantum sensingprojective state spacecorrelation boundsgeometric limits
0
0 comments X

The pith

Two unitary evolutions cannot have perfectly opposite survival probabilities over all input states.

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

The paper proves that for any nontrivial pair of unitaries, survival probability maps cannot achieve point-wise complementary correlation across the entire projective state space. This is shown by treating survival probability as a random variable and using the Pearson correlation coefficient as a device-agnostic measure of global opposition. A sympathetic reader would care because the result identifies a structural floor on anti-contrast strategies in unitary dynamics, meaning common-mode effects cannot be fully suppressed through contrast reversal alone. The bound is derived explicitly for single-qubit Ramsey models and reduced to unitary invariants in higher dimensions via ensemble averages. The conclusion holds independently of hardware or noise details.

Core claim

For any nontrivial pair of unitaries, survival probability maps cannot be point-wise complementary in correlation on the entire projective state space. Consequently, the mathematical lower edge of the correlation bound is not physically attainable, which establishes a unitary-geometric floor on anti-contrast that is independent of implementation specifics.

What carries the argument

The Pearson correlation coefficient of survival probabilities treated as a random variable over the full projective state space, which quantifies global opposition between two unitary evolutions.

If this is right

  • In single-qubit Bloch-sphere Ramsey models a residual shared component persists even under nominally optimal tuning.
  • In higher dimensions Haar and design moment identities reduce the correlation to a small set of unitary invariants.
  • Anti-contrast strategies in unitary sensing protocols are bounded away from the mathematical ideal of perfect opposition.
  • The floor applies irrespective of hardware details and noise models.

Where Pith is reading between the lines

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

  • This geometric limit may constrain how effectively differential measurements can cancel environmental noise in quantum sensors.
  • Relaxing to non-unitary evolutions might allow correlations closer to the unattainable bound than pure unitaries permit.
  • The result suggests classifying pairs of quantum gates by their irreducible correlation properties as a new invariant.
  • It connects to broader questions about how operator geometry restricts information extraction in quantum metrology.

Load-bearing premise

The Pearson correlation coefficient on survival probabilities over the full projective state space is the appropriate measure of global opposition between two evolutions.

What would settle it

Finding any pair of nontrivial unitaries where the survival probability correlation reaches exactly -1 over the entire projective state space would falsify the central claim.

Figures

Figures reproduced from arXiv: 2509.26373 by Jeongho Bang, Kyoungho Cho.

Figure 1
Figure 1. Figure 1: FIG. 1. Self-fidelity fringe patterns on the single-qubit Bloch [PITH_FULL_IMAGE:figures/full_fig_p004_1.png] view at source ↗
read the original abstract

In measurement design, it is common to engineer anti-contrast readouts -- two measurements that respond as differently as possible to the same inputs so that contributions that affect both readouts in the same way are suppressed. To assess the fundamental scope of this strategy in unitary dynamics, we ask whether two evolutions can be made uniformly opposite over a broad input ensemble, or whether quantum mechanics imposes a structural limit on such opposition. We address this by treating survival probability as a random variable on projective state space and adopting the Pearson correlation coefficient as a device-agnostic measure of global opposition between two evolutions. Within this framework we establish the following theorem: For any nontrivial pair of unitaries, survival probability maps cannot be point-wise complementary correlation on the entire state space. Consequently, the mathematical lower edge of the correlation bound is not physically attainable, which we interpret as a unitary-geometric floor on anti-contrast, independent of hardware specifics and noise models. We make this floor explicit in realizable settings. In a single-qubit Bloch-sphere Ramsey model, a closed-form relation shows that a residual shared (channel-symmetric) component persists even under nominally optimal tuning. In higher dimensions, Haar/design moment identities reduce ensemble means and covariances of survival probability to a small set of unitary invariants, yielding the same conclusion irrespective of implementation details. Taken together, these results provide a model-independent criterion for what anti-contrast can and cannot achieve in unitary sensing protocols.

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

1 major / 1 minor

Summary. The manuscript claims that for any nontrivial pair of unitaries, the survival-probability maps cannot achieve point-wise complementary correlation (Pearson coefficient exactly -1) over the entire projective state space. This is shown via a closed-form Bloch-sphere calculation for qubits and Haar/design moment reductions for higher dimensions, establishing a unitary-geometric floor on anti-contrast that is independent of hardware and noise.

Significance. If the central theorem holds, the work supplies a model-independent bound on the achievable opposition between unitary evolutions when quantified by Pearson correlation of survival probabilities. The explicit qubit closed form and the reduction of ensemble statistics to a small set of unitary invariants are concrete strengths that could guide sensing-protocol design.

major comments (1)
  1. [framework paragraph] Framework paragraph (abstract): the identification of the Pearson correlation coefficient as the device-agnostic quantifier of global opposition is load-bearing for the unattainability theorem, yet the manuscript supplies no comparative argument or invariance proof against alternatives such as L^∞ distance between the maps or operator-norm distance between the associated projectors. If a different functional were adopted, the claimed unitary-geometric floor might not translate.
minor comments (1)
  1. [abstract] The abstract refers to 'the framework paragraph of the abstract'; this self-reference is unclear and should be replaced by a numbered section in the main text.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for their careful and constructive review. The comment raises a valid point about justifying the choice of quantifier, and we respond below while making targeted revisions to strengthen the presentation.

read point-by-point responses

  1. Referee: Framework paragraph (abstract): the identification of the Pearson correlation coefficient as the device-agnostic quantifier of global opposition is load-bearing for the unattainability theorem, yet the manuscript supplies no comparative argument or invariance proof against alternatives such as L^∞ distance between the maps or operator-norm distance between the associated projectors. If a different functional were adopted, the claimed unitary-geometric floor might not translate.

    Authors: We appreciate the referee's observation. The Pearson coefficient is adopted because it directly measures linear dependence between the survival-probability maps when these are treated as random variables on projective space; a value of exactly -1 corresponds to one map being an affine image of the other with negative slope, which is the precise notion of point-wise complementary correlation needed for the theorem. This statistical framing is natural for anti-contrast questions in sensing, as it captures ensemble-wide opposition rather than worst-case pointwise deviation. We do not assert that the same floor holds for every conceivable functional; the result is specific to this correlation measure. To meet the referee's concern we have added a short comparative paragraph after the abstract and in the opening of Section II, contrasting Pearson with L^∞ and operator-norm alternatives and explaining why the chosen quantifier is load-bearing for the unitary-geometric unattainability statement while remaining device-agnostic within the class of second-moment statistics. revision: yes

Circularity Check

0 steps flagged

No significant circularity; derivation is self-contained via standard unitary and Haar mathematics

full rationale

The paper explicitly adopts the Pearson correlation on survival probabilities as its chosen device-agnostic measure of opposition, then applies Haar-moment identities and closed-form qubit calculations to prove that this correlation cannot attain -1 for any nontrivial pair of unitaries. These steps rest on independent mathematical facts (unitary invariance of traces, design moments, Bloch-vector geometry) rather than any fitted parameters, self-referential definitions, or load-bearing self-citations. The theorem is therefore not equivalent to its inputs by construction; the positive residual shared component emerges from the explicit ensemble averages. No ansatz is smuggled via citation, and the metric choice, while definitional, does not render the unattainability result tautological.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The central claim rests on standard quantum-mechanical assumptions about unitary evolution and the definition of survival probability as a function on projective space; no free parameters, new entities, or ad-hoc postulates are introduced.

axioms (2)
  • domain assumption Unitary operators generate the time evolution of closed quantum systems
    Invoked throughout the abstract when discussing evolutions and survival probabilities.
  • domain assumption Pearson correlation coefficient serves as a device-agnostic global measure of opposition between two survival probability maps
    Explicitly adopted in the framework paragraph of the abstract.

pith-pipeline@v0.9.0 · 5781 in / 1290 out tokens · 39786 ms · 2026-05-18T12:21:59.061606+00:00 · methodology

discussion (0)

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

Reference graph

Works this paper leans on

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

  1. [1]

    contrast- only

    is large. (b)θ= 1.5 (lower contrast): the cap/belt fringe geometry is unchanged—only the contrast amplitude is reduced. Thus, nfixes the location of the bright/dark regions, whileθonly rescales their contrast. The unattainability ofP=−1 for self-fidelities means that, within the present (a-sort-of) gate-comparison model, one cannot realize a pair of reado...

    work page

  2. [2]

    anti-contrast

    upper bounds how nega- tive the covariance can be, and the 4-design identity en- forcesP >−1 for any finited. Thus, the qubit obstruc- tion to perfect anti-contrast persists in higher dimensions as a consequence of unitary geometry. This obstruction appears at short times. A second- order expansion of⟨ψ|e −i ˆHj t |ψ⟩gives 6 ⟨ψ|e −i ˆHj t |ψ⟩= 1−it⟨ ˆHj⟩ψ...

    work page

  3. [3]

    purely differential

    In higher dimen- sion, we showed that Haar/design moment identities ex- pressPsolely in terms of a handful of unitary invariants, guaranteeingP >−1 for any nontrivial pair. A short- time expansion linked this obstruction to a differential measurement design scenario by tying the leading fluc- tuations ofX ˆU to state-dependent energy variances, and a vari...

    work page 2024

  4. [4]

    + Tr(ˆU1 ˆU † 2)Tr(ˆU † 1)Tr(ˆU2) + Tr(ˆU1 ˆU2 ˆU † 1 ˆU † 2) i .(A6) From these formulas, we immediately obtain closed-form expressions for the covariance and variance. Recall that the covariance is defined as Cov(X ˆU1 , XˆU2 ) = ¯d1,2 − ¯f1 ¯f2,(A7) while the variance is obtained from ∆2 j = ¯dj − ¯f2 j , ¯dj := ¯dj,j.(A8) A direct evaluation gives ∆2 ...

    work page

  5. [5]

    + Tr(ˆU1 ˆU † 2)Tr(ˆU † 1Tr(ˆU2) + Tr(ˆU1 ˆU2 ˆU † 1 ˆU † 2) i .(A9) With the explicit form of the unitaries ˆU1, ˆU2, one can derive concrete expressions for the covariance and Pearson correlation coefficient. In particular, forSU(2), a qubit subject to two coherent controls, ˆUj = exp − i 2 θjnj ·σ , the parametrization in terms of Pauli matrices and th...

    work page

  6. [6]

    = 2 cos θ1 2 cos θ2 2 + 2(n1 ·n 2) sin θ1 2 sin θ2 2 ,(A13) Tr(ˆU1 ˆU2 ˆU † 1 ˆU †

    work page

  7. [7]

    = 2−2 1−(n 1 ·n 2)2 1−cosθ 2 sin2 θ1 2 .(A14) Using these identities, we obtain ¯fj = 1 3 (2 + cosθj), ∆2 j = Cov(X ˆUj , XˆUj ) = 4 45 sin4 θj 2 = 1 5 1− ¯fj 2 , Cov(X ˆU1 , XˆU2 ) = 1 10 −1 + 3(n1 ·n 2)2 1− ¯f1 1− ¯f2 .(A15) Therefore, the Pearson correlation coefficient forSU(2) admits the closed form P( ˆU1, ˆU2) = Cov(X ˆU1 , XˆU2 )p ∆2 1 p ∆2 2 = 3 ...

    work page

  8. [8]

    E. O. Doebelin and D. N. Manik,Measurement Systems: Application and Design, 5th ed. (McGraw–Hill, 2004)

    work page 2004

  9. [9]

    Jinet al., Balanced homodyne detection with high common-mode rejection ratio based on parameter com- pensation, Optics Express23, 23859 (2015)

    X. Jinet al., Balanced homodyne detection with high common-mode rejection ratio based on parameter com- pensation, Optics Express23, 23859 (2015)

    work page 2015

  10. [10]

    Macr` ı, A

    T. Macr` ı, A. Smerzi, and L. Pezz` e, Loschmidt echo for quantum metrology, Phys. Rev. A94, 010102 (2016)

    work page 2016

  11. [11]

    S. Zhou, S. Michalakis, and T. Gefen, Optimal protocols for quantum metrology with noisy measurements, PRX Quantum4, 040305 (2023)

    work page 2023

  12. [12]

    D. W. Gouldet al., Quantum Enhanced Balanced Het- erodyne Readout for Differential Interferometry,

    work page

  13. [13]

    Fonda, G

    L. Fonda, G. Ghirardi, and A. Rimini, Decay theory of unstable quantum systems, Reports on Progress in Physics41, 587 (1978)

    work page 1978

  14. [14]

    Peres, Stability of quantum motion in chaotic and regular systems, Phys

    A. Peres, Stability of quantum motion in chaotic and regular systems, Phys. Rev. A30, 1610 (1984)

    work page 1984

  15. [15]

    Pearson, Notes on regression and inheritance in the case of two parents, Proceedings of the Royal Society of London (1895)

    K. Pearson, Notes on regression and inheritance in the case of two parents, Proceedings of the Royal Society of London (1895)

    work page

  16. [16]

    Casella and R

    G. Casella and R. L. Berger,Statistical Inference, 2nd ed. (Duxbury, 2002)

    work page 2002

  17. [17]

    H. S. Witsenhausen, On sequences of pairs of dependent random variables, SIAM Journal on Applied Mathemat- ics28, 100 (1975)

    work page 1975

  18. [18]

    On Maximal Correlation, Hypercontractivity, and the Data Processing Inequality studied by Erkip and Cover

    V. Anantharam, A. Gohari, S. Kamath, and C. Nair, On maximal correlation, hypercontractivity, and the data processing inequality studied by erkip and cover, arXiv preprint arXiv:1304.6133 (2013)

    work page internal anchor Pith review Pith/arXiv arXiv 2013

  19. [19]

    Clemmen, A

    S. Clemmen, A. Farsi, S. Ramelow, and A. L. Gaeta, Ramsey interference with single photons, Phys. Rev. Lett.117, 223601 (2016)

    work page 2016

  20. [20]

    Roszak, Measure of qubit-environment entanglement for pure dephasing evolutions, Phys

    K. Roszak, Measure of qubit-environment entanglement for pure dephasing evolutions, Phys. Rev. Res.2, 043062 (2020)

    work page 2020

  21. [21]

    Collins and P

    B. Collins and P. ´Sniady, Integration with Respect to the Haar Measure on Unitary, Orthogonal and Symplectic Group, Commun. Math. Phys.264, 773 (2006)

    work page 2006

  22. [22]

    Matsumoto and C

    S. Matsumoto and C. McSwiggen, Moments of ran- dom quantum marginals via weingarten calculus, In- ternational Mathematics Research Notices2023, 19306 (2023)

    work page 2023

  23. [23]

    Nakata, D

    Y. Nakata, D. Zhao, T. Okuda, E. Bannai, Y. Suzuki, S. Tamiya, K. Heya, Z. Yan, K. Zuo, S. Tamate, Y. Tabuchi, and Y. Nakamura, Quantum circuits for ex- act unitaryt-designs and applications to higher-order randomized benchmarking, PRX Quantum2, 030339 (2021)

    work page 2021

  24. [24]

    Oviedo-Casado, J

    S. Oviedo-Casado, J. Prior, and J. Cerrillo, Low fre- quency signal detection via correlated ramsey measure- ments, Journal of Magnetic Resonance363, 107691 (2024)

    work page 2024

  25. [25]

    J. T. Iosue, T. Mooney, A. Ehrenberg, and A. V. Gor- shkov, Projective toric designs, quantum state designs, and mutually unbiased bases, Quantum8, 1546 (2024)

    work page 2024

  26. [26]

    Wackerly and Scheafter,Mathematical Statistics with Applications, 7th ed

    M. Wackerly and Scheafter,Mathematical Statistics with Applications, 7th ed

    work page

  27. [27]

    Abdi and L

    H. Abdi and L. J. Williams, Principal component analy- 10 sis, WIREs Comput. Stat.2, 433 (2010)

    work page 2010

  28. [28]

    Global phases are immaterial for all quantities below; one may take ˆUα ∈SU(d) without loss of generality

    work page

  29. [29]

    Buˇ zek, M

    V. Buˇ zek, M. Hillery, and R. F. Werner, Optimal manip- ulations with qubits: Universal-not gate, Phys. Rev. A 60, R2626 (1999)

    work page 1999

  30. [30]

    Rungta, V

    P. Rungta, V. Buˇ zek, C. M. Caves, M. Hillery, and G. J. Milburn, Universal state inversion and concurrence in arbitrary dimensions, Physical Review A64, 042315 (2001)

    work page 2001

  31. [31]

    Bang, S.-W

    J. Bang, S.-W. Lee, H. Jeong, and J. Lee, Procedures for realizing an approximate universal-not gate, Physical Review A86, 062317 (2012)

    work page 2012

  32. [32]

    Van Enk, Relations between cloning and the univer- sal not derived from conservation laws, Physical review letters95, 010502 (2005)

    S. Van Enk, Relations between cloning and the univer- sal not derived from conservation laws, Physical review letters95, 010502 (2005)

    work page 2005

  33. [33]

    Dankert, R

    C. Dankert, R. Cleve, J. Emerson, and E. Livine, Ex- act and approximate unitary 2-designs and their applica- tion to fidelity estimation, Physical Review A80, 012304 (2009)

    work page 2009

  34. [34]

    Y. L. Len, T. Gefen, A. Retzker, and J. Ko lody´ nski, Quantum metrology with imperfect measurements, Na- ture Communications13, 6971 (2022)

    work page 2022

  35. [35]

    Hainzer, D

    H. Hainzer, D. Kiesenhofer, T. Ollikainen, M. Bock, F. Kranzl, M. K. Joshi, G. Yoeli, R. Blatt, T. Gefen, and C. F. Roos, Correlation spectroscopy with multiqubit- enhanced phase estimation, Phys. Rev. X14, 011033 (2024)

    work page 2024

  36. [36]

    Gorin, T

    T. Gorin, T. Prosen, T. H. Seligman, and M. ˇZnidariˇ c, Dynamics of loschmidt echoes and fidelity decay, Physics Reports435, 33 (2006)

    work page 2006

  37. [37]

    Ozawa, Quantum perfect correlations, Annals of Physics321, 744 (2006)

    M. Ozawa, Quantum perfect correlations, Annals of Physics321, 744 (2006)

    work page 2006

  38. [38]

    G. P. Geh´ er and N. Miheisi, When is the variance of one observable less than or equal to that of another with re- spect to all quantum states?, International Mathematics Research Notices2024, 1868 (2024)

    work page 2024

  39. [39]

    M. Yu, D. Li, J. Wang, Y. Chu, P. Yang, M. Gong, N. Goldman, and J. Cai, Experimental estimation of the quantum fisher information from randomized measure- ments, Phys. Rev. Res.3, 043122 (2021)

    work page 2021

  40. [40]

    F. J. Schreiber, J. Eisert, and J. J. Meyer, Tomography of parametrized quantum states, PRX Quantum6, 020346 (2025)

    work page 2025

  41. [41]

    Zhang and D

    D.-J. Zhang and D. M. Tong, Krylov shadow tomogra- phy: Efficient estimation of quantum fisher information, Phys. Rev. Lett.134, 110802 (2025)

    work page 2025

  42. [42]

    Uhlmann, The Transition Probability in the State Space of a* Algebra, Annalen Phys.42, 524 (1985)

    A. Uhlmann, The Transition Probability in the State Space of a* Algebra, Annalen Phys.42, 524 (1985)

    work page 1985

  43. [43]

    Knill, D

    E. Knill, D. Leibfried, R. Reichle, J. Britton, R. B. Blakestad, J. D. Jost, C. Langer, R. Ozeri, S. Seidelin, and D. J. Wineland, Randomized benchmarking of quan- tum gates, Physical Review A77, 012307 (2008)

    work page 2008

  44. [44]

    Collins and P

    B. Collins and P. ´Sniady, Integration with respect to the haar measure on unitary group in: Random matrices and free probability theory, Communications in Mathemati- cal Physics264, 773 (2006)

    work page 2006

  45. [45]

    Gross, K

    D. Gross, K. Audenaert, and J. Eisert, Evenly distributed unitaries: On the structure of unitary designs, J. Math. Phys.48, 052104 (2007)

    work page 2007

  46. [46]

    Ambainis and J

    A. Ambainis and J. Emerson, Quantum t-designs: t-wise independence in the quantum world, inTwenty-Second Annual IEEE Conference on Computational Complexity (CCC’07)(IEEE, 2007) pp. 129–140

    work page 2007

  47. [47]

    Goodman, N

    R. Goodman, N. R. Wallach,et al.,Symmetry, represen- tations, and invariants, Vol. 255 (Springer, 2009)

    work page 2009

  48. [48]

    Matrix integrals over unitary groups: An application of Schur–Weyl duality,

    L. Zhang, Matrix integrals over unitary groups: An application of schur-weyl duality, arXiv preprint arXiv:1408.3782 (2014)

    work page arXiv 2014

  49. [49]

    Ragone, P

    M. Ragone, P. Braccia, Q. T. Nguyen, L. Schatzki, P. J. Coles, F. Sauvage, M. Larocca, and M. Cerezo, Represen- tation theory for geometric quantum machine learning, arXiv preprint arXiv:2210.07980 (2022)

    work page arXiv 2022

  50. [50]

    Cho and J

    K. Cho and J. Bang, Entangling power and its deviation: A quantitative analysis on input-state dependence and variability in entanglement generation, arXiv preprint arXiv:2508.00301 (2025)

    work page arXiv 2025