[论文解读] More on Optical Holonomic Quantum Computer

Kazuyuki Fujii|ArXiv.org|May 31, 2000

Molecular spectroscopy and chirality参考文献 14被引用 8

一句话总结

本文通过基于李代数 $su(n+1)$ 和 $su(n,1)$ 的幺正相干算符构建量子计算丛，将光学幺正量子计算推广至更高维情形，扩展了先前针对 $su(2)$ 和 $su(1,1)$ 的研究。对于 $n=2$ 的情形，明确计算了非交换贝里连接与曲率，为使用高维李群的几何量子计算提供了数学基础。

ABSTRACT

We in this paper consider a further generalization of the (optical) holonomic quantum computation proposed by Zanardi and Rasetti (quant-ph/9904011), and reinforced by Fujii (quant-ph/9910069) and Pachos and Chountasis (quant-ph/9912093). We construct a quantum computational bundle on some parameter space, and calculate non-abelian Berry connections and curvatures explicitly in the special cases. Our main tool is unitary coherent operators based on Lie algebras su(n+1) and su(n,1), where the case of n = 1 is the previous one.

研究动机与目标

• 将赞纳迪和拉塞蒂提出的光学幺正量子计算模型从 $su(2)$ 和 $su(1,1)$ 扩展至更大的李代数 $su(n+1)$ 和 $su(n,1)$，以实现推广。
• 通过规范理论概念（如非交换贝里连接与曲率）为几何量子计算提供数学上的强化支持。
• 在 $n=2$ 情形下显式计算非交换贝里连接与曲率，建立在 $n=1$ 的先前结果之上。
• 基于与 $su(n+1)$ 和 $su(n,1)$ 相关的相干态，建立高维量子计算丛的框架。
• 为未来研究在 $n=2$ 以上情形下的曲率计算与可扩展性奠定基础。

提出的方法

• 利用基于李代数 $su(n+1)$ 和 $su(n,1)$ 的幺正相干算符，在参数空间上构建量子计算丛。
• 利用施蒂费尔流形与格拉斯曼流形，定义主 $U(m)$ 丛及其在参数流形 $\mathcal{M}$ 上的伴随向量丛。
• 应用简并哈密顿系统中绝热演化的概念，通过将幺正算符投影到简并子空间，定义非交换贝里连接。
• 采用基于 $su(n+1)$ 和 $su(n,1)$ 的相干态表示，将连接形式表示为参数 $\zeta_1, \zeta_2$ 及其模长的函数。
• 利用幺正算符 $V$，推导在变换后哈密顿量下真空态中数算符 $a_i^\dagger a_j$ 的期望值的显式表达式。
• 通过 $V^{-1}a_i^\dagger a_j V$ 的推导矩阵表达式，对 $n=2$ 情形重构连接形式 $A_{\xi_j}, A_{\zeta_j}$，并进行双曲函数与复参数的详细代数运算。

实验结果

研究问题

• RQ1 如何将光学幺正量子计算模型从 $su(2)$ 和 $su(1,1)$ 推广至更高秩李代数，如 $su(n+1)$ 和 $su(n,1)$？
• RQ2 在该推广框架下，$n=2$ 情形的非交换贝里连接的显式形式是什么？
• RQ3 能否系统性地计算更高 $n$ 情形下的曲率形式？其结构上的挑战是什么？
• RQ4 基于 $su(n+1)$ 和 $su(n,1)$ 的相干态如何促进具有非交换几何相位的量子计算丛的构建？
• RQ5 参数空间 $\mathcal{M}$ 在支持具有环境噪声鲁棒性的良好定义的幺正量子计算模型中起到什么作用？

主要发现

• 本文通过基于 $su(3)$ 和 $su(2,1)$ 的幺正相干算符，显式计算了 $n=2$ 情形下的非交换贝里连接形式，扩展了此前针对 $n=1$ 的结果。
• $V^{-1}a_i^\dagger a_j V$ 的矩阵表达式以 $|\zeta_1|$ 和 $|\zeta_2|$ 的双曲函数表示，其系数包含 $M_{ij}$、$N_{ij}$ 以及 $M(8,\mathbb{C})$ 中的单位矩阵 $E$。
• $j=1,2$ 的连接形式 $A_{\xi_j}$ 和 $A_{\zeta_j}$ 完全由变换后真空态中数算符的期望值决定。
• 对于 $n \geq 3$，代数表达式的复杂性使得连接与曲率的显式计算不可行，表明在高维推广中存在显著挑战。
• 曲率形式的计算被留作未来工作的开放问题，作者指出当 $n \geq 3$ 时计算将变得难以处理。
• 该框架为使用非交换几何单子的几何量子计算提供了数学上严谨的基础，其潜在的拓扑鲁棒性使其具备容错潜力。