Diagonal boundary conditions in critical loop models

Abstract: In critical loop models, we define diagonal boundaries as boundaries that couple to diagonal fields only. Using analytic bootstrap methods, we show that diagonal boundaries are characterised by one complex parameter, analogous to the boundary cosmological constant in Liouville theory. We determine disc 1-point functions, and write an explicit formula for disc 2-point functions as infinite combinations of conformal blocks. For a discrete subset of values of the boundary parameter, the boundary spectrum becomes discrete, and made of degenerate representations. In such cases, we check our results by numerically bootstrapping disc 2-point functions. We sketch the interpretation of diagonal and non-diagonal boundaries in lattice loop models. In particular, a loop can neither end on a diagonal boundary, nor change weight when it touches it. In bulk-to-boundary OPEs, numbers of legs can be conserved, or increase by even numbers.

• The paper provides a systematic classification of diagonal boundary conditions, restricting correlators to diagonal and degenerate fields via analytic bootstrap techniques.
• It derives explicit disc one- and two-point correlation functions and distinguishes between discrete and continuous boundary spectra with strong numerical bootstrap validation.
• The study connects CFT constructions with lattice loop models, offering practical insights into fusion rules and boundary universality classes.

Diagonal Boundary Conditions in Critical Loop Models

Introduction and Structural Framework

This paper introduces and systematically classifies "diagonal" boundary conditions in two-dimensional critical loop models, treated at the conformal field theory level. Diagonal boundaries are defined as boundary conditions that couple exclusively to diagonal and degenerate fields. By utilizing analytic bootstrap techniques—most notably leveraging the existence of specific degenerate primary fields—the authors derive explicit disc one-point and two-point correlation functions for critical loop models with these diagonal boundaries.

The analysis extensively employs the structure of the Virasoro algebra, conformal blocks, and the modular bootstrap, directly constructing solutions to crossing equations and connecting formal CFT constructions to lattice loop realizations. The work is highly technical, constructing and justifying all necessary combinatorial and structural consistency requirements, with an emphasis on the interplay of operator dimensions, OPEs, and fusion matrices.

Classification and Solution of Diagonal Boundaries

The authors identify two fundamental classes of boundary conditions—diagonal and non-diagonal—predicated on the structure constants that arise in the crossing symmetry constraints of the disc one-point function. Diagonal boundaries permit nonzero expectations only for diagonal or degenerate fields. These are parameterized by a single complex parameter $\sigma$, which directly enters the explicit solution for the one-point function: $$\langle V_P \rangle_\sigma = \sin(4\pi\sigma P), \quad \mu_\sigma = 2\cos(2\pi\beta^{-1}\sigma)$$ where $\mu_\sigma$ acts as an analogue of the boundary cosmological constant in Liouville theory. The construction broadens the standard framework of diagonal boundaries known from Liouville theory, with key distinctions resulting from the absence of the second (dual) degenerate field, yielding an infinite family of solutions unless further constraints are imposed.

Discrete Versus Continuous Boundary Spectra

By analyzing shift equations and the modular properties of annulus partition functions, the work delineates between "discrete" and "continuous" diagonal boundaries. Discrete boundaries are specified by quantized values of the parameter $\sigma = P_{(0,S)}$ for $S\in\mathbb{N}^*$, where $P_{(r,s)}$ are usual Kac parametricizations. In this discrete case, the bulk-to-boundary OPEs restrict to a finite set of degenerate boundary fields, and the annulus partition function can be decomposed into a finite sum of characters.

The discrete spectrum for a given $S$ is precisely $$\{\psi^d_{\langle r,s\rangle}\}_{r\in \mathbb{N}^*, s=1,3, \dots, 2S-1}$$. For general (continuous) $\sigma$, the boundary spectrum is continuous, and the partition function cannot be recast as a sum—rather, it becomes an integral over the continuous spectrum, concretely realized by the modular $S$-transformation of the boundary character.

Explicit Formulae for Disc Correlation Functions

Through an explicit conformal block decomposition, the authors obtain analytic formulae for disc two-point functions for all pairs of (bulk) primaries, suppressing contributions from non-diagonal sectors due to the choice of boundary. Their formulae rest crucially on the conjectured correspondence between OPE structure constants and three-point functions, with checks provided by direct numerical bootstrap for the subset of discrete boundaries.

For the two-point disc function: $$\langle V_{(r_1,s_1)} V_{(r_2, s_2)}\rangle_{\sigma} = \sum_{P\in P_0+\beta^{-1}\mathbb{Z}} C_{(r_1,s_1),(r_2,s_2)}^P \langle V_P \rangle_\sigma \mathcal{F}_P$$ where $C$ is given in terms of explicit Barnes double Gamma functions, and $\mathcal{F}_P$ denotes the associated conformal block.

The authors also construct the dual boundary channel expansion, enabling nontrivial checks of the underlying combinatorics and fusion algebra. A strong result is the demonstration that the boundary channel spectrum for two-point functions consists of a distinctive subset $\mathcal{S}_S^{r_1,r_2}$, characterized not only by $S$ but also by the bulk operator Kac labels.

Lattice Interpretations and Combinatorics

The formal bootstrap results are connected, at the physical level, to concrete modifications of critical loop models on the lattice—e.g., via the incorporation of Jones–Wenzl projectors and the preservation of enhanced symmetry algebras associated with the $O(n)$ and Potts models. The interpretation of loop boundaries—e.g., whether loops can end (non-diagonal) or are compelled to continue unaltered (diagonal)—is derived from the detailed bulk-to-boundary fusion rules and confirmed via the properties of the annulus partition function.

Remarkably, the results show that diagonal boundaries cannot modify loop weights nor allow loops to terminate freely on the boundary; rather, such properties characterize non-diagonal cases.

Numerical Bootstrap and Uniqueness Results

A critical aspect of this work is the systematic numerical bootstrap validation of the derived analytic structures. For a variety of parameter sets and increasing boundary spectrum size, the disc crossing symmetry equations are shown to possess unique solutions precisely when the boundary spectrum coincides with $\mathcal{S}_S^{r_1,r_2}$. The deviation of numerically determined structure constants from their analytic predictions is demonstrated to be as small as $10^{-45}$ for low values of $S$, establishing both correctness and stability of the bootstrap results.

Moreover, the paper confirms that the ratios of the boundary structure constants are insensitive to the boundary parameter $S$, which aligns with general expectations from fusion and modular considerations.

Theoretical and Practical Implications

The systematic construction and classification of diagonal boundaries have significant implications for both probabilistic models of critical phenomena (loop ensembles, percolation, polymers) and for the constructive bootstrap program for logarithmic or non-rational CFTs. On the theoretical side, this work clarifies how the analytic bootstrap organizes the possibilities for boundary critical behavior in non-unitary settings not covered by RCFT or Liouville theory. The results also indicate strong constraints on allowed boundary perturbations and identify which loop-algebraic modifications correspond to diagonal versus non-diagonal sectors.

On a practical level, the explicit formulae for disc one- and two-point functions, as well as the precise combinatorial mapping to lattice models, directly support applications to numerical studies of loop models, boundary critical exponents, and the classification of boundary universality classes.

Conclusion

This paper provides an explicit characterization of diagonal boundary conditions in critical loop models, including closed-form results for disc correlators, explicit identification of discrete versus continuous boundary spectra, and rigorous connections to both CFT and lattice frameworks (2512.10400). The demonstrated analytical and numerical consistency of these results establishes a solid foundation for the extension to non-diagonal boundary conditions and for a deeper understanding of loop model CFTs with boundaries. Furthermore, the detailed combinatorics and spectral analysis performed here suggest promising directions for further classification of boundaries in statistical and field-theoretic models, as well as possible generalizations to higher-rank algebras and non-rational CFTs.