Mirror Circuit Fidelity Estimation

• Mirror circuit fidelity estimation is a technique that constructs quantum circuits with a mirrored structure to robustly measure process infidelity and coherence properties.
• It employs randomized benchmarking and Pauli twirling to extract exponential decay rates, linking them directly to average error per layer while mitigating SPAM effects.
• Scalable protocols like MRB enable efficient benchmarking for systems with tens to hundreds of qubits, providing clear hardware performance metrics and error bounds.

Mirror circuit fidelity estimation refers to a family of protocols for measuring the fidelity—or, equivalently, the infidelity—of quantum circuits and devices by leveraging “mirrored” circuit structures, in which a random quantum circuit is combined with its inverse. This approach, realized by mirror benchmarking methods such as mirror-circuit randomized benchmarking (MRB), provides scalable, robust, and system-level estimates of multi-qubit logic layer performance, in particular by extracting exponential decay rates under noise and relating these to average process fidelities, infidelities, and, in some cases, the coherence of the noise. These protocols are engineered to overcome the scalability bottlenecks of standard randomized benchmarking and to furnish direct, device-level performance curves, including for systems with tens or hundreds of qubits (Proctor et al., 2021, Mayer et al., 2021).

1. Mirror Circuit Construction and Protocols

Mirror-circuit fidelity estimation consists of preparing quantum circuits $C$ composed of a random sequence of logic layers drawn from a gate set $G$, followed by the exact inverse of these operations in reversed order, yielding a "mirror" structure. Formally, for a sequence of $L$ random layers $g_1, \ldots, g_L$, the mirror circuit is

$$C = g_1 g_2 \cdots g_L g_L^{-1} \cdots g_2^{-1} g_1^{-1}$$

Random Pauli layers may be interleaved between $g_i$ to “twirl” the noise and realize randomized compiling, enhancing noise symmetrization (Proctor et al., 2021). The input is typically a computational basis state, and the output is measured in the computational basis; in the noiseless case, the final measured bit-string matches the initial state exactly.

An essential distinction in MRB protocols is the use of Clifford logic layers and Pauli dressing: each round samples and applies a random one-qubit Clifford $F_0$ to each qubit, and then alternates sampled Pauli layers $P_i$ and sampled Clifford logic layers $L_i \sim \Omega$, ensuring that $\Omega$ scrambles errors (local twirl + spread), is inversion symmetric, and that $G$0 is in the layer set $G$1. The mirror property guarantees that, in the absence of noise, the final state is always deterministic and known classically.

2. Survival Probability, Exponential Decay, and Effective Polarization

The principal observable in mirror benchmarking is the average survival probability $G$2, defined as the probability of measuring the output state that matches the ideal mirror circuit outcome. In practice, $G$3 is estimated by the following protocol:

• For each depth $G$4 (mirror sequence length), sample $G$5 random mirror circuits and perform $G$6 shots per circuit.
• Given the probability $G$7 to observe $G$8 bit flips from the expected output, define the “effective polarization” for circuit $G$9 as

$L$0

Averaging over $L$1 circuits gives the mean polarization $L$2 for depth $L$3.

• $L$4 is then fit by an exponential model

$L$5

where $L$6 is a SPAM-dependent prefactor and $L$7 is the decay parameter characterizing average circuit coherence.

This exponential decay is a general consequence of the uniform noise assumption and sufficient twirling via a group forming a unitary 2-design (usually the $L$8-qubit Clifford group or a major subset). Under these circumstances, the decay rate $L$9 is determined by the unitarity of the noise channel (see Section 4).

3. Extracting Average Infidelity and Fidelity Bounds

In randomized benchmarking and mirror benchmarking, the exponential decay parameter $g_1, \ldots, g_L$0 is related to the average process (entanglement) infidelity $g_1, \ldots, g_L$1 of a logic layer. For an $g_1, \ldots, g_L$2-qubit system ($g_1, \ldots, g_L$3), the correspondence is:

$g_1, \ldots, g_L$4

as used in MRB (Proctor et al., 2021). Once $g_1, \ldots, g_L$5 is extracted by nonlinear least-squares fitting of $g_1, \ldots, g_L$6 across depths, $g_1, \ldots, g_L$7 directly quantifies the average error per layer.

In the broader mirror benchmarking framework, connection to channel fidelity and unitarity is afforded via expansion in the Pauli basis:

• The twirl’s quadratic contraction yields

$g_1, \ldots, g_L$8

where $g_1, \ldots, g_L$9 denotes the unitarity,

$$C = g_1 g_2 \cdots g_L g_L^{-1} \cdots g_2^{-1} g_1^{-1}$$0

• For purely stochastic Pauli noise, $$C = g_1 g_2 \cdots g_L g_L^{-1} \cdots g_2^{-1} g_1^{-1}$$1 reduces to the squared average depolarization parameter; in this case, process fidelity satisfies the bounds

$$C = g_1 g_2 \cdots g_L g_L^{-1} \cdots g_2^{-1} g_1^{-1}$$2

• The degree to which $$C = g_1 g_2 \cdots g_L g_L^{-1} \cdots g_2^{-1} g_1^{-1}$$3 deviates from the square of the “Pauli diagonal” $$C = g_1 g_2 \cdots g_L g_L^{-1} \cdots g_2^{-1} g_1^{-1}$$4 quantifies the coherence of underlying noise (Mayer et al., 2021).

4. SPAM Robustness and Error Mitigation

A defining advantage of mirror-circuit fidelity estimation protocols is robustness to state-preparation and measurement (SPAM) errors. This robustness is achieved via:

• Random Pauli “twirling” layers between Clifford logic layers, which symmetrize coherent errors into Pauli channels, eliminating systematic error buildup in the decay rate extraction.
• Initial and final random one-qubit Cliffords implement local 2-designs, scrambling SPAM contributions and further isolating the decay dynamics to stochastic noise in the logic layers.
• The effective polarization $$C = g_1 g_2 \cdots g_L g_L^{-1} \cdots g_2^{-1} g_1^{-1}$$5 leverages a Hamming-weight sum that cancels readout biases to leading order.

Consequently, SPAM contributions enter as multiplicative prefactors (e.g., $$C = g_1 g_2 \cdots g_L g_L^{-1} \cdots g_2^{-1} g_1^{-1}$$6 in $$C = g_1 g_2 \cdots g_L g_L^{-1} \cdots g_2^{-1} g_1^{-1}$$7), not entering into the decay parameter $$C = g_1 g_2 \cdots g_L g_L^{-1} \cdots g_2^{-1} g_1^{-1}$$8. The model offset $$C = g_1 g_2 \cdots g_L g_L^{-1} \cdots g_2^{-1} g_1^{-1}$$9 is driven to near zero (unlike conventional RB, where $g_i$0 may reflect persistent SPAM contributions), due to the effect of Pauli twirling and post-selection (Proctor et al., 2021, Mayer et al., 2021).

5. Scalability, Resource Costs, and Experimental Demonstrations

Mirror circuit fidelity estimation protocols, and MRB specifically, have demonstrated scalability to quantum systems far exceeding the reach of conventional randomized benchmarking:

• Circuit gate cost is $g_i$1 one- and two-qubit gates per logic layer, a linear overhead that contrasts favorably with the $g_i$2 scaling required to realize generic $g_i$3-qubit Cliffords in standard RB.
• Numerical simulations on up to 225 qubits in a $g_i$4 lattice configuration demonstrated, for physically realistic error rates (0.1–1%), that infidelity estimates $g_i$5 tracked true error rates $g_i$6 to within $g_i$7 (relative error) across 900 runs.
• MRB’s scaling permits investigation into crosstalk phenomena: in a 16-qubit IBM Q Rueschlikon experiment, MRB quantified two-qubit crosstalk by mapping $g_i$8 as a function of region size, showing divergence from error rates predicted by uncorrelated single- and two-qubit gate calibration (Proctor et al., 2021).

A comparison of experimental viability is summarized below:

Protocol	Max. Qubits Demonstrated	Gate Cost per Circuit	SPAM Robustness
Standard RB	$g_i$95	$F_0$0	Moderate
Direct RB	$F_0$15–16	$F_0$2	Moderate
MRB / Mirror RB	16 (expt), 225 (sim)	$F_0$3	High

MRB remains feasible as $F_0$4 increases due to its favorable signal falloff and linear gate complexity, enabling benchmarking in regimes beyond the reach of alternative techniques.

6. Quantum Query Complexity and Algorithmic Estimation

Beyond physical implementation, recent advances in quantum algorithms establish optimal query complexity bounds for estimating the fidelity (or infidelity) associated with mirror circuits in the black-box access model. When given access to circuit state-preparations and their inverses, the fidelity

$F_0$5

can be estimated to additive error $F_0$6 using $F_0$7 queries—provably optimal via a matching lower bound (Wang, 2024). This is realized using square-root amplitude estimation:

• Prepare the overlap-encoding unitary $F_0$8 ($F_0$9 for $P_i$0).
• Define a unitary $P_i$1 that encodes $P_i$2 in the amplitude of a specific basis state.
• Use generalized amplitude estimation (phase estimation on Grover-like iterations of $P_i$3) to estimate this amplitude within $P_i$4, using $P_i$5 queries. This framework provides fundamental lower bounds for the number of mirror circuit (and inverse) invocations required for fidelity estimation to a specified precision in fully coherent quantum-access scenarios, with the standard overheads for controlled operation construction and ancilla qubits.

7. Applications, Best Practices, and Limitations

Mirror circuit fidelity estimation serves as a versatile tool for system-level characterization of quantum processors, applicable to:

• Quantifying average logic-layer infidelity across increasing qubit counts,
• Revealing error growth mechanisms such as crosstalk,
• Estimating noise coherence properties via unitarity,
• Providing a direct metric for hardware performance benchmarking.

Key practical guidelines for effective implementation include:

• Select sequence lengths exceeding the qubit number ($P_i$6) to ensure sufficient approximation of 2-design twirling and robust noise averaging.
• Incorporate randomized compiling (Pauli twirls) to mitigate coherent error contributions unless direct assessment of noise coherence is desired.
• Employ analytical determination of offset $P_i$7 and SPAM-insensitive observables whenever possible.
• Use substantial circuit and shot sample sizes per depth, with bootstrapping methods for error estimation.

Limitations include the requirement for inversion-symmetric gate sets and sufficiently uniform layer noise for strict interpretation of decay rates, as well as manageable circuit depth for device coherence constraints. A plausible implication is that further development of hybrid protocols may be needed to fully leverage these techniques in platforms with highly non-uniform or strongly non-Markovian noise profiles.

Mirror circuit fidelity estimation, by exploiting symmetry, SPAM resistance, and scalable measurement of exponential decay, constitutes a key methodology for deep, efficient, and reliable assessment of quantum hardware performance across present and emerging device architectures (Proctor et al., 2021, Mayer et al., 2021, Wang, 2024).