A Temperley-Lieb (TL) loop model is a Yang-Baxter integrable lattice model with nonlocal degrees of freedom. On a strip of width N, the evolution operator is the double-row transfer tangle D(u), an element of the TL algebra TL_N(beta) with loop fugacity beta=2cos(lambda). Similarly on a cylinder, the single-row transfer tangle T(u) is an element of the enlarged periodic TL algebra. The logarithmic minimal models LM(p,p') comprise a subfamily of the TL loop models for which the crossing parameter lambda=(p'-p)pi/p' is parameterised by coprime integers 02 takes the form of functional relations for D(u) and T(u) of polynomial degree p'. These derive from fusion hierarchies of commuting transfer tangles D^{m,n}(u) and T^{m,n}(u) where D(u)=D^{1,1}(u) and T(u)=T^{1,1}(u). The fused transfer tangles are constructed from (m,n)-fused face operators involving Wenzl-Jones projectors P_k on k=m or k=n nodes. Some projectors P_k are singular for k>p'-1, but we argue that D^{m,n}(u) and T^{m,n}(u) are well defined for all m,n. For generic lambda, we derive the fusion hierarchies and the associated T- and Y-systems. For the logarithmic theories, the closure of the fusion hierarchies at n=p' translates into functional relations of polynomial degree p' for D^{m,1}(u) and T^{m,1}(u). We also derive the closure of the Y-systems for the logarithmic theories. The T- and Y-systems are the key to exact integrability and we observe that the underlying structure of these functional equations relate to Dynkin diagrams of affine Lie algebras.
A Temperley-Lieb (TL) loop model is a Yang-Baxter integrable lattice model with nonlocal degrees of freedom. On a strip of width N, the evolution operator is the double-row transfer tangle D(u), an element of the TL algebra TL_N(beta) with loop fugacity beta=2cos(lambda). Similarly on a cylinder, the single-row transfer tangle T(u) is an element of the enlarged periodic TL algebra. The logarithmic minimal models LM(p,p') comprise a subfamily of the TL loop models for which the crossing parameter lambda=(p'-p)pi/p' is parameterised by coprime integers 02 takes the form of functional relations for D(u) and T(u) of polynomial degree p'. These derive from fusion hierarchies of commuting transfer tangles D^{m,n}(u) and T^{m,n}(u) where D(u)=D^{1,1}(u) and T(u)=T^{1,1}(u). The fused transfer tangles are constructed from (m,n)-fused face operators involving Wenzl-Jones projectors P_k on k=m or k=n nodes. Some projectors P_k are singular for k>p'-1, but we argue that D^{m,n}(u) and T^{m,n}(u) are well defined for all m,n. For generic lambda, we derive the fusion hierarchies and the associated T- and Y-systems. For the logarithmic theories, the closure of the fusion hierarchies at n=p' translates into functional relations of polynomial degree p' for D^{m,1}(u) and T^{m,1}(u). We also derive the closure of the Y-systems for the logarithmic theories. The T- and Y-systems are the key to exact integrability and we observe that the underlying structure of these functional equations relate to Dynkin diagrams of affine Lie algebras.
Abstract The fusion hierarchy, T -system and Y -system of functional equations are the key to exact solvability for 2d lattice models. We derive these equations for the generic dilute loop models. The fused transfer matrices are associated with nodes of the infinite dominant integral weight lattice of . For generic values of the crossing parameter , the T - and Y -systems do not truncate. For the case rational so that is a root of unity, we find explicit closure relations and derive closed finite T - and Y -systems. The thermodynamics Bethe ansatz (TBA) integral equations and the associated TBA diagrams of the Y-systems are not of simple Dynkin type. They involve nodes if p is even and nodes if p is odd and are related to the TBA diagrams of models at roots of unity by a folding which originates from the addition of crossing symmetry. In an appropriate regime, the known central charges are . Prototypical examples of the loop models, at roots of unity, include critical dense polymers with central charge c = −2, and loop fugacity and critical site percolation on the triangular lattice with c = 0, and . Solving the TBA equations for the conformal data will determine whether these models lie in the same universality classes as their counterparts. More specifically, it will confirm the extent to which bond and site percolation lie in the same universality class as logarithmic conformal field theories.
For general Temperley–Lieb loop models, including the logarithmic minimal models LM ( p , p ′ ) with p , p ′ coprime integers, we construct an infinite family of Robin boundary conditions on the strip as linear combinations of Neumann and Dirichlet boundary conditions. These boundary conditions are Yang–Baxter integrable and allow loop segments to terminate on the boundary. Algebraically, the Robin boundary conditions are described by the one-boundary Temperley–Lieb algebra. Solvable critical dense polymers is the first member LM ( 1 , 2 ) of the family of logarithmic minimal models and has loop fugacity β = 0 and central charge c = − 2 . Specialising to LM ( 1 , 2 ) with our Robin boundary conditions, we solve the model exactly on strips of arbitrary finite size N and extract the finite-size conformal corrections using an Euler–Maclaurin formula. The key to the solution is an inversion identity satisfied by the commuting double row transfer matrices. This inversion identity is established directly in the Temperley–Lieb algebra. We classify the eigenvalues of the double row transfer matrices using the physical combinatorics of the patterns of zeros in the complex spectral parameter plane and obtain finitised characters related to spaces of coinvariants of Z 4 fermions. In the continuum scaling limit, the Robin boundary conditions are associated with irreducible Virasoro Verma modules with conformal weights Δ r , s − 1 2 = 1 32 ( L 2 − 4 ) where L = 2 s − 1 − 4 r , r ∈ Z , s ∈ N . These conformal weights populate a Kac table with half-integer Kac labels. Fusion of the corresponding modules with the generators of the Kac fusion algebra is examined and general fusion rules are proposed.
Abstract The mutually commuting fused single and double-row transfer matrices of the critical six-vertex model are considered at roots of unity with crossing parameter a rational fraction of . The transfer matrices of the dense loop model analogs, namely the logarithmic minimal models , are similarly considered. For these models, we find explicit closure relations for the T -system functional equations and obtain extended sets of bilinear T -system identities. We also define extended Q matrices as linear combinations of the fused transfer matrices and obtain extended matrix T - Q relations. These results hold for diagonal twisted boundary conditions on the cylinder as well as invariant/Kac vacuum and off-diagonal/Robin vacuum boundary conditions on the strip. Using our extended T -system and extended T - Q relations for eigenvalues, we deduce the usual scalar Baxter T - Q relation and the Bazhanov–Lukyanov–Zamolodchikov decomposition of the fused transfer matrices and , at fusion level , in terms of the product or Q ( u ) 2 . It follows that the zeros of and are comprised of the Bethe roots and complete strings. We also clarify the formal observations of Pronko and Yang–Nepomechie–Zhang and establish, under favourable conditions, the existence of an infinite fusion limit in the auxiliary space of the fused transfer matrices. Despite this connection, the infinite-dimensional oscillator representations are not needed at roots of unity due to finite closure of the functional equations.
Abstract We study the dilute <?CDATA A2(2)?> A2(2) loop models on the geometry of a strip of widthN. Two families of boundary conditions are known to satisfy the boundary Yang–Baxter equation. Fixing the boundary condition on the two ends of the strip leads to four models. We construct the fusion hierarchy of commuting transfer matrices for the model as well as itsT- andY-systems, for these four boundary conditions and with a generic crossing parameterλ. For <?CDATA λ/π?> λ/π rational and thus <?CDATA q=−e4iλ?> q=−e4iλ a root of unity, we prove a linear relation satisfied by the fused transfer matrices that closes the fusion hierarchy into a finite system. The fusion relations allow us to compute the two leading terms in the large-Nexpansion of the free energy, namely the bulk and boundary free energies. These are found to be in agreement with numerical data obtained for smallN. The present work complements a previous study (Morin-Duchesne and Pearce 2019J. Stat. Mech.1909) that investigated the dilute <?CDATA A2(2)?> A2(2) loop models with periodic boundary conditions.
Working in the dense loop representation, we use the planar Temperley–Lieb algebra to build integrable lattice models called logarithmic minimal models . Specifically, we construct Yang–Baxter integrable Temperley–Lieb models on the strip acting on link states and consider their associated Hamiltonian limits. These models and their associated representations of the Temperley–Lieb algebra are inherently non-local and not (time-reversal) symmetric. We argue that, in the continuum scaling limit, they yield logarithmic conformal field theories with central charges c = 1−(6( p − p ') 2 / pp '), where p , p ' = 1, 2, ... are coprime. The first few members of the principal series are critical dense polymers ( m = 1, c = −2), critical percolation ( m = 2, c = 0) and the logarithmic Ising model ( m = 3, c = 1/2). For the principal series, we find an infinite family of integrable and conformal boundary conditions organized in an extended Kac table with conformal weights Δ r , s = ((( m +1) r − ms ) 2 −1)/4 m ( m +1), r , s = 1, 2, .... The associated conformal partition functions are given in terms of Virasoro characters of highest-weight representations. Individually, these characters decompose into a finite number of characters of irreducible representations. We show with examples how indecomposable representations arise from fusion.
Abstract We consider general logarithmic minimal models L M ( p , p ′ ) , with p , p ′ coprime, on a strip of N columns with the ( r , s ) Robin boundary conditions introduced by Pearce, Rasmussen and Tipunin. On the lattice, these models are Yang–Baxter integrable loop models that are described algebraically by the one-boundary Temperley–Lieb algebra. The ( r , s ) Robin boundary conditions are a class of integrable boundary conditions satisfying the boundary Yang–Baxter equations which allow loop segments to either reflect or terminate on the boundary. The associated conformal boundary conditions are organized into infinitely extended Kac tables labelled by the Kac labels r ∈ Z and s ∈ N . The Robin vacuum boundary condition, labelled by ( r , s − 1 2 ) = ( 0 , 1 2 ) , is given as a linear combination of Neumann and Dirichlet boundary conditions. The general ( r , s ) Robin boundary conditions are constructed, using fusion, by acting on the Robin vacuum boundary with an ( r , s )-type seam consisting of an r -type seam of width w columns and an s -type seam of width d = s − 1 columns. The r -type seam admits an arbitrary boundary field which we fix to the special value ξ = − λ 2 where λ = ( p ′ − p ) π <m