Imagine you want to weigh a suitcase before and after a flight. The obvious method: weigh it twice. But what if the act of weighing it the first time changes what's inside — swaps a book for a sweater — so your 'before' reading no longer describes the bag that actually went through the journey? That's the measurement problem in quantum thermodynamics. When you measure energy before and after a unitary drive, the first measurement collapses the quantum state, potentially contaminating the very quantity you're trying to track. This paper argues there's a cleaner way, and that entanglement itself tells you which method is right. The committed claim: the one-time measurement (OTM) scheme for quantum work statistics is the one that respects envariance — entanglement-assisted invariance, a symmetry property of entangled quantum states introduced by Zurek. The standard two-time measurement (TTM) scheme, long the workhorse of quantum thermodynamics and fluctuation theorems, only satisfies envariance for a Haar-measure-zero set of driving unitaries. Translation: TTM works for essentially none of the operations you'd actually care about, while OTM works for all of them. Envariance is the observation that in an entangled bipartite system, certain local unitary operations on one subsystem can be 'undone' by operations on the other, leaving the global state unchanged. Zurek originally used it to derive the Born rule without explicitly postulating measurement. Sone, Touil, Doucet, and Deffner extend this logic to thermodynamic work: if you take an entangled system-environment pair and ask what work statistics are consistent with envariance, the OTM statistics drop out directly. No measurement postulate needed. The work distribution is a consequence of the entanglement structure, not of an observer's intervention. The architectural family here is quantum foundations / quantum thermodynamics, operating entirely at the level of mathematical proof rather than simulation or experiment. The method leans on the structure of bipartite Hilbert spaces, Haar measure on unitary groups, and the spectral properties of quantum channels. There's no hardware, no qubits, no circuits — this is a paper about what the formalism itself demands. The key structural move is showing that the envariance condition, when applied to the work probability distribution, uniquely selects the OTM scheme for generic unitaries while restricting TTM compatibility to a set of measure zero. Integrity is straightforward for a foundations paper: the results are mathematical proofs, not empirical claims. The validation is internal consistency — if you accept the envariance axiom as physically motivated (which is debatable but well-established in the Zurek program), the conclusions follow deductively. There's no cherry-picking risk because there are no benchmarks to choose. The limitation is that this is a theoretical argument, not an experimental discrimination between OTM and TTM. The paper doesn't tell you how to test this in a lab; it tells you which scheme is more consistent with a particular symmetry principle. The paper is short (4.5 + 4 pages including appendices), tightly argued, and narrow in scope. It resolves a specific ambiguity that has lingered in quantum thermodynamics: if both OTM and TTM are valid schemes for defining work, is there a principled reason to prefer one? The answer is yes, and the reason is envariance. This won't change anyone's experimental apparatus tomorrow, but it sharpens the conceptual foundations that fluctuation theorems and quantum heat engines are built on. For the subfield, it's a clean result. For the broader quantum information community, it's a data point in the ongoing program of deriving quantum mechanics from information-theoretic principles rather than postulating it.
