-
Probabilistic construction of the $\mathbb{H}^3$-Wess-Zumino-Witten conformal field theory and correspondence with Liouville theory
Authors:
Colin Guillarmou,
Antti Kupiainen,
Rémi Rhodes
Abstract:
Wess-Zumino-Witten (WZW) models are among the most basic and most studied Conformal Field Theories (CFT). They have had a huge influence not only in physics but also in mathematics, in representation theory and geometry. However their rigorous probabilistic construction and analysis starting from the path integral is still missing and all their properties have been obtained algebraically from thei…
▽ More
Wess-Zumino-Witten (WZW) models are among the most basic and most studied Conformal Field Theories (CFT). They have had a huge influence not only in physics but also in mathematics, in representation theory and geometry. However their rigorous probabilistic construction and analysis starting from the path integral is still missing and all their properties have been obtained algebraically from their postulated affine Lie algebra symmetry. Initially considered as taking values in a compact semisimple Lie Group G, the WZW model also has a "dual" formulation where the group $G$ is replaced by the homogenous space $G^{\mathbb{C}}/G$, where $G^{\mathbb{C}}$ is the complexification of $G$, and it has been argued that the former can be (re-)constructed from the latter. For $G={\rm SU}(2)$, the space ${\rm SL}(2,\mathbb{C})/{\rm SU}(2)$ can be identified with the three dimensional hyperbolic space $\mathbb{H}^3$ and, in physics, the corresponding CFT has been studied as the simplest example of the AdS/CFT correspondence. A surprising correspondence between the $\mathbb{H}^3$-WZW CFT and the Liouville CFT was found by Ribault and Teschner and later generalised by Hikida and Shomerus. This correspondence has been dubbed by Gaiotto-Teschner as the "quantum analytic Langlands correspondence" since the analytic Langlands correspondence of Etingof, Frenkel and Kazhdan seems to emerge in its formal semi classical limit. In this paper we give a rigorous construction of the path integral for the $\mathbb{H}^3$-WZW model on a closed Riemann surface $Σ$, twisted by an arbitrary smooth gauge field on $Σ$. Using the probabilistic path integral we prove a correspondence between the correlation functions of the primary fields of the $\mathbb{H}^3$ model and those of Liouville CFT extending the expressions proposed by Ribault-Teschner and by Hikida-Schomerus to this general setup.
△ Less
Submitted 22 February, 2025;
originally announced February 2025.
-
Energy field of critical Ising model and examples of singular fields in QFT
Authors:
Christophe Garban,
Antti Kupiainen
Abstract:
The goal of this paper is to prove singularity of three natural fields in QFT with respect to their natural base measure. The fields we consider are the following ones:
(1) The near-critical limit of the $2d$ Ising model (in the $β$-direction) is locally singular w.r.t the critical scaling limit of $2d$ Ising. (N.B. In the $h$-direction it is not locally singular).
(2) The $2d$ Hierarchical Si…
▽ More
The goal of this paper is to prove singularity of three natural fields in QFT with respect to their natural base measure. The fields we consider are the following ones:
(1) The near-critical limit of the $2d$ Ising model (in the $β$-direction) is locally singular w.r.t the critical scaling limit of $2d$ Ising. (N.B. In the $h$-direction it is not locally singular).
(2) The $2d$ Hierarchical Sine-Gordon field is singular w.r.t the $2d$ hierarchical Gaussian Free Field for all $β\in[β_{L^2}, β_{BKT})$.
(3) The Hierarchical $Φ^4_3$ field is singular w.r.t the $3d$ hierarchical GFF.
Item (1) gives the first strong indication that the energy field of critical $2d$ Ising model does not exist as a random Schwarz distribution on the plane. Item (2) has been proved to be singular for the non-hierarchical $2d$ Sine-Gordon sufficiently far from the BKT point in [GM24] while item (3) is proved to be singular for the non-hierarchical $3d$ $Φ^4_3$ field in [BG21, OOT21, HKN24].
We believe our way to detect a singular behaviour at all scales is very much down to earth and may be applicable in all settings where one has a good enough control on the so-called effective potentials.
△ Less
Submitted 4 February, 2025;
originally announced February 2025.
-
Review on the probabilistic construction and Conformal bootstrap in Liouville Theory
Authors:
Colin Guillarmou,
Antti Kupiainen,
Rémi Rhodes
Abstract:
In the paper, we review the recent construction of the Liouville conformal field theory (CFT) from probabilistic methods, and the formalization of the conformal bootstrap. This model has offered a fruitful playground to unify the probabilistic construction of the path integral, the geometric axiomatics of CFT by Segal and the representation theoretical content of the conformal bootstrap. We explai…
▽ More
In the paper, we review the recent construction of the Liouville conformal field theory (CFT) from probabilistic methods, and the formalization of the conformal bootstrap. This model has offered a fruitful playground to unify the probabilistic construction of the path integral, the geometric axiomatics of CFT by Segal and the representation theoretical content of the conformal bootstrap. We explain and extract the main steps and ideas behind the construction and resolution of this non-compact CFT.
△ Less
Submitted 19 March, 2024;
originally announced March 2024.
-
Semigroup of annuli in Liouville CFT
Authors:
Guillaume Baverez,
Colin Guillarmou,
Antti Kupiainen,
Rémi Rhodes
Abstract:
In conformal field theory, the semigroup of annuli with boundary parametrization plays a special role, in that it generates the whole algebra of local conformal symmetries, the so-called Virasoro algebra. The subgroup of elements $\mathbb{A}_f=\mathbb{D}\setminus f(\mathbb{D}^\circ)$ for contracting biholomorphisms $f:\mathbb{D}\to f(\mathbb{D})\subset \mathbb{D}^\circ$ with $f(0)=0$ is called the…
▽ More
In conformal field theory, the semigroup of annuli with boundary parametrization plays a special role, in that it generates the whole algebra of local conformal symmetries, the so-called Virasoro algebra. The subgroup of elements $\mathbb{A}_f=\mathbb{D}\setminus f(\mathbb{D}^\circ)$ for contracting biholomorphisms $f:\mathbb{D}\to f(\mathbb{D})\subset \mathbb{D}^\circ$ with $f(0)=0$ is called the holomorphic semigroup of annuli. In this article, we construct a differentiable representation of the holomorphic semigroup into the space of bounded operators on the Hilbert space $\mathcal{H}$ of Liouville Conformal Field Theory and show it generates under differentiation the positive Virasoro elements ${\bf L}_n,\tilde{\bf L}_n$ for $n\geq 0$. We also construct a projective representation of the semigroup of annuli in the space of bounded operators on $\mathcal{H}$ in terms of Segal amplitudes and show that all Virasoro elements ${\bf L}_n,\tilde{\bf L}_n$ for $n\in \mathbb{Z}$ are generated by differentiation of these annuli amplitudes. Finally, we use this to show that the Segal amplitudes for Liouville theory are differentiable with respetc to their boundary parametrizations, and the differential is computed in terms of Virasoro generators. This paper will serve, in a forthcoming work, as a fundamental tool in the construction of the conformal blocks as globally defined holomorphic sections of a holomorphic line bundle on Teichmuller space and satisfying the Ward identities.
△ Less
Submitted 19 March, 2024; v1 submitted 16 March, 2024;
originally announced March 2024.
-
Compactified Imaginary Liouville Theory
Authors:
Colin Guillarmou,
Antti Kupiainen,
Rémi Rhodes
Abstract:
On a given Riemann surface, we construct a path integral based on the Liouville action functional with imaginary parameters. The construction relies on the compactified Gaussian Free Field (GFF), which we perturb with a curvature term and an exponential potential. In physics this path integral is conjectured to describe the scaling limit of critical loop models such as Potts and O(n) models. The p…
▽ More
On a given Riemann surface, we construct a path integral based on the Liouville action functional with imaginary parameters. The construction relies on the compactified Gaussian Free Field (GFF), which we perturb with a curvature term and an exponential potential. In physics this path integral is conjectured to describe the scaling limit of critical loop models such as Potts and O(n) models. The potential term is defined by means of imaginary Gaussian Multiplicative Chaos theory. The curvature term involves integrated 1-forms, which are multivalued on the manifold, and requires a delicate regularisation in order to preserve diffeomorphism invariance. We prove that the probabilistic path integral satisfies the axioms of Conformal Field Theory (CFT) including Segal's gluing axioms. We construct the correlation functions for this CFT, involving electro-magnetic operators. This CFT has several exotic features: most importantly, it is non unitary and has the structure of a logarithmic CFT. This is the first mathematical construction of a logarithmic CFT and therefore the present paper provides a concrete mathematical setup for this concept.
△ Less
Submitted 27 October, 2023;
originally announced October 2023.
-
Conformal welding of independent Gaussian multiplicative chaos measures
Authors:
Antti Kupiainen,
Michael McAuley,
Eero Saksman
Abstract:
We solve the classical conformal welding problem for a composition of two random homeomorphisms generated by independent Gaussian multiplicative chaos measures with small parameter values. In other words, given two such measures on the boundary of the unit disk we show that there exist conformal maps to complementary domains on the Riemann sphere such that the pushforward of the normalised measure…
▽ More
We solve the classical conformal welding problem for a composition of two random homeomorphisms generated by independent Gaussian multiplicative chaos measures with small parameter values. In other words, given two such measures on the boundary of the unit disk we show that there exist conformal maps to complementary domains on the Riemann sphere such that the pushforward of the normalised measures agree on their common boundary.
△ Less
Submitted 29 May, 2023;
originally announced May 2023.
-
The Virasoro structure and the scattering matrix for Liouville conformal field theory
Authors:
Guillaume Baverez,
Colin Guillarmou,
Antti Kupiainen,
Rémi Rhodes,
Vincent Vargas
Abstract:
In this work, we construct a representation of the Virasoro algebra in the canonical Hilbert space associated to Liouville conformal field theory. The study of the Virasoro operators is performed through the introduction of a new family of Markovian dynamics associated to holomorphic vector fields defined in the disk. As an output, we show that the Hamiltonian of Liouville conformal field theory c…
▽ More
In this work, we construct a representation of the Virasoro algebra in the canonical Hilbert space associated to Liouville conformal field theory. The study of the Virasoro operators is performed through the introduction of a new family of Markovian dynamics associated to holomorphic vector fields defined in the disk. As an output, we show that the Hamiltonian of Liouville conformal field theory can be diagonalized through the action of the Virasoro algebra. This enables to show that the scattering matrix of the theory is diagonal and that the family of the so-called primary fields (which are eigenvectors of the Hamiltonian) admits an analytic extension to the whole complex plane, as conjectured in the physics literature.
△ Less
Submitted 12 July, 2024; v1 submitted 6 April, 2022;
originally announced April 2022.
-
Segal's axioms and bootstrap for Liouville Theory
Authors:
Colin Guillarmou,
Antti Kupiainen,
Rémi Rhodes,
Vincent Vargas
Abstract:
In 1987 Graeme Segal gave a functorial definition of Conformal Field Theory (CFT) that was designed to capture the mathematical essence of the Conformal Bootstrap formalism pioneered in physics by Belavin-Polyakov-Zamolodchikov. In Segal's formulation the basic objects of CFT, the correlation functions of conformal primary fields, are viewed as functions on the moduli space of Riemann surfaces wit…
▽ More
In 1987 Graeme Segal gave a functorial definition of Conformal Field Theory (CFT) that was designed to capture the mathematical essence of the Conformal Bootstrap formalism pioneered in physics by Belavin-Polyakov-Zamolodchikov. In Segal's formulation the basic objects of CFT, the correlation functions of conformal primary fields, are viewed as functions on the moduli space of Riemann surfaces with marked points which behave naturally under gluing of surfaces. In this paper we give a probabilistic realization of Segal's axioms in Liouville Conformal Field Theory (LCFT) which is a CFT that plays a fundamental role in the theory of random surfaces and two dimensional quantum gravity. Then we use Segal's axioms to express the correlation functions of LCFT in terms of the basic objects of LCFT: its {\it spectrum} and its {\it structure constants}, determined in earlier works by the authors. As a consequence, we obtain a formula for the correlation functions as multiple integrals over the spectrum of LCFT, the structure of these integrals being associated to a pant decomposition of the surface. The integrand is the modulus squared of a function called conformal block: its structure is encoded by the commutation relations of an algebra of operators called the Virasoro algebra and it depends holomorphically on the moduli of the surface with marked points. The integration measure involves a product of structure constants, which have an explicit expression, the so called DOZZ formula.
△ Less
Submitted 25 May, 2025; v1 submitted 29 December, 2021;
originally announced December 2021.
-
Conformal bootstrap in Liouville Theory
Authors:
Colin Guillarmou,
Antti Kupiainen,
Rémi Rhodes,
Vincent Vargas
Abstract:
The conformal bootstrap hypothesis is a powerful idea in theoretical physics which has led to spectacular predictions in the context of critical phenomena. It postulates an explicit expression for the correlation functions of a conformal field theory in terms of its 3-point correlation functions. In this paper we give the first mathematical proof of the conformal bootstrap hypothesis in the contex…
▽ More
The conformal bootstrap hypothesis is a powerful idea in theoretical physics which has led to spectacular predictions in the context of critical phenomena. It postulates an explicit expression for the correlation functions of a conformal field theory in terms of its 3-point correlation functions. In this paper we give the first mathematical proof of the conformal bootstrap hypothesis in the context of Liouville theory, a 2-dimensional conformal field theory studied since the eighties in theoretical physics and constructed recently by F. David and the three last authors using probability theory. The proof is based on a probabilistic construction of the Virasoro algebra highest weight modules through spectral analysis of an associated self adjoint operator akin to harmonic analysis on non compact Lie groups but in an infinite dimensional setup.
△ Less
Submitted 11 November, 2020; v1 submitted 23 May, 2020;
originally announced May 2020.
-
Stress-Energy in Liouville Conformal Field Theory
Authors:
Antti Kupiainen,
Joona Oikarinen
Abstract:
We construct the stress-energy tensor correlation functions in probabilistic Liouville Conformal Field Theory (LCFT) on the two-dimensional sphere by studying the variation of the LCFT correlation functions with respect to a smooth Riemannian metric. In particular, we derive conformal Ward identities for these correlation functions. This forms the basis for the construction of a representation of…
▽ More
We construct the stress-energy tensor correlation functions in probabilistic Liouville Conformal Field Theory (LCFT) on the two-dimensional sphere by studying the variation of the LCFT correlation functions with respect to a smooth Riemannian metric. In particular, we derive conformal Ward identities for these correlation functions. This forms the basis for the construction of a representation of the Virasoro algebra on the canonical Hilbert space of the LCFT. In \cite{ward} the conformal Ward identities were derived for one and two stress-energy tensor insertions using a different definition of the stress-energy tensor and Gaussian integration by parts. By defining the stress-energy correlation functions as functional derivatives of the LCFT correlation functions and using the smoothness of the LCFT correlation functions proven in \cite{Oik} allows us to control an arbitrary number of stress-energy tensor insertions needed for representation theory.
△ Less
Submitted 7 July, 2020; v1 submitted 13 November, 2019;
originally announced November 2019.
-
The DOZZ Formula from the Path Integral
Authors:
Antti Kupiainen,
Rémi Rhodes,
Vincent Vargas
Abstract:
We present a rigorous proof of the Dorn, Otto, Zamolodchikov, Zamolodchikov formula (the DOZZ formula) for the 3 point structure constants of Liouville Conformal Field Theory (LCFT) starting from a rigorous probabilistic construction of the functional integral defining LCFT given earlier by the authors and David. A crucial ingredient in our argument is a probabilistic derivation of the reflection…
▽ More
We present a rigorous proof of the Dorn, Otto, Zamolodchikov, Zamolodchikov formula (the DOZZ formula) for the 3 point structure constants of Liouville Conformal Field Theory (LCFT) starting from a rigorous probabilistic construction of the functional integral defining LCFT given earlier by the authors and David. A crucial ingredient in our argument is a probabilistic derivation of the reflection relation in LCFT based on a refined tail analysis of Gaussian multiplicative chaos measures.
△ Less
Submitted 14 March, 2018;
originally announced March 2018.
-
Integrability of Liouville theory: proof of the DOZZ Formula
Authors:
Antti Kupiainen,
Rémi Rhodes,
Vincent Vargas
Abstract:
Dorn and Otto (1994) and independently Zamolodchikov and Zamolodchikov (1996) proposed a remarkable explicit expression, the so-called DOZZ formula, for the 3 point structure constants of Liouville Conformal Field Theory (LCFT), which is expected to describe the scaling limit of large planar maps properly embedded into the Riemann sphere. In this paper we give a proof of the DOZZ formula based on…
▽ More
Dorn and Otto (1994) and independently Zamolodchikov and Zamolodchikov (1996) proposed a remarkable explicit expression, the so-called DOZZ formula, for the 3 point structure constants of Liouville Conformal Field Theory (LCFT), which is expected to describe the scaling limit of large planar maps properly embedded into the Riemann sphere. In this paper we give a proof of the DOZZ formula based on a rigorous probabilistic construction of LCFT in terms of Gaussian Multiplicative Chaos given earlier by F. David and the authors. This result is a fundamental step in the path to prove integrability of LCFT, i.e. to mathematically justify the methods of Conformal Bootstrap used by physicists. From the purely probabilistic point of view, our proof constitutes the first rigorous integrability result on Gaussian Multiplicative Chaos measures.
△ Less
Submitted 30 August, 2019; v1 submitted 27 July, 2017;
originally announced July 2017.
-
Constructive Liouville Conformal Field Theory
Authors:
Antti Kupiainen
Abstract:
These lectures give an introduction to a probabilistic approach to Liouville Quantum Field Theory developed in a joint work with F. David, R. Rhodes and V. Vargas.
These lectures give an introduction to a probabilistic approach to Liouville Quantum Field Theory developed in a joint work with F. David, R. Rhodes and V. Vargas.
△ Less
Submitted 16 November, 2016;
originally announced November 2016.
-
Quantum Fields and Probability
Authors:
Antti Kupiainen
Abstract:
I review some recent work where ideas and methods from Quantum Field Theory have proved useful in probability and vice versa. The topics discussed include the use of Renormalization Group theory in Stochastic Partial Differential Equations driven by space-time white noise and the use of the theory of Gaussian Multiplicative Chaos in the study of two dimensional Liouville Conformal Field theory.
I review some recent work where ideas and methods from Quantum Field Theory have proved useful in probability and vice versa. The topics discussed include the use of Renormalization Group theory in Stochastic Partial Differential Equations driven by space-time white noise and the use of the theory of Gaussian Multiplicative Chaos in the study of two dimensional Liouville Conformal Field theory.
△ Less
Submitted 16 November, 2016;
originally announced November 2016.
-
Renormalization of Generalized KPZ equation
Authors:
Antti Kupiainen,
Matteo Marcozzi
Abstract:
We use Renormalization Group to prove local well posedness for a generalized KPZ equation introduced by H. Spohn in the context of stochastic hydrodynamics. The equation requires the addition of counter terms diverging with a cutoff $ε$ as $ε^{-1}$ and $\logε^{-1}$.
We use Renormalization Group to prove local well posedness for a generalized KPZ equation introduced by H. Spohn in the context of stochastic hydrodynamics. The equation requires the addition of counter terms diverging with a cutoff $ε$ as $ε^{-1}$ and $\logε^{-1}$.
△ Less
Submitted 29 April, 2016;
originally announced April 2016.
-
Local Conformal Structure of Liouville Quantum Gravity
Authors:
Antti Kupiainen,
Rémi Rhodes,
Vincent Vargas
Abstract:
Liouville Conformal Field Theory (LCFT) is an essential building block of Polyakov's formulation of non critical string theory. Moreover, scaling limits of statistical mechanics models on planar maps are believed by physicists to be described by LCFT. A rigorous probabilistic formulation of LCFT based on a path integral formulation was recently given by the present authors and F. David in \cite{DK…
▽ More
Liouville Conformal Field Theory (LCFT) is an essential building block of Polyakov's formulation of non critical string theory. Moreover, scaling limits of statistical mechanics models on planar maps are believed by physicists to be described by LCFT. A rigorous probabilistic formulation of LCFT based on a path integral formulation was recently given by the present authors and F. David in \cite{DKRV}. In the present work, we prove the validity of the conformal Ward identities and the Belavin-Polyakov-Zamolodchikov (BPZ) differential equations (of order $2$) for the correlation functions of LCFT. This initiates the program started in the seminal work of Belavin-Polyakov-Zamolodchikov \cite{BPZ} in a probabilistic setup for a non-trivial Conformal Field Theory. We also prove several celebrated results on LCFT, in particular an explicit formula for the 4 point correlation functions (with insertion of a second order degenerate field) leading to a rigorous proof of a non trivial functional relation on the 3 point structure constants derived earlier in the physics literature by Teschner \cite{Tesc}. The proofs are based on exact identities which rely on the underlying Gaussian structure of LCFT combined with estimates from the theory of critical Gaussian Multiplicative Chaos and a careful analysis of singular integrals (Beurling transforms and generalizations). As a by-product, we give bounds on the correlation functions when two points collide making rigorous certain predictions from physics on the so-called "operator product expansion" of LCFT.
△ Less
Submitted 29 March, 2017; v1 submitted 6 December, 2015;
originally announced December 2015.
-
Towards rigorous analysis of the Levitov-Mirlin-Evers recursion
Authors:
Yan. V. Fyodorov,
Antti Kupiainen,
Christian Webb
Abstract:
This paper aims to develop a rigorous asymptotic analysis of an approximate renormalization group recursion for inverse participation ratios $P_q$ of critical powerlaw random band matrices. The recursion goes back to the work by Mirlin and Evers [37] and earlier works by Levitov [32, 33] and is aimed to describe the ensuing multifractality of the eigenvectors of such matrices. We point out both si…
▽ More
This paper aims to develop a rigorous asymptotic analysis of an approximate renormalization group recursion for inverse participation ratios $P_q$ of critical powerlaw random band matrices. The recursion goes back to the work by Mirlin and Evers [37] and earlier works by Levitov [32, 33] and is aimed to describe the ensuing multifractality of the eigenvectors of such matrices. We point out both similarities and dissimilarities of LME recursion to those appearing in the theory of multiplicative cascades and branching random walks and show that the methods developed in those fields can be adapted to the present case. In particular the LME recursion is shown to exhibit a phase transition, which we expect is a freezing transition, where the role of temperature is played by the exponent $q$. However, the LME recursion has features that make its rigorous analysis considerably harder and we point out several open problems for further study
△ Less
Submitted 15 November, 2016; v1 submitted 4 September, 2015;
originally announced September 2015.
-
Renormalizability of Liouville Quantum Gravity at the Seiberg bound
Authors:
François David,
Antti Kupiainen,
Rémi Rhodes,
Vincent Vargas
Abstract:
Liouville Quantum Field Theory can be seen as a probabilistic theory of 2d Riemannian metrics $e^{φ(z)}dz^2$, conjecturally describing scaling limits of discrete $2d$-random surfaces. The law of the random field $φ$ in LQFT depends on weights $α\in \mathbb{R}$ that in classical Riemannian geometry parametrize power law singularities in the metric. A rigorous construction of LQFT has been carried o…
▽ More
Liouville Quantum Field Theory can be seen as a probabilistic theory of 2d Riemannian metrics $e^{φ(z)}dz^2$, conjecturally describing scaling limits of discrete $2d$-random surfaces. The law of the random field $φ$ in LQFT depends on weights $α\in \mathbb{R}$ that in classical Riemannian geometry parametrize power law singularities in the metric. A rigorous construction of LQFT has been carried out in \cite{DKRV} in the case when the weights are below the so called Seiberg bound: $α<Q$ where $Q$ parametrizes the random surface model in question. These correspond to conical singularities in the classical setup. In this paper, we construct LQFT in the case when the Seiberg bound is saturated which can be seen as the probabilistic version of Riemann surfaces with cusp singularities. Their construction involves methods from Gaussian Multiplicative Chaos theory at criticality.
△ Less
Submitted 5 June, 2015;
originally announced June 2015.
-
Liouville Quantum Gravity on the Riemann sphere
Authors:
François David,
Antti Kupiainen,
Rémi Rhodes,
Vincent Vargas
Abstract:
In this paper, we rigorously construct $2d$ Liouville Quantum Field Theory on the Riemann sphere introduced in the 1981 seminal work by Polyakov "Quantum Geometry of bosonic strings". We also establish some of its fundamental properties like conformal covariance under PSL$_2(\mathbb{C})$-action, Seiberg bounds, KPZ scaling laws, KPZ formula and the Weyl anomaly (Polyakov-Ray-Singer) formula for Li…
▽ More
In this paper, we rigorously construct $2d$ Liouville Quantum Field Theory on the Riemann sphere introduced in the 1981 seminal work by Polyakov "Quantum Geometry of bosonic strings". We also establish some of its fundamental properties like conformal covariance under PSL$_2(\mathbb{C})$-action, Seiberg bounds, KPZ scaling laws, KPZ formula and the Weyl anomaly (Polyakov-Ray-Singer) formula for Liouville Quantum Gravity.
△ Less
Submitted 5 June, 2015; v1 submitted 27 October, 2014;
originally announced October 2014.
-
Renormalization Group and Stochastic PDE's
Authors:
Antti Kupiainen
Abstract:
We develop a Renormalization Group (RG) approach to the study of existence and uniqueness of solutions to stochastic partial differential equations driven by space-time white noise. As an example we prove well-posedness and independence of regularization for the $φ^4$ model in three dimensions recently studied by Hairer. Our method is "Wilsonian": the RG allows to construct effective equations on…
▽ More
We develop a Renormalization Group (RG) approach to the study of existence and uniqueness of solutions to stochastic partial differential equations driven by space-time white noise. As an example we prove well-posedness and independence of regularization for the $φ^4$ model in three dimensions recently studied by Hairer. Our method is "Wilsonian": the RG allows to construct effective equations on successive space time scales. Renormalization is needed to control the parameters in these equations. In particular no theory of multiplication of distributions enters our approach.
△ Less
Submitted 19 February, 2015; v1 submitted 12 October, 2014;
originally announced October 2014.
-
Basic properties of critical lognormal multiplicative chaos
Authors:
Julien Barral,
Antti Kupiainen,
Miika Nikula,
Eero Saksman,
Christian Webb
Abstract:
We study one-dimensional exact scaling lognormal multiplicative chaos measures at criticality. Our main results are the determination of the exact asymptotics of the right tail of the distribution of the total mass of the measure, and an almost sure upper bound for the modulus of continuity of the cumulative distribution function of the measure. We also find an almost sure lower bound for the incr…
▽ More
We study one-dimensional exact scaling lognormal multiplicative chaos measures at criticality. Our main results are the determination of the exact asymptotics of the right tail of the distribution of the total mass of the measure, and an almost sure upper bound for the modulus of continuity of the cumulative distribution function of the measure. We also find an almost sure lower bound for the increments of the measure almost everywhere with respect to the measure itself, strong enough to show that the measure is supported on a set of Hausdorff dimension $0$.
△ Less
Submitted 27 October, 2015; v1 submitted 19 March, 2013;
originally announced March 2013.
-
Minimal velocity estimates and soft mode bounds for the massless spin-boson model
Authors:
W. De Roeck,
A. Kupiainen
Abstract:
We consider generalised versions of the spin-boson model at small coupling. We assume the spin (or atom) to sit at the origin $0 \in \mathbb{R}^d$ and the propagation speed $v_p$ of free bosons to be constant, i.e.\ independent of momentum. In particular, the bosons are massless. We prove detailed bounds on the mean number of bosons contained in the ball $\{|x| \leq v_p t \}$. In particular, we pr…
▽ More
We consider generalised versions of the spin-boson model at small coupling. We assume the spin (or atom) to sit at the origin $0 \in \mathbb{R}^d$ and the propagation speed $v_p$ of free bosons to be constant, i.e.\ independent of momentum. In particular, the bosons are massless. We prove detailed bounds on the mean number of bosons contained in the ball $\{|x| \leq v_p t \}$. In particular, we prove that, as $t \to \infty$, this number tends to an asymptotic value that can be naturally identified as the mean number of bosons bound to the atom in the ground state. Physically, this means that bosons that are not bound to the atom, are travelling outwards at a speed that is not lower than $v_p$, hence the term 'minimal velocity estimate'. Additionally, we prove bounds on the number of emitted bosons with low momentum (soft mode bounds). This paper is an extension of our earlier work in 'Approach to ground state and time-independent photon bound for massless spin-boson models' (arXiv:1109.5582, Ann. H. Poincare, 2012). Together with the results in that paper, the bounds of the present paper suffice to prove asymptotic completeness, as we describe in 'Asymptotic completeness for the massless spin-boson model'(arXiv:1301.2357).
△ Less
Submitted 19 February, 2014; v1 submitted 10 January, 2013;
originally announced January 2013.
-
Asymptotic completeness for the massless spin-boson model
Authors:
W. De Roeck,
M. Griesemer,
A. Kupiainen
Abstract:
We consider generalized versions of the massless spin-boson model. Building on the recent work in 'Approach to ground state and time-independent photon bound for massless spin-boson models' (arXiv:1109.5582, Annales H. Poincare, 2012) and 'Propagation bounds and soft photon bounds for the massless spin-boson model' (submitted to arXiv jointly with the present paper), we prove asymptotic completene…
▽ More
We consider generalized versions of the massless spin-boson model. Building on the recent work in 'Approach to ground state and time-independent photon bound for massless spin-boson models' (arXiv:1109.5582, Annales H. Poincare, 2012) and 'Propagation bounds and soft photon bounds for the massless spin-boson model' (submitted to arXiv jointly with the present paper), we prove asymptotic completeness.
△ Less
Submitted 10 January, 2013;
originally announced January 2013.
-
Critical Mandelbrot Cascades
Authors:
Julien Barral,
Antti Kupiainen,
Miika Nikula,
Eero Saksman,
Christian Webb
Abstract:
We study Mandelbrot's multiplicative cascade measures at the critical temperature. As has been recently shown by Barral, Rhodes and Vargas (arXiv:1203.5445), an appropriately normalized sequence of cascade measures converges weakly in probability to a nontrivial limit measure. We prove that these limit measures have no atoms and give bounds for the modulus of continuity of the cumulative distribut…
▽ More
We study Mandelbrot's multiplicative cascade measures at the critical temperature. As has been recently shown by Barral, Rhodes and Vargas (arXiv:1203.5445), an appropriately normalized sequence of cascade measures converges weakly in probability to a nontrivial limit measure. We prove that these limit measures have no atoms and give bounds for the modulus of continuity of the cumulative distribution of the measure. Using the earlier work of Barral and Seuret (2007), we compute the multifractal spectrum of the measures. We also extend the result of Benjamini and Schramm (2009), in which the KPZ formula from quantum gravity is validated for the high temperature cascade measures, to the critical and low temperature cases.
△ Less
Submitted 29 April, 2013; v1 submitted 23 June, 2012;
originally announced June 2012.
-
Approach to ground state and time-independent photon bound for massless spin-boson models
Authors:
W. De Roeck,
A. Kupiainen
Abstract:
It is widely believed that an atom interacting with the electromagnetic field (with total initial energy well-below the ionization threshold) relaxes to its ground state while its excess energy is emitted as radiation. Hence, for large times, the state of the atom+field system should consist of the atom in its ground state, and a few free photons that travel off to spatial infinity. Mathematically…
▽ More
It is widely believed that an atom interacting with the electromagnetic field (with total initial energy well-below the ionization threshold) relaxes to its ground state while its excess energy is emitted as radiation. Hence, for large times, the state of the atom+field system should consist of the atom in its ground state, and a few free photons that travel off to spatial infinity. Mathematically, this picture is captured by the notion of asymptotic completeness. Despite some recent progress on the spectral theory of such systems, a proof of relaxation to the ground state and asymptotic completeness was/is still missing, except in some special cases (massive photons, small perturbations of harmonic potentials). In this paper, we partially fill this gap by proving relaxation to an invariant state in the case where the atom is modelled by a finite-level system. If the coupling to the field is sufficiently infrared-regular so that the coupled system admits a ground state, then this invariant state necessarily corresponds to the ground state. Assuming slightly more infrared regularity, we show that the number of emitted photons remains bounded in time. We hope that these results bring a proof of asymptotic completeness within reach.
△ Less
Submitted 10 January, 2013; v1 submitted 26 September, 2011;
originally announced September 2011.
-
Diffusion for a quantum particle coupled to phonons in $d\geq 3$
Authors:
W. De Roeck,
A. Kupiainen
Abstract:
We prove diffusion for a quantum particle coupled to a field of bosons (phonons or photons). The importance of this result lies in the fact that our model is fully Hamiltonian and randomness enters only via the initial (thermal) state of the bosons. This model is closely related to the one considered in [De Roeck, Fröhlich 2011], but various restrictive assumptions of the latter have been eliminat…
▽ More
We prove diffusion for a quantum particle coupled to a field of bosons (phonons or photons). The importance of this result lies in the fact that our model is fully Hamiltonian and randomness enters only via the initial (thermal) state of the bosons. This model is closely related to the one considered in [De Roeck, Fröhlich 2011], but various restrictive assumptions of the latter have been eliminated. In particular, depending on the dispersion relation of the bosons, the present result holds in dimension $d \geq 3$.
△ Less
Submitted 19 April, 2013; v1 submitted 24 July, 2011;
originally announced July 2011.
-
Diffusion in Energy Conserving Coupled Maps
Authors:
Jean Bricmont,
Antti Kupiainen
Abstract:
We consider a dynamical system consisting of subsystems indexed by a lattice. Each subsystem has one conserved degree of freedom ("energy") the rest being uniformly hyperbolic. The subsystems are weakly coupled together so that the sum of the subsystem energies remains conserved. We prove that the subsystem energies satisfy the diffusion equation in a suitable scaling limit.
We consider a dynamical system consisting of subsystems indexed by a lattice. Each subsystem has one conserved degree of freedom ("energy") the rest being uniformly hyperbolic. The subsystems are weakly coupled together so that the sum of the subsystem energies remains conserved. We prove that the subsystem energies satisfy the diffusion equation in a suitable scaling limit.
△ Less
Submitted 9 September, 2012; v1 submitted 18 February, 2011;
originally announced February 2011.
-
'Return to equilibrium' for weakly coupled quantum systems: a simple polymer expansion
Authors:
W. De Roeck,
A. Kupiainen
Abstract:
Recently, several authors studied small quantum systems weakly coupled to free boson or fermion fields at positive temperature. All the approaches we are aware of employ complex deformations of Liouvillians or Mourre theory (the infinitesimal version of the former). We present an approach based on polymer expansions of statistical mechanics. Despite the fact that our approach is elementary, our re…
▽ More
Recently, several authors studied small quantum systems weakly coupled to free boson or fermion fields at positive temperature. All the approaches we are aware of employ complex deformations of Liouvillians or Mourre theory (the infinitesimal version of the former). We present an approach based on polymer expansions of statistical mechanics. Despite the fact that our approach is elementary, our results are slightly sharper than those contained in the literature up to now. We show that, whenever the small quantum system is known to admit a Markov approximation (Pauli master equation \emph{aka} Lindblad equation) in the weak coupling limit, and the Markov approximation is exponentially mixing, then the weakly coupled system approaches a unique invariant state that is perturbatively close to its Markov approximation.
△ Less
Submitted 22 November, 2010; v1 submitted 6 May, 2010;
originally announced May 2010.
-
Origins of Diffusion
Authors:
Antti Kupiainen
Abstract:
We consider a dynamical system consisting of subsystems indexed by a lattice. Each subsystem has one conserved degree of freedom ("energy") the rest being uniformly hyperbolic. The subsystems are weakly coupled together so that the sum of the subsystem energies remains conserved. We prove that the long time dynamics of the subsystem energies is diffusive.
We consider a dynamical system consisting of subsystems indexed by a lattice. Each subsystem has one conserved degree of freedom ("energy") the rest being uniformly hyperbolic. The subsystems are weakly coupled together so that the sum of the subsystem energies remains conserved. We prove that the long time dynamics of the subsystem energies is diffusive.
△ Less
Submitted 4 May, 2010;
originally announced May 2010.
-
Ergodicity of Two Dimensional Turbulence
Authors:
Antti Kupiainen
Abstract:
We review the work of Hairer and Mattingly on ergodicity of two dimensional Navier-Stokes dynamics and discuss some open mathematical problems in the theory of 2d turbulence.
We review the work of Hairer and Mattingly on ergodicity of two dimensional Navier-Stokes dynamics and discuss some open mathematical problems in the theory of 2d turbulence.
△ Less
Submitted 4 May, 2010;
originally announced May 2010.
-
Random Curves by Conformal Welding
Authors:
K. Astala,
P. Jones,
A. Kupiainen,
E. Saksman
Abstract:
We construct a conformally invariant random family of closed curves in the plane by welding of random homeomorphisms of the unit circle given in terms of the exponential of Gaussian Free Field. We conjecture that our curves are locally related to SLE$(κ)$ for $κ<4$.
We construct a conformally invariant random family of closed curves in the plane by welding of random homeomorphisms of the unit circle given in terms of the exponential of Gaussian Free Field. We conjecture that our curves are locally related to SLE$(κ)$ for $κ<4$.
△ Less
Submitted 17 December, 2009;
originally announced December 2009.
-
Random Conformal Weldings
Authors:
K. Astala,
P. Jones,
A. Kupiainen,
E. Saksman
Abstract:
We construct a conformally invariant random family of closed curves in the plane by welding of random homeomorphisms of the unit circle. The homeomorphism is constructed using the exponential of $βX$ where $X$ is the restriction of the two dimensional free field on the circle and the parameter $β$ is in the "high temperature" regime $β<\sqrt 2$. The welding problem is solved by studying a non-un…
▽ More
We construct a conformally invariant random family of closed curves in the plane by welding of random homeomorphisms of the unit circle. The homeomorphism is constructed using the exponential of $βX$ where $X$ is the restriction of the two dimensional free field on the circle and the parameter $β$ is in the "high temperature" regime $β<\sqrt 2$. The welding problem is solved by studying a non-uniformly elliptic Beltrami equation with a random complex dilatation. For the existence a method of Lehto is used. This requires sharp probabilistic estimates to control conformal moduli of annuli and they are proven by decomposing the free field as a sum of independent fixed scale fields and controlling the correlations of the complex dilation restricted to dyadic cells of various scales. For uniqueness we invoke a result by Jones and Smirnov on conformal removability of Hölder curves. We conjecture that our curves are locally related to SLE$(κ)$ for $κ<4$.
△ Less
Submitted 7 September, 2009;
originally announced September 2009.
-
Random walks in space time mixing environments
Authors:
Jean Bricmont,
Antti Kupiainen
Abstract:
We prove that random walks in random environments, that are exponentially mixing in space and time, are almost surely diffusive, in the sense that their scaling limit is given by the Wiener measure.
We prove that random walks in random environments, that are exponentially mixing in space and time, are almost surely diffusive, in the sense that their scaling limit is given by the Wiener measure.
△ Less
Submitted 22 May, 2008;
originally announced May 2008.
-
KAM Theorem and Renormalization Group
Authors:
E. De Simone,
A. Kupiainen
Abstract:
We give an elementary proof of the analytic KAM theorem by reducing it to a Picard iteration of a PDE with quadratic nonlinearity, the so called Polchinski renormalization group equation studied in quantum field theory.
We give an elementary proof of the analytic KAM theorem by reducing it to a Picard iteration of a PDE with quadratic nonlinearity, the so called Polchinski renormalization group equation studied in quantum field theory.
△ Less
Submitted 23 July, 2007;
originally announced July 2007.
-
Approach to equilibrium for the phonon Boltzmann equation
Authors:
Jean Bricmont,
Antti Kupiainen
Abstract:
We study the asymptotics of solutions of the Boltzmann equation describing the kinetic limit of a lattice of classical interacting anharmonic oscillators. We prove that, if the initial condition is a small perturbation of an equilibrium state, and vanishes at infinity, the dynamics tends diffusively to equilibrium. The solution is the sum of a local equilibrium state, associated to conserved qua…
▽ More
We study the asymptotics of solutions of the Boltzmann equation describing the kinetic limit of a lattice of classical interacting anharmonic oscillators. We prove that, if the initial condition is a small perturbation of an equilibrium state, and vanishes at infinity, the dynamics tends diffusively to equilibrium. The solution is the sum of a local equilibrium state, associated to conserved quantities that diffuse to zero, and fast variables that are slaved to the slow ones. This slaving implies the Fourier law, which relates the induced currents to the gradients of the conserved quantities.
△ Less
Submitted 2 March, 2007;
originally announced March 2007.
-
Fourier's Law from Closure Equations
Authors:
Jean Bricmont,
Antti Kupiainen
Abstract:
We give a rigorous derivation of Fourier's law from a system of closure equations for a nonequilibrium stationary state of a Hamiltonian system of coupled oscillators subjected to heat baths on the boundary. The local heat flux is proportional to the temperature gradient with a temperature dependent heat conductivity and the stationary temperature exhibits a nonlinear profile.
We give a rigorous derivation of Fourier's law from a system of closure equations for a nonequilibrium stationary state of a Hamiltonian system of coupled oscillators subjected to heat baths on the boundary. The local heat flux is proportional to the temperature gradient with a temperature dependent heat conductivity and the stationary temperature exhibits a nonlinear profile.
△ Less
Submitted 1 September, 2006;
originally announced September 2006.
-
On the derivation of Fourier's law for coupled anharmonic oscillators
Authors:
Jean Bricmont,
Antti Kupiainen
Abstract:
We study the Hamiltonian system made of weakly coupled anharmonic oscillators arranged on a three dimensional lattice and subjected to a stochastic forcing mimicking heat baths of temperatures T_1 and T_2 on the hyperplanes at x_1=0 and N. We introduce a truncation of the Hopf equations describing the stationary state of the system which leads to a nonlinear equation for the two-point stationary…
▽ More
We study the Hamiltonian system made of weakly coupled anharmonic oscillators arranged on a three dimensional lattice and subjected to a stochastic forcing mimicking heat baths of temperatures T_1 and T_2 on the hyperplanes at x_1=0 and N. We introduce a truncation of the Hopf equations describing the stationary state of the system which leads to a nonlinear equation for the two-point stationary correlation functions. We prove that these equations have a unique solution which, for N large, is approximately a local equlibrium state satisfying Fourier law that relates the heat current to a local temperature gradient. The temperature exhibits a nonlinear profile.
△ Less
Submitted 22 May, 2006;
originally announced May 2006.
-
Anomalous scaling for 3d Cahn-Hilliard fronts
Authors:
Timo Korvola,
Antti Kupiainen,
Jari Taskinen
Abstract:
We prove the stability of the one dimensional kink solution of the Cahn-Hilliard equation under d-dimensional perturbations for d > 2. We also establish a novel scaling behavior of the large time asymptotics of the solution. The leading asymptotics of the solution is characterized by a length scale proportional to the cubic root of t instead of the usual square root of t scaling typical to parab…
▽ More
We prove the stability of the one dimensional kink solution of the Cahn-Hilliard equation under d-dimensional perturbations for d > 2. We also establish a novel scaling behavior of the large time asymptotics of the solution. The leading asymptotics of the solution is characterized by a length scale proportional to the cubic root of t instead of the usual square root of t scaling typical to parabolic problems.
△ Less
Submitted 10 February, 2004;
originally announced February 2004.
-
Renormalization Group and the Melnikov Problem for PDE's
Authors:
Jean Bricmont,
Antti Kupiainen,
Alain Schenkel
Abstract:
We give a new proof of persistence of quasi-periodic, low dimensional elliptic tori in infinite dimensional systems. The proof is based on a renormalization group iteration that was developed recently in [BGK] to address the standard KAM problem, namely, persistence of invariant tori of maximal dimension in finite dimensional, near integrable systems. Our result covers situations in which the so…
▽ More
We give a new proof of persistence of quasi-periodic, low dimensional elliptic tori in infinite dimensional systems. The proof is based on a renormalization group iteration that was developed recently in [BGK] to address the standard KAM problem, namely, persistence of invariant tori of maximal dimension in finite dimensional, near integrable systems. Our result covers situations in which the so called normal frequencies are multiple. In particular, it provides a new proof of the existence of small-amplitude, quasi-periodic solutions of nonlinear wave equations with periodic boundary conditions.
△ Less
Submitted 28 February, 2001;
originally announced February 2001.
-
Exponential Mixing of the 2D Stochastic Navier-Stokes Dynamics
Authors:
J. Bricmont,
A. Kupiainen,
R. Lefevere
Abstract:
We consider the Navier-Stokes equation on a two dimensional torus with a random force which is white noise in time, and excites only a finite number of modes. The number of excited modes depends on the viscosity $ν$, and grows like $ν^{-3}$ when $ν$ goes to zero. We prove that this Markov process has a unique invariant measure and is exponentially mixing in time.
We consider the Navier-Stokes equation on a two dimensional torus with a random force which is white noise in time, and excites only a finite number of modes. The number of excited modes depends on the viscosity $ν$, and grows like $ν^{-3}$ when $ν$ goes to zero. We prove that this Markov process has a unique invariant measure and is exponentially mixing in time.
△ Less
Submitted 20 October, 2000;
originally announced October 2000.
-
Probabilistic estimates for the Two Dimensional Stochastic Navier-Stokes Equations
Authors:
J. Bricmont,
A. Kupiainen,
R. Lefevere
Abstract:
We consider the Navier-Stokes equation on a two dimensional torus with a random force, white noise in time and analytic in space, for arbitrary Reynolds number $R$. We prove probabilistic estimates for the long time behaviour of the solutions that imply bounds for the dissipation scale and energy spectrum as $R\to\infty$.
We consider the Navier-Stokes equation on a two dimensional torus with a random force, white noise in time and analytic in space, for arbitrary Reynolds number $R$. We prove probabilistic estimates for the long time behaviour of the solutions that imply bounds for the dissipation scale and energy spectrum as $R\to\infty$.
△ Less
Submitted 27 December, 1999;
originally announced December 1999.
-
KAM Theorem and Quantum Field Theory
Authors:
J. Bricmont,
K. Gawedzki,
A. Kupiainen
Abstract:
We give a new proof of the KAM theorem for analytic Hamiltonians. The proof is inspired by a quantum field theory formulation of the problem and is based on a renormalization group argument treating the small denominators inductively scale by scale. The crucial cancellations of resonances are shown to follow from the Ward identities expressing the translation invariance of the corresponding fiel…
▽ More
We give a new proof of the KAM theorem for analytic Hamiltonians. The proof is inspired by a quantum field theory formulation of the problem and is based on a renormalization group argument treating the small denominators inductively scale by scale. The crucial cancellations of resonances are shown to follow from the Ward identities expressing the translation invariance of the corresponding field theory.
△ Less
Submitted 21 July, 1998;
originally announced July 1998.
