Arithmetic Depth, Minimal Gate Alphabets, and Exact Program-State Resources for Single-Qubit Dyadic Programs

技术摘要：单比特二进位程序中算术深度、最小门字母表与精确程序态资源的关联

1. 问题陈述

容错量子编程通常通过两种截然不同的视角来处理非 Clifford 计算：精确合成（在固定的门字母表，如 Clifford+T，上构建电路）以及魔态资源理论（通过消耗特定的量子态来注入非 Clifford 门）。虽然这些领域通常被分开研究，但目前缺乏一个统一的框架，能够同时赋予以下属性单一的资源效应（resource effect）：

1. 源语法的静态属性。
2. 物理资源的下界。
3. 对编译所需最小门字母表的精确预测。

特别是在二进位 Clifford-分圆并集（由 Clifford 门和旋转 $U_z(\pi/2^D)$ 生成的幺正变换）内的单比特程序中，底层数域的算术深度如何与最小门字母表深度以及所需资源态（程序态）的最小深度相关联，目前尚不明确。此外，现有的资源单调量（例如稳定器零度/stabilizer nullity）通常仅提供标量下界，无法捕捉用于精确合成所需的特定代数结构。

2. 研究方法

本文通过整合三个不同的理论组成部分，开发了一种统一的资源语义：

• 二进位迷失态语义（Dyadic Mist-State Semantics）： 作者利用了一种“归一化迷失态”形式化方法，其中程序态是通过基态的重复平均（测地中点）生成的。他们建立，具有坐标 $m/2^D$ 的原始二进位源态具有最小的“归一化中点深度” $D$，并且在 Clifford 等价意义下等价于旋转 $U_z(m\pi/2^D)$ 的标准相位程序态。
• 稳定器算术封闭性（Stabilizer Arithmetic Closure）： 作者没有使用标量魔力单调量，而是引入了一个场论不变量。他们证明，有限自适应稳定器协议（使用 Clifford 幺正变换、Pauli 测量和经典前馈）在输入资源态的 Pauli 期望值所生成的数域上是算术封闭的。因此，此类协议无法生成一个其 Pauli 转移矩阵项落在该资源生成场之外的通道。
• 分圆塔中的相对下降（Relative Descent in Cyclotomic Towers）： 核心数学创新是一个相对交集定理。通过结合分母指数规范形式（来自 Forest 等人的研究）与针对实分圆塔的新型“偶分母引理”，作者证明了在二进位可合成并集中，降低算术场深度等价于降低门字母表深度。

3. 核心贡献与结果

A. 深度的相等性
核心结果确立了对于二进位 Clifford-分圆并集中任何非 Clifford 通道 $U$，以下三个先验不同的量之间的相等关系：

1. 场深度 ($F_{depth}$)：包含 $U$ 的 Bloch 矩阵的最小实分圆域 $K_D = \mathbb{Q}(2\cos(\pi/2^D))$。
2. 字母表深度 ($A_{depth}$)：使得 $U$ 属于由 Clifford 门和 $U_z(\pi/2^D)$ 生成的投影群 $\hat{G}_D$ 的最小 $D$。
3. 资源深度 ($R_{depth}$)：通过有限自适应稳定器协议精确实现 $U$ 所需的二进位程序态的最小深度 $D$。

论文证明了：
$$F_{depth}(U) = A_{depth}(U) = R_{depth}(U)$$

B. 相对交集定理
作者证明了对于嵌套的二进位塔 $\hat{G}_D$ 及其相关的域 $K_D$：
$$\hat{G}_D \cap SO(3, K_d) = \hat{G}_d \quad \text{对于 } 1 \le d \le D$$
该定理表明，如果一个在层级 $D$ 可合成的幺正变换其所有 Bloch 矩阵项都属于较浅的场 $K_d$，那么它必然可以使用较浅的门字母表 $\hat{G}_d$ 来合成。这依赖于一个奇偶性引理，该引理表明属于基场 $K_{D-1}$ 的元素在扩展 $K_D$ 的生成元 $\beta_D$ 中不能具有奇数约化分母指数。

C. 字典序最优资源效应
结合深度相等性与 Forest 等人的固定字母表最优合成结果，本文定义了一个精确二进位资源效应：
$$QEff(U) = (D^*, T_{2D^*}(U))$$
其中 $D^*$ 是共同的最小深度，$T_{2D^*}(U)$ 是在该深度下所需原始旋转的最小数量。该对是字典序最优的：不存在使用更小深度 $D$ 的精确实现；而在深度为 $D^*$ 的实现中，没有任何实现使用的原始旋转比 $T_{2D^*}(U)$ 更少。

D. 操作障碍
论文证明，有限自适应稳定器处理无法扩大由资源态 Pauli 期望值生成的场。因此，来自深度 $d < D^*$ 的有限集合资源态无法精确实现深度为 $D^*$ 的目标，无论使用多少副本。这为精确合成提供了一个精确的算术障碍，该障碍对资源的数量不敏感，仅取决于其代数深度。

4. 意义与主张

本文声称提供了一种静态资源效应，它是精确的、可操作的，并且对于那些落在有限 Clifford 层级之外（在这些层级中，门层级成员关系不具组合性）的程序也具有意义。

• 统一性： 它架起了算术合成（数域）与操作资源理论（程序态）之间的桥梁，表明它们受同一个不变量支配。
• 精确性： 不同于近似合成界限，该框架为精确实现提供了精确下界。
• 编译器优化： 该结果支持一种编译流水线，其中最小门字母表和资源深度可以通过计算 Bloch 矩阵的场深度来确定，从而消除了搜索较浅门字母表的过程。
• 范围限制： 作者明确指出，该结果仅适用于声明的“稳定器加二进位程序态”模型下的单比特二进位程序。他们并未声称场深度衡量了“魔力”的量（以标量形式），也未声称这些相等关系对于任意多比特资源或近似合成成立。

总而言之，本文确立了对于单比特二进位程序，Bloch 矩阵的算术深度是决定其最小门字母表和实现所需的最小资源态深度的精确因素，从而产生了一个字典序最优的资源签名。