固定门量子拟设的动力学李代数如何计算？

固定门不是无穷小方向

动力学李代数（DLA）刻画参数化量子电路在可训练参数变化时能够移动的无穷小方向。对于由 e^{-iθH} 这类连续参数化门构成的电路，DLA 是斜厄米生成元 iH 的李闭包，即包含这些生成元、并对交换子封闭的最小实向量空间。电路的可表达性、可控性、可训练性以及损失景观的几何，都取决于这个代数包含哪些方向。

硬件高效拟设很少符合这一模板。它们通常把局部的可训练旋转门与固定的纠缠门交替排列，例如受控X（CX）或受控Z（CZ）门。固定门总可以写成 U = e^{-iK}，但这种写法并不意味着 iK 是一个可用方向：该架构从未提供带可调 t 的连续族 e^{-itK}。把 iK 放进生成元集合，描述的就是另一个控制系统，而不是实际运行的电路。

论文还说明了这不是咬文嚼字。此前的工作把固定 CZ 门当作独立生成元；一个反例表明，这样做可能得到不能正确反映电路动力学的 DLA，原作者随后更正，说明其推导适用于任意角度的受控Z旋转，而非固定 CZ 门。另一个方向的捷径同样行不通：直接丢掉固定门会完全失去它们的作用，因为每个固定块都会变换穿过它的可训练生成元。

共轭把固定块变成有效生成元

论文的核心操作是改写电路。先作用固定酉算子 U、再作用可训练门，等价于用 U 对该门做共轭，因此可以把所有固定块推到矩阵乘积的一侧，代价是变换它们所穿过的可训练生成元。只有一层时什么都不变，可用生成元就是原始集合。两层时，第二层的生成元变为 Ad_U(H) = U†HU；三层时第三层变为 Ad²_U(H)，依此类推。

由此得到论文的定义。给定单个可训练块的初始生成元集合 G₀ 和每层重复的固定块 U，深度 L 内可用的可训练方向是 Ad^j_U(G₀)（j 从 0 到 L−1）的并集，深度 L 的 DLA 就是这个并集的李闭包。该构造假设固定块属于Clifford群、每层完全相同，并且每层复用同一生成元集合、参数值各自独立选取。

一个算例支持这一定义。RZZ(θ) 门的生成元是 Z⊗Z。把它分解为夹着 RZ 旋转的 CX 门后，参数化门被两侧的 CX 共轭，有效生成元仍然是 Z⊗Z，因此该分解保持了 DLA。定义还原了原门本应给出的结果，而不是造出一个新的代数。

Clifford块让生成元序列重复

随深度变化的这些代数构成一个过滤：每增加一层只可能增加方向，所以维数不会下降；又因为所在代数是有限维的，这个序列最终必然停止增长。论文把停止增长的最小深度称为李饱和深度。它明确不是过参数化阈值；通常需要更多层才能真正探索所有方向，而过参数化的一个必要条件是总参数数 KL 至少等于 DLA 的维数。

当固定块属于Clifford群、生成元为Pauli串时，这个序列保证会重复。Clifford共轭把Pauli算子映射为相差一个相位的Pauli算子，而模去相位的Pauli串构成有限集合，所以用同一个块反复共轭，最终必然回到起始等价类。超过该深度后不再出现新的有效方向。对某个特定生成元集合而言，其周期可能短于该块的全局周期。

实用价值在于周期可以算出来，而不必靠模拟。把Pauli等价类编码为 F₂ 上的二进制向量后，Clifford共轭就变成乘以一个可逆二进制矩阵 M_U，全局共轭周期 T_U 就是该矩阵的阶。生成元集合的最小公共周期整除 T_U。论文给出了简化矩阵形式：只由CX门构成的块，周期归结为一个 n×n 块的阶；只由CZ门构成的块，任何非平凡块的阶都是二。

CX环拟设给出显式周期

论文把框架应用到一个拟设：n 个量子比特上的 RY 旋转，加上一个固定的CX门环。由于该块由CX门构成，其二进制矩阵是分块对角的，共轭周期等于描述X分量作用的 n×n 矩阵 B_n 的阶。论文显式推导了 B_n，并证明其特征多项式在 F₂ 上为 χ_n = (x+1)^n + x。

周期随后由该多项式的因式分解得到。论文证明最小多项式与特征多项式相同，因此周期是与各不同不可约因子对应的乘法阶的最小公倍数。n = 2 时多项式 x² + x + 1 不可约，周期为 3；n = 3 时 x³ + x² + 1 不可约，周期为 7。n = 5 时多项式分解为 (x² + x + 1)(x³ + x + 1)，周期为 lcm(3,7) = 21。

从 n = 2 到 n = 8 的结果表区分了两个容易混淆的量。共轭周期 T_U 增长很快，n = 7 时达到 127，n = 8 时为 63；但李饱和深度小得多：论文报告 n 为 3 的倍数时为 4，否则为 2，并说明这是检验所得而非证明。论文还报告，在检验到的 n ≤ 8 范围内，DLA 都是 so(2^n)，维数为 2^{n−1}(2^n − 1)，并认为对所有 n 很可能成立。

饱和深度不等于所需深度

这一区分很重要，因为两个深度回答的是不同问题。李饱和深度说明代数何时停止增长；过参数化条件说明需要多少参数才能填满它。每层有 K = n 个参数时，必要条件 KL ≥ dim g 就变成对深度的下界 2^{n−1}(2^n − 1)/n。这对应至少 3 层（n = 2）、10 层（n = 3）、30 层（n = 4）和 4080 层（n = 8）。

论文还把代数的规模与可训练性联系起来。在引用先前工作的假设下，代价函数的方差与 DLA 维数成反比。由于这里的维数按 O(4^n) 增长，该拟设在足够深的区间内容易出现贫瘠高原。让代数具有表达力的同一指数级维数，也使所需深度随量子比特数迅速增长。

方法覆盖Clifford块与Pauli生成元

该构造针对齐次固定块拟设：每层重复同一个固定酉算子，可训练块复用同一生成元集合，且固定块属于Clifford群。周期结果依赖生成元为Pauli串，这使共轭后的生成元仍留在模去相位的有限Pauli群内。把方法推广到非Clifford固定门被列为未来工作，而不是已有结果。

论文还提出了一个并未执行的比较：对参数化部分相同、固定Clifford块不同的两个电路做基准测试，一个由CX门构成，一个由CZ门构成，看纠缠块的选择如何改变有效生成元和所得代数。这只是论文陈述的展望，因此论文并未确定哪种块更优。

在其适用范围内，论文的重点是改变计算流程，而不是提出新电路。对于由可训练Pauli旋转和重复固定Clifford块构成的拟设，DLA 应当由共轭生成元构成的有限集合建立，周期取自二进制辛矩阵的阶，而不是把固定门本身当作生成元。CX环的例子说明了为什么两个数都需要：饱和深度只有 2 或 4，而所需深度在 n = 8 时达到 4080 层。

本文引用的文献