{"id":"7a9f0f23-4547-44b3-875e-486bbad30092","arxiv_id":"2502.07097","paper_version":1,"verdict":"REJECT","confidence":"HIGH","novelty_score":5.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"For a parity measurement on the toric code ground state, no Bob-side local unitary can extract energy, so this entangled state does not support QET for that protocol.","lead":"This paper tests whether quantum entanglement in a ground state is enough to guarantee quantum energy teleportation. It finds that for a particular parity measurement on the toric code, no local operation by Bob can extract energy, so entanglement alone does not guarantee QET for that protocol.","discovery_kind":"new_application","skeptic_critique":{"model":"deepseek-v4-flash","headline":"No-go conclusion covers only a restricted set of Bob's unitaries; general LOCC with outcome-dependent U_k is not analyzed, so 'no LOCC' is unproven.","rationale":"I read the paper as a claimed counterexample to the belief that ground-state entanglement suffices for QET. For that counterexample to be valid, one must show that for the chosen measurement there is no CPTP map on Bob's spin, conditioned on Alice's outcome, that lowers the global energy. The manuscript's Section V.B restricts Bob to U_B(k)=cos(theta) + i k sin(theta) n·sigma. This is a serious limitation: QET protocols conventionally allow Bob to choose a different operation per outcome, and the operation need not be unitary. The derivation of Eq. (11) relies on this restriction, since the term linear in sin(theta) in Eq. (10) cancels because the k-dependence is exactly matched between M_A(k) and U_B(k). With independent U_k, that cancellation generically fails and the paper offers no bound on EB-EA. Consequently, the central claim 'no LOCC for successful QET' is not proven by the presented calculation. The sign error in Lemma V.3 is a second, independent defect, but the LOCC restriction is more load-bearing because it concerns the scope of the main claim rather than a repairable algebraic slip. The paper's narrow calculation—that for the specific unitary family EB-EA = 4 sin^2(theta)(n_y^2+n_z^2) >= 0—may be correct, but it does not support the sweeping conclusion. I therefore recommend leaving the REJECT verdict unchanged, unless the authors substantially narrow the claim or supply the missing general-LOCC analysis. If the proposed numerical test shows energy extraction under independent U_+ and U_-, the rejection is even more clearly warranted.","tokens_in":7398,"tokens_out":15856,"duration_ms":143828,"concrete_test":"On a small toric code (e.g., a 4x4 lattice with 32 spins), construct the ground state and the post-measurement states |psi_+/- = (|xi> +/- O_B|xi>)/sqrt(2). Compute EB - EA = sum_{k=+,-} ( <psi_k| U_k^dagger H U_k |psi_k> - <psi_k| H |psi_k> ) and minimize over independent SU(2) rotations U_+ and U_- (e.g., parameterized by Euler angles). If the minimum is negative, the paper's 'no LOCC' claim is false. If it is nonnegative, repeat with general CPTP maps to test the full LOCC claim; either way, a proof covering arbitrary outcome-dependent operations is still needed.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The paper's central claim is that for the toric code ground state with Alice's parity measurement, no LOCC can achieve QET. However, the LOCC analyzed in Section V.B is not the general LOCC of the QET protocol. Bob's unitaries are restricted to U_B(k)=cos(theta) + i k sin(theta) n·sigma, with a single axis n and angle theta shared by both outcomes k=±1. General LOCC permits an independent unitary (or even a CPTP map) for each measurement outcome. The simplification leading to Eqs. (10)-(11) critically uses this special form: the first term in Eq. (10) vanishes only because the k-dependent phase is matched with the same theta and n in both summands. For independent U_+ and U_-, the cross terms do not factor, and the paper gives no argument that EB-EA >= 0. Thus the derivation does not establish 'no LOCC' or 'no energy teleportation'; it establishes at most a no-go for a one-parameter family of inverse-related rotations. This is the most load-bearing gap: even if every lemma is correct, the main conclusion is broader than what is proved.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper studies quantum energy teleportation (QET) in the toric code. Alice performs a projective measurement on all but one spin, and Bob subsequently applies a local unitary conditioned on the measurement outcome. The author derives the energy difference EB - EA = 4 sin^2(theta)(n_y^2 + n_z^2) >= 0 for Bob's unitaries of the form U_B(k) = cos(theta) + i k sin(theta) n·sigma, and concludes that no LOCC can achieve QET, so ground-state entanglement does not guarantee energy teleportation. The calculation is analytic and self-contained, but it applies only to a restricted family of Bob's unitaries, and the proof of a key lemma contains a sign error.","tokens_in":7603,"tokens_out":14979,"duration_ms":121803,"significance":"If established for general LOCC, this would be a noteworthy counterexample to the common belief that entanglement in the ground state suffices for QET, and it would connect QET with topological order. The paper is commendably direct: it uses no fitting or numerical extrapolation, and it gives a concrete formula for a specific measurement-and-feedback protocol in an exactly solvable model. However, the actual result is much narrower than the stated conclusion. The no-go claim covers only inverse-related rotations with a single axis and angle, not general outcome-dependent LOCC, and the proof has a gap in Lemma V.3. As it stands, the contribution is a partial calculation rather than a demonstration that entanglement does not guarantee QET.","major_comments":[{"comment":"The no-go conclusion is not supported because Bob's local unitary is restricted to the family U_B(k) = cos(theta) + i k sin(theta) n·sigma with the same axis n and the same angle theta for both measurement outcomes. General QET LOCC allows an independent unitary U_B(k) for each outcome k, and more generally any CPTP map on Bob's spin. The derivation of Eqs. (10)-(11) relies on the specific k-dependence of this family: the first sum in Eq. (10) contains the factor i k and does not obviously vanish when U_+ and U_- are independent, and the second sum does not factor in the same way. Since no argument is given for general U_B(k), the paper proves at most a no-go for this one-parameter family, not the statement in the abstract and conclusion that 'there is no LOCC for successful QET.'","section":"Section V.B, Eq. (6)"},{"comment":"The proof of Lemma V.3 contains a sign error. From [A, M_A(k)] = 0 and {sigma^l_{r1}, A} = 0, one obtains A M_A(k) sigma^l_{r1} = - M_A(k) sigma^l_{r1} A. Therefore the displayed equality -<xi|A^dagger M_A(k) sigma^l_{r1}|xi> = -<xi|M_A(k) sigma^l_{r1} A|xi> is wrong; the right-hand side should be +<xi|M_A(k) sigma^l_{r1} A|xi>. Consequently the chain shows only that the quantity equals itself and does not prove that it vanishes. Since Lemma V.3 is used to drop the (z,x) and (x,y) terms in the reduction to Eq. (11), the derivation of the final inequality is incomplete.","section":"Section V.B, Lemma V.3"},{"comment":"The claim that the first term in Eq. (10) vanishes is asserted rather than demonstrated. This term is sum_k i k sin(2theta)/2 <xi|M_A(k)[H, n·sigma]M_A(k)|xi>, and after substituting Eq. (9) it involves expectations of products such as M_A(k) B sigma^x_{r1} M_A(k) and M_A(k) A sigma^y_{r1} M_A(k). Lemma V.1 concerns M_A(k) B M_A(k) and does not directly control these expressions with an additional Pauli operator, while Lemma V.2 concerns single-Pauli expectation values in the ground state, not the post-measurement states appearing here. Without an explicit proof, the reduction from Eq. (10) to Eq. (11) is a gap; if the first term were nonzero, it could make EB - EA negative and energy teleportation possible even within the restricted family.","section":"Section V.B, Eq. (10)"}],"minor_comments":[{"comment":"There are several typos and stylistic issues, e.g., 'an unique' in the abstract, 'Moeover' in the introduction, and 'a measurements' in Section II.A; these should be corrected.","section":"Abstract and Section I"},{"comment":"The discussion after the definition of M_A(k) is confusing: the sentence 'If we choose a permutation pi such that there are m < n numbers of identity maps in M_A(k)' needs clarification, since 'identity maps' presumably refers to fixed points of the permutation, and the counting of measured spins is not clearly explained.","section":"Section V.A"},{"comment":"The notation r1, d1, u2, l1, B1, B2 is used in the proof but the red dots in Figure 4 are not labeled in the text, making it hard to follow which spins are involved in the commutator calculation.","section":"Figure 4 and surrounding text"},{"comment":"The switch between 'theta' and the symbol 'theta' in the surrounding text is inconsistent; the same symbol should be used throughout.","section":"Section V.B, Eq. (10)"}],"recommendation":"reject","confidential_remarks":"The paper is a single-author preprint with a broad title and abstract that overstate what is proven. The central gap is not merely technical: the no-go claim for 'no LOCC' is outside the scope of the analyzed unitary family, and the sign error in Lemma V.3 means even the restricted calculation is not fully established. The topic is of interest to the QET community, and the toric-code setting is apt, but the manuscript would need a substantial extension to general outcome-dependent LOCC (or a major reframing as a special-case calculation) before it could meet the standards of the journal."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"The useful core here is a narrow calculation: for the toric code ground state, with Alice doing a specific parity PVM on all spins except Bob's, the energy difference after Bob's rotation evaluates to EB - EA = 4 sin^2(theta)(n_y^2 + n_z^2), which is non-negative. That is a new data point and a legitimate counterexample to the naive intuition that entanglement guarantees QET. The calculation is self-contained, analytic, and has no fitting parameters. Credit where due: this is a real result for the measurement scheme considered.\n\nThe soft spots are real but not all equally fatal. First, the paper calls U_B = cos(theta) + i k sin(theta) n·sigma a \"general local unitary,\" but it is not. It assumes the same axis and angle for both measurement outcomes, up to the k sign. General LOCC permits independent unitaries for each outcome. The stress-test is right that the proof as written does not establish a no-go for general LOCC. That said, the reader's note that the final inequality survives independent unitaries matters: if that is right, the gap is fixable, not destructive. The proof just needs to be rewritten to allow k-dependent theta and n.\n\nSecond, Lemma V.3 has an invalid step. The proof writes <MA sigma_l A MA> = <MA sigma_l A>, dropping the right-hand MA as if it acted on the ground state. That is not justified. The lemma's conclusion might still be true, but the argument as written is wrong and needs repair before the derivation of Eq. (11) is complete.\n\nThird, the abstract and conclusion overclaim. The paper only tests one measurement and one restricted family of Bob operations, yet says \"there is no LOCC for successful QET.\" The modest version—\"for this parity measurement, we find no energy teleportation within a restricted set of unitaries\"—is supported. The broad version is not.\n\nWho is this for? People working on QET resource theory or on the toric code as a testbed for quantum protocols. The paper is worth a serious referee if the author can tighten the LOCC claim and fix the lemma. As it stands, I would not cite it in its current form, but I would not dismiss the underlying calculation either. Send it to peer review with the expectation of heavy revision.","headline":"A new but overclaimed no-go result: the parity-measurement calculation on the toric code is likely correct, yet the written proof does not cover general LOCC and contains a flawed lemma.","tokens_in":8124,"tokens_out":11589,"would_cite":false,"duration_ms":106748,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":[],"pacs":["03.67.-a","03.65.Ud"],"model":"deepseek-v4-flash","headline":"The paper claims that entanglement in a toric-code ground state does not guarantee quantum energy teleportation under a parity-measurement protocol.","keywords":["quantum energy teleportation","toric code","entanglement","topological order","projective measurement","LOCC","energy extraction"],"falsifier":"Compute the energy difference for the same toric-code measurement but with Bob allowed to choose independent unitaries for $k=+1$ and $k=-1$, or a non-unitary local operation; finding any choice with $E_B-E_A<0$ would falsify the blanket no-go. A smaller check is to evaluate $\\langle \\xi|M_A(k)\\sigma^l_{r_1} A M_A(k)|\\xi\\rangle$ directly on a small torus and verify whether it vanishes without relying on the sign step in Lemma V.3.","tokens_in":7149,"feed_emoji":"⚡","tokens_out":10679,"duration_ms":87023,"temperature":0.7,"pith_summary":"Quantum energy teleportation (QET) is a two-step protocol meant to extract energy from a ground state: measure one subsystem, then use the measurement result to choose a local operation on a distant subsystem. The paper tests whether entanglement in the ground state is enough to make this work, using the toric code, a topological spin model whose ground state has long-range entanglement. Alice measures all but one spin with a parity projective measurement, and Bob applies a local rotation to the remaining spin. The computed energy change is $E_B - E_A = 4\\sin^2\\theta(n_y^2+n_z^2) \\ge 0$, so Bob can never lower the energy. The paper concludes that entanglement correlation alone does not guarantee QET, at least for this measurement scheme.","feed_headline":"Entanglement alone does not guarantee quantum energy teleportation","feed_subtitle":"In the toric code, a parity measurement plus local rotation never lowers energy: the change is always zero or positive.","key_machinery":"The engine of the argument is the stabilizer structure of the toric code, with Hamiltonian $H = -\\sum_v A_v - \\sum_p B_p$ on an $L\\times L$ torus, whose ground state $|\\xi\\rangle$ obeys $A_v|\\xi\\rangle = B_p|\\xi\\rangle = |\\xi\\rangle$ for all vertices $v$ and plaquettes $p$. Alice's measurement is the projector $M_A(k)=\\frac{1}{2}(I+k\\,\\sigma^x_{\\pi(2)}\\cdots\\sigma^x_{\\pi(n)})$ for $k=\\pm1$, and Bob's operation is restricted to $U_B(k)=\\cos\\theta + i k\\sin\\theta\\,\\hat{n}\\cdot\\vec{\\sigma}_B$. The calculation uses commutators $[H,\\hat{n}\\cdot\\vec{\\sigma}_B]$ and stabilizer identities to collapse the energy difference to the final nonnegative expression $4\\sin^2\\theta(n_y^2+n_z^2)$.","core_discovery":"On its own terms, the paper's central discovery is a no-go result: in the toric-code ground state, a parity projective measurement on all but one spin breaks the correlation between the bipartition, and yet no local unitary of the form used by Bob can extract energy. The energy difference evaluates to $E_B - E_A = 4\\sin^2\\theta(n_y^2+n_z^2) \\ge 0$, so Bob's operation can only leave the energy unchanged or increase it. Because the toric-code ground state is entangled, the example is presented as evidence that the general belief — entanglement correlation between two sites guarantees successful QET — is not true in this topological model. The paper states the conclusion plainly: \"Therefore it suggests, no energy teleportation!\"","pith_inferences":["General LOCC lets Bob choose different unitaries for the two outcomes, while the paper forces one axis and angle for both; allowing $U_B(+1)\\neq U_B(-1)$ could reopen the possibility of $E_B-E_A<0$ in the same setup.","The result points to a distinction between total entanglement and usable correlation: a single spin in the toric code is maximally entangled with the rest, yet the parity measurement may destroy the alignment that a QET operation needs.","The same calculation could be run in other topologically ordered models, such as Levin-Wen string-net or X-cube stabilizer states; a similar nonnegative energy difference there would show the obstruction is topological, not specific to the toric code."],"forward_implications":["In the protocol studied, Bob's best allowed rotation gives $E_B - E_A = 0$; no rotation makes the energy negative.","The long-range entanglement of the toric-code ground state is not sufficient for QET under this parity-measurement scheme, contradicting the belief stated in the introduction.","The measurement creates exactly two magnetic anyons next to Bob's spin, and within the allowed unitary family these excitations provide no energy extraction.","If the calculation is correct, QET feasibility has to be assessed protocol by protocol; ground-state entanglement alone is not a sufficient criterion."],"supporting_citations":[{"why":"introduces the QET protocol and the energy-extraction criterion $E_B-E_A$.","marker":"[1]"},{"why":"defines the toric-code Hamiltonian, stabilizer operators, ground-state degeneracy, and anyon excitations used in the calculation.","marker":"[13]"},{"why":"documents the bipartite entanglement structure of the toric-code ground state, supplying the entanglement premise the paper tests.","marker":"[22]"},{"why":"shows that entanglement is not a necessary resource for QET, the background against which the paper's question is posed.","marker":"[11]"},{"why":"the author's earlier account of QET aspects, cited for the general belief about entanglement and QET feasibility.","marker":"[12]"}],"fun_headline_variants":["Entanglement alone does not guarantee quantum energy teleportation","Toric code shows entanglement is not enough for energy teleportation","No energy teleportation from entangled toric-code ground state","Parity measurement blocks quantum energy teleportation in toric code","Entanglement correlation fails to enable energy teleportation"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The no-go result assumes Bob's local operation must be the same-axis, same-angle rotation $U_B(k)=\\cos\\theta + i k\\sin\\theta\\, \\hat{n}\\cdot\\vec{\\sigma}_B$ for both measurement outcomes, and it relies on the vanishing of a stabilizer expectation value that a direct check of Lemma V.3 would need to confirm.","fun_headline_variants_meta":{"raw":{"variants":["Entanglement alone does not guarantee quantum energy teleportation","Toric code shows entanglement is not enough for energy teleportation","No energy teleportation from entangled toric-code ground state","Parity measurement blocks quantum energy teleportation in toric code","Entanglement correlation fails to enable energy teleportation"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000216,"raw_usage":{"total_tokens":1391,"prompt_tokens":860,"completion_tokens":531,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":476,"completion_tokens_details":{"reasoning_tokens":446}},"tokens_in":476,"tokens_out":531,"duration_ms":4594,"temperature":1.0,"reasoning_tokens":446,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-08T13:52:41.417494+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Compute the energy difference for the same toric-code measurement but with Bob allowed to choose independent unitaries for $k=+1$ and $k=-1$, or a non-unitary local operation; finding any choice with $E_B-E_A<0$ would falsify the blanket no-go. A smaller check is to evaluate $\\langle \\xi|M_A(k)\\sigma^l_{r_1} A M_A(k)|\\xi\\rangle$ directly on a small torus and verify whether it vanishes without relying on the sign step in Lemma V.3.","supporting_citations":[{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"introduces the QET protocol and the energy-extraction criterion $E_B-E_A$."},{"cited_title":"Aspects of Quantum Energy Teleportation","cited_arxiv_id":"2411.08927","evidence_quote":"defines the toric-code Hamiltonian, stabilizer operators, ground-state degeneracy, and anyon excitations used in the calculation."},{"cited_title":"Ikeda, Demonstration of quantum energy teleporta- tion on superconducting quantum hardware, Phys","cited_arxiv_id":null,"evidence_quote":"shows that entanglement is not a necessary resource for QET, the background against which the paper's question is posed."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"the author's earlier account of QET aspects, cited for the general belief about entanglement and QET feasibility."}],"review_version":1}