[论文解读] Generators and relations for the group $U_4(\mathbb{Z}[1/\sqrt{2},i])$

Seth Eveson Murray Greylyn|arXiv (Cornell University)|Aug 22, 2014

Quantum Computing Algorithms and Architecture参考文献 6被引用 4

一句话总结

本文提出了单位酉群 $U_4(\mathbb{Z}[1/\sqrt{2}, i])$ 的完整生成元与关系集，其动机源于量子计算中的精确综合。通过在环 $\mathbb{Z}[1/\sqrt{2}, i]$ 上对 Giles-Selinger 算法进行修改，作者建立了该群的有限表示，从而实现了将酉矩阵精确分解为 Clifford+T 门的组合，该方法在容错量子线路综合中具有应用价值。

ABSTRACT

We give a presentation by generators and relations of the group $U_4(\mathbb{Z}[1/\sqrt{2},i])$ of unitary $4 imes 4$ matrices with entries in the ring $\mathbb{Z}[1/\sqrt{2},i]$. This is motivated by the problem of exact synthesis for the Clifford+T gate set in quantum computation.

研究动机与目标

• 提供单位酉群 $U_4(\mathbb{Z}[1/\sqrt{2}, i])$ 的生成元与关系的有限表示。
• 支持使用 Clifford+T 门集对量子线路进行精确综合。
• 将 Giles-Selinger 精确综合算法扩展至包含 $1/\sqrt{2}$ 和 $i$ 的环 $\mathbb{Z}[1/\sqrt{2}, i]$。
• 证明集合 $\{X_{[\alpha,\beta]}, H_{[\alpha,\beta]}, \omega_{[\alpha]} \mid 1 \leq \alpha < \beta \leq 4\}$ 生成 $U_4(\mathbb{Z}[1/\sqrt{2}, i])$。
• 证明 $U_4(\mathbb{Z}[1/\sqrt{2}, i])$ 中的每个矩阵均可分解为指定类型的单量子比特与双量子比特层级矩阵的乘积。

提出的方法

• 将 Giles-Selinger 精确综合算法适配至环 $\mathbb{Z}[1/\sqrt{2}, i]$，该环通过将 $\sqrt{2}$ 可逆化而扩展自 $\mathbb{Z}[\omega]$。
• 使用生成元 $X_{[\alpha,\beta]}$、$H_{[\alpha,\beta]}$ 和 $\omega_{[\alpha]}$ 分别对应量子比特对与单量子比特。
• 利用 $\mathbb{Z}[1/\sqrt{2}, i]$ 是欧几里得整环的性质，实现酉矩阵的算法化分解。
• 应用修改后的 Giles-Selinger 算法，通过基本酉操作将矩阵约化为单位矩阵。
• 利用代数恒等式如 $\sqrt{2} = \omega - \omega^3$、$i = \omega^2$ 和 $2 = \delta^4 \cdot \omega^{-2} \cdot \lambda^{-2}$ 在 $\mathbb{Z}[\omega]$ 中成立。
• 通过修改后的算法作为构造性证明，建立该群由指定集合生成。

实验结果

研究问题

• RQ1 群 $U_4(\mathbb{Z}[1/\sqrt{2}, i])$ 的有限表示（生成元与关系）是什么？
• RQ2 Giles-Selinger 精确综合算法能否被适配至环 $\mathbb{Z}[1/\sqrt{2}, i]$？
• RQ3 算符 $X_{[\alpha,\beta]}$、$H_{[\alpha,\beta]}$ 和 $\omega_{[\alpha]}$ 是否能生成 $U_4(\mathbb{Z}[1/\sqrt{2}, i])$？
• RQ4 如何将 $\mathbb{Z}[1/\sqrt{2}, i]$ 上的酉矩阵分解为基本单量子比特与双量子比特层级矩阵的乘积？
• RQ5 在此背景下，Clifford+T 电路精确综合背后的代数结构是什么？

主要发现

• 群 $U_4(\mathbb{Z}[1/\sqrt{2}, i])$ 允许由集合 $\{X_{[\alpha,\beta]}, H_{[\alpha,\beta]}, \omega_{[\alpha]} \mid 1 \leq \alpha < \beta \leq 4\}$ 生成的有限表示。
• 修改后的 Giles-Selinger 算法成功地将 $U_4(\mathbb{Z}[1/\sqrt{2}, i])$ 中的任意矩阵分解为指定生成元的乘积。
• 环 $\mathbb{Z}[1/\sqrt{2}, i]$ 是欧几里得整环，从而支持酉矩阵的有效算法约化。
• 恒等式 $2 = \delta^4 \cdot \omega^{-2} \cdot \lambda^{-2}$ 在 $\mathbb{Z}[\omega]$ 中成立，其中 $\delta = 1 + \omega$，$\lambda = 1 + \sqrt{2}$，且 $\omega = e^{i\pi/4}$。
• 生成元 $X$、$H$ 和 $\omega$ 分别对应于泡利-X 门、哈达玛门和相位门，其扩展至环 $\mathbb{Z}[1/\sqrt{2}, i]$。
• 该证明表明 $U_4(\mathbb{Z}[1/\sqrt{2}, i])$ 中的每个矩阵均为指定形式的单量子比特与双量子比特层级矩阵的乘积，从而确认了群的结构。