Papers
Topics
Authors
Recent
Search
2000 character limit reached

Crosstalk-Robust Quantum Gate Sets

Updated 5 July 2026
  • Crosstalk-robust gate sets are engineered quantum control primitives designed to suppress interference by optimizing pulse shapes, effective Hamiltonians, or compilation rules.
  • They employ diverse methods tailored to hardware platforms—such as echo sequences in trapped ions, pairwise robust pulses in superconducting circuits, and neural-network-optimized controls in spin qubits.
  • Experimental implementations demonstrate significant improvements in gate fidelity and error mitigation, highlighting the impact of platform-specific error modeling and scalable design strategies.

Crosstalk-robust gate sets are collections of quantum control primitives whose pulse shapes, effective Hamiltonians, or compilation rules are designed so that dominant crosstalk channels do not substantially degrade gate performance under realistic parallel operation. In the literature, the term covers several distinct constructions: pairwise-robust single-qubit pulse libraries on superconducting heavy-hex devices, condition-conditioned optimal-control pulses for tunable-coupler CZ gates, target-only echo sequences for trapped-ion Mølmer–Sørensen gates, coupling-matrix engineering that nulls target-neighbor couplings without knowing the leakage level, geometric and analytic single-qubit constructions for always-on-coupled spin systems, and scalable subsystem or tensor-network robust-control frameworks for large parallel circuits (Goldschmidt et al., 16 Mar 2026, Yu et al., 23 Mar 2026, Yang et al., 5 Jan 2026, Le et al., 4 Mar 2026).

1. Conceptual scope and error models

Crosstalk is not a single error mechanism. In fixed-frequency transmons, a standard model is always-on ZZZZ coupling, with perturbative magnitude

ζZZ(ij)=J22(αi+αj)(αi+Δij)(αjΔij),\zeta^{(ij)}_{ZZ} = - J^2 \frac{2(\alpha_i + \alpha_j)}{(\alpha_i + \Delta_{ij})(\alpha_j - \Delta_{ij})},

which produces state-dependent phase accumulation during nominally single-qubit layers (Goldschmidt et al., 16 Mar 2026). In tunable-coupler superconducting gates, the error model expands to condition-dependent distortions within a gate instance: static or dynamically biased ZZZZ interactions, classical cross-drive leakage, coupler-mediated parasitic ZZ-shifts, AC Stark shifts, amplitude-dependent detuning biases, narrowband spectral bleed-through, and leakage to non-computational transmon levels (Yu et al., 23 Mar 2026). In trapped ions, the leading coherent crosstalk during an MS gate appears as residual target-spectator entanglers of the form X(i)σ^ϕ(j)X^{(i)} \hat{\sigma}_{\phi}^{(j)} (Fang et al., 2022). In neutral-atom CZ gates with local addressing, the dominant spectator error is a leakage-induced amplitude error p(ϵ)=αϵ+O(ϵ2)p(\epsilon)=\alpha \epsilon + O(\epsilon^2) produced by a reduced Rabi frequency ϵΩ(t)\sqrt{\epsilon}\Omega(t) on the spectator (Warttmann et al., 14 Jul 2025).

Semiconductor spin-qubit work emphasizes a different regime: off-resonant spectator rotation when the difference in resonance frequencies is not sufficiently large compared to the driving strength, together with always-on exchange and exchange-noise-induced coherent errors (Kanaar et al., 2023, Güngördü et al., 2019). Multimode bosonic processors coupled to a transmon ancilla exhibit ancilla-frequency detuning conditioned on spectator-mode occupation,

Δa({nj})=j[χjnj+χj2nj(nj1)],\Delta_a(\{n_j\})=\sum_j \left[\chi_j n_j + \frac{\chi'_j}{2} n_j(n_j-1)\right],

so a pulse calibrated at one ancilla frequency becomes off-resonant in the presence of populated spectator modes (You et al., 2024).

A recurrent misconception is that crosstalk is synonymous with classical pulse spillover. Simultaneous GST distinguishes crosstalk-free, context-dependent, and general two-qubit models, and shows that the relevant signature can be spectator-dependent local maps, residual entangling terms such as ZZZ\otimes Z, or correlated SPAM. In the reported AQT and QSCOUT experiments, the context-dependent local model sufficed, while correlated SPAM was not required by the data (Rudinger et al., 2021). This suggests that “crosstalk-robust” does not denote a single mitigation protocol, but a design objective defined relative to a platform-specific error taxonomy.

2. Superconducting implementations

In superconducting circuits, one line of work defines Crosstalk-Robust Gate Sets (CRGS) as co-designed single-qubit pulse libraries that suppress dominant pairwise ZZZZ errors during parallel layers. The construction exploits locality: the device graph is vertex-colored, each logical gate in the native set ζZZ(ij)=J22(αi+αj)(αi+Δij)(αjΔij),\zeta^{(ij)}_{ZZ} = - J^2 \frac{2(\alpha_i + \alpha_j)}{(\alpha_i + \Delta_{ij})(\alpha_j - \Delta_{ij})},0 is realized by a small number of colored pulse shapes, and simultaneously applied adjacent pulses are made mutually “orthogonal” with respect to the relevant crosstalk susceptibility. On IBM heavy-hex devices, two colors suffice. The synthesis problem is formulated as constrained robust trajectory optimization with fidelity threshold ζZZ(ij)=J22(αi+αj)(αi+Δij)(αjΔij),\zeta^{(ij)}_{ZZ} = - J^2 \frac{2(\alpha_i + \alpha_j)}{(\alpha_i + \Delta_{ij})(\alpha_j - \Delta_{ij})},1, amplitude and curvature bounds, and a susceptibility functional that factorizes over edges (Goldschmidt et al., 16 Mar 2026).

The experimental motivation for CRGS is explicit. On IBM Brisbane, eight-qubit XY4 experiments showed visible oscillations at ζZZ(ij)=J22(αi+αj)(αi+Δij)(αjΔij),\zeta^{(ij)}_{ZZ} = - J^2 \frac{2(\alpha_i + \alpha_j)}{(\alpha_i + \Delta_{ij})(\alpha_j - \Delta_{ij})},2–ζZZ(ij)=J22(αi+αj)(αi+Δij)(αjΔij),\zeta^{(ij)}_{ZZ} = - J^2 \frac{2(\alpha_i + \alpha_j)}{(\alpha_i + \Delta_{ij})(\alpha_j - \Delta_{ij})},3 MHz for non-CRGS gates, while with CRGS those oscillations vanished and the decay rate improved from ζZZ(ij)=J22(αi+αj)(αi+Δij)(αjΔij),\zeta^{(ij)}_{ZZ} = - J^2 \frac{2(\alpha_i + \alpha_j)}{(\alpha_i + \Delta_{ij})(\alpha_j - \Delta_{ij})},4 MHz and ζZZ(ij)=J22(αi+αj)(αi+Δij)(αjΔij),\zeta^{(ij)}_{ZZ} = - J^2 \frac{2(\alpha_i + \alpha_j)}{(\alpha_i + \Delta_{ij})(\alpha_j - \Delta_{ij})},5 MHz to ζZZ(ij)=J22(αi+αj)(αi+Δij)(αjΔij),\zeta^{(ij)}_{ZZ} = - J^2 \frac{2(\alpha_i + \alpha_j)}{(\alpha_i + \Delta_{ij})(\alpha_j - \Delta_{ij})},6 MHz. In simultaneous four-qubit random Clifford identity circuits, the decay parameter improved from ζZZ(ij)=J22(αi+αj)(αi+Δij)(αjΔij),\zeta^{(ij)}_{ZZ} = - J^2 \frac{2(\alpha_i + \alpha_j)}{(\alpha_i + \Delta_{ij})(\alpha_j - \Delta_{ij})},7 to ζZZ(ij)=J22(αi+αj)(αi+Δij)(αjΔij),\zeta^{(ij)}_{ZZ} = - J^2 \frac{2(\alpha_i + \alpha_j)}{(\alpha_i + \Delta_{ij})(\alpha_j - \Delta_{ij})},8, and in a four-qubit TFIM simulation the median KL-divergence improvement over Gaussian pulses was approximately ζZZ(ij)=J22(αi+αj)(αi+Δij)(αjΔij),\zeta^{(ij)}_{ZZ} = - J^2 \frac{2(\alpha_i + \alpha_j)}{(\alpha_i + \Delta_{ij})(\alpha_j - \Delta_{ij})},9 (Goldschmidt et al., 16 Mar 2026). A plausible implication is that, in this setting, crosstalk robustness is not merely a gate-level property but a circuit-layer property tied to scheduling by color classes.

A second superconducting direction uses condition-conditioned optimal control. The Physics-Guided Neural Control framework introduces a normalized condition vector ZZZZ0 that encodes concurrent-drive settings and enters an affine first-order distortion map for ZZZZ1, cross-drive ratio, and detuning biases. Controls are generated by a Fourier-feature MLP with a hardware-aware flattop envelope and amplitude-bounding ZZZZ2 map; training differentiates through a Lindblad solver and aggregates cost over sampled crosstalk conditions. In a tunable-coupler CZ example with ZZZZ3 ns and ZZZZ4 steps, PGNC produced the tightest fidelity distributions and the smallest worst-case degradation under off-grid conditions, while remaining gate-agnostic in the sense that the same pipeline can target other single- or two-qubit operations by replacing ZZZZ5 and the relevant control generators (Yu et al., 23 Mar 2026).

A third approach treats crosstalk suppression and gate speed as a geometric-control problem. In tunable-coupler superconducting two-qubit gates, residual ZZZZ6 decreases as the coupler frequency increases, but the effective entangling rate ZZZZ7 also decreases, producing a speed–crosstalk trade-off. The proposed solution introduces additional parametric degrees of freedom—drive phase ZZZZ8, small detuning ZZZZ9, and trajectory shaping on the ZZ0 Bloch sphere—to realize nonadiabatic geometric ZZ1 gates. Numerically, the optimal trajectory family was found near ZZ2, and under realistic decoherence the best operating point occurred near ZZ3 MHz (Deng et al., 10 Apr 2026). This suggests that geometric path design can serve as an alternative to brute-force spectral isolation.

3. Trapped-ion and neutral-atom constructions

In trapped ions, one major result is that coherent crosstalk during individually addressed MS gates can be canceled by target-only echoing. If the unwanted Hamiltonian contains bilinear terms ZZ4, a midpoint ZZ5 echo flips ZZ6 while leaving the desired ZZ7 interaction invariant, so the first-order Magnus term for crosstalk vanishes. This yields two practical constructions: a collective-gate echo that wraps blocks of ZZ8 gates, and a per-gate embedded echo ZZ9 (Fang et al., 2022).

The experimental performance is precise. In a 5-ion chain, target-only local suppression achieved Bell-state fidelity per gate X(i)σ^ϕ(j)X^{(i)} \hat{\sigma}_{\phi}^{(j)}0 for collective-gate echo and X(i)σ^ϕ(j)X^{(i)} \hat{\sigma}_{\phi}^{(j)}1 for per-gate echo. Spectator population after 21 consecutive gates dropped from X(i)σ^ϕ(j)X^{(i)} \hat{\sigma}_{\phi}^{(j)}2 without suppression to X(i)σ^ϕ(j)X^{(i)} \hat{\sigma}_{\phi}^{(j)}3 with suppression. After crosstalk cancellation, residual error was dominated by motional dephasing rather than coherent target-spectator coupling (Fang et al., 2022). The significance is methodological: the robust gate set is compiler-friendly because only target qubits are pulsed for mitigation.

A more structural ion-trap strategy is coupling-matrix engineering. Here the effective XX coupling matrix X(i)σ^ϕ(j)X^{(i)} \hat{\sigma}_{\phi}^{(j)}4 is synthesized so that X(i)σ^ϕ(j)X^{(i)} \hat{\sigma}_{\phi}^{(j)}5 for all target-neighbor pairs while X(i)σ^ϕ(j)X^{(i)} \hat{\sigma}_{\phi}^{(j)}6 remains large. Writing the crosstalk vectors as columns of X(i)σ^ϕ(j)X^{(i)} \hat{\sigma}_{\phi}^{(j)}7, the design condition is

X(i)σ^ϕ(j)X^{(i)} \hat{\sigma}_{\phi}^{(j)}8

Because X(i)σ^ϕ(j)X^{(i)} \hat{\sigma}_{\phi}^{(j)}9, enforcing p(ϵ)=αϵ+O(ϵ2)p(\epsilon)=\alpha \epsilon + O(\epsilon^2)0 makes the gate insensitive to the unknown leakage level p(ϵ)=αϵ+O(ϵ2)p(\epsilon)=\alpha \epsilon + O(\epsilon^2)1. The paper gives both a linearized loop-superposition synthesis and a full quadratic AM segmented optimization, and demonstrates in a QSCOUT three-ion experiment that the engineered composite gate remained insensitive to target-neighbor parity up to p(ϵ)=αϵ+O(ϵ2)p(\epsilon)=\alpha \epsilon + O(\epsilon^2)2 (Kashyap et al., 28 Aug 2025).

For Rydberg CZ gates with local addressing, the robust construction is a midpoint phase-hop echo. Splitting a shaped single-pulse CZ into two symmetric halves and applying a phase jump p(ϵ)=αϵ+O(ϵ2)p(\epsilon)=\alpha \epsilon + O(\epsilon^2)3 cancels the first-order spectator excitation amplitude, promoting the leading spectator error from p(ϵ)=αϵ+O(ϵ2)p(\epsilon)=\alpha \epsilon + O(\epsilon^2)4 to p(ϵ)=αϵ+O(ϵ2)p(\epsilon)=\alpha \epsilon + O(\epsilon^2)5. For the shaped pulses studied, the worst-case spectator infidelity obeyed p(ϵ)=αϵ+O(ϵ2)p(\epsilon)=\alpha \epsilon + O(\epsilon^2)6, and numerical simulations showed approximately two orders of magnitude fidelity improvement over the single-pulse baseline across a broad parameter range (Warttmann et al., 14 Jul 2025). The same work notes a non-robust window near p(ϵ)=αϵ+O(ϵ2)p(\epsilon)=\alpha \epsilon + O(\epsilon^2)7, which directly limits the geometry and spectator layout compatible with the robust gate set.

4. Semiconductor spin-qubit and fixed-coupling approaches

One analytic route to crosstalk-robust single-qubit gate sets in always-on-coupled systems maps the driven dynamics to curves on a sphere. For a driven block Hamiltonian p(ϵ)=αϵ+O(ϵ2)p(\epsilon)=\alpha \epsilon + O(\epsilon^2)8, the pulse waveform is the geodesic curvature of a trajectory p(ϵ)=αϵ+O(ϵ2)p(\epsilon)=\alpha \epsilon + O(\epsilon^2)9, and crosstalk suppression is obtained when the trajectory is a closed loop with zero enclosed area,

ϵΩ(t)\sqrt{\epsilon}\Omega(t)0

This guarantees that the same ϵΩ(t)\sqrt{\epsilon}\Omega(t)1 is implemented for ϵΩ(t)\sqrt{\epsilon}\Omega(t)2 without assuming small couplings. The resulting practical gate set consists of robust ϵΩ(t)\sqrt{\epsilon}\Omega(t)3 pulses and virtual ϵΩ(t)\sqrt{\epsilon}\Omega(t)4 rotations (Zeng et al., 16 Mar 2025).

A closely related fixed-Ising program exploits two-color scheduling and a decomposition into commuting ϵΩ(t)\sqrt{\epsilon}\Omega(t)5 blocks. Driving only one color class at a time makes the sitewise Hamiltonians commute, and each driven site further decomposes into ϵΩ(t)\sqrt{\epsilon}\Omega(t)6 commuting blocks labeled by neighbor-ϵΩ(t)\sqrt{\epsilon}\Omega(t)7-parity. Shaped pulses are then optimized simultaneously across all distinct blocks for ϵΩ(t)\sqrt{\epsilon}\Omega(t)8-rotations, ϵΩ(t)\sqrt{\epsilon}\Omega(t)9, and shaped identity operations. The reported Δa({nj})=j[χjnj+χj2nj(nj1)],\Delta_a(\{n_j\})=\sum_j \left[\chi_j n_j + \frac{\chi'_j}{2} n_j(n_j-1)\right],0-robust pulses achieved trace infidelity Δa({nj})=j[χjnj+χj2nj(nj1)],\Delta_a(\{n_j\})=\sum_j \left[\chi_j n_j + \frac{\chi'_j}{2} n_j(n_j-1)\right],1 for identity, Δa({nj})=j[χjnj+χj2nj(nj1)],\Delta_a(\{n_j\})=\sum_j \left[\chi_j n_j + \frac{\chi'_j}{2} n_j(n_j-1)\right],2, and Δa({nj})=j[χjnj+χj2nj(nj1)],\Delta_a(\{n_j\})=\sum_j \left[\chi_j n_j + \frac{\chi'_j}{2} n_j(n_j-1)\right],3, while leakage-robust transmon Δa({nj})=j[χjnj+χj2nj(nj1)],\Delta_a(\{n_j\})=\sum_j \left[\chi_j n_j + \frac{\chi'_j}{2} n_j(n_j-1)\right],4 pulses achieved infidelity Δa({nj})=j[χjnj+χj2nj(nj1)],\Delta_a(\{n_j\})=\sum_j \left[\chi_j n_j + \frac{\chi'_j}{2} n_j(n_j-1)\right],5 at Δa({nj})=j[χjnj+χj2nj(nj1)],\Delta_a(\{n_j\})=\sum_j \left[\chi_j n_j + \frac{\chi'_j}{2} n_j(n_j-1)\right],6 MHz, Δa({nj})=j[χjnj+χj2nj(nj1)],\Delta_a(\{n_j\})=\sum_j \left[\chi_j n_j + \frac{\chi'_j}{2} n_j(n_j-1)\right],7 MHz, and Δa({nj})=j[χjnj+χj2nj(nj1)],\Delta_a(\{n_j\})=\sum_j \left[\chi_j n_j + \frac{\chi'_j}{2} n_j(n_j-1)\right],8 MHz (Kanaar et al., 2023). In this literature, a crosstalk-robust gate set is explicitly universal: single-qubit rotations plus a nontrivial Δa({nj})=j[χjnj+χj2nj(nj1)],\Delta_a(\{n_j\})=\sum_j \left[\chi_j n_j + \frac{\chi'_j}{2} n_j(n_j-1)\right],9 entangler, with virtual ZZZ\otimes Z0 gates completing the compilation basis.

Silicon spin-qubit work extends this program to nonperturbative pulse synthesis under appreciable off-resonant spectator drive. A physics-informed neural network was used to generate robust ZZZ\otimes Z1, ZZZ\otimes Z2, and iToffoli-equivalent pulses in a three-qubit Heisenberg model with crosstalk and charge noise. The robust pulses maintained infidelity ZZZ\otimes Z3 for average quasistatic voltage fluctuations up to a few mV instead of tenths of mV for non-robust pulses; specifically, the robust ZZZ\otimes Z4 remained below ZZZ\otimes Z5 up to ZZZ\otimes Z6 mV, while the robust iToffoli remained below ZZZ\otimes Z7 up to ZZZ\otimes Z8 mV average fluctuations (Kanaar et al., 2023). A related neural-network optimization for silicon CZ gates showed that, even when simple analytical control fields were ineffective because of appreciable crosstalk, optimization could maintain order-of-magnitude improvement over a simple cosine pulse (Kanaar et al., 2022).

Another silicon route treats crosstalk compensation as a synchronization problem. In linear spin-qubit arrays, the off-resonant spectator Rabi rate ZZZ\otimes Z9 is synchronized so that ZZZZ0, forcing the spectator to undergo a full rotation and return to its initial state. Under realistic parameters, the paper identifies nearly crosstalk-free CNOT operation at ZZZZ1 MHz, ZZZZ2 MHz, and ZZZZ3 ns (Heinz et al., 2021). This suggests that some “gate-set” constructions are best understood as synchronized parameter manifolds rather than as fixed pulse templates.

5. Scalable robust control beyond few-qubit models

For large parallel circuits, one strategy is to reduce the full-system problem to constant-sized subsystem pairs. If ZZZZ4 in the absence of crosstalk, then the first-order deviation caused by ZZZZ5 factorizes, and robustness is achieved by enforcing

ZZZZ6

This subsystem-optimized robust-control framework produced analytic pulses for parallel single-qubit ZZZZ7 gates and numerical pulses for parallel multi-qubit gates, with validation on NV centers, a 12-spin NMR processor, and superconducting arrays up to 200 qubits. The reported scaling reduced noise growth from exponential to linear for parallel single-qubit gates and achieved an order-of-magnitude reduction for parallel multi-qubit gates (Yang et al., 5 Jan 2026).

A complementary many-body strategy uses tensor-network robust control. Here the full Hamiltonian on a one-dimensional chain includes local ZZZZ8 drives, tunable nearest-neighbor ZZZZ9 couplings, and unknown static Heisenberg-type parasitic couplings

ζZZ(ij)=J22(αi+αj)(αi+Δij)(αjΔij),\zeta^{(ij)}_{ZZ} = - J^2 \frac{2(\alpha_i + \alpha_j)}{(\alpha_i + \Delta_{ij})(\alpha_j - \Delta_{ij})},00

with ζZZ(ij)=J22(αi+αj)(αi+Δij)(αjΔij),\zeta^{(ij)}_{ZZ} = - J^2 \frac{2(\alpha_i + \alpha_j)}{(\alpha_i + \Delta_{ij})(\alpha_j - \Delta_{ij})},01. MPO/MPS simulations combined with GRAPE and ensemble averaging produced robust parallel ζZZ(ij)=J22(αi+αj)(αi+Δij)(αjΔij),\zeta^{(ij)}_{ZZ} = - J^2 \frac{2(\alpha_i + \alpha_j)}{(\alpha_i + \Delta_{ij})(\alpha_j - \Delta_{ij})},02 and parallel CNOT gates on chains of 50 qubits. At ζZZ(ij)=J22(αi+αj)(αi+Δij)(αjΔij),\zeta^{(ij)}_{ZZ} = - J^2 \frac{2(\alpha_i + \alpha_j)}{(\alpha_i + \Delta_{ij})(\alpha_j - \Delta_{ij})},03 crosstalk, the reported many-body infidelities were ζZZ(ij)=J22(αi+αj)(αi+Δij)(αjΔij),\zeta^{(ij)}_{ZZ} = - J^2 \frac{2(\alpha_i + \alpha_j)}{(\alpha_i + \Delta_{ij})(\alpha_j - \Delta_{ij})},04 for parallel ζZZ(ij)=J22(αi+αj)(αi+Δij)(αjΔij),\zeta^{(ij)}_{ZZ} = - J^2 \frac{2(\alpha_i + \alpha_j)}{(\alpha_i + \Delta_{ij})(\alpha_j - \Delta_{ij})},05 and ζZZ(ij)=J22(αi+αj)(αi+Δij)(αjΔij),\zeta^{(ij)}_{ZZ} = - J^2 \frac{2(\alpha_i + \alpha_j)}{(\alpha_i + \Delta_{ij})(\alpha_j - \Delta_{ij})},06 for parallel CNOT, while non-robust controls approached ζZZ(ij)=J22(αi+αj)(αi+Δij)(αjΔij),\zeta^{(ij)}_{ZZ} = - J^2 \frac{2(\alpha_i + \alpha_j)}{(\alpha_i + \Delta_{ij})(\alpha_j - \Delta_{ij})},07 at ζZZ(ij)=J22(αi+αj)(αi+Δij)(αjΔij),\zeta^{(ij)}_{ZZ} = - J^2 \frac{2(\alpha_i + \alpha_j)}{(\alpha_i + \Delta_{ij})(\alpha_j - \Delta_{ij})},08 (Le et al., 4 Mar 2026). This work extends the gate-set idea from local spectator suppression to explicit many-body robustification.

Bosonic processors provide a distinct large-Hilbert-space example. In multimode cavity processors, QOC-designed ancilla pulses robust to detuning ζZZ(ij)=J22(αi+αj)(αi+Δij)(αjΔij),\zeta^{(ij)}_{ZZ} = - J^2 \frac{2(\alpha_i + \alpha_j)}{(\alpha_i + \Delta_{ij})(\alpha_j - \Delta_{ij})},09 MHz are embedded into the echoed conditional displacement protocol. In a representative Fock-state preparation task with spectator mode occupancy ζZZ(ij)=J22(αi+αj)(αi+Δij)(αjΔij),\zeta^{(ij)}_{ZZ} = - J^2 \frac{2(\alpha_i + \alpha_j)}{(\alpha_i + \Delta_{ij})(\alpha_j - \Delta_{ij})},10, DRAG yielded infidelity ζZZ(ij)=J22(αi+αj)(αi+Δij)(αjΔij),\zeta^{(ij)}_{ZZ} = - J^2 \frac{2(\alpha_i + \alpha_j)}{(\alpha_i + \Delta_{ij})(\alpha_j - \Delta_{ij})},11 for ζZZ(ij)=J22(αi+αj)(αi+Δij)(αjΔij),\zeta^{(ij)}_{ZZ} = - J^2 \frac{2(\alpha_i + \alpha_j)}{(\alpha_i + \Delta_{ij})(\alpha_j - \Delta_{ij})},12, whereas QOC reduced it below ζZZ(ij)=J22(αi+αj)(αi+Δij)(αjΔij),\zeta^{(ij)}_{ZZ} = - J^2 \frac{2(\alpha_i + \alpha_j)}{(\alpha_i + \Delta_{ij})(\alpha_j - \Delta_{ij})},13. For two-mode Bell-cat generation, the robust ancilla pulses reduced infidelity by factors ζZZ(ij)=J22(αi+αj)(αi+Δij)(αjΔij),\zeta^{(ij)}_{ZZ} = - J^2 \frac{2(\alpha_i + \alpha_j)}{(\alpha_i + \Delta_{ij})(\alpha_j - \Delta_{ij})},14 to ζZZ(ij)=J22(αi+αj)(αi+Δij)(αjΔij),\zeta^{(ij)}_{ZZ} = - J^2 \frac{2(\alpha_i + \alpha_j)}{(\alpha_i + \Delta_{ij})(\alpha_j - \Delta_{ij})},15, depending on pulse duration and decoherence model (You et al., 2024). In this context, a crosstalk-robust gate set is a hybrid library of robust ancilla ζZZ(ij)=J22(αi+αj)(αi+Δij)(αjΔij),\zeta^{(ij)}_{ZZ} = - J^2 \frac{2(\alpha_i + \alpha_j)}{(\alpha_i + \Delta_{ij})(\alpha_j - \Delta_{ij})},16, ζZZ(ij)=J22(αi+αj)(αi+Δij)(αjΔij),\zeta^{(ij)}_{ZZ} = - J^2 \frac{2(\alpha_i + \alpha_j)}{(\alpha_i + \Delta_{ij})(\alpha_j - \Delta_{ij})},17, virtual ζZZ(ij)=J22(αi+αj)(αi+Δij)(αjΔij),\zeta^{(ij)}_{ZZ} = - J^2 \frac{2(\alpha_i + \alpha_j)}{(\alpha_i + \Delta_{ij})(\alpha_j - \Delta_{ij})},18, ECD primitives, and virtual cavity-phase corrections.

6. Characterization, certification, and compilation

Robust gate sets require characterization methods that resolve context dependence rather than averaging it away. Simultaneous GST does this by fitting crosstalk-free, context-dependent, and general two-qubit models to the same parallel-gate data and comparing them by log-likelihood ratios and evidence ratios. In the AQT transmon experiment, spectator compensation reduced the average diamond-distance estimate from ζZZ(ij)=J22(αi+αj)(αi+Δij)(αjΔij),\zeta^{(ij)}_{ZZ} = - J^2 \frac{2(\alpha_i + \alpha_j)}{(\alpha_i + \Delta_{ij})(\alpha_j - \Delta_{ij})},19 to ζZZ(ij)=J22(αi+αj)(αi+Δij)(αjΔij),\zeta^{(ij)}_{ZZ} = - J^2 \frac{2(\alpha_i + \alpha_j)}{(\alpha_i + \Delta_{ij})(\alpha_j - \Delta_{ij})},20, and the context-dependent model remained sufficient relative to the general model. In QSCOUT, large context-dependent equatorial errors were identified, including rotation-angle variation up to ζZZ(ij)=J22(αi+αj)(αi+Δij)(αjΔij),\zeta^{(ij)}_{ZZ} = - J^2 \frac{2(\alpha_i + \alpha_j)}{(\alpha_i + \Delta_{ij})(\alpha_j - \Delta_{ij})},21 mrad on one active gate, again without requiring a fully entangling model (Rudinger et al., 2021). These results are important because they show that robust gate-set design is inseparable from model discrimination.

Randomized mirror circuits supply a scalable complementary diagnostic. They benchmark universal and continuously parameterized gate sets by fitting ζZZ(ij)=J22(αi+αj)(αi+Δij)(αjΔij),\zeta^{(ij)}_{ZZ} = - J^2 \frac{2(\alpha_i + \alpha_j)}{(\alpha_i + \Delta_{ij})(\alpha_j - \Delta_{ij})},22 and converting the decay constant to an average error per layer. On a 27-qubit IBM processor, the measured 27-qubit layer error was ζZZ(ij)=J22(αi+αj)(αi+Δij)(αjΔij),\zeta^{(ij)}_{ZZ} = - J^2 \frac{2(\alpha_i + \alpha_j)}{(\alpha_i + \Delta_{ij})(\alpha_j - \Delta_{ij})},23, and comparison to crosstalk-free predictions from 1- and 2-qubit data led to the conclusion that crosstalk contributes approximately ζZZ(ij)=J22(αi+αj)(αi+Δij)(αjΔij),\zeta^{(ij)}_{ZZ} = - J^2 \frac{2(\alpha_i + \alpha_j)}{(\alpha_i + \Delta_{ij})(\alpha_j - \Delta_{ij})},24 of the total error per gate in random many-qubit circuit layers (Hines et al., 2022). This provides a circuit-scale criterion for whether a purportedly robust gate set remains robust when embedded into large random layers.

Compilation can also be part of the gate-set construction. CAMEL pre-calibrates local ζZZ(ij)=J22(αi+αj)(αi+Δij)(αjΔij),\zeta^{(ij)}_{ZZ} = - J^2 \frac{2(\alpha_i + \alpha_j)}{(\alpha_i + \Delta_{ij})(\alpha_j - \Delta_{ij})},25 windows on frequency-tunable superconducting chips, uses compensation pulses on spectator couplers to minimize the in-gate swap channel ζZZ(ij)=J22(αi+αj)(αi+Δij)(αjΔij),\zeta^{(ij)}_{ZZ} = - J^2 \frac{2(\alpha_i + \alpha_j)}{(\alpha_i + \Delta_{ij})(\alpha_j - \Delta_{ij})},26, and then chooses the largest crosstalk-free parallel set in each layer by a maximum-independent-set computation on the crosstalk graph. A ζZZ(ij)=J22(αi+αj)(αi+Δij)(αjΔij),\zeta^{(ij)}_{ZZ} = - J^2 \frac{2(\alpha_i + \alpha_j)}{(\alpha_i + \Delta_{ij})(\alpha_j - \Delta_{ij})},27 window is reported as a practical sweet spot because it already outperforms static-frequency-aware compilation in XEB while keeping calibration cost feasible (Lu et al., 2023). This suggests that, in some architectures, “crosstalk-robust gate set” is partly a property of the compiler’s admissible parallel bundles.

Across these literatures, the main unresolved issues are consistent. First-order or pairwise models often dominate current experiments, but higher-order terms, long-range couplings, drift, and model mismatch remain open. Many methods assume locality, bounded spectator activity, or moderate ζZZ(ij)=J22(αi+αj)(αi+Δij)(αjΔij),\zeta^{(ij)}_{ZZ} = - J^2 \frac{2(\alpha_i + \alpha_j)}{(\alpha_i + \Delta_{ij})(\alpha_j - \Delta_{ij})},28, and several explicitly note the need for periodic re-identification or hardware-in-the-loop recalibration (Yu et al., 23 Mar 2026, Yang et al., 5 Jan 2026, Le et al., 4 Mar 2026). A plausible implication is that the long-term form of crosstalk-robust gate sets will be hybrid: analytically constrained where symmetry permits, numerically conditioned where hardware is nonlinear, and compiler-aware where parallel scheduling changes the operating point.

Definition Search Book Streamline Icon: https://streamlinehq.com
References (18)

Topic to Video (Beta)

No one has generated a video about this topic yet.

Whiteboard

No one has generated a whiteboard explanation for this topic yet.

Follow Topic

Get notified by email when new papers are published related to Crosstalk-Robust Gate Sets.