arXivDaily arXiv每日学术速递 周一至周五更新
arXiv 2204.05940quant-phcond-mat.str-elmath-phmath.MP
收藏

矩阵乘积算子代数I:弱Hopf代数的表示与投影纠缠对态

Matrix product operator algebras I: representations of weak Hopf algebras and projected entangled pair states

University of Vienna(维也纳大学);Universidad Complutense de Madrid(马德里康普顿斯大学);Instituto de Ciencias Matemáticas(数学科学研究所);Max-Planck-Institute of Quantum Optics(马克斯·普朗克量子光学研究所);Munich Center for Quantum Science and Technology(慕尼黑量子科学与技术中心)

Andras Molnar, Alberto Ruiz de Alarcón, José Garre-Rubio, Norbert Schuch, J. Ignacio Cirac, David Pérez-García

AI总结:

本研究发展了矩阵乘积算子(MPO)作为代数结构表示的理论,建立代数与MPO性质的对应关系,定义拉通代数并证明半单主弱Hopf代数属于此类,可统一描述Kitaev量子双重模型与Levin-Wen弦网模型。

摘要:

矩阵乘积算子(MPOs)是表示作用于一维系统的算子的张量网络。它们可对多种场景建模,包括带记忆效应的通信信道、量子元胞自动机、一维量子系统中的混合态,或是与二维量子系统相关的全息边界模型。MPO已被证明特别有用的一个场景是表示非平凡对称的代数。具体而言,二维量子系统中对称保护相和拓扑有序相的边界都以MPO的形式展现出对称性。\n在本文中,我们发展了将MPO作为代数结构表示的理论。我们建立了代数性质与MPO性质之间的对应关系,可在两种框架之间迁移结果,涵盖了前双代数、弱双代数和弱Hopf代数的情形。我们定义了拉通代数(pulling-through algebras)的概念,它抽象出了从MPO代数定义拓扑有序二维张量网络所需的最低要求。作为我们的主要结果之一,我们证明了任意半单主弱Hopf代数都是拉通代数。我们通过以下方式展示了该框架的效力:证明它们可被用于仅从Hopf代数的MPO表示构造Hopf代数的Kitaev量子双重模型,其方式与从融合范畴得到的MPO对称性可用于构造Levin-Wen弦网模型并解释其所有拓扑特征的方式完全相同;因此,该框架使得我们能够在相同的形式基础上描述Kitaev模型和弦网模型。

英文摘要:

Matrix Product Operators (MPOs) are tensor networks representing operators acting on 1D systems. They model a wide variety of situations, including communication channels with memory effects, quantum cellular automata, mixed states in 1D quantum systems, or holographic boundary models associated to 2D quantum systems. A scenario where MPOs have proven particularly useful is to represent algebras of non-trivial symmetries. Concretely, the boundary of both symmetry protected and topologically ordered phases in 2D quantum systems exhibit symmetries in the form of MPOs. In this paper, we develop a theory of MPOs as representations of algebraic structures. We establish a dictionary between algebra and MPO properties which allows to transfer results between both setups, covering the cases of pre-bialgebras, weak bialgebras, and weak Hopf algebras. We define the notion of pulling-through algebras, which abstracts the minimal requirements needed to define topologically ordered 2D tensor networks from MPO algebras. We show, as one of our main results, that any semisimple pivotal weak Hopf algebra is a pulling-trough algebra. We demonstrate the power of this framework by showing that they can be used to construct Kitaev's quantum double models for Hopf algebras solely from an MPO representation of the Hopf algebra, in the exact same way as MPO symmetries obtained from fusion categories can be used to construct Levin-Wen string-net models, and to explain all their topological features; it thus allows to describe both Kitaev and string-net models on the same formal footing.

机构、总结、中文摘要均由AI分析而来,可能存在错误,请以论文正文为准。

↑