pith. machine review for the scientific record. sign in

arxiv: 2605.09149 · v1 · submitted 2026-05-09 · 🪐 quant-ph

Recognition: 2 theorem links

· Lean Theorem

Battery-Explicit Energetic Witnesses of CHSH Post-Quantumness

Piotr \'Cwikli\'nski
Authors on Pith no claims yet

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
0 comments X

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.

Figure 1
Figure 1. Figure 1: FIG. 1. Battery charging value as a function of CHSH value. The normalized mean work satisfies [PITH_FULL_IMAGE:figures/full_fig_p008_1.png] view at source ↗
read the original abstract

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_{\rm ext}\in\{0,\Delta\}$, and its expectation is an exact affine function of the CHSH correlator $S(P)$ of an underlying nonsignalling correlation resource: $E[W_{\rm ext}] = \Delta\left(\frac12+\frac{S(P)}{8}\right)$. Thus Tsirelson's bound becomes a quantum ceiling on the mean battery charge, while a PR-box correlation reaches $E[W_{\rm ext}]=\Delta$. 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 thermodynamics. We show that the classical feed-forward can be embedded into a reversible autonomous module on degenerate logical registers. We also distinguish two cyclic implementations: a fully reversible coherent controller, in which no persistent success record remains, and a measured-memory implementation, in which the success/failure bit is irreversibly stored and must be reset. In the latter case, the Landauer reset cost satisfies $E[Q_{\mathrm{reset}}] \ge k_B T \ln 2 \, h_2(p_{\mathrm{win}}), \qquad p_{\mathrm{win}} = \frac{1}{2} + \frac{S(P)}{8}.$. For cyclic reuse of the energetic qubit, re-excitation is required only on successful rounds, giving an average fuel cost $\Delta p_{\rm win}$. Consequently, the full-cycle net work is non-positive once memory reset is 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.

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)
  1. 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.
  2. 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)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Lean theorems connected to this paper

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

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.

  1. 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.

Reference graph

Works this paper leans on

38 extracted references · 38 canonical work pages · cited by 1 Pith paper

  1. [1]

    Quantum Coherence, Time-Translation Symmetry, and Thermodynamics , author =. Phys. Rev. X , volume =. 2015 , month =. doi:10.1103/PhysRevX.5.021001 , url =

    work page doi:10.1103/physrevx.5.021001 2015

  2. [2]

    Nature Communications , volume =

    Lostaglio, Matteo and Jennings, David and Rudolph, Terry , title =. Nature Communications , volume =. 2015 , doi =

    work page 2015

  3. [3]

    The second laws of quantum thermodynamics , journal =

    Brand. The second laws of quantum thermodynamics , journal =. 2015 , doi =

    work page 2015

  4. [4]

    Fundamental limitations for quantum and nanoscale thermodynamics , journal =

    Horodecki, Micha. Fundamental limitations for quantum and nanoscale thermodynamics , journal =. 2013 , doi =

    work page 2013

  5. [5]

    A Sufficient Set of Experimentally Implementable Thermal Operations for Small Systems , journal =

    Perry, Christopher and. A Sufficient Set of Experimentally Implementable Thermal Operations for Small Systems , journal =. 2018 , doi =

    work page 2018

  6. [6]

    Elementary Thermal Operations , journal =

    Lostaglio, Matteo and Alhambra,. Elementary Thermal Operations , journal =. 2018 , doi =

    work page 2018

  7. [7]

    Physical Review Letters , volume =

    Sagawa, Takahiro and Ueda, Masahito , title =. Physical Review Letters , volume =. 2008 , doi =

    work page 2008

  8. [8]

    Physical Review E , volume =

    Sagawa, Takahiro and Ueda, Masahito , title =. Physical Review E , volume =. 2010 , doi =

    work page 2010

  9. [9]

    Foundations of Physics , volume =

    Popescu, Sandu and Rohrlich, Daniel , title =. Foundations of Physics , volume =. 1994 , doi =

    work page 1994

  10. [10]

    , year =

    Barnum, Howard and Barrett, Jonathan and Krumm, Marius and M\"uller, Markus P. , year =. Entropy, majorization and thermodynamics in general probabilistic theories , editor =

    work page

  11. [11]

    Thermodynamics and the structure of quantum theory , journal =

    Krumm, Marius and Barnum, Howard and Barrett, Jonathan and M. Thermodynamics and the structure of quantum theory , journal =. 2017 , doi =. 1608.04461 , archivePrefix =

    work page arXiv 2017

  12. [12]

    Quantum Thermodynamic Advantage in Work Extraction from Steerable Quantum Correlations , author =. Phys. Rev. Lett. , volume =. 2025 , doi =

    work page 2025

  13. [13]

    Quantum Information & Computation , volume =

    Mayers, Dominic and Yao, Andrew , title =. Quantum Information & Computation , volume =. 2004 , eprint =

    work page 2004

  14. [14]

    Quantum , volume =

    McKague, Matthew , title =. Quantum , volume =. 2017 , doi =

    work page 2017

  15. [15]

    doi:10.22331/q-2021-03-02-401 , url =

    Self-testing with finite statistics enabling the certification of a quantum network link , author =. doi:10.22331/q-2021-03-02-401 , url =

    work page doi:10.22331/q-2021-03-02-401 2021

  16. [16]

    Physical Review Letters , volume =

    Karvonen, Martti , title =. Physical Review Letters , volume =. 2021 , doi =. 2102.07637 , archivePrefix =

    work page arXiv 2021

  17. [17]

    Quantifying

    Wolfe, Elie and Schmid, David and Sainz, Ana Bel. Quantifying. Quantum , volume =. 2020 , doi =. 1903.06311 , archivePrefix =

    work page arXiv 2020

  18. [18]

    and Horne, Michael A

    Clauser, John F. and Horne, Michael A. and Shimony, Abner and Holt, Richard A. , title =. Physical Review Letters , volume =. 1969 , doi =

    work page 1969

  19. [19]

    and Popescu, Sandu and Rohrlich, Daniel , title =

    Elitzur, Avshalom C. and Popescu, Sandu and Rohrlich, Daniel , title =. Physics Letters A , volume =. 1992 , doi =

    work page 1992

  20. [20]

    Brunelli, M

    Brunelli, Matteo and Ciampini, Marco A. and Mataloni, Paolo and Giovannetti, Vittorio , title =. npj Quantum Information , volume =. 2018 , doi =. 1601.06796 , archivePrefix =

    work page arXiv 2018

  21. [21]

    , title =

    Wilson, Edwin B. , title =. Journal of the American Statistical Association , volume =. 1927 , doi =

    work page 1927

  22. [22]

    and Pearson, Egon S

    Clopper, Charles J. and Pearson, Egon S. , title =. Biometrika , volume =. 1934 , doi =

    work page 1934

  23. [23]

    Uola, Roope and Costa, Ana C. S. and Nguyen, H. Chau and G. Quantum steering , journal =. 2020 , doi =. 1903.06663 , archivePrefix =

    work page arXiv 2020

  24. [24]

    , title =

    Tsirelson, Boris S. , title =. Letters in Mathematical Physics , volume =. 1980 , doi =

    work page 1980

  25. [25]

    IBM Journal of Research and Development , volume =

    Landauer, Rolf , title =. IBM Journal of Research and Development , volume =. 1961 , doi =

    work page 1961

  26. [26]

    , title =

    Bennett, Charles H. , title =. International Journal of Theoretical Physics , volume =. 1982 , doi =

    work page 1982

  27. [27]

    and Popescu, Sandu , title =

    Skrzypczyk, Paul and Short, Anthony J. and Popescu, Sandu , title =. Nature Communications , volume =. 2014 , doi =

    work page 2014

  28. [28]

    Physical Review A , volume =

    Barrett, Jonathan and Linden, Noah and Massar, Serge and Pironio, Stefano and Popescu, Sandu and Roberts, David , title =. Physical Review A , volume =. 2005 , doi =

    work page 2005

  29. [29]

    and Winter, Andreas , title =

    Linden, Noah and Popescu, Sandu and Short, Anthony J. and Winter, Andreas , title =. Physical Review Letters , volume =. 2007 , doi =

    work page 2007

  30. [30]

    Information causality as a physical principle , journal =

    Paw. Information causality as a physical principle , journal =. 2009 , doi =

    work page 2009

  31. [31]

    A glance beyond the quantum model , journal =

    Navascu. A glance beyond the quantum model , journal =. 2010 , doi =

    work page 2010

  32. [32]

    New Journal of Physics , volume=

    An improved Landauer principle with finite-size corrections , author=. New Journal of Physics , volume=. 2014 , doi=

    work page 2014

  33. [33]

    Journal of Physics A: Mathematical and Theoretical , volume=

    The role of quantum information in thermodynamics---a topical review , author=. Journal of Physics A: Mathematical and Theoretical , volume=. 2016 , doi=

    work page 2016

  34. [34]

    On the decrease of entropy in a thermodynamic system by the intervention of intelligent beings , journal =

    Szil. On the decrease of entropy in a thermodynamic system by the intervention of intelligent beings , journal =. 1929 , doi =

    work page 1929

  35. [35]

    arXiv preprint , volume =

    Toner, Ben and Verstraete, Frank , title =. arXiv preprint , volume =

    work page

  36. [36]

    Parrondo, Juan M. R. and Horowitz, Jordan M. and Sagawa, Takahiro , title =. Nature Physics , volume =. 2015 , doi =

    work page 2015

  37. [37]

    Dahlsten, Oscar C. O. and Renner, Renato and Rieper, Elisabeth and Vedral, Vlatko , title =. New Journal of Physics , volume =. 2011 , doi =. 1009.1630 , archivePrefix =

    work page arXiv 2011

  38. [38]

    Physical Review Letters , volume =

    Brunner, Nicolas and Skrzypczyk, Paul , title =. Physical Review Letters , volume =. 2009 , doi =. 0901.4070 , archivePrefix =

    work page arXiv 2009