{"id":"d1cd8539-1d52-46d9-a5b6-b50cfc3fa5f1","arxiv_id":"2608.00993","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":1,"one_line_summary":"Heat in QET is defined as the difference between actual and optimal local energy extraction, leading to a generalized Clausius inequality with an effective temperature.","lead":"This paper proposes that in quantum energy teleportation, the energy extracted by an optimized local protocol is work, while any energy left behind is heat. It offers a single consistent way to define heat and work in measurement-based quantum thermodynamics and checks it on a spin chain.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Effective-temperature choice makes the Clausius inequality an identity in the Kitaev model: σ_B = \\bar{ρ}^{m×}_B coincides with the initial B state, so D(ρ^m||σ)=0 for every LOCC and -Q=Π identically.","rationale":"The reader's weakest_assumption was that the Clausius framework depends on a physically meaningful effective inverse temperature, and if that temperature is not meaningful the inequality reduces to an identity. My stress-test confirms this concern concretely in the paper's own model. The key observation is that \\bar{ρ}^m_B, the outcome-averaged post-measurement state of B, is independent of Alice's measurement: tracing out A after any projective measurement and averaging over outcomes recovers the original reduced state of B. Therefore σ_B = \\bar{ρ}^{m×}_B equals the initial B state, so D(ρ^m||σ)=0 for every process. This makes the type-II inequality an equality, not a bound. This does not invalidate the formal definition of Q as a difference of local energy extractions, but it removes the thermodynamic teeth from the Clausius inequality and leaves β_eff as a mere reparametrization. The reader already concluded the paper is CONDITIONAL due to this concern; my analysis strengthens the case with a concrete model-level verification but does not require a different verdict. Hence UNCHANGED.","tokens_in":15268,"tokens_out":39067,"duration_ms":380234,"concrete_test":"In the Kitaev model, compute \\bar{ρ}^m_B = Σ_n p_n ρ^m_B(n) for two different Alice measurement directions, e.g., r=(1,0,0) (the × protocol) and r=(0,0,1) (a σ_z measurement), using Eqs. (29) and (31). If both equal the same diagonal state (58), then σ_B = \\bar{ρ}^{m×}_B is the initial B state. Then evaluate -Q and Π from Eqs. (51) and (25) for a non-optimal protocol, e.g., r=(0,0,1), θ=θ*/2. If -Q=Π for that protocol, the inequality is an identity for all protocols, confirming the concern.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The reference state σ_B is fixed in Sec. IV.C as σ_B = \\bar{ρ}^{m×}_B, and Sec. V.E uses this to determine β_eff. However, \\bar{ρ}^m_B = Σ_n p_n ρ^m_B(n) is the outcome-averaged reduced state of B after Alice's projective measurement on A. For any such local measurement, discarding the outcome cannot change Bob's reduced state: tr_{A,C1,C2}(Σ_n P_A(n) ρ P_A(n)) = tr_{A,C1,C2}(ρ). Hence \\bar{ρ}^{m×}_B is simply the initial reduced state of B, independent of the Alice measurement direction r. Consequently D(\\bar{ρ}^m_B||σ_B)=0 for every LOCC protocol, not only the 'maximum heat' protocol ×. Substituting this into the type-I formula (16) yields -Q = Π exactly for all protocols, so the 'generalized Clausius inequality' (24) is an equality, not a bound. The tightness at (-Q)_max is therefore not a nontrivial property; it is a direct consequence of choosing σ_B to be the initial state. The effective temperature β_eff then carries no independent thermodynamic content—it merely re-encodes the initial population ratio of Bob's reduced state. Without an additional physical argument for why this state should be regarded as a genuine thermal reference, the Clausius inequality reduces to an identity and cannot serve as an independent second-law-like constraint.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper addresses the identification of heat and work in quantum many-body systems, focusing on a quantum energy teleportation (QET) protocol with local operations and classical communication (LOCC). The proposed central idea is that optimized LOCC yields daemonic ergotropy and should be attributed to work, while the shortfall from optimization is the seed of heat. After separating Bob's local contribution from the interaction term, the author defines proper heat as Q = ΔE_{B,B} − ΔE*_{B,B} (Eq. 17). The paper then derives a type-I relation β_eff Q + ΔS_B = ΔD (Eq. 16) and a type-II bound −Q ≤ Π (Eq. 24), with equality when the reference thermal state satisfies σ_B = \\barρ^m_B. This is applied to a Kitaev-like model, where the maximum-heat protocol and effective inverse temperature are computed. The central technical concern is that, with the chosen reference state, the type-II 'inequality' becomes an exact identity for all LOCC protocols, so the claimed generalized Clausius inequality is not a nontrivial thermodynamic constraint.","tokens_in":15691,"tokens_out":13790,"duration_ms":138024,"significance":"The proposed definition of heat as the deviation from optimal local energy extraction is conceptually interesting and operationally well-defined. The model calculations are explicit and provide concrete expressions for Q_max and (−Q)_max, and the algebraic consistency check in Eq. (57) is verifiable. However, the main thermodynamic result—the generalized Clausius inequality—is currently empty because the reference state is fixed to be the protocol-independent outcome-averaged post-measurement state. This makes the 'tightness' automatic and strips the effective temperature of independent physical content. The manuscript can potentially be repaired by choosing β_eff from independent physical considerations or by reframing the relation as an exact identity, but as presented the central claim of a second-law-like inequality is not supported.","major_comments":[{"comment":"The equality condition of Eq. (24) is stated to be σ_B = \\barρ^m_B, and §V.E fixes β_eff by σ_B(β_eff) = \\barρ^{m×}_B. However, \\barρ^m_B defined in Eq. (14) is, for any projective measurement P_A(n) on A, simply the initial reduced state of B: summing over n before tracing out A gives tr_{\\bar B}(Σ_n P_A(n)ρP_A(n)) = tr_{\\bar B}ρ, independent of the measurement direction r and of Bob's later operation. Since σ_B is set to this protocol-independent state, D(\\barρ^m_B||σ_B)=0 for every LOCC protocol, not only for the maximum-heat protocol. Substituting this into Eqs. (16) and (19) makes the type-II 'inequality' (24) an exact equality −Q = Π for all protocols. The tightness at (−Q)_max is therefore automatic, not a nontrivial property of the model. Consequently β_eff carries no independent thermodynamic content beyond re-encoding the initial population ratio of Bob's reduced state. This is","section":"§IV.C, §V.E, Eqs. (24), (58)"},{"comment":"The derivation of the central relation (16) is not shown. The text states that substituting H_B = −(log σ_B + log z_B)/β_eff into Eq. (9) leads to Eq. (13), and then says the right-hand side is transformed using entropy and KL divergence to arrive at Eq. (16). No algebraic steps are given for either transformation. Because Eq. (16) is the basis for both the type-I and type-II formulae, this derivation must be supplied explicitly, either in the main text or in an appendix.","section":"§IV.B, Eqs. (13)–(19)"},{"comment":"The maximization of −Q is only sketched. The transformation of ΔE_{B,B} into W + √(W²+X²)cos(2θ+δ) is correct, but the passage from Eq. (50) to the optimized parameters in Eq. (52) relies on 'clearly' and 'we find' rather than a complete global optimization. In particular, the minimization over θ is performed, but the simultaneous maximization of |W| and |X| over the unit vectors r and s is only asserted, and the sign condition αβ>0 is not discussed. Since Eq. (51) is used to claim consistency with Π_min, a fully derived optimization is needed.","section":"§V.C, Eqs. (45)–(54)"}],"minor_comments":[{"comment":"The notation |ψ_A(t)⟩ appears to be a typo; it should be |ψ_A(n)⟩.","section":"Eq. (3)"},{"comment":"The expression 'P n(n)' should be 'P_A(n)'.","section":"After Eq. (1)"},{"comment":"There are typographical errors: 'authers' should be 'authors', 'Kullback-Leiber' should be 'Kullback-Leibler', and 'reset of the whole system' should be 'rest of the whole system'.","section":"§IV.B"},{"comment":"The claim that alternative decompositions of H_R violate spectral positivity and therefore make Q unique is unsupported. Please provide a proof or soften the statement to a conjecture.","section":"§IV.B"},{"comment":"The notation σ_B(β_eff) = \\barρ^{m×}_B is potentially confusing: it is a choice of reference state, not a dynamical equilibrium condition. Clarify this in the text.","section":"§IV.C and §V.E"},{"comment":"The information-geometric foliation and the m- and e-geodesics are described qualitatively. A more precise definition of the leaves L_j and the projection conditions would help the reader follow the argument.","section":"Figure 2"}],"recommendation":"major_revision","confidential_remarks":"The main issue is the collapse of the type-II inequality to an identity caused by the choice σ_B = \\barρ^m_B. The paper relies heavily on the author's previous work for Eqs. (11) and (12); please ensure the logic is self-contained enough for a general reader. If the author cannot provide an independent physical determination of β_eff, the manuscript should be reframed as an exact relation rather than an inequality."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Colleague,\n\nRead the QET heat/work paper. The genuinely new thing is the definition Q = ΔE_{B,B} − ΔE*_{B,B}: heat as the shortfall of Bob's local extraction from the optimal LOCC value. That is clean, operational, and I don't know of an earlier statement. The Kitaev-model check is worked out in detail, and the distinction between optimizing total ΔE_B and optimizing ΔE_{B,B} is real.\n\nBut the paper's main thermodynamic claim—the generalized Clausius inequality −Q ≤ Π—does not hold up as an inequality. The stress-test note is right. Because Alice's measurement acts only on A, the outcome-averaged reduced state of B is exactly the initial reduced state: \\bar{ρ}^m_B = tr_{A,C1,C2} ρ = ρ^i_B, independent of the measurement direction and of the LOCC. The paper then sets σ_B = \\bar{ρ}^{m×}_B, which is just ρ^i_B. Consequently D(\\bar{ρ}^m_B || σ_B) = 0 for every protocol, and the type-I formula (16) reduces to β_eff Q + ΔS_B = −D(\\bar{ρ}^f_B||σ) + D(\\bar{ρ}^{f*}||σ). Substituting into Π in Eq. (25) gives −Q = Π identically, not an inequality. \"Tightness\" at (−Q)_max is then automatic. The effective temperature β_eff is re-encoding the initial population ratio of Bob's reduced state; it carries no independent thermodynamic content. The authors appear to have missed this because they treat \\bar{ρ}^{m×}_B as a special state, but it is the initial state for all measurements.\n\nOther soft spots: the derivation of Eqs. (13)-(19) is skipped, and the optimization in Sec. V.C is brief. The spectral positivity claim is mentioned but not proved. The paper imports the second law input Eq. (11) from the author's prior work; that's fine if the earlier result holds, but it means this paper's \"derivation\" of the Clausius inequality is not self-contained.\n\nCredit where due: the definition Q and the model calculations are worth having. The paper is honest about open questions (first law, measurement heat). But the advertised generalized Clausius inequality is an artifact of the reference-state choice.\n\nWho's this for? People working on QET and information thermodynamics might cite the definition, but they should not cite the Clausius inequality as a constraint. With revision—either a physical justification for σ_B or a reframing of the exact relation as a definitional identity—it could be a solid paper. As is, I'd send it to peer review only because the core definition deserves scrutiny; expect a major revision.\n\nRecommendation: engage seriously, but push hard on the reference-state issue.","headline":"The heat definition is a good idea, but the generalized Clausius inequality collapses to an identity because the reference state is the initial B state.","tokens_in":16115,"tokens_out":5313,"would_cite":false,"duration_ms":50751,"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":"The paper proposes that heat in LOCC-based quantum energy extraction is the shortfall of Bob's extracted local energy relative to the optimal protocol, and that this heat obeys a generalized Clausius inequality with an effective temperature","keywords":["quantum thermodynamics","heat and work identification","quantum energy teleportation","LOCC","daemonic ergotropy","Clausius inequality","effective temperature","Kitaev model"],"falsifier":"In the Kitaev-like model, compute or measure the two-point correlators $C_{AB}$ and $D_{AB}$ and Bob's local energy change under a deliberately non-optimal LOCC; if $Q$ does not equal $\\Delta E_{B,B}-\\Delta E^{*}_{B,B}$ with the predicted correlator expressions, or if $-Q$ exceeds $\\Pi$ for those parameters, the central definition fails. A sharper test: independently measure the population ratio of Bob's reduced state and compare it with $e^{-2\\beta_{\\mathrm{eff}} h}$; a mismatch would show $\\beta_{\\mathrm{eff}}$ is only a fitting parameter.","tokens_in":15157,"feed_emoji":"♨️","tokens_out":11135,"duration_ms":108127,"temperature":0.7,"pith_summary":"The paper tackles a known ambiguity in quantum thermodynamics: the standard split of energy change into heat (from density-matrix change) and work (from Hamiltonian change) is not unique. It argues that in the quantum energy teleportation protocol, the ambiguity disappears if heat and work are measured relative to the optimal LOCC: optimized extraction is work (daemonic ergotropy), and the gap between actual and optimal extraction is heat, $Q = \\Delta E_{B,B} - \\Delta E^{*}_{B,B}$. This heat lives in nonlocal correlations between Alice and Bob that Bob cannot access, matching the traditional idea of heat as uncontrollable energy. A clear split matters for designing quantum batteries and long-distance energy transfer with minimal waste heat. The paper then derives generalized Clausius inequalities and shows in a Kitaev-like chain that the bound can be tight, with an effective temperature fixed by the reference state $\\sigma_B = e^{-\\beta_{\\mathrm{eff}} H_B}/Z_B$.","feed_headline":"Quantum heat equals the shortfall from optimal energy teleportation","feed_subtitle":"A generalized Clausius inequality bounds the leftover energy, and Kitaev-chain correlations carry the heat.","key_machinery":"The object that carries the argument is the reference thermal state $\\sigma_B = e^{-\\beta_{\\mathrm{eff}} H_B}/Z_B$, with $\\beta_{\\mathrm{eff}}$ fixed by the tightness condition $\\sigma_B = \\bar{\\rho}^{m\\times}_B$. Around this, the paper builds two formulae: the type-I identity $\\beta_{\\mathrm{eff}} Q + \\Delta S_B = \\Delta D$, where $\\Delta D$ is a difference of quantum relative entropies, and the type-II inequality $-Q \\le \\Pi$, where $\\Pi$ is an upper bound expressible through final local-state energies. The optimization protocol is understood through daemonic ergotropy, so any deviation from optimal LOCC acquires a thermodynamic meaning. In the model, the identity $k C_{AR} = h(C_{AB} - D_","core_discovery":"The paper's central claim is that in the quantum energy teleportation protocol, heat and work become unambiguous when measured against the optimal LOCC. The extracted energy under a given protocol is work when the protocol is optimal, because it then equals daemonic ergotropy, and the shortfall from optimality is heat. Concretely, heat is $Q = \\Delta E_{B,B} - \\Delta E^{*}_{B,B}$, and $Q^{*}=0$ at the optimal protocol. This $Q$ is derived from a Clausius relation without referencing a change in the reduced density matrix, which is the paper's answer to the known ambiguity of the standard $\\mathrm{tr}(d\\rho H)$ vs $\\mathrm{tr}(\\rho dH)$ split. The paper further derives the type-I formula $\\be","pith_inferences":["The same 'gap from optimal feedback' construction could be applied to other measurement-and-feedback engines, where heat would be defined operationally by comparing actual and optimal local operations rather than by tracing over environments.","The paper leaves open whether Alice's projective measurement generates heat; a testable extension is to fix Bob's unitary at the optimal value and vary Alice's measurement axis, checking whether $Q$ shifts in the predicted direction.","If $Q$ is adopted as the heat definition, the type-II bound $\\Pi$ becomes a resource quantifier: the maximum heat is set by how far the final state under general LOCC sits from the final state under optimal LOCC, which could be measured in a spin-chain simulator.","The status of $\\beta_{\\mathrm{eff}}$ is the vulnerable point: because it is chosen to make the inequality tight, an independent check against a locally measured temperature would say whether the Clausius inequality carries thermodynamic content or is an identity in disguise."],"forward_implications":["At the optimal LOCC, $Q=0$: the extracted energy is work in the sense of daemonic ergotropy, with no leftover heat.","Heat defined this way can be positive or negative, so it can represent heat leaving Bob's subsystem through nonlocal correlation even when no bulk energy crosses the boundary.","The generalized Clausius inequality can run in the reversed direction compared with the standard entropy-production form, because the protocol consumes the ground-state entanglement resource.","Maximizing Bob's local energy extraction does not maximize total extraction; in the Kitaev-like model it produces a large negative $\\Delta E_{B,R}$ and fails to extract net energy, which the paper reads as unavoidable heat generation.","The effective inverse temperature $\\beta_{\\mathrm{eff}}$ is not an input but is fixed by the tightness condition; in the model it is $\\beta_{\\mathrm{eff}} = (1/2h)\\log\\left((h-\\epsilon_B)/(h+\\epsilon_B)\\right) \\ge 0$."],"supporting_citations":[{"why":"Supplies the Kitaev-like QET model and the earlier second-law inequality for $\\Delta E_{B,B}$ that the paper's effective thermodynamics extends.","marker":"[53]"},{"why":"Derives the second law of information thermodynamics and the condition $S(\\sigma_B)=\\min \\sum_n p_n S(\\rho^m_B(n))$ used to fix $\\beta_{\\mathrm{eff}}$.","marker":"[54]"},{"why":"Introduces daemonic ergotropy and daemonic gain, the work measure that optimized LOCC is claimed to realize.","marker":"[35]"},{"why":"Generalizes daemonic ergotropy results used for the LOCC optimization condition.","marker":"[36]"},{"why":"Proposes the quantum energy teleportation protocol whose local measurement and feedback define the energy extraction setting.","marker":"[43]"},{"why":"Shows that density-matrix change has two contributions, motivating a heat definition that avoids referring to density-matrix change.","marker":"[3]"},{"why":"Reports reversal of the Clausius inequality direction under consumption of quantum resources, which the paper's sign discussion relies on.","marker":"[24]"},{"why":"Shows continuous measurement makes heat flow from the apparatus into the qubit; the paper invokes it when asking whether Alice's measurement generates heat.","marker":"[66]"}],"fun_headline_variants":["Quantum heat is the energy you fail to teleport optimally","In QET, heat is the gap between your work and the optimal","Optimal LOCC extracts work; the leftover energy is quantum heat","Unambiguous heat: the shortfall from daemonic ergotropy in teleportation"],"cache_read_input_tokens":2816,"weakest_assumption_plain":"The load-bearing premise is that the effective inverse temperature $\\beta_{\\mathrm{eff}}$, fixed by the reference state $\\sigma_B = e^{-\\beta_{\\mathrm{eff}} H_B}/Z_B$ through the tightness condition, is a genuine temperature; if that effective temperature has no independent physical meaning, the Clausius inequality collapses to an identity.","fun_headline_variants_meta":{"raw":{"variants":["Quantum heat is the energy you fail to teleport optimally","In QET, heat is the gap between your work and the optimal","Optimal LOCC extracts work; the leftover energy is quantum heat","Unambiguous heat: the shortfall from daemonic ergotropy in teleportation"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.00092,"raw_usage":{"total_tokens":3837,"prompt_tokens":852,"completion_tokens":2985,"prompt_tokens_details":{"cached_tokens":256},"prompt_cache_hit_tokens":256,"prompt_cache_miss_tokens":596,"completion_tokens_details":{"reasoning_tokens":2906}},"tokens_in":596,"tokens_out":2985,"duration_ms":25225,"temperature":1.0,"reasoning_tokens":2906,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-06T00:34:48.684967+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"In the Kitaev-like model, compute or measure the two-point correlators $C_{AB}$ and $D_{AB}$ and Bob's local energy change under a deliberately non-optimal LOCC; if $Q$ does not equal $\\Delta E_{B,B}-\\Delta E^{*}_{B,B}$ with the predicted correlator expressions, or if $-Q$ exceeds $\\Pi$ for those parameters, the central definition fails. A sharper test: independently measure the population ratio of Bob's reduced state and compare it with $e^{-2\\beta_{\\mathrm{eff}} h}$; a mismatch would show $\\beta_{\\mathrm{eff}}$ is only a fitting parameter.","supporting_citations":[{"cited_title":"Matsueda, Y","cited_arxiv_id":null,"evidence_quote":"Supplies the Kitaev-like QET model and the earlier second-law inequality for $\\Delta E_{B,B}$ that the paper's effective thermodynamics extends."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Derives the second law of information thermodynamics and the condition $S(\\sigma_B)=\\min \\sum_n p_n S(\\rho^m_B(n))$ used to fix $\\beta_{\\mathrm{eff}}$."},{"cited_title":"Francica, J","cited_arxiv_id":null,"evidence_quote":"Introduces daemonic ergotropy and daemonic gain, the work measure that optimized LOCC is claimed to realize."},{"cited_title":"Bernards, M","cited_arxiv_id":null,"evidence_quote":"Generalizes daemonic ergotropy results used for the LOCC optimization condition."},{"cited_title":"Hotta, Phys","cited_arxiv_id":null,"evidence_quote":"Proposes the quantum energy teleportation protocol whose local measurement and feedback define the energy extraction setting."},{"cited_title":"Ahmadi, S","cited_arxiv_id":null,"evidence_quote":"Shows that density-matrix change has two contributions, motivating a heat definition that avoids referring to density-matrix change."},{"cited_title":"Aguilar and E","cited_arxiv_id":null,"evidence_quote":"Reports reversal of the Clausius inequality direction under consumption of quantum resources, which the paper's sign discussion relies on."},{"cited_title":"Yamamoto and Y","cited_arxiv_id":null,"evidence_quote":"Shows continuous measurement makes heat flow from the apparatus into the qubit; the paper invokes it when asking whether Alice's measurement generates heat."}],"review_version":1}