-
Asymptotics of Bergman polynomials for domains with reflection-invariant corners
Authors:
Erwin Miña-Díaz,
Aron Wennman
Abstract:
We study the asymptotic behavior of the Bergman orthogonal polynomials $(p_n)_{n=0}^{\infty}$ for a class of bounded simply connected domains $D$. The class is defined by the requirement that conformal maps $\varphi$ of $D$ onto the unit disk extend analytically across the boundary $L$ of $D$, and that $\varphi'$ has a finite number of zeros $z_1,\ldots, z_q$ on $L$. The boundary $L$ is then piece…
▽ More
We study the asymptotic behavior of the Bergman orthogonal polynomials $(p_n)_{n=0}^{\infty}$ for a class of bounded simply connected domains $D$. The class is defined by the requirement that conformal maps $\varphi$ of $D$ onto the unit disk extend analytically across the boundary $L$ of $D$, and that $\varphi'$ has a finite number of zeros $z_1,\ldots, z_q$ on $L$. The boundary $L$ is then piecewise analytic with corners at the zeros of $\varphi'$. A result of Stylianopoulos implies that a Carleman-type strong asymptotic formula for $p_n$ holds on the exterior domain $\mathbb{C}\setminus\overline{D}$. We prove that the same formula remains valid across $L\setminus\{z_1,\ldots,z_q\}$ and on a maximal open subset of $D$. As a consequence, the only boundary points that attract zeros of $p_n$ are the corners. This is in stark contrast to the case when $\varphi$ fails to admit an analytic extension past $L$, since when this happens the zero counting measure of $p_n$ is known to approach the equilibrium measure for $L$ along suitable subsequences.
△ Less
Submitted 14 April, 2024;
originally announced April 2024.
-
The random Weierstrass zeta function II. Fluctuations of the electric flux through rectifiable curves
Authors:
Mikhail Sodin,
Aron Wennman,
Oren Yakir
Abstract:
Consider a random planar point process whose law is invariant under planar isometries. We think of the process as a random distribution of point charges and consider the electric field generated by the charge distribution. In Part I of this work, we found a condition on the spectral side which characterizes when the field itself is invariant with a well-defined second-order structure. Here, we fix…
▽ More
Consider a random planar point process whose law is invariant under planar isometries. We think of the process as a random distribution of point charges and consider the electric field generated by the charge distribution. In Part I of this work, we found a condition on the spectral side which characterizes when the field itself is invariant with a well-defined second-order structure. Here, we fix a process with an invariant field, and study the fluctuations of the flux through large arcs and curves in the plane. Under suitable conditions on the process and on the curve, denoted $Γ$, we show that the asymptotic variance of the flux through $R\,Γ$ grows like $R$ times the signed length of $Γ$. As a corollary, we find that the charge fluctuations in a dilated Jordan domain is asymptotic with the perimeter, provided only that the boundary is rectifiable.
The proof is based on the asymptotic analysis of a closely related quantity (the complex electric action of the field along a curve). A decisive role in the analysis is played by a signed version of the classical Ahlfors regularity condition.
△ Less
Submitted 22 October, 2023; v1 submitted 2 November, 2022;
originally announced November 2022.
-
The random Weierstrass zeta function I. Existence, uniqueness, fluctuations
Authors:
Mikhail Sodin,
Aron Wennman,
Oren Yakir
Abstract:
We describe a construction of random meromorphic functions with prescribed simple poles with unit residues at a given stationary point process. We characterize those stationary processes with finite second moment for which, after subtracting the mean, the random function becomes stationary. These random meromorphic functions can be viewed as random analogues of the Weierstrass zeta function from t…
▽ More
We describe a construction of random meromorphic functions with prescribed simple poles with unit residues at a given stationary point process. We characterize those stationary processes with finite second moment for which, after subtracting the mean, the random function becomes stationary. These random meromorphic functions can be viewed as random analogues of the Weierstrass zeta function from the theory of elliptic functions, or equivalently as electric fields generated by an infinite random distribution of point charges.
△ Less
Submitted 22 October, 2023; v1 submitted 18 October, 2022;
originally announced October 2022.
-
Berezin density and planar orthogonal polynomials
Authors:
Haakan Hedenmalm,
Aron Wennman
Abstract:
We introduce a nonlinear potential theory problem for the Laplacian, the solution of which characterizes the Berezin density $B(z,\cdot)$ for the polynomial Bergman space, where the point $z\in\mathbb{C}$ is fixed. When $z=\infty$, the Berezin density is expressed in terms of the squared modulus of the corresponding normalized orthogonal polynomial $P$. We use an approximate version of this charac…
▽ More
We introduce a nonlinear potential theory problem for the Laplacian, the solution of which characterizes the Berezin density $B(z,\cdot)$ for the polynomial Bergman space, where the point $z\in\mathbb{C}$ is fixed. When $z=\infty$, the Berezin density is expressed in terms of the squared modulus of the corresponding normalized orthogonal polynomial $P$. We use an approximate version of this characterization to study the asymptotics of the orthogonal polynomials in the context of exponentially varying weights. This builds on earlier works by Its-Takhtajan and by the first author on a soft Riemann-Hilbert problem for planar orthogonal polynomials, where in place of the Laplacian we have the $\bar\partial$-operator.
We adapt the soft Riemann-Hilbert approach to the nonlinear potential problem, where the nonlinearity is due to the appearance of $|P|^2$ in place of $\overline{P}$. Moreover, we suggest how to adapt the potential theory method to the study of the asymptotics of more general Berezin densities $B(z,w)$ in the off-spectral regime, that is, when $z$ is fixed outside the droplet. This is a first installment in a program to obtain an explicit global expansion formula for the polynomial Bergman kernel, and, in particular, of the one-point function of the associated random normal matrix ensemble.
△ Less
Submitted 26 October, 2023; v1 submitted 4 March, 2022;
originally announced March 2022.
-
Universality for outliers in weakly confined Coulomb-type systems
Authors:
Raphael Butez,
David García-Zelada,
Alon Nishry,
Aron Wennman
Abstract:
This work concerns weakly confined particle systems in the plane, characterized by a large number of outliers away from a droplet where the bulk of the particles accumulate in the many-particle limit. We are interested in the asymptotic behavior of outliers for two classes of point processes: Coulomb gases at determinantal inverse temperature confined by a regular background, and a class of random…
▽ More
This work concerns weakly confined particle systems in the plane, characterized by a large number of outliers away from a droplet where the bulk of the particles accumulate in the many-particle limit. We are interested in the asymptotic behavior of outliers for two classes of point processes: Coulomb gases at determinantal inverse temperature confined by a regular background, and a class of random polynomials.
We observe that the limiting outlier process only depends on the shape of the uncharged region containing them, and the global net excess charge. In particular, for a determinantal Coulomb gas confined by a sufficiently regular background measure, the outliers in a simply connected uncharged region converge to the corresponding Bergman point process. For a finitely connected uncharged region $Ω$, a family of limiting outlier processes arises, indexed by the (Pontryagin) dual of the fundamental group of $Ω$. Moreover, the outliers in different uncharged regions are asymptotically independent, even if the regions have common boundary points. The latter result is a manifestation of screening properties of the particle system.
△ Less
Submitted 19 July, 2023; v1 submitted 8 April, 2021;
originally announced April 2021.
-
The forbidden region for random zeros: appearance of quadrature domains
Authors:
Alon Nishry,
Aron Wennman
Abstract:
Our main discovery is a surprising interplay between quadrature domains on the one hand, and the zero process of the Gaussian Entire Function (GEF) on the other. Specifically, consider the GEF conditioned on the rare hole event that there are no zeros in a given large Jordan domain. We show that in the natural scaling limit, a quadrature domain enclosing the hole emerges as a forbidden region, whe…
▽ More
Our main discovery is a surprising interplay between quadrature domains on the one hand, and the zero process of the Gaussian Entire Function (GEF) on the other. Specifically, consider the GEF conditioned on the rare hole event that there are no zeros in a given large Jordan domain. We show that in the natural scaling limit, a quadrature domain enclosing the hole emerges as a forbidden region, where the zero density vanishes. Moreover, we give a description of those holes for which the forbidden region is a disk.
The connecting link between random zeros and potential theory is supplied by a constrained extremal problem for the Zeitouni-Zelditch functional. To solve this problem, we recast it in terms of a seemingly novel obstacle problem, where the solution is forced to be harmonic inside the hole.
△ Less
Submitted 18 September, 2020;
originally announced September 2020.
-
Riemann-Hilbert hierarchies for hard edge planar orthogonal polynomials
Authors:
Haakan Hedenmalm,
Aron Wennman
Abstract:
We obtain a full asymptotic expansion for orthogonal polynomials with respect to weighted area measure on a Jordan domain $\mathscr{D}$ with real-analytic boundary. The weight is fixed and assumed to be real-analytically smooth and strictly positive, and for any given precision $\varkappa$, the expansion holds with an $\mathrm{O}(N^{-\varkappa-1})$ error in $N$-dependent neighborhoods of the exter…
▽ More
We obtain a full asymptotic expansion for orthogonal polynomials with respect to weighted area measure on a Jordan domain $\mathscr{D}$ with real-analytic boundary. The weight is fixed and assumed to be real-analytically smooth and strictly positive, and for any given precision $\varkappa$, the expansion holds with an $\mathrm{O}(N^{-\varkappa-1})$ error in $N$-dependent neighborhoods of the exterior region as the degree $N$ tends to infinity. The main ingredient is the derivation and analysis of Riemann-Hilbert hierarchies - sequences of scalar Riemann-Hilbert problems - which allows us to express all higher order correction terms in closed form. In fact, the expansion may be understood as a Neumann series involving an explicit operator. The expansion theorem leads to a semiclassical asymptotic expansion of the corresponding hard edge probability wave function in terms of distributions supported on $\partial\mathscr{D}$.
△ Less
Submitted 26 August, 2020; v1 submitted 6 August, 2020;
originally announced August 2020.
-
Off-spectral analysis of Bergman kernels
Authors:
Haakan Hedenmalm,
Aron Wennman
Abstract:
The asymptotic analysis of Bergman kernels with respect to exponentially varying measures near emergent interfaces has attracted recent attention. Such interfaces typically occur when the associated limiting Bergman density function vanishes on a portion of the plane, the off-spectral region. This type of behaviour is observed when the metric is negatively curved somewhere, or when we study partia…
▽ More
The asymptotic analysis of Bergman kernels with respect to exponentially varying measures near emergent interfaces has attracted recent attention. Such interfaces typically occur when the associated limiting Bergman density function vanishes on a portion of the plane, the off-spectral region. This type of behaviour is observed when the metric is negatively curved somewhere, or when we study partial Bergman kernels in the context of positively curved metrics. In this work, we cover these two situations in a unified way, for exponentially varying planar measures on the complex plane. We obtain uniform asymptotic expansions of root functions, which are essentially normalized partial Bergman kernels at an off-spectral point, valid in the entire off-spectral component and protruding into the spectrum as well, which allows us to show error function transition behaviour of the original kernel along the interface. In contrast, previous work on asymptotic expansions of Bergman kernels is typically local, and valid only in the bulk region of the spectrum.
△ Less
Submitted 24 October, 2019; v1 submitted 2 May, 2018;
originally announced May 2018.
-
Planar orthogonal polynomials and boundary universality in the random normal matrix model
Authors:
Haakan Hedenmalm,
Aron Wennman
Abstract:
We show that the planar normalized orthogonal polynomials $P_{m,n}(z)$ of degree $n$ with respect to an exponentially varying planar measure $\mathrm{e}^{-2mQ}\mathrm{dA}$ enjoy an asymptotic expansion \[ P_{m,n}(z)\sim m^{\frac{1}{4}}\sqrt{φ_τ'(z)}[φ_τ(z)]^n \mathrm{e}^{m\mathcal{Q}_τ(z)}\left(\mathcal{B}_{τ, 0}(z) +m^{-1}\mathcal{B}_{τ, 1}(z)+m^{-2} \mathcal{B}_{τ,2}(z)+\ldots\right), \] as…
▽ More
We show that the planar normalized orthogonal polynomials $P_{m,n}(z)$ of degree $n$ with respect to an exponentially varying planar measure $\mathrm{e}^{-2mQ}\mathrm{dA}$ enjoy an asymptotic expansion \[ P_{m,n}(z)\sim m^{\frac{1}{4}}\sqrt{φ_τ'(z)}[φ_τ(z)]^n \mathrm{e}^{m\mathcal{Q}_τ(z)}\left(\mathcal{B}_{τ, 0}(z) +m^{-1}\mathcal{B}_{τ, 1}(z)+m^{-2} \mathcal{B}_{τ,2}(z)+\ldots\right), \] as $n,m\to\infty$ while the ratio $τ=\frac{n}{m}$ is fixed. Here $\mathcal{S}_τ$ denotes the droplet, the boundary of which is assumed to be a smooth simple closed curve, and $φ_τ$ is a conformal map** from the complement $\mathcal{S}_τ^c$ to the exterior disk $\Bbb{D}_\mathrm{e}$. The functions $\mathcal{Q}_τ$ and $\mathcal{B}_{τ, j}$ are bounded holomorphic functions which may be expressed in terms of $Q$ and $\mathcal{S}_τ$. We apply these results to obtain boundary universality in the random normal matrix model for smooth droplets, i.e., that the limiting rescaled process is the random process with correlation kernel \[ \mathrm{k}(ξ,η)= \mathrm{e}^{ξ\barη\,-\frac12(\lvertξ\rvert^2+\lvert η\rvert^2)} \,\mathrm{erf}\,(ξ+\barη). \] A key ingredient in the proof of the asymptotic expansion of the orthogonal polynomials is the construction of an orthogonal foliation -- a smooth flow of closed curves near $\partial\mathcal{S}_τ$, on each of which $P_{m,n}$ is appropriately orthogonal to lower order polynomials. To compute the coefficient functions, we develop an algorithm which determines the coefficients $\mathcal{B}_{τ, j}$ successively in terms of inhomogeneous Toeplitz kernel conditions. These inhomogeneous Toeplitz kernel conditions may be understood in terms of scalar Riemann-Hilbert problems.
△ Less
Submitted 6 August, 2020; v1 submitted 17 October, 2017;
originally announced October 2017.
-
A critical topology for $L^p$-Carleman classes with $0<p<1$
Authors:
Haakan Hedenmalm,
Aron Wennman
Abstract:
In this paper, we explain a sharp phase transition phenomenon which occurs for $L^p$-Carleman classes with exponents $0<p<1$. In principle, these classes are defined as usual, only the traditional $L^\infty$-bounds are replaced by corresponding $L^p$-bounds. To mirror the classical definition, we add the feature of dilatation invariance as well, and consider a larger soft-topology space, the…
▽ More
In this paper, we explain a sharp phase transition phenomenon which occurs for $L^p$-Carleman classes with exponents $0<p<1$. In principle, these classes are defined as usual, only the traditional $L^\infty$-bounds are replaced by corresponding $L^p$-bounds. To mirror the classical definition, we add the feature of dilatation invariance as well, and consider a larger soft-topology space, the $L^p$-Carleman class. A particular degenerate instance is when we obtain the $L^p$-Sobolev spaces, analyzed previously by Peetre, following an initial insight by Douady. Peetre found that these $L^p$-Sobolev spaces are highly degenerate for $0<p<1$. Essentially, the contact is lost between the function and its derivatives. Here, we analyze this degeneracy for the more general $L^p$-Carleman classes defined by a weight sequence. Under some reasonable growth and regularity properties, and a condition on the collection of test functions, we find that there is a sharp boundary, defined in terms of the weight sequence: on the one side, we get Douady-Peetre's phenomenon of "disconnexion" between the function and its derivatives, while on the other, we obtain a collection of highly smooth functions. We also look at the more standard second phase transition, between non-quasianalyticity and quasianalyticity, in the $L^p$ setting, with $0<p<1$.
△ Less
Submitted 29 August, 2017;
originally announced August 2017.
-
A Central Limit Theorem for Fluctuations in Polyanalytic Ginibre Ensembles
Authors:
Antti Haimi,
Aron Wennman
Abstract:
We study fluctuations of linear statistics in Polyanalytic Ginibre ensembles, a family of point processes describing planar free fermions in a uniform magnetic field at higher Landau levels. Our main result is asymptotic normality of fluctuations, extending a result of Rider and Virág. As in the analytic case, the variance is composed of independent terms from the bulk and the boundary. Our method…
▽ More
We study fluctuations of linear statistics in Polyanalytic Ginibre ensembles, a family of point processes describing planar free fermions in a uniform magnetic field at higher Landau levels. Our main result is asymptotic normality of fluctuations, extending a result of Rider and Virág. As in the analytic case, the variance is composed of independent terms from the bulk and the boundary. Our methods rely on a structural formula for polyanalytic polynomial Bergman kernels which separates out the different pure $q$-analytic kernels corresponding to different Landau levels. The fluctuations with respect to these pure $q$-analytic Ginibre ensembles are also studied, and a central limit theorem is proved. The results suggest a stabilizing effect on the variance when the different Landau levels are combined together.
△ Less
Submitted 23 December, 2016;
originally announced December 2016.
-
Discrepancy densities for planar and hyperbolic Zero Packing
Authors:
Aron Wennman
Abstract:
We study the problem of geometric zero packing, recently introduced by Hedenmalm. There are two natural densities associated to this problem: the discrepancy density $ρ_{\mathbb{H}}$, given by…
▽ More
We study the problem of geometric zero packing, recently introduced by Hedenmalm. There are two natural densities associated to this problem: the discrepancy density $ρ_{\mathbb{H}}$, given by $$ ρ_{\mathbb{H}} = \liminf_{r\to 1^-} \inf_{f} \frac{\int_{\mathbb{D}(0,r)} \left((1-\lvert z\rvert^2) \lvert f(z)\rvert-1\right)^2 \frac{dA(z)}{1-\lvert z\rvert^2}} {\int_{\mathbb{D}(0,r)} \frac{dA(z)}{1-\lvert z\rvert^2}} $$ which measures the discrepancy in optimal approximation of $(1-\lvert z\rvert^2)^{-1}$ with the modulus of polynomials $f$, and it's relative, the tight discrepancy density $ρ_{\mathbb{H}}^*$, which will trivially satisfy $ρ_{\mathbb{H}}\leqρ_{\mathbb{H}}^*$. These densities have deep connections to the boundary behaviour of conformal map**s with $k$-quasiconformal extensions, which can be seen from the Hedenmalm's result that the universal asymptotic variance $Σ^2$ is related to $ρ_{\mathbb{H}}^*$ by $Σ^2=1-ρ_{\mathbb{H}}^*$. Here we prove that in fact $ρ_{\mathbb{H}}=ρ_{\mathbb{H}}^*$, resolving a conjecture by Hedenmalm in the positive. The natural planar analogues $ρ_{\mathbb{C}}$ and $ρ_{\mathbb{C}}^*$ to these densities make contact with work of Abrikosov on Bose-Einstein condensates. As a second result we prove that also $ρ_{\mathbb{C}}=ρ_{\mathbb{C}}^*$. The methods are based on Ameur, Hedenmalm and Makarov's Hörmander-type $\bar\partial$-estimates with polynomial growth control. As a consequence we obtain sufficiency results on the degrees of approximately optimal polynomials.
△ Less
Submitted 27 May, 2016;
originally announced May 2016.
-
Scaling limits of random normal matrix processes at singular boundary points
Authors:
Yacin Ameur,
Nam-Gyu Kang,
Nikolai Makarov,
Aron Wennman
Abstract:
We give a method for taking microscopic limits of normal matrix ensembles. We apply this method to study the behaviour near certain types of singular points on the boundary of the droplet. Our investigation includes ensembles without restrictions near the boundary, as well as hard edge ensembles, where the eigenvalues are confined to the droplet. We establish in both cases existence of new types o…
▽ More
We give a method for taking microscopic limits of normal matrix ensembles. We apply this method to study the behaviour near certain types of singular points on the boundary of the droplet. Our investigation includes ensembles without restrictions near the boundary, as well as hard edge ensembles, where the eigenvalues are confined to the droplet. We establish in both cases existence of new types of determinantal point fields, which differ from those which can appear at a regular boundary point, or in the bulk.
△ Less
Submitted 9 October, 2019; v1 submitted 29 October, 2015;
originally announced October 2015.
-
Independence of derivatives in Carleman-Sobolev Classes for exponents $0<p<1$
Authors:
Aron Wennman
Abstract:
We continue the study of Carleman-Sobolev classes from previous joint work with G. Behm. We consider spaces denoted by $W_\mathcal{M}^p$, defined as abstract completions of sets of smooth functions with respect to a weighted Sobolev-flavoured norm involving derivatives of all orders. Previously we showed that these classes behaves very differently on two sides of a condition on the weight sequence…
▽ More
We continue the study of Carleman-Sobolev classes from previous joint work with G. Behm. We consider spaces denoted by $W_\mathcal{M}^p$, defined as abstract completions of sets of smooth functions with respect to a weighted Sobolev-flavoured norm involving derivatives of all orders. Previously we showed that these classes behaves very differently on two sides of a condition on the weight sequence $\mathcal{M}$. Here we prove a conjecture made in that paper; under some regularity assumptions on the weight, we show that on one side of the condition there will be a complete independence between derivatives, expressed as $$ W_\mathcal{M}^p\cong L^p\oplus W_{\mathcal{M}_1}^p $$ where $\mathcal{M}_1$ is the shifted sequence. On the other side, we already know that one can embed $W_\mathcal{M}^p$ into $C^{\infty}(\mathbb{R})$. Thus this is an instance of a kind of phase transition.
△ Less
Submitted 29 October, 2017; v1 submitted 12 May, 2014;
originally announced May 2014.
-
A Further Remark on Sobolev Spaces. The Case $0<p<1$
Authors:
Aron Wennman
Abstract:
We discuss a phenomenon observed by Jaak Peetre in the seventies: for small $L^{p}$-exponents, i.e. for $0<p<1$, the Sobolev spaces $W^{k,p}$ defined in a seemingly natural way are isomorphic to $L^{p}$. This says that the dual of $W^{k,p}$ is trivial, and indicates that these spaces are highly pathological. In this note we expand on Peetre's observation, explaining in detail some points that migh…
▽ More
We discuss a phenomenon observed by Jaak Peetre in the seventies: for small $L^{p}$-exponents, i.e. for $0<p<1$, the Sobolev spaces $W^{k,p}$ defined in a seemingly natural way are isomorphic to $L^{p}$. This says that the dual of $W^{k,p}$ is trivial, and indicates that these spaces are highly pathological. In this note we expand on Peetre's observation, explaining in detail some points that might merit further discussion.
△ Less
Submitted 29 October, 2017; v1 submitted 12 May, 2014;
originally announced May 2014.
-
Carleman-Sobolev classes for small exponents
Authors:
Gustav Behm,
Aron Wennman
Abstract:
This paper is devoted to the study of a generalization of Sobolev spaces for small $L^{p}$ exponents, i.e. $0<p<1$. We consider spaces defined as abstract completions of certain classes of smooth functions with respect to weighted quasi-norms, simultaneously inspired by Carleman classes and classical Sobolev spaces. If the class is restricted with a growth condition on the supremum norms of the de…
▽ More
This paper is devoted to the study of a generalization of Sobolev spaces for small $L^{p}$ exponents, i.e. $0<p<1$. We consider spaces defined as abstract completions of certain classes of smooth functions with respect to weighted quasi-norms, simultaneously inspired by Carleman classes and classical Sobolev spaces. If the class is restricted with a growth condition on the supremum norms of the derivatives, we prove that there exists a condition which guarantees that the resulting space can be embedded into $C^{\infty}(\mathbb{R})$. This is sharp up to some regularity conditions on the weight sequence. We also show that the growth condition is necessary, in the sense that if we drop it entirely we can naturally embed $L^p$ into the resulting completion.
△ Less
Submitted 17 April, 2014; v1 submitted 11 April, 2014;
originally announced April 2014.