[论文解读] On the Geometry of Stabilizer States

Héctor J. García, Igor L. Markov+1 more|arXiv (Cornell University)|Nov 20, 2017

Quantum Computing Algorithms and Architecture被引用 5

一句话总结

本文表征了量子信息中 Clifford 门态的几何结构，表明对于任意 n-量子比特 Clifford 门态，大多数其他 Clifford 门态均近乎正交。本文提出了高效的算法，用于计算内积、正交化 Clifford 门态集合以及合成规范 Clifford 电路，与先前方法相比，速度最高提升两倍，门限数量减少一半。核心贡献在于对 Clifford 门态之间夹角分布及最近邻关系的深刻理解，对态近似与量子电路模拟具有重要意义。

ABSTRACT

Large-scale quantum computation is likely to require massive quantum error correction (QEC). QEC codes and circuits are described via the stabilizer formalism, which represents stabilizer states by keeping track of the operators that preserve them. Such states are obtained by stabilizer circuits (consisting of CNOT, Hadamard and Phase gates) and can be represented compactly on conventional computers using $O(n^2)$ bits, where $n$ is the number of qubits. As an additional application, the work by Aaronson and Gottesman suggests the use of superpositions of stabilizer states to represent arbitrary quantum states. To aid in such applications and improve our understanding of stabilizer states, we characterize and count nearest-neighbor stabilizer states, quantify the distribution of angles between pairs of stabilizer states, study succinct stabilizer superpositions and stabilizer bivectors, explore the approximation of non-stabilizer states by single stabilizer states and short linear combinations of stabilizer states, develop an improved inner-product computation for stabilizer states via synthesis of compact canonical stabilizer circuits, propose an orthogonalization procedure for stabilizer states, and evaluate several of these algorithms empirically.

研究动机与目标

• 理解 Hilbert 空间中 Clifford 门态的几何分布，特别是它们之间的夹角及最近邻关系。
• 开发高效的经典算法，用于计算内积、外积（双矢量）以及正交化 Clifford 门态集合。
• 通过 Clifford 门态的叠加表示非 Clifford 门态，实现对量子态复杂度层级的推进。
• 通过合成最小化、规范化的电路，提升 Clifford 电路模拟的可扩展性与效率。
• 研究利用 Clifford 门态及其线性组合近似任意量子态的极限。

提出的方法

• 使用 Clifford 形式通过 Pauli 算符表示 n-量子比特 Clifford 门态，实现 Θ(n²) 位的紧凑表示。
• 应用五区块规范模板，合成将任意 Clifford 门态映射至计算基态的 Clifford 电路，从而实现高效的内积计算。
• 基于观察结果——任意三个非平行的 Clifford 门态若构成线性相关三元组，则其中必包含两对最近邻与一对正交态——提出系统化的正交化程序。
• 开发改进的内积算法，时间复杂度为 O(n³)，但实际运行呈二次复杂度，优于先前方法在速度与门限数量上的表现。
• 量化 Clifford 门态之间夹角的分布，表明当 n→∞ 时，大多数配对均正交或近乎正交。
• 分析由 Clifford 门态向量构成的平行多面体体积，并刻画 Clifford 门态的最小线性相关集合。

实验结果

研究问题

• RQ1 n-量子比特 Clifford 门态之间夹角的分布如何？最近邻关系如何影响该分布？
• RQ2 能否利用其几何结构（特别是正交对与最近邻对的存在）高效正交化 Clifford 门态集合？
• RQ3 如何比现有方法更高效地计算两个 Clifford 门态之间的内积，特别是在电路深度与门限数量方面？
• RQ4 在单位球面上，以某点为中心且不包含任何 n-量子比特 Clifford 门态的球体的最大半径是多少？该值如何随 n 变化？
• RQ5 任意量子态在多大程度上可由多项式规模的 Clifford 门态叠加近似？

主要发现

• 对于任意 n-量子比特 Clifford 门态，至少存在 5(2ⁿ−1) 个其他 Clifford 门态，使得它们的楔积构成 Clifford 双矢量，表明其具有丰富的代数结构。
• 任意两个最近邻 Clifford 门态之间的夹角恰好为 45°，距离为 √(2−√2)，如论文中的几何图示所示。
• 当 n→∞ 时，与给定 Clifford 门态正交或近乎正交的 Clifford 门态所占比例趋近于 1，表明夹角分布近乎均匀。
• 所提出的内积算法运行速度约为 Audenaert-Plenio 方法的两倍，且生成的电路门数不足其一半，同时保证规范形式。
• 以单位球面为中心、不包含任何 n-量子比特 Clifford 门态的球体最大半径被限制在 √2 以内，且随着 n 增大趋近于该值。
• 每个非平行的线性相关三元组 Clifford 门态中，恰好包含两对最近邻与一对正交态，揭示了一致的几何约束。