[论文解读] Cartan Decomposition of SU(2^n), Constructive Controllability of Spin systems and Universal Quantum Computing

Navin Khaneja, Steffen J. Glaser|ArXiv.org|Oct 29, 2000

Quantum Computing Algorithms and Architecture参考文献 10被引用 34

一句话总结

本文提出了一种基于 SU(2^n) 的 Cartan 分解的构造性方法，用于仅使用单量子比特和两量子比特量子门来分解任意 n 量子比特的酉变换。通过在对称空间 SU(2^n)/[SU(2^{n-1})⊗SU(2^{n-1})⊗U(1)] 上递归应用该分解，该方法为通用量子计算和 NMR 量子控制提供了几何化且显式的脉冲序列设计，对自旋系统中的时间最优性和可控性具有重要意义。

ABSTRACT

In this paper we provide an explicit parameterization of arbitrary unitary transformation acting on n qubits, in terms of one and two qubit quantum gates. The construction is based on successive Cartan decompositions of the semi-simple Lie group, SU(2^n). The decomposition highlights the geometric aspects of building an arbitrary unitary transformation out of quantum gates and makes explicit the choice of pulse sequences for the implementation of arbitrary unitary transformation on $n coupled spins. Finally we make observations on the optimality of the design procedure.

研究动机与目标

• 提供一种构造性、几何化的方法，仅使用单量子比特和两量子比特量子门来合成任意 n 量子比特的酉变换。
• 建立 SU(2^n) 的几何结构与 NMR 量子计算中时间最优脉冲序列设计之间的联系。
• 通过递归 Cartan 分解，将 SU(2) 的欧拉角分解推广至更高维的 SU(2^n)。
• 在不存在直接 n 量子比特相互作用的情况下，证明线性耦合自旋网络中的构造性可控性。
• 为未来在多量子比特量子系统中实现时间最优控制和参数化变换的进一步研究奠定基础。

提出的方法

• 该方法在黎曼对称空间 SU(2^n)/[SU(2^{n-1})⊗SU(2^{n-1})⊗U(1)] 上应用 SU(2^n) 的 Cartan 分解，将任意 W ∈ SU(2^n) 分解为 W = K₁AK₂。
• K₁ 和 K₂ 属于 SU(2^{n-1})⊗SU(2^{n-1})⊗U(1)，分别表示局部操作和纠缠操作，而 A 位于该对称空间的 Cartan 子代数 h 的指数映射中。
• 通过递归应用该分解于 K₁ 和 K₂，将问题简化为一系列单量子比特和两量子比特操作的序列。
• 该构造基于 SU(2^n) 的李群结构，利用 SU(4) 门的生成元可张成 SU(2^n) 的李代数这一事实。
• 从分解中推导出脉冲序列，其时间演化对应于 Cartan 子代数元素的哈密顿量。
• 在 NMR 系统中通过验证表明，即使在仅存在最近邻相互作用的线性耦合自旋链中，仅使用局部脉冲和两自旋耦合，也能合成任意酉传播算符。

实验结果

研究问题

• RQ1 是否可以仅使用单量子比特和两量子比特量子门显式构造任意 n 量子比特的酉变换？
• RQ2 如何利用 SU(2^n) 的几何结构来设计时间最优且构造性的脉冲序列以实现量子控制？
• RQ3 黎曼对称空间 SU(2^n)/[SU(2^{n-1})⊗SU(2^{n-1})⊗U(1)] 在实现多量子比特门递归分解中起到什么作用？
• RQ4 在没有直接 n 量子比特相互作用的耦合自旋网络中，构造性可控性在何种条件下可实现？
• RQ5 不同 SU(2^n) 的参数化形式之间如何相互转换，特别是欧拉角类参数化与基于 Cartan 的参数化之间？

主要发现

• 本文建立了 SU(2^n) 的构造性、递归 Cartan 分解，将任意酉算符表示为单量子比特和两量子比特操作的乘积。
• 该分解揭示了量子门设计的几何框架，其中对称空间结构使得脉冲序列的系统性合成成为可能。
• 证明了任意连通耦合自旋网络的构造性可控性，即使在仅允许最近邻相互作用的线性耦合链中亦成立。
• 该方法提供了一种通用算法，仅使用局部单量子比特门和两量子比特纠缠门即可实现任意 n 量子比特酉变换。
• 该方法在两量子比特系统中为时间最优，但将时间最优性推广至更大自旋系统仍需在几何控制理论方面进一步发展。
• 该框架可实现 NMR 量子计算中脉冲序列的显式设计，以及多维谱学中相干转移的实现，具有实际意义，有助于最小化退相干。