Pith. sign in

REVIEW 2 major objections 2 minor 2 cited by

A battery receives one excitation precisely when a Bell game condition holds, so its mean charge equals the success probability times the energy gap.

Reviewed by Pith at T0; open to challenge. T0 means a machine referee read the full paper against a public rubric. the ladder, T0–T4 →

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗

T0 review · grok-4.3

2026-06-30 22:53 UTC pith:FZLDMDBT

load-bearing objection The paper maps Bell XOR game success probabilities to exact mean battery charges using an energy-preserving controlled SWAP on a degenerate-control two-level battery. the 2 major comments →

arxiv 2605.09149 v3 pith:FZLDMDBT submitted 2026-05-09 quant-ph

Battery-Explicit Thermodynamic Witnesses of Bell Post-Quantumness

Piotr \'Cwikli\'nski This is my paper
classification quant-ph
keywords Bell gamesthermodynamic witnessespost-quantum correlationsCHSH inequalityPR boxesenergy-preserving operationsnonsignaling behaviorsbattery models
verification ladder T0 review T1 audit T2 compute T3 formal T4 reserved

The pith

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

The paper constructs a thermodynamic witness in which a single supplied excitation is routed into an explicit two-level battery if and only if the players satisfy the winning condition of a Bell game. The routing is performed by an energy-preserving controlled SWAP whose logical controls are degenerate, ensuring the correlations themselves create no energy. As a direct result the average battery charge equals the game's success probability multiplied by the battery gap. Optimizing over local, quantum or nonsignalling strategies therefore converts the usual game values into strict thermodynamic ceilings on the observable charge. The construction is trusted-module rather than device-independent and includes reversible-controller and finite-statistics variants.

Core claim

For any finite two-player XOR game the mean battery charge is exactly the game success probability multiplied by the battery gap; hence Tsirelson's bound becomes a strict quantum ceiling on mean charge while a PR-box reaches the single-excitation cap, and the same mapping yields local and nonsignalling thermodynamic ceilings for every such game.

What carries the argument

energy-preserving controlled SWAP that routes a supplied excitation into a two-level battery exactly when the Bell-game winning condition is met

Load-bearing premise

The routing is performed by an energy-preserving controlled SWAP whose logical control registers are taken to be degenerate.

What would settle it

An experimental run in which the measured mean battery charge exceeds the Tsirelson bound for the CHSH game while the Hamiltonians remain calibrated and the controlled SWAP remains energy-preserving would falsify the claimed equality.

Watch this falsifier — get emailed when new claim-graph text bears on it.

If this is right

  • Tsirelson's bound supplies a strict upper limit on observable mean battery charge for any quantum strategy in the CHSH game.
  • A PR-box strategy saturates the single-excitation cap on mean charge.
  • Local strategies are bounded by the classical game value times the gap, giving a thermodynamic test of Bell inequality violation.
  • Cyclic bookkeeping that includes fuel restoration and memory erasure yields zero net work.
  • Finite-statistics certification of the witness is possible directly from work-extraction data.

Where Pith is reading between the lines

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

  • The same battery construction could be applied to other XOR games or to multipartite scenarios to obtain thermodynamic witnesses for those correlation classes.
  • If the trusted-module assumption on the battery readout is relaxed, the setup might still provide a semi-device-independent test when combined with calibration checks on the Hamiltonians.
  • The mapping between success probability and mean charge suggests that thermodynamic resources could serve as a quantitative measure of correlation strength in resource theories that treat energy and information together.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit.

Referee Report

2 major / 2 minor

Summary. The paper introduces a battery-explicit thermodynamic witness of post-quantum Bell correlations. A single excitation is routed into an explicit two-level battery via an energy-preserving controlled SWAP if and only if a Bell-game condition is satisfied, with logical controls taken degenerate. For finite two-player XOR games the mean battery charge equals the game success probability times the battery gap exactly, so that local, quantum and nonsignalling game values become corresponding thermodynamic ceilings. The CHSH example recovers Tsirelson’s bound as a strict quantum ceiling and a PR-box saturates the single-excitation cap. The witness is trusted-module; the manuscript also treats reversible-controller implementations, finite-statistics certification from work data, robustness to imperfect readout, and cyclic bookkeeping that yields no net positive work once fuel restoration and erasure are included.

Significance. If the exact equality holds, the construction supplies a direct, physically interpretable link between Bell-game values and extractable thermodynamic quantities, turning information-theoretic bounds into concrete ceilings on mean battery charge. The explicit battery module, the emphasis on energy preservation, and the reversible-bookkeeping analysis are genuine strengths that distinguish the work from purely abstract witnesses. The approach remains device-dependent (trusted Hamiltonians and wiring) but offers a concrete route toward thermodynamic certification of post-quantum resources.

major comments (2)
  1. [Abstract] Abstract and construction (the paragraph beginning “The routing operation is implemented…”): the headline equality “mean battery charge is exactly the game success probability multiplied by the battery gap” is asserted to follow from an energy-preserving controlled SWAP with degenerate controls. No explicit interaction Hamiltonian, commutation relation [H_total, U_SWAP]=0, or verification that the property survives when the control register is placed in an arbitrary (including nonsignalling) state is supplied. This premise is load-bearing for the mapping from game values to thermodynamic ceilings.
  2. [Abstract] The paragraph on nonsignalling behaviours: the claim that “the correlation resource does not create energy; it only determines the probability” requires an explicit check that the controlled-SWAP remains strictly energy-preserving once the control is supplied by a general nonsignalling box (e.g., a PR-box). Degeneracy of the logical registers alone does not automatically guarantee the commutation for entangled or non-quantum control states.
minor comments (2)
  1. The manuscript would benefit from a short dedicated subsection that writes the total Hamiltonian, the controlled-SWAP unitary, and the commutation proof for a general control state.
  2. Notation for the battery gap and the mean charge should be introduced with an equation number at first use.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading and positive evaluation of the manuscript's strengths. The comments correctly identify that the energy-preservation claim is central and would benefit from explicit verification; we will add the requested details in revision.

read point-by-point responses

  1. Referee: [Abstract] Abstract and construction (the paragraph beginning “The routing operation is implemented…”): the headline equality “mean battery charge is exactly the game success probability multiplied by the battery gap” is asserted to follow from an energy-preserving controlled SWAP with degenerate controls. No explicit interaction Hamiltonian, commutation relation [H_total, U_SWAP]=0, or verification that the property survives when the control register is placed in an arbitrary (including nonsignalling) state is supplied. This premise is load-bearing for the mapping from game values to thermodynamic ceilings.

    Authors: We agree that an explicit derivation strengthens the presentation. The controlled-SWAP is constructed to act only on the physical excitation and battery degrees of freedom while leaving the degenerate logical controls untouched in energy; this ensures [H_total, U]=0 holds as an operator identity independent of the control state. In the revised manuscript we will supply the explicit interaction Hamiltonian, verify the commutation relation, and confirm that the mean-charge equality follows for arbitrary (including nonsignalling) control states because energy accounting depends solely on whether the excitation is routed to the battery. revision: yes

  2. Referee: [Abstract] The paragraph on nonsignalling behaviours: the claim that “the correlation resource does not create energy; it only determines the probability” requires an explicit check that the controlled-SWAP remains strictly energy-preserving once the control is supplied by a general nonsignalling box (e.g., a PR-box). Degeneracy of the logical registers alone does not automatically guarantee the commutation for entangled or non-quantum control states.

    Authors: Because the unitary is defined to be strictly energy-preserving on the physical subspace and the logical registers are energetically degenerate, the commutation [H_total, U]=0 is an algebraic property of the operator and therefore holds for any density operator on the control registers, quantum or otherwise. In the trusted-module setting the wiring is fixed and the energy balance is independent of the underlying resource that produces the correlations. The revised version will include this explicit verification together with a short calculation for a PR-box control state. revision: yes

Circularity Check

0 steps flagged

No circularity; mean-charge equality follows directly from explicit energy-preserving routing construction

full rationale

The paper's central equality (mean battery charge exactly equals game success probability times battery gap) is obtained by defining the routing operation as an energy-preserving controlled SWAP on degenerate controls. This makes the equality hold by the setup's construction rather than by any reduction of a derived quantity to fitted inputs or self-citations. No load-bearing self-citation chains, ansatzes smuggled via prior work, or uniqueness theorems are invoked. The thermodynamic ceilings are a direct reinterpretation of standard game values under the stated trusted-module assumptions, rendering the derivation self-contained against external benchmarks.

Axiom & Free-Parameter Ledger

1 free parameters · 1 axioms · 1 invented entities

Ledger extracted from abstract only; full paper may detail additional parameters or assumptions. Battery gap is a chosen scale factor in the setup.

free parameters (1)
  • battery gap
    Energy difference of the two-level battery, chosen as part of the witness setup to scale the mean charge to the success probability.
axioms (1)
  • domain assumption Energy-preserving controlled SWAP with degenerate logical control registers
    Invoked to ensure the correlation resource determines only the routing probability without creating or destroying energy.
invented entities (1)
  • explicit two-level battery module no independent evidence
    purpose: To store the routed excitation conditionally based on the Bell-game condition
    Introduced as the trusted measurement device for the thermodynamic witness.

pith-pipeline@v0.9.1-grok · 5752 in / 1357 out tokens · 32150 ms · 2026-06-30T22:53:14.321612+00:00 · methodology

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

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 ↗
Figure 1
Figure 1. Figure 1: FIG. 1. Mean battery charge for the CHSH game. The [PITH_FULL_IMAGE:figures/full_fig_p006_1.png] view at source ↗

Review history (3 revisions) →

discussion (0)

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

Forward citations

Cited by 2 Pith papers

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

  1. Thermodynamic Value of XOR-Game-Induced Side Information in a Szilard Engine

    quant-ph 2026-05 unverdicted novelty 6.0

    XOR-game winning probabilities fix the mutual information and thus the reversible Szilard work extractable from game-induced side information, yielding local, quantum and nonsignalling thermodynamic ceilings.

  2. Thermodynamic Value of XOR-Game-Induced Side Information 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

40 extracted references · 5 canonical work pages · cited by 1 Pith paper · 4 internal anchors

  1. [1]

    Define also the error bit E:=G⊕X

    Independence induced by the one-time pad Recall that the referee samples an independent uniform bitR, and defines X=f(U, V)⊕R, G=A⊕B⊕R. Define also the error bit E:=G⊕X. Then E=A⊕B⊕f(U, V). ThusEdepends on (U, V, A, B), but not onR. Lemma 3(Independence ofXandE).The target bit Xis independent of the error bitE. Proof.Letx, e∈ {0,1}. By the law of total pr...

  2. [2]

    The computational basis vectors ofF⊗Whave energies E00 = 0, E 10 = ∆, E 01 = ∆, E 11 = 2∆

    Energy preservation of the equal-gap SWAP The fuel and battery Hamiltonians are HF = ∆|1⟩⟨1| F , H W = ∆|1⟩⟨1| W . The computational basis vectors ofF⊗Whave energies E00 = 0, E 10 = ∆, E 01 = ∆, E 11 = 2∆. The SWAP unitary satisfies SWAPF W |00⟩=|00⟩, SWAPF W |10⟩=|01⟩, SWAPF W |01⟩=|10⟩, and SWAPF W |11⟩=|11⟩. It leaves the zero- and two-excitation secto...

  3. [3]

    Let Πxg :=|x⟩⟨x| X ⊗ |g⟩⟨g| G

    Unitarity of the equality-controlled battery operation The equality-controlled battery unitary is Ubat = X x,g∈{0,1} |x⟩⟨x|X ⊗ |g⟩⟨g| G ⊗V xg, where Vxg = ( SWAPF W , x=g, IF W , x̸=g. Let Πxg :=|x⟩⟨x| X ⊗ |g⟩⟨g| G . The projectors Π xg are mutually orthogonal and resolve the identity: ΠxgΠx′g′ =δ x,x′δg,g ′Πxg, X x,g Πxg =I XG . EachV xg is unitary. Ther...

  4. [4]

    Hence Htot =H X +H G +H F +H W =H F +H W

    Energy preservation of the equality-controlled operation The logical registers are degenerate: HX =H G = 0. Hence Htot =H X +H G +H F +H W =H F +H W . For each branch,V xg is either the identity or SWAP F W. Both commute withH F +H W . Therefore every block Πxg ⊗V xg commutes withH tot, and so does their sum: [Ubat, Htot] = 0. Appendix B: General binary-p...

  5. [5]

    , N−1, αj+1 ⊕β j = 0, j= 0,

    Classical value For the chained gameG N, the 2Ntested constraints are αj ⊕β j = 0, j= 0, . . . , N−1, αj+1 ⊕β j = 0, j= 0, . . . , N−2, and α0 ⊕β N−1 = 1. Hereα j andβ j are deterministic local outputs. A deterministic strategy cannot satisfy all constraints. Indeed, from αj ⊕β j = 0 we get αj =β j for allj. From αj+1 ⊕β j = 0 forj= 0, . . . , N−2, we get...

  6. [6]

    Then the winning condition is satisfied with probability one

    Nonsignalling value For every allowed input pair (u, v), define P(a, b|u, v) = ( 1 2 , a⊕b=f(u, v), 0, a⊕b̸=f(u, v). Then the winning condition is satisfied with probability one. Alice’s marginal is uniform: X b P(a, b|u, v) = 1 2 for botha= 0,1, independently ofv. Bob’s marginal is also uniform: X a P(a, b|u, v) = 1 2 for bothb= 0,1, independently ofu. H...

  7. [7]

    ForN= 2, this gives ωQ(G2) = cos2 π 8 , which is the usual CHSH quantum winning probability

    Quantum value The quantum value is the standard chained Tsirelson value: ωQ(GN) = cos2 π 4N . ForN= 2, this gives ωQ(G2) = cos2 π 8 , which is the usual CHSH quantum winning probability. Appendix D: Convex-content bounds from battery data The battery value can also be used to lower-bound the fraction of a behaviour that must lie outside a chosen resource ...

  8. [8]

    A lower bound on nonsignalling nonlocal content is ob- tained by taking C=L,D=NS

    CHSH nonlocal and post-quantum content For CHSH, ωL = 3 4 , ω Q = cos2 π 8 , ω NS = 1. A lower bound on nonsignalling nonlocal content is ob- tained by taking C=L,D=NS. Then qNL ≥ E[Wbat]/∆− 3 4 1− 3 4 = 4 E[Wbat] ∆ −3. Using E[Wbat] ∆ = 1 2 + S 8 , this becomes qNL ≥ S−2 2 . For post-quantum content, take C=Q,D=NS. Then qpostQ ≥ E[Wbat]/∆−cos 2(π/8) 1−co...

  9. [9]

    Here Beta −1(q;a, b) is theq-quantile of the beta distri- bution with parametersa, b

    Clopper–Pearson interval A two-sided Clopper–Pearson interval [24] with error probabilityαis [pL, pU], where, for 0< k < n, pL = Beta−1 α 2 ;k, n−k+ 1 , and pU = Beta−1 1− α 2 ;k+ 1, n−k . Here Beta −1(q;a, b) is theq-quantile of the beta distri- bution with parametersa, b. The endpoint conventions are pL = 0 ifk= 0, and pU = 1 ifk=n. A one-sided lower co...

  10. [10]

    Let z= Φ −1 1− α 2 , where Φ is the standard normal cumulative distribution function

    Wilson interval The Wilson interval [25] is often shorter while main- taining good coverage. Let z= Φ −1 1− α 2 , where Φ is the standard normal cumulative distribution function. The Wilson interval is   ˆp+z2 2n −z q ˆp(1−ˆp) n + z2 4n2 1 + z2 n , ˆp+z2 2n +z q ˆp(1−ˆp) n + z2 4n2 1 + z2 n  

  11. [11]

    For CHSH, S= 8 p− 1 2

    Mapping to CHSH Any confidence interval p∈[p L, pU] gives a battery interval E[Wbat]∈[∆p L,∆p U]. For CHSH, S= 8 p− 1 2 . Thus S∈ 8 pL − 1 2 ,8 pU − 1 2 . A finite-data post-quantumness certificate is obtained whenever pL >cos 2 π 8 , or equivalently 8 pL − 1 2 >2 √ 2. Appendix G: Memory reset variants The Landauer term in the main text refers to a com- p...

  12. [12]

    The memory entropy is H(Z) =h 2(p)

    Compressed success memory If the only persistent memory is Z=1{win}, then P[Z= 1] =p,P[Z= 0] = 1−p, where p=p G succ(P). The memory entropy is H(Z) =h 2(p). Blind erasure costs at least Qreset ≥k BTln 2h 2(p)

  13. [13]

    SinceZis a deterministic function ofT, H(T)≥H(Z) =h 2(p)

    Full transcript memory If the implementation stores the full transcript T= (U, V, R, A, B), then the erasure cost is governed byH(T), not merely byh 2(p). SinceZis a deterministic function ofT, H(T)≥H(Z) =h 2(p). Thus erasing the full transcript is at least as costly as erasing the compressed success/failure bit

  14. [14]

    The present work deliberately uses blind reset of the persistent local memory, so such side-information-assisted reductions are not used

    Side-information-assisted reset If the erasing agent has side informationYcorrelated with the memory, then the relevant classical entropy can be reduced to a conditional entropyH(Z|Y). The present work deliberately uses blind reset of the persistent local memory, so such side-information-assisted reductions are not used

  15. [15]

    No persistentZ remains

    Reversible uncomputation In the reversible-controller implementation, the success bit is computed, used, and uncomputed. No persistentZ remains. Therefore no Landauer erasure cost is assigned to the success bit in that implementation. Appendix H: Detailed fuel-battery balance The initial fuel-battery state is |1⟩F |0⟩W . The initial fuel energy is Ein F =...

  16. [16]

    J. F. Clauser, M. A. Horne, A. Shimony, and R. A. Holt, Physical Review Letters23, 880 (1969)

    1969

  17. [17]

    B. S. Tsirelson, Letters in Mathematical Physics4, 93 (1980)

    1980

  18. [18]

    Popescu and D

    S. Popescu and D. Rohrlich, Foundations of Physics24, 379 (1994)

    1994

  19. [19]

    Barrett, N

    J. Barrett, N. Linden, S. Massar, S. Pironio, S. Popescu, and D. Roberts, Physical Review A71, 022101 (2005)

    2005

  20. [20]

    Consequences and Limits of Nonlocal Strategies

    R. Cleve, P. Høyer, B. Toner, and J. Watrous, inPro- ceedings of the 19th IEEE Annual Conference on Com- putational Complexity(IEEE Computer Society, 2004) pp. 236–249, arXiv:quant-ph/0404076

    work page internal anchor Pith review Pith/arXiv arXiv 2004

  21. [21]

    S. L. Braunstein and C. M. Caves, Annals of Physics202, 22 (1990)

    1990

  22. [22]

    Tsirelson bounds for generalized Clauser-Horne-Shimony-Holt inequalities

    S. Wehner, Physical Review A73, 022110 (2006), arXiv:quant-ph/0510076

    work page internal anchor Pith review Pith/arXiv arXiv 2006

  23. [23]

    Horodecki and J

    M. Horodecki and J. Oppenheim, Nature Communica- tions4, 2059 (2013)

    2059

  24. [24]

    F. G. S. L. Brand˜ ao, M. Horodecki, N. Ng, J. Oppenheim, and S. Wehner, Proceedings of the National Academy of Sciences112, 3275 (2015)

    2015

  25. [25]

    Lostaglio, D

    M. Lostaglio, D. Jennings, and T. Rudolph, Nature Com- munications6, 6383 (2015)

    2015

  26. [26]

    Perry, P

    C. Perry, P. ´Cwikli´ nski, J. Anders, M. Horodecki, and J. Oppenheim, Physical Review X8, 041049 (2018)

    2018

  27. [27]

    Landauer, IBM Journal of Research and Development 5, 183 (1961)

    R. Landauer, IBM Journal of Research and Development 5, 183 (1961)

    1961

  28. [28]

    C. H. Bennett, International Journal of Theoretical Physics21, 905 (1982)

    1982

  29. [29]

    Sagawa and M

    T. Sagawa and M. Ueda, Physical Review Letters100, 080403 (2008)

    2008

  30. [30]

    Sagawa and M

    T. Sagawa and M. Ueda, Physical Review E82, 021101 (2010)

    2010

  31. [31]

    J. M. R. Parrondo, J. M. Horowitz, and T. Sagawa, Na- ture Physics11, 131 (2015)

    2015

  32. [32]

    Reeb and M

    D. Reeb and M. M. Wolf, New Journal of Physics16, 103011 (2014)

    2014

  33. [33]

    Goold, M

    J. Goold, M. Huber, A. Riera, L. del Rio, and P. Skrzypczyk, Journal of Physics A: Mathematical and Theoretical49, 143001 (2016)

    2016

  34. [34]

    S. Rout, A. B. Ravichandran, P. Horodecki, and A. Chaturvedi, Quantum work beyond classical (com- muting) limits (2026), arXiv:2605.04021 [quant-ph]

    work page internal anchor Pith review Pith/arXiv arXiv 2026

  35. [35]

    Hoeffding, Journal of the American Statistical Asso- ciation58, 13 (1963)

    W. Hoeffding, Journal of the American Statistical Asso- ciation58, 13 (1963)

    1963

  36. [36]

    Azuma, Tohoku Mathematical Journal19, 357 (1967)

    K. Azuma, Tohoku Mathematical Journal19, 357 (1967)

    1967

  37. [37]

    Thermodynamic Value of XOR-Game-Induced Side Information in a Szilard Engine

    P. ´Cwikli´ nski, Thermodynamic value of chsh-induced side-information channels in a szilard engine (2026), arXiv:2605.12044 [quant-ph]

    work page internal anchor Pith review Pith/arXiv arXiv 2026

  38. [38]

    Toner and F

    B. Toner and F. Verstraete, Monogamy of bell cor- relations and tsirelson’s bound (2006), arXiv:quant- ph/0611001 [quant-ph]

    work page arXiv 2006

  39. [39]

    C. J. Clopper and E. S. Pearson, Biometrika26, 404 (1934)

    1934

  40. [40]

    E. B. Wilson, Journal of the American Statistical Asso- ciation22, 209 (1927)

    1927