有限群不对称性如何与其他量子资源理论结合？

两种约束叠加是否带来额外代价

量子资源理论研究在允许操作受到限制时，一个量子态能被转换成什么，其核心操作量是渐近转换率：在处理许多独立副本并允许误差趋于零时，每份输入态能产生多少份目标态。现实场景很少只施加一种限制，因此这篇论文追问：在另一种资源理论之上再施加有限群对称性约束，是否会改变这个转换率，还是两种限制只是叠加而不产生额外代价。

答案是有条件的，而这个条件正是论文的组织思路。作者认为，两种约束结合后的效果取决于底层资源理论下对称性信息的可获取性：转换所需的信息能否从输入中提取出来，并用于控制自由操作。如果这能以渐近消失的误差做到，联合转换率就等于两个组成理论转换率中较小的那个；如果做不到，这种结合可能完全阻断转换。

对称性信息是决定性的资源

一个态的对称子群由所有使其保持不变的群元素组成，其轨道上不同的态则用该子群的陪集来标记。要在协变操作下把输入转换为目标，协议必须有效知道是哪个群元素联系了两者，因为这个标签决定了应当选用自由操作的哪个旋转版本。论文的机制因此是先判别、再条件控制：先识别相关的轨道标签，再用测量结果选择后续的自由操作。

作者用控制可容许性来刻画这一机制的后半部分，它问的是测量结果能否被用来选择后续自由操作，而不需要一个存储该结果的物理存储器。他们还给出了一种带存储器的表述，作为另一种操作解读。对转换率问题而言，关键点在于判别步骤不必消耗有限比例的输入：对称性信息可以从亚线性数量的副本中提取，剩下的副本仍可用于资源转换本身。

联合转换率为何等于较小者

一般转换定理指出，只要对对称性轨道实现渐近可靠的判别，并且转换与残余对称性兼容，就足以在联合约束下达到目标转换率。随后，群平均会构造出一个协变的自由信道，而不改变一阶转换率。这就是联合转换率等于两个组成理论中较小者、而不是一个新的更低值的原因：对称性约束带来的是一项渐近消失的判别开销，而不是对每份副本持续征税。

论文给出了达到判别误差 ε 所需的显式副本数。对 LOCC 和 stabilizer 操作，协议使用 O(log(1/ε)) 份副本；对热操作则使用 O((log(1/ε))²) 份副本。作者指出，这些界足以使判别代价相对于输入副本总数是亚线性的，并明确说明他们尚未证明这些界是最优的。

转换率保持成立与失效的范围

该条件对任意混合多体态上的 LOCC、Clifford 对称性下多量子比特系统的 magic 态转换，以及保 Gibbs 操作都成立。在这些情形中，只要输入的对称子群包含于输出的对称子群，施加有限群协变性就不会改变 LOCC、SEP、stabilizer 操作或完全保 stabilizer 操作下的渐近转换率。这些结果不要求给出无约束转换率的显式闭式表达，这一点很重要，因为一般混合多体态的最优 LOCC 转换率并没有已知的闭式解。

失效的情形同样明确。论文给出了一个精确的阻碍：如果输入的对称子群不包含于输出的对称子群，那么在协变操作下不可能有任何正的渐近转换率。热操作属于另一类，因为时间平移协变性限制了哪些轨道信息可以被获取；只有经过集体能量退相位后仍然保留的轨道信息才能用于判别步骤，因此成功转换需要有限群作用与输入、输出上的时间平移之间满足额外的兼容条件。

信道层面的对称性与基本操作层面的对称性

论文区分了施加对称性的两种方式。在映射层面，所得信道必须同时属于原有的自由操作类和协变信道类。在基本操作层面，用于实现该信道的每一个基本操作本身都必须遵守对称性。这是两种不同的要求，论文分别处理它们，而不假设其中一种蕴含另一种。

对 LOCC，作者在关于辅助系统和经典通信的既定假设下，建立了基本操作层面的实现与转换率结果，并指出全局对称的情形需要区分可自由使用的共享不变参考态与仅在局部制备的不变辅助态。对热操作，他们证明映射层面与基本操作层面的操作类相同，从而得到相应的转换率公式。对 magic，映射层面的结果允许任意 Clifford 表示，而基本操作层面的结果针对 Pauli 表示，使用对称的 Clifford 扩展以及联合系统—存储器的 Pauli 测量，其可观测量与完整的对称性表示对易。

有限对称性不产生新的完全被动态

论文还考察了用尊重对称性的酉操作提取功的问题。Ergotropy 量化有限系统可提取的功，完全被动性则标识出在允许操作下无法提取任何功的态。作者证明，任意固定的、与哈密顿量对易的有限群对称性都不改变每份副本的渐近 ergotropy，因此有限群对称性不会引入额外的完全被动态。

相应的推论把这一陈述具体化：一个态在不变酉操作下完全被动，当且仅当它在通常意义下完全被动，即它是基态或逆温度非负的 Gibbs 态。即使基态本征空间简并，这一结论也成立。该结果是关于渐近每副本量的陈述，而不是关于每一个有限副本协议的陈述。

转换率保持不等于操作上无足轻重

作者明确指出，渐近转换率保持不变并不意味着对称性约束在操作上变得无足轻重。即使转换率不变，判别步骤仍会消耗副本，并在有限块长下引入误差，因此有限副本转换即使在对称性约束的一阶渐近效应消失之后，仍可能对其敏感。在现实副本数下比较协议的读者，不应把渐近等式理解为关于小块长的陈述。

第二个区别涉及这些定理实际给出了什么。转换率等式并不是对底层资源转换问题的显式求解；对一般混合多体态，最优 LOCC 转换率仍然未知。对称性分析的作用是确定对称性约束所产生的额外限制，而不是求解底层资源理论本身。论文还在渐近极限中固定了群和单副本希尔伯特空间，因此这些结果是关于该固定设定的陈述，而不是关于不断增大的群族的陈述。

先检查对称子群包含关系

对于要判断有限群对称性约束是否会损害某个转换的读者，论文给出的优先顺序很明确：先检查输入的对称子群是否包含于输出的对称子群。如果不包含，那么无论无约束转换率多么有利，协变转换率都是零。如果包含，那么对 LOCC、Clifford 对称性下的 magic 以及保 Gibbs 操作，受约束的转换率与无约束转换率相同，剩下的问题只是有限副本下的判别开销。

热操作是这一简单检验不够用的情形。在那里，时间平移协变性限制了可获取的轨道信息，因此相关条件变成有限群作用与输入、输出上的时间平移之间的兼容性，并通过与集体能量退相位块相关联的子群来识别。这种划分——对多数操作类使用子群包含检验，对时间协变的热力学使用双对称性兼容检验——是论文最具决策相关性的贡献。

本文引用的文献