{"id":"f72b2182-439e-4fe2-abc4-d8ff940c912c","arxiv_id":"2512.21855","paper_version":1,"verdict":"REJECT","confidence":"MODERATE","novelty_score":3.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":3,"one_line_summary":"The paper restates the known coherent/incoherent ergotropy decomposition for quantum batteries and adds random-sampling correlations, but its bounds and conditions contain derivation gaps and an arithmetic error.","lead":"This paper studies how much stored energy can be extracted from a quantum battery, separating the extractable work into coherent and incoherent parts and using random sampling to link them to quantum coherence and purity. The broad trends match earlier work, but the paper's proposed bounds and 'rigorous framework' rest on unproven steps and a supplemental calculation that contains an error.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The claimed bounds on coherent ergotropy in Eq. (10) are not proved: the extremal states are ill-defined for fixed coherence, and the SM derivation only rewrites expressions with free parameters.","rationale":"Reader's weakest assumption identifies the same issue; I agree. The central claim of the paper is a rigorous optimization framework, and Eq. (10) is its mathematical core. A careful reading of SM Sec. III shows no derivation of the inequality: equations (S12)–(S15) are identities expressing C for a chosen pure/delocalized state in terms of arbitrary α, χ_n, q_n; they never show that the chosen states minimize/maximize Ec among states with fixed C. In fact, the 'pure state' and 'completely delocalized state' are not unique for fixed C, so the bounds are ambiguous. This is not merely a missing proof: the statement as written cannot be falsified without specifying the states. The arithmetic error in SM Sec. IV (Ei=2(p3−p2) instead of 2(p3−p1) for global inversion) is an independent concrete flaw in the incoherent-ergotropy part, reinforcing the rejection, but the Eq. (10) gap is the load-bearing issue for the paper's advertised novelty. I therefore do not change the reader's REJECT verdict.","tokens_in":21352,"tokens_out":14248,"duration_ms":136059,"concrete_test":"For fixed HB (e.g., equally spaced, normalized, d=3) and a fixed coherence C0, parameterize all ρ by populations p and off-diagonal amplitudes; use a global optimizer (e.g., differential evolution with constraints) to maximize and minimize Ec(ρ) over the feasible set C(ρ)=C0. Then compute the paper's Ec(ρpur) and Ec(ρdeloc) from Eq. (10) for the same C0. If any feasible state beats either claimed bound, or if the optimizers are not the pure/delocalized states used in the text, Proposition 2(i) is refuted. If no violations are found for many C0, the inequality is numerically plausible but still needs a proof.","verdict_should_be":"UNCHANGED","load_bearing_attack":"Proposition 2(i) and the advertised 'rigorous framework for optimizing ergotropy' rest on Eq. (10), which asserts Ec(ρpur) ≤ Ec(ρB) ≤ Ec(ρdeloc) for fixed coherence C. The supporting premise is that, for any given C, the pure state minimizes and the completely delocalized state maximizes the participation ratio. The SM (Sec. III) does not establish this; it only rewrites C(ρpur) and C(ρdeloc) using free auxiliary parameters α, χ_n, q_n and then writes down the bound expressions. No extremality proof (Lagrange multipliers, majorization, or otherwise) is given. Moreover, both extremal states are not uniquely defined: a pure state with coherence C is any pure state whose diagonal populations have entropy C, and many such distributions have different participation ratios; a 'completely delocalized' state with uniform populations has PR=d but its eigenvalues are not fixed by C=log d−S, so Ec(ρdeloc) is ambiguous. Without a well-defined pair of extremal states and a proof of global optimality, Eq. (10) is an assertion, not a derived bound. The random-sampling scatter plots show trends but cannot certify the claimed rigorous bounds.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"This paper analyzes ergotropy and its decomposition into coherent (Ec) and incoherent (Ei) components for general quantum batteries. It proposes: (i) a stage classification of the charging process based on energy-population ordering (no/local/global inversion), with E = Ec + Ei and Ei = 0 in the absence of inversion; (ii) bounds on coherent ergotropy in terms of coherence and participation ratio, claimed to be attained at pure and 'completely delocalized' states (Eq. (10)); (iii) an 'enhance/maintain/suppress' phenomenology for incoherent ergotropy versus diagonal entropy and population ordering; and (iv) a relation between purity, locked energy, and charging efficiency. The claims are illustrated by random sampling (10^5–10^7 states) and by Jaynes–Cummings/Tavis–Cummings battery examples.","tokens_in":21593,"tokens_out":24814,"duration_ms":233067,"significance":"If proven, the bounds in Eq. (10) would be a useful addition to the ergotropy literature, whose existing bounds (e.g., Ref. [17]) are only partial. The paper's genuine strengths are its careful random-sampling methodology (SM Sec. I: HSRS, FERS, FPRS), the explicit JC/TC examples, and qualitative trends consistent with known results on coherence-enhanced extractable work. However, the central analytical claims are not established: the SM 'proof' of the bounds is an algebraic identity manipulation, and the claimed extremal states are not uniquely defined. The headline promise—'a rigorous framework for optimizing ergotropy'—is therefore not met; the reliable content is numerical and qualitative.","major_comments":[{"comment":"As typeset, Eq. (6) defines R(ρB) = E(ρB)/E(ρB), i.e., R ≡ 1. This contradicts the formula R(ρB) = 1 − Tr[ρ̃B HB]/E(ρB) used in the Proposition 3 paragraph and the non-trivial scatter plots in Figs. 3(c),(d). The root problem is notation: E denotes stored energy in Eq. (2) and ergotropy in Eq. (3). The definition must be repaired with distinct symbols; as printed, Proposition 3 and the abstract's 'boosts charging efficiency' claim are vacuous.","section":"Preliminaries, Eq. (6); Prop. 3"},{"comment":"The bounds Ec(ρpur) ≤ Ec(ρB) ≤ Ec(ρdeloc) are asserted, with the premise that the pure state minimizes and the completely delocalized state maximizes the participation ratio at fixed coherence C deferred to the SM. SM Sec. III contains no extremality proof: Eqs. (S12)–(S15) merely verify algebraic identities—substituting p̃n = χn e^{−αεn} and rn = qn e^{−αεn} reproduces Ec(ρpur) and Ec(ρdeloc) exactly—using free parameters α, χn, qn. Both extremal states are non-unique at fixed C (for d=3, C=1 bit, pure states (0.8,0.1,0.1) and (0.5,0.5,0) give different Ec), and monotonicity of Ec in PR is not shown. The advertised rigorous bounds are therefore unproven and, as stated, not well-posed.","section":"Prop. 2(i), Eq. (10); SM Sec. III"},{"comment":"Proposition 1 is true by construction: Eq. (5) defines Ec(ρB) = E(ρB) − Ei(ρB), so E = Ec + Ei is an identity, and Ei = 0 in the absence of population inversion follows immediately from the fact that the dephased state equals its passive state precisely when populations are non-increasing. The classification into stages I–III and the JC/TC dynamics exhibiting these stages are substantive and worth retaining, but presenting the additive decomposition as a 'proposition' overstates the result; the text should label it a definitional observation.","section":"Proposition 1"},{"comment":"The enhance/maintain/suppress classification is derived only as a local, infinitesimal-gradient analysis for three-level, equally spaced Hamiltonians (SM Eqs. (S16)–(S19), Tables S1–S2). The global statements—bounds for each population ordering, critical points at Sdiag = log n, and the claimed extension to d ≥ 4 (SM Sec. V)—are not proved; the scatter plots in Figs. 2(c)–(f) display trends but cannot certify bounds. If these are intended as rigorous claims, a complete proof is required; otherwise the proposition should be reframed as a numerical observation.","section":"Prop. 2(ii); SM Sec. IV"}],"minor_comments":[{"comment":"The sentence after Eq. (10) stating that rn = qn e^{−αεn} and p̃n = χn e^{−αεn} 'are the eigenvalues of ρpur_B and the dephased state corresponding to ρdeloc_B' is confusing and, as written, incorrect: a pure state has eigenvalues (1,0,…,0). Presumably rn are the eigenvalues of ρdeloc_B and p̃n the populations of the dephased state of ρpur_B; please clarify.","section":"Eq. (10) notation"},{"comment":"The justification for Prop. 3—'stronger localization increases the population of ρ̃B in lower energy levels, thereby reducing locked energy'—is heuristic: participation ratio measures spread, not energy order. The numerics support a tendency, but the text should present this as a heuristic argument, not a derivation.","section":"Prop. 3, analytical argument"},{"comment":"The corollary 'the lower bound of ergotropy is incoherent ergotropy' requires Ec ≥ 0 (equivalently E ≥ Ei), which is asserted without proof. If this is a standard result, a reference should be given; otherwise an argument is needed.","section":"Corollary after Prop. 1"},{"comment":"Minor presentation issues: 'tow- and three-level QBs' in the Fig. 3 caption should read 'two-'; the two uses of E for stored energy and ergotropy should be disambiguated throughout; and the claim that the new bounds are 'tighter' than Ref. [17] should be supported by a quantitative comparison.","section":"Fig. 3 caption; general typos"},{"comment":"The eigenvalue labeling r1 ≤ r2 in SM Eq. (S22) is opposite to the ordering convention r1 ≥ r2 used in the main text near Eq. (3).","section":"SM Eq. (S22)"}],"recommendation":"reject","confidential_remarks":"The stress-test concern lands: SM Sec. III, which is the only support for Eq. (10), contains algebraic identities rather than a proof, and the extremal states are not uniquely defined by fixing coherence. This is a load-bearing defect in the paper's central advertised claim (Prop. 2(i), the 'rigorous framework'), not a local presentation issue. The numerical methodology and battery examples are competent and could form the basis of a revised, reframed submission, but the current manuscript's headline claims cannot be supported by local edits."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Short version: this paper has a clear narrative and some useful numerical observations, but the central advertised results do not hold up. The decomposition E = Ec + Ei is true by definition, and the vanishing of Ei without population inversion is immediate from the definition of the passive state. Those are framing devices, not theorems.\n\nWhat is genuinely useful: the random sampling is careful, the FERS and FPRS methods are sensible, and the JC, TC, and open-Dicke examples illustrate the qualitative behavior. The conclusions that coherence and purity generally improve work extraction match the existing literature and are probably correct.\n\nThe problems start when the paper claims rigor. Equation (10) is stated as a theorem about upper and lower bounds on coherent ergotropy for fixed coherence, but the supplemental material does not prove it. It rewrites the expressions using free parameters α, χ_n, q_n. That is an algebraic identity, not an extremality argument. The pure and 'completely delocalized' states are not uniquely defined for a given coherence, so the claimed bounds are not even well-posed.\n\nThe SM also contains a concrete arithmetic error in the global inversion case: for p1 ≤ p2 ≤ p3, the incoherent ergotropy is 2(p3−p1), not 2(p3−p2). This error feeds into the inequalities and Table S1 that support Proposition 2(ii), so those results are incorrect as written.\n\nThere is also a small but annoying typo: Eq. (6) defines charging efficiency as R = E/E, which is identically 1. It is clearly meant to be something else, but it signals sloppy proofreading of a formula that the paper relies on.\n\nIn short, the paper is not a rigorous framework yet. It is a collection of plausible trends with examples. If the authors can prove the bounds or remove them, and fix the SM arithmetic, then a revised version could be a modest contribution. As it stands, I would not send it to referees; I would return it to the authors with these specific points.","headline":"The qualitative story is plausible, but the advertised rigorous bounds are neither proved nor well-posed, and an arithmetic error in the SM undermines part of the main proposition.","tokens_in":22145,"tokens_out":8659,"would_cite":false,"duration_ms":82885,"reading_group":"no","serious_thinker":"no","would_accept_peer_review":false},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":[],"pacs":[],"model":"deepseek-v4-flash","headline":"This paper claims that the extractable energy of a quantum battery—its ergotropy—decomposes into coherent and incoherent parts, and that population inversion, coherence, participation ratio, and purity control the size of each part.","keywords":["ergotropy","quantum batteries","coherent ergotropy","incoherent ergotropy","population inversion","participation ratio","charging efficiency","quantum coherence"],"falsifier":"A numerical search over three-level systems that fixes the coherence C and finds a state whose coherent ergotropy lies outside the band between Ec for the pure state and Ec for the 'completely delocalized' state would falsify Proposition 2(i); a simpler check is whether the delocalized state is uniquely determined by C, since non-uniqueness would make the upper bound ambiguous. The Supplemental Material's tables S1 and S2 also give explicit population-change conditions for enhancement or suppression of incoherent ergotropy, so preparing those populations and measuring whether Ei rises, stays f","tokens_in":21141,"feed_emoji":"⚡","tokens_out":8248,"duration_ms":70749,"temperature":0.7,"pith_summary":"The paper tries to establish a model-independent account of ergotropy—the maximum work extractable from a quantum battery through cyclic unitary operations—as the sum of two contributions: coherent ergotropy, which arises from quantum coherence, and incoherent ergotropy, which arises from the ordering of energy-level populations. Its central claim is that during charging, population inversion decides which contribution matters: with no inversion, ergotropy is purely coherent; with local or global inversion, the total is coherent plus incoherent. Based on large random sampling of states and Hamiltonians, it claims that coherence and participation ratio (how spread out the state is) enhance coherent ergotropy, while incoherent ergotropy can be enhanced, held constant, or suppressed depending on diagonal entropy (the entropy of the population distribution), participation ratio, and population ordering. It also claims that ergotropy is bounded below by incoherent ergotropy and above by stored energy, and that higher purity lowers locked energy and raises charging efficiency. If these claims hold, they give concrete design rules for building quantum batteries that release a larger fraction of stored energy.","feed_headline":"Ergotropy splits into coherent and incoherent parts","feed_subtitle":"Population inversion and participation ratio now bound extractable work in general quantum batteries.","key_machinery":"The central object is the decomposition of ergotropy into coherent and incoherent parts: E(ρB) = Ec + Ei, where Ec is the difference between the energy of the dephased state's passive state and the passive state of ρB, and Ei is the work extractable from the dephased state. The split is carried by comparing the ordering of the eigenvalues of ρB and of its dephased version against the ordered energy levels of the battery Hamiltonian. The analysis is organized by three quantifiers—coherence C, participation ratio PR = 1/Tr[ρ^2], and purity P = Tr[ρ^2]—and is supported by random sampling of states and Hamiltonians plus verification in two standard cavity-QED battery models.","core_discovery":"The core claim is Proposition 2: for a fixed amount of coherence, the coherent ergotropy of a battery state is bounded below by the coherent ergotropy of a pure state with that coherence, and bounded above by the coherent ergotropy of a completely delocalized state with the same coherence; both coherence and participation ratio push coherent ergotropy upward. The incoherent ergotropy is not monotone in any single resource: depending on the ordering of energy-level populations and on diagonal entropy or participation ratio, it can increase, stay the same, or decrease, with special extremal and critical points at diagonal entropy log n. The paper also establishes Proposition 1, that ergotropy","pith_inferences":["The paper's claimed upper bound depends on a 'completely delocalized state' that is not uniquely defined for a fixed coherence; a rigorous formulation would need to specify that state (e.g., as the maximum-participation-ratio state with given coherence) and then the bounds could be tested in dimension four and above.","One testable extension is to check whether the same coherent/incoherent decomposition and population-ordering rules control other work-extraction figures of merit, such as local ergotropy or extractable work under energy-conserving operations, which the paper does not address.","The random-sampling evidence suggests a practical recipe for battery design—keep the state pure and coherent, and choose population orderings that avoid suppression—but turning this recipe into a guarantee will require proving the extremality claims rather than relying on numerical sampling.","The critical points at diagonal entropy log n are a sharp, checkable prediction: preparing three-level populations near those points should show kinks in the incoherent ergotropy's response to small population changes."],"forward_implications":["In charging stages without population inversion, all extractable work is coherent; incoherent ergotropy vanishes, so coherence is the sole resource for extraction.","Whenever local or global population inversion develops, total ergotropy is the sum of coherent and incoherent contributions, giving a lower bound of Ei and an upper bound of stored energy for any fixed population distribution.","For fixed coherence, coherent ergotropy is bracketed between the pure-state and maximally delocalized-state values, so those two states define the achievable extraction window.","In global population inversion, smaller diagonal entropy or participation ratio generally yields larger incoherent ergotropy, while in local inversion the effect depends on population ordering and can switch behavior at diagonal entropy log n.","Increasing purity suppresses locked energy and improves charging efficiency, reaching full extractability for a pure battery state."],"fun_headline_variants":["Quantum battery work: coherent and incoherent components","Bounds on extractable work in quantum batteries","Coherence and purity shape quantum battery charging","Incoherent ergotropy shows complex resource behavior"],"cache_read_input_tokens":2304,"weakest_assumption_plain":"The argument rests on the unproved assertion that, for a fixed amount of coherence, the pure state and the completely delocalized state have the minimal and maximal participation ratios respectively and therefore bound the coherent ergotropy; if that extremality or the uniqueness of the delocalized state fails, the claimed bounds in Eq. (10) do not follow.","fun_headline_variants_meta":{"raw":{"variants":["Quantum battery work: coherent and incoherent components","Bounds on extractable work in quantum batteries","Coherence and purity shape quantum battery charging","Incoherent ergotropy shows complex resource behavior"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.00067,"raw_usage":{"total_tokens":2896,"prompt_tokens":755,"completion_tokens":2141,"prompt_tokens_details":{"cached_tokens":256},"prompt_cache_hit_tokens":256,"prompt_cache_miss_tokens":499,"completion_tokens_details":{"reasoning_tokens":2083}},"tokens_in":499,"tokens_out":2141,"duration_ms":16659,"temperature":1.0,"reasoning_tokens":2083,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-03T13:59:47.313282+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"A numerical search over three-level systems that fixes the coherence C and finds a state whose coherent ergotropy lies outside the band between Ec for the pure state and Ec for the 'completely delocalized' state would falsify Proposition 2(i); a simpler check is whether the delocalized state is uniquely determined by C, since non-uniqueness would make the upper bound ambiguous. The Supplemental Material's tables S1 and S2 also give explicit population-change conditions for enhancement or suppression of incoherent ergotropy, so preparing those populations and measuring whether Ei rises, stays f","supporting_citations":[],"review_version":1}