{"id":"ddf369d7-c751-4a64-bb89-90f768c4b75e","arxiv_id":"2502.02860","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":5.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"For X-states, quantum battery capacity obeys a monogamy inequality, and the leftover capacity can be redistributed to subsystems by a global unitary.","lead":"This paper proves that in quantum batteries made of X-shaped two-qubit or multi-qubit states, the energy a subsystem can store on its own never exceeds the whole battery's capacity. It also shows that a global unitary rotation can push some of the leftover 'residual' capacity into individual qubits.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Theorem 3 is gated on Lemma 3, which the paper asserts without proof; the gap is genuine, though an independent convexity argument indicates Lemma 3 is true, so the n-qubit monogamy claim is likely correct but not established as written.","rationale":"The reader's weakest-assumption analysis correctly identifies Lemma 3 as the load-bearing entry point of the n-qubit theorem. My independent analysis confirms that Lemma 3 is true: the battery capacity restricted to diagonal states is a support function of a permutahedron and hence convex; for any fixed choice of signs of the subsystem polarization terms, concavity of L_σ − C forces the maximum to occur on a pure state, and the pure-state check succeeds because the spectral range of H is 2√((Σ ε_i)^2+γ^2). Thus Theorem 3 is mathematically sound in substance. The paper, however, merely asserts Lemma 3 and also contains a demonstrably false intermediate inequality in the proof of the two-qubit Lemma 2 that the n-qubit statement is said to generalize. These are genuine proof gaps that a conditional verdict should require the authors to close. No evidence of a false central claim was found, so the reader's CONDITIONAL verdict should remain unchanged rather than being strengthened or weakened.","tokens_in":15725,"tokens_out":27101,"duration_ms":234493,"concrete_test":"Analytically re-derive Lemma 3: for each σ ∈ {±1}^n, define the linear functional L_σ(p) = 2 Σ_i ε_i σ_i P_i(p) on the simplex of diagonal density matrices. Show that C(p) is convex on this simplex because C(p) = max_π Σ_x p_x v_{π(x)} with v_i = ε_i − ε_{d−1−i} nonincreasing. Then L_σ − C is concave, so its maximum over the simplex is attained at an extreme point e_x. At e_x, L_σ(e_x) ≤ 2 Σ_i ε_i ≤ 2 √((Σ_i ε_i)^2 + γ^2) = C(e_x). This proves L_σ(p) ≤ C(p) for every σ and all p; maximizing over σ yields Lemma 3. If this derivation is carried out correctly, Eq. (14) and hence Theorem 3 are established for all n.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central n-qubit monogamy claim (Theorem 3, Eq. 16) is derived by combining Schur-convexity (Prop. 1) with Lemma 3, the n-qubit generalization of the incoherent-state inequality. Lemma 3 is stated without proof ('the result in Lemma 2 still holds in the n-qubit system'), and the second inequality in Theorem 3's proof is exactly Lemma 3 applied to the decoherent state τ. If Lemma 3 fails, Eq. (16) fails for n>2. The base-case Lemma 2 also contains an invalid step: the bound 2(α1+α3−α2−α4)εB ≥ 2|ρ11+ρ33−ρ22−ρ44|εB is false in general. For example, with diagonal entries (10,8,9,1)/28, the sorted values give α1+α3−α2−α4 = 8/28, while |ρ11+ρ33−ρ22−ρ44| = 10/28. Thus the proof chain as written is not rigorous. However, the underlying inequality is salvageable: for every fixed sign vector σ, the functional L_σ(p)−C(p) is concave on the probability simplex, and its maximum occurs at a pure state, where it is bounded by 2√((Σ ε_i)^2+γ^2)−2Σ ε_i ≥ 0. This proves Lemma 3 for all n. The concern is therefore a missing proof rather than a false central claim.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The manuscript studies the distribution of quantum battery capacity, defined in Eq. (1) from ref. [23], for X-states and the Hamiltonian (2)/(13). For two-qubit X-states it claims C(ρ_A;H_A)+C(ρ_B;H_B) ≤ C(ρ_AB;H_AB) (Theorem 1), with equality for incoherent states whose diagonal elements satisfy one of the orderings in Eq. (10). The difference is introduced as residual battery capacity (RBC) and split into incoherent and coherent parts. The paper then claims an n-qubit generalization (Theorem 3, Eq. (16)), stronger three-qubit inequalities (Theorem 5), and unitary protocols that transfer residual capacity to subsystems (Theorems 2 and 4). The proofs rely on Schur-convexity (Prop. 1), the majorization of diagonal elements by eigenvalues (Lemma 1), and two lemmas on the incoherent-state capacity inequality (Lemmas 2 and 3). Examples with Bell-diagonal and white-noise GHZ states illustrate the concepts.","tokens_in":16169,"tokens_out":15969,"duration_ms":127312,"significance":"The paper introduces a useful conceptual tool, the residual battery capacity and its coherent/incoherent decomposition, and proposes a monogamy-type inequality for battery capacity, a quantity of growing interest in quantum thermodynamics. If rigorously established, the inequalities would be a new distribution relation for a thermodynamic resource and would complement existing monogamy results for entanglement and other correlations. The paper is largely self-contained, uses standard majorization techniques, and provides concrete worked examples. The main weakness is rigor: the proof of the key two-qubit lemma contains an invalid inequality, and the n-qubit generalization is asserted without proof. The framework is promising, but the central theorems are not established as written.","major_comments":[{"comment":"The proof of Lemma 2 contains a false coefficient-wise inequality. After sorting the diagonal elements as α1 ≥ α2 ≥ α3 ≥ α4, the paper claims 2(α1+α3−α2−α4)ε_B ≥ 2|ρ11+ρ33−ρ22−ρ44|ε_B. This is not true in general. For example, take (ρ11,ρ22,ρ33,ρ44) = (10,8,9,1)/28, so that α1=10/28, α2=9/28, α3=8/28, α4=1/28. Then α1+α3−α2−α4 = 8/28, while |ρ11+ρ33−ρ22−ρ44| = 10/28. Thus the chain of inequalities in Lemma 2 is invalid, and because Theorem 1 invokes Lemma 2, the proof of Theorem 1 is incomplete as written. The statement of Lemma 2 may be salvageable, but a correct proof is required; the subsequent claim that Eq. (9) is equivalent to the four orderings in (10) also depends on this invalid step and should be re-derived.","section":"Section II, Lemma 2 (proof)"},{"comment":"Lemma 3, the n-qubit generalization of the incoherent-state inequality, is stated without proof: the text says 'the result in Lemma 2 still holds in the n-qubit system' and then asserts Eq. (14). This lemma is load-bearing: Theorem 3's proof uses Lemma 3 as the second inequality to obtain Eq. (16). The spectrum of the n-qubit Hamiltonian (13) does not reduce to the simple two-pair structure used in the two-qubit proof, so the generalization is not automatic. A complete proof of Lemma 3 must be supplied, or Theorem 3 should be reformulated as a conjecture supported by evidence.","section":"Section III, Lemma 3 and Theorem 3"},{"comment":"Theorem 4 is stated without a proof; the sentence 'Similar to the proof of Theorem 2' is not a derivation. The theorem claims that for any n-qubit X-state there exists a unitary evolution that yields a subsystem capacity gain. The two-qubit proof relies on an explicit unitary, but the n-qubit case requires a general construction or existence argument, including the claim that a product of unitaries can always transform the diagonal elements into one of the 2^n orderings that saturate Eq. (14). This should be proved explicitly.","section":"Section III, Theorem 4"},{"comment":"In the proof of Theorem 5, the maximization step is asserted without proof: 'the case where C(τ_AB;H_AB)+C(τ_C;H_C) takes the maximum value, which corresponds to µ1+µ2 = ω1+ω2+ω3+ω4, ...' and the subsequent expression for C(τ_C;H_C). Since the theorem's three inequalities (22) depend directly on this characterization of the maximum, a rigorous argument (or a citation) is needed to show that the proposed pairing of the diagonal elements indeed maximizes the sum over all permutations.","section":"Section III, Theorem 5 (proof)"}],"minor_comments":[{"comment":"The symbol LD is used for the lower bound without being defined; please introduce it explicitly.","section":"Section II, Eq. (7)"},{"comment":"The phrase 'equivalent to' for the equality conditions should specify the parameter regime (e.g., generic ε_A, ε_B with ε_A>ε_B, or with an explicit note about degenerate cases such as ε_A=ε_B) because the equality condition may fail to be necessary in degenerate cases.","section":"Section II, after Eq. (9)"},{"comment":"The 'genuine battery capacity' C_{A_i} is never defined. The bounds in Eq. (20) are not meaningful unless C_{A_i} is precisely specified (e.g., as a maximization over unitaries on the full system) or the observation is removed.","section":"Section III, Observation 1"},{"comment":"There are numerous grammatical and typographical issues, including 'satisfied its diagonal elements' in Theorem 3, 'the equal sign' instead of 'the equality', missing accents in references, and inconsistent notation such as ρ_i^A versus ρ_{A_i}; a careful proofreading pass is needed.","section":"Throughout"},{"comment":"The formula for ∑_i C(ρ̃_{A_i};H_{A_i}) = (1.2+0.2n)β is correct for the stated choices of ε_Ai, but the derivation is terse; a short explanation would improve readability.","section":"Section III, Example 3"}],"recommendation":"major_revision","confidential_remarks":"The central results appear likely to be correct, but the manuscript in its current form is not rigorous enough for publication: the invalid step in Lemma 2 and the unproved Lemma 3 are the main blockers. The paper's scope is appropriate for a quantum information journal if the proofs are completed. The authors should also clarify the novelty relative to their own prior work (refs. [43,45]) and consider whether the 'genuine battery capacity' notion in Observation 1 is sufficiently well-defined."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"The headline is that the paper has a genuine, modest result: for two-qubit X-states, battery capacity is monogamous under the Hamiltonian in Eq. (2), and the proof via majorization (Lemma 1) plus Schur-convexity (Prop. 1) is essentially one line and correct. The RBC split into coherent/incoherent parts is a useful way to account for where the capacity difference lives, and the unitary-optimization examples are concrete. For that part, the paper earns a serious look.\n\nThe soft spots are in the generalizations. Lemma 2's proof contains a false bound: the inequality 2(α1+α3−α2−α4)εB ≥ 2|ρ11+ρ33−ρ22−ρ44|εB does not hold for all labelings; the reader's counterexample with diagonal (10,8,9,1)/28 works. The lemma itself still looks true with a different ordering argument, so this is a fixable proof bug, not a false theorem. More important, Lemma 3 (the n-qubit incoherent-state inequality) is asserted with no proof: the paper says \"the result in Lemma 2 still holds\" and moves on. Theorem 3 rests directly on it, so the n-qubit monogamy claim is not established as written. The stress-test note gives an independent convexity argument that the lemma is true, which supports the conclusion but does not appear in the paper. In a revision, that proof has to be supplied. Theorem 5's proof also maximizes C(τAB)+C(τC) at a particular grouping without justifying that maximum; the claim may be true but the step is not rigorous as written.\n\nThe citation pattern is fine; [23] is the legitimate source of the capacity definition and Schur-convexity, and the self-citations are contextual.\n\nBottom line: this is for the quantum-battery community and deserves a serious referee. The two-qubit result is correct and the n-qubit extension is probably correct but currently proofless at a load-bearing point. I would send it to peer review with major-revision expectations: fix Lemma 2's proof, prove Lemma 3, and tighten Theorem 5.","headline":"A plausible two-qubit capacity monogamy result with a real proof gap in the n-qubit extension; refereeable, but the n-qubit theorem is not established as written.","tokens_in":16639,"tokens_out":1905,"would_cite":false,"duration_ms":17879,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":[],"pacs":["04.70.Dy","03.65.Ud","04.62.+v"],"model":"deepseek-v4-flash","headline":"Quantum battery capacity obeys a monogamy bound for X-states: the whole system always stores at least as much as the sum of its parts.","keywords":["quantum battery capacity","monogamy of capacity","X-states","residual battery capacity","majorization","unitary evolution","three-qubit X-state","GHZ state"],"falsifier":"Take a specific three-qubit incoherent X-state, such as diagonal entries $(8,7,4,3,2,1,6,5)/36$, and compute $\\sum_i C(\\tau_{A_i};H_{A_i})$ versus $C(\\tau;H)$ for small $\\gamma>0$. If any such state violates Eq. (14), the claimed $n$-qubit monogamy relation is false; the equality-ordering conditions can also be checked by brute force for $n=3$.","tokens_in":15500,"feed_emoji":"🔋","tokens_out":4235,"duration_ms":38604,"temperature":0.7,"pith_summary":"This paper tries to establish a monogamy-type inequality for quantum battery capacity: for an n-qubit X-state, the battery capacities of the individual qubits add up to no more than the capacity of the whole system. The authors prove the two-qubit case in full, define the leftover amount as residual battery capacity (RBC), split it into coherent and incoherent parts, and show that a global unitary can move part of it into the subsystems. They assert the n-qubit generalization as a theorem and give stronger three-qubit inequalities, together with counterexamples to some intuitively plausible three-qubit relations. The interest is practical: if true, it bounds how much storable energy can be localized in parts of a quantum battery and suggests unitary redistribution protocols.","feed_headline":"Sum of local battery capacities never exceeds the whole","feed_subtitle":"For X-states, total quantum battery capacity dominates its parts; unitary evolution can redistribute the leftover.","key_machinery":"The workhorse is the battery capacity functional $C(\\rho;H)=\\sum_{i=0}^{d-1}\\varepsilon_i(\\lambda_i-\\lambda_{d-1-i})$ for eigenvalues sorted decreasingly, which is Schur-convex in the state's spectrum. Lemma 1 (diagonal majorization by eigenvalues) turns any X-state inequality into an incoherent-state inequality; Lemma 2 performs the explicit two-qubit incoherent calculation using the four Hamiltonian eigenvalues $\\pm\\sqrt{(\\varepsilon_A+\\varepsilon_B)^2+\\gamma^2}$ and $\\pm\\sqrt{(\\varepsilon_A-\\varepsilon_B)^2+\\gamma^2}$. Lemma 3, the unproved $n$-qubit extension of Lemma 2, is the step that Theorem 3 leans on.","core_discovery":"The central claim is that battery capacity distributes like an entanglement-type monogamy: $C(\\rho_{A_1};H_{A_1})+\\cdots+C(\\rho_{A_n};H_{A_n}) \\le C(\\rho;H)$ for every $n$-qubit X-state $\\rho$ under the Hamiltonian $H = \\sum_i \\varepsilon_{A_i}\\sigma_3^{(i)} + \\gamma\\sigma_1^{\\otimes n}$. For two qubits the proof runs through majorization: the diagonal of $\\rho$ is majorized by its spectrum, so the decohered state $\\tau$ has no larger capacity, and an explicit incoherent-state inequality for $\\tau$ gives the bound. Equality occurs for incoherent states with certain diagonal orderings when $\\gamma=0$. The difference $\\Delta C$ is decomposed as $\\mathrm{RBC}_{\\mathrm{ic}} + \\mathrm{RBC}_{\\mathrm{c}}$, and there is always a unitary that raises the subsystem capacity sum, at an efficiency that decreases as the interaction parameter $\\gamma$ grows.","pith_inferences":["If Lemma 3 fails for some $n>2$, the claimed $n$-qubit monogamy relation would collapse; a direct numerical scan of random incoherent three-qubit X-states could test Eq. (14) independently of the two-qubit proof.","The capacity-redistribution unitary in Theorem 4 resembles a state-correlation relocation operation; it is plausible that similar gains exist for non-X states, though the present proof does not cover them.","The equality-order conditions for $n>2$ might characterize states with vanishing coherent residual capacity, which would give a clean operational meaning to zero coherent RBC beyond three qubits.","The capacity-transfer efficiency formula in Example 3 suggests an experimentally testable trade-off: increasing the coupling $\\gamma$ reduces how much residual capacity can be extracted into subsystems, which could be measured in a small multi-qubit battery."],"forward_implications":["Within X-states, the battery capacity that can be stored in individual qubits is limited by the total capacity, so no local charging protocol can make subsystem capacities exceed the whole.","The equality conditions for $\\gamma=0$ identify incoherent states whose entire battery capacity is stored locally, with no residual capacity.","The decomposition of residual battery capacity into coherent and incoherent parts gives a quantitative measure of how much storage is due to coherence versus incoherent population differences.","A global unitary can transfer part of the residual capacity into subsystems without changing the total capacity, providing an explicit redistribution protocol.","For three-qubit X-states, stronger distributive relations hold: the total capacity dominates each bipartite-plus-single capacity plus the coherent residual.","Some intuitively plausible three-qubit relations, such as $C(\\rho_{ABC}) \\ge C(\\rho_{AB})+C(\\rho_{AC})-C(\\rho_A)$, fail, and explicit counterexamples are given."],"supporting_citations":[{"why":"Defines the battery capacity functional and proves its Schur-convexity; the whole paper builds on this quantity.","marker":"[23]"},{"why":"Supplies the Hardy–Littlewood–Pólya theorem used in Lemma 1 to majorize the diagonal by the spectrum.","marker":"[58]"},{"why":"Provides the monogamy-of-entanglement template that motivates the capacity inequality.","marker":"[46]"},{"why":"Gives the Bell-diagonal-state example and the local-projective-measurement setting used in Example 1.","marker":"[45]"}],"fun_headline_variants":["Quantum battery capacity: parts never beat the whole","X-state batteries: local capacity sum capped by total","Battery capacity monogamy: a new quantum rule","For X-states, whole battery beats the sum of parts","Unitary moves can boost local quantum battery capacity"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The n-qubit incoherent inequality (Lemma 3) is asserted without proof; Theorem 3 collapses if for some $n\\ge 3$ an incoherent X-state has subsystem capacity sum larger than total capacity.","fun_headline_variants_meta":{"raw":{"variants":["Quantum battery capacity: parts never beat the whole","X-state batteries: local capacity sum capped by total","Battery capacity monogamy: a new quantum rule","For X-states, whole battery beats the sum of parts","Unitary moves can boost local quantum battery capacity"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000505,"raw_usage":{"total_tokens":2444,"prompt_tokens":905,"completion_tokens":1539,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":521,"completion_tokens_details":{"reasoning_tokens":1463}},"tokens_in":521,"tokens_out":1539,"duration_ms":10167,"temperature":1.0,"reasoning_tokens":1463,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-09T10:50:26.298994+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Take a specific three-qubit incoherent X-state, such as diagonal entries $(8,7,4,3,2,1,6,5)/36$, and compute $\\sum_i C(\\tau_{A_i};H_{A_i})$ versus $C(\\tau;H)$ for small $\\gamma>0$. If any such state violates Eq. (14), the claimed $n$-qubit monogamy relation is false; the equality-ordering conditions can also be checked by brute force for $n=3$.","supporting_citations":[{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Defines the battery capacity functional and proves its Schur-convexity; the whole paper builds on this quantity."},{"cited_title":"Horodecki and M","cited_arxiv_id":null,"evidence_quote":"Supplies the Hardy–Littlewood–Pólya theorem used in Lemma 1 to majorize the diagonal by the spectrum."},{"cited_title":"Dynamics of quantum battery capacity under Markovian channels","cited_arxiv_id":"2408.03797","evidence_quote":"Gives the Bell-diagonal-state example and the local-projective-measurement setting used in Example 1."}],"review_version":1}