Recognition: 2 theorem links
· Lean TheoremLeggett-Garg Inequality Violations Bound Quantum Fisher Information
Pith reviewed 2026-05-10 18:07 UTC · model grok-4.3
The pith
Violations of Leggett-Garg inequalities bound the quantum Fisher information from below in stationary pure and thermal states.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
We prove that a violation of a Leggett-Garg inequality for bounded observables in stationary pure states and thermal states yields a rigorous lower bound on the quantum Fisher information. This turns a qualitative foundations test of realism in quantum systems into a quantitative witness of useful quantum sensitivity and, in the collective setting, into a lower bound on multipartite entanglement depth in many-body systems. We further demonstrate that Leggett-Garg violations are constrained by the same spectral moments, susceptibilities, and f-sum-rule bounds that organize many-body response.
What carries the argument
The derived lower bound on quantum Fisher information expressed in terms of the magnitude of Leggett-Garg inequality violation for bounded observables.
Load-bearing premise
The derivation assumes stationary pure states and thermal states together with bounded observables; if these restrictions are lifted or if the states are non-stationary, the bound may not hold.
What would settle it
An explicit counterexample of a stationary pure state or thermal state in which a Leggett-Garg inequality is violated yet the quantum Fisher information lies below the claimed lower bound would falsify the central result.
Figures
read the original abstract
We prove that a violation of a Leggett-Garg inequality for bounded observables in stationary pure states and thermal states yields a rigorous lower bound on the quantum Fisher information. This turns a qualitative foundations test of realism in quantum systems into a quantitative witness of useful quantum sensitivity and, in the collective setting, into a lower bound on multipartite entanglement depth in many-body systems. We further demonstrate that Leggett-Garg violations are constrained by the same spectral moments, susceptibilities, and $f$-sum-rule bounds that organize many-body response. Our results show that temporal correlations of a single collective observable can serve as an experimentally accessible witness of many-body quantum coherence, without requiring full state reconstruction.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript proves that a violation of a Leggett-Garg inequality for bounded observables in stationary pure states and thermal states yields a rigorous lower bound on the quantum Fisher information. This converts the LGI test into a quantitative witness of quantum sensitivity and, for collective observables, a lower bound on multipartite entanglement depth. The work further shows that such violations are constrained by the same spectral moments, susceptibilities, and f-sum-rule bounds that govern many-body linear response.
Significance. If the central derivation holds, the result is significant because it supplies an experimentally accessible route from temporal correlation measurements to quantitative bounds on metrological usefulness and entanglement depth without requiring full tomography. The explicit linkage to response-theory quantities (moments, susceptibilities, f-sum rules) is a clear strength, as it embeds the bound in a well-established many-body framework and thereby increases its applicability to condensed-matter and quantum-optical platforms.
minor comments (3)
- Abstract: the phrase 'in the collective setting' is used without specifying the precise form of the collective observable or the scaling of the entanglement-depth bound; a single clarifying sentence would improve readability.
- The manuscript would benefit from an explicit statement (near the main theorem) of the numerical prefactor relating the LGI violation magnitude to the QFI lower bound, even if the derivation is parameter-free within the stated domain.
- Figure captions (if present) should indicate whether the plotted curves are for pure states, thermal states, or both, to allow immediate comparison with the analytic bounds.
Simulated Author's Rebuttal
We thank the referee for their careful reading of the manuscript and for the positive assessment of its significance. The recommendation for minor revision is noted, and we appreciate the recognition that the linkage to response theory and the experimental accessibility of the bounds are strengths. As the report lists no specific major comments, we have no point-by-point rebuttals to provide.
Circularity Check
No significant circularity; derivation is a direct proof under restricted assumptions
full rationale
The paper presents a mathematical proof that Leggett-Garg inequality violations for bounded observables imply a lower bound on quantum Fisher information, but only for stationary pure states and thermal states. The abstract and claim structure explicitly restrict the domain, and no equations or steps reduce by construction to fitted parameters, self-definitions, or load-bearing self-citations. The central result is a rigorous implication within the stated setting rather than a renaming or ansatz smuggling. This is the common case of a self-contained derivation against external benchmarks.
Axiom & Free-Parameter Ledger
axioms (2)
- domain assumption The system is described by standard quantum mechanics in stationary pure or thermal states
- domain assumption Observables under consideration are bounded
Lean theorems connected to this paper
-
IndisputableMonolith/Cost/FunctionalEquation.leanwashburn_uniqueness_aczel (J-cost uniqueness) unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
K(τ)≡2C(τ)−C(2τ)≤1 ... FQ≥[K(τ)−⟨Q²⟩]/γ(2τ/β) with γ(y)=max R(x,y), R(x,y)=(1/4)coth²(x/y)h(x)
-
IndisputableMonolith/Foundation/ArrowOfTime.leanBerry-phase monotonicity / Z-complexity echoes?
echoesECHOES: this paper passage has the same mathematical shape or conceptual pattern as the Recognition theorem, but is not a direct formal dependency.
spectral moments, susceptibilities, f-sum-rule bounds ... χ''_QQ(ω)
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
-
[1]
(also referred to as temporal [7] Bell inequalities [8]) probe whether the time history of an observable can be described by a macrorealistic classical picture, and their violation is therefore usually interpreted as a signature of temporal nonclassicality [9]. On the other hand, the quantum Fisher information (QFI) [10, 11] quantifies how strongly a quan...
work page internal anchor Pith review Pith/arXiv arXiv 2026
-
[2]
finds the upper boundFQ≤−2β ∫∞ 0 dωωχ′′ QQ(ω)/π which, when combined with (11), gives −2β π ∫ ∞ 0 dωωχ′′ QQ(ω)≥FQ≥K(τ)−⟨Q2⟩ γ(2τ/β).(17) Therefore, LGI violations are constrained by the same f-sum-rule spectral weight that governs linear re- sponse. Furthermore, following [17], one can also obtain βlimω→∞ω2χ′ QQ(ω)≥4 [ K(τ)−⟨Q2⟩ ] /γ(2τ/β), so the high-fr...
-
[3]
R. Horodecki, P. Horodecki, M. Horodecki, and K. Horodecki, Quantum entanglement, Rev. Mod. Phys. 81, 865 (2009), arXiv:quant-ph/0702225
-
[4]
O. Gühne and G. Tóth, Entanglement detection, Phys. Rept.474, 1 (2009), arXiv:0811.2803 [quant-ph]
-
[5]
L. Pezzè, A. Smerzi, M. K. Oberthaler, R. Schmied, and P. Treutlein, Quantum metrology with nonclassical states of atomic ensembles, Rev. Mod. Phys.90, 035005 (2018), 5 arXiv:1609.01609 [quant-ph]
-
[6]
Giovannetti, S
V. Giovannetti, S. Lloyd, and L. Maccone, Quantum metrology, Phys. Rev. Lett.96, 010401 (2006)
2006
- [7]
-
[8]
A. J. Leggett and A. Garg, Quantum mechanics versus macroscopicrealism: Isthefluxtherewhennobodylooks?, Phys. Rev. Lett.54, 857 (1985)
1985
-
[9]
J. P. Paz and G. Mahler, Proposed test for temporal bell inequalities, Phys. Rev. Lett.71, 3235 (1993)
1993
-
[10]
J. S. Bell, On the einstein podolsky rosen paradox, Physics Physique Fizika1, 195 (1964)
1964
-
[12]
C. W. Helstrom, Quantum detection and estimation the- ory, J. Statist. Phys.1, 231 (1969)
1969
-
[13]
S. L. Braunstein and C. M. Caves, Statistical distance and the geometry of quantum states, Phys. Rev. Lett.72, 3439 (1994)
1994
- [14]
-
[15]
G. Tóth and I. Apellaniz, Quantum metrology from a quantum information science perspective, J. Phys. A47, 424006 (2014), arXiv:1405.4878 [quant-ph]
-
[16]
L. Pezze and A. Smerzi, Entanglement, Nonlinear Dy- namics, and the Heisenberg Limit, Phys. Rev. Lett.102, 100401 (2009), arXiv:0711.4840 [quant-ph]
-
[17]
Tóth, Multipartite entanglement and high- precision metrology, Phys
G. Tóth, Multipartite entanglement and high- precision metrology, Phys. Rev. A85, 022322 (2012), arXiv:1006.4368 [quant-ph]
- [18]
- [19]
-
[20]
A. J. Leggett, Testing the limits of quantum mechanics: motivation, state of play, prospects, J. Phys. Condens. Matter14, R415 (2002)
2002
-
[21]
A. Palacios-Laloy, F. Mallet, F. Nguyen, P. Bertet, D. Vion, D. Esteve, and A. N. Korotkov, Experimental violation of a Bell’s inequality in time with weak mea- surement, Nature Phys.6, 442 (2010), arXiv:1005.3435 [quant-ph]
- [22]
-
[23]
G. Waldherr, P. Neumann, S. F. Huelga, F. Jelezko, and J. Wrachtrup, Violation of a Temporal Bell Inequality for Single Spins in a Diamond Defect Center, Phys. Rev. Lett.107, 090401 (2011), arXiv:1103.4949 [quant-ph]
- [24]
- [26]
-
[27]
M. Gärttner, P. Hauke, and A. M. Rey, Relating Out-of- Time-Order Correlations to Entanglement via Multiple- Quantum Coherences, Phys. Rev. Lett.120, 040402 (2018), arXiv:1706.01616 [quant-ph]
- [28]
- [29]
-
[30]
X. Zhang, X.-M. Lu, J. Liu, W. Ding, and X. Wang, Direct measurement of quantum Fisher information, Phys. Rev. A107, 012414 (2023), arXiv:2208.03140 [quant-ph]
-
[31]
M. Yuet al., Quantum Fisher information measurement and verification of the quantum Cramér–Rao bound in a solid-state qubit, npj Quantum Inf.8, 56 (2022), arXiv:2003.08373 [quant-ph]
-
[32]
A. Scheie, P. Laurell, A. M. Samarakoon, B. Lake, S. E. Nagler, G. E. Granroth, S. Okamoto, G. Alvarez, and D. A. Tennant, Witnessing entanglement in quantum magnets using neutron scattering, Phys. Rev. B103, 224434 (2021), [Erratum: Phys.Rev.B 107, 059902 (2023)], arXiv:2102.08376 [cond-mat.str-el]
- [33]
-
[34]
G. Müller-Rigat, A. K. Srivastava, S. Kurdziałek, G. Rajchel-Mieldzioć, M. Lewenstein, and I. Frérot, Cer- tifying the quantum Fisher information from a given set of mean values: a semidefinite programming approach, Quantum7, 1152 (2023), arXiv:2306.12711 [quant-ph]
-
[35]
I. Apellaniz, M. Kleinmann, O. Gühne, and G. Toth, Optimal witnessing of the quantum Fisher information with few measurements, Phys. Rev. A95, 032330 (2017), arXiv:1511.05203 [quant-ph]
-
[36]
H. Strobel, W. Muessel, D. Linnemann, T. Zibold, D. B. Hume, L. Pezzè, A. Smerzi, and M. K. Oberthaler, Fisher information and entanglement of non-Gaussian spin states, Science345, 1250147 (2014), arXiv:1507.03782 [quant- ph]
- [37]
- [38]
- [39]
- [40]
- [41]
- [42]
-
[43]
Forster,Hydrodynamic fluctuations, broken symmetry, and correlation functions(Westview Press, Philadelphia, PA, 1995)
D. Forster,Hydrodynamic fluctuations, broken symmetry, and correlation functions(Westview Press, Philadelphia, PA, 1995)
1995
-
[44]
A. L. Fetter and J. D. Walecka,Quantum Theory of Many- Particle Systems(Dover Publications, Mineola, N.Y., 2003)
2003
-
[46]
Aharonov, D
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 (1988)
1988
-
[47]
Aharonov and L
Y. Aharonov and L. Vaidman, Properties of a quantum system during the time interval between two measure- ments, Phys. Rev. A41, 11 (1990)
1990
-
[48]
weak value
N. W. M. Ritchie, J. G. Story, and R. G. Hulet, Realiza- tion of a measurement of a “weak value”, Phys. Rev. Lett. 66, 1107 (1991)
1991
-
[52]
M. S. Wang, Multitime measurements in quantum me- chanics, Phys. Rev. A65, 022103 (2002)
2002
-
[53]
See Supplemental Material for a review of the Leggett- Garginequalityforbothprojectiveandweakmeasurement protocols
-
[54]
C. W. Helstrom,Quantum Detection and Estimation The- ory(Academic Press, New York, 1976)
1976
-
[55]
Scandi, P
M. Scandi, P. Abiuso, J. Surace, and D. De Santis, Quan- tum Fisher Information and its dynamical nature, Reports on Progress in Physics88, 076001 (2023)
2023
-
[56]
Carollo, D
A. Carollo, D. Valenti, and B. Spagnolo, Geometry of quantum phase transitions, Physics Reports838, 1 (2020)
2020
-
[57]
Bengtsson and K
I. Bengtsson and K. Zyczkowski,Geometry of Quantum States: An Introduction to Quantum Entanglement(Cam- bridge University Press, Cambridge, 2006)
2006
-
[58]
Quantum Fisher information in a strange metal
F. Mazza, S. Biswas, X. Yan, A. Prokofiev, P. Stef- fens, Q. Si, F. F. Assaad, and S. Paschen, Quantum fisher information in a strange metal, arXiv preprint arXiv:2403.12779 (2024)
work page internal anchor Pith review Pith/arXiv arXiv 2024
- [59]
-
[60]
Bałut, X
D. Bałut, X. Guo, N. de Vries, D. Chaudhuri, B. Brad- lyn, P. Abbamonte, and P. W. Phillips, Quantum fisher information reveals UV-IR mixing in the strange metal, Physica C: Superconductivity and its Applications635, 1354750 (2025)
2025
- [61]
-
[62]
Guan and B
Y. Guan and B. Bradlyn, Exploring many-body quantum geometry beyond the quantum metric with correlation functions: A time-dependent perspective, Physical Review Research8, 013291 (2026)
2026
-
[63]
J. Lambert and E. S. Sørensen, From classical to quantum information geometry: a guide for physicists, New J. Phys. 25, 081201 (2023), arXiv:2302.13515 [quant-ph]
- [64]
-
[65]
Zanardi, M
P. Zanardi, M. Cozzini, and P. Giorda, Ground state fi- delityand quantum phasetransitions infree fermisystems, Journal of Statistical Mechanics: Theory and Experiment 2007, L02002 (2007)
2007
-
[66]
Chowdhury, Information, Dissipation, and Planckian Optimality (2026), arXiv:2602.04953 [cond-mat]
D. Chowdhury, Information, dissipation, and planck- ian optimality, arXiv preprint arXiv:2602.04953 (2026), arXiv:2602.04953
-
[67]
Bałut, B
D. Bałut, B. Bradlyn, and P. Abbamonte, Quantum entan- glement and quantum geometry measured with inelastic x-ray scattering, Physical Review B111, 125161 (2025)
2025
- [68]
-
[69]
Sachdev,Quantum Phase Transitions, 2nd ed
S. Sachdev,Quantum Phase Transitions, 2nd ed. (Cam- bridge University Press, Cambridge, 2011)
2011
-
[70]
Pfeuty, The one-dimensional ising model with a trans- verse field, Annals of Physics57, 79 (1970)
P. Pfeuty, The one-dimensional ising model with a trans- verse field, Annals of Physics57, 79 (1970)
1970
-
[71]
B. M. McCoy, J. H. H. Perk, and R. E. Shrock, Time Dependent Correlation Functions of the Transverse Ising Chain at the Critical Magnetic Field, Nucl. Phys. B220, 35 (1983)
1983
-
[72]
D. M. Greenberger, M. A. Horne, A. Shimony, and A. Zeilinger, Bell’s theorem without inequalities, Am. J. Phys.58, 1131 (1990)
1990
-
[73]
Facchi, G
P. Facchi, G. Florio, S. Pascazio, and F. V. Pepe, Greenberger-horne-zeilinger states and few-body hamilto- nians, Phys. Rev. Lett.107, 260502 (2011)
2011
-
[74]
S. J. Garratt and M. McGinley, Entanglement and private information in many-body thermal states, Phys. Rev. Lett. 136, 100802 (2026)
2026
-
[75]
K. Hammerer, A. S. Sørensen, and E. S. Polzik, Quantum interface between light and atomic ensembles, Rev. Mod. Phys.82, 1041 (2010), arXiv:0807.3358 [quant-ph]
- [76]
-
[77]
M. Jasperse, M. J. Kewming, S. N. Fischer, P. Pakkiam, R. P. Anderson, and L. D. Turner, Magic-wavelength Fara- day probe measures spin continuously and without light shifts, Phys. Rev. A96, 063402 (2017), arXiv:1705.10965 [quant-ph]. 7 End Matter Bound from then-measurement LGI.—Equation (2) is the first in a family of inequalities [9] Kp(τ)≤p−2, K p(τ) ...
-
[78]
To do so, we couple the system sequentially to two independent pointers( X1,P 1)and( X2,P 2), both prepared in identical minimum-uncertainty states|ψ0⟩as in(S13)
The two-time correlation function Now consider measuringQ twice on the same system. To do so, we couple the system sequentially to two independent pointers( X1,P 1)and( X2,P 2), both prepared in identical minimum-uncertainty states|ψ0⟩as in(S13). The state of the full system isρ0 =σ0⊗|ψ0⟩⟨ψ0|1⊗|ψ0⟩⟨ψ0|2. The first interaction, performed at timet1 = 0for s...
-
[79]
A. J. Leggett and A. Garg, Quantum mechanics versus macroscopic realism: Is the flux there when nobody looks?, Phys. Rev. Lett.54, 857 (1985)
1985
- [80]
-
[81]
Fritz, Quantum correlations in the temporal Clauser–Horne–Shimony–Holt (CHSH) scenario, New J
T. Fritz, Quantum correlations in the temporal Clauser–Horne–Shimony–Holt (CHSH) scenario, New J. Phys.12, 083055 (2010), arXiv:1005.3421 [quant-ph]
-
[82]
M. S. Wang, Multitime measurements in quantum mechanics, Phys. Rev. A65, 022103 (2002)
2002
-
[83]
von Neumann,Mathematical foundations of quantum mechanics, edited by N
J. von Neumann,Mathematical foundations of quantum mechanics, edited by N. A. Wheeler (Princeton University Press, Princeton, NJ, 2018)
2018
-
[84]
Preskill, Lecture notes for ph219/cs219: Quantum information and computation (2015), available athttp://theory
J. Preskill, Lecture notes for ph219/cs219: Quantum information and computation (2015), available athttp://theory. caltech.edu/~preskill/ph219/index.html
2015
-
[85]
Aharonov, D
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 (1988)
1988
-
[86]
Aharonov and L
Y. Aharonov and L. Vaidman, Properties of a quantum system during the time interval between two measurements, Phys. Rev. A41, 11 (1990)
1990
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.