拓扑定点模型的统一图示方法

我们引入一种描述定点模型的系统性数学语言，并将其应用于物质拓扑相的研究。该框架令人联想到态和模型与晶格拓扑量子场论，但以张量网络的形式被形式化并统一。与现有的用于研究拓扑有序相基态的张量网络拟设不同，我们形式化中的张量网络表示欧氏时空中的离散路径积分。通过相应虚时间演化的 Trotter 化，这一语言比其他方法更直接与定义模型的哈密顿量相关。我们通过简单示例引入我们的形式化，并通过以最一般形式表达已知的 2+1 维模型族——即基于弱 Hopf 代数的弦网模型与 Kitaev 量子双重——来展示其全部威力。为阐明我们形式化的多功能性，我们还展示了如何描述费米子物质相，并提供了 3+1 维拓扑定点模型的框架。