{"id":"7b921277-abb7-4d9d-acdf-0fa7e3049af9","arxiv_id":"2501.00832","paper_version":1,"verdict":"REJECT","confidence":"MODERATE","novelty_score":4.0,"correctness_risk":"high","formal_verification":"none","parameter_count":0,"one_line_summary":"The paper defines work and heat for open quantum systems via a state-dependent effective Hamiltonian, but the definition is not unique due to an unresolved degeneracy in the derivation.","lead":"Quantum physicists debate how to split a quantum system's energy change into useful 'work' and wasted 'heat'. This paper proposes a specific split using an 'effective Hamiltonian', but the derivation relies on an arbitrary choice and leaves the recipe incomplete.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Eq. (18) is not uniquely determined by the minimization in Eq. (17): the gauge transformation H'_S -> H'_S + c 1_S, H'_E -> H'_E - c 1_E leaves H' and the constraint invariant, so the claimed unique effective Hamiltonian is convention-dependent.","rationale":"The reader's weakest assumption is exactly the non-uniqueness of the constrained minimizer in Eq. (17), and I agree that this is the load-bearing flaw. The closed-system decomposition in Lemma 1 appears mathematically sound, but the open-system minimization has an unbroken gauge symmetry: adding c times the identity to H'_S and subtracting it from H'_E leaves H' unchanged while changing the local effective Hamiltonian. No additional normalization or gauge-fixing condition appears in the paper, so Eq. (18) is not a derived unique result but a selected representative of an affine family of minimizers. Since the paper's central contribution is to provide a unique, systematic effective Hamiltonian whose expectation defines internal energy, this degeneracy directly undermines the claimed resolution of the work-heat controversy. The proposed numerical test would settle the matter by explicit computation. The verdict should remain REJECT, so no change to the reader's verdict is needed.","tokens_in":13944,"tokens_out":9593,"duration_ms":89345,"concrete_test":"Implement the constrained minimization numerically for a minimal case: H_S = H_E = ωσ_z, H_I = g σ_x⊗σ_x, and total state ρ_SE = diag(1/2,1/2)⊗diag(1/2,1/2), so U_C = Tr(ρ_SE H_I) = 0. Enumerate all diagonal H'_S, H'_E satisfying the stationarity conditions of the Lagrangian for Eq. (17). Check whether the family H'_S -> H'_S + c 1_S, H'_E -> H'_E - c 1_E preserves the conditions for a continuum of c while altering Tr(ρ_S H'_S). If yes, Eq. (18) is one arbitrary member of a continuous family and the effective Hamiltonian is not unique. If no, identify the hidden condition that lifts the degeneracy.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central claim requires Eq. (18) to be a unique consequence of Eq. (17). It is not. The quantity minimized is ||H'|| with H' = H'_S⊗1 + 1⊗H'_E. For any solution, the transformation H'_S -> H'_S + c 1_S and H'_E -> H'_E - c 1_E leaves H' exactly unchanged, hence leaves both ||H'|| and Tr(ρ_SE H') unchanged. The constraint in Eq. (16) fixes only the total expectation, not the split between system and environment. Consequently the Lagrangian has a flat direction, the Hessian is singular, and the stationarity equations admit a continuum of solutions. For a minimal case with n_S = n_E = 2 and ρ_S = ρ_E = diag(1/2,1/2), the objective reduces to (TrH'_S + TrH'_E)^2 + 4x^2 + 4y^2, where x and y are the traceless diagonal parts; the constraint fixes only TrH'_S + TrH'_E, while TrH'_S itself is free. Eq. (18) picks one representative, and different choices change U_S = Tr(ρ_S(H_S + H'_S)) and hence δQ and δW in Eqs. (20)-(21). This is not an external convention dispute: remark (v) of the paper rejects the master-equation splitting for exactly this kind of nonuniqueness, so the paper's own criterion is violated.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper proposes a resolution of the long-standing ambiguity in defining heat and work for open quantum processes. For a closed system, the authors decompose the Hamiltonian into a part commuting with the density operator (which carries the internal energy) and an orthogonal part (which generates unitary evolution), giving a clean two-role picture. For an open system coupled to an environment, they decompose the interaction Hamiltonian H_I into H'_S ⊗ 1 + 1 ⊗ H'_E + H'_C, where the first two terms define effective local Hamiltonians. They impose that the remainder H'_C has zero expectation (binding energy zero), and choose the split by minimizing ||H'|| with H' = H'_S ⊗ 1 + 1 ⊗ H'_E under that constraint. This yields a claimed explicit effective Hamiltonian H_S^eff = H_S + H'_S, with internal energy U_S = Tr(ρ_S H_S^eff), heat δQ = Tr(dρ_S H_S^eff), and work δW = Tr(ρ_S dH_S^eff). The paper argues this gives a unique, systematic resolution of the work/heat controversy.","tokens_in":14310,"tokens_out":5299,"duration_ms":50778,"significance":"If the central claim were correct, the paper would supply a state-and-dynamics-dependent definition of internal energy, heat, and work for arbitrary open quantum processes, directly addressing a controversy that has persisted for decades. The closed-system lemma (Lemma 1 and Eqs. (4)-(11)) is a clean and correct Hilbert-Schmidt orthogonal decomposition, and the paper's criticism of the non-uniqueness of master-equation-based splittings (remark (v)) is a fair point that the community has recognized. However, the main result does not achieve the claimed uniqueness: the minimization that fixes the decomposition is degenerate, so the effective Hamiltonian is defined only up to an arbitrary constant, and the subsequent heat/work split inherits that arbitrariness. Because the paper offers no external benchmark (e.g., recovery of a known weak-coupling result, a fluctuation theorem, or a measured heat current) that would independently validate the split, the contribution does not currently meet the bar of a solution to the problem.","major_comments":[{"comment":"The constrained minimization used to fix H'_S and H'_E is degenerate. The gauge transformation H'_S -> H'_S + c 1_S, H'_E -> H'_E - c 1_E leaves H' = H'_S⊗1 + 1⊗H'_E exactly unchanged, hence it leaves both the objective ||H'||^2 in Eq. (17) and the constraint Tr(ρ_SE H') = U_C in Eq. (16) invariant. The Lagrangian therefore has a flat direction, the stationary equations do not determine the split, and Eq. (18) selects one arbitrary representative. The effective Hamiltonian H_S^eff in Eq. (19) and the heat/work expressions in Eqs. (20)-(21) all depend on the arbitrary constant c through U_S = Tr(ρ_S H_S^eff) = Tr(ρ_S H_S) + Tr(ρ_S H'_S). This is exactly the kind of non-uniqueness that the authors invoke in remark (v) to reject master-equation-based definitions of heat and work, so the paper's own consistency criterion is violated.","section":"Eqs. (16)-(18) and remark (v)"},{"comment":"The main derivation assumes non-degenerate eigenvalues of ρ_S and ρ_E, because the denominators λ_i^S - λ_j^S in Eq. (15) vanish in degenerate cases. The extension to degenerate spectra in remark (iv) is only a sketch: it asserts that 'appropriate eigenvectors can be chosen' to make H_S diagonal on each degenerate subspace, but it neither proves existence, nor shows that the resulting H'_S^⊥ is independent of the choice of eigenvectors within the subspace, nor demonstrates that the final effective Hamiltonian is well-defined. A paper claiming to solve the problem for general quantum processes must provide a rigorous treatment of this case.","section":"Eq. (15) and remark (iv)"},{"comment":"The derivation of Eq. (18) uses only the trace constraint (16) and the minimal-distance condition (17); the requirement (i) that H'_C generates only dissipations and no unitary evolution on the subsystems is never used to derive the formula. Consequently, the paper does not show that its constructed H'_C actually satisfies the stated physical condition. The authors should either prove that the derived decomposition automatically fulfills (i) or explain how (i) could be imposed and how it would affect the minimization.","section":"Condition (i) and Eq. (17)"}],"minor_comments":[{"comment":"The arXiv text contains many Unicode rendering artifacts (for example, /u1D446 for S and /u1D43B for H). The final published version must be properly typeset.","section":"Throughout"},{"comment":"The symbols n_S and n_E denote the ranks of the reduced states, but the notation is not explicitly defined near Eq. (18); please clarify that these are ranks, not Hilbert-space dimensions, and check that all sums over eigenvalues are normalized consistently.","section":"Eq. (18) and surrounding text"},{"comment":"The discussion of parallel transport and geometric phases is interesting but tangential; the claim that H_bar and H_perp have 'deep connections' with dynamic and geometric phases is not developed or proved, so it reads as an unsupported remark.","section":"Remark (iii)"},{"comment":"The authors state that their definitions are 'all dynamics-dependent' but provide no consistency check against standard limiting cases (e.g., weak-coupling Markovian dynamics, where the heat current should reduce to the Alicki form). Adding such a benchmark would substantially strengthen the paper's case that the new definitions are physically meaningful.","section":"Conclusions"}],"recommendation":"reject","confidential_remarks":"The core derivation fails because of the gauge freedom in the decomposition, and the paper's own criterion for rejecting alternative approaches applies to its own construction. I do not see a local fix within the current scope: adding an arbitrary tracelessness condition or a similar gauge choice would not be derived from physical principles and would leave the claimed 'solution' as a convention. The authors would need to either identify an additional physical constraint that uniquely fixes the split or benchmark against an external result; both go beyond a revision of the present manuscript."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Colleague,\n\nYou should know two things about this paper. First, the closed-system decomposition in Lemma 1 is correct and clean: any Hamiltonian can be split into a part that commutes with the state and a part that is orthogonal to it in Hilbert-Schmidt sense, and the thermodynamics of unitary dynamics follows neatly. Second, the central open-system result does not survive scrutiny. The constrained minimization in Eq. (17) is degenerate. The objective only fixes Tr(ρ_SE H'), not the split between H'_S and H'_E; the transformation H'_S -> H'_S + c 1_S, H'_E -> H'_E - c 1_E leaves H' and the constraint invariant. This is exactly the non-uniqueness the paper criticizes in the master-equation approach (remark v). The explicit formula in Eq. (18) is an arbitrary representative, not a derived consequence.\n\nThe paper's strengths: the Lie-algebraic construction is transparent, the explicit expression for the off-diagonal part H'⊥_S is new, and the authors engage with the relevant literature. The degenerate-spectrum extension is only sketched, but that is a minor issue compared with the non-uniqueness.\n\nThe bigger problem is that the definitions of work and heat in Eqs. (19)-(21) become convention-dependent once the gauge freedom is recognized. The paper claims to 'solve' the controversy, but it merely points to one of many possible splittings. Since the paper's own remark (v) rejects the master-equation splitting for exactly this kind of non-uniqueness, the argument is self-undermining. There is no external benchmark (e.g., a fluctuation theorem or measured heat current) that selects the proposed convention.\n\nWho is this for? Readers interested in formal definitions of work and heat in open quantum systems will find a clear statement of the problem and a useful closed-system lemma. But the core result is not established. I do not think this deserves peer review in its current form; the flaw is load-bearing and not a matter of presentation. If the authors add an explicit convention (e.g., trace H'_S = 0) and drop the uniqueness claim, the paper could be a modest contribution, but then it is not a solution to the controversy.","headline":"The closed-system decomposition is sound, but the open-system minimization is degenerate and the claimed unique effective Hamiltonian does not follow.","tokens_in":14789,"tokens_out":3717,"would_cite":false,"duration_ms":33739,"reading_group":"no","serious_thinker":"yes","would_accept_peer_review":false},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":[],"pacs":["05.30.-d","05.90.+m","05.70.-a","03.65.-w"],"model":"deepseek-v4-flash","headline":"This paper claims that splitting the interaction Hamiltonian into effective local Hamiltonians gives well-defined work and heat for general open quantum processes.","keywords":["quantum thermodynamics","work and heat","open quantum systems","effective Hamiltonian","Hamiltonian decomposition","internal energy","strong coupling","non-Markovian dynamics"],"falsifier":"Take a two-qubit model with $H_I=\\sigma_x\\otimes\\sigma_x$ and a correlated initial state, and compute the curvature of $\\|H'\\|^2$ along the direction that shifts $H'_S$ and $H'_E$ oppositely while preserving $\\mathrm{Tr}(\\rho_{SE}H')=U_C$: zero curvature means the minimizer is not unique, so the paper's work-heat split is convention-dependent, while positive curvature would confirm the split is forced.","tokens_in":13726,"feed_emoji":"⚛️","tokens_out":12335,"duration_ms":104461,"temperature":0.7,"pith_summary":"The paper claims to resolve the long-standing controversy over how to split a quantum system's energy change into heat and work. The key is to let the Hamiltonian play two distinct roles: one piece $\\bar H$ carries the energy observable, while the orthogonal piece $H^\\perp$ generates evolution. For an open system coupled to an environment, the interaction Hamiltonian is decomposed into effective system and environment Hamiltonians plus a residual dissipative coupling, and a minimal-distance condition fixes the decomposition. The result is an explicit effective Hamiltonian $H_S^{eff}=H_S+H'_S$, with internal energy $U_S=\\mathrm{Tr}(\\rho_S H_S^{eff})$, heat $\\delta Q=\\mathrm{Tr}(d\\rho_S H_S^{eff})$, and work $\\delta W=\\mathrm{Tr}(\\rho_S dH_S^{eff})$. These are state-dependent and dynamics-dependent definitions that reduce to the standard ones for closed systems and extend to strong-coupling, non-Markovian processes.","feed_headline":"Splitting a Hamiltonian yields work and heat for quantum processes","feed_subtitle":"Heat tracks state change, work tracks level change, through an effective Hamiltonian fixed by the interaction.","key_machinery":"The paper's central machinery is the orthogonal decomposition of a Hamiltonian relative to the instantaneous density operator: any Hermitian operator $H$ splits as $\\bar H+H^\\perp$ with $[\\bar H,\\rho]=0$ and $\\mathrm{Tr}(H^\\perp\\rho)=0$, obtained by projecting onto the subspace spanned by projection operators onto the eigenstates of $\\rho$. For the open system the same split is applied to the reduced dynamics induced by $H_I$, producing the off-diagonal part $H'^\\perp_S$ directly from the dynamical generator, and the diagonal part $\\bar H'_S$ from the constrained minimization. This turns the question of the correct energy observable into a Hilbert-Schmidt projection problem.","core_discovery":"The core claim is that the ambiguity of work versus heat in open quantum systems disappears once the interaction Hamiltonian $H_I$ is split as $H_I=H'_S\\otimes 1+1\\otimes H'_E+H'_C$, where $H'_C$ produces only dissipative dynamics on the subsystems and has vanishing expectation in the total state, so no binding energy remains. The state-commuting parts $\\bar H'_S$ and $\\bar H'_E$ are fixed by minimizing the distance between the original and residual interaction Hamiltonians under the constraint that the interaction energy is preserved. This gives an effective Hamiltonian $H_S^{eff}=H_S+H'_S$ whose expectation defines the internal energy; heat is the part caused by state change and work is the part caused by the change of the effective Hamiltonian. The construction is carried out for nondegenerate instantaneous spectra and then extended to degenerate eigenspaces by choosing eigenvectors that diagonalize the relevant dynamical operator on each eigenspace.","pith_inferences":["The minimal-distance condition is best read as a gauge-fixing convention: a different Hilbert-Schmidt norm or an extra locality constraint would generally produce a different effective Hamiltonian, so the construction fixes a definition rather than measuring an invariant.","In the weak-coupling, product-state limit $\\rho_{SE}\\approx\\rho_S\\otimes\\rho_E$, the construction should reduce to the standard local identification $\\delta Q=\\mathrm{Tr}(d\\rho_S H_S)$ and $\\delta W=\\mathrm{Tr}(\\rho_S dH_S)$; a driven qubit coupled to a bosonic bath is a direct numerical test.","Because $H_S^{eff}$ depends on the full system-environment state, two preparations with the same reduced state but different correlations should exhibit different heat and work readings; this is a testable consequence of the framework."],"forward_implications":["For unitary processes the construction gives $\\delta Q=0$ and $\\delta W=\\mathrm{Tr}(\\rho\\,dH_S^{eff})$, recovering the closed-system rule.","Heat and work become tied to the instantaneous eigenbasis of the reduced state: population changes contribute to heat, and changes in the effective Hamiltonian contribute to work.","The definitions apply at strong coupling and for non-Markovian dynamics, because they are built directly from the full Hamiltonian and the total state rather than from a master equation.","The total energy of system plus environment is exactly the sum of the two subsystem effective energies, since the binding energy term is forced to vanish."],"supporting_citations":[{"why":"Introduces local effective dynamics of quantum systems as a generalized approach to work and heat, the starting point the paper refines.","marker":"[23]"},{"why":"Relates correlations to heat, work, and entropy production in quantum thermodynamics, motivating the correlation-dependent effective Hamiltonian.","marker":"[26]"},{"why":"Provides a strong-coupling effective-Hamiltonian construction that the paper's scheme generalizes.","marker":"[30]"},{"why":"Gives an open-system formulation of nonequilibrium quantum thermodynamics at arbitrary coupling and highlights the nonunique splitting the paper aims to fix.","marker":"[32]"},{"why":"Supplies the standard identification of heat with state change and work with Hamiltonian change that the paper extends to open systems.","marker":"[38]"},{"why":"Establishes the constraint that local internal energy cannot be a functional of the reduced state alone, supporting the paper's state-dependent effective Hamiltonian.","marker":"[46]"},{"why":"Provides the orthogonal Lie-algebra generators used for the Hamiltonian decomposition relative to the density operator.","marker":"[47]"},{"why":"Documents the gauge freedom in the unitary-dissipative splitting of time-local master equations, motivating the need for an extra fixing condition.","marker":"[52]"}],"fun_headline_variants":["Work and heat resolved via Hamiltonian splitting","Hamiltonian decomposition fixes quantum work and heat","Quantum work and heat defined by effective Hamiltonian","New split of work and heat for quantum processes","Solving work-heat ambiguity in quantum thermodynamics"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The argument stands on the premise that the constrained minimization used to fix the state-commuting part of the interaction has exactly one solution, so the effective Hamiltonian is fixed rather than being one of many decompositions that satisfy the same constraints.","fun_headline_variants_meta":{"raw":{"variants":["Work and heat resolved via Hamiltonian splitting","Hamiltonian decomposition fixes quantum work and heat","Quantum work and heat defined by effective Hamiltonian","New split of work and heat for quantum processes","Solving work-heat ambiguity in quantum thermodynamics"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000253,"raw_usage":{"total_tokens":1506,"prompt_tokens":829,"completion_tokens":677,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":445,"completion_tokens_details":{"reasoning_tokens":611}},"tokens_in":445,"tokens_out":677,"duration_ms":5889,"temperature":1.0,"reasoning_tokens":611,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-10T22:42:39.080361+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Take a two-qubit model with $H_I=\\sigma_x\\otimes\\sigma_x$ and a correlated initial state, and compute the curvature of $\\|H'\\|^2$ along the direction that shifts $H'_S$ and $H'_E$ oppositely while preserving $\\mathrm{Tr}(\\rho_{SE}H')=U_C$: zero curvature means the minimizer is not unique, so the paper's work-heat split is convention-dependent, while positive curvature would confirm the split is forced.","supporting_citations":[{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Relates correlations to heat, work, and entropy production in quantum thermodynamics, motivating the correlation-dependent effective Hamiltonian."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Provides a strong-coupling effective-Hamiltonian construction that the paper's scheme generalizes."},{"cited_title":"Rivas, Strong coupling thermodynamics of open quantum systems, Phys","cited_arxiv_id":null,"evidence_quote":"Supplies the standard identification of heat with state change and work with Hamiltonian change that the paper extends to open systems."},{"cited_title":"Alicki, The quantum open system as a model of the heat engine, J","cited_arxiv_id":null,"evidence_quote":"Establishes the constraint that local internal energy cannot be a functional of the reduced state alone, supporting the paper's state-dependent effective Hamiltonian."},{"cited_title":"Spohn, Entropy production for quantum dynamical semi- groups, J","cited_arxiv_id":null,"evidence_quote":"Provides the orthogonal Lie-algebra generators used for the Hamiltonian decomposition relative to the density operator."},{"cited_title":"Sampaio, S","cited_arxiv_id":null,"evidence_quote":"Documents the gauge freedom in the unitary-dissipative splitting of time-local master equations, motivating the need for an extra fixing condition."}],"review_version":1}