Abstract
We study the correlation between the nodal length of random spherical harmonics and the length of a nonzero level set. We show that the correlation is asymptotically zero, while the partial correlation after removing the effect of the random \(L^2\)-norm of the eigenfunctions is asymptotically one.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction and Main Result
1.1 Random Spherical Harmonics
On the unit two-dimensional sphere \(\mathbb {S}^{2},\) let us consider the Helmholtz equation
where
is the Laplace–Beltrami operator on \(\mathbb {S}^{2}\) in spherical coordinates \((\theta ,\varphi )\) and \(\left\{ \lambda _{\ell }=\ell (\ell +1)\right\} _{\ell \in \mathbb N}\) represent the set of eigenvalues of \(-\Delta _{\mathbb {S}^{2}}\). For any \(\lambda _{\ell }\), the corresponding eigenspace is the \((2\ell +1)\)-dimensional space of spherical harmonics of degree \(\ell \); we can choose the standard \(L^{2}\)-orthonormal basis made of the spherical harmonics \(\left\{ Y_{\mathbb {\ell }m}\right\} _{m=-\ell ,\dots , \ell }\) [13, §3.4] and focus, for \(\ell \in \mathbb N^*\), on random eigenfunctions of the form
Here the coefficients \(\left\{ a_{\mathbb {\ell ,}m}\right\} _{m=-\ell ,\dots , \ell }\) are random variables (defined on some probability space \((\Omega , \mathcal F, \mathbb P)\) that we fix once and for all) such that \(a_{\ell ,0}\) is a real standard Gaussian, and for \(m\ne 0\) the \(a_{\ell ,m}\)’s are standard complex Gaussians (independent of \(a_{\ell ,0}\)) and independent save for the relation \(\overline{a_{\ell ,m}} =(-1)^m a_{\ell , -m}\) ensuring \(f_\ell \) to be real valued—it is immediate to see that the law of the process \(f_{\ell }\) is invariant with respect to the choice of a \(L^{2}\)-orthonormal basis of eigenfunctions.
For every \(\ell \), the random eigenfunction \(f_{\ell }\) is centred, Gaussian and isotropic; from the addition theorem for spherical harmonics [13, (3.42)], the covariance function is given by
where \(P_{\ell }\) is the \(\ell \)th Legendre polynomial, defined by Rodrigues’ formula, as
and d(x, y) stands for the spherical geodesic distance between the points x and y. As discussed elsewhere (see i.e. [3, 4, 7]), random spherical harmonics arise naturally from the spectral analysis of isotropic Gaussian fields on the sphere or in the investigation of quantum chaos (see for instance [13, 29] for reviews).
Remark 1.1
The random variables \(\left\{ a_{\mathbb {\ell ,}m}\right\} _{m=-\ell ,\dots , \ell , \ell \in \mathbb N^*}\) are defined on the same probability space \((\Omega , \mathcal F, \mathbb P)\). We may assume \(f_\ell \) and \(f_{\ell '}\) in (1.1) to be independent random fields whenever \(\ell \ne \ell '\), this is equivalent to assume that \(a_{\ell ,m}\) and \(a_{\ell ',m'}\) are independent random variables for every \(m,m'\) whenever \(\ell \ne \ell '\).
In this paper, we shall focus on excursion sets of \(f_{\ell }\) in (1.1) defined as \( A_u(f_{\ell }):=\{x \in \mathbb {S}^2:f_{\ell }(x) \ge u\}\) for \(u\in \mathbb R\). The boundary of \(A_u(f_\ell )\), i.e. the level set
is an a.s. smooth curve whose connected components are homeomorphic to the circumference. Let us define, for \(u\in \mathbb {R}\), the random variable
If \(u=0\), the quantity \(\mathcal {L}_{\ell }(0)\) is known as nodal length. For \(u\ne 0\), we will often refer to \(\mathcal L_\ell (u)\) in (1.3) as “boundary length”, equivalent with “length of level sets”. In this manuscript, we shall investigate in particular the sequence of random variables \(\lbrace \mathcal {L}_{\ell }(u)\rbrace _{\ell \in \mathbb N^*}\).
1.1.1 Nodal Length
The nodal length \(\{\mathcal L_\ell (0)\}_{\mathcal \ell \in \mathbb N^*}\) has been the object of an enormous amount of activity, see i.e. [2, 19, 26, 28]. In particular, according to the celebrated Yau’s conjecture [31], which has been proved for real analytic manifolds by Donnelly and Fefferman, see [9], and more recently for smooth manifolds by [12] (the lower bound), there exist two constants \(c,C>0\) s.t. for any realization \(f_{\ell }\) one has
for every \(\ell \in \mathbb N^*\). For the “typical” eigenfunction, fluctuations are indeed of smaller order; more precisely, tighter bounds can be given in a probabilistic sense. In fact, under Gaussianity the expected value of \(\mathcal {L}_{\ell }(0)\) is easily computed to be (for instance, by the Gaussian Kinematic Formula [1], see also [2])
The computation of the variance is much more challenging and was solved by [28], where it is shown that, as \(\ell \rightarrow \infty ,\)
More recently, [19] actually provided a stronger characterization of the nodal length fluctuation around their expected value. More precisely, they were able to establish the asymptotic equivalence (in the \(L^{2}(\Omega , \mathcal F, \mathbb P ) =: L^{2}(\mathbb P )\)-sense) of the nodal length and the so-called sample trispectrum of \(f_{\ell }\), i.e. integral over the sphere of \(H_{4}(f_{\ell })\) that is the fourth-order Hermite polynomial evaluated at the field itself (we recall that \(H_{4}(t)=t^{4}-6t^{2}+3\)). Indeed, let us define first the sequence of random variables
thanks to the properties of Hermite and Legendre polynomials, it is easy to check that [14, 16]
Moreover, denote by \(\widetilde{\mathcal {L}}_{\ell }(0)\) the standardized nodal length, i.e.
and likewise for \(\mathcal {M}_{\ell }\), writing \(\widetilde{\mathcal {M}} _{\ell }:=\frac{\mathcal {M}_{\ell }}{\sqrt{\mathrm{Var}(\mathcal {M}_{\ell })}}.\) It is shown in [19] that, as \(\ell \rightarrow \infty ,\)
where by \(o_{\mathbb P}(1)\) we mean a sequence of random variables converging to zero in probability. Note that bearing in mind [16, Theorem 1.1], (1.6) yields immediately a CLT for the normalized nodal length.
1.1.2 Boundary Length
A natural further question to investigate is then how much the nodal length behaviour characterizes the behaviour of the boundary length and more generally the full geometry of eigenfunctions, i.e. the behaviour of Lipschitz–Killing curvatures of excursion sets for arbitrary levels \(u\in \mathbb R\). Recall that the latter are the area [15, 16], (half) the boundary length, and the Euler–Poincaré characteristic [4] of the excursion regions \(A_u(f_{\ell })=\{x \in \mathbb {S}^2:f_{\ell }(x) \ge u\}\). See Remark 1.2 for an overview.
To this aim, let us first recall that (see [23, 28]), for \(u\in \mathbb R\) and \(\ell \in \mathbb N^*\),
and, for \(u\ne 0\), as \(\ell \rightarrow +\infty \),
Note that for a fixed \(u \ne 0\) and in the regime \(\ell \rightarrow \infty \), the variance of \(\mathcal {L}_{\ell }(u)\) is much larger than in the case \(u=0\). Let us now consider the random variable (recall that \(H_2(t) = t^2 -1\) is the second Hermite polynomial)
Note that \(\mathbb {E}\left[ \mathcal {L}_{\ell }(u)\right] =0\); also, from (1.9) we easily find (cf. (1.8))
let us now consider, for \(u\ne 0\), the standardized level set length, i.e.
and analogously \(\widetilde{\mathcal {D}}_{\ell }(u):=\frac{\mathcal {D}_{\ell }(u)}{\sqrt{\mathrm{Var}(\mathcal {D}_{\ell }(u))}}.\) It was shown in [23] that, for \(u\ne 0\), as \(\ell \rightarrow +\infty \),
In Sect. 2, we will interpret the results recalled in Sects. 1.1.1 and 1.1.2 for nodal and nonzero level sets lengths, respectively, in terms of so-called chaotic components.
Remark 1.2
(i) Let us stress now that one of the main differences w.r.t. the nodal case (1.6) is that, as argued in [4], thanks to (1.11) the boundary length is asymptotically (as \(\ell \rightarrow +\infty \)) perfectly correlated (meaning that the squared correlation coefficients \(\rho (\cdot , \cdot )\) converge to one) with other geometric functionals, such as the area [15, 16] and the Euler–Poincaré characteristic [4] for the excursion regions \(A_u(f_{\ell })=\{x \in \mathbb {S}^2:f_{\ell }(x) \ge u\}\); likewise, perfect correlation holds between these functionals and the number of critical points [5] for \(f_{\ell }(x)\) in the same excursion region, for any non-zero threshold \(u \ne 0\). In other words, at high values of \(\ell \), knowledge of any of these quantities for a given sample yields the full information on the behaviour of all the others for the same sample, up to asymptotically negligible terms. (ii) From (1.9), it is convenient to note that
moreover, a simple application of Parseval’s identity yields
where \(\widehat{C}_{\ell }:=(2\ell +1)^{-1}\sum _{m=-\ell }^{\ell } |a_{\ell m}|^{2}\) is usually denoted the sample power spectrum. Roughly speaking, the boundary length is asymptotically proportional to the (random) square norm of the eigenfunctions: from this point of view, it is more natural to expect that it should not play a role in the behaviour of nodal lines, which are clearly invariant to scaling factors.
Note that (ii) in Remarks 1.2 and (1.11) immediately give a CLT for the normalized boundary length.
1.2 Main Result
The main result in this paper is the characterization of the correlation structure between the lengths of the nodal and nonzero level sets. To do so, it is important to recall the standard distinction between the classical correlation coefficient between two (finite-variance) random variables X, Y, which of course is given by
and the Partial Correlation Coefficient (conditional on the finite variance random variable Z), i.e.
where \({X^*},{Y^*}\) are the “residuals” after projecting X, Y on the “explanatory variable” Z, i.e. for a finite variance random variable W
As well known, \(\rho _{Z}(X,Y)\) admits a standard interpretation as a measure of the (linear) dependence between X and Y, after we got rid of the common components depending on Z. Our main result is obtained by taking X, Y to be the boundary lengths at different levels and \(Z=\left\| f_{\ell }\right\| _{L^{2}(\mathbb S^{2})}^{2}=4\pi \,\widehat{C}_{\ell }\) to be the random \(L^{2}\)-norm of the eigenfunctions \(f_{\ell }\):
Theorem 1.3
As \(\ell \rightarrow \infty ,\) for all \(u_{1}\ne 0\)
on the other hand,
Let us briefly explain the main ideas behind the proof of Theorem 1.3 (for further details see Sect. 2). First, we can interpret (1.6) and (1.11) as a Taylor-type expansion in \(L^2(\mathbb P)\) up to the order 4 and 2, respectively, of \(\widetilde{\mathcal L}_\ell (0)\) and \(\widetilde{\mathcal L}_\ell (u)\) for \(u\ne 0\); Equation 1.14 comes from the latter once recalling orthogonal properties [13, Remark 4.10] of Hermite polynomials (see Sect. 2.1). Removing the effect on \(\mathcal L_\ell (u)\) of the random \(L^2\)-norm of the eigenfunction makes (1.11) useless so we need a further term in the Taylor-type expansion of the boundary length (Propositions 2.3 and 2.4). It turns out that the leading term of the residual \(\widetilde{\mathcal L}_\ell (u)^*\) is “proportional” to the r.v. \(\mathcal M_\ell \) in (1.5) entailing (1.15).
As an easy corollary of Theorem 1.3, we obtain the following joint weak convergence results for the normalized boundary and nodal length. It suffices to recall (1.6) and (1.11), the orthogonality of Wiener chaoses Sect. 2.1 and joint convergence results in [22].
Corollary 1.4
As \(\ell \rightarrow \infty ,\) for all \(u\ne 0\)
where \((Z_{1},Z_{2})\) denotes a bivariate vector of standard, independent Gaussian variables.
Corollary 1.4 states that the limiting distribution of the nodal and boundary length (at non-zero level) is independent, in the limit for higher and higher eigenvalues. As motivated above, this result is substantially spurious, as it depends crucially on the dominant role played in the boundary length behaviour by the random norm of the eigenfunction. Taking the effect into account, the landscape changes entirely; indeed, consider the “regression residual”
which we again normalize by taking
We have then the next, fully degenerate, convergence result.
Corollary 1.5
As \(\ell \rightarrow \infty ,\) for all \(u\in \mathbb {R}\)
where Z denotes a standard Gaussian variable.
In short, boundary (nonzero level) and nodal length are asymptotically independent, meaning also that the nodal length carries no information on other functionals such as the excursion area, the Euler–Poincaré characteristic or the number of critical points above a given threshold (see Remark 1.2). This result, however, must be interpreted with great care: it is due to the dominant role played by the sample norm in the behaviour of excursion sets. When this effect is properly subtracted, the behaviour of length fluctuations at any level is fully explained by the nodal length, in the high-energy limit, and the joint distributions are completely degenerate. Thus, indeed the nodal lengths are asymptotically sufficient (in the high-energy limit) to characterize the measure of the boundary at any threshold level, provided that the effect of random fluctuations in the norm is properly taken into account. We refer to [10] for some numerical evidence on these and related issues.
We also note that the driving rationale behind these results is the “long-range” behaviour of the covariance function (1.2), as derived from Hilb’s asymptotics. We hence conjecture that similar results will hold for other models with similar covariance structure; for instance, we expect (partial) correlation to be asymptotically full between level curves of the Berry’s’ random wave model considered e.g. in [21, 27]. Likewise, we expect very similar or analogous results to hold when considering random linear finite combinations of harmonics in neighbouring eigenspaces; this would correspond to a “high frequency” perturbation of the covariance function, with no impact on the asymptotic results.
2 Outline of the Paper and Proof of the Main Result
The main ingredient behind our proofs is a neat series representation (chaotic decomposition) of the length and a consequent careful investigation of its chaotic components. In particular, as briefly anticipated, the results recalled in Sects. 1.1.1 and 1.1.2 can be interpreted in terms of Wiener-Itô theory. Let us first recall the notion of Wiener chaos, restricting ourselves to our specific setting on the sphere (see [20, §2.2] and the references therein for a complete discussion).
2.1 Wiener Chaos
Let us consider the sequence \(\{H_k\}_{k\in \mathbb N}\) of Hermite polynomials on \(\mathbb {R}\); these are defined as follows: \(H_0 \equiv 1\) and
where \(\phi (t):=(\sqrt{2\pi })^{-1}\exp (-t^2/2)\) denotes the standard Gaussian density on \(\mathbb R\). The family
is a complete orthonormal system in the space of functions \(L^2(\mathbb R, \mathcal B(\mathbb R), \phi (t)dt)=:L^2(\phi )\). Recall from Sect. 1.1 that the random variables \(\lbrace a_{\ell ,m},m=-\ell ,\dots ,\ell ,\ell \in \mathbb N^*\rbrace \) are defined on the probability space \((\Omega , \mathcal F, \mathbb P)\). Bearing in mind (1.1) and Remark 1.1, we define the space \({\mathcal X}\) to be the closure in \(L^2(\mathbb {P}):=L^2(\Omega , \mathcal F, \mathbb P)\) of all real finite linear combinations of random variables \(\xi \) of the form \(\xi = r \, a_{\ell ,0}\) for some \(r\in \mathbb R\) and \(\ell \in \mathbb N^*\) or for \(m\ne 0\) and some \(\ell \in \mathbb N^*\)
thus \({\mathcal X}\) is a real centred Gaussian Hilbert (closed) subspace of \(L^2(\mathbb {P})\). Note that the same space is generated also by the basis elements \(\{a_{\ell ,0},\mathcal {R}(a_{\ell ,m}),\mathcal {I}(a_{\ell ,m}), m=-\ell ,\dots ,\ell , \ell \in \mathbb N^*\}\). Let \(q\ge 0\) be an integer; we define the qth Wiener chaos \(C_q\) associated with \({\mathcal X}\) as the closure in \(L^2(\mathbb {P})\) of all real finite linear combinations of random variables of the type
where \(p_1,...,p_k \in \mathbb N\) are such that \(p_1+\cdots +p_k = q\), and \((\xi _1,...,\xi _k)\) is a standard real Gaussian vector extracted from \({\mathcal X}\); more explicitly the variables \(\xi _i, \text { } i=1,...,k\) are independent Gaussian with unit variance and zero mean. Note that, in particular, \(C_0 = \mathbb {R}\).
The orthonormality and completeness of \(\mathbb {H}\) in \(L^2(\phi )\), together with a standard monotone class argument [20, Theorem 2.2.4] imply that \(C_q \,\bot \, C_m\) in \(L^2(\mathbb {P})\) for every \(q\ne m\), and
that is, every square integrable real-valued functional F of \({\mathcal X}\) can be (uniquely) represented as a series, converging in \(L^2(\mathbb P)\), of the form
where \(\text {proj}[F| q]:=\mathrm{proj}(F \, | \, C_q)\) stands for the projection of F onto \(C_q\) (\(\text {proj}[F| 0]=\mathrm{proj}(F \, | \, C_0) = {\mathbb { E}}[F]\) since \(C_0=\mathbb R\)). From now on, we assume that \(\mathcal F=\sigma (\mathcal X)\), in particular, \(L^2(\Omega , \sigma (\mathcal X), \mathbb {P}) = L^2(\mathbb P)\).
2.2 Chaotic Expansions for Lengths
The perimeter of the boundary of excursion sets on the sphere can be (formally) written as
where \(\delta _u\) denotes the Dirac mass in u, \(\nabla f_\ell \) the gradient field and \(\Vert \cdot \Vert \) the Euclidean norm in \(\mathbb {R}^2\). Indeed, let us consider the \(\varepsilon \)-approximating random variable (\(\varepsilon >0\))
where \(1_{[u-\varepsilon , u+\varepsilon ]}\) denotes the indicator function of the interval \([u-\varepsilon , u+\varepsilon ]\). We have the following result whose proof is similar to the one given in the nodal case (for details see [19, Appendix B]), and hence omitted.
Lemma 2.1
For \(u\in \mathbb R\),
(cf. (1.3)) both a.s. and in \(L^2({\mathbb {P}})\).
Lemma 2.1 justifies (2.2). By a differentiation of (1.1) of \(f_\ell \), it is easy to see that the random eigenfunctions \(f_\ell \) and the components of \(\nabla f_\ell \), viewed as collections of Gaussian random variables indexed by \(x\in \mathbb S^2\), are all lying in \({\mathcal X}\); hence \(\mathcal L^\varepsilon _\ell (u), \mathcal L_\ell (u)\in L^2(\Omega , \sigma ({\mathcal X}), \mathbb {P})\).
From the chaotic expansion of \(\mathcal L_\ell ^\varepsilon (u)\), it is easy to obtain those of \(\mathcal L_\ell (u)\) by letting \(\varepsilon \) go to zero. In order to recall the chaotic expansion (2.1)
for \(\mathcal L_\ell ^\varepsilon (u)\), let us first write
where \(\widetilde{\nabla }\) is the normalized gradient, i.e. \(\widetilde{\nabla }:= \nabla / \sqrt{\frac{\ell (\ell +1)}{2}}\). (The variance of each component of \(\nabla f_\ell (x)\) is \(\ell (\ell +1)/2\).) Note that for each \(x\in \mathbb S^2\), the random variables \(f_\ell (x), \nabla f_\ell (x)\) are independent, and the components of \(\nabla f_\ell (x)\) are independent as well.
In [23, Proposition 7.2.2]—see [18, 19] for the nodal case—the terms of the series on the r.h.s. of (2.3) are explicitly given. Let us introduce now two sequences of real numbers \(\lbrace \beta ^\varepsilon _{k}(u)\rbrace _{k=0}^{+\infty }\) and \(\lbrace \alpha _{2n,2m}\rbrace _{n,m=0}^{+\infty }\) corresponding to the chaotic coefficients of the indicator function \(1_{[u-\varepsilon ,u+\varepsilon ]}(\cdot )/(2\varepsilon )\) and the Euclidean norm, respectively: for \(k=0, 1, 2, \dots \),
where \(\phi \) still denotes the standard Gaussian density, while for \(n,m=0, 1, 2, \dots \)
\(p_{N}\) denoting the swinging factorial coefficient
Note that, if \(u=0\), the coefficient \(\beta ^\varepsilon _{k}(0)=0\) (and hence \(\beta _k(0)=0\)) whenever k is odd.
Proposition 2.2
The chaotic expansion (2.1) of the approximate length is
where we use spherical coordinates (colatitude \(\theta ,\) longitude \(\varphi \)) and for \(x=(\theta _{x},\varphi _{x})\) we are using the notation
and the chaotic coefficients are as in (2.5) and (2.6). By letting \(\varepsilon \rightarrow 0\), we find
where the convergence of the above series is in \(L^2(\mathbb P)\).
Equations 2.7 and 2.8 are in some sense the major formulae of the article; all further proofs are obtained by estimating the various terms in this formulae. The proof of Proposition 2.2 is analogous to the one given in the nodal case (see [19, §2] and [23, Proposition 7.2.2]) and hence omitted; in short, Eq. 2.7 follows from the evaluation of the projection coefficients for any level \(u \in \mathbb {R}\), whereas in the previous references the computation was only considered for \(u = 0\); Eq. 2.8 follows from Eq. 2.7 and Lemma 2.1.
Recall now from Sect. 1.1 that \(\lambda _\ell = \ell (\ell +1)\). As it will be clearer later, it suffices to deal with the first few terms of the series in (2.8). For every \(u\in \mathbb R\), from (2.8), (2.6) and (2.5)
cf. (1.7),
since spherical harmonics have zero mean on the sphere, and thanks to Green formula (see [25, §4] )
that is, \(\mathcal D_\ell (u)\) (cf. (1.9)); notice that the right-hand side of (2.11) is identically equal to zero if and only if \(u=0\) (see also [19]). Obviously, if \(u=0\), the term \(\text {proj}[\mathcal {L}_{\ell }(0)|q]\) vanishes whenever q is odd.
We are in a position to make some more comments, comparing results recalled in Sects. 1.1.1 and 1.1.2, and the theory of chaotic decompositions exploited above: the leading term in the \(L^{2}(\mathbb P)\)-expansion of the boundary length around its expected value is provided by its orthogonal projection on the second-order Wiener chaos (2.11), rather than the fourth as in the nodal case (see (1.5) and (1.6), and compare with Proposition 2.4); the asymptotic variance of the second chaos is of order \(\ell \), as opposed to \(\log \ell \) for the fourth-order chaos (see e.g. [16, 19]), and hence, the variance of nonzero level curves is larger than in the nodal case (the Berry’s cancellation phenomenon, see [28]). Similar to the nodal length case (1.5), the projection (2.11) takes a very simple form, as the integral depends only on the (second power of the) random eigenfunction and not on its gradient.
2.3 Proof of the Main Result
In this paper, we complete the characterization of the chaos expansion for the boundary length of excursion sets, and indeed, we show the following results which are of independent interest.
Proposition 2.3
For all \(u\in \mathbb {R},\) as \(\ell \rightarrow \infty \)
Of course, the component in the series is orthogonal by construction, so the variance is just the sum of their variances; for \(u=0\), from Propositions 2.2 and 2.3, it gives an alternative proof for (1.4). Moreover we get, for \(u\ne 0\),
(cf. (1.8)). Let us set for notational simplicity
where
so that \(\mathcal M_\ell (0) = \mathcal M_\ell \) in (1.5). As remarked earlier, the asymptotic variance of \(\int _{\mathbb {S}^{2}}H_{4}(f_{\ell }(x))\hbox {d}x\) is known (see [16], Lemma 3.2); indeed, we have
and it is hence easy to show that, as \(\ell \rightarrow +\infty \),
Proposition 2.4
For all \(u\in \mathbb {R},\) as \(\ell \rightarrow \infty \),
Note that Proposition 2.4 generalizes results in [19], moreover implies that
Here we are also exploiting the fact that the terms \(\text {proj}[\mathcal L_\ell (u)| q]\) for \(q \ne 4\) are orthogonal to \(\mathcal M_\ell (u)\), which is an element of the fourth-order chaos. Applying Cauchy–Schwartz inequality to the l.h.s. of (2.14), thanks to orthogonality of Wiener chaoses Sect. 2.1, Propositions 2.3, (2.13) and (2.14), we have that, as \(\ell \rightarrow +\infty \),
so the contribution of the variance of \(\text {proj}[\mathcal L_\ell (u)|3] + \sum _{q=5}^{+\infty } \text {proj}[\mathcal L_\ell (u)| q]\) is negligible with respect to \(\mathrm{Var}\left( \text {proj}[\mathcal L_\ell (u)|4] \right) \), and moreover, we get the following.
Corollary 2.5
For all \(u\in \mathbb {R},\) as \(\ell \rightarrow \infty \)
The proofs of Propositions 2.3 and 2.4 are technical and will be given in the next sections. We are now ready to prove our main result.
Proof of Theorem 1.3
Let us consider \(u_1, u_2\in \mathbb R\); recall that
Assume first that \(u_1 \cdot u_2 \ne 0\), thanks to Propositions 2.2 and 2.3
where \(\mathrm{Var}(\mathcal R_\ell (u_i)) = O(\log \ell )\), as \(\ell \rightarrow +\infty \). We have
Let us bear in mind also (1.10), (2.12) and (2.16). Thanks to Cauchy–Schwartz inequality applied to the last two terms on the r.h.s. of (2.17), we find, as \(\ell \rightarrow +\infty \),
For the first term on the r.h.s. of (2.17), we have
where we used (1.9), (2.12) and standard properties of Legendre and Hermite polynomials. Now plugging (2.18) and (2.19) into (2.17), we get what we were looking for i.e. as \(\ell \rightarrow +\infty \),
For the nodal length we have, from (1.6) (see also Proposition 2.2 and Corollary 2.5)
where \(\mathcal M_\ell \) is as in (1.5) and \(\mathrm{Var}(\mathcal E_\ell ) = O(1)\) as \(\ell \rightarrow +\infty \). Repeating the same argument as for the proof of (2.20), from (2.21) and (2.16) we have, for \(u_1\ne 0\) and as \(\ell \rightarrow +\infty \),
which together with (2.20) gives (1.14).
Recall now (1.12) and (1.13), here \(Z=\Vert f_\ell \Vert ^2_{L^2(\mathbb S^2)}\). From Propositions 2.2, (2.11), (1.9) and Remark 1.2, we have, for every \(u\in \mathbb R\) and as \(\ell \rightarrow +\infty \),
Analogously to the proof of (2.20), from Propositions 2.3 and 2.4 we have, for \(u_1,u_2 \in \mathbb R\),
which proves (1.15). The proof of Theorem 1.3 is hence complete. \(\square \)
2.4 Discussion
It can be instructive to compare the results in this paper with other recent characterizations which have been given for the asymptotic distribution for the nodal length of random eigenfunctions in the non-spherical case. We recall first that a (non-universal) non-central limit theorem for arithmetic random waves, i.e. Gaussian Laplacian eigenfunctions on the standard two-dimensional flat torus \(\mathbb {T}^{2}:=\mathbb R^2/\mathbb Z^2,\) was established in [18]. To obtain this result, analogously to our discussion above the nodal length was decomposed into chaotic components (see Sect. 2.2). The expansion of nodal length in the toroidal and spherical cases has both analogies and important differences. In both cases, the term corresponding to \(q=2\) disappears at \(u=0,\) thus entailing that the variance becomes of lower order (the so-called Berry’s cancellation phenomenon). Likewise, in both cases the nodal length is dominated by the fourth-order chaos: however, it is only in the spherical case that the fourth-order term admits an expression depending on the field only (and not on the gradient components). Because of this, we do not expect that taking into account the random norm behaviour will be enough to establish full correlation between nodal length and boundary curves (it could be the case that a degeneracy occurs when a sufficient number of different levels is considered).
Similar cancellation phenomena occur for other geometric functionals, including the excursion area and the Defect ([15,16,17, 24], which cover any dimension \(d\ge 2\)), the Euler–Poincaré characteristic [4] and the zeros of complex arithmetic random waves [8]; quantitative central limit theorems have been given on the sphere in [4, 15,16,17] for many of these statistics, in the high-energy limit where \(\ell \rightarrow \infty .\) On the torus, the asymptotic behaviour has been shown to be more complicated, because it is non-Gaussian and differs across different subsequences as the eigenvalue diverges (see [8, 18]).
3 Proof of Proposition 2.3
Let us bear in mind Proposition 2.2. For \(q\ge 0, q\ne 2\) we set
These two functions can be viewed as the qth order component in the integrand of the chaos expansion given in the proposition; they are both polynomial functions in \(f_{\ell }\) and its first-order derivatives, and they depend on the parameter u (although we do not take this into account to simplify our notation, this does not affect the discussion to follow).
Concerning second chaotic components, thanks to Green’s formula (for details see again [23, 25]), we can write
(note that \(\text {proj}[\mathcal L_\ell (u) |2] = \mathcal D_\ell (u)\) in (1.9)). Let us hence set
and finally
where the second equality is just formal; by this we mean that the first series converges in \(L^2(\mathbb {P})\) for every fixed x, while the second does not. Before we proceed, we need to introduce some more notation: let us fix \(\overline{x} = (0,0)\) to be the “north pole” and \(y(\theta ) =(0,\theta )\) to be points on the meridian where \(\varphi =0\). We will split the proof of Proposition 2.3 into some lemmas.
Lemma 3.1
For \(C>0\) large enough
where the constant involved in the O-notation does not depend on \(\ell \).
Let us deal with the terms of the series on the r.h.s. of (3.1).
Lemma 3.2
For \(C>0\), we have
Lemma 3.3
For \(C>0\), we have
Lemma 3.4
For \(C>0\) large enough, we have
The proofs of Lemmas 3.2–3.4 are technical and will be given below; the proof of Lemma 3.1 is postponed to Appendix 3.1. Let us now prove Proposition 2.3.
Proof of Proposition 2.3
From (3.1), we have, thanks to Lemmas 3.2–3.4,
that immediately concludes the proof. \(\square \)
3.1 Moments of Legendre Polynomials
In order to prove Lemmas 3.2–3.4, we will need some estimates on moments of Legendre polynomials and their derivatives. Let us bear in mind [19, (A1)-(A6)].
Lemma 3.5
For any a, b, c, d nonnegative integers s.t. \(a+b+c+d\ge 3\) and \(C>0\), as \(\ell \rightarrow +\infty \), (\(L:=\ell +\frac{1}{2}\))
Proof
The proof relies on a precise asymptotic analysis of Legendre polynomials and their derivatives. From [28, Lemma B.3] (see also [6, §5.3]), we have, uniformly for \(C<\psi < L \pi /2\) \(\left( L:= \ell +1/2 \right) \),
Some manipulations of (3.9) give (also recalling that \(\psi = O(L)\))
Now plugging (3.10) into the l.h.s. of (3.8), using that for positive integer j
we get
which gives (3.8), the integral in the latter error term being convergent (recall in particular that \(a+b+c+d\ge 3\)). \(\square \)
We are now ready to state and prove the results we need for Lemmas 3.2 and 3.3.
Lemma 3.6
For any \(C>0\),
Proof
Lemma 3.5 entails that the asymptotic behaviour of the first four integrals (note the multiplicative factor \(\ell (\ell +1)/2\)) on the l.h.s. of (3.11) is given by (up to constants)
where \(a,c,d\in \lbrace 0,1,2\rbrace \) and \(a+c+d=3\). It remains to prove that, as \(\ell \rightarrow +\infty \),
This follows by integration by parts with the bounded function
indeed, for the l.h.s. of (3.12), as \(\ell \rightarrow +\infty \),
establishing (3.12). The last integral of (3.11) is simpler, actually by Lemma 3.5
The proof of Lemma 3.6 is hence complete. \(\square \)
Lemma 3.7
For any \(C>0\), as \(\ell \rightarrow +\infty \)
Proof
In order to investigate the first seven integrals on the l.h.s. of (3.13), we need to work with integrals of the type (cf. Lemma 3.5)
where \(a,c,d, \in \lbrace 0,1,2 \rbrace \) and \(a+c+d =4\), a and d have same parity (0 is even). We have
There are three possibilities:
Plugging (3.15) into (3.14), we prove the first seven equality in (3.13). Concerning the last four integrals, it is simpler to deal with them and the argument is basically the same as the one used in the proof of the last equality in (3.11).
\(\square \)
3.2 Proofs of Lemmas 3.2 and 3.3
Proof of Lemma 3.2
From (3.1) with \(q=3\), we have
A standard application of the Diagram Formula [13, Proposition 4.15] and [19, (A1)–(A6)]
where \(a_i(u)\), \(i=1,2, \dots , 5\) are constants depending on u (we do not need to compute them explicitly). It remains to prove that, as \(\ell \rightarrow +\infty \),
that immediately follows plugging (3.11) in (3.16). \(\square \)
To prove Lemma 3.3, we need to recall the following identities (coming from (2.6) and (2.5)):
Proof of Lemma 3.3
From (3.1) with \(q=4\), we have
Thanks again to Diagram Formula [13, Proposition 4.15], [19, (A1)–(A6)], and, in particular, recalling [28, (108), Appendix A], we get
Plugging (3.13) and (3.17) into (3.19) we get, as \(\ell \rightarrow +\infty \),
that allows to conclude the proof. \(\square \)
3.3 Proof of Lemma 3.4
This part is inspired by the proof of Lemma 3.5 in [8]. We will need the following estimate that is easy to check once recalling (3.10). As \(\ell \rightarrow +\infty \)
Proof of Lemma 3.4
This proof is similar to that of Lemma 3.1 in Appendix, for further details see the proof therein. For any \(C>0\),
\(\mathcal V(2a,2b,c,2a',2b',c') \) being the sum of no more than q! terms of the form
where \(m_1, \dots , m_4 \ge 0\) and \(m_1+m_2+m_3+m_4 = q\). Now for some \(0<\delta <1\) and C large enough (see the proof of Lemma 3.1 in Appendix),
Therefore, we have
The series on the r.h.s. of (3.23) being convergent, (3.20) applied in (3.23) allows to conclude the proof. \(\square \)
4 Proof of Proposition 2.4
Recall that \( L:= \ell + \frac{1}{2}, \) and set
We will need the following key result (inspired by Proposition 3.1 in [19]) whose proof is in Appendix.
Lemma 4.1
For any \(C>0\), uniformly over \(\ell \) we have, for \(0<\psi <C\),
and, for \(C<\psi < L\frac{\pi }{2}\),
where a(u) and b(u) are two (explicit) constants that depend on u.
Lemma 4.2
We have
Proof
By continuity of the inner product in \(L^{2}\) spaces, we have
Recall (3.4). Note that \( \sum _{q=3}^{+\infty } \Psi ^\varepsilon _\ell (\cdot ;q)\) and \(H_{4}(f_{\ell }(\cdot ))\) are both in \( L^{2}(\mathbb {S}^{2}\times \Omega )\) and they are isotropic (as we will see just below, we need isotropy to pass from a double integral over the sphere to an integral over the geodesic meridian), and thus,
The integrand \({\mathbb { E}}\left[ \Psi ^\varepsilon _\ell (\overline{x};4) H_{4}(f_{\ell }(y(\theta )))\right] \) can be computed explicitly, and it is easily seen to be absolutely bounded for fixed \(\ell \), uniformly over \( \varepsilon ,\) see Lemma 4.1. Hence, by Lebesgue theorem we may exchange the limit and the integral, and we have that
Performing the change of variable \(\psi = L\theta \), we can now write
\(\square \)
Proof of Proposition 2.4
It suffices to prove that, as \(\ell \rightarrow +\infty \),
(cf. (2.13) and Proposition 2.3). From Lemma 4.2 we can write, for any \(C>0\),
For the first summand in (4.4), we have, thanks to (4.1),
for the second summand in (4.4), using Lemma 4.1 (precisely (4.2)) and integrating, we obtain
giving (4.3). \(\square \)
References
Adler, R.J., Taylor, J.E.: Random Fields and Geometry, Springer Monographs in Mathematics. Springer, New York (2007)
Bérard, P.: Volume des Ensembles Nodaux des Fonctions Propres du Laplacien. Bony-Sjstrand-Meyer seminar, 1984–1985, Exp. No. 14 , 10 pp. École Polytech, Palaiseau (1985)
Cammarota, V., Marinucci, D., Wigman, I.: On the distribution of the critical values of random spherical harmonics. J. Geom. Anal. 4, 3252–3324 (2016)
Cammarota, V., Marinucci, D.: A quantitative central limit theorem for the Euler–Poincaré characteristic of random spherical eigenfunctions. Ann. Probab. 46(6), 3188–3228 (2018)
Cammarota, V., Marinucci, D.: A reduction principle for the critical values of random spherical harmonics. Stoch. Process. Appl. 130(4), 2433–2470 (2020)
Cammarota, V., Marinucci, D.: On the correlation of critical points and angular trispectrum for random spherical harmonics (2019). arXiv:1907.05810
Cammarota, V., Wigman, I.: Fluctuations of the total number of critical points of random spherical harmonics. Stoch. Process. Appl. 127(12), 3825–3869 (2017)
Dalmao, F., Nourdin, I., Peccati, G., Rossi, M.: Phase singularities in complex arithmetic random waves. Electron. J. Probab. 24(71), 1–45 (2019)
Donnelly, H., Fefferman, C.: Nodal sets of eigenfunctions on riemannian manifolds. Invent. Math. 93, 161–183 (1988)
Fantaye, Y., Cammarota, V., Marinucci, D., Todino, A.P.: A numerical investigation on the geometry of random spherical harmonics, high frequency (2019). arXiv:1902.06999
Imkeller, P., Pérez-Abreu, V., Vives, J.: Chaos expansions of double intersection local time of Brownian motion in \(\mathbb{R}^d\) and renormalization. Stoch. Process. Appl. 56(1), 1–34 (1995)
Logunov, A.: Nodal sets of laplace Eigenfunctions: proof of Nadirashvili’s conjecture and of the lower bound in Yau’s conjecture. Ann. Math. 187(1), 241–262 (2018)
Marinucci, D., Peccati, G.: Random Fields on the Sphere: Representations. London Mathematical Society Lecture Notes, Limit Theorems and Cosmological Applications, Cambridge University Press, Cambridge (2011)
Marinucci, D., Wigman, I.: The defect variance of random spherical harmonics. J. Phys. A Math. Theor. 44(35), 355206 (2011). (16pp)
Marinucci, D., Wigman, I.: On the area of excursion sets of spherical Gaussian eigenfunctions. J. Math. Phys. 52(9), 093301 (2011)
Marinucci, D., Wigman, I.: On nonlinear functionals of random spherical eigenfunctions. Commun. Math. Phys. 327(3), 849–872 (2014)
Marinucci, D., Rossi, M.: Stein–Malliavin approximations for nonlinear functionals of random eigenfunctions on \(S^{d}\). J. Funct. Anal. 268(8), 2379–2420 (2015)
Marinucci, D., Peccati, G., Rossi, M., Wigman, I.: Non-universality of nodal length distribution for arithmetic random waves. Geom. Funct. Anal. 3, 926–960 (2016)
Marinucci, D., Rossi, M., Wigman, I.: The asymptotic equivalence of the sample trispectrum and the nodal length for random spherical harmonics. Annales de l’Institut Henri Poincaré (B) Probab. Stat. 56(1), 374–390 (2020)
Nourdin, I., Peccati, G.: Normal Approximations Using Malliavin Calculus: From Stein’s Method to Universality. Cambridge University Press, Cambridge (2012)
Nourdin, I., Peccati, G., Rossi, M.: Nodal statistics of planar random waves. Commun. Math. Phys. 369(1), 99–151 (2019)
Peccati, G., Tudor, C.A.: Gaussian Limits for Vector-valued Multiple Stochastic Integrals. Séminaire de Probabilités. Lecture Notes in Mathematics, vol 1857. Springer, Berlin (2005)
Rossi, M.: The Geometry of Spherical Random Fields, Ph.D. Thesis, University of Rome Tor Vergata (2015). arXiv: 1603.07575
Rossi, M.: The defect of random hyperspherical harmonics. J. Theor. Probab. 32(4), 2135–2165 (2019)
Rossi, M.: Random nodal lengths and Wiener chaos. Probab. Methods Geom. Topol. Spect. Theory Contemp. Math. Ser. 739, 155–169 (2019)
Todino, A.P.: Nodal lengths in shrinking domains for random eigenfunctions on \(\mathbb{S}^2\). Bernoulli 26(4), 3081–3110 (2020)
Vidotto, A.: New probabilistic approximations for non linear functionals of random fields and random measures. PhD Thesis, University of Luxembourg (2018)
Wigman, I.: Fluctuation of the nodal length of random spherical harmonics. Commun. Math. Phys. 298(3), 787–831 (2010)
Wigman, I.: On the nodal lines of random and deterministic laplace eigenfunctions, spectral geometry. In: Proceedings of Symposia in Pure Mathematics, vol. 84, American Mathematical Society, Providence, RI, pp. 285–297 (2012)
Wigman, I.: On the distribution of the nodal sets of random spherical harmonics. J. Math. Phys. 50(1), 013521 (2009)
Yau, S.T.: Survey on partial differential equations in differential geometry; seminar on differential geometry. Ann. Math. Stud. 102, 3–71 (1982)
Acknowledgements
We are grateful to Igor Wigman for suggesting this question and related topics for research and for many insightful conversations. The authors would like to express their sincere gratitude to three anonymous referees whose comments and remarks greatly improved the quality of the present work. The research by DM was supported by the MIUR Excellence Department Project awarded to the Department of Mathematics, University of Rome Tor Vergata, CUP E83C18000100006; the research of MR was supported by the FSMP, the ANR-17-CE40-0008 project Unirandom and the PRA 2018 49 project at the University of Pisa.
Funding
Open access funding provided by Università degli Studi di Roma Tor Vergata within the CRUI-CARE Agreement.
Author information
Authors and Affiliations
Corresponding author
Additional information
Communicated by Stéphane Nonnenmacher.
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Appendices
Proof of Lemma 3.1
In the following proof, three important points are made: the mollification, the splitting of the integral and the control of the series in order to exchange series and integral.
Proof
From Proposition 2.2, we can write (recall in particular (3.3) and (3.4)), for every \(\varepsilon >0\),
where for the last equality we applied Fubini theorem, indeed recall (3.2) and (3.3) and that for every \(x\in \mathbb S^2\)
Thus, we have for (A.1), from the definition of \(\Psi ^\varepsilon _\ell \) in (3.4) and then by isotropy (that will allow us to pass from a double integral over the sphere to an integral over the geodesic meridian) and usual symmetry arguments [30],
Let us split the integral on the r.h.s. of (A.2) into two terms (\(C>0\) is an absolute constant)
We will separately investigate the two terms on the r.h.s. of (A.3). For the first one, we can write
where for \(x,y\in \mathbb S^2\), \(K^\varepsilon _\ell (x,y) := \mathbb E[\Psi ^\varepsilon _\ell (x)\Psi ^\varepsilon _\ell (y)]\) is the \(\varepsilon \)-approximation of the so-called two-point correlation function (see [30]): for \(x\ne y\)
\(p_{(f_\ell (x),f_\ell (y))}\) denoting the density of the Gaussian vector \({(f_\ell (x),f_\ell (y))}\). (Formally, \(K_\ell (x,y) = \mathbb E[\Psi _\ell (x)\Psi _\ell (y)]\).) We can use Lemma 3.4 so that
and then Corollary 3.5 in [30] entailing that
From (3.2), it is immediate to show that the integrand of the second term on the r.h.s. of (A.4) is \(O(\ell ^2)\) uniformly in \(\varepsilon \) and so
that together with (A.5) gives that the l.h.s. of (A.4) is O(1).
The second term on the r.h.s. of (A.3) is more delicate to deal with (we will show that we can exchange integral and series), as follows:
where \(\mathcal V(2a,2b,c,2a',2b',c') \) is the sum of no more than q! terms of the form
where \(m_1, \dots , m_4 \ge 0\) and \(m_1+m_2+m_3+m_4 = q\). Now let \(\delta >0\) such that \(\sqrt{1-\delta }< \frac{1}{5}\), then for large enough C, we have that the absolute value of each factor of the integrand in (3.22) is less than \(1-\delta \), see i.e. the expressions for \(P_{\ell }\), \(P'_{\ell },\) \(P''_{\ell }\) which are proved in [3], Lemma B3 and reported in [19], Appendix A. Hence, we can write from (A.6), taking into account (A.7),
for some \(c>0\). Repeating the same argument as in the proof of Lemma 3.5 in [8], we get
Indeed, note that the map
is bounded uniformly over \(\varepsilon \): see (2.6) and recall that there exists \(C>0\) s.t. for every \(k\in \mathbb N\) and \(u\in \mathbb R\) (see e.g. [11, Proposition 3])
immediately implying (see the definition of \(\beta ^\varepsilon _{\cdot }\) in (2.5)) that for every \(c\in \mathbb N\) and \(\varepsilon >0\)
We have just proved that
and moreover,
which is what we were looking for. \(\square \)
Proof of Lemma 4.1
The projection of the boundary length on the fourth-order chaos is
Let us set, for \(x\in \mathbb S^2\) and \(u\in \mathbb R\),
so that
Proof of Lemma 4.1
Repeating the same argument as in the proof of Proposition 3.1 in [19], we prove (4.1). For the computations to follow, recall that \(\overline{x} = (0,0)\) and \(y(\theta ) = (\theta , 0)\). It is sufficient to focus on the terms \(A_\ell \), \(B_\ell \) and \(C_\ell \), as in [19, Proposition 3.1] (see also (3.10) and Lemma 3.7). An application of Diagram formula [13, Proposition 4.15] gives
Analogously to the proof of Proposition 3.1 in [19], and recalling the change of variable \(\psi = L\theta \), from (3.10) we have
Likewise,
Finally,
Plugging (B.2), (B.3) and (B.4) all together, we find
as claimed. \(\square \)
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Marinucci, D., Rossi, M. On the Correlation Between Nodal and Nonzero Level Sets for Random Spherical Harmonics. Ann. Henri Poincaré 22, 275–307 (2021). https://doi.org/10.1007/s00023-020-00985-3
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00023-020-00985-3