Abstract
Given the ensemble of random Gaussian Laplace eigenfunctions on the three-dimensional torus (‘3d arithmetic random waves’), we investigate the one-dimensional Hausdorff measure of the nodal intersection curve against a compact regular toral surface (the ‘nodal intersection length’). The expected length is proportional to the square root of the eigenvalue, times the surface area, independent of the geometry. Our main finding is the leading asymptotic of the nodal intersection length variance, against a surface of non-vanishing Gauss–Kronecker curvature. The problem is closely related to the theory of lattice points on spheres: by the equidistribution of the lattice points, the variance asymptotic depends only on the geometry of the surface.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
1.1 Nodal Intersections for Laplace Eigenfunctions
The nodal set of a function is its zero-locus. Several recent works (e.g. [10, 18, 40]) studied the number of intersections between the nodal lines of eigenfunctions and a fixed reference curve (nodal intersections on ‘generic’ surfaces). It is expected that in many situations the nodal intersections number obeys the bound \(\ll \sqrt{E}\), where \(E>0\) is the eigenvalue.
On the three-dimensional standard flat torus \(\mathbb {T}^3=\mathbb {R}^3/\mathbb {Z}^3\), the nonzero Laplace eigenvalues, or energy levels, are of the form \(4\pi ^2 m\), \(m\in S^{(3)}\), where
Let
be the set of all lattice points on the sphere of radius \(\sqrt{m}\). The (complex-valued) Laplace eigenfunctions may be written as [5]
with \(c_\mu \) Fourier coefficients.
A natural number m is representable as a sum of three integer squares if and only if \(m\ne 4^l(8k+7)\), for k, l non-negative integers [14, 23]. The lattice points number, or equivalently the number of ways to express m as a sum of three squares will be denoted
Under the assumption \(m\not \equiv 0,4,7 \pmod 8\), one has
for all \(\epsilon >0\) [7, section 1]. The condition \(m\not \equiv 0,4,7 \pmod 8\), ensuring \(N_m\rightarrow \infty \), is natural [37, section 1.3]: indeed, if \(m\equiv 7 \pmod 8\), then \(m\not \in S^{(3)}\); on the other hand,
(see, e.g. [23, §20]); hence, it suffices to consider energies \(4\pi ^2 m\) for m taken up to multiples of 4 (see Sect. 4 for details).
It is known [11, 35] that the nodal set
is a union of smooth surfaces, possibly together with a set of lower dimension (curves and points). Let \(\Sigma \subset \mathbb {T}^3\) be a fixed smooth reference surface. Consider the intersection
in the limit \(m\rightarrow \infty \). Bourgain and Rudnick [5, 6] found that, for \(\Sigma \) real-analytic, with nowhere zero Gauss–Kronecker curvature, there exists \(m_\Sigma \) such that for every \(m\ge m_\Sigma \), the following hold:
-
the surface \(\Sigma \) is not contained in the nodal set of any eigenfunction \(G_m\) [5, Theorem 1.2];
-
the one-dimensional Hausdorff measure of the intersection has the upper bound
$$\begin{aligned} h_1(\mathcal {A}_{G_m} \cap \Sigma )<C_\Sigma \cdot \sqrt{m} \end{aligned}$$(1.3)for some constant \(C_\Sigma \) [6, Theorem 1.1];
-
for every eigenfunction \(G_m\),
$$\begin{aligned} \mathcal {A}_{G_m} \cap \Sigma \ne \emptyset \end{aligned}$$[6, Theorem 1.3].
1.2 Arithmetic Random Waves
We work with an ensemble of random Gaussian Laplace toral eigenfunctions (‘arithmetic random waves’ [26, 32, 35])
with eigenvalue \(4\pi ^2m\), where \(a_{\mu }\) are complex standard Gaussian random variablesFootnote 1 (i.e. we have \(\mathbb {E}[a_{\mu }]=0\) and \(\mathbb {E}[|a_{\mu }|^2]=1\)), independent save for the relations \(a_{-\mu }=\overline{a_{\mu }}\) (so that F(x) is real valued). Several recent works [3, 8, 30, 37] study the fine properties of the nodal set of (1.4). Our object of investigation is the following.
Definition 1.1
Let \(\Sigma \) be a fixed compact regularFootnote 2 toral surface, of (finite) area A. Assume that \(\Sigma \) admits a smooth normal vector locally. We define the nodal intersection length for arithmetic random waves
where \(h_1\) is one-dimensional Hausdorff measure.
We will study \(\mathcal {L}\) in the high energy limit \(m\rightarrow \infty \).
1.3 Prior Work on Nodal Intersections for Random Waves
Denote
the set of natural numbers expressible as a sum of d squares. For \(m\in S^{(d)}\), let
be the set of lattice points on the sphere (or circle for \(d=2\))
of cardinality \(N_m^{(d)}=|\mathcal {E}_m^{(d)}|\). Consider the ensemble of arithmetic random waves
defined on the d-dimensional torus \(\mathbb {T}^d=\mathbb {R}^d/\mathbb {Z}^d\), with eigenvalue \(4\pi ^2m\), and the \(a_\mu \)’s defined as in Sect. 1.2.
Fix a smooth reference curve \(\mathcal {C}\subset \mathbb {T}^d\) and consider the number of nodal intersections
as \(m\rightarrow \infty \). Rudnick and Wigman [36] and subsequently Rossi-Wigman [34] and the author [31] investigated \(\mathcal {Z}_{m}^{(2)}\). Rudnick et al. [37] and subsequently the author [30] studied the three-dimensional analogue \(\mathcal {Z}_{m}^{(3)}\). We may view the nodal intersection length \(\mathcal {L}_m\) as another three-dimensional analogue of \(\mathcal {Z}_{m}^{(2)}\): indeed, in both cases one considers nodal intersections against a linear manifold.
The expected number of nodal intersections against smooth curves \(\mathcal {C}\) of length L is [36, 37]
consistent with (1.3), independent of the geometry. Let \(d=2\): as \(m\rightarrow \infty \), the number of lattice points on \(\sqrt{m}\mathcal {S}^1\) satisfies
and \(N\rightarrow \infty \) for a density one sequence of energy levels. Let the curve \(\mathcal {C}\subset \mathbb {T}^2\) be smooth, of nowhere zero curvature, with arc-length parametrisation given by \(\gamma :[0,L]\rightarrow \mathcal {C}\). Rudnick-Wigman found the precise asymptotic behaviour [36, Theorem 1.2]
where
This asymptotic behaviour is non-universal: \(B_{\mathcal {C}}(\mathcal {E})\) depends both on \(\mathcal {C}\) and on the angular distribution of the lattice points on \(\sqrt{m}\mathcal {S}^1\), as \(m\rightarrow \infty \). A nice consequence of (1.8) and (1.9) is that the distribution of \(\mathcal {Z}\) is asymptotically concentrated at the mean value, i.e. for all \(\epsilon >0\),
The leading coefficient in (1.9) is always non-negative and bounded [36, sections 1 and 7]:
though it might vanish, for instance when \(\mathcal {C}\) is a circle, independent of \(\mathcal {E}\).
Rossi-Wigman [34] investigated the scenario of curves such that \(4B_{\mathcal {C}}(\mathcal {E})-L^2\) vanishes universally (‘static curves’). For a density one sequence of energies, the precise asymptotics of the variance in the case of static curves are [34, Theorem 1.3]
where \(A_{\mathcal {C}}(\mathcal {E})\) depends both on \(\mathcal {C}\) and on the limiting angular distribution of the lattice points. The leading term in (1.11) is bounded away from zero [34, Theorem 1.3].
1.4 Statement of Main Results
We now state our theorems on expectation and variance of the nodal intersection length (1.5).
Proposition 1.2
Let \(\Sigma \subset \mathbb {T}^3\) be a surface as in Definition 1.1, of area A. Then we have
The proof of Proposition 1.2 will be given in Sect. 2. Note that (1.12) is consistent with (1.3) and that (1.12) and (1.8) are of similar shape. In the statement of our next result, \(\overrightarrow{n}(\sigma )\) is the unit normal vector to \(\Sigma \) at the point \(\sigma \).
Theorem 1.3
Let \(\Sigma \subset \mathbb {T}^3\) be a surface as in Definition 1.1, of area A, with nowhere vanishing Gauss–Kronecker curvature. Define
Then we have as \(m\rightarrow \infty \), \(m\not \equiv 0,4,7 \pmod 8\),
Theorem 1.3 will be proven in Sect. 5. Compare the expressions (1.10) and (1.13): while the integral \(B_{\mathcal {C}}(\mathcal {E})\) depends on both the curve \(\mathcal {C}\subset \mathbb {T}^2\) and the angular distribution of lattice points on circles, the integral \(\mathcal {I}\) depends on \(\Sigma \subset \mathbb {T}^3\) only. This is because lattice points on spheres are equidistributedFootnote 3 (Linnik’s problem, see Sect. 4). Our next result concerns the analysis of the quantity \(\mathcal {I}\).
Proposition 1.4
Let \(\Sigma \subset \mathbb {T}^3\) be a surface as in Definition 1.1, of area A. The integral \(\mathcal {I}\) satisfies the sharp bounds
so that the leading coefficient of (1.14) is always non-negative and bounded:
Proposition 1.4 will be proven in Sect. 7. A computation shows that when \(\Sigma \) is a sphere or a hemisphere, the lower bound in (1.15) is achieved; hence, the leading term in (1.14) vanishes: in this case, the variance is of lower order than m / N (see Sect. 7 for details). As in the problem of nodal intersections against a curve on \(\mathbb {T}^2\) [36], the theoretical maximum of the variance leading term is achieved in the case of intersection with a manifold of identically zero curvature (straight lines in dimension 2, planes in dimension 3). As the case of \(\Sigma \) contained in a plane is excluded by the assumptions of Theorem 1.3, the upper bound of \(A^2\cdot \pi ^2/30\) for the leading coefficient in (1.14) is a supremum rather than a maximum, as in [36] (see Sect. 7).
Similarly to [36, 37], the above results on expectation and variance have the following consequence.
Theorem 1.5
Let \(\Sigma \subset \mathbb {T}^3\) be a surface as in Definition 1.1, of area A, with nowhere vanishing Gauss–Kronecker curvature. Then the nodal intersection length \(\mathcal {L}\) satisfies, for all \(\epsilon >0\),
Proof
Apply the Chebyshev–Markov inequality together with (1.12) and (1.14). \(\square \)
1.5 Outline of the Proofs and Plan of the Paper
Throughout we apply many ideas of [26, 35,36,37]. The arithmetic random wave \(F^{(d)}:\mathbb {T}^d\rightarrow \mathbb {R}\) (1.6) is a random field. The number of nodal intersections \(\mathcal {Z}^{(d)}\) (1.7) against a curve is the zeros of a process, which is the restriction of the random wave F to the curve [34, 36, 37]. For a smooth process \(p:T\rightarrow \mathbb {R}\) defined on an appropriate parameter set \(T\subset \mathbb {R}\), moments of the number of zeros may be computed, under certain assumptions, via Kac–Rice formulas [2, 13].
More generally, given a smooth random field \(P:T\subset _{\text {open}}\mathbb {R}^n\rightarrow \mathbb {R}^{n'}\), let \(\mathcal {V}\) be the Hausdorff measure of its zero set. When \(n-n'=0\), \(\mathcal {V}\) is the number of zeros; when \(n-n'=1\), \(\mathcal {V}\) is the nodal length of P; when \(n-n'=2\), \(\mathcal {V}\) is the nodal area, and so forth. Only the case \(n\ge n'\) is interesting, since otherwise the zero set of P is almost surelyFootnote 4 empty. One may compute, under appropriate assumptions, the moments of \(\mathcal {V}\) by means of Kac–Rice formulas [2, Theorems 6.2, 6.3, 6.8 and 6.9]. The latter formulas, however, are not applicable to our problem, as the following example illustrates.
Example 1.6
Assume that the surface \(\Sigma \subset \mathbb {T}^3\) is the graph of a differentiable function, in the sense that it admits everywhere the parametrisation
with \(h\in C^2(U)\). We restrict F to \(\Sigma \) and obtain the random field \(f:U\subset \mathbb {R}^2\rightarrow \mathbb {R}\),
The zero line of f is not necessarily (isometric to) the nodal intersection curve \(\{x\in \mathbb {T}^3 : F(x)=0\}\): rather, it is isometric to the projection of the nodal intersection curve onto the domain U of the parametrisation \(\gamma \). Therefore, the application of Kac–Rice formulas for f yields the moments of the length of the projected curve (see [2, Theorem 11.3]), not of the intersection curve itself: this is in marked contrast to what happens in the case of the nodal intersections number [34, 36, 37].
Our approach to the problem begins with the derivation of Kac–Rice formulas for a random field defined on a surface, which is done in Sect. 2 (also see [28, Theorem 5.3] and [29, Theorems 4.1 and 4.4]). Applying the Kac–Rice formula for the expectation (Proposition 2.4 to follow), we will prove Proposition 1.2.
For the nodal intersection length variance, we apply Proposition 2.7 and subsequently reduce our problem to estimating the second moment of the covariance function
and of its first- and second-order derivatives. We thus develop an approximate Kac–Rice formula. To state it, we need some extra notation: first, \(M:=4\pi ^2m/3\). Moreover, \(X,X',Y,Y'(\sigma ,\sigma ')\) are appropriate \(2\times 2\) matrices, depending on r, its derivatives, and the surface \(\Sigma \) (see Definition 3.3).
Proposition 1.7
(Approximate Kac–Rice formula). Let \(\Sigma \subset \mathbb {T}^3\) be a surface as in Definition 1.1, with nowhere vanishing Gauss–Kronecker curvature. Then we have
The proof of this result takes up the whole of Sect. 3. Our problem of computing the nodal intersection length variance (1.14) is thus reduced to estimating the second moment of the covariance function r (1.17) and of its various first- and second-order derivatives, which is carried out in Sect. 5. The error term in Proposition 1.7 comes from bounding the fourth moment of r and of its derivatives: this is done in Sect. 6. To study the second and fourth moments of r, one needs to understand various properties of the lattice point set \(\mathcal {E}\) (1.1), covered in Sect. 4. In Sect. 7, we study the leading term of the nodal intersection length variance (1.14) and establish Proposition 1.4. “Appendix A” is dedicated to proving several auxiliary lemmas.
1.6 Future Directions
As discussed in Sect. 1.3, for the problem of nodal intersections against a curve in two dimensions, Rossi and Wigman [34] investigated the case of static curves and found the precise asymptotic behaviour of the variance, for a density one sequence of energies. It would be interesting to find, if any exist, families of ‘static surfaces’ (other than spheres and hemispheres) satisfying
and study the variance asymptotics for these.
In the setting of higher-dimensional standard flat tori \(\mathbb {T}^d\) for \(d\ge 4\), to the best of our knowledge the only result available in the literature is the expectation (1.8). Higher dimensions and intersections against higher-dimensional toral submanifolds are likely to be interesting problems at the interface of number theory and geometry.
2 Kac–Rice Formulas for Random Fields Defined on a Surface
2.1 Background
Consider a random field P defined on a parameter set \(T\subset _{\text {open}}\mathbb {R}^n\) and taking values in \(\mathbb {R}\).Footnote 5 We always assume that the P(t), called the realisations or sample paths of our random field, are almost surely continuous in t. A random field \(P=(P_t)_t\), \(t\in T\), is Gaussian if, for all \(k=1,2\ldots \) and every \(t_1,\ldots ,t_k\in T\), the random vectors
called finite-dimensional distributions of P, are multivariate Gaussian. A centred (i.e. mean 0) Gaussian field may be completely described by its covariance function (see Kolmogorov’s theorem [13, section 3.3] or [2, section 1.2]).
The arithmetic random wave (1.4) is a centred Gaussian stationary random field, in the sense that its covariance function
depends on the difference \(x-y\) only. The restriction of F to \(\Sigma \)
is a centred Gaussian random field, with unit variance and covariance function
As mentioned in Sect. 1.5, for a processp (i.e. a random field with a one-dimensional parameter set) satisfying appropriate assumptions, moments of the number of zeros may be computed via Kac–Rice formulas [1, 2, 13]. More generally, for a random field defined on \(\mathbb {R}^n\), there exist under certain conditions Kac–Rice formulas computing the moments of the Hausdorff measure \(h_{n-1}\) of its (\(n-1\)-dimensional) zero set [2, Chapter 6] [9, Section 3]. For a real-valued random field \(P:\Sigma \rightarrow \mathbb {R}\) defined on a smooth surface\(\Sigma \), consider its nodal length,
The formulas of [2] are not applicable to this case, since in particular \(\Sigma \) is not a set of full measure in \(\mathbb {R}^3\) (also recall Example 1.6). Given a random field \(\mathcal {X}:\mathbb {R}^3\rightarrow \mathbb {R}\) and a surface \(\Sigma \subset \mathbb {R}^3\) satisfying appropriate assumptions, we derive Kac–Rice formulas for the first and second moments of the nodal length of \(P=\left. \mathcal {X}\right| _\Sigma \) (also see [28, Theorem 5.3] and [29, Theorems 4.1 and 4.4]).
2.2 Co-area Formula
Firstly, we require a general (i.e. concerning manifolds) version of the co-area formula.
Proposition 2.1
(General co-area formula [21, Theorem 3.1]). Let X and Y be separable \(C^1\)-smooth Riemannian manifolds with
and \(\varphi :X\rightarrow Y\) be a Lipschitz map. We denote \(J\varphi \) the JacobianFootnote 6 of \(\varphi \). Then
whenever B is an \(h_n\)-measurable subset of X, and consequently
whenever g is an \(h_n\)-integrable function on X.
Next we require the definition of surface gradient. For a differentiable map \(\psi :\mathbb {R}^3\rightarrow \mathbb {R}\) and a point \(x\in \mathbb {R}^3\), we employ the standard notation
for the gradient of \(\psi \) in \(\mathbb {R}^3\).
Definition 2.2
Fix a surface \(\Sigma \subset \mathbb {R}^3\) as in Definition 1.1. For every point \(\sigma \in \Sigma \), denote \(T_\sigma (\Sigma )\) the tangent plane to the surface at \(\sigma \). Given a differentiable map \(G:\mathbb {R}^3\rightarrow \mathbb {R}\), consider its restriction to \(\Sigma \). At each point \(\sigma \in \Sigma \), we define the surface gradient
projection of \(\nabla G(\sigma )\) onto \(T_\sigma \Sigma \).
The surface gradient gives the direction of maximal variation of G at \(\sigma \) (for further details, see, e.g. [1, chapter 7] or [15, section 2.5]). We record that \(JG(\sigma )=|\nabla _\Sigma G(\sigma )|\).
Proposition 2.3
(Deterministic nodal length). Let \(\Sigma \subset \mathbb {R}^3\) be a surface as in Definition 1.1 and \(G:\Sigma \rightarrow \mathbb {R}\) be a smooth map satisfying \(G(\sigma )=0 \Rightarrow \nabla _{\Sigma } G(\sigma )\ne 0\) for every \(\sigma \in \Sigma \). Denote
the zero-length of G, where \(h_1\) is Hausdorff measure. Then we have
with
where \(\chi \) is the indicator function of the interval \([-1,1]\).
We defer the proof of Proposition 2.3 to “Appendix A”.
2.3 Kac–Rice for the Expectation
Proposition 2.4
(Kac–Rice for the expected length). Let \(\mathcal {X}:\mathbb {R}^3\rightarrow \mathbb {R}\) be a Gaussian random field having \(C^1\) paths, and \(\Sigma \subset \mathbb {R}^3\) a surface as in Definition 1.1. Define \(\mathcal {L}(\mathcal {X},\Sigma )\) and \(\mathcal {L}_\epsilon (\mathcal {X},\Sigma )\) as in (2.2) and (2.4), respectively. Suppose that, for all \(\sigma \in \Sigma \), the distribution of the random variable \(\mathcal {X}(\sigma )\) is non-degenerate. Moreover, assume that \(\mathcal {L}_\epsilon \) is uniformly bounded and that for every \(\sigma \in \Sigma \), the quantity
is bounded as a function of \(\sigma \) uniformly in \(\epsilon \). Then, we have
where \(K_{1;\Sigma }:\Sigma \rightarrow \mathbb {R}\),
and \(\phi _{\mathcal {X}(\sigma )}\) is the probability density function of the random variable \(\mathcal {X}(\sigma )\).
Proof
We follow [35, Proposition 4.1]. By Ylvisaker’s theorem [2, Theorem 1.21], one has
We take expectations on both sides of (2.3):
As \(\mathcal {L}_\epsilon \) is uniformly bounded by assumption, we may apply the dominated convergence theorem:
By Fubini’s theorem,
By assumption, the quantity (2.5) is bounded as a function of \(\sigma \) uniformly in \(\epsilon \); hence, we may apply the dominated convergence theorem to exchange the order of the limit and the integral over \(\Sigma \):
Via dominated convergence as \(\epsilon \rightarrow 0\),
hence (2.6). \(\square \)
Let us compare the quantity \(K_{1;\Sigma }\) (2.7) to the zero density function (or first intensity) \(K_1:\mathbb {R}^3\rightarrow \mathbb {R}\),
of the random field \(\mathcal {X}:\mathbb {R}^3\rightarrow \mathbb {R}\): the zero density function has the gradient \(\nabla \) of \(\mathbb {R}^3\), in place of the surface gradient \(\nabla _\Sigma \), in its definition. We will call \(K_{1;\Sigma }\) the ‘zero density of \(\left. \mathcal {X}\right| _\Sigma \)’, as a generalisation of \(K_1\) to random fields defined on a manifold.
2.4 The Proof of Proposition 1.2
Recall the expression of the arithmetic random wave F (1.4). The following lemma, that will be proven in “Appendix A”, shows that F satisfies one of the hypotheses of Proposition 2.4.
Lemma 2.5
Let \(F=F_m\) be an arithmetic random wave, and \(\Sigma \subset \mathbb {T}^3\) a surface as in Definition 1.1. Then we have
with \(\mathcal {L}_\epsilon \) as in (2.4).
We now compute the zero density \(K_{1;\Sigma }\) for arithmetic random waves.
Lemma 2.6
Given the random field \(\mathcal {X}=F\), define the function \(K_{1;\Sigma }\) as in (2.7). Then we have
Before proving Lemma 2.6, we will complete the proof of Proposition 1.2.
Proof of Proposition 1.2
We need to show that the hypotheses of Proposition 2.4 hold for the random field \(\mathcal {X}=F\). First, the non-degeneracy condition is met, as F is unit variance. The boundedness of \(\mathcal {L}_\epsilon (F,\Sigma )\) is shown in Lemma 2.5.
Since the quantity
is bounded as a function of \(\sigma \) independent of \(\epsilon \) [35, proof of Proposition 4.1] and since, clearly, \(|\nabla _{\Sigma }F(\sigma )|\le |\nabla F(\sigma )|\), we also obtain the boundedness of
in \(\sigma \) independent of \(\epsilon \). Substituting the expression (2.8) of the zero density \(K_{1;\Sigma }\) into (2.6) yields
\(\square \)
Proof of Lemma 2.6
We write the zero density function (2.7) for the Gaussian field F:
Define the vector field
Since \(F(\sigma )\) and \(a(\sigma )\) are independent (as F has unit variance), we may rewrite (2.9) as
One has \(\nabla F(x)\sim \mathcal {N}(0,MI_3)\) for each \(x\in \mathbb {T}^3\) [35, (4.1)]. Since at each \(\sigma \) the surface gradient a is the projection of \(\nabla F\) onto \(T_\sigma \Sigma \) (see Definition 2.2), one has
so that universally
\(\square \)
2.5 Kac–Rice for the Second Moment
Proposition 2.7
(Kac–Rice for the second moment). Let \(\mathcal {X}:\mathbb {R}^3\rightarrow \mathbb {R}\) be a Gaussian random field having \(C^1\) paths, and \(\Sigma \subset \mathbb {R}^3\) a surface as in Definition 1.1. Define \(\mathcal {L}(\mathcal {X},\Sigma )\) and \(\mathcal {L}_\epsilon (\mathcal {X},\Sigma )\) as in (2.2) and (2.4), respectively. Assume that \(\mathcal {L}_\epsilon \) is uniformly bounded and that for almost all \(\sigma ,\sigma '\in \Sigma \), the quantity
is bounded uniformly in \(\epsilon _1,\epsilon _2\). Suppose further that for almost all \(\sigma ,\sigma '\in \Sigma \), the distribution of the random vector
is non-degenerate. Then we have
where \(\tilde{K}_{2;\Sigma }:\Sigma \times \Sigma \rightarrow \mathbb {R}\),
and \(\phi _{\mathcal {X}(\sigma ),\mathcal {X}(\sigma ')}\) is the joint probability density function of the random vector \((\mathcal {X}(\sigma ),\mathcal {X}(\sigma '))\).
Proof
We follow [35, Proposition 5.2]. By Ylvisaker’s theorem [2, Theorem 1.21], one has
Therefore (recall (2.4)),
As \(\mathcal {L}_\epsilon \) is uniformly bounded by assumption, we may apply the dominated convergence theorem:
By Fubini’s theorem,
Next, we exchange the order of taking the limit and the integration over \(\Sigma ^2\), using the boundedness of (2.11) uniformly in \(\epsilon _1,\epsilon _2\) together with the dominated convergence theorem: an upper bound for almost all \(\sigma ,\sigma '\) is sufficient, as changing the values of a function on a set of measure zero has no impact on integrability or value of the integral of the function. Finally, as
we obtain
as claimed. \(\square \)
The quantity \(\tilde{K}_{2;\Sigma }\) (2.12) will be called the ‘two-point correlation function of \(\left. \mathcal {X}\right| _\Sigma \)’, as a generalisation of the two-point function or second intensity\(\tilde{K_2}:\mathbb {R}^3\times \mathbb {R}^3\rightarrow \mathbb {R}\),
to random fields defined on a manifold.
Proposition 2.7 is a Kac–Rice formula for the usual second moment and not for the factorial second moment. This is consistent with Kac–Rice formulas for random fields defined on \(\mathbb {R}^n\) [2, p. 134], as may be seen, for instance, by comparing [2, Theorem 6.3] with [2, Theorem 6.9].
3 Approximate Kac–Rice Formula: Proof of Proposition 1.7
In the present section, we establish the approximate Kac–Rice formula of Proposition 1.7. We will require a few technical lemmas: the proof of these is deferred to “Appendix A”.
3.1 An Expression for the (Scaled) Two-Point Correlation Function \(K_{2;\Sigma }\)
Recall our notation (2.10)
for the surface gradient and let \(a'=a(\sigma ')\). One has
where \(\overrightarrow{n}=(n_1,n_2,n_3)\) is the unit normal to the surface at the point \(\sigma \). At least one coordinate of \(\overrightarrow{n}\), w.l.o.g. \(n_3\), is nonzero hence
We may thus write
In order to rewrite (3.2) in a more convenient way, we will need some extra notation. Bearing in mind (3.1), the covariance matrix of a is given by \(M\cdot \Omega \), where \(M=4\pi ^2m/3\) and
We will denote \(\Omega '=\Omega (\sigma ')\). Recall the expression (2.1) for the covariance function r.
Definition 3.1
Define the row vector
where for \(j=1,2,3\) we have computed the partial derivatives
Let
be the (symmetric) Hessian matrix of r. We also define the matrix
Note that
and that \(H(\sigma ',\sigma )=H(\sigma ,\sigma ')\).
Lemma 3.2
The covariance matrix \(\Phi \) of the Gaussian random vector
is given by
where \(M=4\pi ^2 m/3\), \(\Omega \) is given by (3.3), and D, H, L are as in Definition 3.1.
The proof of Lemma 3.2 will be given in “Appendix A”. For \(r(\sigma ,\sigma ')\ne \pm 1\), we may apply [2, Proposition 1.2] to rewrite (3.2) as
where \(\tilde{W}\sim \mathcal {N}(0,\tilde{\Theta })\) and \(\tilde{\Theta }\) is the reduced covariance matrix
We rescale the random Gaussian vector \(\tilde{W}\) as \(W:=\frac{1}{\sqrt{M}}\tilde{W}\). It follows that
(having defined the scaled two-point function \(K_{2;\Sigma }\)), where \(W\sim \mathcal {N}(0,\Theta )\), and \(\Theta \) is the scaled covariance matrix
One has
the upper left \(2\times 2\) block of \(\Omega \). We may find a square rootQ of \((L^T\Omega L)^{-1}\), i.e. a matrix satisfying
For instance, we may take explicitly
Define the Gaussian random vector
with the shorthand \(Q':=Q(\sigma ')\). We obtain
where
and \(\hat{\Theta }\) is the covariance matrix
Definition 3.3
Let \(X,Y,X',Y'\) be the following \(2\times 2\) matrices:
where \(\Omega \) is given by (3.3), D, H, L are as in Definition 3.1, Q is given by (3.6), and \(Q'=Q(\sigma ')\).
We may now rewrite
We have established the following result.
Lemma 3.4
The (scaled) 2-point correlation function has the expression
where
and \(\hat{\Theta }\) is given by (3.7).
3.2 Asymptotics for \(K_{2;\Sigma }\)
We will need the following lemma, to be proven in “Appendix A”.
Lemma 3.5
The entries of \(X,X',Y,Y'\) are uniformly bounded (with respect to \(\sigma ,\sigma '\)):
To write an asymptotic expression for the scaled two-point function, we need the Taylor expansion of a perturbed \(4\times 4\) standard Gaussian matrix
to the second order. The case where \(X'=X\) and \(Y'=Y\), to the fourth order, was treated in [26, Lemma 5.1] (\(4\times 4\) matrix) and [3, Lemma 5.8] (\(6\times 6\)). In [3, 26], the expansion up to order four is needed in light of a cancellation phenomenon known as ‘arithmetic Berry cancellation’; in this work, we need only an expansion to order two.
Lemma 3.6
Suppose
where
is positive definite with real entries, and the \(2\times 2\) blocks \(X,X',Y,Y'\) are symmetric. Then
The proof of Lemma 3.6 will be given in “Appendix A”. Assuming it, we obtain the following asymptotic for the scaled two-point function \(K_{2;\Sigma }\).
Proposition 3.7
For \(\sigma ,\sigma '\) such that \(r(\sigma ,\sigma ')\) is bounded away from \(\pm 1\), we have the following asymptotic for the (scaled) two-point correlation function:
with \(X,X',Y,Y'\) as in Definition 3.3.Footnote 7
Proof
By assumption, \(r(\sigma ,\sigma ')\) is bounded away from \(\pm 1\); hence, \(\frac{1}{\sqrt{1-r^2}}=1+\frac{1}{2}r^2+O(r^4)\). We apply Lemma 3.6 to expand the precise expression of the two-point function given by Lemma 3.4:
hence the result of the present proposition. \(\square \)
3.3 Statement of Further Auxiliary Lemmas
The present section is dedicated to stating lemmas needed to prove Proposition 1.7. The proofs of the lemmas will follow in Sect. 6.
Lemma 3.8
For \(k\ge 0\), we define the k-th moment of the covariance function r (2.1) on the surface \(\Sigma \),
Assume \(\Sigma \) is of nowhere zero Gauss–Kronecker curvature. Then, for every \(\epsilon >0\) we have the upper bound
The proof of Lemma 3.8 will be given in Sect. 6.
Lemma 3.9
We have the following upper bounds:
The proof of Lemma 3.9 will be given in Sect. 6.
3.4 The Proof of Proposition 1.7
We claim that the hypotheses of Kac–Rice (Proposition 2.7) hold. The non-degeneracy condition is met since
for almost all \(\sigma ,\sigma '\in \Sigma \). Moreover, by Lemma 2.5, one has the uniform bound
Thanks to [35, Lemma 5.3] and the fact that \(|\nabla _{\Sigma }F(\sigma )|\le |\nabla F(\sigma )|\), one has for almost all \(\sigma ,\sigma '\in \Sigma \),
where the implied constant is independent of \(\epsilon _1,\epsilon _2\). Therefore, one may exchange the order of taking the limit and the integration over \(\Sigma ^2\) in Proposition 2.7. The hypotheses of Kac–Rice are thus all verified; hence,
We will show that Proposition 3.7 applies ‘almost everywhere’ in the sense that r is small outside of a small set. Since the surface \(\Sigma \) is compact and regular, one may write
where \(\gamma _q:U_q\subset \mathbb {R}^2\rightarrow \Sigma \), \(1\le q\le Q\), are finitely many parametrisations as in (1.16), and the union is disjoint save for boundary overlaps. These overlaps are a finite union of smooth curves possibly together with a set of points; therefore, the intersection with
is a.s. a finite set of points [37, Theorem 1.4].
For each q, consider the smallest rectangle \(\overline{U}_q\supseteq U_q\) with sides parallel to the coordinate axes of \(\mathbb {R}^2\). Partition (with boundary overlaps) \(\overline{U}_q\) into small squares \(\overline{U}_{q,p}\) of side length \(\delta =c_0/\sqrt{m}\) for some small \(c_0>0\). This means \(U_q\) is the disjoint union (with boundary overlaps) of the \(U_q\cap \overline{U}_{q,p}=:U_{q,p}\). Each \(\gamma _q\) is bijective; thus, each \(\Sigma _q\) is the disjoint union of the \(\Sigma _{q,p}:=\gamma _q(U_{q,p})\).
To simplify the notation, we re-label the indices q, p to a single index i and write \(\Sigma =\cup _i\Sigma _i\). The set \(\Sigma \times \Sigma \) is thus partitioned (with boundary overlaps) into regions \(\Sigma _i\times \Sigma _j=:V_{i,j}\).
Definition 3.10
We say the region \(V_{i,j}\) is singular if there are points \(\sigma \in \Sigma _i\) and \(\sigma '\in \Sigma _j\) s.t. \(|r(\sigma ,\sigma ')|>1/2\). The union of all singular regions is the singular setS.
Lemma 3.11
The measure of the singular set satisfies for every \(k\ge 0\) the following upper bound:
where \(\mathcal {R}_k(m)\) is the k-th moment (3.9) of the covariance function r on the surface \(\Sigma \).
Proof
As \(r/\sqrt{m}\) is a Lipschitz function, with constant independent of m, then for each singular region \(V_{i,j}=\Sigma _i\times \Sigma _j\)
everywhere on \(V_{i,j}\), provided \(c_0\) is chosen sufficiently small. An application of the Chebyshev–Markov inequality now yields the statement of the present lemma. \(\square \)
Outside of S Proposition 3.7 applies so that we may rewrite (3.11) as
To control the third summand in (3.12), we state the following auxiliary result.
Lemma 3.12
We have the bound
The proof of Lemma 3.12 will follow in “Appendix A”. By Lemmas 3.8, 3.9, and 3.12, we may rewrite (3.12) as
Changing the domain of integration to \(\Sigma ^2\) carries an error of \(m\cdot \mathcal {R}_4(m)\) thanks to Lemmas 3.5 and 3.11. Subtracting the expectation squared (Proposition 1.2) completes the proof of the approximate Kac–Rice formula Proposition 1.7.
4 Lattice Points on Spheres
4.1 Background
To estimate the second and fourth moments of the covariance function r and of its derivatives (in Sects. 5 and 6, respectively), we will need several considerations on lattice points on spheres \(\sqrt{m}\mathcal {S}^2\). An integer m is representable as a sum of three squares if and only if it is not of the form \(4^l(8k+7)\), for k, l non-negative integers [14, 23]. The total number of lattice points \(N_m=r_3(m)\) oscillates: it is unbounded but vanishes for arbitrarily large m. We have the upper bound [7, section 1]
The condition \(m\not \equiv 0,4,7 \pmod 8\) is equivalent to the existence of primitive lattice points \((\mu ^{(1)},\mu ^{(2)},\mu ^{(3)})\), meaning \(\mu ^{(1)},\mu ^{(2)},\mu ^{(3)}\) are coprime (see, e.g. [7, section 1] and [37, section 4]). In this case, we have both lower and upper bounds (1.2)
This lower bound is ineffective: the behaviour of \(r_3(m)\) is not completely understood [7, section 1].
Given a sphere \(\mathfrak {C}\subset \mathbb {R}^3\) and a point \(P\in \mathfrak {C}\), we define the spherical cap\(\mathcal {T}\) centred at P to be the intersection of \(\mathfrak {C}\) with the ball \(\mathcal {B}_s(P)\) of radius s centred at P. We will call s the radius of the cap. We shall denote
the maximal number of lattice points contained in a spherical cap \(\mathcal {T}\subset \sqrt{m}\mathcal {S}^2\) of radius s.
Lemma 4.1
(Bourgain and Rudnick [6, Lemma 2.1]). We have for all \(\epsilon >0\),
as \(m\rightarrow \infty \).
Definition 4.2
Given an integer m expressible as a sum of three squares, define
to be the projection of the set of lattice points \(\mathcal {E}_m\) (1.1) on the unit sphere (cf. [7, (1.5)] and [37, (4.3)]).
Linnik conjectured (and proved under GRH) that the projected lattice points \(\widehat{\mathcal {E}}_m\) become equidistributed as \(m\rightarrow \infty \), \(m\not \equiv 0,4,7 \pmod 8\). This result was proven unconditionally by Duke [16, 17] and by Golubeva and Fomenko [22] following a breakthrough by Iwaniec [24]. As a consequence, one may approximate a summation over the lattice point set by an integral over the unit sphere.
Lemma 4.3
(cf. [33, Lemma 8]). Let g(z) be a \(C^2\)-smooth function on \(\mathcal {S}^2\). For \(m\rightarrow \infty \), \(m\not \equiv 0,4,7 \pmod 8\), we have
Define the probability measures
on the unit sphere, where \(\delta _x\) is the Dirac delta function at x. By the equidistribution of lattice points on spheres, the \(\tau _m\) converge weak-*Footnote 8 to the uniform measure on the unit sphere:
as \(m\rightarrow \infty \), \(m\not \equiv 0,4,7 \pmod 8\).
Definition 4.4
For \(s>0\), the Rieszs-energy of n (distinct) points \(P_1,\ldots ,P_n\) on \(\mathcal {S}^2\) is defined as
Bourgain, Sarnak and Rudnick computed the following precise asymptotics for the Riesz s-energy of the projected lattice points \(\widehat{\mathcal {E}}_m\subset \mathcal {S}^2\) (4.2).
Proposition 4.5
([7, Theorem 1.1], [37, Theorem 4.1]). Fix \(0<s<2\). Suppose \(m\rightarrow \infty \), \(m\not \equiv 0,4,7 \pmod 8\). There is some \(\delta >0\) so that
where
4.2 Lemmas on Lattice Points on Spheres
We will need the following lemma, which also appears in [8].
Lemma 4.6
(cf. [8, Lemma 3.3]). Suppose \(m\rightarrow \infty \), \(m\not \equiv 0,4,7 \pmod 8\). We have, for \(i,j=1,2,3\), \(i\ne j\), and \(0\le k\le l\), \(k+l=4\),
Proof
The case \(k=1\) immediately follows from the symmetries of the lattice point set \(\mathcal {E}\) (cf. [35, Lemma 2.3]). Let \(k=0\): by the equidistribution of lattice points on spheres (Lemma 4.3), we may approximate
up to an error of \(m^{-1/28+o(1)}\). We use the spherical coordinates
Take \(j=3\) (by the symmetry, (4.5) will be independent of the choice of j). The integral in (4.5) may be rewritten as
Similarly, for \(k=2\), Lemma 4.3 yields
The latter integral may be computed via the same method as the case \(k=0\) and equals 1 / 15. \(\square \)
We denote \(\mathcal {C}(4)\) the set of length 4 spectral correlations, i.e. 4-tuples of lattice points on spheres summing up to 0
Denote [6, section 2.3]
the maximal number of lattice points in the intersection of \(R\mathcal {S}^{2}\subset \mathbb {R}^3\) and any plane \(\Pi \). Jarnik (see [25, 6, (2.6)]) found the upper bound
An upper bound for \(|\mathcal {C}(4)|\) may be obtained as follows. We fix two lattice points \(\mu _1,\mu _2\), which may be done in \(N^2\) ways. Supposing that \(\mu _1+\mu _2\ne 0\),Footnote 9 then \(\mu _1+\mu _2+\mu _3\) must lie in the intersection of two spheres centred, respectively, at the origin and at the point \(\mu _1+\mu _2\), both of radius \(\sqrt{m}\). As two spheres intersect in a circle, we obtain the upper bound
By (4.7) and (1.2), it now follows that
Lemma 4.7
We have the bound
Proof
This proof is inspired by the two-dimensional analogue [36, Lemma 6.2]. Let \(v:=\mu _1+\mu _2+\mu _3+\mu _4\): as \(|v|\ne 0\), we clearly have \(|v|\ge 1\). we separate the summation in (4.9) over three ranges: \(1\le |v|\le A\), \(A\le |v|\le B\), and \(|v|\ge B\), where \(A=A(m)\) and \(B=B(m)\) are parameters.
\({\hbox {First range} 1\le |v|\le A}\). Given v and \(\mu _1,\mu _2\) such that \(\mu _1+\mu _2\ne v\), the number of solutions \((\mu _3,\mu _4)\) to
is \(\ll \kappa (\sqrt{m})\ll m^\epsilon \): to see this, we use the same argument as in the bound for \(|\mathcal {C}(4)|\) above. Therefore,
\({\hbox {Second range} A\le |v|\le B}\). We fix \(\mu _1,\mu _2,\mu _3\) and write
We require an estimate for the second factor on the RHS of (4.11). Consider the geometric picture: the vector v lies on the sphere centred at \(\mu _1+\mu _2+\mu _3\) of radius \(\sqrt{m}\), and also in the difference set of the two balls centred at the origin of radii B, A. Therefore, \(\mu _4\) lies on a spherical cap of radius 2B of a sphere of radius \(\sqrt{m}\), hence the bound
via Lemma 4.1. Replacing (4.12) into (4.11),
\({\hbox {Third range} |v|\ge B}\). Here we have
Collecting the estimates (4.10), (4.13) and (4.14), we obtain
Bearing in mind (1.2), the optimal choice for the parameters is \((A,B)=(N^{5/8},N^{11/16})\), so that one has the estimate
as claimed. \(\square \)
5 Second Moment of r and of Its Derivatives: Proof of Theorem 1.3
The present section is dedicated to proving Theorem 1.3.
5.1 Statement of Estimates
We recall that A is the area of the surface \(\Sigma \), r the covariance function (2.1), and Definition 3.3 for \(X,X',Y,Y'\).
Lemma 5.1
Assume \(\Sigma \) is of nowhere zero Gauss–Kronecker curvature. Then we have the following estimates:
Lemma 5.1 will be proven in Sect. 5.2. We define
Lemma 5.2
Assume \(\Sigma \) is of nowhere zero Gauss–Kronecker curvature. Then we have the following estimate:
Lemma 5.2 will be proven in Sect. 5.3. By the equidistribution of lattice points on spheres (Lemma 4.3), one may express \(\mathcal {H}\) in terms of \(\Sigma \) only, as shown in the following result.
Lemma 5.3
As \(m\rightarrow \infty \), \(m\not \equiv 0,4,7 \pmod 8\), one has the estimate
Proof
Firstly, using Lemma 4.6, we estimate the summation
By substituting (5.6) into (5.4), we obtain
\(\square \)
We may now establish the asymptotics for the nodal intersection length variance.
Proof of Theorem 1.3 assuming Lemmas 5.1 and 5.2
On substituting the estimates (5.1), (5.2), (5.3) and (5.5) into the approximate Kac–Rice formula Proposition 1.7, we obtain
The estimate for \(\mathcal {H}\) given by Lemma 5.3 now implies (1.14). \(\square \)
In the rest of Sect. 5, we prove Lemmas 5.1 and 5.2. Firstly, we will require a bound for oscillatory integrals on a surface.
Proposition 5.4
([39, section 7]). If \(\Sigma \) is a hypersurface in \(\mathbb {R}^n\) with non-vanishing Gaussian curvature, then
as \(|\xi |\rightarrow \infty \), whenever \(\psi \in C_0^{\infty }(\mathbb {R}^n)\).
The case \(n=2\) of Proposition 5.4 was proven by Van der Corput [39, Proposition 2] (see also [36, Lemma 5.2]). Here we will need the case \(n=3\), i.e. as \(|\xi |\rightarrow \infty \),
5.2 Proof of Lemma 5.1
We square the covariance function (2.1)
and integrate it over \(\Sigma ^2\): the diagonal terms equal
We bound the off-diagonal terms by applying Proposition 5.4
followed by Proposition 4.5 with \(s=2-\epsilon \):
This completes the proof of (5.1).
Next, we show (5.2), (5.3) being similar. The proof of the following preliminary lemma is deferred to Sect. 6.
Lemma 5.5
With D, H as in Definition 3.1 and \(\Omega \) as in (3.3), we have the following estimates:
By Definition 3.3,
where the matrices D, L are as in Definition 3.1, \(\Omega \) as in (3.3), and Q as in (3.6). We separate the domain of integration into the singular set S of Definition 3.10 and its complement:
where we used the uniform boundedness of X given by Lemma 3.5. On \(\Sigma ^2{\setminus } S\) the covariance function r is bounded away from \(\pm 1\), so that
We have
where in the last equality we noted that
by (3.5). Inserting (5.13) into (5.12) and integrating over \(\Sigma ^2{\setminus } S\),
By Definition 3.1,
The uniform bound
implies \(D\Omega D^T\ll M\). We may then rewrite the main term of (5.15) as
We substitute (5.18) into (5.15) and then (5.15) into (5.11) to obtain
Inserting the estimates (5.7) and (5.8) into (5.19), and bearing in mind Lemmas 3.11 and 3.8 concludes the proof of (5.2), (5.3) being similar.
5.3 Proof of Lemma 5.2
Similarly to the proof of Lemma 5.1, we write
By Definition 3.3 and (5.14), on \(\Sigma ^2{\setminus } S\) we write
We insert (5.21) into (5.20) and use the bound \(tr(H\Omega H\Omega ')\ll M\) (recall (5.17)) together with Lemmas 3.11 and 3.8 to obtain
Substituting (5.9) and (5.10) into (5.22) yields (5.5), concluding the proof of Lemma 5.2.
6 Fourth Moment of r: Proofs of Lemmas 3.8, 5.5, and 3.9
Proof of Lemma 3.8
We write the fourth power of r (2.1)
and substitute it into (3.9) with \(k=4\) to obtain
(we abbreviate \(\sum \mu _j:=\mu _1+\mu _2+\mu _3+\mu _4\)). We separate the summation over \(\mathcal {E}^4\) into the set (4.6) of 4-spectral correlations \(\mathcal {C}(4)\) and its complement.
The summation over the 4-correlations is
where we applied (4.8). By Proposition 5.4, the remaining summation is bounded by
By Lemma 4.7, the latter summation has the upper bound \(N^{2+5/8+\epsilon }\). It follows that
where we applied (1.2). \(\square \)
Proof of Lemma 5.5
One clearly has \(\sum _{\mu }|\mu |^2=mN\), hence
By the symmetry of the lattice points, one also has \(\sum _{\mu }\mu ^{(i)}\mu ^{(j)}=0\) for any \(i\ne j\). Bearing this in mind, we directly compute the diagonal terms \(\mu =\mu '\) of (5.16) to equal
giving a contribution of
to (5.7). To control the off-diagonal terms \(\mu \ne \mu '\) of \(D\Omega D^T\), we start by applying Proposition 5.4 to the integrals
and
obtaining the bound
where we also applied Proposition 4.5. Consolidating the estimates (6.2) and (6.3) completes the proof of (5.7).
We now show (5.8). To treat the diagonal terms in \(r^2D\Omega D^T\), we use (4.8) and the triangle inequality to obtain
(recall the abbreviation \(\sum \mu _j:=\mu _1+\mu _2+\mu _3+\mu _4\)). Next, we consider the off-diagonal terms of \(r^2D\Omega D^T\). Invoking Proposition 5.4 again,
having used Lemma 4.7 in the last inequality. Consolidating the estimates (6.4) and (6.5) completes the proof of (5.8).
To prove (5.9), we start with Definition 3.1,
One directly calculates the diagonal terms of the latter expression to equal
having used (6.1) in the last step. We control the contribution of the off-diagonal terms of \(tr\left( H\Omega H\Omega '\right) \) via Propositions 5.4 and 4.5:
Substituting (6.6) and (6.7) into (5.22) and recalling the definition of \(\mathcal {H}\) (5.4) yields (5.9). The computation for (5.10) is very similar to the preceding ones and we omit it here. \(\square \)
Proof of Lemma 3.9
We will prove in detail a few of the bounds, the remaining being similar. By squaring X (Definition 3.3), we obtain
Therefore, outside the singular set S (Definition 3.10),
where we used (5.14). We may thus write
The diagonal terms of the integral on the RHS in (6.9) give a contribution of
via (4.8). The off-diagonal terms are bounded via Proposition 5.4 and Lemma 4.7:
Inserting the bounds (6.10) and (6.11) into (6.9) (and bearing in mind Lemmas 3.11 and 3.8) yields the desired estimate for \(tr(X^2)\). The one for \(tr(X'^2)\) is proven in a similar way.
Let us now prove the bound for \(tr(Y^4)\), the one for \(tr(Y'^4)\) being similar. By Definition 3.3,
hence on \(\Sigma ^2{\setminus } S\)
via (5.14). Therefore,
Similarly to the case of \(tr(X^2)\), the diagonal contribution to (6.13) is \(O(N^{-2+\epsilon })\), whereas the off-diagonal terms are bounded invoking Proposition 5.4 and Lemma 4.7 again:
Finally, we show the bound for \(r^2 tr(X)\), the ones for \(r^2 tr(X')\) and \(r^2 tr(Y'Y)\) being similar. As in the previous computations, one writes
The required result now follows from (5.8) and Lemmas 3.11 and 3.8. \(\square \)
7 Study of the Variance Leading Constant: Proof of Proposition 1.4
Recall A is the area of the surface \(\Sigma \), \(\overrightarrow{n}(\sigma )\) the unit normal at the point \(\sigma \in \Sigma \), and \(\mathcal {I}\) the integral (1.13)
The goal of this section is to prove Proposition 1.4, i.e. that the sharp bounds
hold.
Lemma 7.1
We have
with equality if and only if \(\Sigma \) is contained in a plane.
Proof
The integral \(\mathcal {I}\) is maximised when
for every \(\sigma ,\sigma '\in \Sigma \), i.e. when the normal vectors to the surface are all parallel.
\(\square \)
We now turn to establishing the lower bound \(\mathcal {I}\ge A^2/3\). For any probability measure \(\tau \) on \(\mathcal {S}^2\) invariant by reflection w.r.t. the coordinate planes, define the number
Lemma 7.2
For any measure \(\tau \) on \(\mathcal {S}^2\) invariant by reflection w.r.t. the coordinate planes, we have
Lemma 7.2 will be proven in a moment; assuming it, we may complete the proof of Proposition 1.4.
Proof of Proposition 1.4 Assuming Lemma 7.2
One has
hence via Lemma 7.2 we obtain the lower bound in (1.15):
The upper bound \(\mathcal {I}\le A^2\) in (1.15) has already been proven in Lemma 7.1.
\(\square \)
Proof of Lemma 7.2
We write
where for \(\theta \in \mathcal {S}^2\) we have defined
Let \(\mathfrak {R}\) be the intersection of the unit sphere and the first octant
We complete \(\theta \) to an orthonormal basis \((\theta ,\theta ',\theta '')\) such that \(\theta ,\theta ',\theta ''\) lie in distinct octants, hence
via (7.1) and the symmetries of \(\tau \). As \(\theta ,\theta ',\theta ''\in \mathcal {S}^2\) are pairwise orthogonal, we have
so that by Cauchy–Schwartz (or the AM-QM inequality)
Inserting the two inequalities (7.3) into (7.2) yields the claim of the present lemma. \(\square \)
Let us compare the conditions to obtain the vanishing of the variance leading term in the two- and three-dimensional settings. In the former, this occurs for certain subsets of circles [36, Proposition 7.3] and more generally, for families of static curves [34, appendix F]. We were able to find specific examples of surfaces s.t. the variance leading term vanishes (e.g. spheres and hemispheres): it would be interesting to find, if it exists, a more general family of surfaces satisfying this condition.
Notes
Defined on some probability space \((\Omega ,\mathcal {F},\mathbb {P})\), where \(\mathbb {E}\) denotes the expectation with respect to \(\mathbb {P}\).
Lattice points on circles equidistribute [19, 20] for a density one sequence of energies. To the other extreme, Cilleruelo proved that there exist sequences s.t. all the lattice points lie on arbitrarily short arcs [12, Theorem 2]. The non-uniform densities that emerge (‘attainable measures’) were partially classified in [26, 27].
The expression ‘almost surely’, or for short ‘a.s.’, means ‘with probability 1’.
For an underlying probability space \((\Omega ,\mathcal {F},\mathbb {P})\), we define \(P:\Omega \times T\rightarrow \mathbb {R}\).
The square root of the sum of the squares of the \(k\times k\) minors of the \(k\times n\) matrix
$$\begin{aligned} \left( \frac{\partial \varphi _i}{\partial x_j}\right) _{i,j} \end{aligned}$$[21, Definition 2.10].
Here and elsewhere we will use the shorthand O(A) for O(tr(A)).
The statement \(\nu _i\Rightarrow \nu \) means that, for every smooth bounded test function g, one has \(\int gd\nu _i\rightarrow \int gd\nu \).
The relation \(\mu _1+\mu _2=0\) forces also \(\mu _3+\mu _4=0\) and determines \(N^2\) correlations.
All error terms in (A.4) are controlled by \(X^2+X'^2+Y^4+Y'^4\): for instance, \(YXY'\ll \max \{XY^2, XY'^2\}\ll \max \{X^2, Y^4, Y'^4\}\).
The notation \(f\asymp g\) means \(g\ll f\ll g\).
References
Adler, R.J., Taylor, J.E.: Random fields and geometry. Springer Monographs in Mathematics. Springer, New York (2007)
Azaïs, J.-M., Wschebor, M.: Level Sets and Extrema of Random Processes and Fields. Wiley, Hoboken (2009)
Benatar, J., Maffucci, R.W.: Random waves on \({\mathbb{T}}^{3}\): nodal area variance and lattice point correlations. International Mathematics Research Notices 2019(10), 3032–3075 (2019)
Berry, M.V.: Statistics of nodal lines and points in chaotic quantum billiards: perimeter corrections, fluctuations, curvature. J. Phys. A Math. Gen. 35(13), 3025 (2002)
Bourgain, J., Rudnick, Z.: On the nodal sets of toral eigenfunctions. Invent. Math. 185(1), 199–237 (2011)
Bourgain, J., Rudnick, Z.: Restriction of toral eigenfunctions to hypersurfaces and nodal sets. Geom. Funct. Anal. 22(4), 878–937 (2012)
Bourgain, J., Sarnak, P., Rudnick, Z.: Local statistics of lattice points on the sphere. Modern Trends in Constructive Function Theory, Contemporary Mathematics 661, 269–282 (2012)
Cammarota, V.: Nodal area distribution for arithmetic random waves. arXiv preprint arXiv:1708.07679 (2017)
Canzani, Y., Hanin, B.: Local universality for zeros and critical points of monochromatic random waves. arXiv preprint arXiv:1610.09438 (2016)
Canzani, Y., Toth, J.A.: Nodal sets of Schrödinger eigenfunctions in forbidden regions. Annales Henri Poincaré 17(11), 3063–3087 (2016)
Cheng, S.-Y.: Eigenfunctions and nodal sets. Commentarii Mathematici Helvetici 51(1), 43–55 (1976)
Cilleruelo, J.: The distribution of the lattice points on circles. J. Number Theory 43(2), 198–202 (1993)
Cramér, H., Leadbetter, M.R.: Stationary and Related Stochastic Processes. Sample Function Properties and Their Applications. Wiley, New York (1967)
Davenport, H.: The Higher Arithmetic: An Introduction to the Theory of Numbers. Cambridge University Press, Cambridge (1999)
do Carmo, M.P.: Differential Geometry of Curves and Surfaces. Prentice-Hall, Inc., Englewood Cliff. Translated from the Portuguese (1976)
Duke, W.: Hyperbolic distribution problems and half-integral weight maass forms. Invent. Math. 92(1), 73–90 (1988)
Duke, W., Schulze-Pillot, R.: Representation of integers by positive ternary quadratic forms and equidistribution of lattice points on ellipsoids. Invent. Math. 99(1), 49–57 (1990)
El-Hajj, L., Toth, J.A.: Intersection bounds for nodal sets of planar Neumann eigenfunctions with interior analytic curves. J. Differ. Geom. 100(1), 1–53 (2015)
Erdös, P., Hall, R.R.: On the angular distribution of gaussian integers with fixed norm. Discrete Math. 200(1–3), 87–94 (1999)
Fainsilber, L., Kurlberg, P., Wennberg, B.: Lattice points on circles and discrete velocity models for the Boltzmann equation. SIAM J. Math. Anal. 37(6), 1903–1922 (2006). (electronic)
Federer, H.: Curvature measures. Trans. Am. Math. Soc. 93(3), 418–491 (1959)
Golubeva, E.P., Fomenko, O.M.: Asymptotic distribution of integral points on the three-dimensional sphere. Zapiski Nauchnykh Seminarov POMI 160, 54–71 (1987)
Hardy, G.H., Wright, E.M.: An Introduction to the Theory of Numbers, 5th edn. The Clarendon Press, Oxford University Press, New York (1979)
Iwaniec, H.: Fourier coefficients of modular forms of half-integral weight. Invent. Math. 87(2), 385–401 (1987)
Jarník, V.: Über die Gitterpunkte auf konvexen Kurven. Math. Z. 24(1), 500–518 (1926)
Krishnapur, M., Kurlberg, P., Wigman, I.: Nodal length fluctuations for arithmetic random waves. Ann. Math 177(2), 699–737 (2013)
Kurlberg, P., Wigman, I.: On probability measures arising from lattice points on circles. Math. Ann. 367(3–4), 1057–1098 (2017)
Letendre, T.: Expected volume and euler characteristic of random submanifolds. J. Funct. Anal. 270(8), 3047–3110 (2016)
Letendre, T.: Variance of the volume of random real algebraic submanifolds. Trans. Am. Math. Soc. 371(6), 4129–4192 (2017)
Maffucci, R.W.: Nodal intersections for random waves against a segment on the 3-dimensional torus. J. Funct. Anal. 272(12), 5218–5254 (2017)
Maffucci, R.W.: Nodal intersections of random eigenfunctions against a segment on the 2-dimensional torus. Monatshefte für Mathematik 183(2), 311–328 (2017)
Oravecz, F., Rudnick, Z., Wigman, I.: The Leray measure of nodal sets for random eigenfunctions on the torus. Annales de l’Institut Fourier 58(1), 299–335 (2008)
Palczewski, A., Schneider, J., Bobylev, A.V.: A consistency result for a discrete-velocity model of the Boltzmann equation. SIAM J. Numer. Anal. 34(5), 1865–1883 (1997)
Rossi, M., Wigman, I.: Asymptotic distribution of nodal intersections for arithmetic random waves. Nonlinearity 31(10), 4472 (2018)
Rudnick, Z., Wigman, I.: On the volume of nodal sets for eigenfunctions of the Laplacian on the torus. Ann. Henri Poincaré 9(1), 109–130 (2008)
Rudnick, Z., Wigman, I.: Nodal intersections for random eigenfunctions on the torus. Am. J. Math. 138(6), 1605–1644 (2016)
Rudnick, Z., Wigman, I., Yesha, N.: Nodal intersections for random waves on the 3-dimensional torus. Ann. Inst. Fourier (Grenoble) 66(6), 2455–2484 (2016)
Sernesi, E.: Geometria 2: Edoardo Sernesi. Bollati Boringheri (1994)
Stein, E.M.: Oscillatory integrals in Fourier analysis. Beijing lectures in harmonic analysis, Beijing (1984), 112:307–355 (1986)
Toth, J.A., Zelditch, S.: Counting nodal lines which touch the boundary of an analytic domain. J. Differ. Geom. 81(3), 649–686 (2009)
Acknowledgements
The author worked on this project mainly during his PhD studies, under the supervision of Igor Wigman. The author is very grateful to Igor for suggesting this very interesting problem, and for his guidance, insightful remarks and corrections. Many thanks to Maurizia Rossi for helpful discussions. Many thanks to an anonymous referee for helpful corrections on a previous version of this manuscript. The author was supported by a Graduate Teaching Scholarship, Department of Mathematics, King’s College London. The author was supported by the Engineering & Physical Sciences Research Council (EPSRC) Fellowship EP/M002896/1 held by Dmitry Belyaev.
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.
Proofs of Auxiliary Results
Proofs of Auxiliary Results
In this appendix, we prove several auxiliary propositions and lemmas.
Proof of Proposition 2.3
We follow the approach of [35, Lemma 3.1]. Applying Proposition 2.1 with \(X=\Sigma \), \(Y=\mathbb {R}\), \(\varphi =G\), and
yields the equality
Substituting (A.1) into (2.4), we obtain
By assumption, G satisfies \(G(\sigma )=0 \Rightarrow \nabla _\Sigma G(\sigma )\ne 0\) for every \(\sigma \in \Sigma \); hence, the function \(y\mapsto h_1(G^{-1}\{y\})\) is continuous at \(y=0\), so that, by the fundamental theorem of calculus,
proving (2.3). \(\square \)
Proof of Lemma 2.5
By the definition (2.4),
As the surface gradient \(\nabla _\Sigma F\) is the projection of \(\nabla F\) on \(T_\sigma \Sigma \),
In [35, Lemma 3.2], it was shown that the quantity
satisfies the uniform bound
Substituting the latter bound into (A.2), we obtain the claim of the present lemma. \(\square \)
Proof of Lemma 3.2
We show a few of the computations for the covariance matrix \(\Phi \), the remaining being similar or following immediately from the symmetry of \(\Phi \). Firstly,
with D as in Definition 3.1. By a similar computation,
so that, recalling the definitions of the matrices \(\Omega \) (3.3) and L (3.4), we may write
Since \(L^T\Omega L\) is the upper left \(2\times 2\) block of \(\Omega \), one has
Further,
Similarly, one computes \(\phi _{35},\phi _{45},\phi _{46}\) to see that
\(\square \)
Proof of Lemma 3.5
The matrix
is a covariance matrix, hence by Cauchy–Schwartz, to show (3.8) it will suffice to bound the diagonal entries of \(X,X'\). In turn, this may be done by noting that the diagonal entries of a covariance matrix are positive and that the entries of \(X,X'\) are negative (see Definition 3.3). \(\square \)
Next, we compute the Taylor expansion of a perturbed Gaussian covariance matrix, establishing Lemma 3.6. We employ Berry’s elegant method [4], rather than computing the various derivatives by brute force, which would result in a longer computation.
Proof of Lemma 3.6
Here we outline the main steps and refer the reader to the more detailed [26, Lemma 5.1] and [3, Lemma 5.8]. We begin by writing
with
and
where
We perform the Taylor expansion of \(\det (I_4+J)^{-1/2}\) using the formula for the determinant of a block matrix:
so thatFootnote 10
This leads to
where we improved the error term in (A.4) by noting that \(\xi (t,s)=O(ts)\). On inserting (A.5) into (A.3) and integrating, we obtain
\(\square \)
We conclude the appendix with the following proof.
Proof of Lemma 3.12
We begin by invoking Lemma 3.4 to write
where
and \(\hat{\Theta }\) is given by (3.7). As \(\sigma '\rightarrow \sigma \) the expectation in (A.6) converges to a positive constant, so that on each diagonal region \(V_{i,i}\)
Footnote 11via a Taylor expansion. Therefore,
By Kac–Rice and the Cauchy–Schwartz inequality,
where
(recall the notation \(h_1\) for Hausdorff measure). By (A.7) and (A.8), one obtains
where we also applied Lemma 3.11. The proof of Lemma 3.12 is complete. \(\square \)
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
About this article
Cite this article
Maffucci, R.W. Nodal Intersections for Arithmetic Random Waves Against a Surface. Ann. Henri Poincaré 20, 3651–3691 (2019). https://doi.org/10.1007/s00023-019-00831-1
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00023-019-00831-1