-
Regularity and separation for Sierpiński products of graphs
Authors:
Riccardo W. Maffucci
Abstract:
The Sierpiński product of graphs generalises the vast and relevant class of Sierpiński-type graphs, and is also related to the classic lexicographic product of graphs. Our first main results are necessary and sufficient conditions for the higher connectivity of Sierpiński products. Among other applications, we characterise the polyhedral ($3$-connected and planar) Sierpiński products of polyhedra.…
▽ More
The Sierpiński product of graphs generalises the vast and relevant class of Sierpiński-type graphs, and is also related to the classic lexicographic product of graphs. Our first main results are necessary and sufficient conditions for the higher connectivity of Sierpiński products. Among other applications, we characterise the polyhedral ($3$-connected and planar) Sierpiński products of polyhedra. Our other main result is the complete classification of the regular polyhedral Sierpiński products, and more generally of the regular, connected, planar Sierpiński products. To prove this classification, we introduce and study the intriguing class of planar graphs where each vertex may be assigned a colour in such a way that each vertex has neighbours of the same set of colours and in the same cyclic order around the vertex. We also completely classify the planar lexicographic products.
△ Less
Submitted 20 June, 2025;
originally announced June 2025.
-
Classification of planar Deza graphs
Authors:
Riccardo W. Maffucci
Abstract:
We classify the planar Deza graphs. We also classify all regular polyhedra according to their type i.e., the collection of number of common neighbours that any pair of distinct vertices may have (polyhedra are planar, $3$-connected graphs).
Among the classes of planar Deza graphs is an intriguing wide class of quartic polyhedra. We prove that these are the medial graphs of certain cubic polyhedr…
▽ More
We classify the planar Deza graphs. We also classify all regular polyhedra according to their type i.e., the collection of number of common neighbours that any pair of distinct vertices may have (polyhedra are planar, $3$-connected graphs).
Among the classes of planar Deza graphs is an intriguing wide class of quartic polyhedra. We prove that these are the medial graphs of certain cubic polyhedra.
Furthermore, within the aforementioned class of quartic polyhedral Deza graphs, we study the extremal graphs with respect to the ratio of number of triangular faces to the total. In the maximal extreme, we notably obtain the line graphs of cubic polyhedra of girth $5$.
△ Less
Submitted 27 April, 2025;
originally announced April 2025.
-
Cancellation and regularity for planar, 3-connected Kronecker products
Authors:
Ruben De March,
Riccardo W. Maffucci
Abstract:
We investigate several properties of Kronecker (direct, tensor) products of graphs that are planar and $3$-connected (polyhedral, $3$-polytopal). This class of graphs was recently characterised and constructed by the second author [15].
Our main result is that cancellation holds for the Kronecker product of graphs when the product is planar and $3$-connected (it is known that Kronecker cancellat…
▽ More
We investigate several properties of Kronecker (direct, tensor) products of graphs that are planar and $3$-connected (polyhedral, $3$-polytopal). This class of graphs was recently characterised and constructed by the second author [15].
Our main result is that cancellation holds for the Kronecker product of graphs when the product is planar and $3$-connected (it is known that Kronecker cancellation may fail in general). Equivalently, polyhedral graphs are Kronecker products in at most one way. This is a special case of the deep and interesting question, open in general, of Kronecker product cancellation for simple graphs: when does $A\wedge C\simeq B\wedge C$ imply $A\simeq B$?
We complete our investigation on simultaneous products by characterising and constructing the planar graphs that are Cartesian products in two distinct ways, and the planar, $3$-connected graphs that are both Kronecker and Cartesian products.
The other type of results we obtain are in extremal graph theory. We classify the polyhedral Kronecker products that are either face-regular or vertex-regular graphs. The face-regular ones are certain quadrangulations of the sphere, while the vertex-regular ones are certain cubic graphs (duals of maximal planar graphs). We also characterise, and iteratively construct, the face-regular subclass of graphs minimising the number of vertices of degree $3$.
△ Less
Submitted 20 November, 2024;
originally announced November 2024.
-
Generation of $3$-connected, planar line graphs
Authors:
Phoebe Hollowbread-Smith,
Riccardo W. Maffucci
Abstract:
We classify and construct all line graphs that are $3$-polytopes (planar and $3$-connected). Apart from a few special cases, they are all obtained starting from the medial graphs of cubic (i.e., $3$-regular) $3$-polytopes, by applying two types of graph transformations. This is similar to the generation of other subclasses of $3$-polytopes.
We classify and construct all line graphs that are $3$-polytopes (planar and $3$-connected). Apart from a few special cases, they are all obtained starting from the medial graphs of cubic (i.e., $3$-regular) $3$-polytopes, by applying two types of graph transformations. This is similar to the generation of other subclasses of $3$-polytopes.
△ Less
Submitted 11 April, 2024;
originally announced April 2024.
-
Classification and Construction of Planar, 3-Connected Kronecker Products
Authors:
Riccardo W. Maffucci
Abstract:
We give a complete classification of the Kronecker (i.e. direct) product graphs that are planar and $3$-connected (i.e. $3$-polytopal). They are all of the form \[H\wedge K_2,\] where $H$ is a $2$-connected graph, possibly non-planar, and satisfying specific properties that we will describe.
Our proof is constructive, in the sense that we prescribe how to obtain all such graphs $H$, by adding a…
▽ More
We give a complete classification of the Kronecker (i.e. direct) product graphs that are planar and $3$-connected (i.e. $3$-polytopal). They are all of the form \[H\wedge K_2,\] where $H$ is a $2$-connected graph, possibly non-planar, and satisfying specific properties that we will describe.
Our proof is constructive, in the sense that we prescribe how to obtain all such graphs $H$, by adding a few edges in a specific way to a given planar, bipartite graph, that is either $3$-connected, or semi-hyper-$2$-connected.
Moreover, for $H$ planar, we also give a more precise characterisation of this graph, regarding the number of its odd regions, and how they intersect.
If $H\wedge K_2$ is a $3$-polytope, then we have $δ(H\wedge K_2)=3$, so that the connectivity of $H\wedge K_2$ is $3$, and the connectivity of $H$ is either $2$ or $3$.
We also briefly discuss which Cartesian and strong products are $3$-polytopal.
△ Less
Submitted 2 February, 2024;
originally announced February 2024.
-
Correlation Structure and Resonant Pairs for Arithmetic Random Waves
Authors:
Valentina Cammarota,
Riccardo-W. Maffucci,
Domenico Marinucci,
Maurizia Rossi
Abstract:
The geometry of Arithmetic Random Waves has been extensively investigated in the last fifteen years, starting from the seminal papers [RW08, ORW08]. In this paper we study the correlation structure among different functionals such as nodal length, boundary length of excursion sets, and the number of intersection of nodal sets with deterministic curves in different classes; the amount of correlatio…
▽ More
The geometry of Arithmetic Random Waves has been extensively investigated in the last fifteen years, starting from the seminal papers [RW08, ORW08]. In this paper we study the correlation structure among different functionals such as nodal length, boundary length of excursion sets, and the number of intersection of nodal sets with deterministic curves in different classes; the amount of correlation depends in a subtle fashion from the values of the thresholds considered and the symmetry properties of the deterministic curves. In particular, we prove the existence of resonant pairs of threshold values where the asymptotic correlation is full, that is, at such values one functional can be perfectly predicted from the other in the high energy limit. We focus mainly on the 2-dimensional case but we discuss some specific extensions to dimension 3.
△ Less
Submitted 20 December, 2023;
originally announced December 2023.
-
On self-duality and unigraphicity for $3$-polytopes
Authors:
Riccardo W. Maffucci
Abstract:
Recent literature posed the problem of characterising the graph degree sequences with exactly one $3$-polytopal (i.e. planar, $3$-connected) realisation. This seems to be a difficult problem in full generality. In this paper, we characterise the sequences with exactly one self-dual $3$-polytopal realisation.
An algorithm in the literature constructs a self-dual $3$-polytope for any admissible de…
▽ More
Recent literature posed the problem of characterising the graph degree sequences with exactly one $3$-polytopal (i.e. planar, $3$-connected) realisation. This seems to be a difficult problem in full generality. In this paper, we characterise the sequences with exactly one self-dual $3$-polytopal realisation.
An algorithm in the literature constructs a self-dual $3$-polytope for any admissible degree sequence. To do so, it performs operations on the radial graph, so that the corresponding $3$-polytope and its dual are modified in exactly the same way. To settle our question and construct the relevant graphs, we apply this algorithm, we introduce some modifications of it, and we also devise new ones. The speed of these algorithms is linear in the graph order.
△ Less
Submitted 24 August, 2023;
originally announced August 2023.
-
On the faces of unigraphic $3$-polytopes
Authors:
Riccardo W. Maffucci
Abstract:
A $3$-polytope is a $3$-connected, planar graph. It is called unigraphic if it does not share its vertex degree sequence with any other $3$-polytope, up to graph isomorphism. The classification of unigraphic $3$-polytopes appears to be a difficult problem.
In this paper we prove that, apart from pyramids, all unigraphic $3$-polytopes have no $n$-gonal faces for $n\geq 10$. Our method involves de…
▽ More
A $3$-polytope is a $3$-connected, planar graph. It is called unigraphic if it does not share its vertex degree sequence with any other $3$-polytope, up to graph isomorphism. The classification of unigraphic $3$-polytopes appears to be a difficult problem.
In this paper we prove that, apart from pyramids, all unigraphic $3$-polytopes have no $n$-gonal faces for $n\geq 10$. Our method involves defining several planar graph transformations on a given $3$-polytope containing an $n$-gonal face with $n\geq 10$. The delicate part is to prove that, for every such $3$-polytope, at least one of these transformations both preserves $3$-connectivity, and is not an isomorphism.
△ Less
Submitted 6 October, 2024; v1 submitted 31 May, 2023;
originally announced May 2023.
-
Rao's Theorem for forcibly planar sequences revisited
Authors:
Riccardo W. Maffucci
Abstract:
We consider the graph degree sequences such that every realisation is a polyhedron. It turns out that there are exactly eight of them. All of these are unigraphic, in the sense that each is realised by exactly one polyhedron. This is a revisitation of a Theorem of Rao about sequences that are realised by only planar graphs.
Our proof yields additional geometrical insight on this problem. Moreove…
▽ More
We consider the graph degree sequences such that every realisation is a polyhedron. It turns out that there are exactly eight of them. All of these are unigraphic, in the sense that each is realised by exactly one polyhedron. This is a revisitation of a Theorem of Rao about sequences that are realised by only planar graphs.
Our proof yields additional geometrical insight on this problem. Moreover, our proof is constructive: for each graph degree sequence that is not forcibly polyhedral, we construct a non-polyhedral realisation.
△ Less
Submitted 24 May, 2023;
originally announced May 2023.
-
On unigraphic polyhedra with one vertex of degree $p-2$
Authors:
Jim Delitroz,
Riccardo W. Maffucci
Abstract:
A sequence $σ$ of $p$ non-negative integers is unigraphic if it is the degree sequence of exactly one graph, up to isomorphism. A polyhedral graph is a $3$-connected, planar graph. We investigate which sequences are unigraphic with respect to the class of polyhedral graphs, meaning that they admit exactly one realisation as a polyhedron.
We focus on the case of sequences with largest entry…
▽ More
A sequence $σ$ of $p$ non-negative integers is unigraphic if it is the degree sequence of exactly one graph, up to isomorphism. A polyhedral graph is a $3$-connected, planar graph. We investigate which sequences are unigraphic with respect to the class of polyhedral graphs, meaning that they admit exactly one realisation as a polyhedron.
We focus on the case of sequences with largest entry $p-2$. We give a classification of polyhedral unigraphic sequences starting with $p-2,p-2$, as well as those starting with $p-2$ and containing exactly one $3$. Moreover, we characterise the unigraphic sequences where a few vertices are of high degree. We conclude with a few other examples of families of unigraphic polyhedra.
△ Less
Submitted 19 January, 2023;
originally announced January 2023.
-
Independence numbers of polyhedral graphs
Authors:
Sébastien Gaspoz,
Riccardo W. Maffucci
Abstract:
A polyhedral graph is a $3$-connected planar graph. We find the least possible order $p(k,a)$ of a polyhedral graph containing a $k$-independent set of size $a$ for all positive integers $k$ and $a$. In the case $k = 1$ and $a$ even, we prove that the extremal graphs are exactly the vertex-face (radial) graphs of maximal planar graphs.
A polyhedral graph is a $3$-connected planar graph. We find the least possible order $p(k,a)$ of a polyhedral graph containing a $k$-independent set of size $a$ for all positive integers $k$ and $a$. In the case $k = 1$ and $a$ even, we prove that the extremal graphs are exactly the vertex-face (radial) graphs of maximal planar graphs.
△ Less
Submitted 29 December, 2022;
originally announced December 2022.
-
On smallest $3$-polytopes of given graph radius
Authors:
Riccardo W. Maffucci,
Niels Willems
Abstract:
The $3$-polytopes are planar, $3$-connected graphs. A classical question is, for $r\geq 3$, is the $2(r-1)$-gonal prism $K_2\times C_{2(r-1)}$ the unique $3$-polytope of graph radius $r$ and smallest size? Under some extra assumptions, we answer this question in the positive.
The $3$-polytopes are planar, $3$-connected graphs. A classical question is, for $r\geq 3$, is the $2(r-1)$-gonal prism $K_2\times C_{2(r-1)}$ the unique $3$-polytope of graph radius $r$ and smallest size? Under some extra assumptions, we answer this question in the positive.
△ Less
Submitted 11 July, 2022;
originally announced July 2022.
-
Characterising $3$-polytopes of radius one with unique realisation
Authors:
Riccardo W. Maffucci
Abstract:
Let $F$ be a planar, $3$-connected graph of radius one on $p$ vertices, with $a$ vertices of degree three. We characterise all unigraphic degree sequences for such graphs, when $a\geq 3$ and $p$ is large enough with respect to $a$. This complements the work of \cite{mafpo4} for $a\leq 3$.
Let $F$ be a planar, $3$-connected graph of radius one on $p$ vertices, with $a$ vertices of degree three. We characterise all unigraphic degree sequences for such graphs, when $a\geq 3$ and $p$ is large enough with respect to $a$. This complements the work of \cite{mafpo4} for $a\leq 3$.
△ Less
Submitted 6 July, 2022;
originally announced July 2022.
-
On unigraphic $3$-polytopes of radius one
Authors:
Riccardo W. Maffucci
Abstract:
We ask which degree sequences admit a unique realisation as a $3$-polytopal graph (polyhedron) on $p$ vertices. We give an exhaustive list of these sequences for the case where one degree equals $p-1$ and exactly two or three of them equal $3$. We also find all $3$-polytopes of radius one with $p\leq 17$, and those with $q\leq 41$ edges, by developing a fast algorithm and making use of High Perfor…
▽ More
We ask which degree sequences admit a unique realisation as a $3$-polytopal graph (polyhedron) on $p$ vertices. We give an exhaustive list of these sequences for the case where one degree equals $p-1$ and exactly two or three of them equal $3$. We also find all $3$-polytopes of radius one with $p\leq 17$, and those with $q\leq 41$ edges, by developing a fast algorithm and making use of High Performance Computing.
△ Less
Submitted 5 July, 2022;
originally announced July 2022.
-
Asymptotic distribution of Nodal Intersections for ARW against a Surface
Authors:
Riccardo W. Maffucci,
Maurizia Rossi
Abstract:
We investigate Gaussian Laplacian eigenfunctions (Arithmetic Random Waves) on the three-dimensional standard flat torus, in particular the asymptotic distribution of the nodal intersection length against a fixed regular reference surface. Expectation and variance have been addressed by Maffucci (2019) who found that the expected length is proportional to the square root of the eigenvalue times the…
▽ More
We investigate Gaussian Laplacian eigenfunctions (Arithmetic Random Waves) on the three-dimensional standard flat torus, in particular the asymptotic distribution of the nodal intersection length against a fixed regular reference surface. Expectation and variance have been addressed by Maffucci (2019) who found that the expected length is proportional to the square root of the eigenvalue times the area of the surface, while the asymptotic variance only depends on the geometry of the surface, the projected lattice points being equidistributed on the two-dimensional unit sphere in the high-energy limit. He also noticed that there are ``special'' surfaces, so-called static, for which the variance is of smaller order; however he did not prescribe the precise asymptotic law in this case. In this paper, we study second order fluctuations of the nodal intersection length. Our first main result is a Central Limit Theorem for ``generic'' surfaces, while for static ones, a sphere or a hemisphere e.g., our main results are a non-Central Limit Theorem and a precise asymptotic law for the variance of the nodal intersection length, conditioned on the existence of so-called well-separated sequences of Laplacian eigenvalues. It turns out that, in this regime, the nodal area investigated by Cammarota (2019) is asymptotically fully correlated with the length of the nodal intersections against any sphere. The main ingredients for our proofs are the Kac-Rice formula for moments, the chaotic decomposition for square integrable functionals of Gaussian fields, and some arithmetic estimates that may be of independent interest.
△ Less
Submitted 15 October, 2021;
originally announced October 2021.
-
Self-dual polyhedra of given degree sequence
Authors:
Riccardo W. Maffucci
Abstract:
Given vertex valencies admissible for a self-dual polyhedral graph, we describe an algorithm to explicitly construct such a polyhedron. Inputting in the algorithm permutations of the degree sequence can give rise to non-isomorphic graphs.
As an application, we find as a function of $n\geq 3$ the minimal number of vertices for a self-dual polyhedron with at least one vertex of degree $i$ for each…
▽ More
Given vertex valencies admissible for a self-dual polyhedral graph, we describe an algorithm to explicitly construct such a polyhedron. Inputting in the algorithm permutations of the degree sequence can give rise to non-isomorphic graphs.
As an application, we find as a function of $n\geq 3$ the minimal number of vertices for a self-dual polyhedron with at least one vertex of degree $i$ for each $3\leq i\leq n$, and construct such polyhedra. Moreover, we find a construction for non-self-dual polyhedral graphs of minimal order with at least one vertex of degree $i$ and at least one $i$-gonal face for each $3\leq i\leq n$.
△ Less
Submitted 2 August, 2021;
originally announced August 2021.
-
On the limiting behaviour of arithmetic toral eigenfunctions
Authors:
Riccardo W. Maffucci,
Alejandro Rivera
Abstract:
We consider a wide class of families $(F_m)_{m\in\mathbb{N}}$ of Gaussian fields on $\mathbb{T}^d=\mathbb{R}^d/\mathbb{Z}^d$ defined by \[F_m:x\mapsto \frac{1}{\sqrt{|Λ_m|}}\sum_{λ\inΛ_m}ζ_λe^{2πi\langle λ,x\rangle}\] where the $ζ_λ$'s are independent std. normals and $Λ_m$ is the set of solutions $λ\in\mathbb{Z}^d$ to $p(λ)=m$ for a fixed elliptic polynomial $p$ with integer coefficients. The cas…
▽ More
We consider a wide class of families $(F_m)_{m\in\mathbb{N}}$ of Gaussian fields on $\mathbb{T}^d=\mathbb{R}^d/\mathbb{Z}^d$ defined by \[F_m:x\mapsto \frac{1}{\sqrt{|Λ_m|}}\sum_{λ\inΛ_m}ζ_λe^{2πi\langle λ,x\rangle}\] where the $ζ_λ$'s are independent std. normals and $Λ_m$ is the set of solutions $λ\in\mathbb{Z}^d$ to $p(λ)=m$ for a fixed elliptic polynomial $p$ with integer coefficients. The case $p(x)=x_1^2+\dots+x_d^2$ is a random Laplace eigenfunction whose law is sometimes called the $\textit{arithmetic random wave}$, studied in the past by many authors. In contrast, we consider three classes of polynomials $p$: a certain family of positive definite quadratic forms in two variables, all positive definite quadratic forms in three variables except multiples of $x_1^2+x_2^2+x_3^2$, and a wide family of polynomials in many variables.
For these classes of polynomials, we study the $(d-1)$-dimensional volume $\mathcal{V}_m$ of the zero set of $F_m$. We compute the asymptotics, as $m\to+\infty$ along certain sequences of integers, of the expectation and variance of $\mathcal{V}_m$. Moreover, we prove that in the same limit, $\frac{\mathcal{V}_m-\mathbb{E}[\mathcal{V}_m]}{\sqrt{\text{Var}(\mathcal{V}_m)}}$ converges to a std. normal.
As in previous works, one reduces the problem of these asymptotics to the study of certain arithmetic properties of the sets of solutions to $p(λ)=m$. We need to study the number of such solutions for fixed $m$, the number of quadruples of solutions $(λ,μ,ν,ι)$ satisfying $λ+μ+ν+ι=0$, ($4$-correlations), and the rate of convergence of the counting measure of $Λ_m$ towards a certain limiting measure on the hypersurface $\{p(x)=1\}$. To this end, we use prior results on this topic but also prove a new estimate on correlations, of independent interest.
△ Less
Submitted 21 June, 2021;
originally announced June 2021.
-
Constructing certain families of $\mathbf{3}$-polytopal graphs
Authors:
Riccardo W. Maffucci
Abstract:
Let $n\geq 3$ and $r_n$ be a $3$-polytopal graph such that for every $3\leq i\leq n$, $r_n$ has at least one vertex of degree $i$. We find the minimal vertex count for $r_n$. We then describe an algorithm to construct the graphs $r_n$. A dual statement may be formulated for faces of $3$-polytopes. The ideas behind the algorithm generalise readily to solve related problems.
Moreover, given a $3$-…
▽ More
Let $n\geq 3$ and $r_n$ be a $3$-polytopal graph such that for every $3\leq i\leq n$, $r_n$ has at least one vertex of degree $i$. We find the minimal vertex count for $r_n$. We then describe an algorithm to construct the graphs $r_n$. A dual statement may be formulated for faces of $3$-polytopes. The ideas behind the algorithm generalise readily to solve related problems.
Moreover, given a $3$-polytope $t_l$ comprising a vertex of degree $i$ for all $3\leq i\leq l$, $l$ fixed, we define an algorithm to output for $n>l$ a $3$-polytope $t_n$ comprising a vertex of degree $i$, for all $3\leq i\leq n$, and such that the initial $t_l$ is a subgraph of $t_n$. The vertex count of $t_n$ is asymptotically optimal, in the sense that it matches the aforementioned minimal vertex count up to order of magnitude, as $n$ gets large. In fact, we only lose a small quantity on the coefficient of the second highest term, and this quantity may be taken as small as we please, with the tradeoff of first constructing an accordingly large auxiliary graph.
△ Less
Submitted 30 April, 2021;
originally announced May 2021.
-
On polyhedral graphs and their complements
Authors:
Riccardo Walter Maffucci
Abstract:
We find all polyhedral graphs such that their complements are still polyhedral. These turn out to be all self-complementary.
We find all polyhedral graphs such that their complements are still polyhedral. These turn out to be all self-complementary.
△ Less
Submitted 22 February, 2021;
originally announced February 2021.
-
Coupling of stationary fields with application to arithmetic waves
Authors:
Dmitry Beliaev,
Riccardo W. Maffucci
Abstract:
In this paper we obtain a range of quantitative results of the following type: given two centered Gaussian fields with close covariance kernels we construct a coupling such that the fields are uniformly close on some compact with probability very close to one. As an application, we show that it is possible to couple arithmetic random waves so that they converge locally uniformly to the random plan…
▽ More
In this paper we obtain a range of quantitative results of the following type: given two centered Gaussian fields with close covariance kernels we construct a coupling such that the fields are uniformly close on some compact with probability very close to one. As an application, we show that it is possible to couple arithmetic random waves so that they converge locally uniformly to the random plane wave and estimate the rate of convergence.
△ Less
Submitted 19 December, 2019;
originally announced December 2019.
-
Restriction of 3D arithmetic Laplace eigenfunctions to a plane
Authors:
Riccardo Walter Maffucci
Abstract:
We consider a random Gaussian ensemble of Laplace eigenfunctions on the 3D torus, and investigate the 1-dimensional Hausdorff measure (`length') of nodal intersections against a smooth 2-dimensional toral sub-manifold (`surface'). The expected length is universally proportional to the area of the reference surface, times the wavenumber, independent of the geometry.
For surfaces contained in a pl…
▽ More
We consider a random Gaussian ensemble of Laplace eigenfunctions on the 3D torus, and investigate the 1-dimensional Hausdorff measure (`length') of nodal intersections against a smooth 2-dimensional toral sub-manifold (`surface'). The expected length is universally proportional to the area of the reference surface, times the wavenumber, independent of the geometry.
For surfaces contained in a plane, we give an upper bound for the nodal intersection length variance, depending on the arithmetic properties of the plane. The bound is established via estimates on the number of lattice points in specific regions of the sphere.
△ Less
Submitted 22 July, 2019;
originally announced July 2019.
-
Intermediate and small scale limiting theorems for random fields
Authors:
Dmitry Beliaev,
Riccardo W. Maffucci
Abstract:
In this paper we study the nodal lines of random eigenfunctions of the Laplacian on the torus, the so called 'arithmetic waves'. To be more precise, we study the number of intersections of the nodal line with a straight interval in a given direction. We are interested in how this number depends on the length and direction of the interval and the distribution of spectral measure of the random wave.…
▽ More
In this paper we study the nodal lines of random eigenfunctions of the Laplacian on the torus, the so called 'arithmetic waves'. To be more precise, we study the number of intersections of the nodal line with a straight interval in a given direction. We are interested in how this number depends on the length and direction of the interval and the distribution of spectral measure of the random wave. We analyse the second factorial moment in the short interval regime and the persistence probability in the long interval regime. We also study relations between the Cilleruelo and Cilleruelo-type fields. We give an explicit coupling between these fields which on mesoscopic scales preserves the structure of the nodal sets with probability close to one.
△ Less
Submitted 2 June, 2019;
originally announced June 2019.
-
Nodal intersections for arithmetic random waves against a surface
Authors:
Riccardo Walter Maffucci
Abstract:
Given the ensemble of random Gaussian Laplace eigenfunctions on the three-dimensional torus (`3d arithmetic random waves'), we investigate the $1$-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…
▽ More
Given the ensemble of random Gaussian Laplace eigenfunctions on the three-dimensional torus (`3d arithmetic random waves'), we investigate the $1$-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 nonvanishing 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.
△ Less
Submitted 8 March, 2020; v1 submitted 22 May, 2018;
originally announced May 2018.
-
Random waves on $\mathbb{T}^3$: nodal area variance and lattice point correlations
Authors:
Jacques Benatar,
Riccardo W. Maffucci
Abstract:
We consider the ensemble of random Gaussian Laplace eigenfunctions on $\mathbb{T}^3=\mathbb{R}^3/\mathbb{Z}^3$ (`$3d$ arithmetic random waves'), and study the distribution of their nodal surface area. The expected area is proportional to the square root of the eigenvalue, or `energy', of the eigenfunction. We show that the nodal area variance obeys an asymptotic law. The resulting asymptotic formu…
▽ More
We consider the ensemble of random Gaussian Laplace eigenfunctions on $\mathbb{T}^3=\mathbb{R}^3/\mathbb{Z}^3$ (`$3d$ arithmetic random waves'), and study the distribution of their nodal surface area. The expected area is proportional to the square root of the eigenvalue, or `energy', of the eigenfunction. We show that the nodal area variance obeys an asymptotic law. The resulting asymptotic formula is closely related to the angular distribution and correlations of lattice points lying on spheres.
△ Less
Submitted 23 August, 2017;
originally announced August 2017.
-
Nodal intersections for random waves against a segment on the 3-dimensional torus
Authors:
Riccardo Walter Maffucci
Abstract:
We consider random Gaussian eigenfunctions of the Laplacian on the three-dimensional flat torus, and investigate the number of nodal intersections against a straight line segment. The expected intersection number, against any smooth curve, is universally proportional to the length of the reference curve, times the wavenumber, independent of the geometry. We found an upper bound for the nodal inter…
▽ More
We consider random Gaussian eigenfunctions of the Laplacian on the three-dimensional flat torus, and investigate the number of nodal intersections against a straight line segment. The expected intersection number, against any smooth curve, is universally proportional to the length of the reference curve, times the wavenumber, independent of the geometry. We found an upper bound for the nodal intersections variance, depending on the arithmetic properties of the straight line. The considerations made establish a close relation between this problem and the theory of lattice points on spheres.
△ Less
Submitted 7 September, 2017; v1 submitted 2 November, 2016;
originally announced November 2016.
-
Nodal intersections of random eigenfunctions against a segment on the 2-dimensional torus
Authors:
Riccardo Walter Maffucci
Abstract:
We consider random Gaussian eigenfunctions of the Laplacian on the standard torus, and investigate the number of nodal intersections against a line segment. The expected intersection number, against any smooth curve, is universally proportional to the length of the reference curve, times the wavenumber, independent of the geometry. We found an upper bound for the nodal intersections variance, depe…
▽ More
We consider random Gaussian eigenfunctions of the Laplacian on the standard torus, and investigate the number of nodal intersections against a line segment. The expected intersection number, against any smooth curve, is universally proportional to the length of the reference curve, times the wavenumber, independent of the geometry. We found an upper bound for the nodal intersections variance, depending on whether the slope of the straight line is rational or irrational. Our findings exhibit a close relation between this problem and the theory of lattice points on circles.
△ Less
Submitted 19 April, 2017; v1 submitted 31 March, 2016;
originally announced March 2016.
