Universal computation with magic Hamiltonians

技术摘要：具有“魔法哈密顿量”的通用计算

问题陈述
在传统的量子计算理论中，通用性是由离散幺正门集（例如 Clifford 门加一个 $T$ 门）的性质定义的。然而，物理实验平台通常通过参数化哈密顿量的连续时间演化而非离散门进行操作。在许多设置中，某些控制操作（局部哈密顿量）是“廉价”或易于实现且保真度高的，而另一些则是“昂贵”或难以实现的。本文探讨了这样一个问题：是否可以通过将一小组局部、廉价的哈密顿量控制与单个“昂贵”或“魔法”哈密顿量相结合，来生成实现通用量子计算所需的完整李代数 $\mathfrak{su}(2^n)$。作者旨在在这一哈密顿量资源理论内，构建一个连续版的 Solovay-Kitaev 定理的模拟形式。

方法论
作者利用来自李代数理论、几何控制理论和算子代数的工具来分析生成幺正群的过程。

1. 李代数生成： 核心数学任务是确定由资源哈密顿量集合 $S$ 和一个魔法哈密顿量 $H$ 生成的李代数是否张成了整个空间 $\mathfrak{su}(2^n)$。这涉及计算生成元之间的迭代对易子 $[H_i, [H_j, \dots]]$。
2. 泡利串分析： 作者利用了泡利串（泡利矩阵的张量积）的特定性质，特别是它们的正交性和对易关系 $[P, Q] = 2\delta_{[P,Q]\neq 0}PQ$。他们定义了“PauLie”映射，用于在保持对易结构的同时关联不同的泡利生成元集合，从而允许他们对生成的李代数进行分类（例如 $\mathfrak{so}(2n)$、$\mathfrak{su}(2^n)$ 或直接和）。
3. 算法构建： 为了从代数生成转向物理实现，论文改编了 Chow-Rashevskii 定理。该定理提供了一种构造性方法（使用指数函数的“之字形”序列），通过在廉价资源和魔法哈密顿量之间交替，来近似生成李群中的任何元素。
4. 复杂度分析： 作者分析了“交替近似长度”，即为了以精度 $\epsilon$ 近似任意幺正算符，在资源集与魔法哈密顿量之间进行交替的最少次数。他们利用基于 Szarek 对李群覆盖数估计的结果，推导出了该长度的下界。

核心贡献与结果

• 魔法哈密顿量的定义： 论文正式定义：若由 $iS \cup \{iH\}$ 生成的李代数为 $\mathfrak{su}(2^n)$，则称哈密顿量 $H$ 相对于资源集 $S$ 是“魔法”的。
• 通用性的具体实例： 作者提供了关于资源集 $S$（由 1-体和 2-体局部泡利串组成）和实现通用性的魔法哈密顿量的具体表格。显著的例子包括：
  • 将局部控制 $X^{(2)} \cup Z^{(1)}$ 与单比特控制 $X_1 + Z_1Z_2$ 相结合。
  • 使用 Ising 哈密顿量 $J_{\gamma, \lambda} = \sum_j [(1+\gamma)X_jX_{j+1} + (1-\gamma)Y_jY_{j+1}] + \lambda \sum_j Z_j$ 作为魔法资源。他们证明，只要 $\lambda \neq 0$ 且 $\gamma \notin \{-1, 0, 1\}$，该哈密顿量对于由单比特全控制增强的近对易资源（如 $Z^{(2)}$）而言是魔法的。
• 计算中的相变： 论文识别了基于 Ising 哈密顿量参数的系统计算能力的“相变”。对于特定的 $\gamma$ 值（例如 $\gamma = \pm 1$），生成的李代数规模很小（多项式维度，例如 $\mathfrak{so}(n)$），无法实现通用性。然而，对于泛型的 $\gamma$，其维度会跃升至指数级大小（$\mathfrak{su}(2^n)$）。这反映了算子代数理论中关于 Ising 模型基态状态的相变现象。
• 算法实现： 作者提出了一个准算法程序来构造任何所需的幺正算符：
  1. 计算李代数 $L(S)$ 并证明 $L(S \cup \{H\}) = \mathfrak{su}(2^n)$。
  2. 将全代数的基元素表示为生成元的迭代对易子。
  3. 使用 Chow-Rashevskii “之字形”法来近似这些对易子。
  4. 使用 Trotter 化（Trotterization）来近似最终的幺正算符。
     他们提供了生成任何泡利串所需的对易子数量的显式界限（关于 $n$ 的多项式级别）。
• 近似的指数成本： 一个核心结果是，虽然可以实现通用性，但代价很高。作者证明了交替近似长度 $l_H(\epsilon|S)$ 随比特数 $n$ 呈指数级增长。具体而言，为了以精度 $\epsilon$ 近似任何幺正算符，应用 $H$ 的次数随 $n$ 指数级增长。这一指数级缩放是根据应用于幺正群维度的 Szarek 覆盖数结果得出的，而非基于 Solovay-Kitaev 定理本身（后者通常保证在固定维度下的多项式对数级门计数）。作者指出，这种行为符合 Solovay-Kitaev 定理关于高维空间中近似幺正算符复杂度的普遍直觉。

意义与主张
论文声称建立了用于通用量子计算的“哈密顿量资源理论”。其意义在于：

1. 桥接理论与实验： 它将抽象的基于门的通用性模型与物理实验（如超导跨子比特、中性原子）中使用的连续哈密顿量控制模型联系起来。
2. 表征资源权衡： 它证明了即使在局部控制受到严重限制的情况下（例如仅可用对易的 $Z$ 型相互作用），通过添加单个“魔法”哈密顿量也可以恢复通用性。
3. 量化成本： 论文谦逊地总结道，虽然这种方法使通用计算在理论上成为“可能”，但在实践中很可能是“昂贵”的。关于交替长度的指数下界表明，对于大规模的 $n$，实现任意幺正算符所需的时间与具有全局部控制的标准基于门的模型相比是难以承受的。
4. 算法可行性： 作者强调，生成李代数以及构造近似序列对于经典计算机来说是算法化且可计算的，即便最终的量子电路深度是指数级的。

该论文并非提出新的实验硬件，而是提供了一个理论框架和算法方案，用于利用现有的哈密顿量控制来实现通用性，并强调了控制局部性与计算时间之间的权衡。