[Paper Review] Duality and KPZ in Liouville Quantum Gravity

Bertrand Duplantier, Scott Sheffield⋆|arXiv (Cornell University)|Jan 2, 2009

Markov Chains and Monte Carlo Methods4 citations

TL;DR

This paper presents a rigorous probabilistic and geometric proof of the KPZ relation in Liouville quantum gravity using the regularized quantum area measure $ dar{\mu}_\gamma = \varepsilon^{\gamma^2/2} e^{\gamma h_\varepsilon(z)} dz $, where $ h_\varepsilon(z) $ is the circle average of the Gaussian free field. It establishes the duality $ \gamma\gamma' = 4 $ for $ \gamma > 2 $, showing that singular $ \gamma $-measures correspond to regular $ \gamma' $-measures with $ \gamma' < 2 $, and proves the KPZ relation holds for fractal sets in bulk and on the boundary.

ABSTRACT

We present a (mathematically rigorous) probabilistic and geometrical proof of the KPZ relation between scaling exponents in a Euclidean planar domain D and in Liouville quantum gravity. It uses the properly regularized quantum area measure dμ_γ=ε^{γ^2/2} e^{γh_ε(z)}dz, where dz is Lebesgue measure on D, γis a real parameter, 0\leq γ&lt;2, and h_ε(z) denotes the mean value on the circle of radius εcentered at z of an instance h of the Gaussian free field on D. The proof extends to the boundary geometry. The singular case γ&gt;2 is shown to be related to the quantum measure dμ_{γ'}, γ' &lt; 2, by the fundamental duality γγ'=4.

Motivation & Objective

• To provide a mathematically rigorous derivation of the KPZ relation between Euclidean and quantum gravity scaling exponents in Liouville quantum gravity.
• To extend the KPZ relation to boundary geometry and fractal subsets of the boundary $ \partial D $.
• To establish the duality $ \gamma\gamma' = 4 $ for $ \gamma > 2 $, showing that singular quantum measures correspond to regular $ \gamma' $-measures with $ \gamma' < 2 $.
• To unify the KPZ relation with SLE duality via $ \kappa\kappa' = 16 $, linking quantum gravity and conformally invariant processes.

Proposed method

• Use of the regularized quantum area measure $ d\mu_\gamma = \varepsilon^{\gamma^2/2} e^{\gamma h_\varepsilon(z)} dz $, where $ h_\varepsilon(z) $ is the circle average of the Gaussian free field on $ D $.
• Application of Brownian motion and martingale theory to analyze the scaling of quantum measures and passage times.
• Derivation of the KPZ relation via the scaling of the expected number of quantum balls of size $ \delta $ needed to cover a fractal set.
• Use of the duality transformation $ \gamma' = 4/\gamma $ to map singular $ \gamma > 2 $ measures to regular $ \gamma' < 2 $ measures.
• Proof of the boundary KPZ relation by extending the bulk analysis to the boundary of $ D $, using conditional expectations and hitting time distributions.
• Establishment of the scaling identity $ \mathbb{E}[\exp(-2xT_A)\mathbf{1}_{T_A < \infty}] / \mathbb{E}[\mathbf{1}_{T_A < \infty}] = \delta^{\Delta_\gamma} \cdot \frac{\delta'}{\delta} = \delta'^{\Delta_{\gamma'}} $, linking $ \gamma $ and $ \gamma' $ scaling exponents.

Experimental results

Research questions

• RQ1 How can the KPZ relation between Euclidean and quantum gravity scaling exponents be rigorously derived using probabilistic methods?
• RQ2 What is the geometric and probabilistic meaning of the duality $ \gamma\gamma' = 4 $ for $ \gamma > 2 $ in Liouville quantum gravity?
• RQ3 How does the KPZ relation extend to fractal subsets of the boundary $ \partial D $?
• RQ4 What is the connection between the KPZ relation and the SLE $ \kappa $ process when $ \gamma = \sqrt{\kappa} $?
• RQ5 How do the quantum measures $ d\mu_\gamma $ and $ d\mu_{\gamma'} $ relate under the duality $ \gamma\gamma' = 4 $, especially in the singular $ \gamma > 2 $ regime?

Key findings

• The KPZ relation $ x = \frac{\gamma^2}{4}\Delta^2 + \left(1 - \frac{\gamma^2}{4}\right)\Delta $ is rigorously derived using the regularized quantum measure and Brownian motion properties of the Gaussian free field.
• For $ \gamma > 2 $, the singular quantum measure $ d\mu_\gamma $ is shown to be equivalent to the regular $ \gamma' $-measure with $ \gamma' = 4/\gamma < 2 $, via the duality $ \gamma\gamma' = 4 $.
• The expected number of $ \gamma $-quantum size-$ \delta $ balls needed to cover a fractal set $ X $ scales as $ \delta^{\Delta_\gamma - 1} $, with $ \Delta_\gamma $ satisfying the duality $ \Delta_\gamma - 1 = \frac{4}{\gamma^2}(\Delta_{\gamma'} - 1) $.
• The conditional expectation scaling $ \frac{\mathbb{E}[\exp(-2xT_A)\mathbf{1}_{T_A < \infty}]}{\mathbb{E}[\mathbf{1}_{T_A < \infty}]} = \delta^{\Delta_\gamma} \cdot \frac{\delta'}{\delta} = \delta'^{\Delta_{\gamma'}} $ confirms $ \Delta_\gamma \Delta_{\gamma'} = x $, consistent with known duality.
• The typical GFF thickness $ \alpha = \gamma(1 - \Delta_\gamma) $ is invariant under duality and satisfies the Seiberg bound $ \alpha \leq Q $, where $ Q = \frac{\gamma}{2} + \frac{2}{\gamma} $.
• The string susceptibility exponent satisfies $ (1 - \gamma_{\textrm{str}})(1 - \gamma'_{\textrm{str}}) = 1 $, confirming duality in the critical behavior of random surfaces.