A three-eighths upper bound on the stabilizer-rank exponent of face-center magic states

技术摘要：面心魔术态稳定器秩指数的三分之二上界

问题陈述
本文探讨了包含非稳定器资源（即“魔术态”）的量子电路在经典模拟时的计算成本。此类模拟的效率由精确稳定器秩（exact stabilizer rank）决定，记作 $\chi(|\psi\rangle)$，它是指将目标态 $|\psi\rangle$ 分解为最少数量的纯稳定器态所需的项数。对于 $m$ 个复制的比特面心魔术态 $|T\rangle$，其渐近成本由指数 $\gamma_T$ 表征：
$$\gamma_T = \lim_{m\to\infty} \frac{1}{m} \log_2 \chi(|T\rangle^{\otimes m})$$
在此工作之前，已知的最佳构造性上界为 $\gamma_T \le \log_2(3)/4 \approx 0.39624$，该结果源自 Bravyi–Kitaev 协议。本研究的目标是寻找一种显式构造，以降低该指数，从而改进理论上的模拟复杂度上界。

方法论
作者采用了一种基于“三字母稳定器字典”（three-letter stabilizer dictionary）的稳定器分解构造方法。该方法分为三个截然不同的阶段：

1. 字典构造：
   作者为 $V = \mathbb{C}^2$ 定义了一个基 $\{a, b\}$，并引入向量 $v = a + zb$，其中$z = (1+i\sqrt{3})/2$。定义一个线性映射$L: V \to (\mathbb{C}^2)^{\otimes 2}$，使得$v$映射到与面心魔术态$|T\rangle$成比例的状态。因此，寻找$v^{\otimes k}$对$r$ 个“单词”（basis vectors 的张量积）的分解，即可得到 $|T\rangle^{\otimes 2k}$ 最多包含 $r$ 项的稳定器分解。

2. 对称胶合（12-复制见证者）：
   构造始于一个已知的 $v^{\otimes 5}$ 的 15 项恒等式。定义一个线性映射 $\tau$，满足 $\tau^3 = I$ 且 $\tau(v) = -zv$。通过将该映射的张量幂（$S = \tau^{\otimes 5}$）应用于初始恒等式，生成了第二个 15 项展开式。
   这两个展开式的支撑集（supports）恰好在六个单词上重叠。这些重叠单词上的系数满足特定的相位关系（$\alpha_w = z\beta_w$）。通过向各自的展开式中添加基向量 $a$ 和 $zb$，并利用恒等式$c = a + b$，作者将这两个 15 项恒等式“胶合”在一起。这一过程替换了重叠项，从而得到了$v^{\otimes 6}$的单个 **24 项恒等式**。由于映射$L$将$v^{\otimes k}$转换为物理态在$2k$ 个比特上的表示，因此这个 6-复制的代数恒等式对应于十二个物理魔术态复制下的 24 项见证者（witness）。

3. 八分支替换（递归）：
   该 24 项恒等式按其第一个字母（$a, b, c$）进行分组，形成三组各包含八个单词的组。作者定义了一个线性映射 $E: V \to V^{\otimes 5}$，将单个字母展开为八个不同的单词。至关重要的是，由于这些单词的后缀是互不相同的，因此对任何 $v^{\otimes k}$ 的分解应用 $E$ 到其第一个位置，可以产生 $8r$ 个互不冲突或抵消的 $v^{\otimes (k+4)}$ 项。
   这建立了递推关系 $R_{k+4} \le 8R_k$，其中 $R_k$ 是 $v^{\otimes k}$ 的项数。

主要贡献与结果

• 显式分解： 本文提供了一种显式构造，证明对于每一个整数 $j \ge 0$，状态 $|T\rangle^{\otimes (4+8j)}$ 可以被分解为恰好 $3 \cdot 8^j$ 个不同的、非零的稳定器求和项。
• 改进的上界： 该构造导出了界限：
  $$\chi(|T\rangle^{\otimes m}) \le 3 \cdot 8^{\lceil (m-4)/8 \rceil} = O(2^{3m/8})$$
  因此，指数被限制在：
  $$\gamma_T \le \frac{3}{8} = 0.375$$
• 见证者的优化： 作者指出，虽然仅使用十二个复制下的 24 项见证者（即 $v^{\otimes 6}$）本身会产生 $\log_2(24)/12 \approx 0.38208$ 的指数，但利用八项分组的递归替换策略实现了更优的指数 $\log_2(8)/8 = 3/8$。

意义与声明
本文声称将 $\gamma_T$ 的已知构造性上界从 $\approx 0.39624$ 降低到了 $0.375$。作者明确说明了该结果的局限性与范围：

• 该结果并未确定最优指数（真实的下界仍然未知）。
• 该结果并未建立关于 $\chi$ 的下界。
• 该结果并未保证特定的模拟运行时间，因为该界限是渐近性的且是构造性的。
• 该构造不区分 T 型或 H 型轨道指数。
• 本文留下了关于“对称胶合”是否能改进其他魔术态轨道界限的问题。

该工作依赖于两个核心思想：“字典对称性”通过胶合恒等式来创建 24 项见证者，以及“替换”机制通过利用该见证者的平衡结构来实现 $3/8$ 的指数。作者指出，上述两步均不假设所构造的分解是最优的。