Spectral Minimax Direct Fidelity Estimation for Generic Target States

Abstract: Direct fidelity estimation benefits from tailoring measurements to a fixed target, but the operator-aware shadow importance sampling (OASIS) method optimizes an outcome-wise linear-program surrogate rather than the exact worst-case variance over physical states. We propose an exact spectral replacement for arbitrary target states under the same non-adaptive single-copy measurement model. Specifically, we characterize unbiased linear estimators by a single operator identity, determine the state-wise optimal sampling law for fixed reconstruction coefficients, and convert the exact minimax problem into a semidefinite program. The resulting offline design and online estimator are presented as an algorithm and implemented with local Pauli measurements. Numerical simulations under depolarizing noise demonstrate that our exact spectral optimization outperforms the OASIS surrogate in terms of estimation variance.

• The paper introduces a mathematically exact minimax framework that optimizes estimator variance for direct fidelity estimation via semidefinite programming.
• It demonstrates improved mean-squared error and estimator concentration by leveraging overcomplete local Pauli POVMs in experimental settings.
• The proposed offline SDP and online measurement protocol offers enhanced performance over OASIS, especially for small-to-moderate quantum systems.

Spectral Minimax Direct Fidelity Estimation for Generic Target States

Overview

The paper "Spectral Minimax Direct Fidelity Estimation for Generic Target States" (2605.01438) addresses the optimization of direct fidelity estimation (DFE) protocols within the quantum measurement paradigm. It introduces a mathematically exact minimax framework for the worst-case variance, replacing prior outcome-based surrogate objectives such as those used in OASIS (Operator-Aware Shadow Importance Sampling). The new approach is grounded in spectral optimization and semidefinite programming (SDP), leading to demonstrable improvements in estimator variance and mean-squared error for arbitrary quantum target states under local Pauli measurement models.

Measurement Model and Unbiased Estimator Formulation

The authors define the measurement setting as a finite collection of local Pauli POVMs, making the scheme compatible with typical experimental primitives. Unbiased estimators are characterized via a single linear operator identity: the sum of weighted measurement projectors must equal the target projector $O$. The parametrization merges sampling laws and reconstruction coefficients, introducing $\alpha_{u,b}$, which encodes both post-processing weights and measurement probability. This operator-centric formulation unifies previous approaches and ensures unbiasedness for arbitrary density operators.

The use of overcomplete measurement families is critical. Overcomplete local Pauli POVMs span the entire space of Hermitian operators, enhancing the flexibility of coefficient design and enabling variance reduction beyond minimally complete measurement frames.

State-Wise Variance Optimization and Distinction from OASIS

A key contribution is the formal derivation of the exact one-shot state-dependent variance, expressed as $Var_\rho(X) = tr(\rho M_{q,\alpha}) - tr(\rho O)^2$, where $M_{q,\alpha}$ aggregates quadratic estimator weights. The authors prove a closed-form for the state-optimal sampling law for fixed coefficients, showing that variance minimization depends on the distribution of $\rho$ across outcomes—with setting-wise second moments entering via quadratic averages rather than outcome-wise maxima.

This directly contrasts with OASIS, which employs a linear programming surrogate penalizing the highest coefficient per measurement setting. The paper rigorously demonstrates that OASIS can be arbitrarily loose for certain states and settings, substantiating the need for a physically motivated minimax approach.

Spectral Minimax SDP and Algorithm

The core theoretical advance is the spectral minimax identity: the worst-case variance over all states is equivalent to a minimization over spectral quantities perturbed by the target projector, which can be efficiently implemented as an SDP. The authors present an explicit offline-online algorithmic framework:

• Offline: Solve the SDP to obtain optimal sampling laws and coefficient assignments, $(q^{\star}, \alpha^{\star}_{u,b})$, achieving the exact minimax value $\Gamma^{\star}(O)$.
• Online: Sequentially sample measurement settings per $q^{\star}$, perform local Pauli measurements, and return outputs specified by $\alpha^{\star}_{u,b}/q^{\star}(u)$.

This design preserves operational simplicity—compatible with typical laboratory procedures—with all complexity confined to the offline stage.

Numerical Results and Empirical Validation

Empirical studies on Haar-random pure targets in the depolarized regime ($n=3$ to $\alpha_{u,b}$0 qubits) demonstrate consistent MSE reductions compared to OASIS, with the advantage increasing with system size. The improved estimator strictly outperforms OASIS in matched-budget settings, confirming the theoretical prediction that variance minimization directly impacts both MSE and probabilistic concentration bounds. Notably, no additional measurement complexity or adaptivity is introduced; all performance gains stem from the offline spectral optimization.

Theoretical and Practical Implications

The paper substantiates that worst-case variance minimization for fidelity estimation is attainable within the single-copy non-adaptive measurement regime through spectral minimax optimization. The approach eliminates reliance on surrogate objectives, refines sample complexity guarantees, and improves estimator concentration properties for generic states.

Practically, the method is effective for small-to-moderate $\alpha_{u,b}$1, where offline SDP optimization is tractable and can be reused for repeated experiments. For large $\alpha_{u,b}$2, computational complexity remains a challenge, motivating future research into symmetry-exploiting or tensor-network-constrained formulations to enable scalable SDP construction.

Theoretically, this work sets a new benchmark for unbiased operator-based estimator design, enforcing adversarial optimization against quantum states rather than measurement outcomes. It suggests further investigation into compressed representations, analytical simplifications, and extensions to structured target classes (e.g., GHZ, W states), potentially bridging the gap between minimax optimality and experimental scalability.

Conclusion

"Spectral Minimax Direct Fidelity Estimation for Generic Target States" (2605.01438) introduces a mathematically exact SDP-based framework for minimizing estimator variance in direct fidelity estimation. The approach focuses on adversarial state optimization, proves strict improvement over outcome-based surrogates, and provides efficient protocols for practical experiments with small system sizes. The method delineates a clear direction for further optimization and scalability through structural or symmetry-aware reductions, promising broader applicability in quantum state certification, benchmarking, and tomography.