涡旋能否分解决定交织程度
论文给出的答案是一套分类框架,而不是对某种具体材料的预测。它把超导体看作电荷 U(1) 对称性自发破缺到残余 Z_2n 对称性的结果,该残余对称性包含费米子宇称;随后追问由此产生的涡旋与退禁闭的体任意子之间是什么关系。核心检验是:基本涡旋扇区(携带一个 h/(2ne) 磁通量子的所有拓扑不等价涡旋构成的集合)能否写成一个可逆超导涡旋扇区与动力学任意子扇区的乘积。
这一检验给出了一条分级阶梯。可逆超导体的动力学任意子扇区是平凡的。非扭曲 SC* 分解为 C_inv_1 乘以 C_dym,对应一个可逆超导体与一个中性拓扑序的堆叠。扭曲 SC* 分解为 V_inv_1 乘以 C_dym,其中阿贝尔对象 v 满足 v^2n = w,而 w 是 C_dym 中的非平凡元素。SC-sharp 则是两种分解都不成立的情形,作者所说的不可约交织正是指此。
SC-sharp 涡旋为何必然非阿贝尔
核心发现是 SC-sharp 这一族相本身。在这些相中,携带 h/(2ne) 磁通的基本涡旋无法分解为一个普通可逆超导涡旋加上体任意子,而且每个基本涡旋都必然是非阿贝尔的。作者还针对该扇区给出了禁戒性结论:其量子维数至少为 sqrt(6),并且不能满足斐波那契融合规则。
量子维数下界是对读者最有区分力的判据。量子维数至少为 sqrt(6) 的扇区既不是一堆阿贝尔涡旋,也不是斐波那契情形。论文指出,残余 Z_2n 对称性对任意子的置换足以导致不可分解,但并非必要条件,因此 SC-sharp 的范围比“对称性置换”这一图景更广。
任意子凝聚生成阶梯中的每一级
构造方式是代数式的。先取一个母体幺正模张量范畴 D,与一个原子绝缘体堆叠;原子绝缘体提供以电荷 ke 标记的整数电荷局域激发。再找一个阶为 r 的阿贝尔任意子 g,凝聚玻色复合对象 (g, k),就得到 2n = kr 的电荷 2ne 超导体。与 g 的单值性为平凡的任意子成为退禁闭任意子,而 ph/(2ne) 涡旋则是单值性为 exp(2 pi i kp/(2n)) 的那些对象。
作者论证这一配方是完备的:在他们设定的范围内,每个 (2+1) 维超导体都可以通过从母体拓扑序中凝聚单个自玻色任意子得到。正是这一主张,使基于涡旋的分类同时成为生成性框架,并把该分类与堆叠—凝聚图景中的任意子超导联系起来。
SU(2)_2n 系列呈现奇偶分化
最清晰的具体例子是在 SU(2)_2n 与原子绝缘体的堆叠中凝聚 (j = n, n)。当 n > 1 时,这产生电荷 2ne 的 SC-sharp 相,由 U(2)_{2n,0} Chern-Simons 理论描述。秩的记账随 n 的奇偶而不同,这一差异正是 SC-sharp 标签的证据。
当 n 为偶数时,j = n/2 任意子被 j = n 生成的 Z_2 单形式对称性固定,落入动力学任意子扇区并分裂成两个退禁闭任意子;动力学扇区的秩为 (n+4)/2,而基本涡旋扇区的秩为 n。当 n 为奇数时,被凝聚的流被等同于物理费米子而非真空,因此 j = n/2 不分裂;它束缚一个马约拉纳零模,并在融合一个电子后回到自身,类似电荷 2e 的 (p+ip) 波超导体中的涡旋。此时动力学扇区与基本涡旋扇区的秩分别为 (n+1)/2 和 n。无论奇偶,基本涡旋扇区的秩关系都不符合可分解相所预期的形式。
扭曲 SC* 需要非阿贝尔任意子或更高电荷
论文用具体构造把扭曲 SC* 与非扭曲 SC* 区分开。在 Laughlin-1/3 态中凝聚库珀对得到的电荷 2e 超导体是非扭曲的:其基本涡旋扇区分解为 C_inv_1 乘以 C_dym,涡旋是阿贝尔的。真正的扭曲 SC* 则需要非阿贝尔退禁闭任意子,或者凝聚电荷大于 2e。
电荷 4e 的例子把高电荷路径具体化。在 U(1)_16 中凝聚 (g^8, 2) 得到带 U(1)_4 拓扑序的电荷 4e 超导体;每个基本涡旋 v 的选择都满足 v^4 = g^4,而 g^4 是非平凡任意子,因此该扇区是扭曲的。对电荷 2e,在 Ising 乘以 U(1)_8 中凝聚 [(psi, g^4), 1] 得到扭曲 SC*,其基本涡旋与自身融合得到 (1, g^2),无法通过附加阿贝尔任意子使其平凡化。作者把这一状态描述为把平凡的电荷 2e 超导体堆叠在 Pfaffian 态上,并指出只有中性拓扑序才必然给出非扭曲 SC*。
堆叠拓扑序可抹平可逆相的区别
有一个结果会改变读者仅凭电荷比较超导体的方式。一个平凡的电荷 8e 超导体与中性 U(1)_8 拓扑序堆叠后成为 SC*。通过重新标记 V' = g 乘以 V、g' = g^3 乘以 f,同一状态可被看作 Z_16 分类中 upsilon = 8 类的非平凡电荷 8e 可逆超导体(其基本涡旋的拓扑自旋为 1/16)与中性 U(1)_8 拓扑序的堆叠。
因此,两个不等价的电荷 8e 可逆超导体在堆叠同一 U(1)_8 拓扑序后,变成拓扑等价的电荷 8e SC*。凝聚电荷和可逆分类本身并不能确定拓扑类型,涡旋扇区才能。
本原 SC-sharp 限制遗迹序机制
作者引入了本原 SC-sharp 相:其中每个非平凡涡旋扇区都阻碍分解,而不只是基本涡旋扇区。他们论证这类相不能通过使较低电荷超导凝聚体的相对相位无序化而产生。论证依据是:取整除 2n 的最小 r,使 rh/(2ne) 涡旋扇区可分解;这表明共存的拓扑序只被残余 Z_2n 对称性的 Z_r 子群富化,从而提示该状态可被看作 k = 2n/r 的电荷 ke 束缚团簇。
由此得到一个机制约束。若某状态必须来自部分熔化凝聚电荷大于 ke 的多分量超导体,则该状态被排除。在极端情形 k = 1 下,SC-sharp 相完全不能作为量子遗迹序出现,只能是“本原序”,这也是作者称其为本原的原因。论文从 SU(2n)_2n、Spin(4m+2)_4 以及一个利用贝祖等式的电荷 6e 例子构造了本原系列。
分类如何改变超导体的比较方式
实际优先级是按基本涡旋扇区分类,而不是按凝聚电荷或是否存在拓扑序分类。两个具有相同 2ne 电荷的超导体可以处在不同层级:非扭曲 SC*、扭曲 SC* 或 SC-sharp。分解检验、至少为 sqrt(6) 的量子维数下界,以及排除斐波那契融合规则,提供了把 SC-sharp 与各种 SC* 情形区分开的具体检查。
适用范围是有能隙的 (2+1) 维超导体,凝聚电荷为 2ne,且具有有能隙的 1 至 (2n-1) 体谱,戈德斯通模由一个弱对称破缺场打开能隙。在这一范围内,论文的独特主张是:SC-sharp 相不只是超导体与拓扑序的堆叠,其基本涡旋不可约地非阿贝尔;而本原 SC-sharp 相还额外排除了遗迹序起源。
本文引用的文献
SC sharp : superconductivity intertwined with topological order
一套基于涡旋的 (2+1) 维有能隙电荷 2ne 超导体分类识别出 SC-sharp 相:其基本 h/(2ne) 涡旋无法分解为一个可逆超导涡旋加上体任意子,且必然非阿贝尔,量子维数至少为 sqrt(6),不满足斐波那契融合规则。
