Boundary Hamiltonian theory for gapped topological orders

Yuting Hu; Yidun Wan; Yong-Shi Wu

arXiv:1706.00650·cond-mat.str-el·July 4, 2017

Boundary Hamiltonian theory for gapped topological orders

Yuting Hu, Yidun Wan, Yong-Shi Wu

PDF

TL;DR

This paper develops a systematic lattice Hamiltonian model for topological orders with explicit boundary terms, providing a robust framework for understanding gapped boundaries and boundary excitations in topological phases.

Contribution

It introduces a comprehensive construction of boundary Hamiltonians for Levin-Wen models, classifies gapped boundary conditions via Frobenius algebras, and characterizes boundary excitations using module theory.

Findings

01

Gapped boundary conditions are classified by Frobenius algebras.

02

Explicit wavefunctions for ground states and boundary excitations are constructed.

03

Boundary quasi-particle creation and hopping operators are explicitly formulated.

Abstract

In this letter, we report our systematic construction of the lattice Hamiltonian model of topological orders on open surfaces, with explicit boundary terms. We do this mainly for the Levin-Wen stringnet model. The full Hamiltonian in our approach yields a topologically protected, gapped energy spectrum, with the corresponding wave functions robust under topology-preserving transformations of the lattice of the system. We explicitly present the wavefunctions of the ground states and boundary elementary excitations. We construct the creation and hopping operators of boundary quasi-particles. We find that given a bulk topological order, the gapped boundary conditions are classified by Frobenius algebras in its input data. Emergent topological properties of the ground states and boundary excitations are characterized by (bi-) modules over Frobenius algebras.

Tables1

Table 1. Table 1: Correspondence between Bulk and boundary operators

Bulk		Boundary
$B_{p = △} = T_{1 \to 3} \cdot T_{3 \to 1}$		${\bar{B}}_{p} = T_{1 \to 2} \cdot T_{2 \to 1}$
$B_{p} = \frac{1}{D} \sum_{s} d_{s} B_{p}^{s}$		${\bar{B}}_{p} = \frac{1}{d_{A}} \sum_{a} v_{a} {\bar{B}}_{p}^{a}$
$B_{p}^{r} B_{p}^{s} = \sum_{t} δ_{r s t^{*}} B_{p}^{t}$		${\bar{B}}_{p}^{a} {\bar{B}}_{p}^{b} = \sum_{c} δ_{a b c^{*}} {\bar{B}}_{p}^{c}$

Equations50

(associativity) c \sum f_{ab c^{*}} f_{c d e^{*}} G_{d e^{*} g}^{ab c^{*}} v_{c} v_{g}, = f_{a g e^{*}} f_{b d g^{*}},

(associativity) c \sum f_{ab c^{*}} f_{c d e^{*}} G_{d e^{*} g}^{ab c^{*}} v_{c} v_{g}, = f_{a g e^{*}} f_{b d g^{*}},

(non-degeneracy) f_{b b^{*} 0} \neq = 0, \forall b \in L_{A},

(unit) f_{b b^{*} 0} = f_{b 0 b^{*}} = f_{0 b b^{*}} = 1,

(unit) f_{b b^{*} 0} = f_{b 0 b^{*}} = f_{0 b b^{*}} = 1,

(cyclic) f_{ab c} = f_{c ab},

(strong) ab \sum f_{ab c} f_{c^{*} b^{*} a^{*}} v_{a} v_{b} = d_{A} v_{c},

\mathcal{T}\Biggl{(}\begin{matrix}\frac{\sqrt{D}}{\mathrm{d}_{A}}\Biggl{|}\;\begin{matrix}\leavevmode\hbox to29.88pt{\vbox to40.23pt{\pgfpicture\makeatletter\hbox{\hskip-28.87685pt\lower 167.10136pt\hbox to0.0pt{\pgfsys@beginscope\pgfsys@invoke{ }\definecolor{pgfstrokecolor}{rgb}{0,0,0}\pgfsys@color@rgb@stroke{0}{0}{0}\pgfsys@invoke{ }\pgfsys@color@rgb@fill{0}{0}{0}\pgfsys@invoke{ }\pgfsys@setlinewidth{0.4pt}\pgfsys@invoke{ }\nullfont\hbox to0.0pt{\pgfsys@beginscope\pgfsys@invoke{ }{{}} {}{{}}{}{{}}{}{{}}{}{}{}{{}}{}{{}}{}{}{}{{}}{}{{}}{}{}{}\pgfsys@beginscope\pgfsys@invoke{ }\pgfsys@setlinewidth{1.2pt}\pgfsys@invoke{ }{}\pgfsys@moveto{43.81699pt}{179.25159pt}\pgfsys@curveto{48.59714pt}{180.12805pt}{53.37698pt}{181.02428pt}{55.76721pt}{183.2349pt}\pgfsys@curveto{58.15714pt}{185.44582pt}{58.15714pt}{188.99089pt}{55.76721pt}{191.20181pt}\pgfsys@curveto{53.37698pt}{193.41243pt}{48.59714pt}{194.30865pt}{43.81699pt}{195.18512pt}\pgfsys@stroke\pgfsys@invoke{ } \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope{}{{}}{}{{}}{}{{}}{}{}{}{{}}{}{{}}{}{}{}{{}}{}{{}}{}{}{}\pgfsys@beginscope\pgfsys@invoke{ }\pgfsys@setlinewidth{1.2pt}\pgfsys@invoke{ }{}\pgfsys@moveto{43.81699pt}{179.25159pt}\pgfsys@curveto{39.03714pt}{180.12805pt}{34.25697pt}{181.02428pt}{31.86707pt}{183.2349pt}\pgfsys@curveto{29.47684pt}{185.44582pt}{29.47684pt}{188.99089pt}{31.86707pt}{191.20181pt}\pgfsys@curveto{34.25697pt}{193.41243pt}{39.03714pt}{194.30865pt}{43.81699pt}{195.18512pt}\pgfsys@stroke\pgfsys@invoke{ } \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope{}{{}}{} {}{}{}\pgfsys@moveto{43.81699pt}{195.18512pt}\pgfsys@lineto{43.81699pt}{207.13504pt}\pgfsys@stroke\pgfsys@invoke{ }{\pgfsys@beginscope\pgfsys@invoke{ } {}{{}{}}{}{}{}{{}}{{}}{{}{}}{{}{}}{{{{}{}{{}} }}{{}}}{{{{}{}{{}} }}{{}}}{{{{}{}{{}} }}{{}}}{{{{}{}{{}} }}{{}}\pgfsys@beginscope\pgfsys@invoke{ } {\pgfsys@beginscope\pgfsys@invoke{ } {{}} {{}{{{}}{{{}}{\pgfsys@beginscope\pgfsys@invoke{ }\pgfsys@transformcm{0.0}{1.0}{-1.0}{0.0}{43.81699pt}{199.75758pt}\pgfsys@invoke{ }\pgfsys@invoke{ \lxSVG@closescope }\pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}{{}}}} \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}\pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}{{{{}{}{{}} }}{{}}}{{{{}{}{{}} }}{{}}}{{{{}{}{{}} }}{{}} {{{}}} }{{}{}}{{}{}}{{{{}{}{{}} }}{{}} {{{}}} } \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope} {{}}\hbox{\hbox{{\pgfsys@beginscope\pgfsys@invoke{ }{{}{}{{ {}{}}}{ {}{}} {{}{{}}}{{}{}}{}{{}{}} { }{{{{}}\pgfsys@beginscope\pgfsys@invoke{ }\pgfsys@transformcm{1.0}{0.0}{0.0}{1.0}{46.68408pt}{199.65329pt}\pgfsys@invoke{ }\hbox{{\definecolor{pgfstrokecolor}{rgb}{0,0,0}\pgfsys@color@rgb@stroke{0}{0}{0}\pgfsys@invoke{ }\pgfsys@color@rgb@fill{0}{0}{0}\pgfsys@invoke{ }\hbox{{\scriptsize$c$}} }}\pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}} \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}} {}{{}}{} {}{}{}\pgfsys@moveto{43.81699pt}{167.30136pt}\pgfsys@lineto{43.81699pt}{179.25159pt}\pgfsys@stroke\pgfsys@invoke{ }{\pgfsys@beginscope\pgfsys@invoke{ } {}{{}{}}{}{}{}{{}}{{}}{{}{}}{{}{}}{{{{}{}{{}} }}{{}}}{{{{}{}{{}} }}{{}}}{{{{}{}{{}} }}{{}}}{{{{}{}{{}} }}{{}}\pgfsys@beginscope\pgfsys@invoke{ } {\pgfsys@beginscope\pgfsys@invoke{ } {{}} {{}{{{}}{{{}}{\pgfsys@beginscope\pgfsys@invoke{ }\pgfsys@transformcm{0.0}{1.0}{-1.0}{0.0}{43.81699pt}{171.87401pt}\pgfsys@invoke{ }\pgfsys@invoke{ \lxSVG@closescope }\pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}{{}}}} \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}\pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}{{{{}{}{{}} }}{{}}}{{{{}{}{{}} }}{{}}}{{{{}{}{{}} }}{{}} {{{}}} }{{}{}}{{}{}}{{{{}{}{{}} }}{{}} {{{}}} } \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope} {{}}\hbox{\hbox{{\pgfsys@beginscope\pgfsys@invoke{ }{{}{}{{ {}{}}}{ {}{}} {{}{{}}}{{}{}}{}{{}{}} { }{{{{}}\pgfsys@beginscope\pgfsys@invoke{ }\pgfsys@transformcm{1.0}{0.0}{0.0}{1.0}{46.68408pt}{171.76953pt}\pgfsys@invoke{ }\hbox{{\definecolor{pgfstrokecolor}{rgb}{0,0,0}\pgfsys@color@rgb@stroke{0}{0}{0}\pgfsys@invoke{ }\pgfsys@color@rgb@fill{0}{0}{0}\pgfsys@invoke{ }\hbox{{\scriptsize$c$}} }}\pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}} \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}} {}{{}}{}{{{}} {}{}{}{}{}{}{}{} }{}\pgfsys@moveto{43.81699pt}{179.25159pt}\pgfsys@moveto{45.41035pt}{179.25159pt}\pgfsys@curveto{45.41035pt}{180.13158pt}{44.69698pt}{180.84496pt}{43.81699pt}{180.84496pt}\pgfsys@curveto{42.937pt}{180.84496pt}{42.22362pt}{180.13158pt}{42.22362pt}{179.25159pt}\pgfsys@curveto{42.22362pt}{178.3716pt}{42.937pt}{177.65822pt}{43.81699pt}{177.65822pt}\pgfsys@curveto{44.69698pt}{177.65822pt}{45.41035pt}{178.3716pt}{45.41035pt}{179.25159pt}\pgfsys@closepath\pgfsys@moveto{43.81699pt}{179.25159pt}\pgfsys@fillstroke\pgfsys@invoke{ } {}{{}}{}{{{}} {}{}{}{}{}{}{}{} }{}\pgfsys@moveto{43.81699pt}{195.18512pt}\pgfsys@moveto{45.41035pt}{195.18512pt}\pgfsys@curveto{45.41035pt}{196.06511pt}{44.69698pt}{196.77849pt}{43.81699pt}{196.77849pt}\pgfsys@curveto{42.937pt}{196.77849pt}{42.22362pt}{196.06511pt}{42.22362pt}{195.18512pt}\pgfsys@curveto{42.22362pt}{194.30513pt}{42.937pt}{193.59175pt}{43.81699pt}{193.59175pt}\pgfsys@curveto{44.69698pt}{193.59175pt}{45.41035pt}{194.30513pt}{45.41035pt}{195.18512pt}\pgfsys@closepath\pgfsys@moveto{43.81699pt}{195.18512pt}\pgfsys@fillstroke\pgfsys@invoke{ } \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope{}{}{}\hss}\pgfsys@discardpath\pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope\hss}}\lxSVG@closescope\endpgfpicture}}\>\end{matrix}\Biggr{\rangle}\end{matrix}\Biggr{)}\;=\;\Biggl{|}\;\begin{matrix}\leavevmode\hbox to9.7pt{\vbox to40.23pt{\pgfpicture\makeatletter\hbox{\hskip-31.40115pt\lower 167.10136pt\hbox to0.0pt{\pgfsys@beginscope\pgfsys@invoke{ }\definecolor{pgfstrokecolor}{rgb}{0,0,0}\pgfsys@color@rgb@stroke{0}{0}{0}\pgfsys@invoke{ }\pgfsys@color@rgb@fill{0}{0}{0}\pgfsys@invoke{ }\pgfsys@setlinewidth{0.4pt}\pgfsys@invoke{ }\nullfont\hbox to0.0pt{\pgfsys@beginscope\pgfsys@invoke{ }{{}} {}{{}}{} {}{}{}\pgfsys@moveto{31.86707pt}{167.30136pt}\pgfsys@lineto{31.86707pt}{207.13504pt}\pgfsys@stroke\pgfsys@invoke{ }{\pgfsys@beginscope\pgfsys@invoke{ } {}{{}{}}{}{}{}{{}}{{}}{{}{}}{{}{}}{{{{}{}{{}} }}{{}}}{{{{}{}{{}} }}{{}}}{{{{}{}{{}} }}{{}}}{{{{}{}{{}} }}{{}}\pgfsys@beginscope\pgfsys@invoke{ } {\pgfsys@beginscope\pgfsys@invoke{ } {{}} {{}{{{}}{{{}}{\pgfsys@beginscope\pgfsys@invoke{ }\pgfsys@transformcm{0.0}{1.0}{-1.0}{0.0}{31.86707pt}{187.20988pt}\pgfsys@invoke{ }\pgfsys@invoke{ \lxSVG@closescope }\pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}{{}}}} \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}\pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}{{{{}{}{{}} }}{{}}}{{{{}{}{{}} }}{{}}}{{{{}{}{{}} }}{{}} {{{}}} }{{}{}}{{}{}}{{{{}{}{{}} }}{{}} {{{}}} } \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope} {{}}\hbox{\hbox{{\pgfsys@beginscope\pgfsys@invoke{ }{{}{}{{ {}{}}}{ {}{}} {{}{{}}}{{}{}}{}{{}{}} { }{{{{}}\pgfsys@beginscope\pgfsys@invoke{ }\pgfsys@transformcm{1.0}{0.0}{0.0}{1.0}{34.73416pt}{185.71126pt}\pgfsys@invoke{ }\hbox{{\definecolor{pgfstrokecolor}{rgb}{0,0,0}\pgfsys@color@rgb@stroke{0}{0}{0}\pgfsys@invoke{ }\pgfsys@color@rgb@fill{0}{0}{0}\pgfsys@invoke{ }\hbox{{\scriptsize$c$}} }}\pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}} \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}} \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope{}{}{}\hss}\pgfsys@discardpath\pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope\hss}}\lxSVG@closescope\endpgfpicture}}\>\end{matrix}\Biggr{\rangle},

\mathcal{T}\Biggl{(}\begin{matrix}\frac{\sqrt{D}}{\mathrm{d}_{A}}\Biggl{|}\;\begin{matrix}\leavevmode\hbox to29.88pt{\vbox to40.23pt{\pgfpicture\makeatletter\hbox{\hskip-28.87685pt\lower 167.10136pt\hbox to0.0pt{\pgfsys@beginscope\pgfsys@invoke{ }\definecolor{pgfstrokecolor}{rgb}{0,0,0}\pgfsys@color@rgb@stroke{0}{0}{0}\pgfsys@invoke{ }\pgfsys@color@rgb@fill{0}{0}{0}\pgfsys@invoke{ }\pgfsys@setlinewidth{0.4pt}\pgfsys@invoke{ }\nullfont\hbox to0.0pt{\pgfsys@beginscope\pgfsys@invoke{ }{{}} {}{{}}{}{{}}{}{{}}{}{}{}{{}}{}{{}}{}{}{}{{}}{}{{}}{}{}{}\pgfsys@beginscope\pgfsys@invoke{ }\pgfsys@setlinewidth{1.2pt}\pgfsys@invoke{ }{}\pgfsys@moveto{43.81699pt}{179.25159pt}\pgfsys@curveto{48.59714pt}{180.12805pt}{53.37698pt}{181.02428pt}{55.76721pt}{183.2349pt}\pgfsys@curveto{58.15714pt}{185.44582pt}{58.15714pt}{188.99089pt}{55.76721pt}{191.20181pt}\pgfsys@curveto{53.37698pt}{193.41243pt}{48.59714pt}{194.30865pt}{43.81699pt}{195.18512pt}\pgfsys@stroke\pgfsys@invoke{ } \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope{}{{}}{}{{}}{}{{}}{}{}{}{{}}{}{{}}{}{}{}{{}}{}{{}}{}{}{}\pgfsys@beginscope\pgfsys@invoke{ }\pgfsys@setlinewidth{1.2pt}\pgfsys@invoke{ }{}\pgfsys@moveto{43.81699pt}{179.25159pt}\pgfsys@curveto{39.03714pt}{180.12805pt}{34.25697pt}{181.02428pt}{31.86707pt}{183.2349pt}\pgfsys@curveto{29.47684pt}{185.44582pt}{29.47684pt}{188.99089pt}{31.86707pt}{191.20181pt}\pgfsys@curveto{34.25697pt}{193.41243pt}{39.03714pt}{194.30865pt}{43.81699pt}{195.18512pt}\pgfsys@stroke\pgfsys@invoke{ } \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope{}{{}}{} {}{}{}\pgfsys@moveto{43.81699pt}{195.18512pt}\pgfsys@lineto{43.81699pt}{207.13504pt}\pgfsys@stroke\pgfsys@invoke{ }{\pgfsys@beginscope\pgfsys@invoke{ } {}{{}{}}{}{}{}{{}}{{}}{{}{}}{{}{}}{{{{}{}{{}} }}{{}}}{{{{}{}{{}} }}{{}}}{{{{}{}{{}} }}{{}}}{{{{}{}{{}} }}{{}}\pgfsys@beginscope\pgfsys@invoke{ } {\pgfsys@beginscope\pgfsys@invoke{ } {{}} {{}{{{}}{{{}}{\pgfsys@beginscope\pgfsys@invoke{ }\pgfsys@transformcm{0.0}{1.0}{-1.0}{0.0}{43.81699pt}{199.75758pt}\pgfsys@invoke{ }\pgfsys@invoke{ \lxSVG@closescope }\pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}{{}}}} \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}\pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}{{{{}{}{{}} }}{{}}}{{{{}{}{{}} }}{{}}}{{{{}{}{{}} }}{{}} {{{}}} }{{}{}}{{}{}}{{{{}{}{{}} }}{{}} {{{}}} } \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope} {{}}\hbox{\hbox{{\pgfsys@beginscope\pgfsys@invoke{ }{{}{}{{ {}{}}}{ {}{}} {{}{{}}}{{}{}}{}{{}{}} { }{{{{}}\pgfsys@beginscope\pgfsys@invoke{ }\pgfsys@transformcm{1.0}{0.0}{0.0}{1.0}{46.68408pt}{199.65329pt}\pgfsys@invoke{ }\hbox{{\definecolor{pgfstrokecolor}{rgb}{0,0,0}\pgfsys@color@rgb@stroke{0}{0}{0}\pgfsys@invoke{ }\pgfsys@color@rgb@fill{0}{0}{0}\pgfsys@invoke{ }\hbox{{\scriptsize$c$}} }}\pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}} \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}} {}{{}}{} {}{}{}\pgfsys@moveto{43.81699pt}{167.30136pt}\pgfsys@lineto{43.81699pt}{179.25159pt}\pgfsys@stroke\pgfsys@invoke{ }{\pgfsys@beginscope\pgfsys@invoke{ } {}{{}{}}{}{}{}{{}}{{}}{{}{}}{{}{}}{{{{}{}{{}} }}{{}}}{{{{}{}{{}} }}{{}}}{{{{}{}{{}} }}{{}}}{{{{}{}{{}} }}{{}}\pgfsys@beginscope\pgfsys@invoke{ } {\pgfsys@beginscope\pgfsys@invoke{ } {{}} {{}{{{}}{{{}}{\pgfsys@beginscope\pgfsys@invoke{ }\pgfsys@transformcm{0.0}{1.0}{-1.0}{0.0}{43.81699pt}{171.87401pt}\pgfsys@invoke{ }\pgfsys@invoke{ \lxSVG@closescope }\pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}{{}}}} \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}\pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}{{{{}{}{{}} }}{{}}}{{{{}{}{{}} }}{{}}}{{{{}{}{{}} }}{{}} {{{}}} }{{}{}}{{}{}}{{{{}{}{{}} }}{{}} {{{}}} } \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope} {{}}\hbox{\hbox{{\pgfsys@beginscope\pgfsys@invoke{ }{{}{}{{ {}{}}}{ {}{}} {{}{{}}}{{}{}}{}{{}{}} { }{{{{}}\pgfsys@beginscope\pgfsys@invoke{ }\pgfsys@transformcm{1.0}{0.0}{0.0}{1.0}{46.68408pt}{171.76953pt}\pgfsys@invoke{ }\hbox{{\definecolor{pgfstrokecolor}{rgb}{0,0,0}\pgfsys@color@rgb@stroke{0}{0}{0}\pgfsys@invoke{ }\pgfsys@color@rgb@fill{0}{0}{0}\pgfsys@invoke{ }\hbox{{\scriptsize$c$}} }}\pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}} \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}} {}{{}}{}{{{}} {}{}{}{}{}{}{}{} }{}\pgfsys@moveto{43.81699pt}{179.25159pt}\pgfsys@moveto{45.41035pt}{179.25159pt}\pgfsys@curveto{45.41035pt}{180.13158pt}{44.69698pt}{180.84496pt}{43.81699pt}{180.84496pt}\pgfsys@curveto{42.937pt}{180.84496pt}{42.22362pt}{180.13158pt}{42.22362pt}{179.25159pt}\pgfsys@curveto{42.22362pt}{178.3716pt}{42.937pt}{177.65822pt}{43.81699pt}{177.65822pt}\pgfsys@curveto{44.69698pt}{177.65822pt}{45.41035pt}{178.3716pt}{45.41035pt}{179.25159pt}\pgfsys@closepath\pgfsys@moveto{43.81699pt}{179.25159pt}\pgfsys@fillstroke\pgfsys@invoke{ } {}{{}}{}{{{}} {}{}{}{}{}{}{}{} }{}\pgfsys@moveto{43.81699pt}{195.18512pt}\pgfsys@moveto{45.41035pt}{195.18512pt}\pgfsys@curveto{45.41035pt}{196.06511pt}{44.69698pt}{196.77849pt}{43.81699pt}{196.77849pt}\pgfsys@curveto{42.937pt}{196.77849pt}{42.22362pt}{196.06511pt}{42.22362pt}{195.18512pt}\pgfsys@curveto{42.22362pt}{194.30513pt}{42.937pt}{193.59175pt}{43.81699pt}{193.59175pt}\pgfsys@curveto{44.69698pt}{193.59175pt}{45.41035pt}{194.30513pt}{45.41035pt}{195.18512pt}\pgfsys@closepath\pgfsys@moveto{43.81699pt}{195.18512pt}\pgfsys@fillstroke\pgfsys@invoke{ } \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope{}{}{}\hss}\pgfsys@discardpath\pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope\hss}}\lxSVG@closescope\endpgfpicture}}\>\end{matrix}\Biggr{\rangle}\end{matrix}\Biggr{)}\;=\;\Biggl{|}\;\begin{matrix}\leavevmode\hbox to9.7pt{\vbox to40.23pt{\pgfpicture\makeatletter\hbox{\hskip-31.40115pt\lower 167.10136pt\hbox to0.0pt{\pgfsys@beginscope\pgfsys@invoke{ }\definecolor{pgfstrokecolor}{rgb}{0,0,0}\pgfsys@color@rgb@stroke{0}{0}{0}\pgfsys@invoke{ }\pgfsys@color@rgb@fill{0}{0}{0}\pgfsys@invoke{ }\pgfsys@setlinewidth{0.4pt}\pgfsys@invoke{ }\nullfont\hbox to0.0pt{\pgfsys@beginscope\pgfsys@invoke{ }{{}} {}{{}}{} {}{}{}\pgfsys@moveto{31.86707pt}{167.30136pt}\pgfsys@lineto{31.86707pt}{207.13504pt}\pgfsys@stroke\pgfsys@invoke{ }{\pgfsys@beginscope\pgfsys@invoke{ } {}{{}{}}{}{}{}{{}}{{}}{{}{}}{{}{}}{{{{}{}{{}} }}{{}}}{{{{}{}{{}} }}{{}}}{{{{}{}{{}} }}{{}}}{{{{}{}{{}} }}{{}}\pgfsys@beginscope\pgfsys@invoke{ } {\pgfsys@beginscope\pgfsys@invoke{ } {{}} {{}{{{}}{{{}}{\pgfsys@beginscope\pgfsys@invoke{ }\pgfsys@transformcm{0.0}{1.0}{-1.0}{0.0}{31.86707pt}{187.20988pt}\pgfsys@invoke{ }\pgfsys@invoke{ \lxSVG@closescope }\pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}{{}}}} \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}\pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}{{{{}{}{{}} }}{{}}}{{{{}{}{{}} }}{{}}}{{{{}{}{{}} }}{{}} {{{}}} }{{}{}}{{}{}}{{{{}{}{{}} }}{{}} {{{}}} } \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope} {{}}\hbox{\hbox{{\pgfsys@beginscope\pgfsys@invoke{ }{{}{}{{ {}{}}}{ {}{}} {{}{{}}}{{}{}}{}{{}{}} { }{{{{}}\pgfsys@beginscope\pgfsys@invoke{ }\pgfsys@transformcm{1.0}{0.0}{0.0}{1.0}{34.73416pt}{185.71126pt}\pgfsys@invoke{ }\hbox{{\definecolor{pgfstrokecolor}{rgb}{0,0,0}\pgfsys@color@rgb@stroke{0}{0}{0}\pgfsys@invoke{ }\pgfsys@color@rgb@fill{0}{0}{0}\pgfsys@invoke{ }\hbox{{\scriptsize$c$}} }}\pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}} \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}} \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope{}{}{}\hss}\pgfsys@discardpath\pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope\hss}}\lxSVG@closescope\endpgfpicture}}\>\end{matrix}\Biggr{\rangle},

\displaystyle T_{1\rightarrow 2}\Biggl{|}\;\begin{matrix}\leavevmode\hbox to34.34pt{\vbox to45.92pt{\pgfpicture\makeatletter\hbox{\hskip-45.52458pt\lower 250.18436pt\hbox to0.0pt{\pgfsys@beginscope\pgfsys@invoke{ }\definecolor{pgfstrokecolor}{rgb}{0,0,0}\pgfsys@color@rgb@stroke{0}{0}{0}\pgfsys@invoke{ }\pgfsys@color@rgb@fill{0}{0}{0}\pgfsys@invoke{ }\pgfsys@setlinewidth{0.4pt}\pgfsys@invoke{ }\nullfont\hbox to0.0pt{\pgfsys@beginscope\pgfsys@invoke{ }{{}} {}{{}}{} {}{} {}{} {}{} {}{} {}\pgfsys@beginscope\pgfsys@invoke{ }\color[rgb]{.75,.75,.75}\definecolor[named]{pgfstrokecolor}{rgb}{.75,.75,.75}\pgfsys@color@gray@stroke{.75}\pgfsys@invoke{ }\pgfsys@color@gray@fill{.75}\pgfsys@invoke{ }\definecolor[named]{pgffillcolor}{rgb}{.75,.75,.75}\pgfsys@moveto{45.52458pt}{250.38435pt}\pgfsys@lineto{62.59598pt}{250.38435pt}\pgfsys@lineto{62.59598pt}{273.14665pt}\pgfsys@lineto{62.59598pt}{295.90851pt}\pgfsys@lineto{45.52458pt}{295.90851pt}\pgfsys@closepath\pgfsys@fill\pgfsys@invoke{ } \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope{}{{}}{} {}{}{}\pgfsys@moveto{62.59598pt}{273.14665pt}\pgfsys@lineto{79.6678pt}{273.14665pt}\pgfsys@stroke\pgfsys@invoke{ }{\pgfsys@beginscope\pgfsys@invoke{ } {}{{}{}}{}{}{}{{}}{{}}{{}{}}{{}{}}{{{{}{}{{}} }}{{}}}{{{{}{}{{}} }}{{}}}{{{{}{}{{}} }}{{}}}{{{{}{}{{}} }}{{}}\pgfsys@beginscope\pgfsys@invoke{ } {\pgfsys@beginscope\pgfsys@invoke{ } {{}} {{}{{{}}{{{}}{\pgfsys@beginscope\pgfsys@invoke{ }\pgfsys@transformcm{1.0}{0.0}{0.0}{1.0}{69.98549pt}{273.14665pt}\pgfsys@invoke{ }\pgfsys@invoke{ \lxSVG@closescope }\pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}{{}}}} \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}\pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}{{{{}{}{{}} }}{{}}}{{{{}{}{{}} }}{{}}}{{{{}{}{{}} }}{{}} {{}} }{{}{}}{{}{}}{{{{}{}{{}} }}{{}} {{}} } \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope} {{}}\hbox{\hbox{{\pgfsys@beginscope\pgfsys@invoke{ }{{}{}{{ {}{}}}{ {}{}} {{}{{}}}{{}{}}{}{{}{}} { }{{{{}}\pgfsys@beginscope\pgfsys@invoke{ }\pgfsys@transformcm{1.0}{0.0}{0.0}{1.0}{68.30185pt}{266.01161pt}\pgfsys@invoke{ }\hbox{{\definecolor{pgfstrokecolor}{rgb}{0,0,0}\pgfsys@color@rgb@stroke{0}{0}{0}\pgfsys@invoke{ }\pgfsys@color@rgb@fill{0}{0}{0}\pgfsys@invoke{ }\hbox{{\scriptsize$a_{1}$}} }}\pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}} \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}} {}{{}}{} {}{}{}\pgfsys@moveto{62.59598pt}{250.38435pt}\pgfsys@lineto{62.59598pt}{273.14665pt}\pgfsys@stroke\pgfsys@invoke{ }{\pgfsys@beginscope\pgfsys@invoke{ } {}{{}{}}{}{}{}{{}}{{}}{{}{}}{{}{}}{{{{}{}{{}} }}{{}}}{{{{}{}{{}} }}{{}}}{{{{}{}{{}} }}{{}}}{{{{}{}{{}} }}{{}}\pgfsys@beginscope\pgfsys@invoke{ } {\pgfsys@beginscope\pgfsys@invoke{ } {{}} {{}{{{}}{{{}}{\pgfsys@beginscope\pgfsys@invoke{ }\pgfsys@transformcm{0.0}{1.0}{-1.0}{0.0}{62.59598pt}{260.90364pt}\pgfsys@invoke{ }\pgfsys@invoke{ \lxSVG@closescope }\pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}{{}}}} \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}\pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}{{{{}{}{{}} }}{{}}}{{{{}{}{{}} }}{{}}}{{{{}{}{{}} }}{{}} {{{}}} }{{}{}}{{}{}}{{{{}{}{{}} }}{{}} {{{}}} } \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope} {{}}\hbox{\hbox{{\pgfsys@beginscope\pgfsys@invoke{ }{{}{}{{ {}{}}}{ {}{}} {{}{{}}}{{}{}}{}{{}{}} { }{{{{}}\pgfsys@beginscope\pgfsys@invoke{ }\pgfsys@transformcm{1.0}{0.0}{0.0}{1.0}{55.13054pt}{259.45695pt}\pgfsys@invoke{ }\hbox{{\definecolor{pgfstrokecolor}{rgb}{0,0,0}\pgfsys@color@rgb@stroke{0}{0}{0}\pgfsys@invoke{ }\pgfsys@color@rgb@fill{0}{0}{0}\pgfsys@invoke{ }\hbox{{\scriptsize$i$}} }}\pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}} \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}} {}{{}}{} {}{}{}\pgfsys@moveto{62.59598pt}{273.14665pt}\pgfsys@lineto{62.59598pt}{295.90851pt}\pgfsys@stroke\pgfsys@invoke{ }{\pgfsys@beginscope\pgfsys@invoke{ } {}{{}{}}{}{}{}{{}}{{}}{{}{}}{{}{}}{{{{}{}{{}} }}{{}}}{{{{}{}{{}} }}{{}}}{{{{}{}{{}} }}{{}}}{{{{}{}{{}} }}{{}}\pgfsys@beginscope\pgfsys@invoke{ } {\pgfsys@beginscope\pgfsys@invoke{ } {{}} {{}{{{}}{{{}}{\pgfsys@beginscope\pgfsys@invoke{ }\pgfsys@transformcm{0.0}{1.0}{-1.0}{0.0}{62.59598pt}{283.66568pt}\pgfsys@invoke{ }\pgfsys@invoke{ \lxSVG@closescope }\pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}{{}}}} \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}\pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}{{{{}{}{{}} }}{{}}}{{{{}{}{{}} }}{{}}}{{{{}{}{{}} }}{{}} {{{}}} }{{}{}}{{}{}}{{{{}{}{{}} }}{{}} {{{}}} } \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope} {{}}\hbox{\hbox{{\pgfsys@beginscope\pgfsys@invoke{ }{{}{}{{ {}{}}}{ {}{}} {{}{{}}}{{}{}}{}{{}{}} { }{{{{}}\pgfsys@beginscope\pgfsys@invoke{ }\pgfsys@transformcm{1.0}{0.0}{0.0}{1.0}{54.69467pt}{282.8998pt}\pgfsys@invoke{ }\hbox{{\definecolor{pgfstrokecolor}{rgb}{0,0,0}\pgfsys@color@rgb@stroke{0}{0}{0}\pgfsys@invoke{ }\pgfsys@color@rgb@fill{0}{0}{0}\pgfsys@invoke{ }\hbox{{\scriptsize$j$}} }}\pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}} \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}} \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope{}{}{}\hss}\pgfsys@discardpath\pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope\hss}}\lxSVG@closescope\endpgfpicture}}\>\end{matrix}\Biggr{\rangle}

\displaystyle T_{1\rightarrow 2}\Biggl{|}\;\begin{matrix}\leavevmode\hbox to34.34pt{\vbox to45.92pt{\pgfpicture\makeatletter\hbox{\hskip-45.52458pt\lower 250.18436pt\hbox to0.0pt{\pgfsys@beginscope\pgfsys@invoke{ }\definecolor{pgfstrokecolor}{rgb}{0,0,0}\pgfsys@color@rgb@stroke{0}{0}{0}\pgfsys@invoke{ }\pgfsys@color@rgb@fill{0}{0}{0}\pgfsys@invoke{ }\pgfsys@setlinewidth{0.4pt}\pgfsys@invoke{ }\nullfont\hbox to0.0pt{\pgfsys@beginscope\pgfsys@invoke{ }{{}} {}{{}}{} {}{} {}{} {}{} {}{} {}\pgfsys@beginscope\pgfsys@invoke{ }\color[rgb]{.75,.75,.75}\definecolor[named]{pgfstrokecolor}{rgb}{.75,.75,.75}\pgfsys@color@gray@stroke{.75}\pgfsys@invoke{ }\pgfsys@color@gray@fill{.75}\pgfsys@invoke{ }\definecolor[named]{pgffillcolor}{rgb}{.75,.75,.75}\pgfsys@moveto{45.52458pt}{250.38435pt}\pgfsys@lineto{62.59598pt}{250.38435pt}\pgfsys@lineto{62.59598pt}{273.14665pt}\pgfsys@lineto{62.59598pt}{295.90851pt}\pgfsys@lineto{45.52458pt}{295.90851pt}\pgfsys@closepath\pgfsys@fill\pgfsys@invoke{ } \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope{}{{}}{} {}{}{}\pgfsys@moveto{62.59598pt}{273.14665pt}\pgfsys@lineto{79.6678pt}{273.14665pt}\pgfsys@stroke\pgfsys@invoke{ }{\pgfsys@beginscope\pgfsys@invoke{ } {}{{}{}}{}{}{}{{}}{{}}{{}{}}{{}{}}{{{{}{}{{}} }}{{}}}{{{{}{}{{}} }}{{}}}{{{{}{}{{}} }}{{}}}{{{{}{}{{}} }}{{}}\pgfsys@beginscope\pgfsys@invoke{ } {\pgfsys@beginscope\pgfsys@invoke{ } {{}} {{}{{{}}{{{}}{\pgfsys@beginscope\pgfsys@invoke{ }\pgfsys@transformcm{1.0}{0.0}{0.0}{1.0}{69.98549pt}{273.14665pt}\pgfsys@invoke{ }\pgfsys@invoke{ \lxSVG@closescope }\pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}{{}}}} \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}\pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}{{{{}{}{{}} }}{{}}}{{{{}{}{{}} }}{{}}}{{{{}{}{{}} }}{{}} {{}} }{{}{}}{{}{}}{{{{}{}{{}} }}{{}} {{}} } \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope} {{}}\hbox{\hbox{{\pgfsys@beginscope\pgfsys@invoke{ }{{}{}{{ {}{}}}{ {}{}} {{}{{}}}{{}{}}{}{{}{}} { }{{{{}}\pgfsys@beginscope\pgfsys@invoke{ }\pgfsys@transformcm{1.0}{0.0}{0.0}{1.0}{68.30185pt}{266.01161pt}\pgfsys@invoke{ }\hbox{{\definecolor{pgfstrokecolor}{rgb}{0,0,0}\pgfsys@color@rgb@stroke{0}{0}{0}\pgfsys@invoke{ }\pgfsys@color@rgb@fill{0}{0}{0}\pgfsys@invoke{ }\hbox{{\scriptsize$a_{1}$}} }}\pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}} \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}} {}{{}}{} {}{}{}\pgfsys@moveto{62.59598pt}{250.38435pt}\pgfsys@lineto{62.59598pt}{273.14665pt}\pgfsys@stroke\pgfsys@invoke{ }{\pgfsys@beginscope\pgfsys@invoke{ } {}{{}{}}{}{}{}{{}}{{}}{{}{}}{{}{}}{{{{}{}{{}} }}{{}}}{{{{}{}{{}} }}{{}}}{{{{}{}{{}} }}{{}}}{{{{}{}{{}} }}{{}}\pgfsys@beginscope\pgfsys@invoke{ } {\pgfsys@beginscope\pgfsys@invoke{ } {{}} {{}{{{}}{{{}}{\pgfsys@beginscope\pgfsys@invoke{ }\pgfsys@transformcm{0.0}{1.0}{-1.0}{0.0}{62.59598pt}{260.90364pt}\pgfsys@invoke{ }\pgfsys@invoke{ \lxSVG@closescope }\pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}{{}}}} \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}\pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}{{{{}{}{{}} }}{{}}}{{{{}{}{{}} }}{{}}}{{{{}{}{{}} }}{{}} {{{}}} }{{}{}}{{}{}}{{{{}{}{{}} }}{{}} {{{}}} } \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope} {{}}\hbox{\hbox{{\pgfsys@beginscope\pgfsys@invoke{ }{{}{}{{ {}{}}}{ {}{}} {{}{{}}}{{}{}}{}{{}{}} { }{{{{}}\pgfsys@beginscope\pgfsys@invoke{ }\pgfsys@transformcm{1.0}{0.0}{0.0}{1.0}{55.13054pt}{259.45695pt}\pgfsys@invoke{ }\hbox{{\definecolor{pgfstrokecolor}{rgb}{0,0,0}\pgfsys@color@rgb@stroke{0}{0}{0}\pgfsys@invoke{ }\pgfsys@color@rgb@fill{0}{0}{0}\pgfsys@invoke{ }\hbox{{\scriptsize$i$}} }}\pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}} \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}} {}{{}}{} {}{}{}\pgfsys@moveto{62.59598pt}{273.14665pt}\pgfsys@lineto{62.59598pt}{295.90851pt}\pgfsys@stroke\pgfsys@invoke{ }{\pgfsys@beginscope\pgfsys@invoke{ } {}{{}{}}{}{}{}{{}}{{}}{{}{}}{{}{}}{{{{}{}{{}} }}{{}}}{{{{}{}{{}} }}{{}}}{{{{}{}{{}} }}{{}}}{{{{}{}{{}} }}{{}}\pgfsys@beginscope\pgfsys@invoke{ } {\pgfsys@beginscope\pgfsys@invoke{ } {{}} {{}{{{}}{{{}}{\pgfsys@beginscope\pgfsys@invoke{ }\pgfsys@transformcm{0.0}{1.0}{-1.0}{0.0}{62.59598pt}{283.66568pt}\pgfsys@invoke{ }\pgfsys@invoke{ \lxSVG@closescope }\pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}{{}}}} \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}\pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}{{{{}{}{{}} }}{{}}}{{{{}{}{{}} }}{{}}}{{{{}{}{{}} }}{{}} {{{}}} }{{}{}}{{}{}}{{{{}{}{{}} }}{{}} {{{}}} } \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope} {{}}\hbox{\hbox{{\pgfsys@beginscope\pgfsys@invoke{ }{{}{}{{ {}{}}}{ {}{}} {{}{{}}}{{}{}}{}{{}{}} { }{{{{}}\pgfsys@beginscope\pgfsys@invoke{ }\pgfsys@transformcm{1.0}{0.0}{0.0}{1.0}{54.69467pt}{282.8998pt}\pgfsys@invoke{ }\hbox{{\definecolor{pgfstrokecolor}{rgb}{0,0,0}\pgfsys@color@rgb@stroke{0}{0}{0}\pgfsys@invoke{ }\pgfsys@color@rgb@fill{0}{0}{0}\pgfsys@invoke{ }\hbox{{\scriptsize$j$}} }}\pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}} \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}} \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope{}{}{}\hss}\pgfsys@discardpath\pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope\hss}}\lxSVG@closescope\endpgfpicture}}\>\end{matrix}\Biggr{\rangle}

=

\displaystyle T_{2\rightarrow 1}\Biggl{|}\;\begin{matrix}\leavevmode\hbox to40.03pt{\vbox to45.92pt{\pgfpicture\makeatletter\hbox{\hskip-45.52458pt\lower 250.18436pt\hbox to0.0pt{\pgfsys@beginscope\pgfsys@invoke{ }\definecolor{pgfstrokecolor}{rgb}{0,0,0}\pgfsys@color@rgb@stroke{0}{0}{0}\pgfsys@invoke{ }\pgfsys@color@rgb@fill{0}{0}{0}\pgfsys@invoke{ }\pgfsys@setlinewidth{0.4pt}\pgfsys@invoke{ }\nullfont\hbox to0.0pt{\pgfsys@beginscope\pgfsys@invoke{ }{{}} {}{{}}{} {}{} {}{} {}{} {}{} {}\pgfsys@beginscope\pgfsys@invoke{ }\color[rgb]{.75,.75,.75}\definecolor[named]{pgfstrokecolor}{rgb}{.75,.75,.75}\pgfsys@color@gray@stroke{.75}\pgfsys@invoke{ }\pgfsys@color@gray@fill{.75}\pgfsys@invoke{ }\definecolor[named]{pgffillcolor}{rgb}{.75,.75,.75}\pgfsys@moveto{45.52458pt}{250.38435pt}\pgfsys@lineto{62.59598pt}{250.38435pt}\pgfsys@lineto{62.59598pt}{273.14665pt}\pgfsys@lineto{62.59598pt}{295.90851pt}\pgfsys@lineto{45.52458pt}{295.90851pt}\pgfsys@closepath\pgfsys@fill\pgfsys@invoke{ } \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope{}{{}}{} {}{}{}\pgfsys@moveto{62.59598pt}{250.38435pt}\pgfsys@lineto{62.59598pt}{264.61073pt}\pgfsys@stroke\pgfsys@invoke{ }{\pgfsys@beginscope\pgfsys@invoke{ } {}{{}{}}{}{}{}{{}}{{}}{{}{}}{{}{}}{{{{}{}{{}} }}{{}}}{{{{}{}{{}} }}{{}}}{{{{}{}{{}} }}{{}}}{{{{}{}{{}} }}{{}}\pgfsys@beginscope\pgfsys@invoke{ } {\pgfsys@beginscope\pgfsys@invoke{ } {{}} {{}{{{}}{{{}}{\pgfsys@beginscope\pgfsys@invoke{ }\pgfsys@transformcm{0.0}{1.0}{-1.0}{0.0}{62.59598pt}{256.20888pt}\pgfsys@invoke{ }\pgfsys@invoke{ \lxSVG@closescope }\pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}{{}}}} \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}\pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}{{{{}{}{{}} }}{{}}}{{{{}{}{{}} }}{{}}}{{{{}{}{{}} }}{{}} {{{}}} }{{}{}}{{}{}}{{{{}{}{{}} }}{{}} {{{}}} } \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope} {{}}\hbox{\hbox{{\pgfsys@beginscope\pgfsys@invoke{ }{{}{}{{ {}{}}}{ {}{}} {{}{{}}}{{}{}}{}{{}{}} { }{{{{}}\pgfsys@beginscope\pgfsys@invoke{ }\pgfsys@transformcm{1.0}{0.0}{0.0}{1.0}{55.13054pt}{255.18921pt}\pgfsys@invoke{ }\hbox{{\definecolor{pgfstrokecolor}{rgb}{0,0,0}\pgfsys@color@rgb@stroke{0}{0}{0}\pgfsys@invoke{ }\pgfsys@color@rgb@fill{0}{0}{0}\pgfsys@invoke{ }\hbox{{\scriptsize$i$}} }}\pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}} \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}} {}{{}}{} {}{}{}\pgfsys@moveto{62.59598pt}{264.61073pt}\pgfsys@lineto{62.59598pt}{281.68213pt}\pgfsys@stroke\pgfsys@invoke{ }{\pgfsys@beginscope\pgfsys@invoke{ } {}{{}{}}{}{}{}{{}}{{}}{{}{}}{{}{}}{{{{}{}{{}} }}{{}}}{{{{}{}{{}} }}{{}}}{{{{}{}{{}} }}{{}}}{{{{}{}{{}} }}{{}}\pgfsys@beginscope\pgfsys@invoke{ } {\pgfsys@beginscope\pgfsys@invoke{ } {{}} {{}{{{}}{{{}}{\pgfsys@beginscope\pgfsys@invoke{ }\pgfsys@transformcm{0.0}{1.0}{-1.0}{0.0}{62.59598pt}{272.00002pt}\pgfsys@invoke{ }\pgfsys@invoke{ \lxSVG@closescope }\pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}{{}}}} \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}\pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}{{{{}{}{{}} }}{{}}}{{{{}{}{{}} }}{{}}}{{{{}{}{{}} }}{{}} {{{}}} }{{}{}}{{}{}}{{{{}{}{{}} }}{{}} {{{}}} } \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope} {{}}\hbox{\hbox{{\pgfsys@beginscope\pgfsys@invoke{ }{{}{}{{ {}{}}}{ {}{}} {{}{{}}}{{}{}}{}{{}{}} { }{{{{}}\pgfsys@beginscope\pgfsys@invoke{ }\pgfsys@transformcm{1.0}{0.0}{0.0}{1.0}{54.40405pt}{270.71611pt}\pgfsys@invoke{ }\hbox{{\definecolor{pgfstrokecolor}{rgb}{0,0,0}\pgfsys@color@rgb@stroke{0}{0}{0}\pgfsys@invoke{ }\pgfsys@color@rgb@fill{0}{0}{0}\pgfsys@invoke{ }\hbox{{\scriptsize$k$}} }}\pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}} \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}} {}{{}}{} {}{}{}\pgfsys@moveto{62.59598pt}{264.61073pt}\pgfsys@lineto{85.35828pt}{264.61073pt}\pgfsys@stroke\pgfsys@invoke{ }{\pgfsys@beginscope\pgfsys@invoke{ } {}{{}{}}{}{}{}{{}}{{}}{{}{}}{{}{}}{{{{}{}{{}} }}{{}}}{{{{}{}{{}} }}{{}}}{{{{}{}{{}} }}{{}}}{{{{}{}{{}} }}{{}}\pgfsys@beginscope\pgfsys@invoke{ } {\pgfsys@beginscope\pgfsys@invoke{ } {{}} {{}{{{}}{{{}}{\pgfsys@beginscope\pgfsys@invoke{ }\pgfsys@transformcm{1.0}{0.0}{0.0}{1.0}{73.11526pt}{264.61073pt}\pgfsys@invoke{ }\pgfsys@invoke{ \lxSVG@closescope }\pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}{{}}}} \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}\pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}{{{{}{}{{}} }}{{}}}{{{{}{}{{}} }}{{}}}{{{{}{}{{}} }}{{}} {{}} }{{}{}}{{}{}}{{{{}{}{{}} }}{{}} {{}} } \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope} {{}}\hbox{\hbox{{\pgfsys@beginscope\pgfsys@invoke{ }{{}{}{{ {}{}}}{ {}{}} {{}{{}}}{{}{}}{}{{}{}} { }{{{{}}\pgfsys@beginscope\pgfsys@invoke{ }\pgfsys@transformcm{1.0}{0.0}{0.0}{1.0}{71.1473pt}{257.4757pt}\pgfsys@invoke{ }\hbox{{\definecolor{pgfstrokecolor}{rgb}{0,0,0}\pgfsys@color@rgb@stroke{0}{0}{0}\pgfsys@invoke{ }\pgfsys@color@rgb@fill{0}{0}{0}\pgfsys@invoke{ }\hbox{{\scriptsize$a_{2}$}} }}\pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}} \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}} {}{{}}{} {}{}{}\pgfsys@moveto{62.59598pt}{281.68213pt}\pgfsys@lineto{62.59598pt}{295.90851pt}\pgfsys@stroke\pgfsys@invoke{ }{\pgfsys@beginscope\pgfsys@invoke{ } {}{{}{}}{}{}{}{{}}{{}}{{}{}}{{}{}}{{{{}{}{{}} }}{{}}}{{{{}{}{{}} }}{{}}}{{{{}{}{{}} }}{{}}}{{{{}{}{{}} }}{{}}\pgfsys@beginscope\pgfsys@invoke{ } {\pgfsys@beginscope\pgfsys@invoke{ } {{}} {{}{{{}}{{{}}{\pgfsys@beginscope\pgfsys@invoke{ }\pgfsys@transformcm{0.0}{1.0}{-1.0}{0.0}{62.59598pt}{287.50665pt}\pgfsys@invoke{ }\pgfsys@invoke{ \lxSVG@closescope }\pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}{{}}}} \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}\pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}{{{{}{}{{}} }}{{}}}{{{{}{}{{}} }}{{}}}{{{{}{}{{}} }}{{}} {{{}}} }{{}{}}{{}{}}{{{{}{}{{}} }}{{}} {{{}}} } \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope} {{}}\hbox{\hbox{{\pgfsys@beginscope\pgfsys@invoke{ }{{}{}{{ {}{}}}{ {}{}} {{}{{}}}{{}{}}{}{{}{}} { }{{{{}}\pgfsys@beginscope\pgfsys@invoke{ }\pgfsys@transformcm{1.0}{0.0}{0.0}{1.0}{54.69467pt}{287.16753pt}\pgfsys@invoke{ }\hbox{{\definecolor{pgfstrokecolor}{rgb}{0,0,0}\pgfsys@color@rgb@stroke{0}{0}{0}\pgfsys@invoke{ }\pgfsys@color@rgb@fill{0}{0}{0}\pgfsys@invoke{ }\hbox{{\scriptsize$j$}} }}\pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}} \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}} {}{{}}{} {}{}{}\pgfsys@moveto{62.59598pt}{281.68213pt}\pgfsys@lineto{85.35828pt}{281.68213pt}\pgfsys@stroke\pgfsys@invoke{ }{\pgfsys@beginscope\pgfsys@invoke{ } {}{{}{}}{}{}{}{{}}{{}}{{}{}}{{}{}}{{{{}{}{{}} }}{{}}}{{{{}{}{{}} }}{{}}}{{{{}{}{{}} }}{{}}}{{{{}{}{{}} }}{{}}\pgfsys@beginscope\pgfsys@invoke{ } {\pgfsys@beginscope\pgfsys@invoke{ } {{}} {{}{{{}}{{{}}{\pgfsys@beginscope\pgfsys@invoke{ }\pgfsys@transformcm{1.0}{0.0}{0.0}{1.0}{73.11526pt}{281.68213pt}\pgfsys@invoke{ }\pgfsys@invoke{ \lxSVG@closescope }\pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}{{}}}} \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}\pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}{{{{}{}{{}} }}{{}}}{{{{}{}{{}} }}{{}}}{{{{}{}{{}} }}{{}} {{}} }{{}{}}{{}{}}{{{{}{}{{}} }}{{}} {{}} } \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope} {{}}\hbox{\hbox{{\pgfsys@beginscope\pgfsys@invoke{ }{{}{}{{ {}{}}}{ {}{}} {{}{{}}}{{}{}}{}{{}{}} { }{{{{}}\pgfsys@beginscope\pgfsys@invoke{ }\pgfsys@transformcm{1.0}{0.0}{0.0}{1.0}{71.1473pt}{287.06638pt}\pgfsys@invoke{ }\hbox{{\definecolor{pgfstrokecolor}{rgb}{0,0,0}\pgfsys@color@rgb@stroke{0}{0}{0}\pgfsys@invoke{ }\pgfsys@color@rgb@fill{0}{0}{0}\pgfsys@invoke{ }\hbox{{\scriptsize$a_{3}$}} }}\pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}} \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}} \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope{}{}{}\hss}\pgfsys@discardpath\pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope\hss}}\lxSVG@closescope\endpgfpicture}}\>\end{matrix}\Biggr{\rangle}

=

H_{bdry} = - n \sum \overline{Q}_{n} - p \sum \overline{B}_{p}, \overline{B}_{p} = \frac{1}{d _{A}} t \in L_{A} \sum v_{t} \overline{B}_{p}^{t} .

H_{bdry} = - n \sum \overline{Q}_{n} - p \sum \overline{B}_{p}, \overline{B}_{p} = \frac{1}{d _{A}} t \in L_{A} \sum v_{t} \overline{B}_{p}^{t} .

∣ Φ ⟩ = M \sum d_{M} ∣ Φ_{M} ⟩

∣ Φ ⟩ = M \sum d_{M} ∣ Φ_{M} ⟩

GS D = \frac{1}{d _{A}^{2}} s t \sum v_{s} v_{t} i i^{'} j j^{'} \sum d_{i} d_{j} d_{i^{'}} d_{j^{'}}

GS D = \frac{1}{d _{A}^{2}} s t \sum v_{s} v_{t} i i^{'} j j^{'} \sum d_{i} d_{j} d_{i^{'}} d_{j^{'}}

\times a a^{'} b b^{'} \sum v_{a} v_{b} v_{a^{'}} v_{b^{'}} f_{s^{*} a^{'}^{*} a} f_{a^{'} s a^{*}} g_{t^{*} b^{'}^{*} b} g_{b^{'} t b^{*}}

\times G_{t^{*} b^{'}^{*} j^{'}}^{j^{*} i b^{*}} G_{j^{'} b^{'}^{*} i^{'}}^{i^{*} a^{*} j} G_{b^{'}^{*} i^{*} t}^{j^{'} b i^{'}^{*}} G_{j^{'} i^{'}^{*} i}^{s^{*} a^{'}^{*} a} G_{b^{*} j^{'}^{*} j}^{s^{*} i i^{'}^{*}} G_{j^{'}^{*} s^{*} a^{'}^{*}}^{a i j^{*}}

G_{000}^{000} = 1, G_{022}^{022} = G_{222}^{022} = 1/ ϕ,

G_{000}^{000} = 1, G_{022}^{022} = G_{222}^{022} = 1/ ϕ,

G_{222}^{000} = 1/ ϕ, G_{222}^{222} = - 1/ ϕ^{2} .

Peer Reviews

No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.

Videos

No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.

Full text

Boundary Hamiltonian theory for gapped topological orders

Yuting Hu

Department of Physics and Center for Field Theory and Particle Physics, Fudan University, Shanghai 200433, China

[email protected]

Yidun Wan

Department of Physics and Center for Field Theory and Particle Physics, Fudan University, Shanghai 200433, China

Collaborative Innovation Center of Advanced Microstructures, Nanjing 210093, China

[email protected]

Yong-Shi Wu

State Key Laboratory of Surface Physics, Fudan University, Shanghai 200433, China

Department of Physics and Center for Field Theory and Particle Physics, Fudan University, Shanghai 200433, China

Collaborative Innovation Center of Advanced Microstructures, Nanjing 210093, China

Department of Physics and Astronomy, University of Utah, Salt Lake City, Utah, 84112, U.S.A.

[email protected]

Abstract

In this letter, we report our systematic construction of the lattice Hamiltonian model of topological orders on open surfaces, with explicit boundary terms. We do this mainly for the Levin-Wen string-net model. The full Hamiltonian in our approach yields a topologically protected, gapped energy spectrum, with the corresponding wave functions robust under topology-preserving transformations of the lattice of the system. We explicitly present the wavefunctions of the ground states and boundary elementary excitations. We construct the creation and hopping operators of boundary quasi-particles. We find that given a bulk topological order, the gapped boundary conditions are classified by Frobenius algebras in its input data. Emergent topological properties of the ground states and boundary excitations are characterized by (bi-) modules over Frobenius algebras.

pacs:

71.10.-w, 05.30.Pr, 71.10.Hf, 02.20.Uw

Introduction. Matter phases with intrinsic topological orders (ITO) not only extend our understanding of phases of matter far beyond the Landau-Ginzburg paradigmWen (1989, 1991) but also may support robust quantum memoriesDennis et al. (2002) and topological quantum computationKitaev (2003); Freedman et al. (2003); Stern and Halperin (2006); Nayak et al. (2008). Most studies of the dynamical theories of 2d ITO have been unfortunately limited to closed surfaces (except Ref. [Beigi et al., 2011; IMZ2016, ; IMZ2017, ] for the Kitaev model). On the one hand, closed surface materials are hardly realizable in experiments. This situation hinders the realistic applicability of ITO. On the other hand, a bulk Hamiltonian theory is incomplete for a system on open surfaces, if its boundary conditions are not specified. In this letter, we report our explicit and systematic construction of a wide class of boundary Hamiltonians for string-net models, to specify the boundary conditions and to be added to the bulk Levin-Wen bulk HamiltonianLevin and Wen (2005). We present explicit ground-state wavefunctions and construct creation and hopping operators of boundary excitations in our new approach. (We have also systematically constructed the boundary Hamiltonian of the twisted quantum double modelHu et al. (2013) of ITO, which is to be reported elsewhere.)

We shall make heavy use of the graphic techniques, of which details can be found in original referencesLevin and Wen (2005); Hu et al. (2012). With the graphic rules, a graph equality can be unambiguously turned into usual algebraic equations involving tensors. Our notations follow the conventions in [Hu et al., 2012].

Preliminaries. Non-chiral bulk intrinsic topological phases in (2+1)-D can be studied by effective discrete topological quantum field theories, such as the LW model, an exactly solvable Hamiltonian model defined on 2d spatial trivalent graphs. The LW model is essentially a discrete gauge theory, defined using a unitary fusion category (UFC) $\mathcal{C}$ , e.g. the collection of all representations of a finite or quantum group, as input data (see, e.g., Ref.Wu, 2016). For simplicity, we assume $\mathcal{C}$ is multiplicity free. The Hamiltonian is defined in terms of the $6j$ -symbols over $\mathcal{C}$ . The topological properties of the LW model, such as the ground state degeneracy (GSD) and the topological quantum numbers of the quasi-particle excitations are ensured by their invariance under the change of $\Gamma$ by the Pachner moves. There are three elementary Pachner moves, associated with which are respectively three unitary linear mapsHu et al. (2012) in the ground-state subspace :

[TABLE]

where $j_{i}$ ’s are inequivalent simple objects (usually called string-types) of $\mathcal{C}$ , $G$ ’s are the symmetric $6j$ -symbolsHu et al. (2012) over $\mathcal{C}$ with normalization $v_{j}=1/G^{j^{*}j0}_{00j}$ , and $D=\sum_{j}v_{j}^{4}$ . These operators yield a unique transformation between the Hilbert spaces before and after the Pachner moves. We shall denote the unique transformation by $\mathcal{T}$ , which is independent of the path of Pachner moves involved.

Frobenius algebra and boundary Hamiltonian. We propose to use the Frobenius algebras in a UFC to specify boundary conditions and construct boundary terms to be added to the LW Hamiltonian. Let $G$ be a symmetric $6j$ -symbol over the string-type set $L$ , the set of all (inequivalent) simple objects of $\mathcal{C}$ . A Frobenius algebra $A$ (in $\mathcal{C}$ ) is a subset $L_{A}$ of $L$ equipped with a multiplication $f_{abc^{*}}$ , satisfying

[TABLE]

where all indices take values in $L_{A}$ . Due to the symmetry conditions of the symmetric $6j$ -symbolsHu et al. (2012), the multiplication have the following defining properties.

[TABLE]

where $\mathrm{d}_{A}=\sum_{a\in L_{A}}\mathrm{d}_{a}$ is the quantum dimension of $A$ .

We can express the associative and strong conditions in a compact way graphically:

[TABLE]

Here each vertex carries a multiplication, and an unlabeled thick line implies a summation over its label in $L_{A}$ . We take this convention in graphical equations throughout the letter.

For simplicity, let us consider a system on an open surface, outside of which is the vacuum. To each boundary (component) A, we associate a Frobenius algebra $L_{A}$ , and attach an open edge (or a tail), labeled by a string-type $a\in L_{A}$ , from the vacuum side to each boundary edge. See Fig. 1(a), in which the grey region represents the bulk of the graph, including the edges along the rim of the grey region. Throughout the paper, we shall adopt this convention.

Similar to transformations (Boundary Hamiltonian theory for gapped topological orders), we can use the Frobenius algebra $A$ to define unitary transformations associated with 1D Pachner moves on the boundaries of a graph: (with $u_{a}=\sqrt{v_{a}}$ )

[TABLE]

where $\mathrm{u}_{a}=\sqrt{\mathrm{v}_{a}}$ (sign of square root may be arbitrarily chosen but if fixed once then for all).

With the boundaries, the topological feature of the entire model is described as follows. The ground-state Hilbert space is invariant under any transformation composed of $T_{2\rightarrow 2},T_{1\rightarrow 3},T_{3\rightarrow 1}$ in the bulk and $T_{1\rightarrow 2},T_{2\rightarrow 1}$ on the boundary. Associativity ensures that a product of such transformations is unique. We shall show the uniqueness for boundary Pachner moves $T_{1\rightarrow 2},T_{2\rightarrow 1}$ , as that for bulk Pachner moves shown in Ref.Hu et al. (2012).

Without loss of generality, consider the transformation from $N_{1}$ open edges to $N_{2}$ open edges (See Fig. 2). The composition of $T_{1\rightarrow 2}$ and $T_{2\rightarrow 1}$ amounts a graph structure with $N_{1}$ input edges and $N_{2}$ output edges, where each trivalent vertex is attached with a multiplication. From the associativity condition, the transformation presented by the graph in the dashed box is unique.

In ground states, the boundary degrees of freedom are restricted to $L_{A}$ . The boundary Hamiltonian reads

[TABLE]

Here, $\overline{Q}_{n}$ is a boundary edge operator acting on open edge $n$ , which projects the boundary d.o.f. to $L_{A}\subseteq L$ :

[TABLE]

And $\overline{B}_{p}^{t}$ acts on a boundary open plaquette between a pair of nearest neighboring open edges:

[TABLE]

Following the same convention as in eq. (5), We can write $\overline{B}_{p}$ in a more compact fashion as

[TABLE]

The marked ( $\times$ ) plaquette will be annihilated by the boundary Pachner moves to generate the coefficients in Eq. (9).

Boundary terms $\overline{Q}_{v}$ and $\overline{B}_{p}$ are shown to be projections commuting with bulk terms $Q_{v^{\prime}},B_{p^{\prime}}$ and other boundary terms $\overline{Q}_{v^{\prime\prime}},\overline{B}_{p^{\prime\prime}}$ . Correspondence properties between bulk and boundary operators are summarized in Table. 1.

Ground states. A (right) module over Frobenius algebra $A$ is a tensor $\rho^{a}_{j_{1}j_{2}}$ , with $a\in L_{A}$ and $j_{1},j_{2}\in L$ , satisfying

[TABLE]

Here a box $\rho$ at a vertex means that the tensor $\rho$ is associated with the vertex (e.g., $\rho^{c}_{j_{1}j_{2}}$ on RHS, with a summation over $c$ ). We denote all modules over $A$ by $Mod_{A}$ .

The local ground states on a boundary component $A$ is characterized by $Mod_{A}$ . See Fig. 3. The basis (for $M\in Mod_{A}$ ) is given by

[TABLE]

Nevertheless, $\Phi_{M}$ may not belong to a ground state of the entire system. The global constraint for no quasiparticle in the bulk may mix local basis on different boundary components. In the following, without loss of generality, we consider the cases on a disk and a cylinder, respectively, with no quasiparticles in the bulk.

On a disk, we can apply the $\mathcal{T}$ transformation to shrink the bulk graph to a single plaquette, bounded by a circle with outward open edges, as in the equation below. The ground state is non-degenerate and expressed by

[TABLE]

A cylinder with $A$ - and $B$ -boundaries can be effectively studied on a circular wall (see Fig. 1). The ground states may be degenerate. The ground state degeneracy (GSD) in terms of $f$ and $G$ is explicitly computed by

[TABLE]

The global constraint on the $Mod_{A}$ and $Mod_{B}$ basis leads to a (slightly generalized) $(A,B)$ -bimodule structure $P$ satisfying

[TABLE]

for $j_{1},j_{2}\in L$ , $a\in L_{A}$ , and $b,c\in L_{B}$ . Note that a box $P$ is not a $4$ -valent vertex but a composition of two trivalent vertices (in general, two trivalent vertices may carry extra indices). We denote The collection of all $(A，B）$ -bimodules by $Mod_{A|B}$ . GSD equals the total number of $(A,B)$ -bimodules. The ground state basis is similarly expressed as in eq. (14), with $\rho$ replaced by $P$ .

Boundary Excitations. The elementary boundary excitations are characterized by topological quasiparticles. On an $A$ -boundary component, quasiparticle species are identified with the $(A,A)$ -bimodules. We construct a creation operator $W_{M}$ to create a pair of quasiparticles:

[TABLE]

for $M\in Mod_{A|A}$ . In this example, the operator $W_{M}$ creates an $M$ -type and $M^{*}$ -type quasiparticles on both neighboring open edges of the middle open edge. By acting creation operators on ground states, we get an elementary boundary excitation basis $W_{M}\left|{\Phi}\right\rangle$ .

Quasiparticles can move along the boundary under the hopping operator $H_{M}$ defined by

[TABLE]

that hops an $M$ -type quasiparticle initially at the bottom open edge upward across the edge.

An example. Consider the input data for Fibonacci model has Label set $L=\{0,2\}$ , sometimes denoted by $\{\mathbf{1},\tau\}$ . Let $\phi=\frac{1+\sqrt{5}}{2}$ be the golden ratio. The quantum dimensions are $\mathrm{d}_{0}=1$ and $\mathrm{d}_{2}=\phi$ . The fusion rules are $\delta_{000}=\delta_{022}=\delta_{222}=1,\delta_{002}=0$ . and the nonzero independent $6j$ -symbols $G$ are given by

[TABLE]

There are two Frobenius algebras: $A_{1}=0$ , or $A_{2}=0\oplus 2$ . Each $j\in L$ is an $A_{1}-$ module, with action $[\rho_{j}]^{0}_{jj}=1$ . For $A_{2}$ , $L_{A}=\{0,2\}$ , and $f_{222}=\phi^{-3/4}$ . The Frobenius algebra $A_{2}$ has two modules: (1) $M_{0}$ is $A_{2}$ itself, with $[\rho_{M_{0}}]^{a}_{jk}=f_{ak^{*}j}$ ; (2). $M_{1}=2$ , with $[\rho_{M_{1}}]^{2}_{22}=-\phi^{1/4}$ . The two Frobenius algebras $A_{1}$ and $A_{2}$ give rise to equivalent boundary conditions. They both lead to two boundary quasiparticles species and $GSD=2$ on cylinder.

Discussion. Here we first elaborate on our motivations. Gapping conditions and GSD of Abelian ITOs on open surfaces have recently been understoodKitaev and Kong (2012); Levin (2013); Kong (2014); Barkeshli et al. (2013a, b); Wang and Wen (2012); Hung and Wan (2013); Iadecola et al. (2014); Barkeshli et al. (2014a, b). For non-Abelian ITOs on open surfaces, the gapping conditions and GSD counting have recently been solved by the mechanism of anyon condensationHung and Wan (2015a, b) and by solving certain algebraic equationsLan et al. (2015). These studies of ITOs on open surfaces are however algebraic and non-dynamical, which limits their applicability, because they lack a Hamiltonian with explicit boundary terms.

On the other hand, the ground states of an ITO can be effectively described by a continuum Chern-Simons gauge theory. A Chern-Simons theory on an open surface must contain a boundary term Elitzur et al. (1989), otherwise the bulk Chern-Simons action is not gauge invariant in the presence of spatial boundary. This fact is usually interpreted as the holographic correspondence between the bulk and the boundary. Such holography exists generally in ITOs in two spatial dimensions. Dynamical theories of topological orders are nevertheless usually formulated using discrete Hamiltonian models. It is thus desirable to demonstrate how the holographic principle works in discrete dynamical models for 2d ITOs.

Our approach has the following advantages over the existing approaches to gapped ITOs on open surfaces. First, our approach depends on the input data of the model, respecting the usual Hamiltonian dynamics. Second, our boundary Hamiltonians, together with the input data, automatically classifies the gapped boundaries and domain walls of ITOs. Third, by solving the total Hamiltonian, we can obtain the explicit wave functions of the ground and excited states, all in the form of tensor network states. This will provide us a very detailed dynamic understanding of the stationary topological states of the whole bounded system, especially about what is happening on and near the boundary. For example, our model will enable us to study the boundary excitations explicitly. Also anyon condensation will be understood at more microscopic scales. These studies will be reported later separately. Moreover, certain AbelianLuo et al. (2016a) and non-Abelian ITOsLesanovsky and Katsura (2012); Li et al. (2017) on the torus have recently been experimentally simulated on physical systems by imposing periodic boundary conditions. Our approach would make experimental simulation of ITOs on open surfaces possible, and may help construct new quantum computing codes using the boundary states.

Note added: In preparation of this letter, we noticed a very recent work Wang et al. (2017) by Wang, Wen and Witten that constructed the gapped interfaces between symmetry protected topological and symmetry enriched topological states for finite groups.

Acknowledgements.

We appreciate Zhenghan Wang, Liang Kong, Ren Pankovich, Zhu-Xi Luo, and Ethan Lake for discussions.

Bibliography32

The reference list from the paper itself. Each links out to its DOI / PubMed record.

1Wen (1989) Wen X-G 1989 Physical Review B 40 7387.
2Wen (1991) Wen X-G 1991 Int. J. Mod. Phys. B 5 1641.
3Dennis et al. (2002) Dennis E Kitaev A Landahl A and Preskill J 2002 Journal of Mathematical Physics 43 4452.
4Kitaev (2003) Kitaev A 2003 Annals of Physics 303 2 .
5Freedman et al. (2003) Freedman M Kitaev A Preskill J and Wang Z 2003 Bull. Amer. Math. Soc. 40 31.
6Stern and Halperin (2006) Stern A and Halperin B Phys Rev Lett 96 016802.
7Nayak et al. (2008) Nayak C Stern A Freedman M and Das Sarma S 2008 Rev Mod Phys 80 1083.
8Beigi et al. (2011) Beigi S Shor P and Whalen D 2011 Comm Math Phys 306 663.