Leggett-Garg inequality in the massive scalar vacuum: No violation under spacelike-separated measurements
Pith reviewed 2026-07-03 19:56 UTC · model grok-4.3
The pith
The vacuum of a massive scalar field satisfies the Leggett-Garg inequality under spacelike-separated noninvasive measurements.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
By using independent ensembles and the spacelike configuration, the two-time correlation C( au,L) is obtained in the Heisenberg picture and the Leggett-Garg parameter is formed as K3 equals 2C( au,L) minus C(2 au,2L); this quantity remains strictly less than 1 across the entire mass range for rectangular time windows, establishing that the vacuum does not violate the inequality.
What carries the argument
The spacelike-separated independent-ensemble protocol with the dichotomic observable sign of the smeared scalar field, where time evolution is absorbed into translation of the time-window function.
If this is right
- The vacuum respects macrorealism for temporal correlations under strict causal separation.
- Correlations between non-overlapping windows decay exponentially with separation for massive fields.
- The protocol supplies a benchmark for future noninvasive Leggett-Garg tests in quantum fields.
- A clear distinction appears between spatial Bell violations and the absence of temporal Leggett-Garg violations in the same vacuum.
Where Pith is reading between the lines
- The same protocol could be applied to other free fields or to interacting theories to test whether the no-violation result persists.
- Analog simulators of scalar fields might allow laboratory checks of the predicted K3 values.
- Relativistic causality appears to enforce macrorealism in the temporal sector for vacuum states.
- Different smearing functions or window shapes could be examined to see whether violations can appear while preserving the noninvasive condition.
Load-bearing premise
The chosen spacelike event positions together with independent ensembles and the smeared sign observable guarantee zero residual influence between any pair of measurements.
What would settle it
A numerical evaluation or analytic derivation in the same protocol and rectangular window that produces K3 greater than or equal to 1 for any mass value would disprove the no-violation claim.
Figures
read the original abstract
We overcome the long-standing noninvasive measurability (NIM) challenge in Leggett-Garg tests by exploiting the causal structure of quantum field theory (QFT). Our protocol uses three independent ensembles of the vacuum state, each measured by a different pair of observers at spacelike-separated events, yielding the three two-time correlators. By placing these events at positions $(0,0)$, $(\tau,L)$, and $(2\tau,2L)$ with $L>\tau+2\tau_0$, we rigorously ensure that no measurement can influence another. We investigate the vacuum state of a free massive scalar field in 1+1 dimensions, employing the dichotomic observable $Q(f)=\operatorname{sign}(\phi(f))$ where $\phi(f)$ is the smeared field. In the Heisenberg picture, the time evolution is absorbed into a translation of the time-window function, allowing us to derive the two-time correlation function $C(\tau,L)$ and the Leggett-Garg parameter $K_3=2C(\tau,L)-C(2\tau,2L)$. For non-overlapping time windows, we find that the correlation function decays exponentially with $\tau$ for a massive field. For overlapping windows, our numerical computation for a rectangular time window yields $K_3<1$ across the entire mass range, firmly establishing that the vacuum does not violate the LGI. Thus, under strict noninvasive conditions, the vacuum shows no violation of macrorealism, in stark contrast to its well-known violation of spatial Bell inequalities. Our spacelike-separated protocol provides the first LGI test in QFT with rigorously satisfied NIM, setting a methodological benchmark for future studies and highlighting the fundamental distinction between spacelike entanglement and temporal macrorealism in relativistic quantum fields.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript presents a protocol for testing the Leggett-Garg inequality (LGI) in the vacuum state of a free massive scalar field in 1+1 dimensions using spacelike-separated measurements on three independent ensembles. By positioning measurement events at (0,0), (τ,L), and (2τ,2L) with L > τ + 2τ0, and using the dichotomic observable Q(f) = sign(φ(f)) with smeared fields, the authors ensure noninvasive measurability via QFT causality. They derive the correlation function C(τ,L) in the Heisenberg picture and compute K3 = 2C(τ,L) - C(2τ,2L). Analytically, non-overlapping windows show exponential decay of correlations with τ. For overlapping rectangular windows, numerical evaluation shows K3 < 1 for all masses, leading to the conclusion that the vacuum does not violate the LGI under these strict conditions, unlike spatial Bell tests.
Significance. If the numerical results hold, this establishes the first LGI test in QFT with rigorously enforced NIM via relativistic causality, providing a methodological benchmark. The analytical exponential decay for non-overlapping windows follows directly from the standard massive scalar two-point function and is a clear strength. The work highlights a potential distinction between spatial Bell violations and temporal macrorealism in relativistic fields.
major comments (1)
- [Abstract and overlapping-windows results] Abstract and the section presenting results for overlapping windows: the central no-violation claim rests on the statement that 'our numerical computation for a rectangular time window yields K3<1 across the entire mass range.' No details are supplied on the quadrature method, discretization of the smeared correlators, convergence criteria, error estimates, specific ranges of m, τ, L, or the exact rectangular window function. This computation is load-bearing for the conclusion and cannot be verified from the given information.
Simulated Author's Rebuttal
We thank the referee for their careful reading and constructive feedback. The single major comment concerns insufficient documentation of the numerical evaluation of K3 for overlapping windows. We address this below and will revise the manuscript accordingly.
read point-by-point responses
-
Referee: [Abstract and overlapping-windows results] Abstract and the section presenting results for overlapping windows: the central no-violation claim rests on the statement that 'our numerical computation for a rectangular time window yields K3<1 across the entire mass range.' No details are supplied on the quadrature method, discretization of the smeared correlators, convergence criteria, error estimates, specific ranges of m, τ, L, or the exact rectangular window function. This computation is load-bearing for the conclusion and cannot be verified from the given information.
Authors: We agree that the numerical implementation must be fully specified for the claim to be verifiable. In the revised manuscript we will insert a new subsection (or appendix) that explicitly states: (i) the quadrature algorithm (adaptive Gauss-Kronrod with absolute and relative tolerances of 10^{-8}); (ii) the discretization procedure for the two-point function integrals over the rectangular smearing windows; (iii) convergence criteria and a posteriori error bounds obtained by doubling the number of quadrature points; (iv) the precise parameter ranges scanned (m ∈ [0.01, 10], τ ∈ [1, 200], L > τ + 2τ0 with rectangular windows of width 2τ0 centered at the indicated times); and (v) the exact definition of the rectangular window function f(t,x). With these additions the numerical result K3 < 1 can be independently reproduced. revision: yes
Circularity Check
No significant circularity detected
full rationale
The two-time correlators C(τ,L) are obtained from the standard free massive scalar propagator in 1+1D; K3=2C(τ,L)−C(2τ,2L) is then evaluated directly by numerical integration over rectangular windows. Neither step reduces to a fitted parameter renamed as a prediction, nor to a self-citation chain, nor to a self-definitional relation. The NIM guarantee is asserted via the external causal structure of QFT (spacelike separation plus independent ensembles), which is not derived inside the paper. The result is therefore self-contained against external benchmarks.
Axiom & Free-Parameter Ledger
axioms (2)
- domain assumption The two-point correlation functions of the free massive scalar field in 1+1D Minkowski space are given by the standard Wightman function.
- domain assumption The chosen event positions with L > τ + 2τ0 place all measurement pairs in spacelike separation.
Reference graph
Works this paper leans on
-
[1]
004 (light masses), to fully probe the mass dependence down to the nearly massless limit
003, 0 . 004 (light masses), to fully probe the mass dependence down to the nearly massless limit. For τ ≥ 2, the two time windows no longer overlap. In this regime, the Hadama rd inner product does not vanish identically; rather, it is controlled by the spacelike decay of K0(m √ L2 − (w − τ)2). For a massive field, this decay is exponential, as can be see...
-
[2]
J. S. Bell, Physics Physique Fizika 1, 195 (1964)
work page 1964
- [3]
-
[4]
J. F. Clauser, M. A. Horne, A. Shimony, and R. A. Holt, Phys. Rev. Lett. 23, 880 (1969)
work page 1969
-
[5]
A. J. Leggett and A. Garg, Phys. Rev. Lett. 54, 857 (1985)
work page 1985
-
[6]
A. J. Leggett, Foundations of Physics 18, 939 (1988)
work page 1988
-
[7]
A. J. Leggett, Reports on Progress in Physics 71, 022001 (2008)
work page 2008
-
[8]
S. J. Summers and R. Werner, Journal of Mathematical Physics 28, 2440 (1987)
work page 1987
-
[9]
S. J. Summers and R. Werner, Journal of Mathematical Physics 28, 2448 (1987)
work page 1987
-
[10]
S. J. Summers and R. Werner, Communications in Mathematical Physics 110, 247 (1987)
work page 1987
-
[11]
Haag, Local Quantum Physics: Fields, Particles, Algebras (Springer-Verlag, 1992)
R. Haag, Local Quantum Physics: Fields, Particles, Algebras (Springer-Verlag, 1992)
work page 1992
- [12]
-
[13]
J. J. Bisognano and E. H. Wichmann, Journal of Mathematical Physics 16, 985 (1975)
work page 1975
- [14]
-
[15]
M. S. Guimaraes, I. Roditi, and S. P. Sorella, Phys. Rev. D 110, 085017 (2024)
work page 2024
-
[16]
M. S. Guimaraes, I. Roditi, and S. P. Sorella, The European Physical Journal C 85, 334 (2025)
work page 2025
-
[17]
M. S. Guimaraes, I. Roditi, and S. P. Sorella, Phys. Rev. D 112, 085009 (2025)
work page 2025
-
[18]
M. S. Guimaraes, I. Roditi, and S. P. Sorella, Phys. Rev. D 113, 065008 (2026)
work page 2026
-
[19]
P. De Fabritiis, F. M. Guedes, M. S. Guimaraes, G. Peruzz o, I. Roditi, and S. P. Sorella, Phys. Rev. D 108, 085026 (2023)
work page 2023
-
[20]
P. De Fabritiis, M. S. Guimaraes, I. Roditi, and S. P. Sor ella, Phys. Rev. D 110, 065006 (2024)
work page 2024
- [21]
- [22]
-
[23]
A. Palacios-Laloy, F. Mallet, F. Nguyen, P. Bertet, D. V ion, D. Esteve, and A. N. Korotkov, Nature Physics 6, 442 (2010)
work page 2010
- [24]
-
[25]
G. C. Knee, S. Simmons, E. M. Gauger, J. J. Morton, H. Riem ann, N. V. Abrosimov, P. Becker, H.-J. Pohl, K. M. Itoh, M. L. Thewalt, G. A. D. Briggs, and S. C. Benjamin, Nature Communications 3, 606 (2012)
work page 2012
-
[26]
R. E. George, L. M. Robledo, O. J. E. Maroney, M. S. Blok, H . Bernien, M. L. Markham, D. J. Twitchen, J. J. L. Morton, G. A. D. Briggs, and R. Hanson, Proceedings of the National Academy of Sciences 110, 3777 (2013) , https://www.pnas.org/doi/pdf/10.1073/pnas.1208374110
-
[27]
T. Zhan, C. Wu, M. Zhang, Q. Qin, X. Yang, H. Hu, W. Su, J. Zh ang, T. Chen, Y. Xie, W. Wu, and P. Chen, Phys. Rev. A 107, 012424 (2023)
work page 2023
-
[28]
J. J. Halliwell, Phys. Rev. A 99, 022119 (2019)
work page 2019
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.