arXivDaily arXiv每日学术速递 周一至周五更新
arXiv周末暂无论文更新,休息一下吧,周末愉快~~
arXiv 2408.06289quant-phcs.CCcs.DS
收藏

多项式时间的容忍测试稳定子态

Polynomial-time tolerant testing stabilizer states

Srinivasan Arunachalam, Arkopal Dutt

AI总结:

本文研究未知量子态是否接近或远离稳定子态的容忍测试问题,通过引入量子态Gowers范数及加性组合学方法,提出了首个解决该问题的多项式时间与样本复杂度算法。

摘要:

我们考虑以下任务:假设算法被给定未知 $n$-量子比特量子态 $|ψ\rangle$ 的副本,且承诺 $(i)$ $|ψ\rangle$ 在保真度上 $\varepsilon_1$-接近于稳定子态,或 $(ii)$ $|ψ\rangle$ $\varepsilon_2$-远离所有稳定子态,算法需判断属于哪种情况。我们证明,对于每个 $\varepsilon_1>0$ 和 $\varepsilon_2\leq \varepsilon_1^C$,存在一个 $\textsf{poly}(1/\varepsilon_1)$-样本和 $n\cdot \textsf{poly}(1/\varepsilon_1)$-时间算法来判断属于哪种情况(其中 $C>1$ 是通用常数)。我们的证明包括量子态 Gowers 范数的新定义、量子态 Gowers-$3$ 范数的逆定理,以及利用加性组合学结果对 Paulis 结构化子集的稳定子覆盖的新界限。

英文摘要:

We consider the following task: suppose an algorithm is given copies of an unknown $n$-qubit quantum state $|ψ\rangle$ promised $(i)$ $|ψ\rangle$ is $\varepsilon_1$-close to a stabilizer state in fidelity or $(ii)$ $|ψ\rangle$ is $\varepsilon_2$-far from all stabilizer states, decide which is the case. We show that for every $\varepsilon_1>0$ and $\varepsilon_2\leq \varepsilon_1^C$, there is a $\textsf{poly}(1/\varepsilon_1)$-sample and $n\cdot \textsf{poly}(1/\varepsilon_1)$-time algorithm that decides which is the case (where $C>1$ is a universal constant). Our proof includes a new definition of Gowers norm for quantum states, an inverse theorem for the Gowers-$3$ norm of quantum states and new bounds on stabilizer covering for structured subsets of Paulis using results in additive combinatorics.

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

↑