Showing 1–12 of 12 results for author: de Courcy-Ireland, M

Families of isospectral and isoscattering quantum graphs

Authors: Pavel Kurasov, Omer Farooq, Michał Ławniczak, Szymon Bauch, Mats-Erik Pistol, Matthew de Courcy-Ireland, Leszek Sirko

Abstract: A concept of germ graphs and the M-function formalism are employed to construct large families of isospectral and isoscattering graphs. This approach represents a complete departure from the original approach pioneered by Sunada, where isospectral graphs are obtained as quotients of a certain large symmetric graph. Using the M-function formalism and the symmetries of the graph itself we construct… ▽ More A concept of germ graphs and the M-function formalism are employed to construct large families of isospectral and isoscattering graphs. This approach represents a complete departure from the original approach pioneered by Sunada, where isospectral graphs are obtained as quotients of a certain large symmetric graph. Using the M-function formalism and the symmetries of the graph itself we construct isospectral and isoscattering pairs. In our novel approach isospectral pairs do not need to be embedded into a larger symmetric graph as in Sunada's approach. We demonstrate that the introduced formalism can also be extended to graphs with dissipation. The theoretical predictions are validated experimentally using microwave networks emulating open quantum graphs with dissipation. △ Less

Submitted 22 May, 2025; originally announced May 2025.

Journal ref: Physical Review Research 2025

Six-dimensional sphere packing and linear programming

Authors: Matthew de Courcy-Ireland, Maria Dostert, Maryna Viazovska

Abstract: We prove that the Cohn-Elkies linear programming bound for sphere packing is not sharp in dimension 6. The proof uses duality and optimization over a space of modular forms, generalizing a construction of Cohn-Triantafillou to the case of odd weight and non-trivial character. We prove that the Cohn-Elkies linear programming bound for sphere packing is not sharp in dimension 6. The proof uses duality and optimization over a space of modular forms, generalizing a construction of Cohn-Triantafillou to the case of odd weight and non-trivial character. △ Less

Submitted 27 July, 2023; v1 submitted 16 November, 2022; originally announced November 2022.

Comments: 36 pages, 3 figures, 3 tables, 3 supplementary text files; v3: corrected typos, simplified system (4.2) and equation (5.4); v4: same as v3 but more comments and two new formulas added to supplementary file

MSC Class: 52C17; 11F30; 11F25; 11Y99; 42A38; 49N15; 52C23

Journal ref: Math. Comp. 93 (2024), 1993-2029

Non-planarity of Markoff graphs mod p

Authors: Matthew de Courcy-Ireland

Abstract: We prove the non-planarity of a family of 3-regular graphs constructed from the solutions to the Markoff equation $x^2+y^2+z^2=xyz$ modulo prime numbers greater than 7. The proof uses Euler characteristic and an enumeration of the short cycles in these graphs. Non-planarity for large primes would follow assuming a spectral gap, which was the original motivation. For primes congruent to 1 modulo 4,… ▽ More We prove the non-planarity of a family of 3-regular graphs constructed from the solutions to the Markoff equation $x^2+y^2+z^2=xyz$ modulo prime numbers greater than 7. The proof uses Euler characteristic and an enumeration of the short cycles in these graphs. Non-planarity for large primes would follow assuming a spectral gap, which was the original motivation. For primes congruent to 1 modulo 4, or congruent to 1, 2, or 4 modulo 7, explicit constructions give an alternate proof of non-planarity. △ Less

Submitted 12 September, 2022; v1 submitted 26 May, 2021; originally announced May 2021.

Comments: v4: 32 pages, 10 figures; includes proof of the conjecture from v2; accepted for publication in Commentarii Mathematici Helvetici

MSC Class: 11D25; 05C10; 05C50; 11F72; 37P25

Effective bounds for monochromatic connectivity measures in two dimensions

Authors: Matthew de Courcy-Ireland, Suresh Eswarathasan

Abstract: We establish numerical lower bounds for the monochromatic connectivity measure in two dimensions introduced by Sarnak and Wigman. This measure dictates among the nodal domains of a random plane wave what proportion have any given number of holes, and how they are nested. Our bounds provide the first effective estimate for the number of simply connected domains and for those that contain a single h… ▽ More We establish numerical lower bounds for the monochromatic connectivity measure in two dimensions introduced by Sarnak and Wigman. This measure dictates among the nodal domains of a random plane wave what proportion have any given number of holes, and how they are nested. Our bounds provide the first effective estimate for the number of simply connected domains and for those that contain a single hole. The deterministic aspect of the proof is to find a single function with a prescribed zero set and, using a quantitative form of the implicit function theorem, to argue that the same configuration occurs in the zero set of any sufficiently close approximation to this function. The probabilistic aspect is to quantify the likelihood of a random wave being close enough to this function. △ Less

Submitted 14 May, 2020; originally announced May 2020.

Comments: 29 pages. All comments are welcome!

A central limit theorem for integrals of random waves

Authors: Matthew de Courcy-Ireland, Marius Lemm

Abstract: We derive a central limit theorem for the mean-square of random waves in the high-frequency limit over shrinking sets. Our proof applies to any compact Riemannian manifold of arbitrary dimension, thanks to the universality of the local Weyl law. The key technical step is an estimate capturing some cancellation in a triple integral of Bessel functions, which we achieve using Gegenbauer's addition f… ▽ More We derive a central limit theorem for the mean-square of random waves in the high-frequency limit over shrinking sets. Our proof applies to any compact Riemannian manifold of arbitrary dimension, thanks to the universality of the local Weyl law. The key technical step is an estimate capturing some cancellation in a triple integral of Bessel functions, which we achieve using Gegenbauer's addition formula. △ Less

Submitted 15 March, 2019; originally announced March 2019.

Comments: 31 pages, 2 figures

MSC Class: 58J51; 35P20; 58J50

Shrinking scale equidistribution for monochromatic random waves on compact manifolds

Authors: Matthew de Courcy-Ireland

Abstract: We prove equidistribution at shrinking scales for the monochromatic ensemble on a compact Riemannian manifold of any dimension. This ensemble on an arbitrary manifold takes a slowly growing spectral window in order to synthesize a random function. With high probability, equidistribution takes place close to the optimal wave scale and simultaneously over the whole manifold. The proof uses Weyl's la… ▽ More We prove equidistribution at shrinking scales for the monochromatic ensemble on a compact Riemannian manifold of any dimension. This ensemble on an arbitrary manifold takes a slowly growing spectral window in order to synthesize a random function. With high probability, equidistribution takes place close to the optimal wave scale and simultaneously over the whole manifold. The proof uses Weyl's law to approximate the two-point correlation function of the ensemble, and a Chernoff bound to deduce concentration. △ Less

Submitted 14 February, 2019; originally announced February 2019.

Comments: 16 pages

MSC Class: 58J51; 35P20; 58J50

Experiments with the Markoff surface

Authors: Matthew de Courcy-Ireland, Seungjae Lee

Abstract: We confirm, for the primes up to 3000, the conjecture of Bourgain, Gamburd, and Sarnak on strong approximation for the Markoff surface $x^2+y^2+z^2 = 3xyz$ modulo primes. For primes congruent to 3 modulo 4, we find data suggesting that some natural graphs constructed from this equation are asymptotically Ramanujan. For primes congruent to 1 modulo 4, the data suggest a weaker spectral gap. In both… ▽ More We confirm, for the primes up to 3000, the conjecture of Bourgain, Gamburd, and Sarnak on strong approximation for the Markoff surface $x^2+y^2+z^2 = 3xyz$ modulo primes. For primes congruent to 3 modulo 4, we find data suggesting that some natural graphs constructed from this equation are asymptotically Ramanujan. For primes congruent to 1 modulo 4, the data suggest a weaker spectral gap. In both cases, there is close agreement with the Kesten-McKay law for the density of states for random 3-regular graphs. We also study the connectedness of other level sets $x^2+y^2+z^2-3xyz = k$. In the degenerate case of the Cayley cubic, we give a complete description of the orbits. △ Less

Submitted 18 December, 2018; originally announced December 2018.

Comments: 27 pages, 6 figures

MSC Class: 11D25; 05C50; 11F72; 37P25

Kesten-McKay law for the Markoff surface mod p

Authors: Matthew de Courcy-Ireland, Michael Magee

Abstract: For each prime $p$, we study the eigenvalues of a 3-regular graph on roughly $p^2$ vertices constructed from the Markoff surface. We show they asymptotically follow the Kesten-McKay law, which also describes the eigenvalues of a random regular graph. The proof is based on the method of moments and takes advantage of a natural group action on the Markoff surface. For each prime $p$, we study the eigenvalues of a 3-regular graph on roughly $p^2$ vertices constructed from the Markoff surface. We show they asymptotically follow the Kesten-McKay law, which also describes the eigenvalues of a random regular graph. The proof is based on the method of moments and takes advantage of a natural group action on the Markoff surface. △ Less

Submitted 31 October, 2018; originally announced November 2018.

Comments: 24 pages, 1 figure

MSC Class: 11D25; 05C50; 11F72; 37P25

Hidden Multiscale Order in the Primes

Authors: Salvatore Torquato, Ge Zhang, Matthew De Courcy-Ireland

Abstract: We study the {pair correlations between} prime numbers in an interval $M \leq p \leq M + L$ with $M \rightarrow \infty$, $L/M \rightarrow β> 0$. By analyzing the \emph{structure factor}, we prove, conditionally on the {Hardy-Littlewood conjecture on prime pairs}, that the primes are characterized by unanticipated multiscale order. Specifically, their limiting structure factor is that of a union of… ▽ More We study the {pair correlations between} prime numbers in an interval $M \leq p \leq M + L$ with $M \rightarrow \infty$, $L/M \rightarrow β> 0$. By analyzing the \emph{structure factor}, we prove, conditionally on the {Hardy-Littlewood conjecture on prime pairs}, that the primes are characterized by unanticipated multiscale order. Specifically, their limiting structure factor is that of a union of an infinite number of periodic systems and is characterized by dense set of Dirac delta functions. Primes in dyadic intervals are the first examples of what we call {\it effectively limit-periodic} point configurations. This behavior implies anomalously suppressed density fluctuations compared to uncorrelated (Poisson) systems at large length scales, which is now known as hyperuniformity. Using a scalar order metric $τ$ calculated from the structure factor, we identify a transition between the order exhibited when $L$ is comparable to $M$ and the uncorrelated behavior when $L$ is only logarithmic in $M$. Our analysis for the structure factor leads to an algorithm to reconstruct primes in a dyadic interval with high accuracy. △ Less

Submitted 16 June, 2018; v1 submitted 15 April, 2018; originally announced April 2018.

Comments: 12 figures

Uncovering Multiscale Order in the Prime Numbers via Scattering

Authors: S. Torquato, G. Zhang, M. de Courcy-Ireland

Abstract: The prime numbers have been a source of fascination for millenia and continue to surprise us. Motivated by the hyperuniformity concept, which has attracted recent attention in physics and materials science, we show that the prime numbers in certain large intervals possess unanticipated order across length scales and represent the first example of a new class of many-particle systems with pure poin… ▽ More The prime numbers have been a source of fascination for millenia and continue to surprise us. Motivated by the hyperuniformity concept, which has attracted recent attention in physics and materials science, we show that the prime numbers in certain large intervals possess unanticipated order across length scales and represent the first example of a new class of many-particle systems with pure point diffraction patterns, which we call {\it effectively limit-periodic}. In particular, the primes in this regime are hyperuniform. This is shown analytically using the structure factor $S(k)$, proportional to the scattering intensity from a many-particle system. Remarkably, the structure factor for primes is characterized by dense Bragg peaks, like a quasicrystal, but positioned at certain rational wavenumbers, like a limit-periodic point pattern. We identify a transition between ordered and disordered prime regimes that depends on the intervals studied. Our analysis leads to an algorithm that enables one to predict primes with high accuracy. Effective limit-periodicity deserves future investigation in physics, independent of its link to the primes. △ Less

Submitted 28 February, 2018; originally announced February 2018.

Comments: 5 figures

Small-scale equidistribution for random spherical harmonics

Authors: Matthew de Courcy-Ireland

Abstract: We study random spherical harmonics at shrinking scales. We compare the mass assigned to a small spherical cap with its area, and find the smallest possible scale at which, with high probability, the discrepancy between them is small simultaneously at every point on the sphere. We study random spherical harmonics at shrinking scales. We compare the mass assigned to a small spherical cap with its area, and find the smallest possible scale at which, with high probability, the discrepancy between them is small simultaneously at every point on the sphere. △ Less

Submitted 31 October, 2017; originally announced November 2017.

Comments: 20 pages, 1 figure

The Gaussian core model in high dimensions

Authors: Henry Cohn, Matthew de Courcy-Ireland

Abstract: We prove lower bounds for energy in the Gaussian core model, in which point particles interact via a Gaussian potential. Under the potential function $t \mapsto e^{-αt^2}$ with $0 < α< 4π/e$, we show that no point configuration in $\mathbf{R}^n$ of density $ρ$ can have energy less than $(ρ+o(1))(π/α)^{n/2}$ as $n \to \infty$ with $α$ and $ρ$ fixed. This lower bound asymptotically matches the upper… ▽ More We prove lower bounds for energy in the Gaussian core model, in which point particles interact via a Gaussian potential. Under the potential function $t \mapsto e^{-αt^2}$ with $0 < α< 4π/e$, we show that no point configuration in $\mathbf{R}^n$ of density $ρ$ can have energy less than $(ρ+o(1))(π/α)^{n/2}$ as $n \to \infty$ with $α$ and $ρ$ fixed. This lower bound asymptotically matches the upper bound of $ρ(π/α)^{n/2}$ obtained as the expectation in the Siegel mean value theorem, and it is attained by random lattices. The proof is based on the linear programming bound, and it uses an interpolation construction analogous to those used for the Beurling-Selberg extremal problem in analytic number theory. In the other direction, we prove that the upper bound of $ρ(π/α)^{n/2}$ is no longer asymptotically sharp when $α> πe$. As a consequence of our results, we obtain bounds in $\mathbf{R}^n$ for the minimal energy under inverse power laws $t \mapsto 1/t^{n+s}$ with $s>0$, and these bounds are sharp to within a constant factor as $n \to \infty$ with $s$ fixed. △ Less

Submitted 11 April, 2018; v1 submitted 31 March, 2016; originally announced March 2016.

Comments: 30 pages, 1 figure

Journal ref: Duke Math. J. 167, no. 13 (2018), 2417–2455