Battery-Explicit Thermodynamic Witnesses of Bell Post-Quantumness

Piotr \'Cwikli\'nski

arxiv: 2605.09149 · v2 · pith:FZLDMDBTnew · submitted 2026-05-09 · 🪐 quant-ph

Battery-Explicit Thermodynamic Witnesses of Bell Post-Quantumness

Piotr \'Cwikli\'nski This is my paper

Pith reviewed 2026-05-12 02:01 UTC · model grok-4.3

classification 🪐 quant-ph

keywords CHSH inequalityenergetic witnessbattery chargingTsirelson boundnonsignaling correlationsenergy-preserving SWAPpost-quantum resourcesLandauer cost

0 comments

The pith

A single energy-preserving SWAP turns the CHSH correlator into an exact expected battery charge.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper constructs a device that routes a pre-supplied excitation into a binary battery using a SWAP operation controlled by a shared nonsignaling correlation. The average energy deposited in the battery is precisely Δ times one-half plus the CHSH value divided by eight. This turns the quantum bound on the CHSH correlator into an upper limit on how much a quantum device can charge the battery on average, while a post-quantum PR-box would charge it fully. The construction is framed as a transducer between correlations and energy rather than a thermodynamic engine.

Core claim

We introduce a trusted-module energetic witness in which a single pre-supplied excitation is conditionally routed into a binary work battery by an energy-preserving SWAP. In each run, the battery charging value is binary, W_ext ∈ {0, Δ}, and its expectation is an exact affine function of the CHSH correlator S(P) of an underlying nonsignalling correlation resource: E[W_ext] = Δ(½ + S(P)/8). Thus Tsirelson's bound becomes a quantum ceiling on the mean battery charge, while a PR-box correlation reaches E[W_ext] = Δ. The construction should be understood as an energy-preserving CHSH-to-battery transducer, not as heat-to-work extraction and not as a derivation of Tsirelson's bound from thermo.

What carries the argument

The energy-preserving SWAP gate that conditionally routes the excitation based on the measurement outcomes from the CHSH test, mapping the correlation value directly to the probability of battery charging.

If this is right

Tsirelson's bound of 2√2 on the CHSH correlator limits the mean battery charge to less than Δ for any quantum resource.
A PR-box achieves the maximum mean charge of Δ.
Embedding classical feed-forward into a reversible autonomous module on degenerate logical registers preserves the energetic mapping.
In the measured-memory implementation, the Landauer reset cost is at least kT ln2 times the binary entropy of the win probability, which equals ½ + S(P)/8.
For cyclic reuse, the average fuel cost is Δ times p_win, and net work is non-positive when including memory reset.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

If the exact affine relation holds in experiment, it could serve as a practical way to quantify post-quantumness by measuring average battery energy rather than counting correlations directly.
The distinction between reversible coherent control and irreversible memory storage suggests trade-offs in cyclic implementations that might apply to other correlation-based devices.
Since the mapping is independent of the specific implementation details as long as the SWAP is energy-preserving, it might extend to witnessing other Bell inequalities through similar energetic transducers.

Load-bearing premise

The module must be trusted, the SWAP operation strictly energy-preserving, and the shared resource a nonsignaling correlation.

What would settle it

Measure the average battery charge for a known quantum state achieving a specific CHSH value and check if it deviates from Δ(1/2 + S/8); any mismatch would falsify the exact affine mapping.

Figures

Figures reproduced from arXiv: 2605.09149 by Piotr \'Cwikli\'nski.

read the original abstract

We introduce a battery-explicit thermodynamic witness of post-quantum Bell correlations. In each round, a single supplied excitation is routed into an explicit two-level battery if and only if a Bell-game condition is satisfied. The routing operation is implemented by an energy-preserving controlled SWAP, with all logical control registers taken to be degenerate. Thus the correlation resource does not create energy; it only determines the probability that the supplied excitation reaches the battery. The construction is first formulated for finite two-player XOR games. For any such game, the mean battery charge is exactly the game success probability multiplied by the battery gap. Optimizing over local, quantum, or nonsignalling behaviours therefore turns the corresponding game values into local, quantum, or nonsignalling thermodynamic ceilings. For the CHSH game, Tsirelson's bound becomes a strict quantum ceiling on the mean battery charge, while a PR-box behaviour reaches the single-excitation cap. The witness is trusted-module rather than device-independent: it assumes calibrated Hamiltonians, correct classical wiring, and a trusted energy-preserving battery module. We also discuss a reversible-controller implementation, finite-statistics certification from work data, robustness to imperfect battery readout, and cyclic bookkeeping showing that no positive net work is obtained once fuel restoration and memory erasure are included.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Desk Editor's Note private letter to a colleague

This paper gives a clean explicit construction that maps CHSH correlations to battery charging statistics via a trusted energy-preserving SWAP module, plus workable cyclic accounting.

read the letter

The main new piece is the battery transducer itself: a pre-supplied excitation gets routed by SWAP into a binary work battery whose expectation value sits at exactly Δ(½ + S(P)/8). Tsirelson’s bound therefore caps the average charge, and PR-boxes reach the full Δ. They also spell out two cyclic versions—one fully reversible coherent controller with no leftover record, and one with measured memory that incurs a Landauer reset cost—then show that re-excitation only on success keeps net cycle work non-positive. That accounting is straightforward and follows from the usual CHSH winning probability once the premises are granted.

Referee Report

0 major / 2 minor

Summary. The paper introduces a trusted-module energetic witness for CHSH post-quantumness in which a pre-supplied excitation is conditionally routed by an energy-preserving SWAP into a binary work battery (W_ext ∈ {0, Δ}) controlled by a nonsignaling correlation resource. It establishes the exact affine relation E[W_ext] = Δ(½ + S(P)/8), positioning Tsirelson's bound as a quantum ceiling on mean battery charge while a PR-box reaches the maximum E[W_ext] = Δ. The construction is framed as an energy-preserving transducer rather than a thermodynamic derivation of the bound. The work further embeds classical feed-forward into a reversible autonomous module, contrasts fully reversible coherent control (no persistent record) with measured-memory implementations (requiring Landauer reset with E[Q_reset] ≥ k_B T ln 2 ⋅ h_2(p_win)), and shows that the full-cycle net work remains non-positive once re-excitation and reset costs are included.

Significance. If the mapping holds, the result supplies a concrete operational interpretation of the CHSH correlator S(P) as the mean extractable work from a binary battery, with post-quantum correlations enabling strictly higher average charging than quantum ones. The explicit construction, the parameter-free affine dependence on S(P) (only Δ is free), the careful separation of reversible versus irreversible implementations, and the demonstration that net cyclic work is non-positive constitute clear strengths. The paper correctly disclaims any thermodynamic derivation of Tsirelson's bound and provides falsifiable predictions for battery statistics under different correlation resources.

minor comments (2)

Abstract: the affine relation E[W_ext] = Δ(½ + S(P)/8) is asserted as exact by construction, yet no derivation steps or reference to the standard CHSH-game winning probability p_win = ½ + S(P)/8 are supplied; a one-sentence indication of the mapping would improve immediate verifiability.
The distinction between the reversible coherent controller and the measured-memory implementation is introduced in the abstract but would benefit from an explicit side-by-side comparison table of energy costs and information erasure in the main text.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive and detailed assessment of our manuscript, including recognition of the operational interpretation of the CHSH correlator as mean battery charge, the parameter-free affine relation, the separation of reversible versus irreversible control, and the non-positive net cyclic work. The recommendation for minor revision is noted. No specific major comments or criticisms are raised in the report, so we have no point-by-point rebuttals to provide.

Circularity Check

0 steps flagged

Explicit construction; no circular reduction in derivation chain

full rationale

The central mapping E[W_ext] = Δ(½ + S(P)/8) follows directly from the standard CHSH-game winning probability p_win = ½ + S(P)/8 together with an explicit energy-preserving SWAP routing rule that charges the battery precisely on winning rounds. The paper states the premises (trusted module, energy-preserving SWAP, nonsignaling resource) and disclaims any thermodynamic derivation of Tsirelson's bound. No self-citation is load-bearing, no parameter is fitted and then renamed as a prediction, and the result is not equivalent to its inputs by definition. The construction supplies an independent operational witness rather than a tautological re-expression.

Axiom & Free-Parameter Ledger

1 free parameters · 2 axioms · 0 invented entities

The central mapping rests on the assumption of a trusted energy-preserving SWAP and nonsignaling resources; no new particles or forces are postulated.

free parameters (1)

Δ
Arbitrary energy scale of the battery; sets the overall unit but does not affect the normalized bound.

axioms (2)

domain assumption The SWAP operation is strictly energy-preserving.
Invoked to guarantee that the routed excitation either fully charges the battery or leaves it empty.
domain assumption The underlying resource is a nonsignaling correlation.
Required for the CHSH correlator S(P) to be well-defined and for the affine relation to hold.

pith-pipeline@v0.9.0 · 5613 in / 1350 out tokens · 33321 ms · 2026-05-12T02:01:24.531773+00:00 · methodology

discussion (0)

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

IndisputableMonolith/Cost/FunctionalEquation.lean washburn_uniqueness_aczel echoes

?

echoes
ECHOES: this paper passage has the same mathematical shape or conceptual pattern as the Recognition theorem, but is not a direct formal dependency.

E[W_ext] = Δ(½ + S(P)/8) ... p_win = ½ + S(P)/8

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.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

Thermodynamic value of CHSH-induced side-information channels in a Szilard engine
quant-ph 2026-05 unverdicted novelty 5.0

CHSH correlations induce a binary-symmetric side-information channel whose mutual information sets the reversible work extractable in a Szilard engine, with quantum and nonsignalling resources outperforming classical ones.