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
Surface-code quantum error correction has recently achieved logical error rates below the physical threshold on superconducting processors, establishing topologically ordered states as experimentally accessible resources. Whether these resources can support thermodynamic operations beyond fault-tolerant computation remains an open question. We introduce a nonlocal Maxwell demon protocol that transfers ergotropy between spatially separated quantum batteries using only local operations and classical communication over a shared surface code. Alice expends ergotropy to encode a logical qubit and transmits a classical syndrome record to Bob, who decodes via minimum-weight perfect matching and conditionally charges his battery, with no direct energy exchange across the channel. Active syndrome monitoring exponentially suppresses logical errors below the topological threshold $p_{\rm th} \approx 0.013$, converting physical qubits directly into recoverable ergotropy without saturation. For finite-size codes at distance $L = 7$, net extracted work changes sign at a thermodynamic critical error rate $p_c \approx 0.014 > p_{\rm th}$, a physically significant finite-size effect relevant to near-term quantum devices. Causality enforces an irreducible quadratic infrastructure cost $W_{\rm bulk} \propto N^2$, strictly satisfying the second law at all separations and defining a fundamental thermodynamic horizon $N_{\rm max} \approx 78$ beyond which positive net work extraction is impossible regardless of code distance or decoder quality. These results are compatible with current superconducting hardware and establish quantum error correction as a resource for nonlocal thermodynamic operations, opening a new direction for distributed quantum technology and energy routing beyond 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.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.