{"id":"c98cb906-6db9-4479-a7e4-10972b8ce88a","arxiv_id":"1908.04054","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":5.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"In a driven two-level atom coupled to a squeezed thermal reservoir, Leggett-Garg type inequalities are violated only in the underdamped regime, with violation strength reduced by temperature and squeezing.","lead":"The authors computed how a test of quantum coherence over time, the Leggett-Garg type inequality, behaves for a driven atom coupled to a squeezed thermal bath. They find violations only in the underdamped regime, with temperature and squeezing reducing the violation.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Eq. (24) and Eq. (27) are mutually inconsistent, so the central K± formula that underlies all violation plots is unverified; the reported approach to the quantum bound 3/2 rests on an algebraically unsubstantiated expression.","rationale":"The reader identified the Markovian squeezed-reservoir master equation as the weakest assumption and noted algebraic typos, but did not pinpoint the specific inconsistency in the central K± formula. My concern is more load-bearing: even granting full Markovianity and stationarity, the manuscript's own equations (3), (23), (24), (25), and (27) do not cohere. The '∓1' in Eq. (24) is incompatible with the definition (3) and with the strong-driving limit (27), which is the one part of the calculation that can be checked independently and which correctly yields the 1.5 bound for R=0. This means the plotted violations in Figs. 3–7 are not derivable as written from the preceding formalism. However, the physical claim is plausible: in the pure-damping-free limit the Rabi dynamics give K± as in Eq. (27) with max 1.5, and the qualitative suppression by temperature and squeezing is expected. The issue is fixable by re-deriving F(t) and correcting Eq. (24), so conditional acceptance remains the right verdict. The Markovianity concern is a modeling approximation that is standard in this literature and explicitly acknowledged; the algebraic inconsistency is a present, concrete error that must be resolved before the quantitative results can be trusted.","tokens_in":8564,"tokens_out":8907,"duration_ms":77987,"concrete_test":"Recompute C(t0,t) analytically from the Bloch solution (19) using C(t0,t)=2p_g(t)−1 with p_g=(1−⟨σ3⟩)/2 for a representative underdamped case (e.g., β=10, ω0=0.5, s=0, R=0.05). Compare the result term-by-term with F(t) in Eq. (25). Then verify which form—±2F(t)−F(2t) or ±2F(t)−F(2t)∓1—matches the definition (3). If Eq. (25) does not equal C(t0,t), the central claim is unsubstantiated; if it does, the '∓1' in Eq. (24) is a typo and the paper's qualitative results survive after correction.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The paper's central quantitative claim—that K± exceed 1 in the underdamped regime and approach 1.5 as R→0—is computed from F(t) in Eq. (25), but that expression is never derived, and the relation linking it to K± is internally inconsistent. Equation (3) defines K± = ±2C(t0,t) − C(t0,2t), and Eq. (23) gives C(t0,t) = 2p_g(t) − 1. If F(t) is meant to be this correlation (as the strong-driving reduction in Eq. (27) implies), then Eq. (24) should read K± = ±2F(t) − F(2t). The extra '∓1' in Eq. (24) makes K±(0) = 0 and −2 instead of the required value 1 and directly contradicts Eq. (27), which is exact at R=0. Conversely, if the '∓1' is retained, then Eq. (27) is wrong and the claimed bound 1.5 has not been shown. Either way the central equation fails a consistency check. Since Eq. (25) is the sole basis for Figures 3–7, the reported violations and their dependence on temperature, squeezing, and measurement strength are not established without correcting this inconsistency and providing the promised derivation.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"This manuscript studies Leggett-Garg-type inequalities (LGtIs) for a resonantly driven two-level atom coupled to a squeezed thermal reservoir. The authors write a Markovian Lindblad master equation, solve the resulting Bloch equations analytically, and construct the two-time correlation C(t0,t) from the ground-state survival probability. Their central claim, stated in Sec. IV, is that the LG parameters K± defined in Eq. (3) exceed the classical bound 1 in the underdamped regime Ω > γs/4 and approach the quantum bound 3/2 as R = γ0/Ω → 0. They further report that thermal effects and reservoir squeezing reduce the violation, that stronger driving favors violation, and that ideal projective measurements give the maximum violation. All numerical results in Figures 3–7 are based on the closed form F(t) in Eq. (25) and the strong-driving reduction in Eq. (27).","tokens_in":8811,"tokens_out":12651,"duration_ms":115221,"significance":"If the central derivation were correct, the paper would provide a simple, explicitly solvable open-quantum-system model in which LGtI violations appear in experimentally relevant parameters, with transparent dependence on temperature, squeezing, driving strength, and measurement strength. The calculation is self-contained: no free parameters are fitted, the master equation is standard, and the underdamped/overdamped boundary is given in closed form. The qualitative statement that temperature and squeezing suppress violations is physically plausible. However, the manuscript currently contains an algebraic inconsistency in the formula for K±, and the closed-form expression on which all figures rest is quoted without derivation. These issues affect every reported violation, so the central claim is not yet established.","major_comments":[{"comment":"The formula K± = ±2F(t) − F(2t) ∓ 1 is inconsistent with the definition of K± in Eq. (3) and the expression for C(t0,t) in Eq. (23). Since Eq. (23) gives C(t0,t) = 2p_g(t) − 1, substitution into Eq. (3) yields K± = ±2C(t0,t) − C(t0,2t), i.e., K± = ±2F(t) − F(2t) when F(t) is identified with C(t0,t). The extra '∓1' term is absent. This is not a minor typo: in the strong-driving limit it changes the maximum of K+ from 3/2, as claimed in Eq. (27), to 1/2, so the reported violation and the approach to the quantum bound are not supported. The authors should correct Eq. (24) and recompute all results, or give an explicit reconciliation of Eq. (24) with Eq. (27).","section":"Sec. III, Eq. (24)"},{"comment":"The survival probability is written as p_g(t) = 1 − (⟨Σ3(t)⟩ + ⟨σ3⟩s)/2. With the initial condition in Eq. (17), ⟨Σ3(0)⟩ = −1 − ⟨σ3⟩s, which gives p_g(0) = 3/2, an unphysical result. The correct expression is p_g(t) = (1 − (⟨Σ3(t)⟩ + ⟨σ3⟩s))/2. Since Eq. (23) defines C(t0,t) = 2p_g(t) − 1, this error propagates into F(t) and all of the K± plots. The authors must re-derive the correlation function and the subsequent formulas with the corrected p_g.","section":"Sec. II, Eq. (20)"},{"comment":"The closed form F(t) in Eq. (25) is quoted without derivation, and the strong-driving reduction to F(t) ∝ cos(Ωt) and hence Eq. (27) is asserted without showing the limit or the algebra. Because Eq. (25) is the sole basis for Figures 3–7, the paper should provide the explicit derivation starting from Eq. (19) and the corrected Eq. (20), or a machine-checkable supplement, confirming the coefficient formulas in Eq. (26). In particular, the stated approximations A ≈ Ω^{-3}, B ≈ C ≈ Ω^3, and D ≈ Ω^2 must be verified against the exact coefficients, since the claimed approach to the quantum bound 3/2 depends on them.","section":"Sec. III, Eqs. (25)–(27)"}],"minor_comments":[{"comment":"There are several typographical errors, e.g., 'inequlalities' in Sec. I, 'paramter' and 'coherence paramter' in Sec. IV, and 'the two time correlation function becomes' in the weak-measurement paragraph. A careful proofread is recommended.","section":"Throughout"},{"comment":"The expression for the off-diagonal element appears to double-count the stationary contribution: as written, ⟨σ+(t)⟩ = (⟨σ1(t)⟩ + i⟨σ2(t)⟩)/2 + ⟨σ+⟩s includes ⟨σ+⟩s twice if ⟨σ1⟩ and ⟨σ2⟩ are the full Bloch components. This equation is not used in the final results, but it should be corrected to avoid confusion, e.g., by writing it in terms of the deviation ⟨Σ⟩.","section":"Sec. II, Eq. (21)"},{"comment":"The paper would benefit from a brief statement of the validity regime of the Markovian Lindblad master equation for a squeezed reservoir with finite bandwidth. The stationarity assumption underlying the LGtI form is tied to Markovian dynamics, so a comment on this limitation would strengthen the experimental discussion.","section":"Sec. II, Eq. (8)"},{"comment":"The weak-measurement result K±|weak = ξ² K± is stated without showing the intermediate algebra. The derivation is short and should be included, since the section is otherwise self-contained.","section":"Sec. III, Eq. (29)"}],"recommendation":"major_revision","confidential_remarks":"The algebraic inconsistency in Eq. (24) and the unphysical p_g(0) in Eq. (20) are serious, but they appear to be fixable within the scope of the manuscript. I would not recommend rejection outright because the underlying approach (standard Bloch-equation solution of a Lindblad master equation) is sound and the qualitative conclusions are plausible. If, after correction, the closed-form F(t) cannot be derived or the violations disappear, the paper would not be publishable. The heavy reliance on self-citations [16–19] is not load-bearing and should be reduced."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"The genuinely new thing here is the combination: LGtIs (the stationarity-based variant of Leggett-Garg) applied to a driven two-level atom in a squeezed thermal reservoir, including weak-measurement effects. That specific map—where violations survive in the underdamped regime, how temperature and squeezing suppress them, and how projective measurements maximize them—is not in the cited literature. The paper does this with a standard Bloch-vector master-equation treatment, and the qualitative physics is exactly what you'd expect: coherence oscillations in the underdamped regime produce violations, noise and squeezing degrade them. The strong-driving limit correctly reduces to the known unitary Rabi result. Credit where it's due: the model setup is clear, the figures tell a coherent story, and the weak-measurement extension (K± → ξ²K±) is a nice, simple addition.\n\nThe soft spots are real. The stress-test note is right: Eq. (24) has a spurious ∓1. From Eq. (23), C(t0,t) = 2p_g(t) − 1, so K± = ±2C(t) − C(2t) = ±2F(t) − F(2t) if you define F = C. The extra ∓1 makes the printed formula inconsistent with Eq. (27), which is exact in the strong-driving limit. This is not a purely cosmetic typo: Eq. (25), the F(t) expression that generates all the violation plots, is quoted without derivation, and with the inconsistency you cannot verify that the figures follow from the equations as printed. Eq. (20) also has a sign error—it gives p_g(0) = 1.5 for the declared initial ground state. These are exactly the kind of errors that make a referee nervous, because they undermine confidence in the central computation even if the underlying physics is sound.\n\nThat said, I want to be fair: the errors look fixable, and nothing here suggests the qualitative conclusions are wrong. The underdamped condition Ω > γ_s/4 is derived from the eigenvalues, and the strong-driving limit reduces to a known result, which is a good sanity check. But the missing derivation of Eq. (25) is a genuine gap, not a minor omission; a referee should ask for it in full. The Markovian squeezed-reservoir assumption is a limitation worth stating, but it's a standard and reasonable starting point.\n\nWho is this for? People designing macrorealism or temporal-correlation experiments in dissipative driven systems, and open-systems folks who want a worked example of LGtIs in a non-standard bath. It's not groundbreaking, but it's a useful contribution once the algebra is cleaned up. I'd send it to peer review, but with a request for the derivation of F(t), corrected Eq. (24) and Eq. (20), and ideally a short calculation or notebook showing the figures. For my own work, I wouldn't cite it in its current form—not because the idea is bad, but because I'd want to verify the equations first.","headline":"A useful but sloppy application of Leggett-Garg-type inequalities to a squeezed thermal bath; the qualitative results are plausible, but the central equations contain typos and an unverified expression that need sorting out before the plots can be trusted.","tokens_in":9386,"tokens_out":4534,"would_cite":false,"duration_ms":43576,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":[],"pacs":[],"model":"deepseek-v4-flash","headline":"A driven two-level atom can violate Leggett-Garg type inequalities in the underdamped regime, approaching the quantum bound 3/2 as the spontaneous emission rate vanishes.","keywords":["Leggett-Garg type inequalities","driven two-level atom","squeezed thermal reservoir","underdamped regime","weak measurements","quantum coherence","Markovian open quantum system"],"falsifier":"Measure $K_+$ and $K_-$ on a strongly driven two-level system in a squeezed thermal bath (e.g., a superconducting qubit or trapped ion). If $K_{\\pm}$ never exceeds 1 even as the spontaneous emission rate $\\gamma_0\\to 0$ while the Rabi drive is kept large, or if violations appear when $\\Omega<\\gamma_s/4$, the central prediction fails. A direct quantitative check: in the underdamped regime the data should follow $K_{\\pm}\\approx\\pm 2\\cos(\\Omega t)-\\cos(2\\Omega t)$, with the quantum bound $3/2$ reached only in the projective-measurement limit $\\xi=1$.","tokens_in":8338,"feed_emoji":"⚛️","tokens_out":8602,"duration_ms":83187,"temperature":0.7,"pith_summary":"This paper establishes a concrete open-system test bed for Leggett-Garg type inequalities (LGtIs): a single two-level atom driven by a resonant field and placed in a squeezed thermal reservoir. The paper shows that the LG parameters K+ and K−, which stay below 1 for classical macrorealistic theories, exceed 1 in the underdamped regime and saturate at the quantum bound 3/2 when the drive dominates spontaneous emission. Temperature and reservoir squeezing both erode the violation, while stronger driving and ideal projective measurements enhance it. These are experimentally tunable predictions, so the result matters as a practical quantum-coherence witness for driven open qubits.","feed_headline":"Driven atom breaks Leggett-Garg bound under strong drive","feed_subtitle":"Violations fade with heat and squeezing; ideal measurements see them best.","key_machinery":"The machinery is the LGtI correlation function $C(t_i,t_j)$ built from the survival probability of the ground state: for the dichotomic observable $\\hat M=|g\\rangle\\langle g|-|e\\rangle\\langle e|$, $C(t_0,t)=2p_g(t)-1$, leading to $K_{\\pm}=\\pm 2F(t)-F(2t)\\mp 1$ with $F(t)$ given by a damped-oscillation expression. The behavior is governed by the effective frequency $\\mu_s=\\sqrt{\\Omega^2-(\\gamma_s/4)^2}$: real $\\mu_s$ (underdamped) yields oscillatory correlations that overshoot the classical bound, imaginary $\\mu_s$ (overdamped) yields monotone decay with no violation. In the strong-driving limit the expression reduces to $K_{\\pm}\\approx\\pm 2\\cos(\\Omega t)-\\cos(2\\Omega t)$, which is the explicit source of the violation.","core_discovery":"The paper's central claim is that the LG parameters $K_{\\pm}=\\pm 2C(t_0,t)-C(t_0,2t)$ exceed the classical upper bound 1 precisely when the driven atom is in the underdamped regime, i.e., when $\\Omega>\\gamma_s/4$ with $\\gamma_s=\\gamma+2\\gamma_0 M$; in the limit $R=\\gamma_0/\\Omega\\to 0$ they reach the quantum bound $3/2$. The violation is controlled by the single dimensionless ratio $R$ and by the reservoir parameters $\\gamma$ and $M$ that enter through the squeezed thermal bath. Temperature and squeezing monotonically reduce the violation and shorten the time interval over which it lasts, while stronger driving favors it. The paper also claims that the violation is maximal for ideal projective measurements and scales as $\\xi^2$ for weak measurements.","pith_inferences":["The $\\xi^2$ scaling suggests a metrological use: sweeping measurement strength $\\xi$ could map the decoherence rate, since the measured $K_{\\pm}$ versus $\\xi$ curve carries the same information as the correlation decay.","The condition $\\Omega=\\gamma_s/4$ defines a tunable quantum-classical crossover whose location depends on temperature and squeezing; one could use the same device to study how reservoir engineering shifts the boundary.","Because $K_+$ and $K_-$ are complementary in the strong-driving limit, a combined witness (e.g., the maximum of the two) would detect violation over a wider time window than either alone; the paper plots them separately."],"forward_implications":["Crossing the threshold $\\Omega=\\gamma_s/4$ switches LGtI violation on: above it $K_{\\pm}$ exceed 1, below it they do not.","As $R=\\gamma_0/\\Omega\\to 0$ in the strong-driving limit, $K_{\\pm}$ reach the quantum bound $3/2$; finite $R$ degrades the violation.","Raising temperature (lowering $\\beta$) shortens the time window over which $K_{\\pm}>1$ and reduces its peak value.","Increasing reservoir squeezing $s$ suppresses the violation and can push the system into the overdamped regime.","Weak measurements reduce the LG parameters by the factor $\\xi^2$, so ideal projective measurements give the largest violation."],"supporting_citations":[{"why":"Introduces the Leggett-Garg type inequality form $K_{\\pm}\\le 1$ and the stationarity condition that replaces noninvasive measurability.","marker":"[28–30]"},{"why":"Provides experimental demonstrations that the LGtI framework can be realized in practice.","marker":"[31, 32]"},{"why":"Supplies the squeezed thermal reservoir master equation, Eq. (7), with parameters $n$ and $M$ used for all calculations.","marker":"[33–37]"},{"why":"Defines weak measurements through the parameter $\\xi$, used to derive the $\\xi^2$ scaling of the LG parameters.","marker":"[39, 40]"}],"fun_headline_variants":["Atom's Leggett-Garg violation peaks with strong drive","Squeezed bath dampens Leggett-Garg violation in driven atom","Ideal measurements maximize atomic Leggett-Garg violation","Underdamped driven atom breaks Leggett-Garg bound","Heat and squeezing quash Leggett-Garg violation in atom"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"Everything rests on treating the squeezed thermal reservoir as memoryless (Markovian) and on stationary conditional probabilities; if the reservoir has memory or its statistics vary in time, the tested inequalities no longer apply.","fun_headline_variants_meta":{"raw":{"variants":["Atom's Leggett-Garg violation peaks with strong drive","Squeezed bath dampens Leggett-Garg violation in driven atom","Ideal measurements maximize atomic Leggett-Garg violation","Underdamped driven atom breaks Leggett-Garg bound","Heat and squeezing quash Leggett-Garg violation in atom"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000608,"raw_usage":{"total_tokens":2782,"prompt_tokens":844,"completion_tokens":1938,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":460,"completion_tokens_details":{"reasoning_tokens":1854}},"tokens_in":460,"tokens_out":1938,"duration_ms":12396,"temperature":1.0,"reasoning_tokens":1854,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-14T13:52:59.674625+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Measure $K_+$ and $K_-$ on a strongly driven two-level system in a squeezed thermal bath (e.g., a superconducting qubit or trapped ion). If $K_{\\pm}$ never exceeds 1 even as the spontaneous emission rate $\\gamma_0\\to 0$ while the Rabi drive is kept large, or if violations appear when $\\Omega<\\gamma_s/4$, the central prediction fails. A direct quantitative check: in the underdamped regime the data should follow $K_{\\pm}\\approx\\pm 2\\cos(\\Omega t)-\\cos(2\\Omega t)$, with the quantum bound $3/2$ reached only in the projective-measurement limit $\\xi=1$.","supporting_citations":[],"review_version":1}