-
Characterisation of Markov property on planar maps
Authors:
Pablo Araya,
Luis Fredes,
Avelio Sepúlveda
Abstract:
We revisit, in a self contained way, the Markov property on planar maps and decorated planar maps from three perspectives. First, we characterize the laws on these planar maps that satisfy both the Markov property and rerooting invariance, showing that they are Boltzmann-type maps. Second, we provide a comprehensive characterization of random submaps, that we call stopping maps, satisfying the Mar…
▽ More
We revisit, in a self contained way, the Markov property on planar maps and decorated planar maps from three perspectives. First, we characterize the laws on these planar maps that satisfy both the Markov property and rerooting invariance, showing that they are Boltzmann-type maps. Second, we provide a comprehensive characterization of random submaps, that we call stopping maps, satisfying the Markov property, demonstrating that they are not restricted to those obtained through a peeling procedure. Third, we introduce decorated metric planar maps in which edges are replaced by copies of random length intervals $[0,w_e]$, and the decorations are given by continuous functions on the edges. We define a probability measure on them that is the analogue of the Boltzmann map and show that it satisfies the Markov property even for sets that halt exploration mid-edge.
△ Less
Submitted 8 May, 2025;
originally announced May 2025.
-
The game behind oriented percolation
Authors:
Avelio Sepúlveda,
Bruno Ziliotto
Abstract:
We characterize the critical parameter of oriented percolation on $\mathbb{Z}^2$ through the value of a zero-sum game. Specifically, we define a zero-sum game on a percolation configuration of $\mathbb{Z}^2$, where two players move a token along the non-oriented edges of $\mathbb{Z}^2$, collecting a cost of 1 for each edge that is open, and 0 otherwise. The total cost is given by the limit superio…
▽ More
We characterize the critical parameter of oriented percolation on $\mathbb{Z}^2$ through the value of a zero-sum game. Specifically, we define a zero-sum game on a percolation configuration of $\mathbb{Z}^2$, where two players move a token along the non-oriented edges of $\mathbb{Z}^2$, collecting a cost of 1 for each edge that is open, and 0 otherwise. The total cost is given by the limit superior of the average cost. We demonstrate that the value of this game is deterministic and equals 1 if and only if the percolation parameter exceeds $p_c$, the critical exponent of oriented percolation. Additionally, we establish that the value of the game is continuous at $p_c$. Finally, we show that for $p$ close to 0, the value of the game is equal to 0.
△ Less
Submitted 25 August, 2024;
originally announced August 2024.
-
An elementary approach to quantum length of SLE
Authors:
Ellen Powell,
Avelio Sepúlveda
Abstract:
We present an elementary proof establishing the equality of the right and left-sided $\sqrtκ$-quantum lengths for an SLE$_κ$ curve, where $κ\in (0,4]$. We achieve this by demonstrating that the$\sqrtκ$-quantum length is equal to the $(\sqrtκ/2)$-Gaussian multiplicative chaos with reference measure given by half the conformal Minkowski content of the curve, multiplied by $2/(4-κ)$ for $κ\in (0,4)$…
▽ More
We present an elementary proof establishing the equality of the right and left-sided $\sqrtκ$-quantum lengths for an SLE$_κ$ curve, where $κ\in (0,4]$. We achieve this by demonstrating that the$\sqrtκ$-quantum length is equal to the $(\sqrtκ/2)$-Gaussian multiplicative chaos with reference measure given by half the conformal Minkowski content of the curve, multiplied by $2/(4-κ)$ for $κ\in (0,4)$ and by $1$ for $κ=4$. Our proof relies on a novel "one-sided" approximation of the conformal Minkowski content, which is compatible with the conformal change of coordinates formula.
△ Less
Submitted 6 March, 2024;
originally announced March 2024.
-
On the triviality of the shocked map
Authors:
Luis Fredes,
Avelio Sepúlveda
Abstract:
The (non-spanning) tree-decorated quadrangulation is a random pair formed by a quadrangulation and a subtree chosen uniformly over the set of pairs with prescribed size. In this paper we study the tree-decorated quadrangulation in the critical regime: when the number of faces of the map, $f$, is proportional to the square of the size of the tree. We show that with high probability in this regime,…
▽ More
The (non-spanning) tree-decorated quadrangulation is a random pair formed by a quadrangulation and a subtree chosen uniformly over the set of pairs with prescribed size. In this paper we study the tree-decorated quadrangulation in the critical regime: when the number of faces of the map, $f$, is proportional to the square of the size of the tree. We show that with high probability in this regime, the diameter of the tree is between $o(f^{1/4})$ and $f^{1/4}/\log^α(f)$, for $α>1$. Thus after scaling the distances by $f^{-1/4}$, the critical tree-decorated quadrangulation converges to a Brownian disk where the boundary has been identified to a point. These results imply the triviality of the shocked map: the metric space generated by gluing a Brownian disk with a continuous random tree.
△ Less
Submitted 11 September, 2023;
originally announced September 2023.
-
Excursion decomposition of the 2D continuum GFF
Authors:
Juhan Aru,
Titus Lupu,
Avelio Sepúlveda
Abstract:
In this note we show that the 2D continuum Gaussian free field (GFF) admits an excursion decomposition that is on the one hand similar to the classical excursion decomposition of the Brownian motion, and on the other hand can be seen as an FK representation of the continuum GFF. In particular, 2D continuum GFF can be written as an infinite sum of disjoint positive and negative sign excursions, whi…
▽ More
In this note we show that the 2D continuum Gaussian free field (GFF) admits an excursion decomposition that is on the one hand similar to the classical excursion decomposition of the Brownian motion, and on the other hand can be seen as an FK representation of the continuum GFF. In particular, 2D continuum GFF can be written as an infinite sum of disjoint positive and negative sign excursions, which are given by Minkowski content measures of clusters of a critical 2D Brownian loop soup with i.i.d. signs. Although the 2D continuum GFF is not even a signed measure, we show that the decomposition to positive and negative parts is unique under natural conditions.
△ Less
Submitted 3 October, 2023; v1 submitted 6 April, 2023;
originally announced April 2023.
-
Percolation for 2D classical Heisenberg model and exit sets of vector valued GFF
Authors:
Juhan Aru,
Christophe Garban,
Avelio Sepúlveda
Abstract:
Our motivation in this paper is twofold. First, we study the geometry of a class of exploration sets, called exit sets, which are naturally associated with a 2D vector-valued GFF : $φ: Z^2 \to R^N, N\geq 1$. We prove that, somewhat surprisingly, these sets are a.s. degenerate as long as $N\geq 2$, while they are conjectured to be macroscopic and fractal when $N=1$.
This analysis allows us, when…
▽ More
Our motivation in this paper is twofold. First, we study the geometry of a class of exploration sets, called exit sets, which are naturally associated with a 2D vector-valued GFF : $φ: Z^2 \to R^N, N\geq 1$. We prove that, somewhat surprisingly, these sets are a.s. degenerate as long as $N\geq 2$, while they are conjectured to be macroscopic and fractal when $N=1$.
This analysis allows us, when $N\geq 2$, to understand the percolation properties of the level sets of $\{\|φ(x)\|, x\in Z^2\}$ and leads us to our second main motivation in this work: if one projects a spin $O(N+1)$ model (classical Heisenberg model is $N=2$) down to a spin $O(N)$ model, we end up with a spin $O(N)$ in a quenched disorder given by random conductances on $Z^2$. Using the exit sets of the $N$-vector-valued GFF, we obtain a local and geometric description of this random disorder in the limit $β\to \infty$. This allows us to revisit a series of celebrated works by Patrascioiu and Seiler ([PS92, PS93, PS02]) which argued against Polyakov's prediction that spin $O(N+1)$ model is massive at all temperatures when $N\geq 2$ ([Pol75]). We make part of their arguments rigorous and more importantly we provide the following counter-example: we build ergodic environments of (arbitrary) high conductances with (arbitrary) small and disconnected regions of low conductances in which, despite the predominance of high conductances, the $XY$ model remains massive.
Of independent interest, we prove that at high $β$, the transverse fluctuations of a classical Heisenberg model are given by a $N=2$ vectorial GFF. This is implicit in [Pol75] but we give here the first (non-trivial) rigorous proof. Also, independently of the recent work [DF22], we show that two-point correlation functions of the spin $O(N)$ model are given in terms of certain percolation events in the cable graph for any $N\geq 1$.
△ Less
Submitted 13 December, 2022;
originally announced December 2022.
-
Improved spin-wave estimate for Wilson loops in $U(1)$ lattice gauge theory
Authors:
Christophe Garban,
Avelio Sepúlveda
Abstract:
In this paper, we obtain bounds on the Wilson loop expectations in 4D $U(1)$ lattice gauge theory which quantify the effect of topological defects. In the case of a Villain interaction, by extending the non-perturbative technique introduced in [GS20a], we obtain the following estimate for a large loop $γ$ at low temperatures: \[ |\langle W_γ\rangle_β| \leq \exp \left(-\frac{C_{GFF}} {2β}(1+C βe^{-…
▽ More
In this paper, we obtain bounds on the Wilson loop expectations in 4D $U(1)$ lattice gauge theory which quantify the effect of topological defects. In the case of a Villain interaction, by extending the non-perturbative technique introduced in [GS20a], we obtain the following estimate for a large loop $γ$ at low temperatures: \[ |\langle W_γ\rangle_β| \leq \exp \left(-\frac{C_{GFF}} {2β}(1+C βe^{- 2π^2 β} )(|γ|+o(|γ|)) \right)\,. \] Our result is in the line of recent works [Cha20, Cao20, FLV20, For21] which analyze the case where the gauge group is discrete. In the present case where the gauge group is continuous and Abelian, the fluctuations of the gauge field decouple into a Gaussian part, related to the so-called {\em free electromagnetic wave} [Gro83, Dri87], and a gas of {\em topological defects}. As such, our work gives new quantitative bounds on the fluctuations of the latter which complement the works by Guth and Fröhlich-Spencer [Gut80, FS82].
Finally, we improve, also in a non-perturbative way, the correction term from $e^{-2π^2β}$ to $e^{-π^2β}$ in the case of the free-energy of the system. This provides a matching lower-bound with the prediction of Guth [Gut80] based on renormalization group techniques.
△ Less
Submitted 1 October, 2021; v1 submitted 8 July, 2021;
originally announced July 2021.
-
Scaling limit of random plane quadrangulations with a simple boundary, via restriction
Authors:
Jérémie Bettinelli,
Nicolas Curien,
Luis Fredes,
Avelio Sepúlveda
Abstract:
We prove that quadrangulations with a simple boundary converge to the Brownian disk. More precisely, we fix a sequence $(p_n)$ of even positive integers with $p_n\sim 2α\sqrt{2n}$ for some $α\in(0,\infty)$. Then, for the Gromov--Hausdorff topology, a quadrangulation with a simple boundary uniformly sampled among those with $n$ inner faces and boundary length $p_n$ weakly converges, in the usual sc…
▽ More
We prove that quadrangulations with a simple boundary converge to the Brownian disk. More precisely, we fix a sequence $(p_n)$ of even positive integers with $p_n\sim 2α\sqrt{2n}$ for some $α\in(0,\infty)$. Then, for the Gromov--Hausdorff topology, a quadrangulation with a simple boundary uniformly sampled among those with $n$ inner faces and boundary length $p_n$ weakly converges, in the usual scaling $n^{-1/4}$, toward the Brownian disk of perimeter $3α$.
Our method consists in seeing a uniform quadrangulation with a simple boundary as a conditioned version of a model of maps for which the Gromov--Hausdorff scaling limit is known. We then explain how classical techniques of unconditionning can be used in this setting of random maps.
△ Less
Submitted 12 October, 2023; v1 submitted 26 April, 2021;
originally announced April 2021.
-
Quantitative bounds on vortex fluctuations in $2d$ Coulomb gas and maximum of the integer-valued Gaussian free field
Authors:
Christophe Garban,
Avelio Sepúlveda
Abstract:
In this paper, we study the influence of the vortices on the fluctuations of $2d$ systems such as the Coulomb gas, the Villain model or the integer-valued Gaussian free field. In the case of the $2d$ Villain model, we prove that the fluctuations induced by the vortices are at least of the same order of magnitude as the ones produced by the spin-wave. We obtain the following quantitative upper-boun…
▽ More
In this paper, we study the influence of the vortices on the fluctuations of $2d$ systems such as the Coulomb gas, the Villain model or the integer-valued Gaussian free field. In the case of the $2d$ Villain model, we prove that the fluctuations induced by the vortices are at least of the same order of magnitude as the ones produced by the spin-wave. We obtain the following quantitative upper-bound on the two-point correlation in $\mathbb{Z}^2$ when $β>1$ \[ \langleσ_x σ_y\rangle_β^{Villain} \leq C \, \left( \frac 1 {\|x-y\|_2}\right)^{\frac 1 {2πβ}\left ( 1+βe^{-\frac{(2π)^2}{2} β}\right )} \] The proof is entirely non-perturbative. Furthermore it provides a new and algorithmically efficient way of sampling the $2d$ Coulomb gas. For the $2d$ Coulomb gas, we obtain the following lower bound on its fluctuations at high inverse temperature \[ \mathbb{E}_β^{Coul}[\langle Δ^{-1}q, g\rangle] \geq \exp(-π^2 β+ o(β)) \langle g,(-Δ)^{-1}g \rangle \] This estimate coincides with the predictions based on a RG analysis from [JKKN77] and suggests that the Coulomb potential $Δ^{-1}q$ at inverse temperature $β$ should scale like a Gaussian free field of inverse temperature of order $\exp(π^2 β)$. Finally, we transfer the above vortex fluctuations via a duality identity to the integer-valued GFF by showing that its maximum deviates in a quantitative way from the maximum of a usual GFF. More precisely, we show that with high probability when $β>1$ \[ \max_{x\in [-n,n]^2} Ψ_n(x) \leq \sqrt{\frac{2β}π \big(1 - βe^{- \frac{(2π)^2β} {2} } \big)} \log n \,. \] where $Ψ_n$ is an integer-valued GFF in the box $[-n,n]^2$ at inverse temperature $β^{-1}$. Applications to the free-energies of the Coulomb gas, the Villain model and the integer-valued GFF are also considered.
△ Less
Submitted 20 June, 2023; v1 submitted 2 December, 2020;
originally announced December 2020.
-
The distance exponent for Liouville first passage percolation is positive
Authors:
Jian Ding,
Ewain Gwynne,
Avelio Sepúlveda
Abstract:
Discrete Liouville first passage percolation (LFPP) with parameter $ξ> 0$ is the random metric on a sub-graph of $\mathbb Z^2$ obtained by assigning each vertex $z$ a weight of $e^{ξh(z)}$, where $h$ is the discrete Gaussian free field. We show that the distance exponent for discrete LFPP is strictly positive for all $ξ> 0$. More precisely, the discrete LFPP distance between the inner and outer bo…
▽ More
Discrete Liouville first passage percolation (LFPP) with parameter $ξ> 0$ is the random metric on a sub-graph of $\mathbb Z^2$ obtained by assigning each vertex $z$ a weight of $e^{ξh(z)}$, where $h$ is the discrete Gaussian free field. We show that the distance exponent for discrete LFPP is strictly positive for all $ξ> 0$. More precisely, the discrete LFPP distance between the inner and outer boundaries of a discrete annulus of size $2^n$ is typically at least $2^{αn}$ for an exponent $α> 0$ depending on $ξ$. This is a crucial input in the proof that LFPP admits non-trivial subsequential scaling limits for all $ξ> 0$ and also has theoretical implications for the study of distances in Liouville quantum gravity.
△ Less
Submitted 16 October, 2021; v1 submitted 27 May, 2020;
originally announced May 2020.
-
Extremal distance and conformal radius of a CLE_4 loop
Authors:
Juhan Aru,
Titus Lupu,
Avelio Sepúlveda
Abstract:
Consider CLE$_4$ in the unit disk and let $\ell$ be the loop of the CLE$_4$ surrounding the origin. Schramm, Sheffield and Wilson determined the law of the conformal radius seen from the origin of the domain surrounded by $\ell$. We complement their result by determining the law of the extremal distance between $\ell$ and the boundary of the unit disk. More surprisingly, we also compute the joint…
▽ More
Consider CLE$_4$ in the unit disk and let $\ell$ be the loop of the CLE$_4$ surrounding the origin. Schramm, Sheffield and Wilson determined the law of the conformal radius seen from the origin of the domain surrounded by $\ell$. We complement their result by determining the law of the extremal distance between $\ell$ and the boundary of the unit disk. More surprisingly, we also compute the joint law of these conformal radius and extremal distance. This law involves first and last hitting times of a one-dimensional Brownian motion. Similar techniques also allow us to determine joint laws of some extremal distances in a critical Brownian loop-soup cluster.
△ Less
Submitted 10 June, 2020; v1 submitted 28 April, 2020;
originally announced April 2020.
-
Statistical reconstruction of the Gaussian free field and KT transition
Authors:
Christophe Garban,
Avelio Sepúlveda
Abstract:
In this paper, we focus on the following question. Assume $φ$ is a discrete Gaussian free field (GFF) on $Λ\subset \frac 1 n \mathbb{Z}^2$ and that we are given $e^{iT φ}$, or equivalently $φ\pmod{\frac {2π} T}$. Can we recover the macroscopic observables of $φ$ up to $o(1)$ precision? We prove that this statistical reconstruction problem undergoes the following Kosterlitz-Thouless type phase tran…
▽ More
In this paper, we focus on the following question. Assume $φ$ is a discrete Gaussian free field (GFF) on $Λ\subset \frac 1 n \mathbb{Z}^2$ and that we are given $e^{iT φ}$, or equivalently $φ\pmod{\frac {2π} T}$. Can we recover the macroscopic observables of $φ$ up to $o(1)$ precision? We prove that this statistical reconstruction problem undergoes the following Kosterlitz-Thouless type phase transition:
-) If $T<T_{rec}^-$ , one can fully recover $φ$ from the knowledge of $φ\pmod{\frac {2π} T}$. In this regime our proof relies on a new type of Peierls argument which we call annealed Peierls argument and which allows us to deal with an unknown quenched groundstate.
-) If $T>T_{rec}^+$, it is impossible to fully recover the field $φ$ from the knowledge of $φ\pmod{\frac {2π} T}$. To prove this result, we generalise the delocalisation theorem by Fröhlich-Spencer to the case of integer-valued GFF in an inhomogeneous medium. This delocalisation result is of independent interest and we give an application of our techniques to the {\em random-phase Sine-Gordon model} in Appendix B. Also, an interesting connection with Riemann-theta functions is drawn along the proof.
This statistical reconstruction problem is motivated by the two-dimensional XY and Villain models. Indeed, at low-temperature $T$, the large scale fluctuations of these continuous spin systems are conjectured to be governed by a Gaussian free field. It is then natural to ask if one can recover the underlying macroscopic GFF from the observation of the spins of the XY or Villain model.
Another motivation for this work is that it provides us with an ``integrable model'' (the GFF) that undergoes a KT transition.
△ Less
Submitted 27 July, 2020; v1 submitted 27 February, 2020;
originally announced February 2020.
-
Dimension of two-valued sets via imaginary chaos
Authors:
Lukas Schoug,
Avelio Sepúlveda,
Fredrik Viklund
Abstract:
Two-valued sets are local sets of the two-dimensional Gaussian free field (GFF) that can be thought of as representing all points of the domain that may be connected to the boundary by a curve on which the GFF takes values only in [-a,b]. Two-valued sets exist whenever $a+b\geq 2λ$, where $λ$ depends explicitly on the normalization of the GFF. We prove that the almost sure Hausdorff dimension of t…
▽ More
Two-valued sets are local sets of the two-dimensional Gaussian free field (GFF) that can be thought of as representing all points of the domain that may be connected to the boundary by a curve on which the GFF takes values only in [-a,b]. Two-valued sets exist whenever $a+b\geq 2λ$, where $λ$ depends explicitly on the normalization of the GFF. We prove that the almost sure Hausdorff dimension of the two-valued set $A_{-a,b}$ equals $d=2-2λ^2/(a+b)^2$. For the two-point estimate, we use the real part of a "vertex field" built from the purely imaginary Gaussian multiplicative chaos. We also construct a non-trivial $d$-dimensional measure supported on $A_{-a,b}$ and discuss its relation with the $d$-dimensional conformal Minkowski content for $A_{-a,b}$.
△ Less
Submitted 21 October, 2019;
originally announced October 2019.
-
Liouville dynamical percolation
Authors:
Christophe Garban,
Nina Holden,
Avelio Sepúlveda,
Xin Sun
Abstract:
We construct and analyze a continuum dynamical percolation process which evolves in a random environment given by a $γ$-Liouville measure. The homogeneous counterpart of this process describes the scaling limit of discrete dynamical percolation on the rescaled triangular lattice. Our focus here is to study the same limiting dynamics, but where the speed of microscopic updates is highly inhomogeneo…
▽ More
We construct and analyze a continuum dynamical percolation process which evolves in a random environment given by a $γ$-Liouville measure. The homogeneous counterpart of this process describes the scaling limit of discrete dynamical percolation on the rescaled triangular lattice. Our focus here is to study the same limiting dynamics, but where the speed of microscopic updates is highly inhomogeneous in space and is driven by the $γ$-Liouville measure associated with a two-dimensional log-correlated field $h$. Roughly speaking, this continuum percolation process evolves very rapidly where the field $h$ is high and barely moves where the field $h$ is low. Our main results can be summarized as follows.
1. First, we build this inhomogeneous dynamical percolation which we call $γ$-Liouville dynamical percolation (LDP) by taking the scaling limit of the associated process on the triangular lattice. We work with three different regimes each requiring different tools: $γ\in [0,2-\sqrt{5/2})$, $γ\in [2-\sqrt{5/2}, \sqrt{3/2})$, and $γ\in(\sqrt{3/2},2)$.
2. When $γ<\sqrt{3/2}$, we prove that $γ$-LDP is mixing in the Schramm-Smirnov space as $t\to \infty$, quenched in the log-correlated field $h$. On the contrary, when $γ>\sqrt{3/2}$ the process is frozen in time. The ergodicity result is a crucial piece of the Cardy embedding project of the second and fourth coauthors, where LDP for $γ=\sqrt{1/6}$ is used to study the scaling limit of a variant of dynamical percolation on uniform triangulations.
3. When $γ<\sqrt{3/4}$, we obtain quantitative bounds on the mixing of quad crossing events.
△ Less
Submitted 20 May, 2019; v1 submitted 16 May, 2019;
originally announced May 2019.
-
Tree-decorated planar maps
Authors:
Luis Fredes,
Avelio Sepúlveda
Abstract:
We introduce the set of (non-spanning) tree-decorated planar maps, and show that they are in bijection with the Cartesian product between the set of trees and the set of maps with a simple boundary. As a consequence, we count the number of tree decorated triangulations and quadrangulations with a given amount of faces and for a given size of the tree. Finally, we generalise the bijection to study…
▽ More
We introduce the set of (non-spanning) tree-decorated planar maps, and show that they are in bijection with the Cartesian product between the set of trees and the set of maps with a simple boundary. As a consequence, we count the number of tree decorated triangulations and quadrangulations with a given amount of faces and for a given size of the tree. Finally, we generalise the bijection to study other types of decorated planar maps and obtain explicit counting formulas for them.
△ Less
Submitted 4 April, 2019; v1 submitted 15 January, 2019;
originally announced January 2019.
-
The first passage sets of the 2D Gaussian free field: convergence and isomorphisms
Authors:
Juhan Aru,
Titus Lupu,
Avelio Sepúlveda
Abstract:
In a previous article, we introduced the first passage set (FPS) of constant level $-a$ of the two-dimensional continuum Gaussian free field (GFF) on finitely connected domains. Informally, it is the set of points in the domain that can be connected to the boundary by a path along which the GFF is greater than or equal to $-a$. This description can be taken as a definition of the FPS for the metri…
▽ More
In a previous article, we introduced the first passage set (FPS) of constant level $-a$ of the two-dimensional continuum Gaussian free field (GFF) on finitely connected domains. Informally, it is the set of points in the domain that can be connected to the boundary by a path along which the GFF is greater than or equal to $-a$. This description can be taken as a definition of the FPS for the metric graph GFF, and it justifies the analogy with the first hitting time of $-a$ by a one-dimensional Brownian motion. In the current article, we prove that the metric graph FPS converges towards the continuum FPS in the Hausdorff metric. This allows us to show that the FPS of the continuum GFF can be represented as a union of clusters of Brownian excursions and Brownian loops, and to prove that Brownian loop soup clusters admit a non-trivial Minkowski content in the gauge $r\mapsto |\log r|^{1/2}r^2$. We also show that certain natural interfaces of the metric graph GFF converge to SLE$_4$ processes.
△ Less
Submitted 23 May, 2018;
originally announced May 2018.
-
Negative moments for Gaussian multiplicative chaos on fractal sets
Authors:
Christophe Garban,
Nina Holden,
Avelio Sepúlveda,
Xin Sun
Abstract:
The objective of this note is to study the probability that the total mass of a sub-critical Gaussian multiplicative chaos (GMC) with arbitrary base measure $σ$ is small. When $σ$ has some continuous density w.r.t Lebesgue measure, a scaling argument shows that the logarithm of the total GMC mass is sub-Gaussian near $-\infty$. However, when $σ$ has no scaling properties, the situation is much les…
▽ More
The objective of this note is to study the probability that the total mass of a sub-critical Gaussian multiplicative chaos (GMC) with arbitrary base measure $σ$ is small. When $σ$ has some continuous density w.r.t Lebesgue measure, a scaling argument shows that the logarithm of the total GMC mass is sub-Gaussian near $-\infty$. However, when $σ$ has no scaling properties, the situation is much less clear. In this paper, we prove that for any base measure $σ$, the total GMC mass has negative moments of all orders.
△ Less
Submitted 28 May, 2018; v1 submitted 2 May, 2018;
originally announced May 2018.
-
Critical Liouville measure as a limit of subcritical measures
Authors:
Juhan Aru,
Ellen Powell,
Avelio Sepúlveda
Abstract:
We study how the Gaussian multiplicative chaos (GMC) measures $μ^γ$ corresponding to the 2D Gaussian free field change when $γ$ approaches the critical parameter $2$. In particular, we show that as $γ\to 2^{-}$, $(2-γ)^{-1}μ^γ$ converges in probability to $2μ'$, where $μ'$ is the critical GMC measure.
We study how the Gaussian multiplicative chaos (GMC) measures $μ^γ$ corresponding to the 2D Gaussian free field change when $γ$ approaches the critical parameter $2$. In particular, we show that as $γ\to 2^{-}$, $(2-γ)^{-1}μ^γ$ converges in probability to $2μ'$, where $μ'$ is the critical GMC measure.
△ Less
Submitted 9 January, 2019; v1 submitted 23 February, 2018;
originally announced February 2018.
-
Two-valued local sets of the 2D continuum Gaussian free field: connectivity, labels, and induced metrics
Authors:
Juhan Aru,
Avelio Sepúlveda
Abstract:
We study two-valued local sets, $\mathbb{A}_{-a,b}$, of the two-dimensional continuum Gaussian free field (GFF) with zero boundary condition in simply connected domains. Intuitively, $\mathbb{A}_{-a,b}$ is the (random) set of points connected to the boundary by a path on which the values of the GFF remain in $[-a,b]$. For specific choices of the parameters $a, b$ the two-valued sets have the law o…
▽ More
We study two-valued local sets, $\mathbb{A}_{-a,b}$, of the two-dimensional continuum Gaussian free field (GFF) with zero boundary condition in simply connected domains. Intuitively, $\mathbb{A}_{-a,b}$ is the (random) set of points connected to the boundary by a path on which the values of the GFF remain in $[-a,b]$. For specific choices of the parameters $a, b$ the two-valued sets have the law of the CLE$_4$ carpet, the law of the union of level lines between all pairs of boundary points, or, conjecturally, the law of the interfaces of the scaling limit of XOR-Ising model.
Two-valued sets are the closure of the union of countably many SLE$_4$ type of loops, where each loop comes with a label equal to either $-a$ or $b$. One of the main results of this paper describes the connectivity properties of these loops. Roughly, we show that all the loops are disjoint if $a+b \geq 4λ$, and that their intersection graph is connected if $a + b < 4λ$. This also allows us to study the labels (the heights) of the loops. We prove that the labels of the loops are a function of the set $\mathbb{A}_{-a,b}$ if and only if $a\neq b$ and $2λ\leq a+b < 4λ$ and that the labels are independent given the set if and only if $a = b = 2λ$. We also show that the threshold for the level-set percolation in the 2D continuum GFF is $-2λ$.
Finally, we discuss the coupling of the labelled CLE$_4$ with the GFF. We characterise this coupling as a specific local set coupling, and show how to approximate these local sets. We further see how in these approximations the labels naturally encode distances to the boundary.
△ Less
Submitted 1 May, 2018; v1 submitted 11 January, 2018;
originally announced January 2018.
-
First passage sets of the 2D continuum Gaussian free field
Authors:
Juhan Aru,
Titus Lupu,
Avelio Sepúlveda
Abstract:
We introduce the first passage set (FPS) of constant level $-a$ of the two-dimensional continuum Gaussian free field (GFF) on finitely connected domains. Informally, it is the set of points in the domain that can be connected to the boundary by a path on which the GFF does not go below $-a$. It is, thus, the two-dimensional analogue of the first hitting time of $-a$ by a one-dimensional Brownian m…
▽ More
We introduce the first passage set (FPS) of constant level $-a$ of the two-dimensional continuum Gaussian free field (GFF) on finitely connected domains. Informally, it is the set of points in the domain that can be connected to the boundary by a path on which the GFF does not go below $-a$. It is, thus, the two-dimensional analogue of the first hitting time of $-a$ by a one-dimensional Brownian motion. We provide an axiomatic characterization of the FPS, a continuum construction using level lines, and study its properties: it is a fractal set of zero Lebesgue measure and Minkowski dimension 2 that is coupled with the GFF $Φ$ as a local set $A$ so that $Φ+a$ restricted to $A$ is a positive measure. One of the highlights of this paper is identifying this measure as a Minkowski content measure in the non-integer gauge $r \mapsto \vert\log(r)\vert^{1/2}r^{2}$, by using Gaussian multiplicative chaos theory.
△ Less
Submitted 26 August, 2019; v1 submitted 23 June, 2017;
originally announced June 2017.
-
On thin local sets of the Gaussian free field
Authors:
Avelio Sepúlveda
Abstract:
We study how small a local set of the continuum Gaussian free field (GFF) in dimension $d$ has to be to ensure that this set is thin, which loosely speaking means that it captures no GFF mass on itself, in other words, that the field restricted to it is zero. We provide a criterion on the size of the local set for this to happen, and on the other hand, we show that this criterion is sharp by const…
▽ More
We study how small a local set of the continuum Gaussian free field (GFF) in dimension $d$ has to be to ensure that this set is thin, which loosely speaking means that it captures no GFF mass on itself, in other words, that the field restricted to it is zero. We provide a criterion on the size of the local set for this to happen, and on the other hand, we show that this criterion is sharp by constructing small local sets that are not thin.
△ Less
Submitted 24 May, 2018; v1 submitted 10 February, 2017;
originally announced February 2017.
-
Liouville measure as a multiplicative cascade via level sets of the Gaussian free field
Authors:
Juhan Aru,
Ellen Powell,
Avelio Sepúlveda
Abstract:
We provide new constructions of the subcritical and critical Gaussian multiplicative chaos (GMC) measures corresponding to the 2D Gaussian free field (GFF). As a special case we recover E. Aidekon's construction of random measures using nested conformally invariant loop ensembles, and thereby prove his conjecture that certain CLE$_4$ based limiting measures are equal in law to the GMC measures for…
▽ More
We provide new constructions of the subcritical and critical Gaussian multiplicative chaos (GMC) measures corresponding to the 2D Gaussian free field (GFF). As a special case we recover E. Aidekon's construction of random measures using nested conformally invariant loop ensembles, and thereby prove his conjecture that certain CLE$_4$ based limiting measures are equal in law to the GMC measures for the GFF. The constructions are based on the theory of local sets of the GFF and build a strong link between multiplicative cascades and GMC measures. This link allows us to directly adapt techniques used for multiplicative cascades to the study of GMC measures of the GFF. As a proof of principle we do this for the so-called Seneta--Heyde rescaling of the critical GMC measure.
△ Less
Submitted 27 December, 2017; v1 submitted 20 January, 2017;
originally announced January 2017.
-
On bounded-type thin local sets of the two-dimensional Gaussian free field
Authors:
Juhan Aru,
Avelio Sepúlveda,
Wendelin Werner
Abstract:
We study certain classes of local sets of the two-dimensional Gaussian free field (GFF) in a simply-connected domain, and their relation to the conformal loop ensemble CLE(4) and its variants. More specifically, we consider bounded-type thin local sets (BTLS), where thin means that the local set is small in size, and bounded-type means that the harmonic function describing the mean value of the fi…
▽ More
We study certain classes of local sets of the two-dimensional Gaussian free field (GFF) in a simply-connected domain, and their relation to the conformal loop ensemble CLE(4) and its variants. More specifically, we consider bounded-type thin local sets (BTLS), where thin means that the local set is small in size, and bounded-type means that the harmonic function describing the mean value of the field away from the local set is bounded by some deterministic constant. We show that a local set is a BTLS if and only if it is contained in some nested version of the CLE(4) carpet, and prove that all BTLS are necessarily connected to the boundary of the domain. We also construct all possible BTLS for which the corresponding harmonic function takes only two prescribed values and show that all these sets (and this includes the case of CLE(4)) are in fact measurable functions of the GFF.
△ Less
Submitted 12 April, 2017; v1 submitted 10 March, 2016;
originally announced March 2016.
-
One- and Two-Point Codes over Kummer Extensions
Authors:
Ariane M. Masuda,
Luciane Quoos,
Alonso Sepúlveda
Abstract:
We compute the Weierstrass semigroup at one totally ramified place for Kummer extensions defined by $y^m=f(x)^λ$ where $f(x)$ is a separable polynomial over $\mathbb{F}_q$. In addition, we compute the Weierstrass semigroup at two certain totally ramified places. We then apply our results to construct one- and two-point algebraic geometric codes with good parameters.
We compute the Weierstrass semigroup at one totally ramified place for Kummer extensions defined by $y^m=f(x)^λ$ where $f(x)$ is a separable polynomial over $\mathbb{F}_q$. In addition, we compute the Weierstrass semigroup at two certain totally ramified places. We then apply our results to construct one- and two-point algebraic geometric codes with good parameters.
△ Less
Submitted 16 June, 2016; v1 submitted 21 October, 2015;
originally announced October 2015.
-
Two-point AG codes on the GK maximal curves
Authors:
Alonso Sepúlveda,
Guilherme Tizziotti
Abstract:
We determine de Weierstrass semigroup of a pair of certain rational points on the GK-curves. We use this semigroup to obtain two-point AG codes with better parameters than comparable one-point AG codes arising from these curves. These parameters are new records in the MinT's tables.
We determine de Weierstrass semigroup of a pair of certain rational points on the GK-curves. We use this semigroup to obtain two-point AG codes with better parameters than comparable one-point AG codes arising from these curves. These parameters are new records in the MinT's tables.
△ Less
Submitted 23 July, 2015;
originally announced July 2015.
-
Weierstrass semigroup and Automorphism group of the curves $\mathcal{X}_{n,r}$
Authors:
Herivelto Borges,
Alonso Sepúlveda,
Guilherme Tizziotti
Abstract:
In this paper, we determine the Weierstrass semigroup $H(P_{\infty})$ and the full automorphism group of a certain family of curves $\mathcal{X}_{n,r}$, which was recently introduced by Borges and Conceição.
In this paper, we determine the Weierstrass semigroup $H(P_{\infty})$ and the full automorphism group of a certain family of curves $\mathcal{X}_{n,r}$, which was recently introduced by Borges and Conceição.
△ Less
Submitted 21 November, 2014;
originally announced November 2014.
