[论文解读] Tilted Interferometry Realizes Universal Quantum Computation in the Ising TQFT without Overpasses

Michael Freedman, Chetan Nayak+1 more|arXiv (Cornell University)|Dec 5, 2005

Quantum and electron transport phenomena参考文献 2被引用 8

一句话总结

本文提出了一种在任意任何anyon理论（Ising topological quantum field theory, TQFT）中实现通用量子计算的方案，采用“倾斜干涉测量”——一种沿无法嵌入单个时间切片的时空环路测量拓扑荷的方法。通过避免使用过桥（overpasses）和手术（surgery），该方法利用移动任意子的干涉测量实现了通用门集，关键结果表明：$ g_1 $、$ g_2 $ 和 $ g_3 $ 门可通过在具有非平凡拓扑的时向环路上进行投影测量实现，从而在 2+1 维空间中实现无需拓扑手术的通用量子计算。

ABSTRACT

We show how a universal gate set for topological quantum computation in the Ising TQFT, the non-Abelian sector of the putative effective field theory of the $ν=5/2$ fractional quantum Hall state, can be implemented. This implementation does not require overpasses or surgery, unlike the construction of Bravyi and Kitaev, which we take as a starting point. However, it requires measurements of the topological charge around time-like loops encircling moving quasiaparticles, which require the ability to perform `tilted' interferometry measurements.

研究动机与目标

• 在 Ising TQFT 中构建一个通用量子门集，不依赖于过桥或手术，因为这些在物理的 2+1 维系统中不切实际。
• 解决先前构造（如 Bravyi-Kitaev）的局限性，即需要抽象的全局拓扑操作，与 $\mathbb{R}^2 \times \mathbb{R}^1$ 中的物理嵌入不兼容。
• 证明仅通过在非平面、时间倾斜的时空环路上进行干涉测量，即可实现基于拓扑荷投影的通用量子计算。
• 证明在特定拓扑条件下，通过在时空中可控地添加和移除 1-柄（1-handles），可以保持量子比特态不变，从而实现恒等操作。

提出的方法

• 该方法采用“倾斜干涉测量”——沿非可形变为单个时间切片的时空环路 $\gamma = \gamma_1 \cup \gamma_2^{-1}$ 进行测量，使得即使路径在空间切片中无法同时访问，也能实现路径之间的干涉。
• 通过在时空中闭合环路 $\gamma$ 上对拓扑荷（1、$\sigma$ 或 $\psi$）进行投影测量，将恒等算符分解为三个正交投影算符：$\widehat{1} \oplus \widehat{\sigma} \oplus \widehat{\psi}$，从而实现态制备与门操作。
• 该构造依赖于 Kauffman 模式关系与 TQFT 的拓扑不变性，以计算不同任意子类型下的干涉振幅，对 $x=1$、$x=\sigma$ 和 $x=\psi$ 得到不同结果。
• 对于门 $g_1$ 和 $g_2$，该方法要求在每个分量具有单个局部极大值或极小值的环路上进行干涉测量（即纯辫子的平台闭包），避免复杂纽结环路。
• 本文引入一种时空过程：在 3-流形中的穿孔之间添加并移除一个 1-柄（带状结构），该过程在支持于曲面上的量子比特上诱导恒等算符，其证明基于 TQFT 公理与粘合规则。
• 进一步表明，当带状结构被融合后再分离时，所得操作为一个正算子值测度（POVM），其对角形式为 $\alpha \cong \begin{pmatrix}1&0\\0&1\end{pmatrix} + \beta \cong \begin{pmatrix}1&0\\0&-1\end{pmatrix}$，分别对应于荷结果 $1$ 和 $\epsilon$。

实验结果

研究问题

• RQ1 能否在 Ising TQFT 中实现通用量子计算，而无需使用过桥或手术？这些操作在拓扑上非平凡且在物理上不切实际。
• RQ2 如何将干涉测量扩展至非平面、时间倾斜的时空环路，以实现非阿贝尔任意子辫式操作？
• RQ3 沿无法嵌入单个时间切片的环路测量拓扑荷的物理与拓扑意义是什么？
• RQ4 当在时空中添加和移除量子介质（如 FQHE 流体）时，能否保持量子比特的恒等操作？在何种条件下可以实现？
• RQ5 融合后分离任意子对结果量子操作的影响是什么？与可逆地添加一个带状结构相比有何不同？

主要发现

• 本文证明，Ising TQFT 中的通用门集 $\{g_1, g_2, g_3\}$ 可通过仅使用倾斜干涉测量在 2+1 维空间中实现，无需过桥或手术。
• 倾斜干涉测量通过测量具有非平凡时间依赖性的时空环路，使得原本在空间切片中无法同时访问的路径之间也能实现干涉，从而实现 $g_1$ 和 $g_2$ 门。
• 门 $g_1 = \begin{pmatrix}1&0\\0&e^{\pi i/4}\end{pmatrix}$ 通过沿环绕移动任意子的环路进行拓扑荷的投影测量实现，对 $\psi$ 荷结果与路径干涉有明确区分。
• 门 $g_2 = \begin{pmatrix}1&0&0&0\\0&1&0&0\\0&0&1&0\\0&0&0&-1\end{pmatrix}$ 通过在具有单个极值的环路上进行干涉测量实现，对应于对 $\psi$-子空间的受控相位翻转。
• 该构造表明，在时空中添加并移除一个 1-柄（带状结构）会在量子比特上诱导恒等算符，其证明基于 TQFT 粘合公理与典范同构。
• 当任意子被融合后再分离时，所得操作为一个 POVM，其对角形式为 $\alpha + \beta$，其中 $\alpha$ 和 $\beta$ 分别对应于荷结果 $1$ 和 $\epsilon$，表明删除操作是不可逆且非幺正的。