REVIEW 2 major objections 3 minor 21 references
Exact No Signaling in Time without Temporal Classicality
T0 review · 2 major / 3 minor · reviewed 2026-08-02 · deepseek-v4-flash
Pith's one-line read Exact no-signaling in time does not imply temporal classicality: a qutrit common-fixed-point manifold has zero NSIT yet violates a Leggett–Garg inequality.
desk verdict A clean analytic counterexample showing exact pairwise NSIT can coexist with LGI violation; the core result is solid, the full-manifold claim is slightly over-extended. 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
Common fixed point (CFP): a state σ such that Mτ(σ) = D(Uτ σ Uτ†) = σ for all intervals τ; because the zero-time dephasing D also fixes σ, summing over the earlier outcome reproduces the unconditioned marginal, forcing NSIT. The qutrit ring Hamiltonian and the degenerate projective readout of site 0 make the ab sector invariant and c a dark eigenstate, so the manifold is one-dimensional and solvable; the same structure supplies the branch states |a⟩ and (λ|b⟩⟨b| + 2(1−λ)|c⟩⟨c|)/(2−λ), whose difference from the average is the resource B.
What would settle it
Find any global fixed point of Mτ outside the one-parameter family (16) by direct numerical search over Hermitian ρ for a dense grid of τ near 0; if one exists, the exhaustiveness claim fails. More directly, in a qutrit prepared in ρ*(2/3), measuring K1 at Ωt = π/9 with η_NSIT = 0 should give K1 = 35/27; observing K1 ≤ 1 with independently demonstrated zero signaling would contradict the paper's prediction.
Extended reading notes
Core claim
The paper's central claim is that an exactly silent marginal is compatible with invasive branch dynamics. It proves this by Theorem 1: if a state is a common fixed point of the nonselective sequential channel Mτ = D∘Uτ, then every pairwise NSIT condition holds with η_NSIT = 0. The paper then solves the global CFP manifold for a single excitation on a three-site ring under the measurement "is the excitation at site 0?", obtaining ρ*(λ) = λ/2 Π_ab + (1−λ)|c⟩⟨c|. For every λ > 0, including the maximally mixed λ = 2/3, exact pairwise NSIT holds but the Leggett–Garg correlator K1 reaches 1 + 4λ/9, violating the classical bound. Hidden-variable reconstruction and an entropic witness independently
Load-bearing premise
The proof that Eq. (16) is the full global CFP manifold is sketched rather than fully derived in the main text; if the reverse direction of Theorem 2 fails, the 'full manifold' headline weakens, although the existence of one CFP with exact NSIT and LGI violation already carries the paper's main point.
Editorial extensions
If this is right
- Any experiment that uses exact pairwise NSIT as its sole witness for noninvasiveness can be fooled by a CFP state; additional witnesses such as LGI, entropic margins, or hidden-variable reconstruction are needed.
- The maximally mixed qutrit state, with K1,max = 35/27, is a concrete zero-signaling, non-classical state that can be tested with current qutrit setups.
- The violation region is not fine-tuned: the two-interval landscape has a finite island, and optimized depolarizing noise allows p up to ~0.27 for λ = 2/3 before the LGI bound is restored.
- Branch displacement B = λ(2−λ)/2, not residual signaling, scales with the LGI margin; this links the magnitude of hidden disturbance to the observable temporal contextuality.
Reading between the lines
- A natural next step is to use CFP engineering in reverse: prepare a state that is a fixed point of the discarded-register channel and use the surviving LGI violation as a witness of hidden branch disturbance, potentially as a metrological resource.
- The construction likely generalizes beyond the qutrit: any system with an invariant subspace and a dark state under a degenerate measurement could host a similar fixed-point manifold, so exact NSIT with LGI violation may be a generic phenomenon.
- The paper leaves open whether complete NSIT (all possible pairs and contexts) rather than pairwise NSIT also admits such exact separation; if it does, the operational value of NSIT as a macrorealism witness would be further weakened.
- A finite-shot prediction (already present in the paper) is that about 200 shots per context at λ = 2/3, p = 0.1 suffice to clear the classical bound; this could be translated directly into an experimental falsification protocol.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript introduces common fixed points (CFPs) of nonselective measurement–evolution channels as a mechanism by which exact no-signaling-in-time (NSIT) can coexist with invasive branch disturbance. For a qutrit ring with a local degenerate Lüders measurement, it constructs the one-parameter family Eq. (16), proves that these states satisfy η_NSIT = 0 in every pairwise context (Theorem 1), and derives the closed-form LGI correlation K1(t) and maximum margin K1,max = 1 + 4λ/9 (Eqs. (20)–(22)). Additional hidden-variable, entropic, protocol-landscape, depolarizing-noise, and finite-shot analyses are reported. The paper concludes that exact pairwise NSIT certifies only the absence of marginal signals after outcome erasure, not branch-level non-disturbance or temporal classicality.
Significance. If accepted, the paper provides a sharp, analytically explicit counterexample to the common inference from NSIT to macrorealist noninvasiveness. The central construction is self-contained: the CFP condition, the NSIT argument, and the LGI violation are derived in closed form without free parameters, and the maximally mixed state is included, which strengthens the conceptual point. The central counterexample appears correct. The main weaknesses are that the converse/exhaustiveness part of Theorem 2 is only sketched with algebra deferred to the Supplemental Material, and the numerical sections are not verifiable from the provided text. These gaps do not undermine the forward direction, which already proves the headline separation, but they do affect the 'full manifold' and robustness claims.
major comments (2)
- [Theorem 2, Eq. (16)] The proof of the converse direction of Theorem 2 is only sketched: 'Expanding M_τ(ρ)=ρ near τ=0 forces equal a,b populations and removes the remaining b–c coherence,' with the full algebra in the Supplemental Material. Since the abstract and Section 'Qutrit ring and full CFP manifold' claim that Eq. (16) is the full global CFP manifold, this exhaustiveness statement is load-bearing for the 'full manifold' headline. Please provide the complete expansion in the main text or make the Supplemental Material available and explicit. The forward direction alone suffices for the central counterexample, so this is a completeness issue rather than an error.
- [Hidden-variable reconstruction / Protocol landscape and robustness] The numerical results summarized in Figs. 2 and 3 and in Eq. (30) — the 1201×801 LP scan, the Jensen–Shannon completion, the depolarizing-noise thresholds, and the finite-shot Monte Carlo — are all deferred to the Supplemental Material, which is not included in the manuscript. As presented, these claims are not checkable. Either include the SM or clearly state that these are supplementary to the analytic result. The main result can stand without them, but the paper should not present unverifiable numbers as part of the central evidence.
minor comments (3)
- [Abstract and Section 'Exact NSIT but analytic LGI violation'] The phrase 'The violation is governed by finite branch displacement' is an overstatement. From Eqs. (22) and (24), K1,max − 1 = 4λ/9 is linear in λ, while Bλ = λ(2−λ)/2 is quadratic; the two are not proportional. Suggest softening 'governed by' to 'accompanied by' or specifying a precise functional relation if one is intended.
- [Eq. (4)] The notation P(ij)(q) is ambiguous: q appears both as a label for the probability and as an outcome variable. Consider writing P(ij)(q_i, q_j) or similar throughout to distinguish marginals from joint probabilities.
- [Fig. 2] The color scale for the hidden-variable negativity NHV in Fig. 2(a) is not defined in the caption. Please state that it is the LP minimum of Eq. (25), or otherwise indicate the units.
Circularity Check
No significant circularity: analytic derivation from explicit states, no fitted parameters, and self-citations are not load-bearing.
full rationale
The paper's central chain is a direct construction. CFP (Def. 1) is defined independently of NSIT: Mτ(ρ*)=ρ* for all τ. Theorem 1 proves that this condition, together with D(ρ*)=ρ*, implies Eq. (4) via Eq. (10); the definition is stronger than the conclusion, not equivalent to it. The claimed counterexample uses only the forward direction: Eq. (16) gives states satisfying [ρ*,H]=0 and D(ρ*)=ρ*, hence exact pairwise NSIT; the LGI violation is computed analytically from Eqs. (18)-(22) without any parameter fitted to the target K1. Bλ in Eq. (24) is a separately computed branch-displacement measure; the statement that the violation is 'governed' by Bλ is a correlation/interpretation, not a reduction, since K1,max−1 = 4λ/9 while Bλ=λ(2−λ)/2. No target result is used to define inputs. The only self-citation is [20] (coauthor J. Bang) for the entropic LGI bound, which is an ancillary diagnostic; the core proof rests on K1 and would be unaffected if [20] were removed. The sketched converse of Theorem 2 (full-manifold exhaustiveness) is a completeness claim and could be a rigor gap, but it is not circular: the forward direction and explicit analytic states already prove the main counterexample, and the unproved converse is not used to define NSIT or LGI. Thus no circular step is identified.
Assumptions & free parameters
assumptions (3)
- standard math The LGI inequality K1 = C12 + C23 − C13 ≤ 1 is a necessary condition for the existence of a single context-independent joint distribution over the three binary outcomes (Fine's theorem).
- domain assumption The nonselective measurement channel is the Lüders operation D(ρ)=Σ_q P_q ρ P_q after outcome erasure.
- standard math Unitary evolution of closed quantum systems, ρ→U(τ)ρU†(τ) with U(τ)=exp(−iHτ/ℏ).
invented entities (1)
-
Common fixed point (CFP) of a nonselective measurement-evolution channel
Cite this review
Pith. "Pith review of Exact No Signaling in Time without Temporal Classicality." pith.science (2026). https://pith.science/paper/P72DAQDJ
@misc{pith2026260714583,
author = {Pith},
title = {Pith review of: Exact No Signaling in Time without Temporal Classicality},
year = {2026},
howpublished = {\url{https://pith.science/paper/P72DAQDJ}},
note = {Machine review of arXiv:2607.14583}
}
read the original abstract
No signaling in time (NSIT) has often been treated as the clean operational remnant of noninvasive measurability. If an earlier measurement leaves every later marginal unchanged, the temporal process appears classical. We show that this inference is false. We introduce common fixed points (CFPs) of nonselective measurement channels as an exact mechanism that erases all marginal evidence of invasiveness while preserving disturbed outcome conditioned branches. For a qutrit ring subject to a local degenerate Luders measurement, we solve the full CFP manifold analytically. Every state on this manifold satisfies exact pairwise NSIT, yet every nontrivial member violates a Leggett Garg inequality, including the maximally mixed state. The violation is governed by finite branch displacement, not by residual signaling. Hidden variable reconstruction, entropic witnesses, protocol landscape scans, noise robustness, and finite shot simulations show that exact NSIT certifies only the disappearance of marginal signals after outcome erasure, not the existence of a classical temporal history.
Figures
Reference graph
Works this paper leans on
-
[1]
A. J. Leggett and A. Garg, Phys. Rev. Lett.54, 857 (1985)
1985
-
[2]
Emary, N
C. Emary, N. Lambert, and F. Nori, Rep. Prog. Phys.77, 016001 (2014)
2014
-
[3]
Kofler and ˇC
J. Kofler and ˇC. Brukner, Phys. Rev. A87, 052115 (2013)
2013
-
[4]
Clemente and J
L. Clemente and J. Kofler, Phys. Rev. A91, 062103 (2015)
2015
-
[5]
Clemente and J
L. Clemente and J. Kofler, Phys. Rev. Lett.116, 150401 (2016)
2016
-
[6]
Fine, Phys
A. Fine, Phys. Rev. Lett.48, 291 (1982)
1982
-
[7]
Budroni and C
C. Budroni and C. Emary, Phys. Rev. Lett.113, 050401 (2014)
2014
-
[8]
G. C. Knee, S. Simmons, E. M. Gauger, J. J. L. Morton, H. Rie- mann, N. V . Abrosimov, P. Becker, H.-J. Pohl, K. M. Itoh, M. L. W. Thewalt, G. A. D. Briggs, and S. C. Benjamin, Nat. Commun.3, 606 (2012)
2012
Show all 21 references
-
[9]
Robens, W
C. Robens, W. Alt, D. Meschede, C. Emary, and A. Alberti, Phys. Rev. X5, 011003 (2015)
2015
-
[10]
G. C. Knee, K. Kakuyanagi, M.-C. Yeh, Y . Matsuzaki, H. Toida, H. Yamaguchi, S. Saito, A. J. Leggett, and W. J. Munro, Nat. Commun.7, 13253 (2016)
2016
-
[11]
J. A. Formaggio, D. I. Kaiser, M. M. Murskyj, and T. E. Weiss, Phys. Rev. Lett.117, 050402 (2016)
2016
-
[12]
Kreuzgruber, R
E. Kreuzgruber, R. Wagner, N. Geerits, H. Lemmel, and S. Sponar, Phys. Rev. Lett.132, 260201 (2024)
2024
-
[13]
Emary, Phys
C. Emary, Phys. Rev. A96, 042102 (2017)
2017
-
[14]
K. Wang, C. Emary, M. Xu, X. Zhan, Z. Bian, L. Xiao, and P. Xue, Phys. Rev. A97, 020101(R) (2018)
2018
-
[15]
This actually matters because NSIT is tested only after selective branches have been recombined
-
[16]
Yi, Europhys
J. Yi, Europhys. Lett.146, 20001 (2024)
2024
-
[17]
Abramsky and A
S. Abramsky and A. Brandenburger, New J. Phys.13, 113036 (2011)
2011
-
[18]
Lin, IEEE Trans
J. Lin, IEEE Trans. Inf. Theory37, 145 (1991)
1991
-
[19]
A. R. Usha Devi, H. S. Karthik, Sudha, and A. K. Rajagopal, Phys. Rev. A87, 052103 (2013)
2013
-
[20]
J. Bang, J. Ryu, C.-W. Lee, K. H. Yee, J. Lee, and W. Son, Advanced Quantum Technologies1, 1800037 (2018)
2018
-
[21]
J. J. Halliwell, Phys. Rev. A96, 012121 (2017)
2017
Reviewed August 2, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.