Exact requirements for battery-assisted qubit gates

1. Problem Statement

The paper addresses a fundamental limitation in quantum information processing: the implementation of Non-Energy-Preserving Gates (NEPGs) on a quantum system $S$ (specifically a qubit) when energy conservation is a fundamental symmetry.

• The Constraint: If a system is isolated, only unitary gates that commute with the system Hamiltonian ($[V_S, H_S] = 0$) can be implemented. To implement a general gate $V_S$ that does not conserve energy, an auxiliary system (a "battery" $B$) is required.
• The Challenge: The battery and system interact via a global unitary $U_{SB}$ that preserves total energy ($[U_{SB}, H_S + H_B] = 0$). The goal is to determine the exact physical requirements (resources) of the battery state $\beta_B$ needed to achieve a target gate $V_S$ with a specific precision (infidelity $\epsilon$).
• Open Questions: Previous literature had identified necessary conditions (e.g., using Quantum Fisher Information or average energy), but a universal criterion to determine if a specific battery state is sufficient, or what the optimal battery state looks like, remained unknown.

2. Methodology

The authors employ a rigorous mathematical framework combining quantum information theory, variational calculus, and spectral analysis.

• Model Setup:
  • System ($S$): A qubit with energy gap $\omega$.
  • Battery ($B$): A harmonic oscillator with the same frequency $\omega$ (resonant condition).
  • Interaction: A global unitary $U_{SB}$ that commutes with the total Hamiltonian. The authors propose a specific interaction structure that acts block-diagonally on degenerate energy subspaces, effectively "copying" the target gate $V_S$ onto the system while shifting the battery's energy levels.
• Metric for Precision:
  • The authors use Choi Infidelity ($\epsilon_C$) as the primary measure of gate error. They prove that for finite-dimensional systems, Choi infidelity is equivalent (up to a factor of the dimension) to the worst-case infidelity used in prior works.
  • They derive an exact expression for $\epsilon_C$ as a function of the battery state amplitudes $\beta_n$.
• Asymptotic Analysis & The "Unitary Defect":
  • By assuming the battery state is smooth and supported on a large number of levels ($N \to \infty$), they approximate the discrete amplitudes $\beta_n$ with a continuous function $\psi(x)$.
  • They introduce a new quantity called the Unitary Defect (UD), defined as:
    $$\text{UD}(\psi) = \int_0^\infty |\psi'(x)|^2 dx$$
  • Key Insight: The gate error scales as $\epsilon_C \propto \delta^2 \cdot \text{UD}(\psi)$, where $\delta$ is a scaling parameter related to the density of energy levels. Crucially, the UD is independent of the specific gate being implemented, making it a universal measure of battery quality.
• Optimization via Variational Calculus:
  • The problem of minimizing gate error under resource constraints (e.g., fixed average energy, fixed squared energy, or fixed number of levels) is mapped to a Lagrangian optimization problem.
  • This mapping reveals that finding the optimal battery state is mathematically equivalent to finding the ground state of a 1D quantum particle in a specific potential.

3. Key Contributions and Results

A. Universal Bound on Battery Levels

For a battery restricted to $N$ energy levels, the authors derive the optimal state (a discrete sine wave) and the necessary scaling for precision:
$$N \geq \frac{\pi |V_{01}|}{\sqrt{\epsilon_C}}$$
This establishes that the number of required levels scales as $O(1/\sqrt{\epsilon})$.

B. Optimal Battery States for Specific Resources

The authors solve the variational problem for three distinct resource constraints, identifying the optimal battery wavefunctions $\psi(x)$:

1. Fixed Average Energy ($\langle E \rangle$):
   • Optimal State: The wavefunction is proportional to the Airy function ($\text{Ai}(x)$), representing a particle in a linear potential.
   • Bound: $\langle E \rangle \geq \eta \omega |V_{01}|^2 / \sqrt{\epsilon_C}$ (where $\eta \approx 1.374$).
2. Fixed Average Squared Energy ($\langle E^2 \rangle$):
   • Optimal State: The wavefunction is the first excited state of a harmonic oscillator (odd parity), representing a particle in a quadratic potential.
   • Bound: $\langle E^2 \rangle \geq \frac{9}{4} \omega^2 |V_{01}|^2 / \epsilon_C$.
3. Fixed Quantum Fisher Information (QFI):
   • Optimal State: The problem maps to the ground state of a harmonic oscillator. The authors prove that for convex resources like QFI, pure states are optimal, and mixed states cannot outperform them.

C. Comparison with Semi-Classical Pulses

The paper demonstrates that standard semi-classical coherent states (used in many current quantum devices) are sub-optimal.

• For a coherent state with energy $\langle E \rangle$, the error scales as $\epsilon_C \propto 1/\langle E \rangle$.
• The optimal quantum battery states derived in this paper achieve an error scaling of $\epsilon_C \propto 1/\sqrt{\langle E \rangle}$ (for fixed $\langle E \rangle$).
• Conclusion: Quantum batteries offer a superior trade-off between energy consumption and gate precision compared to classical control pulses.

D. Generalization to Qudits

The framework is extended to $d$-level systems. The authors show that for systems with degenerate energy levels (common in multi-qubit setups), the Choi infidelity scales with a factor dependent on the gate's asymmetry. They also identify that for gates with invariant subspaces, alternative interaction schemes can be more efficient in terms of coherence resources.

4. Significance and Implications

• Theoretical Framework: The paper provides the first exact, asymptotically tight expression for the error of battery-assisted gates, unifying previous disparate bounds under the concept of the Unitary Defect.
• Resource Theory: It establishes a rigorous link between the "quality" of a quantum battery (its ability to perform work/gates) and its spectral properties, independent of the specific gate target.
• Practical Engineering:
  • Quantum Control: The results suggest that engineering "quantum batteries" (states with specific non-Gaussian shapes like Airy functions) could significantly reduce the energy cost of high-precision quantum gates.
  • Hardware Design: The identification of the "flat interaction strength" requirement highlights limitations in natural models (like the standard Jaynes-Cummings model with $\sqrt{n}$ prefactors) and points toward the need for engineered intensity-dependent interactions.
• Thermodynamics: The Unitary Defect is proposed as a complementary figure of merit to ergotropy (extractable work) in the study of quantum thermodynamics, specifically for quantifying the thermodynamic cost of quantum operations.

In summary, this work transforms the understanding of quantum control under conservation laws from a set of loose inequalities into a precise optimization problem, revealing that the optimal "fuel" for quantum computers is a specific, highly structured quantum state rather than a simple coherent pulse.