---
title: Leakage Elimination Operator (LEO)
url: https://www.emergentmind.com/topics/leakage-elimination-operator-leo
type: topic
---

# Leakage Elimination Operator (LEO)

Leakage Elimination Operator (LEO) denotes a control operation designed to suppress transitions between a designated computational subspace and its orthogonal complement, while preserving dynamics inside the computational subspace. In the standard formulation, the Hilbert space is decomposed as \(\mathcal{H}=\mathcal{H}_P\oplus\mathcal{H}_Q\), with \(P\) the projector onto the protected subspace and \(Q=I-P\); an ideal LEO acts as identity on \(\mathcal{H}_P\) and as a sign flip on \(\mathcal{H}_Q\), so that the effective Hamiltonian becomes block diagonal with respect to protected and leakage sectors [2606.01226]. Across later developments, this objective has been realized through bang-bang parity kicks, projector-based adiabatic control, exact composite propagators in finite-dimensional systems, dissipative pumping, and hardware-level Hamiltonian block-diagonalization on superconducting processors [2507.14531].

## 1. Definition and operator structure

In the canonical description, leakage is population transfer between a computational or code subspace and its complement. With \(\mathcal{H}=\mathcal{H}_P\oplus\mathcal{H}_Q\), an ideal LEO may be written as
\[
R_L P=P,\qquad R_L Q=-Q,
\]
or equivalently
\[
R_L=P-Q.
\]
In block form relative to \(P\oplus Q\), this is the same as a diagonal operator that is \(+I\) on one sector and \(-I\) on the other sector. The defining algebraic property is that the LEO commutes with operators acting purely inside the protected and leakage sectors, and anti-commutes with operators that couple them. In the notation used in the leakage-control literature,
\[
[R_L,E]=0,\qquad [R_L,E^\perp]=0,\qquad \{R_L,L\}=0,
\]
where \(E\) acts inside the code, \(E^\perp\) acts inside the complement, and \(L\) contains the off-diagonal leakage terms [2007.04694].

This definition isolates the specific role of LEOs within subspace protection. Standard decoherence inside \(\mathcal{H}_P\) leaves the state in the encoded space, whereas leakage transfers population out of the space in which logical operations and error correction are defined. The LEO target is therefore not generic noise suppression, but elimination of the \(P\leftrightarrow Q\) coupling in the effective dynamics. In average-Hamiltonian language, the objective is
\[
\Pi_{\text{leak}}\,\bar H\,\Pi_{\text{comp}}=0,
\]
so that the effective unitary is block diagonal with respect to computational and leakage subspaces [2507.14531].

## 2. Exact and nonperturbative formulations

A central formal development is the Feshbach \(P\)–\(Q\) partitioning of a general linear equation of motion. In a basis whose first vector is a target time-dependent state \(|A(t)\rangle\), the generator is written as
\[
\mathcal{M}=
\begin{pmatrix}
h & R\\
W & D
\end{pmatrix},
\]
where \(h\) is the scalar generator on the target amplitude, \(D\) acts on the orthogonal sector, and \(R,W\) couple the two sectors. Eliminating the orthogonal amplitudes yields an exact one-component integro-differential equation for the target amplitude. After a reparametrization \(P(t)=p(t)e^{\int_0^t h(s)\,ds}\), the dynamics become
\[
\dot p(t)=\int_0^t ds\, g'(t,s)\,p(s),
\]
with the control entering through the phase factor \(e^{-iC(t)}\), where
\[
C(t)\equiv i\int_0^t ds\,h(s).
\]
For quantum systems, \(h(t)\) is purely imaginary, so \(C(t)\) is real and the suppression mechanism is phase engineering of \(e^{-iC(t)}\) [2112.00203].

In this formulation, a rotating-frame LEO is introduced as
\[
R_L(t)=c(t)\left[2|\phi_0(t)\rangle\langle\phi_0(t)|-\mathcal I\right],
\]
with \(c(t)\) a scalar control function. The control modifies \(h(t)\to h(t)+c(t)\), and thus only changes the one-component dynamics through the accumulated phase. Leakage suppression occurs when the oscillation frequency of \(e^{-iC(t)}\) exceeds the characteristic frequency content of the smooth kernel \(g(t,s)p(s)\), so that the kernel integral is canceled by destructive interference. This nonperturbative viewpoint reframes LEOs as a mechanism for creating dynamical leakage-free paths rather than merely as a bang-bang decoupling sequence [2112.00203].

The same logic appears in adiabatic settings. In an instantaneous eigenbasis, leakage means nonadiabatic transitions out of a chosen eigenstate, and a projector-type control
\[
H_{\mathrm{LEO}}(t)=f(t)\,|E_0(t)\rangle\langle E_0(t)|
\]
acts inside the adiabatic subspace. The Feshbach \(PQ\) partition then yields an integro-differential equation whose kernel oscillates with the average control frequency, so sufficiently rapid modulation suppresses nonadiabatic leakage even when the bare evolution is not adiabatically slow [1611.05054].

## 3. Pulse constructions and generalized control conditions

The original LEO picture is closely associated with parity-kick or bang-bang control. For a Hamiltonian decomposed as \(H=H_P+H_Q+H_L\), repeated application of an operator \(R_L\) satisfying \(\{R_L,H_L\}=0\) and \([R_L,H_P]=[R_L,H_Q]=0\) averages out the leakage part. In the ideal limit,
\[
\lim_{m\to\infty}\left(e^{-iHt/m}R_L^\dagger e^{-iHt/m}R_L\right)^m
=
e^{-iH_P t}e^{-iH_Q t},
\]
so leakage is removed while the sector-preserving dynamics remain [1411.7625].

Projector-based pulse constructions make this idea explicit. In adiabatic-speedup experiments on a superconducting qubit, the LEO Hamiltonian is
\[
H_{\mathrm{LEO}}(t)=c(t)\,|E_0(t)\rangle\langle E_0(t)|,
\]
with a zero-area rectangular modulation
\[
c(t)=
\begin{cases}
I,& n\tau<t<(n+1)\tau,\quad n\ \text{even},\\
-I,& \text{otherwise},
\end{cases}
\qquad I\tau=2\pi m.
\]
This produces a unitary that phase-shifts the target instantaneous eigenstate while leaving the orthogonal state unchanged, and thus averages away the nonadiabatic coupling in the adiabatic frame [2606.01226].

A later Floquet–Magnus reformulation generalized this high-frequency picture. For a periodic LEO drive, the earlier \(PQ\)-partition control condition is exactly the zeroth-order Magnus condition on the Floquet Hamiltonian,
\[
\int_0^T dt\,e^{i\phi(t)}=0,
\qquad
\phi(t)=\int_0^t c(t')\,dt'.
\]
In this language, the usual high-frequency LEO formulas are the zero-order approximation, while low-frequency control requires first- and higher-order Magnus terms. For sinusoidal pulses \(c(t)=I\sin(\omega t)\), the zeroth-order condition becomes
\[
J_0\!\left(\frac{I\tau}{\pi}\right)=0,
\]
whereas low-frequency corrections shift the optimal control parameters away from the simple Bessel-zero solutions [2606.29854].

This establishes an important distinction. High-frequency bang-bang control is one realization of LEO theory, but not its only mathematically controlled regime. A plausible implication is that modern LEO design is better viewed as a hierarchy of effective-Hamiltonian constraints, from average-Hamiltonian cancellation at zeroth order to Floquet-engineered dynamical localization at higher orders [2606.29854].

## 4. Exact, experimental, and dissipative realizations

LEOs have been realized in several experimentally distinct ways, ranging from exact finite-dimensional composite circuits to dissipative pumping.

| Platform | LEO mechanism | Reported outcome |
|---|---|---|
| Charge quadrupole qubit [1712.05442] | Exact composite unitaries in a three-level \(su(2)\) subalgebra | Ideal \(X\) and \(Z\) rotations generated by two or three propagators |
| IBM superconducting processor [2007.04694] | Standard-gate LEOs on encoded 2- and 3-qubit subspaces | LEOs significantly suppress leakage |
| \(^{171}\mathrm{Yb}^+\) hyperfine qubit [1912.13131] | Optical pumping from leak states back to the qubit subspace | Each cycle reduces leakage by a factor of \(\sim 3\) |
| IBM ibm\_marrakesh [2606.01226] | Projector-based zero-area LEO pulses during adiabatic evolution | Fidelity improved from \(\sim 0.6\) to over \(0.95\)–\(0.96\) at \(T_{\text{tot}}=\pi/2\) |

The charge-quadrupole example is conceptually notable because it is exact rather than perturbative. In a three-level system \(\{|C\rangle,|E\rangle,|L\rangle\}\), the logical control and leakage operators form an embedded \(su(2)\) algebra. Using this structure, noisy \(x\)- and \(z\)-rotations can be decomposed into finite sequences of experimentally available Hamiltonians, yielding exact leakage-free \(X\) and \(Z\) gates without additional control axes [1712.05442].

The trapped-ion hyperfine realization is instead dissipative. A quadrupole transition selectively pumps the leakage states \(\ket{F=1,m_F=\pm1}\) of \(^{171}\mathrm{Yb}^+\) out of the leakage manifold, and subsequent optical pumping returns population to the qubit subspace. Each pumping cycle reduces the leakage population by a factor of \(\sim3\), while interleaved randomized benchmarking bounds the induced qubit memory error by \(\leq2.0(8)\times10^{-5}\) per cycle and the induced qubit population decay by \(\leq1.4(3)\times10^{-7}\) per cycle [1912.13131].

The experimental realization on IBM’s hardware established that LEOs can be compiled into standard gate sets and applied to encoded subspaces in two- and three-qubit Hilbert spaces. The authors describe this as the first experimental implementation of LEOs and report that the operators significantly suppress leakage on the superconducting processor [2007.04694]. In a different superconducting setting, projector-based LEO control was used to realize adiabatic speedup on ibm\_marrakesh. There, ideal zero-area pulses increased adiabatic fidelity from \(\sim0.6\) to over \(0.95\)–\(0.96\) at short evolution time, while Bayesian-optimized pulses produced an additional \(\sim1.8\%\) gain in simulation but not on hardware under present experimental conditions [2606.01226].

LEOs also appear in exact open-system settings. For a logical qubit encoded in a mechanical oscillator, a nonperturbative LEO generated by \(R_L=e^{-i\pi a^\dagger a}\) suppresses motional decoherence, and its effectiveness depends on the integral of the pulse sequence in the time domain rather than the detailed pulse shape when the time period is chosen appropriately [2008.09953]. In a Jaynes–Cummings atom coupled to a structured environment, a diagonal control \(R=c(t)(|g0\rangle\langle g0|+|e0\rangle\langle e0|-|g1\rangle\langle g1|)\) suppresses the relevant dissipative coefficients, and fidelity remains above \(0.99\) on average even with \(\pm 5\%\) random errors in amplitude and timing [2404.13762].

## 5. Hardware-level block diagonalization in superconducting processors

A recent superconducting realization recasts the LEO objective as dynamic Hamiltonian engineering during a two-qubit gate. In fast flux-tuned CZ gates on fixed-frequency transmons coupled through tunable couplers, spectator-induced frequency collisions enlarge the intended \(\{\ket{11},\ket{02}\}\) avoided crossing into a three-level problem \(\{\ket{11},\ket{02},\ket{S}\}\). In the effective model,
\[
H_{\mathrm{eff}}=
\begin{pmatrix}
\omega_{11} & g_{\mathrm{gate}} & g_1\\
g_{\mathrm{gate}} & \omega_{02} & g_2\\
g_1 & g_2 & \omega_S
\end{pmatrix},
\]
the spectator state \(\ket{S}\) mediates leakage out of the gate dynamics. A bright–dark rotation,
\[
\ket{B}=\cos\theta\,\ket{02}+\sin\theta\,\ket{S},\qquad
\ket{D}=-\sin\theta\,\ket{02}+\cos\theta\,\ket{S},
\]
with
\[
\theta=\tan^{-1}\!\left(\frac{g_1}{g_{\mathrm{gate}}}\right),
\]
is then chosen so that the dark state decouples from the active gate subspace. The key condition
\[
g_{BD}=\frac{\omega_S-\omega_{11}}{2}\sin 2\theta + g_2\cos 2\theta = 0
\]
makes the effective Hamiltonian block diagonal, with the desired dynamics confined to
\[
W_A=\mathrm{span}\{\ket{11},\ket{B}\},
\]
and the leakage pathway isolated in
\[
W_D=\mathrm{span}\{\ket{D}\}.
\]
In LEO language, the control enforces \(\Pi_D H'_{\mathrm{eff}}\Pi_A=0\) throughout the gate, so the gate unitary is effectively \(U_A\oplus U_D\) up to decoherence and higher-order errors [2507.14531].

This Hamiltonian-engineered LEO is implemented by tuning a spectator coupler during the CZ so that the block-diagonalization condition holds at the operating point. Experimentally, the method suppresses leakage rates to the order of \(10^{-4}\) across a wide near-resonant detuning range. In the single-spectator case, the per-gate leakage rate drops from \(L_1\approx1.21(5)\times10^{-3}\) to \(L_1\approx4(3)\times10^{-5}\), while the total CZ gate error changes from \(\epsilon\approx1.52(3)\times10^{-2}\) to \(\epsilon\approx1.34(10)\times10^{-2}\). With three simultaneous spectators, the total leakage is reduced from \(L_{\text{tot}}\approx3.8(3)\times10^{-3}\) to \(L_{\text{tot}}\approx1.9(4)\times10^{-4}\), remaining below the threshold relevant for surface code error correction [2507.14531].

A related superconducting development is a passive leakage removal unit based on a disordered transmon array. The proposal is explicitly described as not a LEO in the original dynamical-decoupling sense, but as realizing a very similar map: the qubit subspace is protected by localization through energy-level mismatch, whereas leakage excitations are resonant and mobile, propagate to the end of the array, and are removed by feedback measurement or dissipation. For \(W/2\pi=100\ \mathrm{MHz}\), \(J/2\pi=5\ \mathrm{MHz}\), and \(L=3\), the reported values are \(T_{\mathrm{prop}}\approx1.25\,\mu\mathrm{s}\), \(T_\star\approx2.2\,\mu\mathrm{s}\), \(T_1\approx12.67\,\mu\mathrm{s}\), and \(T_2\approx7.29\,\mu\mathrm{s}\) under realistic conditions [2502.14391]. This suggests a useful distinction between Hamiltonian-engineered LEOs that prevent leakage during a gate and passive leakage-removal units that export leakage after it has occurred.

## 6. Scope, limitations, and current directions

LEOs are sometimes treated as synonymous with one specific control technology, but the literature shows a broader category. They include unitary parity kicks, projector Hamiltonians in adiabatic frames, nonperturbative phase engineering in exact open-system equations, exact composite circuits in finite-dimensional systems, dissipative optical pumping, and hardware-level Hamiltonian block diagonalization. They are therefore closer to a control principle—decoupling protected and leakage sectors—than to a unique pulse family or gate pattern [2112.00203].

Several common distinctions are explicit in the current literature. LEOs are conceptually close to dynamical decoupling and subspace protection, but they are not the same as counterdiabatic driving, which adds a term that exactly cancels nonadiabatic couplings for the full adiabatic path, and they are not the same as DRAG, which is designed to reduce leakage to higher transmon levels by compensating microwave-drive-induced couplings [2606.01226]. They are also distinct from Petz-recovery-based protocols, which reverse a specific dissipative trajectory rather than suppress leakage in situ [2404.13762].

Another misconception is that LEOs inherently require ideal high-frequency bang-bang control. Earlier adiabatic and open-system analyses already showed that effectiveness can depend on the average frequency of the control function or on the integral of the pulse sequence rather than on the detailed pulse shape [1611.05054]. Later nonperturbative work on mechanical oscillators made the same point in exact open-system dynamics at arbitrary temperature and arbitrary system-bath coupling strength [2008.09953]. More recently, the Floquet–Magnus reformulation proved that the high-frequency \(PQ\)-partition conditions are only the zero-order approximation, and that higher-order Magnus terms must be included in the low-frequency regime [2606.29854].

The limitations are correspondingly platform dependent. Accurate block diagonalization can require precise calibration of coupler biases, and leakage pathways that are dominated by fixed stray couplings or interactions not tunable through the available controls may not be fully suppressed [2507.14531]. In projector-based adiabatic implementations, optimized pulses derived from incomplete noise models may not transfer faithfully from simulation to hardware, as illustrated by the modest simulation-only advantage of Bayesian-refined LEO pulses on ibm\_marrakesh [2606.01226]. In non-Markovian open-system settings, control becomes less effective as the environment approaches the Markovian limit [1411.7625]. These constraints do not invalidate the LEO program, but they delimit the regimes in which phase engineering can outperform simpler controls.

Current directions are correspondingly technical rather than conceptual. They include multi-qubit extensions of projector-based adiabatic speedup, more realistic noise-aware pulse optimization, generalization from three-level block-diagonalization to larger invariant sectors, and combinations of hardware-level LEOs with active error correction, dynamical decoupling, and decoherence-free subspaces [2507.14531]. The cumulative picture is that LEOs have evolved from an abstract subspace-protection operator into a family of experimentally grounded leakage-control strategies, unified by the requirement that the effective dynamics preserve a chosen subspace while canceling or exporting the couplings that lead out of it [2606.29854].

Source: https://www.emergentmind.com/topics/leakage-elimination-operator-leo