结构化纯态近似克隆需要多少份拷贝？

克隆样本复杂度究竟在数什么

不可克隆定理禁止把未知纯态的 N 份拷贝精确映射为 N+K 份拷贝的信道。更有用的是定量版本：若对承诺态族 S 中的每个态 ψ，信道输出与 ψ⊗(N+K) 的迹距离至多为 ε，则该信道是 N 到 N+K 份拷贝的 ε-近似克隆器。论文的核心量——克隆样本复杂度 N_min,S(ε)——问的是达到目标误差 ε 需要多少份输入拷贝 N。

这与单个固定信道的表现好坏是不同的问题，也不同于层析样本复杂度，后者问的是学习该态需要多少份拷贝。论文把 N_min,S(ε) 当作一个阈值问题的答案——对哪些 N 存在从 N 到 N+1 份拷贝的 ε-近似克隆器——并同时给出构造性上界，以及在可得之处适用于任意信道的下界。

基准是无结构的全体纯态族，其复杂度为 Θ(dim H/ε)。对 n 个 qudit 或 n 个费米模式，dim H 随 n 指数增长；对玻色子则甚至是无穷大，因此无结构答案恰恰在克隆最可能重要的多体场景中不可用。论文的问题是：把承诺限制到结构化态族 S ⊊ S_H 是否真能带来实质缩减。

基于学习的克隆在连续态族上失效

一个自然的捷径是先测量再制备：用 N 份输入拷贝学出态的估计 ψ̃，再输出 ψ̃⊗(N+K)。对 stabilizer 态，这一做法最近被证明是渐近最优的，在常数 ε 下 N_min,S = Θ(n)。论文发现这一捷径并不能推广。

决定性的性质是态族离散还是连续。对连续态族 S，最优估计 ψ̃ 带有误差 η ≃ N^(−1/2)，而把该估计取 N 次张量幂会把误差放大为常数 ε。因此，先测量再制备的克隆在任何 N 和 K 下都无法达到任意小的 ε。这一障碍在最简单的连续情形——单个 qubit 上的纯态——就已出现。

论文给出的对比很有启发性：无结构纯态的标准 N→N+1 克隆器在 N = Θ(1/ε) 时即为 ε-近似，但它并不具备先测量再制备的形式。所以失效是这一“先学后制备”策略特有的，而非近似克隆本身的问题，这也促使论文去寻找不经过态估计的克隆器。

分解轨道给出规范克隆器

论文的主要技术工具是一类它称为分解轨道（resolving orbits）的态族。态族 S 是群 G 在表示 φ 下的一个轨道；当 φ⊗N 限制在 N 份拷贝张成空间——即 {|ψ⟩⊗N : ψ ∈ S} 的张成空间——上不可约且平方可积时，称 S 是 N-分解的。平方可积性正是让构造在无穷维情形下仍有意义的原因：此时拷贝张成空间维数无穷，但形式次数 d_N 仍有限。

对这样的态族，ψ⊗N 在 S 上的积分给出 N 份拷贝张成空间上的恒等分解，即 ∫ ψ⊗N = (1/d_N) π_N，其中 π_N 是到该张成空间的投影。由此得到显式信道 T(ρ_N) = (d_N/d_(N+K)) π_(N+K) (ρ_N ⊗ I_K) π_(N+K)，论文称之为规范克隆器。其精度由 ε = 1 − f_(T,S) 决定，克隆保真度为 f_(T,S) = d_N/d_(N+K)。

该构造推广了此前的工作：全体纯态族本身就是一个分解轨道，其 N 份拷贝张成空间是对称子空间，从而重现了 Werner 的克隆器；该框架也覆盖了 Chiribella 与 Yang 处理过的广义相干态。对紧群 G 且 H 有限维时，规范克隆器也是最优的。论文指出，迹距离与保真度之间这一紧致关系 ε = 1 − f 是该信道特有的，而非普遍恒等式。

费米高斯态与 Slater 态降为多项式

费米高斯态构成 Pin(2n) 群的一个轨道，其 q 粒子子族——Slater 态——构成 U(n) 的一个轨道。用物理语言说，这些分别是 Bogoliubov 变换和单粒子变换。为应用规范克隆器，论文证明这些群在 N 份拷贝张成空间上不可约地作用。对 Slater 态，轨道的基态是费米海态，它是一个最高权向量；Cartan 乘积定理随之推出其 N 次张量幂也是最高权向量并生成不可约表示，其维数 d_N 由 Weyl 乘积公式给出。

一般高斯情形需要额外步骤，因为 Pin(2n) 不连通，最高权理论不能直接适用。一旦建立分解性质，样本复杂度就由保真度比 d_N/d_(N+1) 的渐近行为得出。所得最优克隆器给出：费米高斯态 N_min,S_ff(ε) = n(n−1)/(2ε) · (1 + O(ε))，q 粒子 Slater 态 N_min,S_ff,q(ε) = q(n−q)/ε · (1 + O(ε))，当 ε → 0，且对 n ≥ 2 和 1 ≤ q ≤ n−1 一致成立。

真正重要的比较是与无结构基准的对比：对费米子而言，这是随 n 从指数到多项式的缩减。Slater 态公式还带有结构性信息：q(n−q) 在 q = 0 和 q = n 处为零，在半填充处最大——所需拷贝数反映了粒子数离模式范围两端的距离。

玻色高斯态与最优性缺口

对玻色子，论文区分了两个态族。中心化纯高斯态 S_sq 的一阶矩为零，但压缩和模间关联任意；一般纯高斯态 S_bg 还带有未知的位移。中心化族被描述为 metaplectic 群的真空轨道，加入位移后得到 Jacobi 群轨道。拷贝张成空间上的不可约性来自真空是总光子数为零的唯一向量这一事实，形式次数和平方可积阈值则来自显式积分。

对中心化态，显式克隆器连同匹配的下界给出：对每个固定的 0 < ε < 1，N_min,S_sq(ε) = Θ_ε(n)——在固定误差下随模式数线性。对一般玻色高斯态，论文得到一个夹逼：0 < ε < 1 时 n/(−log(1−ε)) − 1 ≤ N_min,S_bg(ε) ≤ n(n+3)/(2ε) + 2n。上界是构造性的，下界适用于任意信道。

这两个结果之间的不对称正是读者不应混淆之处。中心化态的界在固定误差下其随 n 的线性依赖是最优的，但 n 与 ε 的精确联合依赖仍未解决。对完整高斯族，二次上界尚不知是否最优，能否改进为随 n 线性也仍未解决。论文明确说明，其玻色高斯克隆器在不对态能量作任何约束的情况下证明了多项式复杂度，但一般并非最优。这些群的最优性在范围上也有限：由于这些群不可均，构造只保证在协变信道中最优；而对相干态，位移群可均，规范克隆器全局最优，复杂度为 Θ(n/ε)。

流形维数决定标度行为

论文为这些态族为何大多落在随流形维数线性的行为上给出了统一解释。通过对高 N 下框架势的受控鞍点计算，它论证了对许多态族而言，克隆复杂度随态族流形维数线性。同一计算也解释了层析复杂度的类似标度，这正是两种样本复杂度在此同步变化的原因，尽管它们回答的是不同问题。

这一维数律是论文对各个公式背后“为什么”的回答，它被作为解释提出，而非覆盖所考虑每个态族的普遍定理。相位态族明确在该框架之外，而玻色高斯结果也表明，该律本身并不能确定 n 与 ε 的精确联合依赖。

相位态需要单独构造

qudit 相位态不在分解轨道框架覆盖范围内，因此论文为它们独立构造了一个具有最优克隆保真度的信道。分析在占据数基下进行，使用协方差约化到分块半定规划、带矩表示的平衡信道，以及直接评估保真度的性能算子。

最优性论证依赖平衡移位，论文证明了增加一份拷贝情形的均匀保真度界。技术界是显式的：当 N ≥ 2d 时，保真度偏差满足 (1 − 1/d)^(N+1) + 10^(−9)(d−1)/N² ≤ δ_(N,d) ≤ (1 − 1/d)^(N+1) + 30(d−1)/N²，反解这些界给出充分拷贝数 N = ⌈8(d log(1/δ) + √(d/δ))⌉。数值常数被声明为未优化。

一个有用的交叉验证出现在关于非分解轨道族的附录中：把一般轨道界应用于相位态，会重现与一般态克隆器相同的最坏情形下界，即二项式型维数之比 (N+d−1 选 N)/(N+K+d−1 选 N+K)。这把相位态结果置于与无结构情形同一类界中，而独立构造则提供了与之匹配的最优保真度。

这些复杂度适用于哪里、不适用于哪里

这篇论文的实际读法取决于读者的问题究竟涉及哪个态族，因为所报告的复杂度不可互换。费米高斯态和 Slater 态带有最优克隆器和以 n 与 ε 表示的闭式拷贝数。中心化玻色高斯态带有随 n 线性的拷贝数，它在固定误差下最优，但 n–ε 联合依赖尚未解决。一般玻色高斯态带有构造性二次上界和较弱的下界，最优性未知。qudit 相位态则带有由另一条路径构造的最优保真度信道。

有两条边界应当与这些数字同行。第一，先测量再制备的障碍意味着对连续态族，无论 N 或 K 多大，先学后制备都无法达到小 ε，因此读者不能替换为基于层析的工作流并期待同样的保证。第二，最优性主张并不统一：规范克隆器对紧群 G 且 H 有限维时最优，但对不可均的玻色高斯群，最优性只在协变信道中得到确立。

论文还指出，其结论对所考虑的全部态族都推广到 K > 1 的 N→N+K 克隆，并把自身定位为对近期 stabilizer 态克隆工作的补充——在那里基于学习的克隆是渐近最优的。因此论文给出的最清晰判断阈值不是单个数字，而是按态族划分：若承诺态族是费米高斯态或 Slater 态，拷贝数已知且最优；若是中心化玻色高斯态，随 n 的线性标度是可靠部分；若是一般玻色高斯态，应把二次界视为构造性而非紧的。

本文引用的文献