Researchers have developed a method to robustly verify whether an unknown $n$-qubit quantum state, $\rho$, is $\varepsilon$-close or $O(\varepsilon)$-far from an ideal target state $|\psi\rangle$. This advance is significant for quantum computing, where the reliability of quantum states is crucial. The protocol employs non-adaptive single-qubit Pauli measurements, which considerably simplifies the certification process compared to methods requiring complex joint measurements.
The method is applicable to most target states, excluding only a $2^{-\Omega(n)}$ fraction. To achieve a confidence of $1-\delta$, the test requires $O(\varepsilon^{-2}\log(1/\delta))$ copies of the state $\rho$. This number of copies is information-theoretically optimal, even if protocols with arbitrary joint measurements were allowed. The efficiency of the method makes it practical for the characterization of quantum devices.
The core technical innovation behind this protocol is a generalized uncertainty principle for weighted total influences of Boolean functions. As a simple example, the unweighted variant states that $\mathbf{Inf}[f]+\mathbf{Inf}[\widehat{f}] = \Omega(n)$, which is a natural hypercube analogue of the Heisenberg uncertainty principle, where $\widehat{\cdot}$ denotes the $2^{-n/2}$-normalized Fourier transform. The weighted case extends $\mathbf{Inf}[\cdot]$ and $\mathbf{Inf}[\widehat{\cdot}]$ to Dirichlet energies associated with Glauber dynamics for certain dual measures on the cube. This theoretical framework provides a solid foundation for the robustness of the certification protocol.