arXiv++ Combinatorics

This is Part II of our project on block-weighted planar maps and Liouville quantum duality. Focusing on the scaling properties at the dual critical point, we derive the conditional distribution of the root block size given the total size, as well as, conversely, the distribution of the total size for a fixed root block size. We show that these laws are in perfect agreement with the results of Liouville quantum gravity (LQG), obtained by modifying the standard Liouville random measure with additional atomic contributions representing localized quantum areas. The ratio of dual and direct partition functions with punctures is shown to be universal, its explicit LQG expression exactly matching its combinatorial analogue. We also investigate the block distance profile for doubly rooted maps, which is here rigorously related to the distance profile of maps consisting of a single block. Finally, we analyze the multifractal properties of the usual and dual Liouville measures, predicting the associated spectra, from both quantum and Euclidean perpectives. We illustrate our results through specific realizations of block-weighted planar maps, i.e., quadrangulations decomposed into simple blocks, tree-like structures formed by attaching quartic maps, and bicubic maps decomposed into 3-connected blocks. For each model, we give the single non-universal constant which uniquely determines the strength of the corresponding atomic Liouville measure.

We consider models of block-weighted random planar maps in which possibly decorated maps are decomposed canonically into blocks, each block receiving the weight $u$. These maps present a transition at some critical value $u=u_{cr}$ above which the maps degenerate into Brownian trees. We show that the enumerative properties and critical exponents of the maps at $u=u_{cr}$ and those for $u<u_{cr}$ are connected by duality relations which are precisely those expected in the context of the Liouville quantum gravity description of random surfaces. We illustrate this result by various instances of block-weighted maps: random planar quadrangulations decomposed into simple blocks, Hamiltonian cycles on cubic or bicubic planar maps decomposed into irreducible blocks, and meandric systems.

We show how the theory of the critical behaviour of $d$-dimensional polymer networks of arbitrary topology can be generalized to the case of networks confined by hyperplanes. This in particular encompasses the case of a single polymer chain in a bridge configuration. We further define multi-bridge networks, where several vertices are in local bridge configurations. We consider all cases of ordinary, mixed and special surface transitions, and polymer chains made of self-avoiding walks, or of mutually-avoiding walks, or at the tricritical $Θ$-point. In the $Θ$-point case, generalising the good-solvent case, we relate the critical exponent for simple bridges, $γ_b^Θ$, to that of terminally-attached arches, $γ_{11}^Θ,$ and to the correlation length exponent $ν^Θ.$ We find $γ_b^Θ = γ_{11}^Θ+ν^Θ.$ In the case of the special transition, we find $γ_b^Θ({\rm sp}) = \frac{1}{2}[γ_{11}^Θ({\rm sp})+γ_{11}^Θ]+ν^Θ.$ For general networks, the explicit expression of configurational exponents then naturally involve bulk and surface exponents for multiple random paths. In two-dimensions, we describe their Euclidean exponents from a unified perspective, using Schramm-Loewner Evolution (SLE) in Liouville quantum gravity (LQG), and the so-called KPZ relation between Euclidean and LQG scaling dimensions. This is done in the case of ordinary, mixed and special surface transitions, and of the $Θ$-point. We provide compelling numerical evidence for some of these results both in two- and three-dimensions.

We show how the theory of the critical behaviour of $d$-dimensional polymer networks gives a scaling relation for self-avoiding {\em bridges} that relates the critical exponent for bridges $γ_b$ to that of terminally-attached self-avoiding arches, $γ_{1,1},$ and the {correlation} length exponent $ν.$ We find $γ_b = γ_{1,1}+ν.$ We provide compelling numerical evidence for this result in both two- and three-dimensions. Another subset of SAWs, called {\em worms}, are defined as the subset of SAWs whose origin and end-point have the same $x$-coordinate. We give a scaling relation for the corresponding critical exponent $γ_w,$ which is $γ_w=γ-ν.$ This too is supported by enumerative results in the two-dimensional case.

In the O(n) loop model on random planar maps, we study the depth - in terms of the number of levels of nesting - of the loop configuration, by means of analytic combinatorics. We focus on the 'refined' generating series of pointed disks or cylinders, which keep track of the number of loops separating the marked point from the boundary (for disks), or the two boundaries (for cylinders). For the general O(n) loop model, we show that these generating series satisfy functional relations obtained by a modification of those satisfied by the unrefined generating series. In a more specific O(n) model where loops cross only triangles and have a bending energy, we explicitly compute the refined generating series. We analyse their non generic critical behavior in the dense and dilute phases, and obtain the large deviations function of the nesting distribution, which is expected to be universal. Using the framework of Liouville quantum gravity (LQG), we show that a rigorous functional KPZ relation can be applied to the multifractal spectrum of extreme nesting in the conformal loop ensemble (CLE) in the Euclidean unit disk, as obtained by Miller, Watson and Wilson, or to its natural generalisation to the Riemann sphere. It allows us to recover the large deviations results obtained for the critical O(n) random planar map models. This offers, at the refined level of large deviations theory, a rigorous check of the fundamental fact that the universal scaling limits of random planar map models as weighted by partition functions of critical statistical models are given by LQG random surfaces decorated by independent CLEs.

A well-labelled positive path of size n is a pair (p,σ) made of a word p=p_1p_2...p_{n-1} on the alphabet {-1, 0,+1} such that the sum of the letters of any prefix is non-negative, together with a permutation σof {1,2,...,n} such that p_i=-1 implies σ(i)<σ(i+1), while p_i=1 implies σ(i)>σ(i+1). We establish a bijection between well-labelled positive paths of size $n$ and matchings (i.e. fixed-point free involutions) on {1,2,...,2n}. This proves that the number of well-labelled positive paths is (2n-1)!!. By specialising our bijection, we also prove that the number of permutations of size n such that each prefix has no more ascents than descents is [(n-1)!!]^2 if n is even and n!!(n-2)!! otherwise. Our result also prove combinatorially that the n-dimensional polytope consisting of all points (x_1,...,x_n) in [-1,1]^n such that the sum of the first j coordinates is non-negative for all j=1,2,...,n has volume (2n-1)!!/n!.