The $p$-$\theta$ relation in mating of trees

Basic Information

• Paper ID: 2510.13683
• Title: The $p$-$\theta$ relation in mating of trees
• Authors: Morris Ang (UC San Diego), Xin Sun (Beijing International Center for Mathematical Research, Peking University), Pu Yu (New York University)
• Classification: math.PR (Probability Theory)
• Publication Date: October 15, 2025
• Paper Link: https://arxiv.org/abs/2510.13683

Abstract

In the tree mating approach to Schramm-Loewner evolution (SLE) and Liouville quantum gravity (LQG), it is natural to consider couplings of two pairs of correlated Brownian motions. This arises in the scaling limits of bipolar-oriented decorated planar graphs (Gwynne-Holden-Sun, 2016) and in related biased Brownian permutations studied by Borga and colleagues. Two parameters in the literature can be used to characterize the coupling between two pairs of Brownian motions, denoted $p$ and $\theta$: $p$ describes the Brownian motions, while $\theta$ describes SLE curves on LQG surfaces. This paper derives the exact relationship between the two parameters and demonstrates its application in computing statistics of biased Brownian permutations. The derivation relies on the synergy between the tree mating method and Liouville conformal field theory (LCFT), where boundary three-point functions of LCFT provide exactly solvable inputs.

Research Background and Motivation

Problem Background

1. Tree Mating Method: The tree mating method is a powerful framework for studying couplings of SLE and LQG, particularly suited for investigating decorated random planar graphs and their relationships with continuous objects.
2. Parameterization Problem: In this framework, two important parameters exist:
   • $p$: A parameter describing Brownian motions, used to parameterize limiting objects
   • $\theta$: An angular parameter, more natural in the original LQG/SLE setting
3. Application Requirements: The family of biased Brownian permutations is parameterized by $p$, but analysis using the $\theta$ parameter through LQG/SLE tools is more natural.

Research Motivation

1. Theoretical Completeness: Establishing the exact relationship between $p$ and $\theta$ is a fundamental question in this research area
2. Application Value: This relationship is crucial for studying scaling limits of discrete models such as Baxter permutations and their generalizations
3. Methodological Innovation: Combining the tree mating method with the exact solvability of LCFT provides a new research pathway

Core Contributions

1. Establishing Exact Relationship: Derives the exact formula between the $p$ and $\theta$ parameters: $\frac{p_\gamma(\theta)}{1-p_\gamma(\theta)} = \frac{\sin((\frac{1}{2} - \frac{\gamma^2}{8})(\pi - 2\theta))}{\sin((\frac{1}{2} - \frac{\gamma^2}{8})(\pi + 2\theta))}$
2. Determining Constant $c_\gamma(\theta)$: Provides the exact expression for the constant connecting local time and quantum length measures: $c_\gamma(\theta) = \frac{\cos((1-\frac{\gamma^2}{4})\theta)}{\sin(\frac{\pi\gamma^2}{8})}$
3. Application to Biased Brownian Permutations: Utilizes this relationship to compute explicit inversion rates and density functions of biased Brownian permutations
4. Methodological Contribution: Demonstrates the power of synergy between the tree mating method and LCFT, providing new pathways for exact results in random conformal geometry

Detailed Methodology

Theoretical Framework

Tree Mating Setup

Consider a $\gamma$-quantum cone $(C, h, 0, \infty)$ and an independent full-plane Gaussian free field $\hat{h}$, along with the northward space-filling flow line $\eta'$ of $\hat{h}$. Define the process $(L_t, R_t)_{t \in \mathbb{R}}$ tracking the changes in LQG length of the left and right boundaries of $\eta'((-\infty, t])$.

Contour Decomposition

For angle $\theta \in (-\frac{\pi}{2}, \frac{\pi}{2})$, consider the $\theta$-angle flow line $\eta_\theta$ starting from 0. Define:

• $A := \{t \geq 0 : \eta' \text{ crosses } \eta_\theta \text{ at time } t\}$
• $X_s := (R_s - R_{\tilde{\tau}_s})\mathbf{1}_{E_s} - (L_s - L_{\tilde{\tau}_s})\mathbf{1}_{E_s^c}$

where $E_s$ is the event that $\eta'(s)$ lies to the left of $\eta_\theta$.

Technical Innovations

1. Conformal Welding Technique

Through conformal welding of quantum wedges and quantum triangles, establishes connections between geometric objects and probability measures: $M^{\text{wedge}}_{2,\bullet}(W) \otimes \text{SLE}_\kappa(W-2; -W, W-2) = C \cdot \text{Weld}(M^{\text{wedge}}_2(W), QT(2-W, W, \frac{\gamma^2}{2}))$

2. LCFT Integrability

Utilizes the boundary three-point structure constants of LCFT, particularly the exact expressions and functional equations of $H^{(\beta_1,\beta_2,\beta_3)}_{(\mu_1,\mu_2,\mu_3)}$.

3. Quantum Area Calculation

Connects probability and quantum area through the key equality: $E[\exp(-\mu A^L_1)] = \exp(-a^{-1}c_\gamma(\theta)p_\gamma(\theta)\sqrt{2\mu})$

Experimental Setup

Theoretical Verification

1. Known Case Verification:
   • When $\theta = 0$, $p = \frac{1}{2}$ (symmetry)
   • When $\theta = \frac{\pi}{6}$, $p = \frac{1}{1+\sqrt{2}}$, $\gamma = 1$ (relation to Schnyder-wood decorated triangulations)
2. Special Value Calculations:
   • Verification of known result $c_\gamma(0) = 2$ when $\gamma = \sqrt{4/3}$

Mathematical Verification Methods

Validates formula correctness through rigorous mathematical proofs, including:

• Monotonicity verification (Lemma 4.3)
• Limiting case analysis
• Consistency checks of functional equations

Experimental Results

Main Theoretical Results

Theorem 1.1 (Main Result)

For $\gamma \in (0,2)$ and $\theta \in [-\frac{\pi}{2}, \frac{\pi}{2}]$: $\frac{p_\gamma(\theta)}{1-p_\gamma(\theta)} = \frac{\sin((\frac{1}{2} - \frac{\gamma^2}{8})(\pi - 2\theta))}{\sin((\frac{1}{2} - \frac{\gamma^2}{8})(\pi + 2\theta))}$

Theorem 1.2 (Auxiliary Constant)

$c_\gamma(\theta) = \frac{\cos((1-\frac{\gamma^2}{4})\theta)}{\sin(\frac{\pi\gamma^2}{8})}$

Application Results

Inversion Rate of Biased Brownian Permutations

For biased Brownian permutations $\mu_{\rho,q}$: $E[\text{occ}(21, \mu_{\rho,q})] = \frac{\pi - 2\theta}{2\pi}$

where $\theta$ is related to $q$ through the main result.

Verification Results

1. Consistency Checks: All special cases align perfectly with known results
2. Monotonicity: $p_\gamma(\theta)$ is monotonically decreasing in $\theta$, consistent with geometric intuition
3. Boundary Behavior: Limiting behavior as $\theta \to \pm\frac{\pi}{2}$ matches expectations

Related Work

Core Related Research

1. GHS16: Introduced bipolar-oriented decorated graphs and parameters $p$, $\theta$
2. DMS21: Established foundational theory of the tree mating framework
3. Bor23: Studied biased Brownian permutations and their properties
4. ARSZ23: Provided exact formulas for LCFT boundary three-point functions

Methodological Development

This paper continues the following research directions:

• Sheffield's conformal welding theory
• Miller-Sheffield's imaginary geometry theory
• Combined application of tree mating method and LCFT

Conclusions and Discussion

Main Conclusions

1. Exact Relationship: Provides the first complete exact formula for the $p$-$\theta$ relationship
2. Computational Capability: This relationship enables analysis of continuous objects through LQG/SLE tools
3. Unified Framework: Demonstrates deep integration of tree mating method and LCFT

Limitations

1. Technical Conditions: Some results require weight parameters to satisfy specific conditions (e.g., $W \neq \frac{\gamma^2}{2}$)
2. Computational Complexity: Although exact formulas are provided, computation remains complex in some cases
3. Generalizability: Extension of the method to other related problems requires further investigation

Future Directions

1. Extended Applications: Generalize the method to other decorated planar graph models
2. Numerical Computation: Develop efficient numerical methods for computing related quantities
3. Discrete Approximation: Study how discrete models approximate continuous limits

In-Depth Evaluation

Strengths

1. Theoretical Depth: Resolves a fundamental open problem in the field
2. Methodological Innovation: Successfully combines deep theories from multiple mathematical branches
3. Computational Exactness: Provides completely exact formulas rather than approximations
4. Application Value: Has direct applications to concrete models such as biased Brownian permutations

Technical Highlights

1. Conformal Welding: Cleverly transforms geometric problems into probabilistic ones
2. LCFT Integrability: Fully exploits the exact solvability of conformal field theory
3. Functional Equations: Derives final results through complex functional equations

Shortcomings

1. Technical Threshold: Requires substantial mathematical background for complete understanding
2. Computational Complexity: Computation remains quite involved in certain cases
3. Generalization Limitations: The applicability of the method may be limited in scope

Impact

1. Theoretical Contribution: Provides new exact results for random conformal geometry
2. Methodological Value: Demonstrates the power of interdisciplinary collaboration
3. Application Prospects: Provides powerful tools for research on related discrete models

Applicable Scenarios

1. Theoretical Research: Random conformal geometry, probability theory, mathematical physics
2. Applied Research: Random permutations, planar graph theory
3. Computational Mathematics: Numerical computation problems requiring exact formulas

References

The paper cites 83 related references, primarily including:

• Foundational Theory: Seminal work by Sheffield, Miller and others on SLE and conformal geometry
• Tree Mating Method: Pioneering research by Duplantier-Miller-Sheffield
• LCFT Theory: Rigorous work by David-Kupiainen-Rhodes-Vargas and colleagues
• Applied Research: Studies of concrete models by Borga, Gwynne-Holden-Sun and others

Overall Assessment: This is a high-quality theoretical mathematics paper that successfully resolves an important open problem in random conformal geometry. The paper demonstrates high technical depth, strong methodological innovation, exact results, and significant application value. While the technical threshold is considerable, it makes important contributions to the development of the field.