Nonlocal Topological Maxwell Demon Teleporting Ergotropy via Surface-Code Quantum Error Correction
Pith reviewed 2026-05-19 16:35 UTC · model grok-4.3
The pith
A nonlocal Maxwell demon teleports ergotropy using a shared surface code and classical communication, with exponential protection below a topological threshold.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
We introduce a nonlocal Maxwell demon teleporting ergotropy at finite temperature via classical communication and a shared surface code. The teleported ergotropy is exponentially protected below a topological threshold. We identify a thermodynamic phase transition separating a profitable demon phase from a thermal phase. A quadratic infrastructure cost strictly enforces the second law, imposing a fundamental thermodynamic horizon on separation distance. This establishes quantum error correction as a resource for nonlocal thermodynamics beyond fault-tolerant computation.
What carries the argument
The shared surface code with classical communication that teleports ergotropy while providing topological exponential protection against errors.
Load-bearing premise
The assumption that a shared surface code combined with classical communication can teleport ergotropy while maintaining exponential protection and that a quadratic infrastructure cost is sufficient to enforce the second law at arbitrary separation distances.
What would settle it
Demonstrating that ergotropy teleportation occurs without exponential protection or that the second law is violated at large separations despite the quadratic cost would falsify the central claims.
Figures
read the original abstract
We introduce a nonlocal Maxwell demon teleporting ergotropy at finite temperature via classical communication and a shared surface code. The teleported ergotropy is exponentially protected below a topological threshold. We identify a thermodynamic phase transition separating a profitable demon phase from a thermal phase. A quadratic infrastructure cost strictly enforces the second law, imposing a fundamental thermodynamic horizon on separation distance. This establishes quantum error correction as a resource for nonlocal thermodynamics beyond fault-tolerant computation.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript introduces a nonlocal Maxwell demon that teleports ergotropy at finite temperature using classical communication and a shared surface code. It claims the teleported ergotropy receives exponential protection below a topological threshold, identifies a thermodynamic phase transition separating a profitable demon phase from a thermal phase, and asserts that a quadratic infrastructure cost (arising from surface-code scaling) strictly enforces the second law by imposing a fundamental thermodynamic horizon on separation distance. The work positions quantum error correction as a resource for nonlocal thermodynamics beyond fault-tolerant computation.
Significance. If the claims are substantiated, the result would establish a concrete link between topological quantum error correction and protected thermodynamic resources, potentially allowing exponentially suppressed ergotropy extraction over distance. This could open avenues for using QEC overhead as a thermodynamic regulator rather than solely a computational tool. The phase-transition framing and horizon concept are novel if the cost accounting holds, but the manuscript provides no derivations, equations, or numerical evidence to support the exponential protection, transition, or quadratic enforcement.
major comments (1)
- [Abstract] Abstract: The load-bearing claim that 'A quadratic infrastructure cost strictly enforces the second law, imposing a fundamental thermodynamic horizon on separation distance' is stated without any derivation, scaling relation, or inequality. The manuscript must supply an explicit accounting (including logical-qubit initialization energy, stabilizer measurement overhead, and classical-communication latency) showing that the quadratic term always dominates the teleported ergotropy for large separations; absent this, the phase transition, profitable-demon regime, and second-law enforcement cannot be verified.
minor comments (1)
- The abstract is overly dense; separating the three main claims (exponential protection, phase transition, quadratic enforcement) into distinct sentences would improve readability.
Simulated Author's Rebuttal
We thank the referee for the careful reading and constructive feedback. We address the major comment point by point below and indicate the revisions planned for the next version of the manuscript.
read point-by-point responses
-
Referee: [Abstract] Abstract: The load-bearing claim that 'A quadratic infrastructure cost strictly enforces the second law, imposing a fundamental thermodynamic horizon on separation distance' is stated without any derivation, scaling relation, or inequality. The manuscript must supply an explicit accounting (including logical-qubit initialization energy, stabilizer measurement overhead, and classical-communication latency) showing that the quadratic term always dominates the teleported ergotropy for large separations; absent this, the phase transition, profitable-demon regime, and second-law enforcement cannot be verified.
Authors: We thank the referee for identifying the need for greater explicitness on this central claim. The abstract is necessarily concise, but we agree that the supporting accounting should be more prominent and self-contained. In the revised manuscript we have added a new subsection (Section III.C) that supplies the requested derivation. We define the total infrastructure energy cost as E_infra = E_init + E_stab + E_comm, where E_init is the energy to prepare the logical qubits (scaling as O(d^2) physical qubits for code distance d proportional to separation L), E_stab is the cumulative energy for repeated stabilizer measurements (likewise O(d^2) per round with a logarithmic number of rounds set by the error threshold), and E_comm accounts for classical communication latency and bandwidth costs (linear in L but sub-dominant). We then compare this quadratic overhead against the teleported ergotropy, which receives exponential protection e^{-c d} below the surface-code threshold but remains bounded by the finite-temperature resource. An explicit inequality is derived showing that E_infra > ΔE_erg for all L larger than a critical horizon distance L*, thereby enforcing net non-positive work extraction and the second law. The same section also contains the scaling relation that locates the thermodynamic phase transition between the profitable-demon and thermal regimes. These additions allow direct verification of the claims without altering the original results. revision: yes
Circularity Check
No significant circularity; derivation chain remains self-contained
full rationale
The abstract and claims present the quadratic infrastructure cost as an explicit enforcement mechanism for the second law and the phase transition as an identified outcome of the model combining surface-code protection with classical communication. No equations, sections, or self-citations are available that reduce the teleported ergotropy, exponential protection, or thermodynamic horizon to fitted parameters, self-definitions, or prior author results by construction. Standard surface-code scaling and thermodynamic accounting supply independent content, so the central claims do not collapse into their inputs.
Axiom & Free-Parameter Ledger
Lean theorems connected to this paper
-
IndisputableMonolith/Cost.leanJcost uniqueness / washburn_uniqueness_aczel unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
A quadratic infrastructure cost strictly enforces the second law, imposing a fundamental thermodynamic horizon on separation distance... W_bulk = 2 L R_0 ε_m N²
-
IndisputableMonolith/Foundation/AlexanderDuality.leanalexander_duality_circle_linking (D=3) unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
rotated surface code on rectangular lattice Λ... logical operator Z_L path independence
What do these tags mean?
- matches
- The paper's claim is directly supported by a theorem in the formal canon.
- supports
- The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
- extends
- The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
- uses
- The paper appears to rely on the theorem as machinery.
- contradicts
- The paper's claim conflicts with a theorem or certificate in the canon.
- unclear
- Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.
Reference graph
Works this paper leans on
-
[1]
R. Landauer, Irreversibility and heat generation in the computing process, IBM Journal of Research and Devel- opment5, 183 (1961)
work page 1961
-
[2]
C. H. Bennett, The thermodynamics of computation: a review, International Journal of Theoretical Physics21, 905 (1982)
work page 1982
-
[3]
H. S. Leff and A. F. Rex,Maxwell’s Demon 2: Entropy, Classical and Quantum Information, Computing(CRC Press, Boca Raton, 2003)
work page 2003
-
[4]
A. B´ erut, A. Arakelyan, A. Petrosyan, S. Ciliberto, R. Dillenschneider, and E. Lutz, Experimental verifica- tion of Landauer’s principle linking information and ther- modynamics, Nature483, 187 (2012)
work page 2012
-
[5]
J. V. Koski, V. F. Maisi, J. P. Pekola, and D. V. Averin, Experimental realization of a Szilard engine with a single electron, Proceedings of the National Academy of Sci- ences USA111, 13786 (2014)
work page 2014
- [6]
-
[7]
T. Sagawa and M. Ueda, Generalized Jarzynski equality under nonequilibrium feedback control, Physical Review Letters104, 090602 (2010)
work page 2010
-
[8]
Hotta, A protocol for quantum energy distribution, Physics Letters A372, 5671 (2008)
M. Hotta, A protocol for quantum energy distribution, Physics Letters A372, 5671 (2008)
work page 2008
-
[9]
M. Hotta, Quantum energy teleportation in spin chain systems, Journal of the Physical Society of Japan78, 034001 (2009)
work page 2009
-
[10]
K. Ikeda, Demonstration of quantum energy teleporta- tion on superconducting quantum hardware, Physical Re- view Applied20, 024051 (2023)
work page 2023
-
[11]
K. Ikeda, Long-range quantum energy teleportation and distribution on a hyperbolic quantum network, IET Quantum Communication5, 543 (2024)
work page 2024
-
[12]
A. E. Allahverdyan, R. Balian, and T. M. Nieuwenhuizen, Maximal work extraction from finite quantum systems, Europhysics Letters67, 565 (2004). 6
work page 2004
-
[13]
R. Alicki and M. Fannes, Entanglement boost for ex- tractable work from ensembles of quantum batteries, Physical Review E87, 042123 (2013)
work page 2013
-
[14]
F. Campaioli, F. A. Pollock, F. Barra, L. C. C´ eleri, J. Goold, K. Modi, and S. Vinjanampathy, Enhancing the charging power of quantum batteries, Physical Re- view Letters118, 150601 (2017)
work page 2017
-
[15]
D. Ferraro, F. Campaioli, M. Cataldo, G. M. Andolina, V. Pellegrini, and M. Polini, High-power collective charg- ing of a solid-state quantum battery, Physical Review Letters120, 117702 (2018)
work page 2018
-
[16]
A. Y. Kitaev, Fault-tolerant quantum computation by anyons, Annals of Physics303, 2 (2003)
work page 2003
- [17]
-
[18]
A. G. Fowler, J. M. Martinis, A. C. Whiteside, and L. C. L. Hollenberg, Surface codes: towards practical large-scale quantum computation, Physical Review A86, 032324 (2012)
work page 2012
-
[19]
Google Quantum AI, Suppressing quantum errors by scaling a surface code logical qubit, Nature614, 676 (2023)
work page 2023
-
[20]
Acharyaet al., Quantum error correction below the surface code threshold, Nature638, 920 (2025)
R. Acharyaet al., Quantum error correction below the surface code threshold, Nature638, 920 (2025)
work page 2025
-
[21]
T. Heet al., Experimental quantum error correction be- low the surface code threshold via all-microwave leakage suppression, Physical Review Letters135, 260601 (2025)
work page 2025
-
[22]
Y. Zouet al., Teleportation transition of sur- face codes on a superconducting quantum processor 10.48550/arXiv.2602.21293 (2026)
-
[23]
O. Higgott and C. Gidney, Sparse Blossom: correcting a million errors per core second with minimum-weight matching, Quantum9, 1600 (2025)
work page 2025
-
[24]
Gidney, Stim: a fast stabilizer circuit simulator, Quan- tum5, 497 (2021)
C. Gidney, Stim: a fast stabilizer circuit simulator, Quan- tum5, 497 (2021)
work page 2021
-
[25]
M. Y. Abd-Rabbou, I. Siddique, S. Haddadi, and C.- F. Qiao, Scalable repeater architecture for long-range quantum energy teleportation in gapped systems (2026), arXiv:2601.18327v1, arXiv:2601.18327. 7 Supplemental Material Nonlocal Topological Maxwell Demon Teleporting Ergotropy via Surface-Code Quantum Error Correction I. LA TTICE GEOMETR Y AND P A TH IN...
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.