Dense loops, supersymmetry, and Goldstone phases in two dimensions

Hidden Critical Points in the Two-Dimensional O(n>2) Model: Exact Numerical Study of a Complex Conformal Field Theory

The presence of nearby conformal field theories (CFTs) hidden in the complex plane of the tuning parameter was recently proposed as an elegant explanation for the ubiquity of "weakly first-order" transitions in condensed matter and high-energy systems. In this work, we perform an exact microscopic study of such a complex CFT (CCFT) in the two-dimensional O(n) loop model. The well-known absence of symmetry-breaking of the O(n>2) model is understood as arising from the displacement of the nontrivial fixed points into the complex temperature plane. Thanks to a numerical finite-size study of the transfer matrix, we confirm the presence of a CCFT in the complex plane and extract the real and imaginary parts of the central charge and scaling dimensions. By comparing those with the analytic continuation of predictions from Coulomb gas techniques, we determine the range of validity of the analytic continuation to extend up to n_{g}≈12.34, beyond which the CCFT gives way to a gapped state. Finally, we propose a beta function which reproduces the main features of the phase diagram and which suggests an interpretation of the CCFT as a liquid-gas critical point at the end of a first-order transition line.

Entanglement in Nonunitary Quantum Critical Spin Chains

Entanglement entropy has proven invaluable to our understanding of quantum criticality. It is natural to try to extend the concept to "nonunitary quantum mechanics," which has seen growing interest from areas as diverse as open quantum systems, noninteracting electronic disordered systems, or nonunitary conformal field theory (CFT). We propose and investigate such an extension here, by focusing on the case of one-dimensional quantum group symmetric or supergroup symmetric spin chains. We show that the consideration of left and right eigenstates combined with appropriate definitions of the trace leads to a natural definition of Rényi entropies in a large variety of models. We interpret this definition geometrically in terms of related loop models and calculate the corresponding scaling in the conformal case. This allows us to distinguish the role of the central charge and effective central charge in rational minimal models of CFT, and to define an effective central charge in other, less well-understood cases. The example of the sl(2|1) alternating spin chain for percolation is discussed in detail.

Universality class of the two-dimensional polymer collapse transition

The nature of the θ point for a polymer in two dimensions has long been debated, with a variety of candidates put forward for the critical exponents. This includes those derived by Duplantier and Saleur for an exactly solvable model. We use a representation of the problem via the CP^{N-1}σ model in the limit N→1 to determine the stability of this critical point. First we prove that the Duplantier-Saleur (DS) critical exponents are robust, so long as the polymer does not cross itself: They can arise in a generic lattice model and do not require fine-tuning. This resolves a longstanding theoretical question. We also address an apparent paradox: Two different lattice models, apparently both in the DS universality class, show different numbers of relevant perturbations, apparently leading to contradictory conclusions about the stability of the DS exponents. We explain this in terms of subtle differences between the two models, one of which is fine-tuned (and not strictly in the DS universality class). Next we allow the polymer to cross itself, as appropriate, e.g., to the quasi-two-dimensional case. This introduces an additional independent relevant perturbation, so we do not expect the DS exponents to apply. The exponents in the case with crossings will be those of the generic tricritical O(n) model at n=0 and different from the case without crossings. We also discuss interesting features of the operator content of the CP^{N-1} model. Simple geometrical arguments show that two operators in this field theory, with very different symmetry properties, have the same scaling dimension for any value of N (or, equivalently, any value of the loop fugacity). Also we argue that for any value of N the CP^{N-1} model has a marginal odd-parity operator that is related to the winding angle.

Polymer models with competing collapse interactions on Husimi and Bethe lattices

In the framework of Husimi and Bethe lattices, we investigate a generalized polymer model that incorporates as special cases different models previously studied in the literature, namely, the standard interacting self-avoiding walk, the interacting self-avoiding trail, and the vertex-interacting self-avoiding walk. These models are characterized by different microscopic interactions, giving rise, in the two-dimensional case, to collapse transitions of an apparently different nature. We expect that our results, even though of a mean-field type, could provide some useful information to elucidate the role of such different θ points in the polymer phase diagram. These issues are at the core of a long-standing unresolved debate.

Completely packed O(n) loop models and their relation with exactly solved coloring models

We investigate the completely packed O(n) loop model on the square lattice, and its generalization to an Eulerian graph model, which follows by including cubic vertices which connect the four incoming loop segments. This model includes crossing bonds as well. Our study was inspired by existing exact solutions of the so-called coloring model due to Schultz and Perk [Phys. Rev. Lett. 46, 629 (1981)], which is shown to be equivalent with our generalized loop model. We explore the physical properties and the phase diagram of this model by means of transfer-matrix calculations and finite-size scaling. The exact results, which include seven one-dimensional branches in the parameter space of our generalized loop model, are compared to our numerical results. The results for the phase behavior also extend to parts of the parameter space beyond the exactly solved subspaces. One of the exactly solved branches describes the case of nonintersecting loops and was already known to correspond with the ordering transition of the Potts model. Another exactly solved branch, describing a model with nonintersecting loops and cubic vertices, corresponds with a first-order, Ising-like phase transition for n>2. For 1<n<2, this branch is interpreted in terms of a low-temperature O(n) phase with corner-cubic anisotropy. For n>2 this branch is the locus of a first-order phase boundary between a phase with a hard-square, lattice-gas-like ordering and a phase dominated by cubic vertices. A mean-field argument explains the first-order nature of this transition.

Wave function and strange correlator of short-range entangled states

We demonstrate the following conclusion: If |Ψ⟩ is a one-dimensional (1D) or two-dimensional (2D) nontrivial short-range entangled state and |Ω⟩ is a trivial disordered state defined on the same Hilbert space, then the following quantity (so-called "strange correlator") C(r,r('))=⟨Ω|ϕ(r)ϕ(r('))|Ψ⟩/⟨Ω|Ψ⟩ either saturates to a constant or decays as a power law in the limit |r-r(')|→+∞, even though both |Ω⟩ and |Ψ⟩ are quantum disordered states with short-range correlation; ϕ(r) is some local operator in the Hilbert space. This result is obtained based on both field theory analysis and an explicit computation of C(r,r(')) for four different examples: 1D Haldane phase of spin-1 chain, 2D quantum spin Hall insulator with a strong Rashba spin-orbit coupling, 2D spin-2 Affleck-Kennedy-Lieb-Tasaki state on the square lattice, and the 2D bosonic symmetry-protected topological phase with Z(2) symmetry. This result can be used as a diagnosis for short-range entangled states in 1D and 2D.

Monte Carlo algorithm for simulating the O(N) loop model on the square lattice

An efficient algorithm is presented to simulate the O(N) loop model on the square lattice for arbitrary values of N>0. The scheme combines the worm algorithm with a new data structure to resolve both the problem of loop crossings and the necessity of counting the number of loops at each Monte Carlo update. With the use of this scheme, the line of critical points (and other properties) of the O(N) model on the square lattice for 0<N≤2 have been determined.

Universal statistics of vortex lines

We study the vortex lines that are a feature of many random or disordered three-dimensional systems. These show universal statistical properties on long length scales, and geometrical phase transitions analogous to percolation transitions but in distinct universality classes. The field theories for these problems have not previously been identified, so that while many numerical studies have been performed, a framework for interpreting the results has been lacking. We provide such a framework with mappings to simple supersymmetric models. Our main focus is on vortices in short-range-correlated complex fields, which show a geometrical phase transition that we argue is described by the CP(k|k) model (essentially the CP(n-1) model in the replica limit n→1). This can be seen by mapping a lattice version of the problem to a lattice gauge theory. A related field theory with a noncompact gauge field, the 'NCCP(k|k) model', is a supersymmetric extension of the standard dual theory for the XY transition, and we show that XY duality gives another way to understand the appearance of field theories of this type. The supersymmetric descriptions yield results relevant, for example, to vortices in the XY model and in superfluids, to optical vortices, and to certain models of cosmic strings. A distinct but related field theory, the RP(2l|2l) model (or the RP(n-1) model in the limit n→1) describes the unoriented vortices that occur, for instance, in nematic liquid crystals. Finally, we show that in two dimensions, a lattice gauge theory analogous to that discussed in three dimensions gives a simple way to see the known relation between two-dimensional percolation and the CP(k|k) σ model with a θ term.

3D loop models and the CP(n-1) sigma model

Many statistical mechanics problems can be framed in terms of random curves; we consider a class of three-dimensional loop models that are prototypes for such ensembles. The models show transitions between phases with infinite loops and short-loop phases. We map them to CP(n-1) sigma models, where n is the loop fugacity. Using Monte Carlo simulations, we find continuous transitions for n=1, 2, 3, and first order transitions for n≥5. The results are relevant to line defects in random media, as well as to Anderson localization and (2+1)-dimensional quantum magnets.

Crossover phenomena involving the dense O(n) phase

We explore the properties of the low-temperature phase of the O(n) loop model in two dimensions by means of transfer-matrix calculations and finite-size scaling. We determine the stability of this phase with respect to several kinds of perturbations, including cubic anisotropy, attraction between loop segments, double bonds, and crossing bonds. In line with Coulomb gas predictions, cubic anisotropy and crossing bonds are found to be relevant and introduce crossover to different types of behavior. Whereas perturbations in the form of loop-loop attractions and double bonds are irrelevant, sufficiently strong perturbations of these types induce a phase transition of the Ising type, at least in the cases investigated. This Ising transition leaves the underlying universal low-temperature O(n) behavior unaffected.

Crossing bonds in the random-cluster model

We derive the scaling dimension associated with crossing bonds in the random-cluster representation of the two-dimensional Potts model by means of a mapping on the Coulomb gas. The scaling field associated with crossing bonds appears to be irrelevant on the critical as well as on the tricritical branch. The latter result stands in a remarkable contrast with the existing result for the tricritical O(n) model that crossing bonds are relevant. Although the O(1) model is equivalent with the q=2 random-cluster model, the crossing-bond exponents obtained for these two models appear to be different. We provide an explanation of this peculiar observation. In order to obtain an independent confirmation of the Coulomb gas result for the crossing-bond exponent, we perform a finite-size-scaling analysis based on numerical transfer-matrix calculations.

Tricritical O(n) models in two dimensions

We show that the exactly solved low-temperature branch of the two-dimensional O(n) model is equivalent to an O(n) model with vacancies and a different value of n . We present analytic results for several universal parameters of the latter model, which is identified as a tricritical point. These results apply to the range n</=32 and include the exact tricritical point, the conformal anomaly, and a number of scaling dimensions, among which are the thermal and magnetic exponents, and the exponent associated with the crossover to ordinary critical behavior and to tricritical behavior with cubic symmetry. We describe the translation of the tricritical model in a Coulomb gas. The results are verified numerically by means of transfer-matrix calculations. We use a generalized ADE model as an intermediary and present the expression of the one-point distribution function in that language. The analytic calculations are done both for the square and the honeycomb lattice.

Exact characterization of O(n) tricriticality in two dimensions

We propose exact expressions for the conformal anomaly and for three critical exponents of the tricritical O(n) loop model as a function of n in the range -2<or=n<or=3/2. These findings are based on an analogy with known relations between Potts and O(n) models and on an exact solution of a "tri-tricritical" Potts model described in the literature. We verify the exact expressions for the tricritical O(n) model by means of a finite-size scaling analysis based on numerical transfer-matrix calculations.

Minimum spanning trees and random resistor networks in d dimensions

We consider minimum-cost spanning trees, both in lattice and Euclidean models, in d dimensions. For the cost of the optimum tree in a box of size L , we show that there is a correction of order L(theta) , where theta< or =0 is a universal d -dependent exponent. There is a similar form for the change in optimum cost under a change in boundary condition. At nonzero temperature T , there is a crossover length xi approximately T(-nu) , such that on length scales larger than xi, the behavior becomes that of uniform spanning trees. There is a scaling relation theta=-1/nu, and we provide several arguments that show that nu and -1/theta both equal nu(perc) , the correlation length exponent for ordinary percolation in the same dimension d , in all dimensions d> or =1 . The arguments all rely on the close relation of Kruskal's greedy algorithm for the minimum spanning tree, percolation, and (for some arguments) random resistor networks. The scaling of the entropy and free energy at small nonzero T , and hence of the number of near-optimal solutions, is also discussed. We suggest that the Steiner tree problem is in the same universality class as the minimum spanning tree in all dimensions, as is the traveling salesman problem in two dimensions. Hence all will have the same value of theta=-3/4 in two dimensions.

Traveling salesman problem, conformal invariance, and dense polymers

We propose that the statistics of the optimal tour in the planar random Euclidean traveling salesman problem is conformally invariant on large scales. This is exhibited in the power-law behavior of the probabilities for the tour to zigzag repeatedly between two regions, and in subleading corrections to the length of the tour. The universality class should be the same as for dense polymers and minimal spanning trees. The conjectures for the length of the tour on a cylinder are tested numerically.

Information metric on instanton moduli spaces in nonlinear sigma models

We study the information metric on instanton moduli spaces in two-dimensional nonlinear sigma models. In the CP1 model, the information metric on the moduli space of one instanton with the topological charge Q=k(k > or =1) is a three-dimensional hyperbolic metric, which corresponds to Euclidean anti-de Sitter space-time metric in three dimensions, and the overall scale factor of the information metric is 4k(2)/3; this means that the sectional curvature is -3/4k(2). We also calculate the information metric in the CP2 model.

Tight and loose shapes in flat entangled dense polymers

We investigate the effects of topological constraints (entanglements) on two-dimensional polymer loops in the dense phase, and at the collapse transition (theta-point). Previous studies have shown that in the dilute phase the entangled region becomes tight, and is thus localised on a small portion of the polymer. We find that the entropic force favouring tightness is considerably weaker in dense polymers. While the simple figure-eight structure, created by a single crossing in the polymer loop, localises weakly, the trefoil knot and all other prime knots are loosely spread out over the entire chain. In both the dense and theta conditions, the uncontracted-knot configuration is the most likely shape within a scaling analysis. By contrast, a strongly localised figure-eight is the most likely shape for dilute prime knots. Our findings are compared to recent simulations.