arXivDaily arXiv每日学术速递 周一至周五更新
arXiv 2606.20003quant-phmath-phmath.MP
收藏

最小测量设置下的最优阴影估计

Optimal Shadow Estimation with Minimal Measurement Settings

Fudan University(复旦大学);Shanghai Research Center for Quantum Sciences(上海量子科学研究中心);Hefei National Laboratory(合肥国家实验室)

Zhiyao Yang, Datong Chen, Huangjun Zhu

AI总结:

本文证明最坏情况下最优阴影估计需要Θ(d²)个测量基,而平均情况下仅需Θ(d)个基,并给出了显式构造。

摘要:

阴影估计是一个强大的框架,用于从随机测量中预测量子性质。虽然$3$-设计协议实现了最优最坏情况性能,但实现这种最优性所需的最小测量基数一直未解。这里我们证明$\Theta(d^2)$个测量基对于最坏情况最优阴影估计既是必要的也是充分的,并构造了一个显式基族。与此形成鲜明对比的是,任何状态$2$-设计已经足以实现平均情况最优性:归一化可观测量的均方阴影范数被一个通用常数界定,并且我们证明了Haar随机态的强集中性,从而为一般纯态保真度估计提供了常数样本复杂度。易于实现的$2$-设计——来自互无偏基、循环测量或浅层$\mathcal{O}(\log n)$深度电路——使得能够以极其简单的测量策略实现最优平均情况协议。我们的结果建立了一个基本的复杂度分离:最坏情况估计需要$\Theta(d^2)$个基,而平均情况性能仅需$\Theta(d)$个基,这对量子信息理论和近期实验具有广泛影响。

英文摘要:

Shadow estimation is a powerful framework for predicting quantum properties from randomized measurements. While $3$-design protocols achieve optimal worst-case performance, the minimal number of measurement bases required for such optimality has remained open. Here we prove that $Θ(d^2)$ measurement bases are both necessary and sufficient for worst-case optimal shadow estimation and construct an explicit basis family. In stark contrast, any state $2$-design already suffices for average-case optimality: the mean squared shadow norm of normalized observables is bounded by a universal constant, and we prove strong concentration for Haar-random states, yielding constant sample complexity for generic pure-state fidelity estimation. Easily implementable $2$-designs -- from mutually unbiased bases, cyclic measurements, or shallow $\mathcal{O}(\log n)$-depth circuits -- enable optimal average-case protocols with remarkably simple measurement strategies. Our results establish a fundamental complexity separation: worst-case estimation requires $Θ(d^2)$ bases, whereas average-case performance requires only $Θ(d)$ bases, with broad implications for quantum information theory and near-term experiments.

机构、总结、中文摘要均由AI分析而来,可能存在错误,请以论文正文为准。

↑