{"id":"94b0b41e-f920-4ef5-bd29-b005666ae78e","arxiv_id":"2501.12000","paper_version":1,"verdict":"REJECT","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"high","formal_verification":"none","parameter_count":0,"one_line_summary":"The paper proposes the bound |P(t)| ≤ 12 g k q ||H_C|| for instantaneous charging power of a quantum battery, depending on charger/battery locality (k,q) and per-site energy g.","lead":"This preprint claims a new upper bound on quantum battery charging power, set by the locality of both Hamiltonians and the energy per cell, and argues entanglement is not the key resource. The bound would be useful for designing faster quantum batteries, but the proof in the supplemental has gaps that undermine the central claim.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The proof's hard cutoff of the AKLH exponential tail is not an upper bound; the omitted tail can contribute terms of order gq (or gq^2/k) that may exceed the claimed 12gkq constant.","rationale":"The Reader's verdict of REJECT is well-supported. The most load-bearing defect in the manuscript is exactly the replacement of the AKLH exponential decay by a hard cutoff in the Supplemental Material. The theorem's proof depends on bounding a sum over energy transitions; the AKLH lemma provides an exponential upper bound, not a hard zero beyond a threshold. At the threshold ΔE = 4gk the exponential factor is order unity when A ≈ gk, so the tail can contain matrix elements of order ‖H_C‖. I estimated the tail contribution: for q ≈ 1 it is O(g)‖H_C‖, which is subdominant to 12gk‖H_C‖ for k ≥ 1, but for larger q the tail scales as gq²/k and can dominate 12gkq. Thus the claimed universal constant is not justified. The manuscript also asserts the q-factor in Proposition 2 through a commuting decomposition without carrying through the AKLH sum for a q-local battery, so the extension to the interacting case is incomplete. These are internal gaps, not mere disagreement with consensus. The paper has genuine positives: the g-extensive condition is a useful normalization, the locality-of-energy idea is interesting, and the examples are clearly presented. But a central upper bound whose proof is invalid warrants rejection, or at most a conditional resubmission with a repaired derivation. My verdict is UNCHANGED relative to the Reader's REJECT, because the concern is the same and it is decisive.","tokens_in":17724,"tokens_out":12312,"duration_ms":125591,"concrete_test":"Redo the summation in Eq. (9) of the Supplemental Material without imposing the hard cutoff. Replace the step H_C_{m,m'}=0 beyond |m−m′|>4gk/ϵ+1 with the exponential bound ‖hX‖e^{−(|m−m′|ϵ−4A)/(2gq)} for all m,m′, then optimize over ϵ and the free parameter p. Compute the resulting prefactor in front of ‖H_C‖. If the optimization yields a term of order gq²/k (or any term exceeding 12gkq), the proof gap is real. If the result is provably ≤ 12gkq for all g,k,q, the bound may be salvageable with a different argument.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central bound |P(t)| ≤ 12gkq‖H_C‖ rests on the step in the Supplemental Material where H_C_{m,m'} is set to zero for |m−m′| > 4gk/ϵ + 1. This replaces the AKLH exponential decay e^{−(ΔE−4A)/(2gq)} by a step function. The lemma only gives an upper bound, and at ΔE = 4gk with A ≈ gk the exponential factor is O(1), so the discarded tail is not negligible. Summing the tail with the exponential bound over all |m−m′| beyond the cutoff yields a contribution roughly proportional to ‖H_C‖(2gq + gq²/k) when ϵ ≈ 4gk, which can exceed 12gkq‖H_C‖ for q ≳ k². Because the derivation of Proposition 1 already uses this invalid cutoff, and because Proposition 2 is obtained by applying the same flawed bound to commuting q-local components (with the factor q asserted rather than derived), the headline claim is not established by the provided arguments. This is not a stylistic issue; it is the load-bearing step of the proof. The paper may state a true conjecture, but the central bound lacks a valid derivation.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper claims to identify Hamiltonian k-locality and the g-extensive energy condition as the key resources for quantum battery charging power, rather than entanglement. It states two main propositions: Proposition 1 bounds instantaneous charging power by 12gk||H_C|| for a non-interacting battery charged by a k-local g-extensive charger; Proposition 2 extends this to 12gkq||H_C|| when both battery and charger are interacting, q-local and k-local and g-extensive. The main text gives formal statements and heuristic arguments, while the Supplemental Material contains the derivations: a power bound via |P(t)| ≤ ||[H_C,H_B]||, discretization of the battery energy, use of the AKLH lemma to bound off-diagonal matrix elements, a hard-cutoff approximation at energy difference 4gk, and a construction of a commuting Hamiltonian that replaces the original charger (and battery) with an energetically equivalent one. The paper also discusses implications: entanglement is not a key resource, locality of energy, and design principles for high-power chargers.","tokens_in":17976,"tokens_out":3864,"duration_ms":33510,"significance":"If the bound in Proposition 2 were rigorously established, the result would be significant: it would provide a general locality-based upper bound on quantum battery charging power that depends on system size only through the norms of the Hamiltonians, and it would clarify the role of entanglement versus locality. The paper also gives a falsifiable prediction that all-to-all long-range models with extensive energy should not show the extensive power advantage previously claimed, and it claims a constructive equivalence between arbitrary g-extensive k-local Hamiltonians and commuting-term circuits. These are valuable research directions. However, the significance is currently conditional because the central proof step in the Supplemental Material is not valid as written and the factor q in Proposition 2 is asserted without a detailed derivation.","major_comments":[{"comment":"The derivation of the hard cutoff is not an upper bound. The text sets H_C_{m,m'} = 0 for |m-m'| > 4gk/epsilon + 1, based on the AKLH bound e^{-(Delta E - 4A)/(2gq)}. But the lemma gives an exponential upper bound, not a hard cutoff: at Delta E = 4gk with A close to gk, the exponential factor is O(1), so the omitted tail is not negligible. Summing the tail over all |m-m'| beyond the cutoff can contribute a term of order ||H_C||(2gq + g q^2/k) when epsilon is chosen near 4gk, which can exceed the claimed 12gk||H_C|| constant for q of order k^2 or larger. Since Proposition 1 relies on this cutoff, the bound 12gk||H_C|| is not established by the provided argument.","section":"Supplemental Material, 'Bounding the power using AKLH lemma', Eqs. (9)-(14)"},{"comment":"The proof of Proposition 2 is not provided in detail. The text states that any q-local g-extensive battery Hamiltonian can be decomposed as a sum of 1/\\bar q commuting q-local gq-extensive terms, with H_B = (1/\\bar q) \\sum_p \\bar H^B_p, and then applies the Proposition 1 bound to each commutator [H_C, \\bar H^B_p] to obtain 1/\\bar q \\sum_p 12gk(??) ||H_C||. The factor q in the final 12gkq appears to be inserted by hand; the preceding inequality in the Supplemental Material simply writes 12gkq without showing how the q emerges from the sum over p or how the locality and extensivity parameters of the \\bar H^B_p enter. The derivation of the bound for a single q-local battery term also inherits the invalid cutoff from the first major comment. Thus the central claim of Proposition 2 is not rigorously supported.","section":"Proposition 2 and Supplemental Material, 'Interacting battery and Interacting charger'"},{"comment":"The claim that any k-local g-extensive Hamiltonian can be replaced by an energetically equivalent Hamiltonian composed of commuting terms, with error O(epsilon N), is not proven. The construction is illustrated for a specific 2-local Hamiltonian, and the general statement is asserted with reference to a previous work. The error bound O(epsilon N) is stated without derivation, and it is unclear how this replacement preserves the charging power bound for all states and times, especially because the equivalence is only approximate and the paper's propositions require exact upper bounds. This is a load-bearing step for the claimed equivalence between unitary-circuit and Hamiltonian-based charging protocols, but it is not established in the present manuscript.","section":"Supplemental Material, construction of commuting Hamiltonian, paragraph 'Using the same construction...'"},{"comment":"Lemma 1 states ||Π h^C_X Π|| ≤ ||h^C_X|| e^{-(1/(2gq))[(m-m')epsilon - epsilon - 4A]} with A defined as the sum of norms of battery terms non-commuting with h^C_X. The example in Eq. (7) substitutes A = O(g) and arrives at an exponent with denominator 4g, but the exponent's derivation is not shown in detail. More importantly, the lemma as stated in the main text is taken from the AKLH lemma, and the proof in the Supplemental Material has the same issue as the hard cutoff: the bound is only valid when the minimizer p is positive, which requires Delta E > 2A; the formula is then written with a compact logarithm inequality that may not hold for all Delta E. The presentation is therefore not self-contained and the conditions under which the lemma applies are not precisely stated.","section":"Main text, Lemma 1 and Eq. (7)"}],"minor_comments":[{"comment":"The abstract contains an ungrammatical sentence: 'To derive this new bound, we have also addressed several open questions previously noted in the literature but lacks an explanation.' The intended meaning is clear, but the sentence should be rewritten.","section":"Abstract and Introduction"},{"comment":"The inequality in Eq. (4) has a typo: the subscript in one projector is written as 'j epsilon' instead of 'm epsilon'. The expression '||Π[mϵ,jϵ+ϵ)h^C_X Π[m'ϵ,m'ϵ+ϵ)||' should read '||Π[mϵ,mϵ+ϵ)h^C_X Π[m'ϵ,m'ϵ+ϵ)||'.","section":"Main text, Eq. (4)"},{"comment":"The factor 12 in 12gk||H_C|| and 12gkq||H_C|| is not explained in the main text; it is obtained only through a specific choice of epsilon in the Supplemental Material. The reader is not told whether the constant is optimal or whether a different epsilon could give a different prefactor.","section":"Main text, Proposition 1 and Proposition 2 statements"},{"comment":"The formula '\\bar h^C_X = epsilon h^C_X / ||h^C_X||' is written without the norm bars in the denominator rendered clearly, and the text immediately switches to an example without defining what 'epsilon' is in that context (presumably the same epsilon used in the energy discretization). This is confusing and should be clarified.","section":"Supplemental Material, definition of \\bar h^C_X"},{"comment":"Some references are incomplete or informal: [35] is 'In preparation (2025)', and [48] is 'See Supplemental Material', which is acceptable for a letter but should be clearly cited in the final version.","section":"References"}],"recommendation":"major_revision","confidential_remarks":"I share the reader's concern that the hard-cutoff step in the Supplemental Material is invalid as written and that the proof of Proposition 2 is a one-line assertion rather than a derivation. However, I am not fully convinced the gap is unfixable within the scope of the manuscript: the AKLH lemma is a legitimate external result, and the cutoff could potentially be repaired by retaining the exponential tail and performing the sum carefully, or by choosing epsilon differently so that the tail is exponentially small. The paper's claims are interesting and worth publishing if the proof can be repaired. I therefore recommend major revision rather than rejection. The editor should consider asking for a fully self-contained proof of Proposition 2, including explicit handling of the exponential tail and a precise derivation of the factor q."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"This paper makes a claim that would matter for the quantum battery community: a unified bound on instantaneous charging power controlled by charger locality k, battery locality q, and the single-cell energy scale g, with the twist that entanglement is not the key resource. The idea is genuinely appealing, and the framing that \"locality of energy\" rather than entanglement explains why boundary charging doesn't fill the bulk is a nice conceptual advance. They also propose a g-extensive condition to make fair comparisons between parallel and all-to-all protocols, and they sketch a construction showing any k-local g-extensive Hamiltonian is energetically equivalent to a commuting one. Those are real contributions.\n\nThe trouble is the proof of the headline bound. The supplemental derivation of Proposition 1 uses the AKLH lemma to get exponential suppression of large energy transitions, then replaces that exponential with a hard cutoff at 4gk. That step is not an upper bound. At the cutoff, the exponential factor is O(1) when A is close to gk, so the omitted tail can contribute a term of order ∥H_C∥ times something like gq + gq²/k, which for large q can exceed the claimed 12gkq∥H_C∥. The factor q in Proposition 2 is asserted in a one-liner, not derived, and the commuting reconstruction is only illustrated for one example. These aren't cosmetic issues; the central bound as written isn't established.\n\nSo my own take is close to the reader's: the paper likely contains a true conjecture, but the derivation doesn't deliver. That said, the paper deserves a serious referee. The question is well-posed, the prior literature is cited fairly, and the proposed bound is falsifiable and physically meaningful. A referee could insist on a correct proof, or a corrected bound, and the result would be worth publishing. I'd want to see the AKLH tail actually summed or a different argument before trusting the constant.\n\nFor a reading group, the paper is a good case study of why exponential tails can't be cut off arbitrarily. I wouldn't cite it for the bound, but I'd point to it as a promising direction with a gap.\n\nRecommendation: send it to peer review with a clear request to fix the proof of Propositions 1 and 2, or at minimum to bound the tail properly.","headline":"A promising unified bound on quantum battery charging power, but the proof's hard cutoff of the AKLH tail is not an upper bound and the central claim doesn't hold as written.","tokens_in":18481,"tokens_out":2350,"would_cite":false,"duration_ms":22646,"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":"Quantum battery charging power is bounded by Hamiltonian locality, not by entanglement: $|P(t)| \\le 12gkq\\|H_C\\|$.","keywords":["quantum battery","charging power bound","Hamiltonian locality","g-extensive condition","locality of energy","Arad-Kuwahara-Landau-Hastings lemma","entanglement resource","commuting Hamiltonian construction"],"falsifier":"Compute the tail that the hard cutoff discards in the supplemental derivation by summing $|m-m'| \\epsilon \\, \\alpha_m \\alpha_{m'} \\|h^C_X\\| e^{-(\\Delta E - 4A)/(2gq)}$ for $|m-m'| > 4gk/\\epsilon + 1$ at $A = gk$ and check whether the commutator norm exceeds $12gk\\|H_C\\|$; or simulate a small g-extensive $q$-local battery charged by a $k$-local g-extensive all-to-all charger and measure $\\max_t |P(t)|$ against $12gkq\\|H_C\\|$.","tokens_in":17472,"feed_emoji":"⚡","tokens_out":10643,"duration_ms":97055,"temperature":0.7,"pith_summary":"Quantum batteries store energy in arrays of quantum cells, and their practical value depends on how fast they can be charged. This paper argues that the speed limit is set not by entanglement, as much of the earlier literature assumed, but by three structural parameters: the maximum number of sites any charger interaction touches ($k$), the same number for the battery's own interactions ($q$), and the maximum energy a single cell can hold under the g-extensive condition. The central result is an upper bound on instantaneous charging power, $|P(t)| \\le 12gkq\\|H_C\\|$, which reduces to $12gk\\|H_C\\|$ when the battery is non-interacting. If the bound holds, charger design should focus on locality and per-cell energy capacity rather than on entanglement generation, and jointly optimizing battery and charger locality yields enhancements that manipulating only one component cannot. A companion construction shows that charging with commuting, circuit-style terms can match any Hamiltonian-based charger, so non-commutativity is not the source of charging power.","feed_headline":"Quantum battery power is capped by locality, not entanglement","feed_subtitle":"New bound caps charging power at 12gkq times the charger norm; k and q are interaction ranges, g is per-cell energy.","key_machinery":"The load-bearing object is the Arad-Kuwahara-Landau-Hastings (AKLH) lemma, adapted to the battery-charger setting. It bounds $\\|\\Pi_{[m\\epsilon,(m+1)\\epsilon)} h^C_X \\Pi_{[m'\\epsilon,(m'+1)\\epsilon)}\\|$, the maximum energy transition a single charger term $h^C_X$ can induce between two energy windows of the battery, by $\\|h^C_X\\| e^{-(\\Delta E - 4A)/(2gq)}$, where $A$ is the total norm of the battery terms that fail to commute with $h^C_X$ and is at most $gk$. The proof discretizes the battery spectrum into windows of width $\\epsilon$, expresses the commutator $[H_C,H_B]$ as a sum over window indices weighted by $|m-m'|\\epsilon$, and then replaces the exponentially suppressed off-window matrix elements by zero beyond $|m-m'| = 4gk/\\epsilon + 1$. That hard cutoff is what converts the many-body locality statement into the numerical prefactors $12gk$ and $12gkq$.","core_discovery":"This paper establishes that when the battery Hamiltonian is $q$-local (each interaction term acts on at most $q$ lattice sites) and the charger Hamiltonian is $k$-local, both satisfying the g-extensive condition (the interaction strengths incident on any single site sum to at most $g$), the instantaneous charging power obeys $|P(t)| \\le 12gkq\\|H_C\\|$, and $|P(t)| \\le 12gk\\|H_C\\|$ when the battery is non-interacting. The proof projects the battery spectrum into energy windows and uses the Arad-Kuwahara-Landau-Hastings (AKLH) lemma to show that a local charger term can induce transitions only across an energy range of order $4gk$, with transitions beyond that range exponentially suppressed regardless of how entangled the battery state is. The paper calls this phenomenon locality of energy: correlations do not carry energy across the lattice, which explains why charging only boundary sites leaves the bulk unchanged and why long-range all-to-all models give no power advantage once the charger energy is kept extensive. It also proves that any $k$-local g-extensive charger is energetically equivalent to a Hamiltonian built from commuting terms, so circuit-based charging can match Hamiltonian-based charging power.","pith_inferences":["The constant 12 in $12gkq$ is probably not tight. At transition energy $\\Delta E = 4gk$ with $A \\approx gk$, the AKLH exponential factor is of order one, so a sharper treatment of the discarded tail could change the prefactor while preserving the $gkq$ scaling.","The bound implies a minimal charging-time scale of order $\\Delta E/(12gkq\\|H_C\\|)$; comparing this with standard quantum speed limits could connect battery charging to the broader problem of minimum time for state transformation.","One could test locality of energy directly in a spin chain or Rydberg array by charging only boundary sites and monitoring bulk energy and entanglement separately: the paper predicts the bulk remains energetically cold even while entanglement grows.","The same commutator argument should bound discharging and work-extraction power, since it relies only on $[H_C,H_B]$ and the g-extensive structure rather than on the direction of energy flow."],"forward_implications":["Entanglement is demoted from a resource to a by-product: the bound contains no entanglement measure, and charging power is governed by $k$, $q$, and $g$.","Because both $k$ and $q$ enter the bound multiplicatively, optimizing the battery and charger together gives an enhancement that tuning only one side cannot.","Long-range all-to-all charger models, once normalized to be g-extensive, lose their apparent power advantage: the participation number drops out of the upper bound.","Every $k$-local g-extensive charging Hamiltonian is energetically equivalent to a commuting Hamiltonian, so unitary circuit-based chargers achieve the same maximum power as Hamiltonian-based chargers.","The per-cell energy capacity $g$ is a controlling parameter, so cells with large local energy capacity, such as bosonic modes, are a natural route to higher charging power."],"supporting_citations":[{"why":"Supplies the AKLH lemma, the exponential suppression of energy transitions that the bound rests on.","marker":"[40]"},{"why":"Supplemental material with the detailed proofs of Propositions 1 and 2 and the commuting-Hamiltonian construction.","marker":"[48]"},{"why":"Earlier result establishing charger locality as a significant factor, which this paper extends to interacting batteries.","marker":"[34]"},{"why":"The participation-number and commutativity-based power paradigm that this paper argues against; provides the baseline bound it improves.","marker":"[18]"},{"why":"The boundary-charging observation whose explanation the paper claims through locality of energy.","marker":"[20]"},{"why":"Reported enhancement from Hilbert-space dimension, which the paper attributes to the g-extensive per-cell energy scale.","marker":"[41]"},{"why":"Companion numerical study showing no power advantage in long-range all-to-all models, motivating the g-extensive framework.","marker":"[35]"}],"fun_headline_variants":["Quantum battery charging power limited by locality, not entanglement","Locality, not entanglement, rules quantum battery charging","Quantum battery power bound: k-locality of Hamiltonian is key","Forget entanglement: Hamiltonian locality caps charging power","Quantum batteries: charging power capped by interaction range"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The proof replaces the AKLH lemma's exponential suppression of energy transitions by a hard cutoff, setting the charger's matrix elements to zero beyond $|m-m'| = 4gk/\\epsilon + 1$; at $\\Delta E = 4gk$ with $A \\approx gk$ the lemma itself only suppresses by a factor of order one, so the discarded tail may contribute more than the claimed $12gk$ constant.","fun_headline_variants_meta":{"raw":{"variants":["Quantum battery charging power limited by locality, not entanglement","Locality, not entanglement, rules quantum battery charging","Quantum battery power bound: k-locality of Hamiltonian is key","Forget entanglement: Hamiltonian locality caps charging power","Quantum batteries: charging power capped by interaction range"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000223,"raw_usage":{"total_tokens":1473,"prompt_tokens":980,"completion_tokens":493,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":596,"completion_tokens_details":{"reasoning_tokens":416}},"tokens_in":596,"tokens_out":493,"duration_ms":5172,"temperature":1.0,"reasoning_tokens":416,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-10T17:39:06.313058+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Compute the tail that the hard cutoff discards in the supplemental derivation by summing $|m-m'| \\epsilon \\, \\alpha_m \\alpha_{m'} \\|h^C_X\\| e^{-(\\Delta E - 4A)/(2gq)}$ for $|m-m'| > 4gk/\\epsilon + 1$ at $A = gk$ and check whether the commutator norm exceeds $12gk\\|H_C\\|$; or simulate a small g-extensive $q$-local battery charged by a $k$-local g-extensive all-to-all charger and measure $\\max_t |P(t)|$ against $12gkq\\|H_C\\|$.","supporting_citations":[{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Supplies the AKLH lemma, the exponential suppression of energy transitions that the bound rests on."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Earlier result establishing charger locality as a significant factor, which this paper extends to interacting batteries."},{"cited_title":"Campaioli, F","cited_arxiv_id":null,"evidence_quote":"The participation-number and commutativity-based power paradigm that this paper argues against; provides the baseline bound it improves."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"The boundary-charging observation whose explanation the paper claims through locality of energy."},{"cited_title":"Ghosh and A","cited_arxiv_id":null,"evidence_quote":"Reported enhancement from Hilbert-space dimension, which the paper attributes to the g-extensive per-cell energy scale."},{"cited_title":"Sarkar, R","cited_arxiv_id":null,"evidence_quote":"Companion numerical study showing no power advantage in long-range all-to-all models, motivating the g-extensive framework."}],"review_version":1}