Tabletop reversibility of phase-covariant operations

AI summary

Overview

Research area: Quantum information theory — open quantum dynamics, quantum channels, and the resource theory of time-translation asymmetry (phase covariance).

Technical level: Advanced. The paper assumes familiarity with completely positive and trace preserving (CPTP) maps, Kraus representations, Stinespring and unitary dilations, the Petz recovery map, Gaussian channels, and quantum thermodynamic resource theories.

Scope: The paper asks whether every phase-covariant quantum operation admits a covariant dilation that is tabletop time-reversible, proves this is possible for finite-dimensional systems, and shows it fails for single-mode Gaussian amplification channels.

What This Paper Is About

Any noisy quantum channel can be implemented by preparing an auxiliary system in some state, applying a joint unitary, and tracing the auxiliary out. Its optimal reverse operation is the Petz recovery map. Tabletop reversibility (TTR) asks whether that recovery map can be realized by simply inverting the same joint unitary and swapping in a suitable auxiliary state, rather than building new recovery hardware.

The paper asks whether this is possible while also respecting phase covariance — the time-translation symmetry that makes an operation "free" in the resource theory of asymmetry. The authors answer this separately for finite-dimensional systems and for Gaussian systems and find that the two behave qualitatively differently.

Key Contributions

1. A unitary-completion lemma (Lemma 1). The authors prove that if m rows and m columns of an N×N complex matrix are specified (with m ≤ N/2), are orthonormal, and have zero overlap between the specified rows and columns, then the remaining entries can always be chosen so the matrix is unitary. An explicit formula for the unspecified entries is given.

2. Theorem 1: TTR is always achievable for finite-dimensional phase-covariant operations. For any phase-covariant operation ℰ, if a covariant prior state α exists such that α′ ≡ ℰ(α) is full rank, then ℰ admits a dilation that is both covariant and tabletop time-reversible with respect to α. The dilation is constructed explicitly, with the forward and reverse auxiliary states both taken to be |vac⟩⟨vac|.

3. Corollary 1: enhanced thermal operations are tabletop time-reversible. Every enhanced thermal operation (EnTO) — a channel that is covariant and preserves the Gibbs state — admits a covariant dilation that is TTR with respect to the Gibbs state γ_S^κ. This settles a question left open by prior work, since EnTOs strictly contain thermal operations (TOs), which were already known to be TTR.

4. A Gaussian obstruction and a general byproduct. Any Gaussian dilation of a single-mode Gaussian amplification channel is shown to fail TTR for any choice of Gaussian prior and Gaussian reverse bath state. Separately, the authors show that almost every CPTP map (finite-dimensional, with a well-defined Petz map) admits a dilation realizing TTR.

Main Findings

• Finite dimensions admit explicit TTR dilations. The forward channel's Kraus operators K_{ω,s}, which satisfy [H_S, K_{ω,s}] = ωK_{ω,s} (Bohr-frequency modes), fix a block column of the global unitary U. The Kraus operators C_{ω,s} of the Petz map fix a block row. Because the auxiliary input state |vac⟩ and the auxiliary output states |−ω,s⟩ live in orthogonal subspaces, the overlap block is zero, so Lemma 1 completes U to a unitary.

• Covariance comes for free in the construction. The specified matrix elements are nonzero only when the total energy is conserved (E′ − E = ω), so U is block diagonal with respect to total energy, U = ⊕Ē U_Ē, and hence [U, H_S + H_B] = 0. The blocks U{Ē ∉ {E}} are chosen as identity for simplicity.

• The constructed dilation is not product-preserving. Prior work showed that product-preserving tuples (U, α, β) with U(α⊗β)U† = α′⊗β′ give TTR. The dilations here are not of that type: U(α ⊗ |vac⟩⟨vac|)U† generally contains nontrivial system–bath correlations. Theorem 1 therefore identifies a genuinely different class of TTR dilations.

• The reverse bath state is the same pure state as the forward one. In the construction, both the forward bath input β and the reverse bath state β′ are |vac⟩⟨vac|. The reverse channel ℛ(·) = Tr_B[U†(· ⊗ |vac⟩⟨vac|)U] coincides exactly with the Petz map ℰ̂_α.

• The implementation is not thermodynamically free. Both the auxiliary state and the global unitary are covariant, so no coherence resource is consumed. But |vac⟩ is not a Gibbs state, so energy must be spent preparing it. The cost is the nonequilibrium free energy ΔF_κ(|vac⟩⟨vac|) = κ⁻¹ log Z_B, with κ = 1/(k_B T) and γ_B^κ = e^{−κH_B}/Z_B.

• A concrete qutrit example. The authors take a three-level system with H_S = Σ_{E=0}^{2} EΔ|E⟩S⟨E| and Gibbs state proportional to |0⟩⟨0| + q|1⟩⟨1| + q²|2⟩⟨2| with q = e^{−κΔ}. They use the EnTO (from Ref. [24]) with Kraus operators K{+2} = q|2⟩⟨0|, K_0 = √(1−q²)|0⟩⟨0| + |1⟩⟨1|, K_{−2} = |0⟩⟨2|, and K_{±1} = 0. This channel is an EnTO but can induce state transformations unreachable by TOs even approximately.

• Explicit unitary blocks for the qutrit example. A six-dimensional auxiliary with H_B = Σ_{ω=0,±1,±2} ωΔ|ω⟩B⟨ω| + 0·|vac⟩B⟨vac| is used, initially in |vac⟩⟨vac|. The three constrained blocks U{Ē=0}, U{Ē=Δ}, U_{Ē=2Δ} are written out as 4×4 matrices in Eq. (35), and the reverse channel has Kraus operators C_ω† = K_{−ω}, matching the Petz map ℰ̂_{γ_S^κ}.

• Gaussian systems fail. For a single-mode Gaussian amplification channel, no Gaussian dilation — for any Gaussian prior and any Gaussian reverse bath state — is tabletop time-reversible. This is a concrete counterexample showing that the finite-dimensional guarantee does not carry over to Gaussian dynamics.

• A general byproduct. Almost every CPTP map admits a dilation that realizes TTR, extending the constructive technique beyond the phase-covariant setting.

Methodology in Plain English

The authors work at the level of Kraus operators. Because a phase-covariant operation commutes with time translations, it can be decomposed into Kraus operators labeled by an energy gap ω. Each such operator raises the system energy by exactly ω.

They build the auxiliary bath's Hamiltonian to have levels labeled by those same energy gaps, plus a distinguished vacuum level |vac⟩ with zero energy. The forward isometry that produces the channel is then extended to a full unitary on system plus bath.

The key engineering trick is to impose two sets of constraints on the same unitary simultaneously: a set of block columns determined by the forward channel's Kraus operators, and a set of block rows determined by the Petz map's Kraus operators. The vacuum level is chosen so that the forward bath input and the reverse bath output are orthogonal, which forces the overlap between the constrained rows and columns to vanish.

That vanishing overlap is exactly the hypothesis of their matrix-completion lemma, which guarantees the still-unspecified entries can be filled in so the whole object is unitary. Energy conservation then follows automatically from the covariance of both the forward channel and its Petz map, because every constrained matrix element conserves total energy.

For the Gaussian case, the authors instead prove a no-go statement: for the single-mode Gaussian amplification channel, every Gaussian dilation is checked against the TTR condition and shown to fail, for all Gaussian priors and Gaussian reverse bath states.

Why This Matters

Impact on research. The paper closes a gap between two previously separate lines of work: the study of TTR for specific channels and specific dilations, and the study of covariant dilations in the resource theory of asymmetry. It shows that the TTR question is not about a lucky choice of dilation but can be answered constructively at the level of the channel itself. It also draws a sharp line between finite-dimensional and Gaussian settings, which matters because Gaussian channels are the standard model for continuous-variable optical and optomechanical experiments.

Potential application areas:

• Quantum error correction. The Petz map provides a near-optimal recovery operation for information sent through noisy channels. TTR means that recovery can reuse the same physical apparatus as encoding, by inverting the unitary, instead of requiring a separate recovery device.

• Quantum thermodynamics. Corollary 1 extends TTR from thermal operations to enhanced thermal operations, which are strictly larger. It also quantifies the energy cost κ⁻¹ log Z_B of the auxiliary state used.

• Quantum clocks and coherence. Phase covariance is the symmetry underlying time-translation asymmetry as a resource; clocks require breaking it. Knowing which operations can be implemented and reversed without consuming asymmetry clarifies the resource accounting.

• Experimental continuous-variable platforms. The Gaussian no-go result is a warning for optical or optomechanical implementations that rely on Gaussian resources: for Gaussian amplification, a tabletop-reversible Gaussian implementation does not exist, so non-Gaussian resources would be needed.

Industry relevance. The results are primarily foundational. They bear on the design of reusable recovery hardware in quantum communication and on resource accounting in quantum thermodynamic protocols. The paper does not report experimental demonstrations, hardware benchmarks, or datasets.

Future Directions

• Escape the Gaussian obstruction. Since no Gaussian dilation of the single-mode Gaussian amplification channel is TTR, a natural question is whether non-Gaussian auxiliary states or non-Gaussian unitaries restore reversibility, and at what resource cost.

• Extend beyond a single mode. The counterexample is for a single-mode Gaussian amplification channel. Whether the obstruction persists for multi-mode Gaussian channels, or for other Gaussian channels such as attenuation and additive-noise channels, is not settled here.

• Characterize the cost of TTR more generally. The paper computes ΔF_κ(|vac⟩⟨vac|) = κ⁻¹ log Z_B for its construction. Whether this is the minimal cost for any covariant and tabletop time-reversible dilation of a given EnTO is not reported.

• Relax the full-rank assumption. Theorem 1 requires a covariant prior α with α′ = ℰ(α) full rank, and the paper explicitly avoids the non-full-rank case because the Petz map then admits different definitions. Extending the construction to that regime is left open.

• Apply the byproduct result. The observation that almost every CPTP map admits a TTR dilation suggests a broader program of constructing tabletop time-reversible dilations under other symmetry constraints beyond phase covariance.

Target Audience

Researchers in quantum information theory working on open quantum systems, channel reversibility, and the Petz recovery map; specialists in the resource theory of asymmetry and quantum thermodynamics interested in covariant dilations and the cost of implementation; and continuous-variable/Gaussian quantum optics researchers who need to know whether Gaussian resources suffice for reversible implementations. The paper is suited to readers with graduate-level preparation in quantum channels and density operator formalism; the finite-dimensional construction is self-contained enough for a determined reader to follow, while the Gaussian no-go argument requires background in Gaussian quantum information.

Authors’ abstract

Irreversibility and time-translation symmetry are both fundamental in open quantum dynamics, and it is of great importance to study the interplay between them. In this paper, we study tabletop reversibility (TTR) for phase-covariant quantum operations and obtain sharply different conclusions for finite-dimensional and Gaussian systems. For finite-dimensional systems, we prove that any phase-covariant operation that admits a Petz recovery map can be implemented by a dilation which is both time-translational symmetric and tabletop time reversible. In contrast, for phase-covariant Gaussian operations we exhibit a concrete obstruction: any Gaussian dilation of a single-mode Gaussian amplification channel is not tabletop time reversible. As a byproduct, we find that almost every completely positive and trace preserving (CPTP) map admits a dilation that realizes TTR. These results clarify whether and how TTR can be realized under phase-covariant symmetry constraints and reveal a qualitative difference between finite-dimensional and Gaussian systems.