{"id":"4b0ad0c4-ddb9-415b-aa8b-50b03797e44d","arxiv_id":"2607.24690","paper_version":1,"verdict":"ACCEPT","confidence":"HIGH","novelty_score":6.0,"correctness_risk":"low","formal_verification":"none","parameter_count":0,"one_line_summary":"Successive projective measurements yield quantum autonomous Jarzynski/Crooks theorems; inclusive work cannot reduce to the nonautonomous limit, but exclusive work can when the measured source observable is conserved.","lead":"The paper derives quantum Jarzynski and Crooks fluctuation theorems for autonomous work, where the work source is a dynamical quantum system rather than a prescribed classical drive. It shows that quantum noncommutativity blocks the usual large-source limit for inclusive work, while exclusive work can still recover nonautonomous theorems under commuting measurements.","discovery_kind":"extension","skeptic_critique":{"model":"moonshotai/kimi-k3","headline":"The formal identities are sound, but the paper's most distinctive claim — that noncommutativity blocks the nonautonomous limit even for large sources — is argued only qualitatively; whether the Δφ obstruction survives N→∞ with non-negligible magnitude is never quantified.","rationale":"I agree with the reader that the formal fluctuation theorems are correct within their stated assumptions and that the initial block-diagonal thermal state (Eq. 7) is the key structural input — but that assumption is acknowledged, standard in the TPM literature, and does not threaten the theorems, so I do not see it as load-bearing for the verdict. My concern is aimed at a different part of the strongest claim: the quantitative status of the non-reduction result in Sec. IV, which is the paper's most novel assertion. The supporting evidence is a single-model demonstration at fixed N with maximal rotation (ωz = π, t ∈ [0,1]), and no scaling analysis separates \"exactly no reduction\" from \"reduction up to corrections that vanish relative to the work scale.\" Either outcome leaves the derived theorems intact — the concern bears on framing and physical significance, not correctness — so it does not justify moving the verdict off ACCEPT. Credit where due: the derivation is parameter-free, the Dicke analytics (conditional spectrum, partition function) check out, truncation convergence is documented (Fig. 5), and limitations (discrete spectrum, closed system, factorized coupling, K-based microreversibility) are stated openly. The proposed N-scaling computation is a one-line extension of the authors' existing numerics and would convert the paper's headline conceptual claim from a qualitative argument into a quantified one.","tokens_in":24595,"tokens_out":10842,"duration_ms":359742,"concrete_test":"In the semi-decoupling Dicke regime (δ_ba ≪ 1, α_dr ~ 1, as in Fig. 3/App. A3), compute ⟨e^{-β(w−ΔF_S)}⟩_F and Var(Δφ) for N = 100, 200, 400, 800 at fixed λ√N/ωc. If ⟨e^{-β(w−ΔF_S)}⟩_F → 1 with growing N, the quantum obstruction is asymptotically negligible and Sec. IV's claim should be re-scoped as a statement about exactness only; if it plateaus away from 1 with O(1) Var(Δφ), the obstruction is physically substantive as claimed. Companion check: recompute the Fig. 2(d) Crooks collapse using physical time reversal Θ = e^{-iπJ_y}K (backward Hamiltonian ΘĤ_totΘ†) instead of K; the collapse should survive, confirming the FT is insensitive to the choice of antiunitary.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central identities (Eqs. 12, 16, 18) are Seifert-type log-path-ratio relations: with R[Γ] ≡ ln(P_F[Γ]/P_B[Γ̃]), ⟨e^{-R}⟩_F = Σ P_B[Γ̃] = 1 holds by construction, and the thermodynamic content enters through Eq. (12), whose algebra I verified (including the Dicke conditional spectrum nℏωc − 4λ²j²/(ℏωcN) and Z_S(j)). The reader's flagged assumption — block-diagonal thermal ρ₀ (Eq. 7, footnote 48) — is real but acknowledged and standard for TPM fluctuation theorems; it does not weaken the theorems inside their scope. The softer spot is the strength of the Sec. IV obstruction claim. In the Dicke demonstration (Fig. 3), the spreading of p_j under Ĥ_R⁰ = ωzĴz is coherent-state projection noise: an extremal J_x eigenstate rotates, and its J_x distribution acquires width ~√N around a mean ~N. Then Δφ per trajectory is O(1) while β(w−ΔF_S) scales with the exchanged energy. The paper never quantifies whether the deviation from the nonautonomous equality — e.g., ⟨e^{-β(w−ΔF_S)}⟩_F ≠ 1 — remains appreciable as N→∞ in the vanishing-backaction regime (δ_ba ~ λ²/(Nωcωz), App. A3). If it vanishes, the obstruction is exact but practically negligible, and the headline framing (\"prevents a consistent reduction even in the limit of a large work source\") is stronger than the physics; if it plateaus, the claim has quantitative teeth. Secondary: the numerics implement microreversibility via complex conjugation K in a real representation rather than physical spin time reversal Θ = e^{-iπJ_y}K, under which Ĥ_tot is not invariant (J_x(a+a†) and J_z flip sign), so the backward process then evolves under a sign-flipped Hamiltonian. This is internally consistent but the physical preparability of the backward process under physical Θ deserves one explicit check.","agreement_with_reader":"partial"},"referee_report":{"model":"moonshotai/kimi-k3","summary":"The manuscript studies a time-independent composite of a work source R and a system S with coupling A_R⊗V_S. It introduces successive projective measurements of A_R and of the conditional system Hamiltonian H_S(a), assumes an initially block-diagonal state with thermal conditional system states, and defines R[Γ]=ln(P_F[Γ]/P_B[Γ̃])=βw[Γ]-βΔF_S[Γ]+Δφ[Γ]. From this it derives Jarzynski- and Crooks-type relations, generating-function symmetries, and a near-equilibrium fluctuation-dissipation relation. The Dicke model is used to verify the identities numerically. The paper further argues that, for inclusive work, [H_R^0,A_R]≠0 obstructs reduction to nonautonomous fluctuation theorems even when backaction is negligible, whereas exclusive work recovers the nonautonomous result when the measured source observable commutes with H_R^0 and backaction vanishes.","tokens_in":24964,"tokens_out":10483,"duration_ms":474280,"significance":"If the large-source obstruction is quantified as claimed, this is a useful quantum counterpart of recent fluctuation theorems for classical autonomous work. The construction is operational and parameter-free within its stated assumptions: the source entropy term is replaced by measured sector probabilities, the identities follow from unitary reversibility rather than fitting, and the inclusive/exclusive comparison is a clear conceptual contribution. The analytic Dicke-model treatment, direct Crooks-plot checks, truncation tests, and explicit semiclassical comparison are also valuable. The main caveat is that the results assume a discrete measured source observable and a block-thermal initial state, so the work is a well-scoped two-point-measurement theory rather than a treatment of arbitrary initial quantum coherence.","major_comments":[{"comment":"The claim in the abstract and §IV that noncommutativity prevents a nonautonomous limit \"even in the limit of a large work source\" is not yet supported asymptotically. Appendix A3 estimates the mean backaction as δ_ba ~ λ²/(Nω_cω_z), and Fig. 3 shows broadening of p_j for one initial condition at N=400, but neither establishes the size of the residual Δφ contribution as N→∞ at δ_ba→0. Please define the large-source limit precisely (including how λ, T, and the initial state scale) and quantify a direct measure of the obstruction, for example |⟨e^{-β(w-ΔF_S)}⟩_F-1|, the total-variation error caused by omitting Δφ in Eq. (18), or the distance from the corresponding mean-field process. If this error vanishes, the abstract should distinguish an exact algebraic obstruction from a practically negligible one; if it remains finite, its scaling should be reported. There is also a wording issue: non","section":"Section IV, Fig. 3, and Appendix A3"},{"comment":"The derivation of the nonautonomous factorized limit drops δA_R⊗δV_S on the grounds that the system has little backaction on the work source. Weak backaction controls the effect of S on R, but it does not by itself imply that fluctuations of A_R, or system-source correlations relevant to S, are negligible; indeed §IV identifies precisely those A_R fluctuations as the obstruction. The conditions under which Var(A_R), the coupling normalization, and accumulated correlations make the omitted term negligible should be stated, ideally with an error bound for the trace distance used in Fig. 7(a). The single early-time numerical comparison does not establish the asymptotic limit. Otherwise Appendix B should be presented explicitly as an additional mean-field/factorization approximation rather than as the recovered large-source limit.","section":"Appendix B, Eqs. (B1)-(B4), and Fig. 7"}],"minor_comments":[{"comment":"Since p_a is allowed to be arbitrary, zero weights can make R[Γ] undefined and can invalidate the negative powers of ρ_0^tr in Eqs. (19)-(20). Please state the required positivity or absolute-continuity/support condition on p_a and p_a^tr, and read Eq. (18) only on the common support of the forward and backward distributions.","section":"Eqs. (7), (11), and (15)-(20)"},{"comment":"Calling ρ_0 a \"mixed thermal state\" may suggest an ordinary global Gibbs state. Footnote 48 makes the actual assumption clear, but the main text should consistently call it block-diagonal and conditionally thermal, with no coherence between A_R sectors.","section":"Eq. (7) and footnote 48"},{"comment":"In the J_x/Fock representation, complex conjugation K is a valid antiunitary symmetry of the real Hamiltonian and is sufficient for the Crooks construction. It is not, however, the physical spin time-reversal operation, which reverses J. Please clarify that K is a representation-dependent microreversibility symmetry and specify how the backward experiment would be defined if physical spin time reversal were used instead.","section":"Appendix A2"},{"comment":"The Gaussian cumulant expansion is performed around u=0 and then evaluated at u=i using K_R^F(i)=0. The stated near-equilibrium regime therefore requires the third and higher cumulants to remain negligible over the relevant contour; this criterion should be stated explicitly.","section":"Eq. (22)"},{"comment":"The numerical tests would be stronger if the captions or text reported quantitative residuals: ⟨e^{-R}⟩_F and the maximum relative discrepancy between P_F(R) and P_B(-R)e^R in Fig. 2(d), and more digits/error estimates for ⟨e^{-βw_exc}⟩_F=1.00 in Fig. 4. A public notebook or code repository would also aid reproducibility.","section":"Figs. 2 and 4"}],"recommendation":"major_revision","confidential_remarks":null},"author_rebuttal":null,"desk_editor":{"model":"grok-4.5","letter":"The paper does exactly what the title says. It takes the Jarzynski–Deffner–Rahav autonomous classical FTs and builds the natural two-point-measurement quantum version: successive projectors on Â_R and the conditional system Hamiltonian, initial state thermal inside each Â_R block, and the three-term R = βw − βΔF_S + Δφ. The Crooks and Jarzynski identities then drop out by the usual path-probability ratio under unitary evolution. That part is solid and the algebra checks.\n\nWhat is actually new is the obstruction story. For inclusive work, [Ĥ_R⁰, Â_R] ≠ 0 is required for energy exchange, so the source distribution spreads even when back-action vanishes; you cannot recover a sharp classical protocol. Exclusive work recovers the nonautonomous limit once you measure something that commutes with Ĥ_R⁰. The Dicke numerics (Crooks collapse, exclusive recovery, Fig. 3 spreading) support the claims inside the stated assumptions. Citations are honest; they properly credit the classical autonomous paper and the TPM literature.\n\nSoft spots are real but proportionate. The initial block-diagonal thermal assumption is necessary for conditional free energies and is acknowledged; it is standard TPM fare, not a hidden cheat. The bigger gap is quantitative: Fig. 3 shows spreading, yet they never measure how large ⟨e^{−β(w−ΔF_S)}⟩_F − 1 stays as N → ∞ in the δ_ba → 0 regime. If Δφ becomes negligible relative to the work term, the “prevents consistent reduction even for large sources” framing is stronger than the practical physics. Secondary: their time-reversal is complex conjugation in a real representation, not physical spin reversal; internally consistent, but worth one sentence on preparability. No open systems, discrete spectrum only, no code—all scoped honestly.\n\nThis is for people already working on quantum autonomous machines or TPM work definitions. The formal identities deserve a serious referee. I would send it out.","headline":"Clean quantum upgrade of the 2025 classical autonomous FTs; the inclusive/exclusive split on the nonautonomous limit is the real payload, though the obstruction claim stays qualitative.","tokens_in":24989,"tokens_out":521,"would_cite":true,"duration_ms":16099,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":[],"pacs":[],"model":"grok-4.5","headline":"Quantum fluctuation theorems for autonomous work keep an extra work-source term that noncommutativity will not let vanish.","keywords":["fluctuation theorems","autonomous work","quantum thermodynamics","inclusive work","exclusive work","Dicke model","Jarzynski equality","Crooks theorem"],"falsifier":"In the Dicke-model numerics (or an equivalent circuit-QED experiment), prepare a large atomic ensemble in a sharp eigenstate of J_x with vanishing back-action and check whether the measured distribution of J_x remains sharp; if it spreads, the third term Δφ cannot be dropped and the non-autonomous limit fails for inclusive work.","tokens_in":24618,"feed_emoji":"⚛️","tokens_out":983,"duration_ms":15487,"temperature":0.7,"pith_summary":"Most quantum work fluctuation theorems treat the driving as a classical, externally fixed protocol. Real machines are autonomous: the work source is a dynamical degree of freedom that feels back-action from the system. This paper extends the classical autonomous fluctuation theorems into the quantum regime by defining inclusive work through successive projective measurements on a work-source observable and on the system's conditional energy. The resulting Jarzynski- and Crooks-type equalities contain three terms—work, free-energy change, and the change in the work source's measurement statistics—exactly as in the classical autonomous case. Because the source observable generally fails to commute with its own bare Hamiltonian, that third term refuses to disappear even when the source is large and back-action is negligible. Only under the exclusive definition of work, and only when the measured source observable is conserved by the bare source Hamiltonian, does the familiar non-autonomous limit reappear. The construction is checked on the Dicke model.","feed_headline":"Quantum autonomous work keeps a source term that will not vanish","feed_subtitle":"Noncommutativity blocks the usual non-autonomous limit even for large work sources","key_machinery":"The three-term entropy-like quantity R[Γ] ≡ ln(P_F[Γ]/P_B[Γ̃]) = βw[Γ] − βΔF_S[Γ] + Δφ[Γ], obtained from joint projectors onto eigenstates of Â_R and of the conditional Hamiltonian Ĥ_S(a). Unitary reversibility plus an initially block-thermal state then imply the integral and detailed fluctuation theorems for R.","core_discovery":"Successive projective measurements of a work-source observable Â_R and of the conditional system Hamiltonian yield Jarzynski-type ⟨e^{-R}⟩_F = 1 and Crooks-type P_F(R)/P_B(-R) = e^R relations for autonomous inclusive work, with the stochastic quantity R = βw − βΔF_S + Δφ that explicitly includes the change in the source's measurement statistics. Quantum noncommutativity prevents these relations from reducing to ordinary non-autonomous fluctuation theorems even for large sources with negligible back-action; the exclusive-work version recovers that limit only when the measured source observable commutes with the bare source Hamiltonian.","pith_inferences":["Any attempt to define a continuous-spectrum work source will require generalized measurements or quasiprobabilities, because the present projective construction assumes a discrete observable.","If the initial block-diagonal assumption can be relaxed while still keeping a well-defined free energy, the three-term structure may survive for a broader class of autonomous devices.","The obstruction identified here suggests that semiclassical mean-field driving is the only controlled way to recover ordinary work statistics from a quantum autonomous machine."],"forward_implications":["Thermodynamic accounting for fully quantum autonomous engines must retain an explicit contribution from the work source's measurement statistics.","Inclusive and exclusive work definitions are no longer interchangeable once the work source is treated quantum-mechanically.","The non-autonomous fluctuation theorems used in most quantum-thermodynamics literature are recovered only under extra commutativity assumptions that are not automatic.","The same measurement scheme supplies an operational route to test autonomous fluctuation theorems in circuit-QED or trapped-ion platforms that realize Dicke-like couplings."],"fun_headline_variants":["Quantum noncommutativity keeps autonomous work term from vanishing","Inclusive quantum work theorems resist nonautonomous reduction","Source fluctuations persist in quantum autonomous Jarzynski relations","Noncommuting observables block classical limit for autonomous work","Exclusive work recovers nonautonomous limit only if source operators commute"],"cache_read_input_tokens":16512,"weakest_assumption_plain":"The composite system must start in a mixed state that is already diagonal in the work-source observable, with each block a thermal state of the corresponding conditional system Hamiltonian; any initial coherence between source sectors is excluded by hand.","fun_headline_variants_meta":{"raw":{"variants":["Quantum noncommutativity keeps autonomous work term from vanishing","Inclusive quantum work theorems resist nonautonomous reduction","Source fluctuations persist in quantum autonomous Jarzynski relations","Noncommuting observables block classical limit for autonomous work","Exclusive work recovers nonautonomous limit only if source operators commute"]},"model":"grok-4.5","effort":"low","cost_usd":0.004147,"raw_usage":{"total_tokens":1329,"prompt_tokens":848,"num_sources_used":0,"completion_tokens":61,"cost_in_usd_ticks":41468000,"prompt_tokens_details":{"text_tokens":848,"audio_tokens":0,"image_tokens":0,"cached_tokens":256},"completion_tokens_details":{"audio_tokens":0,"reasoning_tokens":420,"accepted_prediction_tokens":0,"rejected_prediction_tokens":0}},"tokens_in":848,"tokens_out":61,"duration_ms":8858,"temperature":1.0,"reasoning_tokens":420,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-07-31T07:47:33.512098+00:00","model_set":{"reader":"grok-4.5"},"falsifier":"In the Dicke-model numerics (or an equivalent circuit-QED experiment), prepare a large atomic ensemble in a sharp eigenstate of J_x with vanishing back-action and check whether the measured distribution of J_x remains sharp; if it spreads, the third term Δφ cannot be dropped and the non-autonomous limit fails for inclusive work.","supporting_citations":[],"review_version":1}