Leggett-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
work page Pith review arXiv 2009
-
[4]
O. Gühne and G. Tóth, Entanglement detection, Phys. Rept.474, 1 (2009), arXiv:0811.2803 [quant-ph]
work page Pith review arXiv 2009
-
[5]
Quantum metrology with nonclassical states of atomic ensembles
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]
work page Pith review arXiv 2018
-
[6]
V. Giovannetti, S. Lloyd, and L. Maccone, Quantum metrology, Phys. Rev. Lett.96, 010401 (2006)
work page 2006
-
[7]
Entanglement in Many-Body Systems
L. Amico, R. Fazio, A. Osterloh, and V. Vedral, Entan- glement in many-body systems, Rev. Mod. Phys.80, 517 (2008), arXiv:quant-ph/0703044
work page Pith review arXiv 2008
-
[8]
A. J. Leggett and A. Garg, Quantum mechanics versus macroscopicrealism: Isthefluxtherewhennobodylooks?, Phys. Rev. Lett.54, 857 (1985)
work page 1985
-
[9]
J. P. Paz and G. Mahler, Proposed test for temporal bell inequalities, Phys. Rev. Lett.71, 3235 (1993)
work page 1993
-
[10]
J. S. Bell, On the einstein podolsky rosen paradox, Physics Physique Fizika1, 195 (1964)
work page 1964
-
[12]
C. W. Helstrom, Quantum detection and estimation the- ory, J. Statist. Phys.1, 231 (1969)
work page 1969
-
[13]
S. L. Braunstein and C. M. Caves, Statistical distance and the geometry of quantum states, Phys. Rev. Lett.72, 3439 (1994)
work page 1994
-
[14]
M. G. A. Paris, Quantum Estimation for Quantum Tech- nology, Int. J. Quant. Inf.07, 125 (2009), arXiv:0804.2981 [quant-ph]
work page Pith review arXiv 2009
-
[15]
Quantum metrology from a quantum information science perspective
G. Tóth and I. Apellaniz, Quantum metrology from a quantum information science perspective, J. Phys. A47, 424006 (2014), arXiv:1405.4878 [quant-ph]
work page Pith review arXiv 2014
-
[16]
Entanglement, Non-linear Dynamics, and the Heisenberg Limit
L. Pezze and A. Smerzi, Entanglement, Nonlinear Dy- namics, and the Heisenberg Limit, Phys. Rev. Lett.102, 100401 (2009), arXiv:0711.4840 [quant-ph]
work page Pith review arXiv 2009
-
[17]
Multipartite entanglement and high precision metrology
G. Tóth, Multipartite entanglement and high- precision metrology, Phys. Rev. A85, 022322 (2012), arXiv:1006.4368 [quant-ph]
work page Pith review arXiv 2012
-
[18]
Fisher information and multiparticle entanglement
P. Hyllus, W. Laskowski, R. Krischek, C. Schwemmer, W. Wieczorek, H. Weinfurter, L. Pezzé, and A. Smerzi, Fisher information and multiparticle entanglement, Phys. Rev. A85, 022321 (2012), arXiv:1006.4366 [quant-ph]
work page Pith review arXiv 2012
-
[19]
Measuring multipartite entanglement via dynamic susceptibilities
P. Hauke, M. Heyl, L. Tagliacozzo, and P. Zoller, Measur- ing multipartite entanglement through dynamic suscepti- bilities, Nature Phys.12, 778 (2016), arXiv:1509.01739 [quant-ph]
work page Pith review arXiv 2016
-
[20]
A. J. Leggett, Testing the limits of quantum mechanics: motivation, state of play, prospects, J. Phys. Condens. Matter14, R415 (2002)
work page 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]
G. Tóth, C. Knapp, O. Gühne, and H. J. Briegel, Spin squeezing and entanglement, Phys. Rev. A79, 042334 (2009), arXiv:0806.1048 [quant-ph]
work page Pith review arXiv 2009
-
[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]
D. Forster,Hydrodynamic fluctuations, broken symmetry, and correlation functions(Westview Press, Philadelphia, PA, 1995)
work page 1995
-
[44]
A. L. Fetter and J. D. Walecka,Quantum Theory of Many- Particle Systems(Dover Publications, Mineola, N.Y., 2003)
work page 2003
-
[46]
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)
work page 1988
-
[47]
Y. Aharonov and L. Vaidman, Properties of a quantum system during the time interval between two measure- ments, Phys. Rev. A41, 11 (1990)
work page 1990
-
[48]
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)
work page 1991
-
[52]
M. S. Wang, Multitime measurements in quantum me- chanics, Phys. Rev. A65, 022103 (2002)
work page 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)
work page 1976
- [55]
-
[56]
A. Carollo, D. Valenti, and B. Spagnolo, Geometry of quantum phase transitions, Physics Reports838, 1 (2020)
work page 2020
-
[57]
I. Bengtsson and K. Zyczkowski,Geometry of Quantum States: An Introduction to Quantum Entanglement(Cam- bridge University Press, Cambridge, 2006)
work page 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]
- [61]
-
[62]
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)
work page 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]
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)
work page 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]
- [68]
-
[69]
Sachdev,Quantum Phase Transitions, 2nd ed
S. Sachdev,Quantum Phase Transitions, 2nd ed. (Cam- bridge University Press, Cambridge, 2011)
work page 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)
work page 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)
work page 1983
-
[72]
D. M. Greenberger, M. A. Horne, A. Shimony, and A. Zeilinger, Bell’s theorem without inequalities, Am. J. Phys.58, 1131 (1990)
work page 1990
- [73]
-
[74]
S. J. Garratt and M. McGinley, Entanglement and private information in many-body thermal states, Phys. Rev. Lett. 136, 100802 (2026)
work page 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]
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)
work page 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)
work page 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)
work page 2018
-
[84]
J. Preskill, Lecture notes for ph219/cs219: Quantum information and computation (2015), available athttp://theory. caltech.edu/~preskill/ph219/index.html
work page 2015
-
[85]
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)
work page 1988
-
[86]
Y. Aharonov and L. Vaidman, Properties of a quantum system during the time interval between two measurements, Phys. Rev. A41, 11 (1990)
work page 1990
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.