1: \documentclass[aps,prb,superscriptaddress,showpacs,preprint]{revtex4}
2:
3: \usepackage{graphicx}
4: \usepackage{bm}
5: \usepackage{amsmath}
6: \usepackage[cp1251]{inputenc}
7: \usepackage[english]{babel}
8:
9: \input epsf
10: \usepackage[T2A]{fontenc}
11:
12: \usepackage{latexsym}
13: \usepackage{amsbsy}
14: \usepackage{amsmath}
15: \usepackage{amssymb}
16: \usepackage{latexsym}
17: \usepackage{amsbsy}
18: \usepackage{amsfonts}
19: \usepackage[mathcal]{eucal}
20:
21:
22:
23: \bibliographystyle{apsrev}
24:
25: \begin{document}
26:
27: \title{Topologically Ordered Phase States:
28: from Knots and Braids to Quantum Dimers}
29:
30:
31:
32: \author{Luigi Martina}
33: \affiliation{
34: Dipartimento di Fisica dell'Universit\`a del Salento and
35: Sezione INFN di Lecce. \\ Via Arnesano, CP. 193 I-73100 Lecce,
36: Italy}
37:
38: \author{Alexander Protogenov}
39: \affiliation{Institute of Applied Physics of the RAS, 603950 Nizhny Novgorod, Russia}
40: \affiliation{Max Planck Institute for the Physics of Complex
41: Systems, D-01187 Dresden, Germany}
42:
43: \author{Valery Verbus}
44: \affiliation{Institute for Physics of Microstructures of the RAS,
45: 603950 Nizhny Novgorod, Russia}
46:
47: \date{\today}
48:
49: \begin{abstract}
50: We consider universal statistical properties of systems that are characterized by phase states with macroscopic degeneracy of the ground state. A possible topological order in such systems is described by non-linear discrete equations. We focus on the discrete equations which take place in the case of generalized exclusion principle statistics.
51: We show that their exact solutions are quantum dimensions of the
52: irreducible representations of certain quantum group. These solutions provide an example of the point where the generalized exclusion principle statistics and braid statistics meet each other. We propose a procedure to construct the quantum dimer models by means of projection of the knotted field configurations
53: that involved braiding features of one-dimensional topology.
54: \end{abstract}
55:
56: \pacs{71.10.-w, 71.10.Pm, 71.10.Fd}
57:
58: \maketitle
59:
60: \newpage
61:
62: \section{Introduction}
63:
64: The universal behaviour of low-dimensional strongly correlated
65: systems at low temperatures is determined to a great extent by the topology of the manifolds, where the ground
66: state and low-lying excitations are determined. In strongly correlated electron liquids with high degree of degeneracy of the ground state
67: such a manifold is presented by a collection of strings in the form of an arbitrary tangle of knotted and linked filaments.
68: The processes of fusion and decay of the strings give rise to
69: modifications of the tangle and, consequently,
70: to the universal character of the quantum criticality in phase states with topological order. Being a result of detailed study of electron liquids in the states with fractional Hall effect, this
71: conclusion was supported recently by the results, obtained during studying dynamics of spin \cite{SVB,FNS,MSF} and charge \cite{PBSF,FS} degrees of freedom in other low-dimensional electron systems.
72:
73: It is well known that statistics of excitations in $(1+1)$- and $(2+1)$-dimensional systems is connected with the braid group. Quantum states in such systems are classified by irreducible representations of the braid group instead of the even (for bosons) or odd (for fermions) irreducible representations of the permutation group
74: as (3+1)-dimensional systems. One-dimensional irreducible representations of the braid group correspond to Abelian anyon states, while multi-dimensional irreducible representations describe the non-Abelian states of anyons. Statistics of anyon
75: excitations is called either braid statistics or fractional statistics, because it leads to the conclusion that there exist particles with a fractional charge and spin. In the long-wavelength limit the description
76: of non-Abelian anyons is based on the effective action of the topological field theory \cite{Wit}, which contains the Chern-Simons term.
77: An important particular case is the quantum group $SU(N)_{k}$ case, where the integer $k$ is the coefficient of the Chern-Simons action, or a level in the Wess-Zumino-Witten-Novikov theory.
78:
79: We can also employ another approach \cite{H}, based on the generalized exclusion principle. Studies of the distribution function using this approach \cite{Wu,BW,Nay,ISAK,FK,GS} have shown that this method is equivalent to the thermodynamic Bethe ansatz \cite{Zamo}. The equation, which determines the
80: minimum of free energy, has the form of the Hirota equation \cite{Wieg}.
81: It is well known from the theory of nonlinear equations, that this discrete equation in the continuous limit \cite{KWZ} yields the known
82: integrable hierarchies of nonlinear equations. An important feature
83: of the derivation of discrete equations in the theory with the
84: generalized exclusion principle is the absence of any reference
85: to the dimensionality of the space, unlike braid statistics. Formally generalized exclusion principle statistics \cite{H} may take place not only in low-dimensional systems. The reason of the emergence of the solutions, which exist only in low-dimensional systems, is that in the limit of large values of momentum, discrete equations in the universal sector \cite{ProtVer} of exclusion statistics encode actually the particle fusion rules, which take place in the conformal field theory. Going over to the limit
86: $k \gg 1$ in discrete equations of motion, the specifity of low-dimensional situation vanishes.
87:
88: The features of considered statistics are summed up by the theory of tensor categories \cite{Tur,BK}. It unifies consistently the processes of braiding and fusion of string manifolds, which are images of quasiparticle world lines. In the case of low-dimensional systems this occurs in the theory of modular tensor categories \cite{Tur,BK}. The theory of symmetric tensor categories \cite{Tur,Wen,LevWen} is
89: applicable to the $(3+1)D$ systems. In the last case, restrictions on solutions of equations
90: of motion are so strong, that all anyon states are excluded, and only bosons ($\alpha=2\pi$) and fermions ($\alpha=\pi$) with the interchange phase $\alpha$ remain out of anyon states.
91:
92: To solve the problems of the theory of strongly correlated systems on a lattice, it is often convenient to use the theory of the braid group representation or the Temperley-Lieb algebra (TLA) representations \cite{FF} with a special value of the TLA parameter. In the continuous limit, we can also employ the
93: effective Chern-Simons action \cite{FNSWW,AFF}. In particular, to classify the hierarchy of phase states with the aid of $(3+0)$-dimensional spinor Ginzburg-Landau functional \cite{BFN}, it is convenient to use the Hopf invariant
94: \cite{VK,PV1,Prot}, which is the $(3+0)D$ analog of the Chern-Simons term.
95:
96: The construction of a lattice model out from the continuous theory (even inheriting
97: its essential properties) is evidently an ambiguous procedure.
98: Some intuitive insight of how this can be done, based on the mentioned properties, may include the following consideration. It is well known that the
99: Chern-Simons term in the action of $(2+1)$-dimensional systems encodes the invariant description of fluctuating Aharonov-Bohm vortices.
100: The action of the doubled Chern-Simons theory (for example $SU(N)_{k}\times \overline S \overline U(N)_{k}$ \cite{LevWen,FNSWW,AFF}) which refers to the systems, where $T$ and $P$ invariances are not brocken, includes pairs of Aharonov-Bohm vortices with the opposite chiralities. It is natural to suppose that neutral pairs of Aharonov-Bohm vortices in such systems are
101: plane slices of a string loop (from the three-dimensional point of view). A pair of Aharonov-Bohm vortices are portions of the loop cutted by a plane. This means on the whole that a small loop with the scale of the order of the lattice constant
102: induces a dimerized configuration of currents when it is projected on the plane.
103: Such a projected loop, or equivalently the dimer configuration, can be a building block for the formation of self-organized mesoscale structures in the form of nets. The increased interest to quantum dimer distributions \cite{AFF,MoSo,HKMS} is connected not only with the theory of resonance valence bonds or with the support originating from the experience of the exact solvable models \cite{RokKiv}, but it is also motivated by recent results \cite{FNS,FN} in the field of non-Abelian gauge theory.
104:
105: The goal of this paper is two-fold. In the second section we will discuss
106: the opportunities, which appear due to mapping essential configurations of
107: the (3+0)-dimensional spinor Ginzburg-Landau model into lattice $(2+1)D$
108: dimer configurations. We will show that two-dimensional dimer field
109: configurations, distributed on two sub-lattices, may be obtained by projecting three-dimensional current configurations of the so-called toroid phase state.
110: In the third section we will consider the solutions of nonlinear discrete equations of the thermodynamic Bethe ansatz and will show their relation with the characteristics arising in the approach, based on the use of braid statistics. They are characterised by the quantum dimension, which is obtained as the solution of the mentioned discrete equations. We will give also some arguments in favor of stability of arising
111: mappings of string nets, built of golden chains \cite{FTLTKWF}.
112:
113: \section{Dimer configurations of vortex pairs}
114:
115: In this section we show how to construct dimer distributions
116: starting from Hopf links. Indeed, knots and links of field
117: configurations appear naturally in the long-wavelength description
118: of $(3+0)D$ systems with spin as follows.
119: Let us consider a gauged Ginzburg-Landau model for the charged
120: two-components order parameter $\Phi = \left(\phi_{1},\phi_{2}\right)^T$
121: given by the free energy functional
122: \begin{equation}
123: F=\int d^{3}x\,\biggl[\sum_{\alpha=1}^{2}\frac{1}{2
124: m_{\alpha}}\left|\left(\hbar
125: \partial_{k}+i\frac{2e}{c}A_{k}\right)\phi_{\alpha}\right|^2 +
126: \frac{(rot \bf A )^{2}}{8\pi} + V(\Phi)\biggr] \, , \label{G1}
127: \end{equation}
128: with a generic form of the potential $V(\phi_{1},\phi_{2})$
129: \cite{Prot} and interacting with an internal vector gauge
130: potential $\bf A $.
131:
132: The components of the order parameter can be interpreted as the
133: hopping and pairing amplitudes, respectively, in a $t-J$
134: model \cite{LNW}. The relations between these amplitudes can be
135: reshaped in terms of the function $\rho$ and a real unit
136: 3-vector $\bf n$ defined by
137: \begin{equation} \rho^2 = \sum_{\alpha=1}^2 \frac{\left|\phi_{\alpha}\right| ^2 }{2\, m_{\alpha}
138: }, \qquad n^a = \frac{\overline{\phi_{\alpha}} \sigma^a_{\alpha\,
139: \beta }\phi_{\beta}}{2 \sqrt{m_{\alpha} m_{\beta}}} ,
140: \end{equation}
141: where
142: ${ \sigma^a }, \; a = 1,2,3$ are the Pauli matrices.
143: A residual phase-like degree of freedom is encoded into a momentum
144: contribution to the effective gauge field
145:
146: \begin{equation}
147: {\bf c} = {\bf a} - {\bf A} \, , \, \, \, \, \, \, \,
148: {\bf a} = \frac{1}{ \rho^2} \sum_{\alpha=1}^2 \frac{\imath}{2
149: m_{\alpha}} \left[\phi_{\alpha}\nabla\phi_{\alpha}^{*} - c. c.
150: \right]. \end{equation}
151:
152: Thus, one can map the model (\ref{G1}) into
153: the extended version of the $O(3)$ nonlinear $\sigma$ model \cite{BFN}
154:
155: $$
156: F = F_{\bf n}+F_\rho+F_{\bf c}+F_{\rm int} =
157: $$
158: \begin{eqnarray}
159: = \int d^{3}x\left[\frac{1}{4}\rho^{2}\left(\partial_{k}{\bf n}
160: \right)^{2}+\left(\partial_{k}\rho \right)^{2}+\frac{1}{16}\rho^{2}
161: {\bf c}^{2}+\left(F_{ik}-H_{ik}\right)^{2}+V(\rho,n_{1},
162: n_{3})\right],
163: \label{G3}
164: \end{eqnarray}
165: where, in dimensionless variables, the field strength
166: $F_{ik}=\partial_{i}c_k-\partial_{k}c_i$ and the Mermin-Ho
167: vorticity $H_{ik} = \partial_{i}a_{k}-\partial_{k}a_{i} = {\bf
168: n}\cdot[\partial_{i}{\bf n}\times\partial_{k} {\bf n}] $ have been
169: introduced.
170:
171: Taking into account only homogeneous density states (i.e. $\rho = const $) free energy is bounded from below by the inequality
172: \cite{PV1}
173: \begin{equation}
174: F_{\bf n} + F_{\bf c} + F_{\rm int} \geqslant
175: 32\pi^{2}\,|Q|^{3/4}\,(1 - |L|/|Q|)^{2} \, , \label{G4}
176: \end{equation}
177: given in terms of the entries of the symmetric matrix \cite{Prot}
178: \begin{equation}
179: K_{\alpha \beta} =
180: \frac{1}{16\pi^{2}}\int\limits_\mathcal{M} d^{3}x \,
181: \varepsilon_{ikl}a_{i}^{\alpha}\partial_{k}a_{l}^{\beta} =
182: \left( \begin{array}{cc}
183: Q & L \\
184: L & Q^{\prime} \quad
185: \end{array} \right), {\rm where} \; a_i^1 \equiv a_i ,\; a_i^2 \equiv c_i .
186: \label{G5}
187: \end{equation}
188:
189: Taking the boundary condition ${\bf n}(\infty) \to (0, 0, 1)$, one
190: compactifies $\mathbb R^{3}\to S^{3}$ and $Q$ is the degree of
191: the mapping ${\bf n} : S^{3} \to S^{2}$. That is, $Q$ measures
192: the linking and knotting of the filaments, which are pre-images
193: in $S^{3}$ of an arbitrary chosen value ${\bf n}(x,y,z)={\bf n}_0
194: \in S^{2}$. General arguments of the homotopic group theory
195: \cite{ArKhe} ensure that $\pi_{3}(S^{2})= \mathbb Z$ , i.e. $Q\in
196: \mathbb Z$, labelling distinct sectors among all configurations of
197: the field $\bf n$. For two linked loops one has $Q = 1$, for the
198: trefoil knot $Q = 6$ and etc. On the other hand, $L$ is the mutual
199: linking number \cite{ArKhe} of the fields ${\bf c}$ and ${\bf a}$.
200: The integer $Q$ is related \cite{Prot} to the coefficient $k$ in the
201: Chern-Simons action. For instance, the value $Q=1$ for the Hopf
202: link of two loops is equivalent to $k=2$.
203:
204: But, differently from $\bf n$, the length of the vector $\bf c$ is
205: not fixed and it does not belong to a compact manifold, thus
206: homotopy group techniques say that $L$ ( and $Q^{'}$) in
207: (\ref{G5}) is an arbitrary real numbers. Furthermore, for $|L| <
208: |Q|$, from Eq. (\ref{G4}), a decreasing of the lower bound of $F$
209: is obtained with respect to the case ${\bf c}=0$ \cite{VK}. This
210: effect is due to the interaction term $- 2 F_{ik}H_{ik}$ in Eq.
211: (\ref{G3}). Its contribution could be so important to completely
212: compensate the energy contributions $F_{\bf c}$ and $F_{\bf n}$.
213: Such a situation may occur because all contributions in Eq.
214: (\ref{G3}) are of the same order. Then, one can prove \cite{Prot}
215: the existence of inhomogeneous states with total energy smaller
216: than in the Skyrme-Faddeev reduction (i.e. $\bf c = 0$, $\rho =
217: const$), if the knot is contained in a region of typical size
218: $\sqrt{2} > R \sim 1/\rho $ and the amplitude of the momentum
219: field $|{\bf c}| \sim c_0$ is bounded by $\alpha / R_0 < c_0 <
220: 1/R_0$, where $R_0$ can be figured out as the "thickness" of the
221: filamentary structure of $\bf c$, or $\bf n$, and $\alpha = \left(
222: R_0/R \right)^2 \ll 1$ is the packing parameter. Thus, by
223: (\ref{G4}) one can evaluate the decrease of energy, by a negative
224: (condensation energy) contribution $\Delta F \sim \left(64 \pi^2 /
225: Q^{1/4} \right) \alpha$.
226:
227: In the optimum case of great values ${\bf c}$ the self-dual state
228: with $F_{\bf n}=F_{\bf c}$ may be considered as the ground state
229: with $F_{min}=0$. It is characterized by the dense packing of filaments
230: in knots \cite{PV2} and by the condition ${\bf a}-{\bf c} = {\bf A} = 0$
231: when the matrix
232: \begin{equation}
233: K_{\alpha\beta} = Q\left( \begin{array}{cc}
234: 1 & 1 \\
235: 1 & -1
236: \end{array} \right) \, .
237: \label{G6}
238: \end{equation}
239:
240: Indeed, let us assume
241: that the amplitude of density $\rho^2 \sim R^{-1}$ is large enough
242: and a knot size $R$ is so small that the packing degree of
243: filaments in the knot \cite{PV2} $\alpha = \xi/R \lesssim 1$. The
244: correlation lenght $\xi$ having the order of the lattice constant
245: is determined the filament thickness. The decrease of our tuning
246: parameter $\alpha$ with the decrease of $\rho^{2}$ is accompanied
247: by the transition to a state, in which among planar field
248: projections the field configurations in the form of closed
249: one-dimensional distributions are most preferable. In accordance
250: with Ginzburg's proposal, we will call this phase state with the
251: spontaneous diamagnetism a toroid state \cite{VGK,DT}. The phase
252: state with zero value of the total magnetic moment $\sum_{i}{\bf
253: m}_{i}$, in which current order is characterized by a polar vector
254: ${\bf T}$, that changes sign under time reversal, can be
255: represented by the ordering of toroid moments. The toroid moment
256: ${\bf T}=\frac{1}{2}\sum_{i}\left[{\bf r}_{i} \times {\bf
257: m}_{i}\right]$ can be determined in the following way
258: \cite{VGK,DT}
259: \begin{equation}
260: \bf a={\rm curl}\,{\rm curl}\,\bf T \, . \label{G7}
261: \end{equation}
262: Using this equation and the identity \cite{MH}
263: \begin{equation}
264: {({\rm curl}\,{\bf a})}_i=\frac{1}{2}\,\varepsilon_{ikl}\,{\bf n}
265: \left[\partial_k{\bf n}\times\partial_l{\bf n}\right] \label{G8}
266: \end{equation}
267: one can express the toroid moment via the degree of chirality
268: $\displaystyle{\bf n}\cdot\left[\partial_k{\bf
269: n}\times\partial_l{\bf n}\right]$ in the form:
270:
271: \begin{equation}
272: T_i({\bf r})=\frac{1}{16\pi^2}\int d^3r'\left[
273: \frac{({\bf r}-{\bf r}^{\,\prime})_k}
274: {|{\bf r}-
275: {\bf r}^{\,\prime}|^3}\int d^3r''\,
276: \frac{{\bf n}\cdot\left[\partial_k{\bf n}\times\partial_i{\bf n}\right]}
277: {{|{\bf r}^{\,\prime}-{\bf r}^{\,\prime\prime}|}}\right].
278: \label{G9}
279: \end{equation}
280:
281: We see that toroid moment ${\bf T}$ is given by the Biot-Savart
282: law as well as by the factor which is determined by the Coulomb
283: Green function and by the field strenth $H_{ik}$ of the Hopf
284: invariant density. The vector ${\bf T}$ characterizes the
285: distribution of the poloidal component of the current on the torus
286: \cite{DT}. The magnetic flux of this current is confined to the
287: interior of the torus. If the degree $\displaystyle {\bf
288: n}\cdot\left[\partial_k{\bf n} \times\partial_i{\bf
289: n}\right]=\varepsilon_{ki}\,\delta({\bf r})$ of the ${\bf
290: n}$-field noncollinearity is localized at a point the toroid
291: moment has the form $T_i({\bf r})= (8\pi)^{-1}\varepsilon_{ki}x_k
292: /r$. The toroid moment is perpendicular to the plane, where the
293: central loop of the torus is situated, and belongs to the
294: perpendicular plane that intersects this loop.
295:
296: The significant constraint of the scale of toroid configuration
297: appears from the analysis of stability of such field
298: distributions. As it has been shown in Ref. \cite{W}, that these
299: configurations are stable with respect to $s$-wave perturbations
300: if the characteristic scale of linked distribution is small
301: enough, i.e. it is of the order of several lattice constants.
302: Therefore, to describe topological states we have to use a lattice
303: theory. Besides, in addition, the main contributions of field
304: configurations correspond usually to small values of topological
305: numbers $Q$, $L$. Keeping all this in mind we can conclude that
306: the Hopf links of loop pairs (see Fig. 1), that after being
307: projected on the plane, provide dimer distributions of vortex
308: pairs which are the the most significant configurations.
309: \begin{figure}
310: \begin{center}
311: %\epsfxsize=100 mm \epsfbox{a_colore.eps}
312: %\includegraphics[width=0.9\linewidth]{wbp22.eps}
313: \includegraphics[width=0.9\linewidth]{wbp22.png}
314: \end{center}
315: \caption{(Color online). The Hopf pair with $Q=1$. Their projection into the plane
316: presents a system of two dimers, characterized by the respective orientation of
317: toroid moments.}
318: \end{figure}
319: To deal with states without the time inversion symmetry breaking,
320: we should take into consideration totally neutral dimer
321: configurations with antitoroidal ordering of the toroid moments.
322:
323: \newpage
324:
325: \section{Discrete equations of exclusion statistics}
326:
327: Let us consider a system, which contains a set, $\{N_{a}\}$ of
328: particles with types $a$. The
329: collective index $a=(\alpha,i)$ contains the index $\alpha$ for
330: denoting internal degrees of freedom and index $i$ enumerates rapidities of particles. If we fix the variables of all particles,
331: except the $a$-th one, the $N$-particle wave function can be expressed via the one-particle function of the $a$-th particle.
332: Let $D_{a}$ be the dimension of such a basis.
333: Then the rate of changing the number of vacant states due to adding $N_{b}$ particles determines \cite{H} the matrix $g_{ab}$ of statistical interaction in the following way
334: \begin{equation}
335: \frac{\partial D_{a}}{\partial N_{b}}
336: = -g_{ab}\, .
337: \label{E1}
338: \end{equation}
339:
340: Assuming that the matrix $g_{ab}$ does not depend on the set of numbers $\{N_{a}\}$, we have the solution of the Eq. (\ref{E1}):
341: \begin{equation}
342: D_{a} = -\sum_{b} g_{ab}N_{b} + D^{0}_{a}\, .
343: \label{E2}
344: \end{equation}
345: The Eq. (\ref{E2}) contains the number of particles $N_{b}$, added to the system, and the number of vacant states $D^{0}_{a}$
346: of the $a$-th type in the initial state without particles.
347: The number of holes $D_{a}$ determines the
348: statistical weight as follows
349: \begin{equation}
350: W = \prod_{a}\frac{(N_{a}+D_{a}-1
351: +\sum_{b} g_{ab}\delta_{ab})!}
352: {(N_{a})!
353: (D_{a}-1+\sum_{b}g_{ab}\delta_{ab})!}\, .
354: \label{E3}
355: \end{equation}
356: In the cases $g_{ab}=0$ and $g_{ab}=
357: \delta_{ab}$ the Eq. (\ref{E3}) yields well-known statistical weights of Bose and Fermi particles.
358:
359: The statistical weight $W$ allows to find the entropy $S=\ln W$
360: and thermodynamical functions.
361: The free energy in the equilibrium state
362: \begin{equation}
363: F=-T\sum_{a}D^{0}_{a}\ln(1 + w_{a}^{-1})
364: \label{E4}
365: \end{equation}
366: is determined by the function $w_{a}$, which can be found from
367: the equation
368: \begin{equation}
369: (1 + w_{a})\prod_{b}\left(1 + w_{b}^{-1}\right)^{-g_{ab}} =
370: e^{(\epsilon^{0}_{a}-\mu_{a})/T}
371: \label{E5}
372: \end{equation}
373:
374: The variable $w_{a}$ can be expressed via so-called
375: pseudo-energies $\epsilon=T\ln(D_{a}/N_{a})$ by means of the parametrization $w_{a}=e^{\epsilon_{a}/T}$. In Eq. (\ref{E5}), $T$, $\mu_{a}$ and $\epsilon^{0}_{a}$ are the temperature, the chemical potential and the bare energy of quasiparticles of the type $a$.
376:
377: We consider the solution of the equation (\ref{E5}) in the limit
378: $T \gg \epsilon^{0}_{a}-\mu_{a}$. In this case the Eq.
379: (\ref{E5}) can be written down in the form
380: \begin{equation}
381: w_{a} = \prod_{b}\left(1 + w_{b}^{-1}\right)^{N_{ab}}
382: \label{E6}
383: \end{equation}
384: which is typical for the thermodynamic Bethe ansatz.
385: Here $N_{ab}=g_{ab}-\delta_{ab}$.
386:
387: Below we will be interested in the case of ideal statistics \cite{BW,FK,ProtVer}, when phases of the scattering matrix, being functions of rapidities,
388: have the structure of step functions. In this case the integral
389: equation (\ref{E6}) transforms into the algebraic transcendental equation. The matrix $N_{ab}$ can be
390: expressed \cite{Rav,Ked,Das,Nah} via the incidence matrix
391: $G_{ab}=\delta_{a+1,b} + \delta_{a,b+1}$ of Lie algebra
392: with the help of the identity $N=G(2 - G)^{-1}$.
393: The matrix $2-G$ is the Cartan matrix of the graph $A_{k+1}/Z_{2}$ \cite{Rav}. Using this identity in Eq. (\ref{E6}) and replacing
394: $w_{a}=d_{a}^{2}-1$ it is easy to see that the Eq. (\ref{E6}) has
395: the form
396: \begin{equation}
397: d_{a}^{2} = 1 + \prod_{j=1,\, b=2j}^{[k/2]}d_{b}^{G_{ab}} =
398: \left \{
399: \begin{array}{ll}
400: \displaystyle{1+d_2, \; a=1 ,} \\
401: \displaystyle{1+d_{a-1}d_{a+1}, \; a=2, ...,[k/2]-1,}\\
402: \displaystyle{1+d_{[k/2]-1}d_{[k/2]}, \; a=[k/2].}
403: \end{array}
404: \right.
405: \label{E7}
406: \end{equation}
407: Here index $a$ is connected with the value of the spin $j$ by the relation $a=2j$, and the upper limit of the product fixes the Jones-Wenzl projector \cite{FF,FNSWW}.
408: We will show in Appendix that the Eq. (\ref{E7}) is presented in fact the special
409: limit of the Hirota equation \cite{KLWZ}.
410:
411: The distribution function
412: \begin{equation}
413: n_{a}=\frac{1}{d_{a}^{2}}=\frac{1}{w_{a}+1}=\frac{1}
414: {e^{\epsilon_{a}/T}+1}
415: \label{E8}
416: \end{equation}
417: in our case coincides with the probability $p(a{\bar a} \to 0)$ \cite{P} of annihilation of a particle-antiparticle pair in the system of two linked loops of world lines which describe the process of annihilation of
418: two pairs.
419:
420: We can find the solution of the Eq. (\ref{E7}) taking into account the appropriate boundary conditions by comparing it with the identity
421: \begin{equation}
422: [a]_{q}^{\,2} - 1 = [a+1]_{q}[a-1]_{q} \, .
423: \label{E12}
424: \end{equation}
425: Here $[a]_{q}=(q^{a}-q^{-a})/(q-q^{-1})$, $q=e^{i\pi/(k+2)}$ is the deformation parameter of the $SU(2)_{k}$ Chern-Simons theory.
426: Identifying $d_{a}=[a+1]_{q}$,
427: we can see that solutions of the Eq. (\ref{E7})
428: are quantum dimensions \cite{P,SB,Fen,Aff,K}
429: \begin{equation}
430: d_{a}=\frac{\sin[\pi(a+1)/(k+2)]}{\sin[\pi/(k+2)]} \, ,
431: \label{E13}
432: \end{equation}
433: which are expressed via the Chebyshev polynomials of the second kind,
434: $U_{m}=\sin[(m+1)\theta]/\sin \theta$ with specification $\theta =
435: \pi/(k+2)$ for $A_{k+1}$ algebra. In the limit $k \gg 1$, $d_{a=2j}$
436: equals $2j+1$. The meaning of the quantum dimension is as follows.
437: The quantum dimension $d_{a}$ determines the rate $d_{a}^{N}$ at which
438: the dimension of the topological
439: Hilbert space grows after particles are added.
440:
441: We pay our attention to the fact that the Eq. (\ref{E7})
442: is a fermionic representation \cite{Berc,Ku,Kuni} of the
443: recursion relation for the Chebyshev polynomials of the second kind. The bosonic representation of recursion relations has the
444: form $U_{m+1}(x)+U_{m-1}(x)-2xU_{m}(x)=0$.
445: From this point of view, we can call the Eq. (\ref{E11}) (see Appendix) the anyon representation of recursion relations for the Chebyshev polynomials of the second kind.
446: The roots of the Chebyshev polynomials, being the eigen
447: values of the matrix $G$, are equal to
448: \begin{equation}
449: x_{m,k}=q^{m+1}+q^{-(m+1)}=2\cos \left(\frac{(m+1)\pi}{k+2}\right) \, .
450: \label{E14}
451: \end{equation}
452: The greatest eigen value $x_{0,k}$ of the incidence matrix $G$
453: is given by the Baraha numbers
454: \begin{equation}
455: d=2\cos[\pi/(k+2)] \,.
456: \label{E15}
457: \end{equation}
458: In particular for the special value $k=3$, we have the golden ratio $d=(1+\sqrt 5)/2$ which is the solution of the algebraic equation $d^{2}=d+1$.
459: For $k=2$, the Baraha number $d$ and the quantum dimension
460: $d_{2j=1}=\sqrt{2}$ coincide.
461:
462: To clarify the meaning of the $d$'s one should emphasize that
463: (i) the numbers $d$ determine eigen values of Wilson operator for the contractible unknotted loop \cite{FF,FNSWW}. (ii) For special values of the parameter $d=q+q^{-1}$, the generators $B_{i}=I-qe_{i}$ satisfy the relations
464: of a braid group under the
465: condition, that the generators $e_{i}$ satisfy the relation $e_{i}^{2}=de_{i}$ of the Temperley-Lieb algebra.
466: (iii) The values of
467: the parameter $d$ are nontrivial restriction, which leads to the
468: finite-dimensional Hilbert spaces.
469: (iv) The wavefunction $\Psi$, defined on the
470: one-dimensional manifold, which is a joining up of the
471: arbitrary tangle $\alpha$ and the Wilson loop $\bigcirc$,
472: i.e. $\Psi(\alpha \cup \bigcirc)$, equals $d\Psi(\alpha)$ \cite{FNSWW}.
473: Thus the parameter $d$ has the meaning
474: of the weight of the contractible unknotted Wilson loop, and
475: $d^{2}$ acquires the meaning of fugacity \cite{FFNWW}.
476: (v) Besides, it turns out, that for the
477: mentioned values of $d$, the theory is unitary.
478:
479: Summarizing one can say that the points of intersection of braid statistics and statistics with the generalized exclusion principle are the set of the Baraha points $d=2\cos[\pi/(k+2)]$, where the processes of braiding and fusion of string manifolds are self-consistently
480: united.
481:
482: \section{Discussion}
483:
484: The problem of the coexistence \cite{AFF} of locality and braiding
485: can be solved by constructing Hamiltonians $H=\sum_{i}H_{i}$ of the Rokhsar-Kivelson (RK)
486: type \cite{RokKiv}. Each term $H_{i}=Q^{+}_{i}Q_{i}$
487: in the sum with
488: $Q =\left( \begin{array}{cc}
489: 1 & -1 \\
490: -1 & 1
491: \end{array} \right)$ acts at the RK point as a projector builted by dimer configurations. If we locate the dimers on the opposite links of plaquetts we will encounter contradiction due
492: to spatial separation of the braiding phenomena.
493: The best way to solve this problem is the distribution
494: of dimer states between odd and even sites of the
495: lattice \cite{FTLTKWF}. Another way corresponds to the use of the Fischer lattice \cite{Fish}. The checkerboard distribution of linked dimer
496: degrees of freedom with defects in the order of effective fluxes (Fig. 2) may be one of the possible ways to solve the problem.
497: \begin{figure}
498: \begin{center}
499: %\epsfxsize=70 mm \epsfbox{piastrnuova.eps}
500: %\includegraphics[width=0.7\linewidth]{net22.eps}
501: \includegraphics[width=0.7\linewidth]{net22.png}
502: \end{center}
503: \caption{(Color online).
504: A planar representation of the net.
505: Shaded regions show distributions of the fluxes.
506: }
507: \end{figure}
508:
509: The realistic candidate for the Hamiltonian with such a type of the ground state is the Hamiltonian $H_{i}$ which contains the Temperley-Lieb generators $e_{i}$
510: in the form of the projectors
511: \begin{equation}
512: H_{i}=\frac{1}{d}e_{i}
513: \label{G10}
514: \end{equation}
515: to the singlet states. Obviously $H_{i}^{2}=H_{i}$ due to the Temperley-Lieb commutation
516: relation $e_{i}^{2}=de_{i}$.
517: The $d$'s here are the Baraha numbers from the second section.
518: Because of the rank-level symmetry,
519: i.e. $SU(N)_{k}=SU(k)_{N}$, and the argument based on small
520: values of integers,
521: the $SU(2)_{2}\times {\overline S\overline U(2)}_{2}$ theory is a good candidate. The matrix of the $6j$-symbols \cite{P} in this case is equal to $\pm \frac{1}{\sqrt 2}\left( \begin{array}{cc}
522: 1 & 1 \\
523: 1 & -1
524: \end{array} \right)$ and the braid operator is
525: $\left( \begin{array}{cc}
526: 1 & 0 \\
527: 0 & i
528: \end{array} \right)$.
529: Another important model with computational universal rules is based \cite{FTLTKWF} on a golden chain builted by $SU(2)_{3}\times \overline S \overline U(2)_{3}$ Fibonacci anyons. To construct $2D$ nets consisting of Fibonacci golden chains we should employ the Kirby calculus. This calculus is based on the application of Hopf links and is widely used in the theory of 3-manifolds.
530:
531: In summary, we found the quantum dimensions as exact solutions of discrete
532: equations encoding brading and fusion processes. By means of projection of
533: knotted field configurations we proposed the quantum dimer models which
534: incorporated braiding properties of one-dimensional topology.
535:
536: \section*{Acknowledgments}
537:
538: This work was supported
539: in part by the E.I.N.S.T.E.IN grant (M.L., A.P.), RFBR grants (A.P., V.V.)
540: Nos. 06-02-16561, 06-02-92052, and the programs (A.P.) RNP 2.1.1 (grant No. 2369)
541: and "Problems of nonlinear dynamics" of Presidium of the Russian Academy
542: of Sciences. The authors aknowledge also the INFN for support in part by the project LE41.
543:
544: \section{Appendix}
545:
546: Let us show that the Eq. (\ref{E7}) is a particular case of the Hirota equation \cite{KLWZ}
547: \begin{equation}
548: T^{a}_{t}(u+1)T^{a}_{t}(u-1)-T^{a}_{t+1}(u)T^{a}_{t-1}(u)=
549: T^{a+1}_{t}(u)T^{a-1}_{t}(u) \, .
550: \label{E9}
551: \end{equation}
552: Here $a$ is the index of the agebra $A_{k+1}$, $t$ is the discrete time
553: and $u$ is the discrete values of rapidities. The functions $T_{t}^{a}(u)$ are the eigen values of the transfer-matrix \cite{KLWZ}.
554: For the gauged functions
555: $Y^{a}_{t}(u)=T^{a}_{t+1}(u)T^{a}_{t-1}(u)/\left(T^{a+1}_{t}(u)
556: T^{a-1}_{t}(u)\right)$ the following equation
557: \begin{equation}
558: Y^{a}_{t}(u+1)Y^{a}_{t}(u-1)=
559: \frac{(1+Y^{a}_{t+1}(u))(1+Y^{a}_{t-1}(u))}{(1+(Y^{a+1}_{t}(u))^{-1})
560: (1+(T^{a-1}_{t}(u))^{-1})}
561: \label{E10}
562: \end{equation}
563: is valid. In the $A_{1}$-algebra case the function $Y^{1}_{t}(u) \equiv Y_{t}(u)$ satisfies the equation
564: \begin{equation}
565: Y_{t}(u+1)Y_{t}(u-1)=
566: (1+Y_{t+1}(u))(1+Y_{t-1}(u)).
567: \label{E11}
568: \end{equation}
569: Putting $Y_{t}=b_{t}^{2}-1$ in this equation, in the limit $u \gg 1$ we get the equation $b_{t}^{2}=1+b_{t+1}b_{t-1}$ which coincides with (\ref{E7}). We see
570: that the function $Y_{t}$ equals $w_{t}$.
571:
572:
573: \begin{thebibliography}{999}
574:
575: \bibitem{SVB} T. Senthil, A. Vishwanath, L. Balents, S. Sachdev, M.P.A. Fisher
576: {\it Science} {\bf 303}, 1490 (2004).
577:
578: \bibitem{FNS} M. Freedman, C. Nayak, K. Shtengel
579: {\it Phys. Rev. Lett.} {\bf 94}, 147205 (2005).
580:
581: \bibitem{MSF} R. Moessner, S.L. Sondhi, E. Fradkin
582: {\it Phys. Rev. } {\bf B 65}, 024504 (2002).
583:
584: \bibitem{PBSF} F. Pollmann, J. J. Betouras, K. Shtengel, P. Fulde
585: {\it Phys. Rev. Lett.} {\bf 97}, 170407 (2005).
586:
587: \bibitem{FS} P. Fendley, K. Schoutens
588: {\it Phys. Rev. Lett.} {\bf 95}, 046403 (2005).
589:
590: \bibitem{Wit} E. Witten {\it Commun. Math. Phys.} {\bf 121}, 351 (1989).
591:
592: \bibitem{H} F.D.M. Haldane, {\it Phys. Rev. Lett.} {\bf 67}, 937 (1991).
593:
594: \bibitem{Wu} Y.-S. Wu, {\it Phys. Rev. Lett.} {\bf 73}, 922 (1994).
595:
596: \bibitem{BW} D. Bernard and Y.-S.Wu, in {\it New developments
597: of integrable systems and long-ranged interaction models,} ed.
598: M. L. Ge and Y.-S. Wu (World Scientific, Singapore, 1995).
599:
600: \bibitem{Nay} C. Nayak and F. Wilczek, {\it Rev. Rev. Lett.} {\bf 73}, 2740 (1994).
601:
602: \bibitem{ISAK} S. B. Isakov, {\it Phys. Rev. Lett.}
603: {\bf 73} 2150 (1994); {\it Int. J. Mod. Phys.} {\bf A9}, 2563 (1994).
604:
605: \bibitem{FK} T. Fukui and N. Kawakami, {\it Phys. Rev.}
606: {\bf B51}, 5239 (1995); {\it J. Phys.} {\bf A28} 6027.
607:
608: \bibitem{GS} S. Guruswamy, K. Schoutens
609: {\it Nucl. Phys.} {\bf B556}, 530 (1999).
610:
611: \bibitem{Zamo} Al.B. Zamolodchikov {\it Phys. Lett.} {\bf B253}, 391 (1991).
612:
613: \bibitem{Wieg} P. Wiegmann {\it Int. J. Mod. Phys.} {\bf B11}, 75 (1997).
614:
615: \bibitem{KWZ} I. Krichever, P. Wiegmann, A. Zabrodin
616: {\it Commun. Math. Phys.} {\bf 193}, 373 (1998).
617:
618: \bibitem{ProtVer} A. P. Protogenov, V. A. Verbus,
619: {\it Mod. Phys. Lett.} B {\bf 11}, 283 (1997).
620:
621: \bibitem{Tur} V. G. Turaev, {\it Quantun invariants of knots and
622: 3-manifolds} (W. de Gruyter, Berlin-New York), 1994.
623:
624: \bibitem{BK} B. Bakalov, A. Kirillov Jr., {\it Lectures on Tensor Categories and
625: Modular Functors} (University Lecture Series 21), AMS, Providence, RI, 2001.
626:
627: \bibitem{Wen} X.-G. Wen {\it Ann. Phys.} {\bf 316}, 1 (2005).
628:
629: \bibitem{LevWen} M. Levin, X.-G. Wen, {\it Rev. Mod. Lett.} {\bf 77} 871 (2005); {\it Phys. Rev.} B {\bf 71}, 045110 (2005).
630:
631: \bibitem{FF} P. Fendley, E. Fradkin {\it Phys. Rev.} {\bf B 72}, 024412 (2005).
632:
633: \bibitem{FNSWW} M. Freedman, C. Nayak, K. Shtengel, K. Walker, Z. Wang
634: {\it Ann. Phys.} {\bf 310}, 428 (2004).
635:
636: \bibitem{AFF} E. Ardonne, P. Fendley, E. Fradkin {\it Ann. Phys.} {\bf 310},
637: 493 (2004).
638:
639: \bibitem{BFN} E. Babaev, L.D. Faddeev, A.J. Niemi {\it Phys. Rev.}
640: {\bf B} {\bf 65}, 100512 (2002).
641:
642: \bibitem{VK} A.F. Vakulenko, L.V. Kapitansky {\it Doklady Akad. Nauk } {\bf 246}, 840
643: (1979).
644:
645: \bibitem{PV1} A.P. Protogenov, V.A. Verbus {\it JETP Lett.} {\bf 76}, 60 (2002).
646:
647: \bibitem{Prot} A. P. Protogenov {\it Physics-Uspekhi} {\bf 49}, 667 (2006).
648:
649: \bibitem{MoSo} R. Moessner, S. L. Sondhi {\it Phys. Rev. Lett.} {\bf 86}, 1881 (2001).
650:
651: \bibitem{HKMS} D.A. Huse, W. Krauth, R. Moessner, S. L. Sondhi
652: {\it Phys. Rev. Lett.} {\bf 91}, 167004 (2003).
653:
654: \bibitem{RokKiv} D. S. Rokhsar, S. A. Kivelson {\it Phys. Rev. Lett.} {\bf 61}, 2379 (1988).
655:
656: \bibitem{FN} L.D. Faddeev, A.J. Niemi {\it Phys. Lett.} {\bf B 525}, 195 (2002).
657:
658: \bibitem{FTLTKWF} A. Feiguin, S. Trebst, A. Ludwig {\it at al.}, {\it Interacting
659: anyons in topological liquids: The golden chain}, cond-mat/0612341.
660:
661: \bibitem{LNW} P.A. Lee, N. Nagaosa, W.'G. Wen,
662: {\it Rev. Mod. Phys.} {\bf 78}, 17 (2006).
663:
664: \bibitem{ArKhe} V. I. Arnold , B. A. Khesin {\it Topological Methods in Hydrodynamics} Applied Mathematical Sciences
665: (Springer-Verlag), Vol. {\bf 125}, 1998), Chapt.3.
666:
667: \bibitem{PV2}A.P. Protogenov, V.A. Verbus {\it Teor. Math. Phys.} {\bf 144},
668: 182(2005).
669:
670: \bibitem{VGK} B. A. Volkov, A. A. Gorbatsevich, Yu. V. Kopaev
671: {\it Sov. Phys. JETP} {\bf 59}, 1087 (1984).
672:
673: \bibitem{DT} V.M. Dubovik, V.V. Tugushev
674: {\it Phys. Rep.} {\bf 187}, 145 (1990).
675:
676: \bibitem{MH} N.D. Mermin, T.-L. Ho {\it Phys. Rev. Lett.}
677: {\bf 36}, 594 (1976).
678:
679: \bibitem{W} R.S. Ward {\it Nonlinearity} {\bf 12}, 241 (1999).
680:
681: \bibitem{Rav} F. Ravanini, A. Valleriani, and R. Tateo
682: {\it Int. J. Mod. Phys.} A {\bf 8}, 1707 (1993).
683:
684: \bibitem{Ked} P. Kedem, T.R. Klassen, B.M. McCoy,
685: E. Melzer {\it Phys. Lett.} {\bf B307}, 68 (1993).
686:
687: \bibitem{Das} S. Dasmahapatra, P. Kedem, T.R. Klassen,
688: B.M. McCoy, E. Melzer
689: {\it Int. J. Mod. Phys.} B {\bf 7}, 3617 (1993).
690:
691: \bibitem{Nah} W. Nahm, A. Recknagel,
692: M. Terhoeven {\it Mod. Phys. Lett.} A {\bf 8}, 1835 (1993).
693:
694: \bibitem{KLWZ} I. Krichever, O. Lipan, P. Wiegmann, A. Zabrodin
695: {\it Commun. Math. Phys.} {\bf 188}, 267 (1997).
696:
697: \bibitem{P} J. Preskill, {\it Topological quantum computation} (Chapter 9 of Lecture
698: notes on quantum computation), http://www.theory.caltech.edu/people/preskill/ph229/
699: (2004)
700:
701: \bibitem{SB} J. K. Slingerland, F. A. Bais {\it Nucl. Phys.} {\bf B 612} [FS] 229
702: (2001).
703:
704: \bibitem{Fen} P. Fendley, H. Saleur
705: {\it J. Phys.} A {\bf 27}, L789 (1994).
706:
707: \bibitem{Aff} I. Affleck and A. Ludwig {\it Phys Rev. Lett.}
708: {\bf 67}, 161 (1991).
709:
710: \bibitem{K} C. Kassel {\it Quantum groups} (Graduate Texts in Mathematics 155),
711: Springer, Berlin, 1995.
712:
713: \bibitem{Berc} A. Bercovich {\it Nucl. Phys.} {\bf B431}, 315 (1994).
714:
715: \bibitem{Ku} A. Kuniba {\it Nucl Phys.} {\bf B389}, 209 (1993).
716:
717: \bibitem{Kuni} A. Kuniba, T. Nakanishi, J. Suzuki
718: {\it Int. J. Mod. Phys.} A {\bf 9}, 5215 (1994);
719: 5267 (1994).
720:
721: \bibitem{FFNWW} L. Fidkowski, M. Freedman, C. Nayak, K. Wakker, Z. Wang, {\it From String Nets to Nonabelons}, cond-mat/0610583.
722:
723: \bibitem{Fish} M.E. Fisher {\it J. Math. Phys.} (N.Y.) {\bf 7}, 1776 (1966).
724:
725: \end{thebibliography}
726:
727: \end{document}
728: