{"id":"03ad359b-8228-49c9-8dfc-09a559635cbd","arxiv_id":"2506.15074","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":4.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":1,"one_line_summary":"Local projective measurements on one or two qubits of a three-qubit X-state can increase the quantum battery capacity of the remaining subsystem and of the whole system, and can make that capacity fully robust to dephasing noise.","lead":"This paper proposes two schemes in which local projective measurements on one or two qubits increase the energy-storage capacity of a tripartite quantum battery, with explicit formulas for three-qubit X-states. It reports that measuring two subsystems works better than measuring one, and that the optimized measurements make battery capacity more robust against white noise and fully robust against dephasing noise.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"General X-state Theorem 4 hinges on an unjustified elementwise step in Appendix C; the whole-system majorization proof is incomplete, so the universal claim is not established.","rationale":"Both the reader and I identify the same fragile point: the general-X-state majorization proof in Appendix C. The paper's concrete contributions—the two measurement schemes, the analytical expressions in Appendix A for X-states, and the W/GHZ numerics—are coherent and useful. Theorem 3 (white noise reduces capacity) is correctly proven in Appendix B. The dephasing robustness argument for the post-measurement state is also sound because the post-measurement state is diagonal. What is not established is the whole-system majorization for arbitrary X-states. The appendix attempts to prove it with an elementwise inequality that does not follow from majorization, and with a vague counting argument for partial sums. Because Theorem 4 is explicitly stated for 'any tripartite X-state', this gap is central, not peripheral. A random-search counterexample would settle the question empirically; if none is found, a corrected proof using proper majorization inequalities (rather than elementwise diagonal comparisons) would still be required. The numerical examples for W and GHZ states support the qualitative claim but cannot validate the universal statement. The reader's verdict of CONDITIONAL correctly captures this: the paper is publishable only after the general proof is repaired or the claim is reduced to the special states actually verified.","tokens_in":18602,"tokens_out":9576,"duration_ms":100788,"concrete_test":"Perform a random numerical search over three-qubit X-states: sample diagonal probabilities ρii and off-diagonal coherences |ρ18|,|ρ27|,|ρ36|,|ρ45| with phases, subject to positive semidefiniteness; for each of the two schemes compute all computational-basis post-measurement states, select the outcome maximizing the subsystem capacity, and test whether the full post-measurement state majorizes the original (equivalently, compare C(ρ1;H) and C(ρ;H) for the Hamiltonian of Eq. (10) or (12)). Even a single counterexample refutes Theorem 4. As a diagnostic of the proof, also record whether ρ11/p1 ≥ ρ22/p2 holds whenever N1 ≻ N2; if violations occur, the Appendix C argument is invalid as written even if the theorem might still hold.","verdict_should_be":"UNCHANGED","load_bearing_attack":"Appendix C's proof that the optimal computational-basis projector enhances the whole-system capacity of a general tripartite X-state is the load-bearing step for Theorem 4. The k*=1 estimate requires λ^1_1 = ρ11/p1 ≥ ρ22 + ρ_{d-1,d-1}, which the authors derive from ρ11/p1 ≥ ρ22/p2 and ρ11/p1 ≥ ρ_{d-1,d-1}/p_{D-1}, citing Eq. (C3) (N1 ≻ N_i). But majorization of sorted arrays only gives max(N1) ≥ max(N_i); it does not imply the specific diagonal element ρ22/p2 is bounded by ρ11/p1 unless ρ22/p2 is the largest entry of N2. Nothing in the X-state parametrization guarantees that. For k*>1, the assertion that the first k* eigenvalues of ρ involve '2k* non-repeating diagonal elements' and that at most k* of them belong to one measurement outcome is asserted without proof; eigenvalues of the 2×2 blocks mix diagonal elements through off-diagonal coherences, so the partial-sum inequality ∑_{i≤k*} λ^1_i ≥ ∑_{i≤k*} λ_i is not established. The white-noise robustness of the whole system is then carried 'in a similar way' from this unproven majorization, so it inherits the gap. The dephasing part is fine because the post-measurement state is diagonal. Thus the general-X-state claim of Theorem 4 collapses if this combinatorial step fails; the W and GHZ examples are special and cannot establish it.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper proposes two measurement-based protocols for tripartite quantum batteries: Scheme 1 applies a local projective measurement on subsystem C and examines the battery capacity of subsystem AB and the whole system, while Scheme 2 applies a local projective measurement on subsystem BC and examines subsystem A and the whole system. The authors define an optimal local-projective operator as one whose post-measurement state majorizes all other post-measurement states, and they state conditional theorems (Theorems 1 and 2) identifying such operators via majorization. They also prove that white noise reduces battery capacity (Theorem 3) and claim that, for any tripartite X-state, optimal local-projective operators improve the capacity robustness of the target subsystem and the whole system against white noise and provide complete robustness against dephasing noise (Theorem 4). The proofs rely on Schur-convexity of the capacity functional and on majorization arguments in Appendices B and C. Two numerical examples, based on W and GHZ states mixed with white noise, are presented to illustrate the protocols.","tokens_in":18918,"tokens_out":19369,"duration_ms":197213,"significance":"If the general-X-state claim of Theorem 4 were established, the paper would be a useful tripartite extension of the bipartite result in Ref. [47], and the explicit analytical expressions for three-qubit X-states in Appendix A would be a practical asset. The proof of Theorem 3 is correct and the reliance on the Schur-convexity of battery capacity is sound. However, the main general claim is not established: the whole-system majorization proof in Appendix C contains an unsupported combinatorial step, and the W-state example contains an incorrect majorization assertion. The conceptual contribution of Theorems 1 and 2 is also limited because they are essentially restatements of Schur-convexity rather than constructive identifications of optimal operators. The examples are only two special families of X-states and cannot substitute for a rigorous general proof. Strengths include the clear use of established capacity results, the explicit Bloch-representation calculations for X-states, and the correct proof of the noise-monotonicity theorem.","major_comments":[{"comment":"The proof that the optimal local-projective operator M1 satisfies rho1 majorizes rho for a general tripartite X-state is incomplete. The key step asserts that 'the first k* eigenvalues of rho in descending order correspond to a total of 2k* non-repeating diagonal elements, and at most k* of these diagonal elements belong to Ml rho Ml^dagger at the same time.' This is not generally true: eigenvalues of an X-state are obtained in pairs from 2x2 anti-diagonal blocks, so if two selected eigenvalues come from the same pair, they correspond to only two diagonal elements, not four; and there is no pigeonhole argument guaranteeing that a given measurement block contains at most k* of the selected diagonal elements. Since the subsequent partial-sum inequality sum_{i<=k*} lambda^1_i >= sum_{i<=k*} lambda_i is the only justification for rho1 majorizes rho, the whole-system part of Theorem 4, and hence the white-noise robustness claim for the total system, is not proven as written.","section":"Appendix C, whole-system majorization"},{"comment":"The assertion in Example 1 that 'rho0,AB_a majorizes rho1,AB_a' for the W state mixed with white noise is not correct. A direct calculation of the post-measurement reduced states on AB gives, for the measurement outcome C=0, eigenvalues ((8-5a)/(4(4-a)), (8-5a)/(4(4-a)), 3a/(4(4-a)), 3a/(4(4-a))) after normalization, and for C=1, eigenvalues ((8-5a)/(4(2+a)), 3a/(4(2+a)), 3a/(4(2+a)), 3a/(4(2+a))). For a=0.2 these sorted arrays are approximately (0.4605,0.4605,0.0395,0.0395) and (0.795,0.068,0.068,0.068); the first partial sum favors rho1 while the second favors rho0, so neither majorizes the other. Therefore Theorem 1 does not identify W0 as optimal in this example, and the numerical demonstration of Scheme 1 is unsupported.","section":"Section III, Example 1 (W state)"},{"comment":"Theorems 1 and 2 are conditional statements that essentially restate the Schur-convexity of the capacity functional from Ref. [42]: if one post-measurement reduced state majorizes all others, then Schur-convexity immediately implies that it has the largest capacity. The theorems provide no existence result and no constructive procedure for identifying the optimal local-projective operator for a general state. Since Theorem 4 is also conditional on such an operator being identified, the practical scope of the protocol for general X-states is limited to checking a majorization condition case by case, and the paper does not supply such a procedure beyond the two examples.","section":"Theorems 1 and 2"}],"minor_comments":[{"comment":"The eigenvalue ordering in Appendix B is written as 'lambda0 <= lambda2 <= ... <= lambda_{n-1}'; the second index should be lambda1.","section":"Appendix B"},{"comment":"The identity operator is consistently rendered as '/BD' in the text; please replace it with a standard symbol such as I_d or blackboard-bold I.","section":"Throughout"},{"comment":"In the capacity expressions for the GHZ example, the subscript 'a' is used in 'C(rhoAB_a; HAB)' where the noise parameter is b; this should be 'rhoAB_b'.","section":"Example 2"},{"comment":"The phrase 'monotonic decreasing functional' should be 'monotonically nonincreasing functional', since the proof establishes that C((1-f)rho + f I/n; H) does not increase with f.","section":"Theorem 3"},{"comment":"The arrays N_i are said to be in descending order before Eq. (C1), but the definition of the majorization relation in Eq. (C2) should explicitly state that the arrays are sorted in descending order, because the inequalities (C2) are only equivalent to majorization for sorted arrays.","section":"Appendix C, Eq. (C1)"},{"comment":"The statement that 'I2 ⊗ V_i (i=0,1,2) are all optimal local projective operators' in Example 1 is not accompanied by the majorization check for the corresponding reduced states; this should be shown explicitly or the claim should be softened.","section":"Section III, Scheme 2 for the W state"}],"recommendation":"major_revision","confidential_remarks":"The manuscript has likely already been through a revision cycle, but the central general-X-state theorem still rests on an unproven combinatorial step in Appendix C, and the W-state example contains an incorrect majorization claim. If the authors can supply a rigorous proof of the whole-system majorization for general tripartite X-states and correct the numerical example, the paper could become a useful contribution. If the Appendix C gap cannot be repaired, I would lean toward rejection, since the universal claim in Theorem 4 is the main result of the paper."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Bottom line: the paper makes a concrete, useful extension of the bipartite measurement-assisted battery idea to tripartite systems, with two schemes, explicit analytical formulas for three-qubit X-states, and reproducible W/GHZ examples. The dephasing part of Theorem 4 is fine because the post-measurement state is diagonal. The white-noise part for the whole system, however, is not established as written. The gap is in Appendix C, not in the spirit of the claim.\n\nWhat is genuinely new: Scheme 1 versus Scheme 2, the notion of an optimal local projective operator within the computational basis, the analytical expressions for tripartite X-states, and the numerical comparisons showing that measuring two subsystems generally outperforms measuring one. The examples are clear and the calculations check out. Theorem 3 is also correct and its Schur-convexity argument is clean.\n\nThe soft spots are real but they are concentrated. Theorems 1 and 2 are conditional statements that essentially restate Schur-convexity: if the post-measurement state majorizes the others, it has the largest capacity. That is a framework, not a deep result. Also, the abstract says \"optimal local projective operators\" without the computational-basis qualifier; minor, but worth fixing.\n\nThe serious problem is the proof of Theorem 4 for general tripartite X-states. The k*=1 step tries to show λ^1_1 = ρ11/p1 ≥ ρ22 + ρ_{d-1,d-1} using only the majorization relation N1 ≻ N_i. Majorization of sorted arrays does not bound specific diagonal entries in the way the proof assumes; ρ22/p2 need not be the largest element of N2. For k*>1, the assertion that the first k* eigenvalues of the X-state correspond to 2k* non-repeating diagonal elements, with at most k* belonging to one measurement outcome, is asserted without proof. Eigenvalues of the 2x2 X-blocks mix diagonal elements with coherences, so the partial-sum inequality is not established. The white-noise robustness of the whole system is then carried over from this unproven majorization, so the universal claim collapses if that step fails. The W and GHZ examples are special and cannot establish a general theorem.\n\nWho this is for: researchers working on measurement-assisted quantum batteries, especially capacity-enhancement protocols. They will get useful formulas and a clean two-scheme setup. They should not rely on Theorem 4 as proven until Appendix C is repaired or the statement is restricted to the cases that are actually proven.\n\nRecommendation: send it to peer review. A serious referee should check Appendix C and push for either a correct proof or an honest downgrade of the general-X-state claim. The paper is worth a referee cycle even though the central theorem needs work.","headline":"Useful tripartite extension with explicit X-state formulas and clear examples, but Theorem 4's general-X-state proof has a real gap in Appendix C that the paper's own examples cannot fill.","tokens_in":19424,"tokens_out":4296,"would_cite":false,"duration_ms":44670,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["81P45"],"pacs":["04.70.Dy","03.65.Ud","04.62.+v"],"model":"deepseek-v4-flash","headline":"For any three-qubit X-state, a local projective measurement on one or two subsystems raises quantum battery capacity and restores its robustness to white and dephasing noise.","keywords":["quantum battery capacity","local projective measurement","tripartite X-states","majorization","Schur-convexity","white noise","dephasing noise","optimal local projective operator"],"falsifier":"Numerically sweep random three-qubit X-states: for each state, compute the capacity before and after every computational-basis rank-one projection on qubit C and on the pair BC, and check whether any post-measurement state has lower capacity than the original for the subsystem or the total system, including after white-noise and dephasing admixture. A single counterexample would disprove the claim that the optimal local projective operator always improves or preserves capacity.","tokens_in":18414,"feed_emoji":"🔋","tokens_out":6346,"duration_ms":62364,"temperature":0.7,"pith_summary":"This paper claims that measuring one or two subsystems of a tripartite quantum battery can increase the battery capacity of the remaining subsystem and of the whole battery, even when the initial state is noisy. It works with general three-qubit X-states, derives explicit post-measurement capacity formulas in the computational basis, and defines an optimal local projective operator as the one whose post-measurement state majorizes all other measurement outcomes. The central result is that, for any three-qubit X-state, using this optimal operator improves capacity robustness against white noise and makes capacity completely insensitive to dephasing noise. A reader would care because it turns what looks like destructive measurement into a practical tool for storing more energy in multipartite quantum batteries.","feed_headline":"Local measurement lifts quantum battery capacity under noise","feed_subtitle":"For three-qubit X-states, projecting one or two qubits raises stored-energy capacity and cancels dephasing damage.","key_machinery":"The central object is the Schur-convex battery-capacity functional $C(\\rho;H)$ together with majorization ordering of density-matrix spectra; the mechanism is a computational-basis local projective measurement, whose optimal operator is selected by the majorization criterion of Theorems 1 and 2. By collapsing the post-measurement state's support to at most four or two non-zero eigenvalues, the measurement produces a spectrum that majorizes the original's, and Schur convexity then forces capacity upward. This rank-reduction-majorization chain carries the entire argument, including the noise-robustness results.","core_discovery":"On the paper's own terms, quantum battery capacity, defined as $C(\\rho;H)=\\sum_i \\epsilon_i (\\lambda_i-\\lambda_{d-1-i})$ for ordered eigenvalues and energy levels, is a Schur-convex functional of the state, so a state that majorizes another has no smaller capacity. For a general three-qubit X-state, projecting onto computational-basis states of one qubit (Scheme 1) or of two qubits (Scheme 2) produces diagonal post-measurement states with at most four or at most two non-zero eigenvalues, respectively. The paper proves in Theorem 4 that the optimal computational-basis local projective operator makes the post-measurement reduced state of the unmeasured subsystems and the post-measurement total state majorize their pre-measurement counterparts, hence their capacities increase; after white-noise admixture the same majorization survives, and under dephasing the post-measurement states are already diagonal, so dephasing leaves their capacity unchanged. In the W-state and GHZ-state examples, Scheme 2's capacity-recovery ratio is always at least Scheme 1's, which the paper attributes to the additional eigenvalue-rank reduction.","pith_inferences":["The proof mechanism suggests the result should extend to any multiparty X-state with more than three parties, since rank reduction by local projectors and majorization are not special to three qubits, although the paper only proves the tripartite case.","Because the improvement is formulated purely through majorization, the same optimal-projector logic should transfer to any other Schur-convex figure of merit defined on density-matrix spectra, not only battery capacity.","The capacity gain is conditional on selecting the optimal measurement outcome; a feed-forward strategy that discards non-optimal branches or uses them to choose a different Hamiltonian could convert the branch improvement into a deterministic engineering resource.","Since dephasing leaves the optimal post-measurement state untouched, performing the local measurement before storage could serve as an inexpensive way to stabilize battery capacity against phase decoherence during later transmission."],"forward_implications":["For any three-qubit X-state, a local projective measurement exists that increases both the measured subsystem's capacity and the total battery capacity over the unmeasured state.","Mixing in white noise does not remove the enhancement: the optimal operator's post-measurement state still majorizes the noised original, so capacity under noise is higher with measurement than without.","Under dephasing noise the enhancement is complete: because the post-measurement state is diagonal, the dephasing channel maps it to itself and capacity is unchanged.","Measuring two subsystems yields a total-capacity gain at least as large as measuring one subsystem in the examples examined, because the resulting state has at most two non-zero eigenvalues and stands higher in the majorization order.","The same majorization reasoning shows that while the capacity loss rate grows with noise intensity, the measurement scheme's recovery rate also grows, so the protocol acts as a partial counterweight to noise."],"supporting_citations":[{"why":"Supplies the original notion of extractable energy from quantum batteries, the object whose capacity this paper optimizes.","marker":"[6]"},{"why":"Defines the battery-capacity functional and establishes its Schur convexity, which is the engine of the majorization argument.","marker":"[42]"},{"why":"Provides the bipartite local-projective-measurement result that this paper extends to tripartite systems.","marker":"[47]"},{"why":"Supplies the fact that the dephased state is majorized by the original state, used for the dephasing-noise robustness proof.","marker":"[64]"}],"fun_headline_variants":["Optimal local measurements boost quantum battery capacity","Projective measurements enhance noise-robust quantum battery","Local projections raise quantum battery capacity under noise","Quantum battery capacity boosted by local projective measurements","Measurement protocol lifts quantum battery capacity in X-states"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The proof's load-bearing premise is a counting argument about the diagonal entries of the X-state: after the optimal local projection, the first k largest eigenvalues of the new state are claimed to be at least the first k of the old state for every k. If that counting around Eq. (C3) fails for some tripartite X-state, the general theorem loses its proof and only the numerical examples remain.","fun_headline_variants_meta":{"raw":{"variants":["Optimal local measurements boost quantum battery capacity","Projective measurements enhance noise-robust quantum battery","Local projections raise quantum battery capacity under noise","Quantum battery capacity boosted by local projective measurements","Measurement protocol lifts quantum battery capacity in X-states"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000253,"raw_usage":{"total_tokens":1554,"prompt_tokens":923,"completion_tokens":631,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":539,"completion_tokens_details":{"reasoning_tokens":576}},"tokens_in":539,"tokens_out":631,"duration_ms":6737,"temperature":1.0,"reasoning_tokens":576,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-15T19:45:51.163288+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Numerically sweep random three-qubit X-states: for each state, compute the capacity before and after every computational-basis rank-one projection on qubit C and on the pair BC, and check whether any post-measurement state has lower capacity than the original for the subsystem or the total system, including after white-noise and dephasing admixture. A single counterexample would disprove the claim that the optimal local projective operator always improves or preserves capacity.","supporting_citations":[{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Supplies the fact that the dephased state is majorized by the original state, used for the dephasing-noise robustness proof."}],"review_version":1}