Quantum Work Statistics from Entanglement-Assisted Invariance

Technical Summary: Quantum Work Statistics from Entanglement-Assisted Invariance

Problem Statement
The paper addresses the ongoing lack of consensus regarding the most physically and thermodynamically consistent definition of quantum work. While fluctuation theorems like the Jarzynski equality and Crooks theorem are well-established for classical systems, their quantum generalizations remain debated. Various approaches exist, including the standard two-time measurement (TTM) scheme, weak measurement approaches, and quasiprobability distributions. A primary criticism of the TTM scheme is its reliance on projective energy measurements at the beginning and end of a process, which introduces ambiguities regarding the thermodynamic and informational costs of these measurements. The authors seek to determine which formulation of quantum work is most consistent with the fundamental symmetry of entanglement, specifically entanglement-assisted invariance (envariance).

Methodology
The authors employ a work-meter model involving a bipartite system $H = H_1 \otimes H_2$, where $H_1$ is a finite-dimensional system and $H_2$ is a continuous degree of freedom acting as a work meter. They analyze the evolution of the system under a time-dependent Hamiltonian $H_t$ driven by a unitary $U_\tau$.

The study compares two schemes within this framework:

1. Two-Time Measurement (TTM): The system interacts with the meter at $t=0$ to encode initial energy, evolves under $U_\tau$, and interacts again at $t=\tau$ to encode final energy. The work is defined as the difference between final and initial eigenvalues ($w_{mn} = E'_m - E_n$).
2. One-Time Measurement (OTM): The system interacts with the meter at $t=0$. After evolution under $U_\tau$, a second interaction encodes the conditional average energy $\tilde{E}_n = \langle n | U_\tau^\dagger H_\tau U_\tau | n \rangle$ rather than a specific final eigenstate. Work is defined as $w_n = \tilde{E}_n - E_n$.

The core of the methodology involves examining whether the resulting work probability distributions can be identified as Schmidt coefficients of the global entangled state. If they are Schmidt coefficients, the probabilities can be derived solely from envariance (a symmetry principle where local unitary transformations on a subsystem can be undone by a counter-transformation on the other subsystem) without invoking an explicit measurement postulate.

Key Contributions and Results

• Failure of TTM under Envariance: The authors demonstrate that for the TTM scheme, the work distribution generally cannot be derived from envariance. When the system and meter are entangled after the second interaction, the resulting branch states $|\phi_w\rangle$ associated with different work values $w$ are not mutually orthogonal for a generic driving unitary $U_\tau$. Specifically, the overlap $\langle \phi_w | \phi_{w'} \rangle$ is non-zero for $w \neq w'$ unless $U_\tau$ belongs to a set of measure zero (Haar-measure-zero). Consequently, the amplitudes $\alpha_w$ in the TTM scheme cannot be universally interpreted as Schmidt coefficients, meaning the TTM work statistics cannot be justified purely by envariance without additional assumptions or measurement postulates.

  • Note: The paper notes that TTM can be recovered via envariance only if an additional ancillary subsystem is introduced to encode the initial eigenstates, but this introduces new information costs not accounted for in the standard work-meter model.

• Success of OTM under Envariance: In contrast, the authors prove that for the OTM scheme, the work distribution arises naturally as the Schmidt coefficients of the entangled state for every driving unitary. The branch states $|\tilde{\phi}_w\rangle$ associated with different work values are always mutually orthogonal.

  • The probability $|\tilde{\alpha}_w|^2$ coincides with the OTM work distribution proposed in previous literature (Ref. [19]).
  • This distribution satisfies the Jarzynski equality and correctly reproduces the average work $\langle W \rangle = \text{Tr}[\rho_\tau H_\tau] - \text{Tr}[\rho_0 H_0]$.
  • Crucially, this derivation requires no explicit measurement postulate; the probabilities emerge directly from the symmetry of the entangled state.

Significance and Claims
The paper claims that the OTM scheme is more consistent with the fundamental principles of quantum mechanics than the TTM scheme when viewed through the lens of envariance.

• Conceptual Consistency: The OTM formulation provides a "conceptually clean" way to construct work statistics because it preserves the underlying entanglement symmetry. The probabilities are a direct consequence of envariance for any driving process.
• Elimination of Ambiguity: By deriving work statistics without an explicit measurement postulate, the OTM scheme eliminates ambiguities related to the energetic cost of measurement inherent in the TTM approach.
• Universality: The identification of work probabilities with Schmidt coefficients holds for all driving unitaries in the OTM scheme, whereas it holds only for a negligible set of unitaries in the TTM scheme.

The authors conclude that while other measurement-independent frameworks exist (such as geometric approaches to quantum state space), the OTM scheme offers a distinct advantage by yielding work statistics directly from the fundamental symmetry of entanglement, providing a transparent and operationally grounded definition of quantum work.