Symmetry-permuting entanglers for non-invertible symmetry-protected topological phases

技术摘要：用于非可逆 SPT 相的对称置换纠缠器

问题陈述
具有可逆对称性的一维对称保护拓扑（SPT）相通常由对称纠缠器表征：即在与全局对称性对易的条件下，通过有限深度局部幺正（FDLU）电路从乘积态生成代表性基态。然而，对于具有非可逆对称性（由融合范畴描述）的系统，这种对应关系会失效。具体而言，由 $\text{Rep}(D_8)$ 对称保护的不同 SPT 相无法通过任何对称纠缠器（即与所有对称算符都对易的电路）相互连接。尽管之前的研究已经确立了针对可逆对称性的“固定电荷对偶性”（FCDs），但非可逆 SPT 相的分类涉及“固定代数对偶性”（FADs），其中对称边界被保持为一个可凝聚的代数，但其简单求和项（对称线）可能会被置换。核心问题在于：这些不同的 $\text{Rep}(D_8)$ SPT 相是否可以由一个置换对称线的有限深度电路连接，从而实现对称拓扑量子场论（symTFT）所预言的 FADs。

方法论
作者利用矩阵乘积幺正算符（MPUs）构建了这种连接性的显式微观实现。该方法论如下：

1. 理论框架： 本工作利用 symTFT 描述，其中对偶性由体相 Drinfeld 中心 $Z(\mathcal{C})$ 的编织自等价性编码。作者关注的是 FADs，这类对偶性保持对称边界的拉格朗日代数，但置换其简单求和项。
2. 局部约束： 作者并未采用 ad hoc 的方式寻找全局电路，而是推导了 MPU 张量的局部约束。他们从全局对称性置换条件 $U S_a U^\dagger = S_{\phi(a)}$（其中 $S_a$ 是对称 MPO，$\phi$ 是简单对象的置换）出发。
3. 穿越关系（Crossing Relations）： 通过向量化 MPO 并应用矩阵乘积态的基本定理，作者推导出了“穿过”方程。这些方程将 MPU 张量 $M$、对称 MPO 张量 $T_{S_a}$ 以及一个交织虚拟空间的“穿越张量” $X_a$ 联系起来。
4. 拟设与求解： 对于 $\text{Rep}(D_8)$ 情况，作者针对一个将平凡 SPT 相与关联于子群 $H = \langle r^2, s \rangle$ 的 SPT 相进行交换的特定 FAD。作者为 MPU 设定了一个键维数为 2 的拟设。穿越张量 $X_a$ 的确定基于 MPU 将乘积态的作用张量映射到目标 SPT 态作用张量的要求。
5. 构建： 通过求解由此产生的线性约束（穿越关系）并施加幺正性和厄米性，以及强制执行固定点态的精确映射，得到了一个显式的 MPU 张量。结果表明，该电路是一个具有平凡指数的 FDLU（有限深度局部幺正电路）。

主要贡献与结果

• 显式构建： 本文构建了一个显式的键维数为 2 的 MPU，它将平凡乘积态连接到非平凡的 $\text{Rep}(D_8)$ SPT 相。该电路并不与对称 MPO 个别对易，而是根据目标 FAD 置换它们。
• 对称置换： 所构建的电路实现了对称线的特定置换：$\rho_a \leftrightarrow \rho_c$，而 $\rho_b$ 和 $\sigma$ 保持不变。这证实了不同的 SPT 相可以通过对称置换纠缠器相互连接，从而解决了对称纠缠器存在的表观障碍。
• 微观任意子置换： 作者展示了该 MPU 对弦序参数（代表 symTFT 中的任意子）的作用如何重现了 TQFT 对偶性所预言的任意子置换。具体而言：
  • 可逆弦变换为 $([e], \rho_a) \to ([r^2], \rho_c)$ 以及 $([e], \rho_c) \to ([r^2], \rho_a)$。
  • 非可逆弦 $\sigma$ 的变换使得端点电荷发生置换，映射为 $([e], \sigma) \to ([s], \omega_2)$。
• 生成完整的对偶群： 通过将这种非在位（non-on-site）对称置换纠缠器与一个由 $D_8$ 群自同构诱导的在位幺正电路相结合，作者展示了如何生成完整的 $S_3$ FADs 群，从而连接所有三个不同的 $\text{Rep}(D_8)$ SPT 相。

意义
本文为非可逆 SPT 相的分类提供了具体的微观解决途径。它证实了 symTFT 的预言，即虽然在某些非可isible SPT 相之间可能不存在对称纠缠器（FCDs），但实现固定代数对偶性（FADs）的有限深度电路确实存在。这项工作超越了以往例子（如 $\text{Rep}(A_4)$）的“ad hoc”构建方式，转而通过局部穿越关系和作用张量来推导电路。结果强化了 symTFT 分类的微观解释，表明固定电荷对偶性与固定代数对偶性之间的区别在量子电路中具有直接的实现。作者指出，虽然构建过程受局部关系的引导，但尚未完全算法化，且从弦算符中提取任意子置换并不总能唯一确定底层的编织自等价性。