散射中的非局域量子资源是否只取决于与纠缠门的距离？

单一距离决定主导阶资源

论文追问：弹性散射中产生的不同非局域量子资源，是否是量子复杂度的独立诊断量。其答案是：在纠缠能力为零的S矩阵附近，它们并非独立——包括纠缠能力和非局域魔法能力在内的一大类非局域资源函数，在整体归一化意义下等价。

主导阶依赖的不是相互作用细节，而是几何。资源随到最近非纠缠门的投影希尔伯特-施密特距离的平方缩放，因此所有几何信息为各资源共享，资源依赖坍缩为一个数，即作者称为chi_R的比例常数。

这比把资源在零点附近做泰勒展开是更强的结论。一般资源可能沿不同方向以不同速率增长；而这里非局域资源的Hessian矩阵与希尔伯特-施密特度规成正比，因此没有方向依赖。

任意自旋J的纠缠能力闭式解

此前工作针对J = 1/2、1和3/2的旋转不变S矩阵，用散射相移给出了纠缠能力。本文推导出对任意J和任意相移都成立的闭式解，把任意幺正操作的纠缠能力特化到旋转不变S矩阵。

S矩阵写成总自旋投影算符之和，S(delta) = 对mu求和 e^{2i delta_mu} P_mu，其中P_mu投影到自旋mu扇区，秩为r_mu = 2mu + 1，实数无量纲相移delta_mu按模pi定义。全部动力学信息都在相移中；投影算符由表示论固定。

纠缠能力是出射态线性熵在独立采样的纯初态自旋上的平均，初态取自CP^{d-1}上的Haar测度，局域qudit维度d = 2J + 1。利用一般幺正公式，作者通过重排矩阵R(S)和R(S SWAP)的奇异值来表达它；对旋转不变S矩阵，这些奇异值化为Wigner 6j符号的闭式求和。

恒等门与SWAP是仅有的零纠缠门

对本文考虑的旋转不变自旋S矩阵，非纠缠类被限制为恒等门和SWAP，允许相差一个整体相位。它们是仅有的两个纠缠能力为零的S矩阵，因此成为局域展开的天然参考点。

在S_0 = I或S_0 = SWAP附近按S(tau) = S_0 e^{i tau K}扰动，其中K = 对mu求和 epsilon_mu P_mu，最低阶纠缠能力为Ep(S) = 2 tau^2 / (d+1)^2 乘以Tr K-tilde^2，再加上tau^4阶项。相移依赖只通过Tr K-tilde^2进入。

同一区域还给出非局域魔法的精确表达式。把出射态最大Schmidt权重写为lambda_0 = 1 - eta，则非局域魔法为M_NL = 4 eta加高阶项，而线性熵为2 eta。因此主导阶上非局域魔法是线性熵的两倍，Haar平均的非局域魔法能力等于纠缠能力的两倍。

魔法与纠缠只差一个归一化

纠缠与魔法是量子复杂度的不同度量，魔法尤其与容错量子计算的复杂度相关。论文表明，在恒等门和SWAP附近，这一区别并不产生独立的主导阶行为：两种能力仅相差一个因子2。

非局域线性魔法定义为：在两个子系统上分别施加任意局域幺正操作，对线性稳定子魔法取最小，再在初态乘积态系综上平均。由于局域幺正操作保持最大Schmidt权重1 - eta，主导阶上最小化魔法等价于最大化与乘积稳定子的重叠，而这由最大Schmidt向量实现。

作者指出，当d为素数时，此前工作使用的乘积稳定子系综给出相同的主导阶结果，因为素数d下单qudit稳定子态构成2-design，独立乘积稳定子上的线性熵平均等于Haar平均。

资源生成的胡克定律类比

一般结果以定理形式给出。对一个非负资源函数，若它在恒等门附近二阶可微且在该处为零，并在SWAP、整体相位和局域幺正操作下不变，则旋转不变S矩阵在恒等门或SWAP附近的资源形式为R(S) = (1/2) chi_R ell^2 加ell^2阶项，其中ell是到S_0的投影希尔伯特-施密特距离。

证明两次使用Schur引理。旋转不变性迫使无迹生成元的偏迹为零，从而把相关算符空间限制为U(d) x U(d)的不可约伴随张量伴随表示。随后Hessian与局域群作用对易，由Schur引理必须与恒等成正比，给出B(X, Y) = chi_R Tr(XY)。

作者将其类比为胡克定律：ell扮演位移，chi_R类似刚度，R是储存的能量。所有几何都位于ell中，按构造为各资源共享，因此全部资源依赖都集中在单个数chi_R上。

投影距离而非原始相移差

相关距离是投影距离。两个S矩阵若只相差一个整体相位，则它们在希尔伯特空间上的作用等价，而纠缠能力和非局域魔法都在这种相位变化下不变。因此希尔伯特-施密特度规被修改，使整体相位成为零方向，把度规拉回到相对相位空间。

对J = 1，S矩阵空间由三个相移参数化，每个周期为pi，构成一个对面认同的立方体。去掉共同相位方向即投影到平面delta_0 + delta_1 + delta_2 = 0，该投影几何的Voronoi单位胞是一个对边认同的六边形。

坐标选择对看清几何很关键。在相对度规非正交的坐标中，距离与纠缠之间的联系被掩盖；而在相对希尔伯特-施密特度规正交的坐标中，等纠缠轮廓线在恒等门和SWAP附近是等半径圆。

正比关系只在局域成立

量子资源与希尔伯特-施密特距离的正比关系只在局域成立，超出ell^2阶即失效。论文用Voronoi单位胞内的J = 1纠缠能力说明这一点，其完整表达式是相对坐标x = 2(delta_1 - delta_0)和y = 2(delta_2 - delta_0)中六项三角函数的和。

该定理适用于恒等门或SWAP附近的旋转不变S矩阵，并假设s波不与更高分波耦合，从而S矩阵是幺正的。它是关于到最近非纠缠门距离的主导阶陈述，而非在整个S矩阵空间上成立的全局恒等式。

作者还指出，非局域魔法的定义包含对局域幺正变换的优化，而该优化只能在J = 1/2时精确执行，但普适性结果仍适用于所有J。

纠缠最小化不再具有特殊地位

这一领域的一个动机性想法是：自然界位于资源景观的无纠缠区域附近，这暗示量子资源的极值化是一条更深层的原理，可由此导出偶然对称性。本文对旋转不变散射修正了这一图景。

在非纠缠点附近，许多非局域资源成正比，因此压制纠缠会以相同因子压制每一种此类资源。在这一区域，纠缠最小化并无特殊之处：同一几何距离控制它们全部，资源选择只改变整体归一化chi_R。

论文将此视为算符中心视角而非态中心视角的价值。作者不再对每个初态计算线性熵、再对每个J在非线性态流形上积分，而是仅用SU(2)表示论特化算符公式，这也揭示了恒等门和SWAP附近的普适形式。

这一结果中最值得关注之处

最具决策相关性的特征是几何与归一化的分离。在恒等门和SWAP附近，投影希尔伯特-施密特距离的平方ell^2承载全部共享几何信息，而资源相关常数chi_R承载纠缠能力与非局域魔法能力各自特有的全部内容。因此在该区域比较资源，归结为比较它们的chi_R值。

第二个特征是该归约的边界。这一等价是ell^2的主导阶陈述，且只对恒等门和SWAP这两个非纠缠门附近、允许相差整体相位的旋转不变S矩阵成立。离开该邻域后，J = 1纠缠能力显示正比关系失效，因此不应把单一距离图景推广到整个相移胞。

对权衡不同量子资源是否为独立诊断量的读者，论文的答案是有条件的：在无资源门附近它们并不独立，旋转不变散射的主导资源生成能力具有共同几何来源，与相互作用细节无关。

本文引用的文献