It has been suggested that non-invertible symmetry protected topological phases (SPT), due to the lack of a stacking structure, do not have symmetric entanglers (globally symmetric finite-depth quantum circuits) connecting them. Using topological holography, we argue that a symmetric entangler should in fact exist for $1+1$d systems whenever the non-invertible symmetry has SPT phases connected by fixed-charge dualities (FCD). Moreover, we construct an explicit example of a symmetric entangler for the two SPT phases with $\mathrm{Rep}(A_4)$-symmetry, as a matrix product unitary (MPU).
论文ID : 2509.04581标题 : Symmetric entanglers for non-invertible SPT phases作者 : Minyoung You (Yukawa Institute for Theoretical Physics, Kyoto University)分类 : cond-mat.str-el hep-th quant-ph发表时间 : 2025年1月14日 (arXiv v2)论文链接 : https://arxiv.org/abs/2509.04581 本文质疑了先前关于非可逆对称保护拓扑相(non-invertible SPT phases)由于缺乏堆叠结构而不存在对称纠缠器(symmetric entanglers)的观点。作者利用拓扑全息理论论证,当非可逆对称性具有通过固定电荷对偶性(FCD)连接的SPT相时,对称纠缠器实际上应该存在于1+1维系统中。此外,作者构造了连接两个Rep(A₄)对称SPT相的对称纠缠器的显式例子,以矩阵乘积幺正算子(MPU)的形式给出。
SPT相的对称纠缠器理论 :在传统的群对称保护的SPT相中,对称纠缠器是连接不同SPT态的全局对称有限深度量子电路,它们形成群结构并与SPT相的堆叠操作密切相关。非可逆对称性的挑战 :对于非可逆对称性,传统的堆叠操作不再适用,因为融合代数不存在对角子代数。这导致了一个重要问题:非可逆SPT相之间是否存在对称纠缠器?现有观点的局限 :之前的研究(如Ref.7 )基于堆叠结构的缺失,认为非可逆SPT相不存在对称纠缠器,并在Rep(D₈)的例子中验证了这一点。作者通过拓扑全息理论的新视角,发现固定电荷对偶性(FCD)可能提供连接非可逆SPT相的对称纠缠器,这挑战了现有的理论框架。
理论突破 :证明了当存在固定电荷对偶性连接两个SPT相时,对称纠缠器确实存在于非可逆对称系统中数学证明 :利用拓扑全息理论严格证明了FCD保持对称性的定理显式构造 :首次构造了Rep(A₄)对称性下两个SPT相之间的显式对称纠缠器概念澄清 :揭示了对称纠缠器的存在与堆叠结构在非可逆情况下是解耦的作者采用symTFT (symmetry topological field theory)框架,其中:
体相2+1维TQFT由融合范畴对称性C的Drinfeld中心Z(C)给出 遗忘函子F: Z(C) → C将体相线算子映射为边界对称算子 电荷定义为在参考边界上凝聚的任意子μ,满足⟨μ,1⟩ ≥ 1 定理 :设D是体相TQFT Z(C)的对称性,F: Z(C) → C是遗忘函子。如果D是固定电荷对偶性(FCD),则对于Z(C)的任意体相任意子μ,有F(D(μ)) = F(μ)。
证明思路 :
利用环面分拆函数Z¹ₐ和Zₐ¹的模变换关系 证明FCD下S·Zₐ¹的不变性 推导出⟨D(μ),a⟩ = ⟨μ,a⟩的条件 得出F(D(μ)) = F(μ)的结论 全息视角 :首次将拓扑全息理论系统应用于非可逆SPT相的对称纠缠器研究FCD分析 :深入分析了固定电荷对偶性在保持对称性中的关键作用显式构造 :发展了基于投影表示的MPU构造方法群A₄:交替群,12个元素,生成元x³ = a² = e, (xa)³ = e 表示:四个不可约表示1, ω, ω², π(其中π是3维表示) 物理希尔伯特空间:每个格点上为CA₄ SPT相1(乘积态) :
对应模范畴Rep(1),键空间维数为1。
SPT相2 :
基于Z₂×Z₂的非平凡投影表示构造的MPS:
|Ψ₂⟩ = Σ_{gᵢ∈H} Tr[Q(g₁)Q(g₂)···]|g₁,g₂,···⟩
其中Q(g)是Z₂×Z₂的投影表示矩阵,键空间维数为2。
MPU张量 :
T^{g,h} = (1/2)(sₑ)_{g,h}Q(gh)
T^{xg,xh} = (1/2)(sₓ)_{g,h}Q(x)Q(gh)
T^{x²g,x²h} = (1/2)(sₓ²)_{g,h}Q(x)²Q(gh)
其中符号因子sₑ, sₓ, sₓ²确保MPU的幺正性。
关键性质 :
连接性 :E|Ψ₁⟩ = |Ψ₂⟩幺正性 :满足MPU的幺正条件对称性 :与Rep(A₄)对称算子对易2阶性 :E² = 1,形成Z₂群结构作者计算了两个SPT态的L-符号,验证它们属于不同的相:
SPT相1的环面分拆函数 :
(Z_{ππ,π})_{μν} = (-3 0)
( 0 3)
SPT相2的环面分拆函数 :
(Z_{ππ,π})_{μν} = ( 3 0)
( 0 -3)
符号差异证明了两相的不等价性。
通过分析MPU对一般基态的作用,证明了:
共轭类x 和x² 被保持 当总群元素在H中时,电荷被保持 MPU与所有Rep(A₄)对称算子对易 三个SPT相不被任何FCD连接 确实不存在对称纠缠器,与理论预测一致 乘积态相和团簇态相的拉格朗日代数具有不同的重数结构 不存在连接它们的FSD,因此也不存在FCD 符合"无对称纠缠器"的预测 理论突破 :证明了非可逆SPT相可以存在对称纠缠器,条件是存在连接它们的FCD概念澄清 :对称纠缠器的存在与堆叠结构在非可逆情况下是解耦的显式实现 :首次构造了非可逆SPT相的显式对称纠缠器条件限制 :仅适用于存在FCD连接的SPT相构造方法 :显式MPU构造是临时性的,未直接从体相FCD推导维度限制 :目前仅考虑1+1维系统一般化 :探索是否可以定义适用于非可逆对称性的广义堆叠概念体边对应 :建立从体相FCD到边界对称纠缠器的直接推导方法高维推广 :研究高维非可逆SPT相的对称纠缠器概念创新 :挑战了现有理论框架,提供了新的理论视角严格证明 :利用拓扑全息理论给出了严格的数学证明显式构造 :提供了首个非可逆SPT相对称纠缠器的具体例子技术深度 :结合了多个高深的数学物理概念(融合范畴、拓扑量子场论、矩阵乘积算子等)适用范围 :理论仅适用于特定条件(存在FCD),普适性有限构造gap :显式MPU构造与理论预测之间缺乏直接联系实验验证 :缺乏物理实现或数值验证理论意义 :重新定义了非可逆对称性下的SPT相分类理解技术推进 :为非可逆对称系统的研究提供了新工具应用前景 :可能影响量子计算和拓扑量子物质的研究理论物理研究 :拓扑相变和量子相的分类研究量子信息 :量子纠错码和拓扑量子计算凝聚态理论 :强关联电子系统和量子自旋系统本文引用了35篇重要文献,涵盖了融合范畴理论、SPT相分类、拓扑全息理论和矩阵乘积态等多个领域的核心工作,为研究提供了坚实的理论基础。