[论文解读] Lattice Model for Fermionic Toric Code

Zheng‐Cheng Gu, Zhenghan Wang+1 more|DSpace@MIT (Massachusetts Institute of Technology)|Sep 26, 2013

Quantum and electron transport phenomena被引用 11

一句话总结

本文提出了一种费米子拓扑码模型，作为具有费米子任意子的拓扑序的精确可解晶格实现，通过将玻色子拓扑码扩展为 Z₂-graded 结构以容纳费米统计。该模型表现出与原始拓扑码相同的拓扑纠缠熵和基态简并度，但由于费米统计导致 T 和 S 矩阵具有显著不同，确认了一种新的费米子拓扑序，其 K-矩阵为 K^fTC = [[0,2],[2,1]]。

ABSTRACT

The Z_2 topological order in Z_2 spin liquid and in exactly soluble Kitaev toric code model is the simplest topological order for 2+1D bosonic systems. More general 2+1D bosonic topologically ordered states can be constructed via exact soluble string-net models. However, the most important topologically ordered phases of matter are arguably the fermionic fractional quantum Hall states. Topological phases of matter for fermion systems are strictly richer than their bosonic counterparts because locality has different meanings for the two kinds of systems. In this paper, we describe a simple fermionic version of the toric code model to illustrate many salient features of fermionic exactly soluble models and fermionic topologically ordered states.

研究动机与目标

• 构建一个精确可解的晶格模型，用于描述无法在局域玻色子系统中实现的费米子拓扑相。
• 证明由于费米子宇称和自旋结构的作用，费米子拓扑序比玻色子拓扑序更丰富。
• 通过引入 Grassmann 数值的 6j 符号和 Z₂-graded 融合规则，将拓扑码模型推广至费米子系统。
• 推导费米子任意子的拓扑数据（T 和 S 矩阵），并展示其与玻色子情形的差异。
• 建立一个框架，用于通过费米子有限深度幺正变换对具有能隙边界的一类 2+1D 费米子拓扑序进行分类。

提出的方法

• 通过在晶格边上放置 Majorana 费米子并引入 Z₂-graded 结构来处理费米子宇称区段，构建拓扑码的费米子版本。
• 使用类似于玻色子模型的顶点项和面项定义哈密顿量，但通过 Grassmann 数值算符强制实现费米统计。
• 使用 Grassmann 数值的 6j 符号求解五边形方程，确保费米子固定点波函数中拓扑序的一致性。
• 通过分析 π/2 旋转下的编织统计来计算任意子的 T 和 S 矩阵，同时考虑费米统计带来的 π/4 相位偏移和交换带来的 π/2 相位。
• 对 T 矩阵进行对角化，并在尊重费米子宇称的基底下表达 S 矩阵，从而为费米子任意子获得一致的模范畴。
• 推导出低能有效理论的 K-矩阵 K^fTC = [[0,2],[2,1]]，对应于具有非平凡费米子拓扑序的自旋 TQFT。

实验结果

研究问题

• RQ1 能否构建一个具有明确定义拓扑序的精确可解晶格模型，作为拓扑码的费米子版本？
• RQ2 与玻色子情形相比，费米子统计和费米子宇称如何影响拓扑序结构及任意子编织统计？
• RQ3 Z₂-graded 融合规则和 Grassmann 数值 6j 符号在构建一致的费米子拓扑量子场论中起什么作用？
• RQ4 费米子拓扑码中任意子的 T 和 S 矩阵与原始拓扑码相比有何不同？这对拓扑序分类意味着什么？
• RQ5 费米子拓扑码模型能否推广到更广泛的具有能隙边界的精确可解费米子拓扑相类别？

主要发现

• 费米子拓扑码模型实现了 K-矩阵为 K^fTC = [[0,2],[2,1]] 的拓扑序，由于对角线元素为奇数，该序无法在任何局域玻色子系统中实现。
• 该模型在高亏格曲面上与原始拓扑码具有相同的拓扑纠缠熵和基态简并度，证实了全局拓扑不变量意义上的同构拓扑序。
• T 矩阵为 T = diag(1,1,0,−α⁻¹)，S 矩阵为 S = [[1,0,0,0],[0,0,1,0],[0,1,0,0],[0,0,0,−α⁻¹]]，其中 α = ±i，导致任意子统计具有显著不同。
• 任意子统计角为 (1,1,e^{iπ/4},e^{i5π/4}) 或 (1,1,e^{i3π/4},e^{i7π/4})，与玻色子拓扑码的 (1,1,1,1) 不同，确认了不同的拓扑序。
• 在对角化的 T-基下，S 矩阵形式为 (1/2) × [[1,1,1,1],[1,1,-1,-1],[1,-1,±i,∓i],[1,-1,∓i,±i]]，与 K^fTC 矩阵一致，证实了费米子模数据。
• 该构造表明，费米子拓扑序在融合规则和结合关系中需要 Z₂-graded 结构，Grassmann 数值 6j 符号对于一致性至关重要。