[论文解读] A framework for exact synthesis

Vadym Kliuchnikov, Jon Yard|arXiv (Cornell University)|Apr 16, 2015

Quantum Computing Algorithms and Architecture参考文献 29被引用 9

一句话总结

本文提出了一套统一的数学框架，用于在多种门集（包括 Clifford+T、V 域和任意任何任何子量子计算模型）中实现单量子比特量子酉算符的精确综合。通过利用数论和数域上的四元数代数，该框架系统性地刻画了在门计数受限下可实现的所有酉算符，并实现了多项式时间的精确综合，为渐近最优的量子线路近似算法提供了理论基础。

ABSTRACT

Exact synthesis is a tool used in algorithms for approximating an arbitrary qubit unitary with a sequence of quantum gates from some finite set. These approximation algorithms find asymptotically optimal approximations in probabilistic polynomial time, in some cases even finding the optimal solution in probabilistic polynomial time given access to an oracle for factoring integers. In this paper, we present a common mathematical structure underlying all results related to the exact synthesis of qubit unitaries known to date, including Clifford+T, Clifford-cyclotomic and V-basis gate sets, as well as gates sets induced by the braiding of Fibonacci anyons in topological quantum computing. The framework presented here also provides a means to answer questions related to the exact synthesis of unitaries for wide classes of other gate sets, such as Clifford+T+V and SU(2) level k anyons.

研究动机与目标

• 统一描述不同量子门集（包括 Clifford+T、V 域和任意任何子模型）中精确综合背后的数学结构。
• 对给定门集中可用有界门数精确实现的所有酉算符提供一般性表征。
• 为由四元数代数、最大序和一组素理想描述的任意门集，实现多项式时间的精确综合算法。
• 回答关于在特定环（如 $\mathbb{Z}[\frac{1}{2}, \zeta_n]$）上合成所有酉算符所需的最小门集的基本问题。
• 通过结合精确综合与数论技术，为开发渐近最优的近似算法奠定基础。

提出的方法

• 该框架使用数域 $F$ 上的四元数代数 $\left(\frac{a,b}{F}\right)$ 对门集进行建模，其中包含一个最大序 $\mathcal{M}$ 和一组有限的素理想 $S$。
• 它将可精确综合的酉算符表征为 $U = \frac{1}{\sqrt{x_1^2 - a x_2^2 - b x_3^2 + a b x_4^2}}(x_1 I + \sqrt{a} Z x_2 - \sqrt{b} Y x_3 + \sqrt{a b} X x_4)$，其中 $x_j \in R_F$，且其范数理想可分解为 $S$ 中的理想。
• 该框架利用双侧理想和最大序的单位群来描述可综合酉算符的结构。
• 它将精确综合问题简化为在 $F$ 的整数环上进行数论计算，如理想分解和单位群计算。
• 该方法利用计算代数数论中的算法，实现了对已知可在该门集上精确表示的任意酉算符的多项式时间编译。
• 通过证明所有这些门集（包括 Clifford+T、V 域和 Fibonacci 任意任何子门集）均源于相同的代数结构，该框架推广并统一了先前关于这些门集的研究结果。

实验结果

研究问题

• RQ1 哪些共同的数学结构支撑着 Clifford+T、V 域和任意任何子模型等不同量子门集中的精确综合？
• RQ2 如何系统性地表征一个有限门集在有界门数下可精确实现的所有酉算符？
• RQ3 为使 Clifford-分圆门集能够实现 $\mathbb{Z}[\frac{1}{2}, \zeta_n]$ 上所有酉算符，必须额外添加哪些酉算符？
• RQ4 能否将一般门集的精确综合问题归约为数域中的数论计算（如理想分解和单位群计算）？
• RQ5 是否存在一个通用的算法框架，通过结合精确综合与数论近似技术，实现渐近最优的量子线路近似？

主要发现

• 该框架将 Clifford+T、V 域、Fibonacci 任意任何子及其他门集的精确综合统一于基于数域上四元数代数的单一代数结构之下。
• 它完整表征了可精确综合的酉算符：即其范数理想在数域 $F$ 的整数环中可分解为指定有限素理想集 $S$ 的乘积。
• 实现一个酉算符所需的门数受其范数理想在 $S$ 中素理想上的赋值之和的限制，从而可进行门计数估计。
• 该框架为由四元数代数、最大序和素理想集定义的任意门集，提供了多项式时间的精确综合算法。
• 它给出了文献 [12] 中定理 5.1 的另一种证明，该定理表征了 Clifford-分圆门集中可综合的门。
• 该框架指出了一个关键开放问题：当门集被限制在 $G^*$ 等子集时，是否存在一个多项式时间算法，能从一个噪声近似中恢复编码酉算符的二进制字符串？