-
A covariance formula for the number of excursion set components of Gaussian fields and applications
Authors:
Dmitry Beliaev,
Michael McAuley,
Stephen Muirhead
Abstract:
We derive a covariance formula for the number of excursion or level set components of a smooth stationary Gaussian field on $\mathbb{R}^d$ contained in compact domains. We also present two applications of this formula: (1) for fields whose correlations are integrable we prove that the variance of the component count in large domains is of volume order and give an expression for the leading constan…
▽ More
We derive a covariance formula for the number of excursion or level set components of a smooth stationary Gaussian field on $\mathbb{R}^d$ contained in compact domains. We also present two applications of this formula: (1) for fields whose correlations are integrable we prove that the variance of the component count in large domains is of volume order and give an expression for the leading constant, and (2) for fields with slower decay of correlation we give an upper bound on the variance which is of optimal order if correlations are regularly varying, and improves on best-known bounds if correlations are oscillating (e.g.\ monochromatic random waves).
△ Less
Submitted 14 March, 2023;
originally announced March 2023.
-
On convergence of volume of level sets of stationary smooth Gaussian fields
Authors:
Dmitry Beliaev,
Akshay Hegde
Abstract:
We prove convergence of Hausdorff measure of level sets of smooth Gaussian fields when the levels converge. Given two coupled stationary fields $f_1, f_2$ , we estimate the difference of Hausdorff measure of level sets in expectation, in terms of $C^2$-fluctuations of the field $F=f_1-f_2$. The main idea in the proof is to represent difference in volume as an integral of mean curvature using the d…
▽ More
We prove convergence of Hausdorff measure of level sets of smooth Gaussian fields when the levels converge. Given two coupled stationary fields $f_1, f_2$ , we estimate the difference of Hausdorff measure of level sets in expectation, in terms of $C^2$-fluctuations of the field $F=f_1-f_2$. The main idea in the proof is to represent difference in volume as an integral of mean curvature using the divergence theorem.
This approach is different from using Kac-Rice type formula as main tool in the analysis.
△ Less
Submitted 20 February, 2023;
originally announced February 2023.
-
Gaussian fields and percolation
Authors:
Dmitry Beliaev
Abstract:
In the last two decades there was a lot of progress in understanding the geometry of smooth Gaussian fields. This survey aims to cover one particular line of research: the large scale behaviour of level and excursion sets and their (conjectured) connection to the percolation theory.
In the last two decades there was a lot of progress in understanding the geometry of smooth Gaussian fields. This survey aims to cover one particular line of research: the large scale behaviour of level and excursion sets and their (conjectured) connection to the percolation theory.
△ Less
Submitted 27 July, 2022;
originally announced July 2022.
-
A central limit theorem for the number of excursion set components of Gaussian fields
Authors:
Dmitry Beliaev,
Michael McAuley,
Stephen Muirhead
Abstract:
For a smooth stationary Gaussian field on $\mathbb{R}^d$ and level $\ell \in \mathbb{R}$, we consider the number of connected components of the excursion set $\{f \ge \ell\}$ (or level set $\{f = \ell\}$) contained in large domains. The mean of this quantity is known to scale like the volume of the domain under general assumptions on the field. We prove that, assuming sufficient decay of correlati…
▽ More
For a smooth stationary Gaussian field on $\mathbb{R}^d$ and level $\ell \in \mathbb{R}$, we consider the number of connected components of the excursion set $\{f \ge \ell\}$ (or level set $\{f = \ell\}$) contained in large domains. The mean of this quantity is known to scale like the volume of the domain under general assumptions on the field. We prove that, assuming sufficient decay of correlations (e.g. the Bargmann-Fock field), a central limit theorem holds with volume-order scaling. Previously such a result had only been established for `additive' geometric functionals of the excursion/level sets (e.g. the volume or Euler characteristic) using Hermite expansions. Our approach, based on a martingale analysis, is more robust and can be generalised to a wider class of topological functionals. A major ingredient in the proof is a third moment bound on critical points, which is of independent interest.
△ Less
Submitted 18 May, 2022;
originally announced May 2022.
-
Continuity of Zero-Hitting Times of Bessel Processes and Welding Homeomorphisms of SLE$_κ$
Authors:
Dmitry Beliaev,
Atul Shekhar,
Vlad Margarint
Abstract:
We consider a family of Bessel Processes that depend on the starting point $x$ and dimension $δ$, but are driven by the same Brownian motion. Our main result is that almost surely the first time a process hits $0$ is jointly continuous in $x$ and $δ$, provided $δ\le 0$. As an application, we show that the SLE($κ$) welding homeomorphism is continuous in $κ$ for $κ\in [0,4]$. Our motivation behind t…
▽ More
We consider a family of Bessel Processes that depend on the starting point $x$ and dimension $δ$, but are driven by the same Brownian motion. Our main result is that almost surely the first time a process hits $0$ is jointly continuous in $x$ and $δ$, provided $δ\le 0$. As an application, we show that the SLE($κ$) welding homeomorphism is continuous in $κ$ for $κ\in [0,4]$. Our motivation behind this is to study the well known problem of the continuity of SLE$_κ$ in $κ$. The main tool in our proofs is random walks with increments distributed as infinite mean Inverse-Gamma laws.
△ Less
Submitted 21 April, 2020;
originally announced April 2020.
-
Continuity in $κ$ in $SLE_κ$ theory using a constructive method and Rough Path Theory
Authors:
Dmitry Beliaev,
Terry J. Lyons,
Vlad Margarint
Abstract:
Questions regarding the continuity in $κ$ of the $SLE_κ$ traces and maps appear very naturally in the study of SLE. In order to study the first question, we consider a natural coupling of SLE traces: for different values of $κ$ we use the same Brownian motion. It is very natural to assume that with probability one, $SLE_κ$ depends continuously on $κ$. It is rather easy to show that $SLE$ is contin…
▽ More
Questions regarding the continuity in $κ$ of the $SLE_κ$ traces and maps appear very naturally in the study of SLE. In order to study the first question, we consider a natural coupling of SLE traces: for different values of $κ$ we use the same Brownian motion. It is very natural to assume that with probability one, $SLE_κ$ depends continuously on $κ$. It is rather easy to show that $SLE$ is continuous in the Carathéodory sense, but showing that $SLE$ traces are continuous in the uniform sense is much harder. In this note we show that for a given sequence $κ_j\toκ\in (0, 8/3)$, for almost every Brownian motion $SLE_κ$ traces converge locally uniformly. This result was also recently obtained by Friz, Tran and Yuan using different methods. In our analysis, we provide a constructive way to study the $SLE_κ$ traces for varying parameter $κ\in (0, 8/3)$. The argument is based on a new dynamical view on the approximation of SLE curves by curves driven by a piecewise square root approximation of the Brownian motion.
The second question can be answered naturally in the framework of Rough Path Theory. Using this theory, we prove that the solutions of the backward Loewner Differential Equation driven by $\sqrtκB_t$ when started away from the origin are continuous in the $p$-variation topology in the parameter $κ$, for all $κ\in \mathbb{R}_+$
△ Less
Submitted 19 February, 2020;
originally announced February 2020.
-
A new approach to SLE phase transition
Authors:
Dmitry Beliaev,
Terry J. Lyons,
Vlad Margarint
Abstract:
It is well know that $SLE_κ$ curves exhibit a phase transition at $κ=4$. For $κ\le 4$ they are simple curves with probability one, for $κ>4$ they are not. The standard proof is based on the analysis of the Bessel SDE of dimension $d=1+4/κ$. We propose a different approach which is based on the analysis of the Bessel SDE with $d=1-4/κ$. This not only gives a new perspective, but also allows to desc…
▽ More
It is well know that $SLE_κ$ curves exhibit a phase transition at $κ=4$. For $κ\le 4$ they are simple curves with probability one, for $κ>4$ they are not. The standard proof is based on the analysis of the Bessel SDE of dimension $d=1+4/κ$. We propose a different approach which is based on the analysis of the Bessel SDE with $d=1-4/κ$. This not only gives a new perspective, but also allows to describe the formation of the SLE `bubbles' for $κ>4$.
△ Less
Submitted 29 January, 2020;
originally announced January 2020.
-
Coupling of stationary fields with application to arithmetic waves
Authors:
Dmitry Beliaev,
Riccardo W. Maffucci
Abstract:
In this paper we obtain a range of quantitative results of the following type: given two centered Gaussian fields with close covariance kernels we construct a coupling such that the fields are uniformly close on some compact with probability very close to one. As an application, we show that it is possible to couple arithmetic random waves so that they converge locally uniformly to the random plan…
▽ More
In this paper we obtain a range of quantitative results of the following type: given two centered Gaussian fields with close covariance kernels we construct a coupling such that the fields are uniformly close on some compact with probability very close to one. As an application, we show that it is possible to couple arithmetic random waves so that they converge locally uniformly to the random plane wave and estimate the rate of convergence.
△ Less
Submitted 19 December, 2019;
originally announced December 2019.
-
No repulsion between critical points for planar Gaussian random fields
Authors:
Dmitry Beliaev,
Valentina Cammarota,
Igor Wigman
Abstract:
We study the behaviour of the point process of critical points of isotropic stationary Gaussian fields. We compute the main term in the asymptotic expansion of the two-point correlation function near the diagonal. Our main result implies that for a 'generic' field the critical points neither repel nor attract each other. Our analysis also allows to study how the short-range behaviour of critical p…
▽ More
We study the behaviour of the point process of critical points of isotropic stationary Gaussian fields. We compute the main term in the asymptotic expansion of the two-point correlation function near the diagonal. Our main result implies that for a 'generic' field the critical points neither repel nor attract each other. Our analysis also allows to study how the short-range behaviour of critical points depends on their index.
△ Less
Submitted 27 November, 2020; v1 submitted 7 November, 2019;
originally announced November 2019.
-
Fluctuations of the number of excursion sets of planar Gaussian fields
Authors:
Dmitry Beliaev,
Michael McAuley,
Stephen Muirhead
Abstract:
For a smooth, stationary, planar Gaussian field, we consider the number of connected components of its excursion set (or level set) contained in a large square of area $R^2$. The mean number of components is known to be of order $R^2$ for generic fields and all levels. We show that for certain fields with positive spectral density near the origin (including the Bargmann-Fock field), and for certai…
▽ More
For a smooth, stationary, planar Gaussian field, we consider the number of connected components of its excursion set (or level set) contained in a large square of area $R^2$. The mean number of components is known to be of order $R^2$ for generic fields and all levels. We show that for certain fields with positive spectral density near the origin (including the Bargmann-Fock field), and for certain levels $\ell$, these random variables have fluctuations of order at least $R$, and hence variance of order at least $R^2$. In particular, this holds for excursion sets when $\ell$ is in some neighbourhood of zero, and it holds for excursion/level sets when $\ell$ is sufficiently large. We prove stronger fluctuation lower bounds of order $R^α$, $α\in [1,2]$, in the case that the spectral density has a singularity at the origin. Finally, we show that the number of excursion/level sets for the Random Plane Wave at certain levels has fluctuations of order at least $R^{3/2}$, and hence variance of order at least~$R^3$. We expect that these bounds are of the correct order, at least for generic levels.
△ Less
Submitted 2 December, 2020; v1 submitted 28 August, 2019;
originally announced August 2019.
-
Intermediate and small scale limiting theorems for random fields
Authors:
Dmitry Beliaev,
Riccardo W. Maffucci
Abstract:
In this paper we study the nodal lines of random eigenfunctions of the Laplacian on the torus, the so called 'arithmetic waves'. To be more precise, we study the number of intersections of the nodal line with a straight interval in a given direction. We are interested in how this number depends on the length and direction of the interval and the distribution of spectral measure of the random wave.…
▽ More
In this paper we study the nodal lines of random eigenfunctions of the Laplacian on the torus, the so called 'arithmetic waves'. To be more precise, we study the number of intersections of the nodal line with a straight interval in a given direction. We are interested in how this number depends on the length and direction of the interval and the distribution of spectral measure of the random wave. We analyse the second factorial moment in the short interval regime and the persistence probability in the long interval regime. We also study relations between the Cilleruelo and Cilleruelo-type fields. We give an explicit coupling between these fields which on mesoscopic scales preserves the structure of the nodal sets with probability close to one.
△ Less
Submitted 2 June, 2019;
originally announced June 2019.
-
Smoothness and monotonicity of the excursion set density of planar Gaussian fields
Authors:
Dmitry Beliaev,
Michael McAuley,
Stephen Muirhead
Abstract:
Nazarov and Sodin have shown that the number of connected components of the nodal set of a planar Gaussian field in a ball of radius $R$, normalised by area, converges to a constant as $R\to \infty $. This has been generalised to excursion/level sets at arbitrary levels, implying the existence of functionals $c_{ES}(\ell )$ and $c_{LS}(\ell )$ that encode the density of excursion/level set compone…
▽ More
Nazarov and Sodin have shown that the number of connected components of the nodal set of a planar Gaussian field in a ball of radius $R$, normalised by area, converges to a constant as $R\to \infty $. This has been generalised to excursion/level sets at arbitrary levels, implying the existence of functionals $c_{ES}(\ell )$ and $c_{LS}(\ell )$ that encode the density of excursion/level set components at the level $\ell $. We prove that these functionals are continuously differentiable for a wide class of fields. This follows from a more general result, which derives differentiability of the functionals from the decay of the probability of `four-arm events' for the field conditioned to have a saddle point at the origin. For some fields, including the important special cases of the Random Plane Wave and the Bargmann-Fock field, we also derive stochastic monotonicity of the conditioned field, which allows us to deduce regions on which $c_{ES}(\ell )$ and $c_{LS}(\ell )$ are monotone.
△ Less
Submitted 11 August, 2020; v1 submitted 23 May, 2019;
originally announced May 2019.
-
Mean conservation of nodal volume and connectivity measures for Gaussian ensembles
Authors:
Dmitry Beliaev,
Stephen Muirhead,
Igor Wigman
Abstract:
We study in depth the nesting graph and volume distribution of the nodal domains of a Gaussian field, which have been shown in previous works to exhibit asymptotic laws. A striking link is established between the asymptotic mean connectivity of a nodal domain (i.e.\ the vertex degree in its nesting graph) and the positivity of the percolation probability of the field, along with a direct dependenc…
▽ More
We study in depth the nesting graph and volume distribution of the nodal domains of a Gaussian field, which have been shown in previous works to exhibit asymptotic laws. A striking link is established between the asymptotic mean connectivity of a nodal domain (i.e.\ the vertex degree in its nesting graph) and the positivity of the percolation probability of the field, along with a direct dependence of the average nodal volume on the percolation probability. Our results support the prevailing ansatz that the mean connectivity and volume of a nodal domain is conserved for generic random fields in dimension $d=2$ but not in $d \ge 3$, and are applied to a number of concrete motivating examples.
△ Less
Submitted 25 January, 2019;
originally announced January 2019.
-
A covariance formula for topological events of smooth Gaussian fields
Authors:
Dmitry Beliaev,
Stephen Muirhead,
Alejandro Rivera
Abstract:
We derive a covariance formula for the class of `topological events' of smooth Gaussian fields on manifolds; these are events that depend only on the topology of the level sets of the field, for example (i) crossing events for level or excursion sets, (ii) events measurable with respect to the number of connected components of level or excursion sets of a given diffeomorphism class, and (iii) pers…
▽ More
We derive a covariance formula for the class of `topological events' of smooth Gaussian fields on manifolds; these are events that depend only on the topology of the level sets of the field, for example (i) crossing events for level or excursion sets, (ii) events measurable with respect to the number of connected components of level or excursion sets of a given diffeomorphism class, and (iii) persistence events. As an application of the covariance formula, we derive strong mixing bounds for topological events, as well as lower concentration inequalities for additive topological functionals (e.g. the number of connected components) of the level sets that satisfy a law of large numbers. The covariance formula also gives an alternate justification of the Harris criterion, which conjecturally describes the boundary of the percolation university class for level sets of stationary Gaussian fields. Our work is inspired by a recent paper by Rivera and Vanneuville, in which a correlation inequality was derived for certain topological events on the plane, as well as by an old result of Piterbarg, in which a similar covariance formula was established for finite-dimensional Gaussian vectors.
△ Less
Submitted 18 May, 2020; v1 submitted 20 November, 2018;
originally announced November 2018.
-
On the number of excursion sets of planar Gaussian fields
Authors:
Dmitry Beliaev,
Michael McAuley,
Stephen Muirhead
Abstract:
The Nazarov-Sodin constant describes the average number of nodal set components of Gaussian fields on large scales. We generalise this to a functional describing the corresponding number of level set components for arbitrary levels. Using results from Morse theory, we express this functional as an integral over the level densities of different types of critical points, and as a result deduce the a…
▽ More
The Nazarov-Sodin constant describes the average number of nodal set components of Gaussian fields on large scales. We generalise this to a functional describing the corresponding number of level set components for arbitrary levels. Using results from Morse theory, we express this functional as an integral over the level densities of different types of critical points, and as a result deduce the absolute continuity of the functional as the level varies. We further give upper and lower bounds showing that the functional is at least bimodal for certain isotropic fields, including the important special case of the random plane wave.
△ Less
Submitted 29 July, 2020; v1 submitted 26 July, 2018;
originally announced July 2018.
-
Russo-Seymour-Welsh estimates for the Kostlan ensemble of random polynomials
Authors:
Dmitry Beliaev,
Stephen Muirhead,
Igor Wigman
Abstract:
We study the percolation properties of the nodal structures of random fields. Lower bounds on crossing probabilities (RSW-type estimates) of quads by nodal domains or nodal sets of Gaussian ensembles of smooth random functions are established under the following assumptions: (i) sufficient symmetry; (ii) smoothness and non-degeneracy; (iii) local convergence of the covariance kernels; (iv) asympto…
▽ More
We study the percolation properties of the nodal structures of random fields. Lower bounds on crossing probabilities (RSW-type estimates) of quads by nodal domains or nodal sets of Gaussian ensembles of smooth random functions are established under the following assumptions: (i) sufficient symmetry; (ii) smoothness and non-degeneracy; (iii) local convergence of the covariance kernels; (iv) asymptotically non-negative correlations; and (v) uniform rapid decay of correlations.
The Kostlan ensemble is an important model of Gaussian homogeneous random polynomials. An application of our theory to the Kostlan ensemble yields RSW-type estimates that are uniform with respect to the degree of the polynomials and quads of controlled geometry, valid on all relevant scales. This extends the recent results on the local scaling limit of the Kostlan ensemble, due to Beffara and Gayet.
△ Less
Submitted 10 November, 2017; v1 submitted 26 September, 2017;
originally announced September 2017.
-
How anisotropy beats fractality in two-dimensional on-lattice DLA growth
Authors:
Denis S. Grebenkov,
Dmitry Beliaev
Abstract:
We study the fractal structure of Diffusion-Limited Aggregation (DLA) clusters on the square lattice by extensive numerical simulations (with clusters having up to $10^8$ particles). We observe that DLA clusters undergo strongly anisotropic growth, with the maximal growth rate along the axes. The naive scaling limit of a DLA cluster by its diameter is thus deterministic and one-dimensional. At the…
▽ More
We study the fractal structure of Diffusion-Limited Aggregation (DLA) clusters on the square lattice by extensive numerical simulations (with clusters having up to $10^8$ particles). We observe that DLA clusters undergo strongly anisotropic growth, with the maximal growth rate along the axes. The naive scaling limit of a DLA cluster by its diameter is thus deterministic and one-dimensional. At the same time, on all scales from the particle size to the size of the entire cluster it has non-trivial box-counting fractal dimension which corresponds to the overall growth rate which, in turn, is smaller than the growth rate along the axes. This suggests that the fractal nature of the lattice DLA should be understood in terms of fluctuations around one-dimensional backbone of the cluster.
△ Less
Submitted 4 August, 2017;
originally announced August 2017.
-
Two point function for critical points of a random plane wave
Authors:
Dmitry Beliaev,
Valentina Cammarota,
Igor Wigman
Abstract:
Random plane wave is conjectured to be a universal model for high-energy eigenfunctions of the Laplace operator on generic compact Riemanian manifolds. This is known to be true on average. In the present paper we discuss one of important geometric observable: critical points. We first compute one-point function for the critical point process, in particular we compute the expected number of critica…
▽ More
Random plane wave is conjectured to be a universal model for high-energy eigenfunctions of the Laplace operator on generic compact Riemanian manifolds. This is known to be true on average. In the present paper we discuss one of important geometric observable: critical points. We first compute one-point function for the critical point process, in particular we compute the expected number of critical points inside any open set. After that we compute the short-range asymptotic behaviour of the two-point function. This gives an unexpected result that the second factorial moment of the number of critical points in a small disc scales as the fourth power of the radius.
△ Less
Submitted 17 April, 2017;
originally announced April 2017.
-
Bifurcations and dynamics emergent from lattice and continuum models of bioactive porous media
Authors:
Andrew L. Krause,
Dmitry Beliaev,
Robert A. Van Gorder,
Sarah L. Waters
Abstract:
We study dynamics emergent from a two-dimensional reaction--diffusion process modelled via a finite lattice dynamical system, as well as an analogous PDE system, involving spatially nonlocal interactions. These models govern the evolution of cells in a bioactive porous medium, with evolution of the local cell density depending on a coupled quasi--static fluid flow problem. We demonstrate differenc…
▽ More
We study dynamics emergent from a two-dimensional reaction--diffusion process modelled via a finite lattice dynamical system, as well as an analogous PDE system, involving spatially nonlocal interactions. These models govern the evolution of cells in a bioactive porous medium, with evolution of the local cell density depending on a coupled quasi--static fluid flow problem. We demonstrate differences emergent from the choice of a discrete lattice or a continuum for the spatial domain of such a process. We find long--time oscillations and steady states in cell density in both lattice and continuum models, but that the continuum model only exhibits solutions with vertical symmetry, independent of initial data, whereas the finite lattice admits asymmetric oscillations and steady states arising from symmetry-breaking bifurcations. We conjecture that it is the structure of the finite lattice which allows for more complicated asymmetric dynamics. Our analysis suggests that the origin of both types of oscillations is a nonlocal reaction-diffusion mechanism mediated by quasi-static fluid flow.
△ Less
Submitted 4 June, 2018; v1 submitted 24 February, 2017;
originally announced February 2017.
-
Lattice and Continuum Modelling of a Bioactive Porous Tissue Scaffold
Authors:
Andrew L. Krause,
Dmitry Beliaev,
Robert A. Van Gorder,
Sarah L. Waters
Abstract:
A contemporary procedure to grow artificial tissue is to seed cells onto a porous biomaterial scaffold and culture it within a perfusion bioreactor to facilitate the transport of nutrients to growing cells. Typical models of cell growth for tissue engineering applications make use of spatially homogeneous or spatially continuous equations to model cell growth, flow of culture medium, nutrient tran…
▽ More
A contemporary procedure to grow artificial tissue is to seed cells onto a porous biomaterial scaffold and culture it within a perfusion bioreactor to facilitate the transport of nutrients to growing cells. Typical models of cell growth for tissue engineering applications make use of spatially homogeneous or spatially continuous equations to model cell growth, flow of culture medium, nutrient transport, and their interactions. The network structure of the physical porous scaffold is often incorporated through parameters in these models, either phenomenologically or through techniques like mathematical homogenization. We derive a model on a square grid lattice to demonstrate the importance of explicitly modelling the network structure of the porous scaffold, and compare results from this model with those from a modified continuum model from the literature. We capture two-way coupling between cell growth and fluid flow by allowing cells to block pores, and by allowing the shear stress of the fluid to affect cell growth and death. We explore a range of parameters for both models, and demonstrate quantitative and qualitative differences between predictions from each of these approaches, including spatial pattern formation and local oscillations in cell density present only in the lattice model. These differences suggest that for some parameter regimes, corresponding to specific cell types and scaffold geometries, the lattice model gives qualitatively different model predictions than typical continuum models. Our results inform model selection for bioactive porous tissue scaffolds, aiding in the development of successful tissue engineering experiments and eventually clinically successful technologies.
△ Less
Submitted 29 April, 2018; v1 submitted 24 February, 2017;
originally announced February 2017.
-
Discretisation schemes for level sets of planar Gaussian fields
Authors:
Dmitry Beliaev,
Stephen Muirhead
Abstract:
Smooth random Gaussian functions play an important role in mathematical physics, a main example being the random plane wave model conjectured by Berry to give a universal description of high-energy eigenfunctions of the Laplacian on generic compact manifolds. Our work is motivated by questions about the geometry of such random functions, in particular relating to the structure of their nodal and l…
▽ More
Smooth random Gaussian functions play an important role in mathematical physics, a main example being the random plane wave model conjectured by Berry to give a universal description of high-energy eigenfunctions of the Laplacian on generic compact manifolds. Our work is motivated by questions about the geometry of such random functions, in particular relating to the structure of their nodal and level sets.
We study four discretisation schemes that extract information about level sets of planar Gaussian fields. Each scheme recovers information up to a different level of precision, and each requires a maximum mesh-size in order to be valid with high probability. The first two schemes are generalisations and enhancements of similar schemes that have appeared in the literature [BG16, MW07]; these give complete topological information about the level sets on either a local or global scale. As an application, we improve the results in [BG16] on Russo-Seymour-Welsh estimates for the nodal set of positively-correlated planar Gaussian fields. The third and fourth schemes are, to the best of our knowledge, completely new. The third scheme is specific to the nodal set of the random plane wave, and provides global topological information about the nodal set up to `visible ambiguities'. The fourth scheme gives a way to approximate the mean number of excursion domains of planar Gaussian fields.
△ Less
Submitted 18 July, 2018; v1 submitted 7 February, 2017;
originally announced February 2017.
-
Volume distribution of nodal domains of random band-limited functions
Authors:
Dmitry Beliaev,
Igor Wigman
Abstract:
We study the volume distribution of nodal domains of random band-limited functions on generic manifolds, and find that in the high energy limit a typical instance obeys a deterministic universal law, independent of the manifold. Some of the basic qualitative properties of this law, such as its support, monotonicity and continuity of the cumulative probability function, are established.
We study the volume distribution of nodal domains of random band-limited functions on generic manifolds, and find that in the high energy limit a typical instance obeys a deterministic universal law, independent of the manifold. Some of the basic qualitative properties of this law, such as its support, monotonicity and continuity of the cumulative probability function, are established.
△ Less
Submitted 15 July, 2016; v1 submitted 18 June, 2016;
originally announced June 2016.
-
Integral means spectrum of whole-plane SLE
Authors:
Dmitry Beliaev,
Bertrand Duplantier,
Michel Zinsmeister
Abstract:
We complete the mathematical analysis of the fine structure of harmonic measure on SLE curves that was initiated by Beliaev and Smirnov, as described by the averaged integral means spectrum. For the unbounded version of whole-plane SLE as studied by Duplantier, Nguyen, Nguyen and Zinsmeister, and Loutsenko and Yermolayeva, a phase transition has been shown to occur for high enough moments from the…
▽ More
We complete the mathematical analysis of the fine structure of harmonic measure on SLE curves that was initiated by Beliaev and Smirnov, as described by the averaged integral means spectrum. For the unbounded version of whole-plane SLE as studied by Duplantier, Nguyen, Nguyen and Zinsmeister, and Loutsenko and Yermolayeva, a phase transition has been shown to occur for high enough moments from the bulk spectrum towards a novel spectrum related to the point at infinity. For the bounded version of whole-plane SLE studied here, a similar transition phenomenon, now associated with the SLE origin, is proved to exist for low enough moments, but we show that it is superseded by the earlier occurrence of the transition to the SLE tip spectrum.
△ Less
Submitted 21 April, 2017; v1 submitted 10 May, 2016;
originally announced May 2016.
-
A Multiscale Guide to Brownian Motion
Authors:
Denis S. Grebenkov,
Dmitry Beliaev,
Peter W. Jones
Abstract:
We revise the Levy's construction of Brownian motion as a simple though still rigorous approach to operate with various Gaussian processes. A Brownian path is explicitly constructed as a linear combination of wavelet-based "geometrical features" at multiple length scales with random weights. Such a wavelet representation gives a closed formula map** of the unit interval onto the functional space…
▽ More
We revise the Levy's construction of Brownian motion as a simple though still rigorous approach to operate with various Gaussian processes. A Brownian path is explicitly constructed as a linear combination of wavelet-based "geometrical features" at multiple length scales with random weights. Such a wavelet representation gives a closed formula map** of the unit interval onto the functional space of Brownian paths. This formula elucidates many classical results about Brownian motion (e.g., non-differentiability of its path), providing intuitive feeling for non-mathematicians. The illustrative character of the wavelet representation, along with the simple structure of the underlying probability space, is different from the usual presentation of most classical textbooks. Similar concepts are discussed for fractional Brownian motion, Ornstein-Uhlenbeck process, Gaussian free field, and fractional Gaussian fields. Wavelet representations and dyadic decompositions form the basis of many highly efficient numerical methods to simulate Gaussian processes and fields, including Brownian motion and other diffusive processes in confining domains.
△ Less
Submitted 18 May, 2015;
originally announced May 2015.
-
On Bogomolny-Schmit conjecture
Authors:
D Beliaev,
Z Kereta
Abstract:
Bogomolny and Schmit proposed that the critical edge percolation on the square lattice is a good model for the nodal domains of a random plane wave. Based on this they made a conjecture about the number of nodal domains. Recent computer experiments showed that the mean number of clusters per vertex and the mean number of nodal domains per unit area are very close but different. Since the original…
▽ More
Bogomolny and Schmit proposed that the critical edge percolation on the square lattice is a good model for the nodal domains of a random plane wave. Based on this they made a conjecture about the number of nodal domains. Recent computer experiments showed that the mean number of clusters per vertex and the mean number of nodal domains per unit area are very close but different. Since the original argument was mostly supported by numerics, it was believed that the percolation model is wrong. In this paper we give some numerical evidence in favour of the percolation model.
△ Less
Submitted 10 October, 2013;
originally announced October 2013.
-
Some remarks on SLE bubbles and Schramm's two-point observable
Authors:
Dmitry Beliaev,
Fredrik Johansson Viklund
Abstract:
Simmons and Cardy recently predicted a formula for the probability that the chordal SLE(8/3) path passes to the left of two points in the upper half-plane. In this paper we give a rigorous proof of their formula. Starting from this result, we derive explicit expressions for several natural connectivity functions for SLE(8/3) bubbles conditioned to be of macroscopic size. By passing to a limit with…
▽ More
Simmons and Cardy recently predicted a formula for the probability that the chordal SLE(8/3) path passes to the left of two points in the upper half-plane. In this paper we give a rigorous proof of their formula. Starting from this result, we derive explicit expressions for several natural connectivity functions for SLE(8/3) bubbles conditioned to be of macroscopic size. By passing to a limit with such a bubble we construct a certain chordal restriction measure and in this way obtain a proof of a formula for the probability that two given points are between two commuting SLE(8/3) paths. The one-point version of this result has been predicted by Gamsa and Cardy. Finally, we derive an integral formula for the second moment of the area of an SLE(8/3) bubble conditioned to have radius 1. We evaluate the area integral numerically and relate its value to a hypothesis that the area follows the Airy distribution.
△ Less
Submitted 18 September, 2011; v1 submitted 23 December, 2010;
originally announced December 2010.
-
A proof of factorization formula for critical percolation
Authors:
Dmitry Beliaev,
Konstantin Izyurov
Abstract:
We give mathematical proofs to a number of statements which appeared in the series of papers by Kleban, Simmons and Ziff where they computed the probabilities of several percolation crossing events.
We give mathematical proofs to a number of statements which appeared in the series of papers by Kleban, Simmons and Ziff where they computed the probabilities of several percolation crossing events.
△ Less
Submitted 22 October, 2011; v1 submitted 26 November, 2010;
originally announced November 2010.
-
Harmonic measure and SLE
Authors:
D. Beliaev,
S. Smirnov
Abstract:
In this paper we rigorously compute the average multifractal spectrum of harmonic measure on the boundary of SLE clusters.
In this paper we rigorously compute the average multifractal spectrum of harmonic measure on the boundary of SLE clusters.
△ Less
Submitted 11 January, 2008;
originally announced January 2008.
-
Integral means spectrum of random conformal snowflakes
Authors:
D. Beliaev
Abstract:
In this paper we construct random conformal snowflakes with large integral means spectrum at different points. These new estimates are significant improvement over previously known lower bound of the universal spectrum. Our estimates are within 5-10 percent from the conjectured value of the universal spectrum.
In this paper we construct random conformal snowflakes with large integral means spectrum at different points. These new estimates are significant improvement over previously known lower bound of the universal spectrum. Our estimates are within 5-10 percent from the conjectured value of the universal spectrum.
△ Less
Submitted 22 October, 2007;
originally announced October 2007.
-
Packing dimension of mean porous measures
Authors:
D. Beliaev,
E. Järvenpää,
M. Järvenpää,
A. Käenmäki,
T. Rajala,
S. Smirnov,
V. Suomala
Abstract:
We prove that the packing dimension of any mean porous Radon measure on $\mathbb R^d$ may be estimated from above by a function which depends on mean porosity. The upper bound tends to $d-1$ as mean porosity tends to its maximum value. This result was stated in \cite{BS}, and in a weaker form in \cite{JJ1}, but the proofs are not correct. Quite surprisingly, it turns out that mean porous measure…
▽ More
We prove that the packing dimension of any mean porous Radon measure on $\mathbb R^d$ may be estimated from above by a function which depends on mean porosity. The upper bound tends to $d-1$ as mean porosity tends to its maximum value. This result was stated in \cite{BS}, and in a weaker form in \cite{JJ1}, but the proofs are not correct. Quite surprisingly, it turns out that mean porous measures are not necessarily approximable by mean porous sets. We verify this by constructing an example of a mean porous measure $μ$ on $\mathbb R$ such that $μ(A)=0$ for all mean porous sets $A\subset\mathbb R$.
△ Less
Submitted 25 May, 2009; v1 submitted 16 May, 2007;
originally announced May 2007.
-
Random conformal snowflakes
Authors:
D. Beliaev,
S. Smirnov
Abstract:
In many problems of classical analysis extremal configurations appear to exhibit complicated fractal structure. This makes it much harder to describe extremals and to attack such problems. Many of these problems are related to the multifractal analysis of harmonic measure.
We argue that, searching for extremals in such problems, one should work with random fractals rather than deterministic on…
▽ More
In many problems of classical analysis extremal configurations appear to exhibit complicated fractal structure. This makes it much harder to describe extremals and to attack such problems. Many of these problems are related to the multifractal analysis of harmonic measure.
We argue that, searching for extremals in such problems, one should work with random fractals rather than deterministic ones. We introduce a new class of fractals random conformal snowflakes and investigate its properties develo** tools to estimate spectra and showing that extremals can be found in this class. As an application we significantly improve known estimates from below on the extremal behaviour of harmonic measure, showing how to constuct a rather simple snowflake, which has a spectrum quite close to the conjectured extremal value.
△ Less
Submitted 16 January, 2007;
originally announced January 2007.