Vicenzo Scavino Alfaro | arXiv Science

arXiv2026

A finite-shot mean-squared-error boundary for Richardson zero-noise extrapolation

Zero-noise extrapolation (ZNE) reduces the bias of noisy quantum-circuit measurements, but Richardson coefficients and shot splitting increase their statistical error. This paper determines the noise strength at which Richardson ZNE starts to lower the mean-squared error relative to the unmitigated estimator at a fixed shot budget $B$. The boundary is set by the balance between the leading squared-bias improvement and the leading excess-variance penalty: depending on the variance exponent of the measurement, it shrinks with $B$, becomes a budget threshold, or disappears. For fixed Richardson extrapolation with linear leading bias, the Richardson order and the shot allocation change only constants; the boundary exponent is set by the measured observable and protocol. Deterministic stabilizer measurements and nonzero-variance Hamiltonian or variational-energy measurements have boundaries that shrink as $B^{-1}$ and $B^{-1/2}$, and for finite-outcome shot measurements these two classes are the only ones. Qiskit Aer simulations of Greenberger-Horne-Zeilinger (GHZ) and quantum approximate optimization algorithm (QAOA) circuits reproduce this separation, and on IBM Quantum hardware ZNE lowers the mean-squared error at equal budget in 75 of 101 instances.

quant-ph↗

arXiv2026

Certified Finite-Shot Operating Windows for Virtual Distillation and Symmetry Verification

Quantum error mitigation methods are often compared through infinite-shot bias, but real experiments are decided by finite sampling budgets, estimator instabilities, and per-shot resource costs. We develop a certified finite-shot operating-window theory for comparing virtual distillation (VD) and symmetry verification (SV). For each method we prove a mean-squared-error law with explicit non-asymptotic remainders. For VD, the law exposes quotient-estimator bias, denominator-driven variance, and a concentration certificate for when the denominator is statistically resolved. For SV, it separates the residual bias from undetectable errors from the sampling penalty set by the acceptance probability. These laws induce a selection trichotomy: a two-method comparison is a tie, a uniform dominance relation, or a genuine tradeoff with a certified crossing window and a self-consistency test. Exact white-box experiments confirm the predicted $p^{-2}$ operating-window scale with fitted exponent $-1.97$ and show $300/300$ sign agreement in a pre-specified analysis; the single strict all-instance criterion not met is reported with its calibration analysis. Gate-level simulation and archived IBM hardware runs then test the windows under device conditions: idealized VD windows exist, but realistic interferometry overhead and denominator instability move them outside the tested resource range, while calibrated SV has lower MSE in the tested QAOA instances. The result is a regime statement, not a universal ranking: certified operating windows explain when mitigation advantages should appear or disappear, and keep coefficient-level validation separate from noisy-device evidence.

quant-ph↗