Showing 1–18 of 18 results for author: Viazovska, M

Effective module lattices and their shortest vectors

Authors: Nihar Gargava, Vlad Serban, Maryna Viazovska, Ilaria Viglino

Abstract: We prove tight probabilistic bounds for the shortest vectors in module lattices over number fields using the results of arXiv:2308.15275. Moreover, establishing asymptotic formulae for counts of fixed rank matrices with algebraic integer entries and bounded Euclidean length, we prove an approximate Rogers integral formula for discrete sets of module lattices obtained from lifts of algebraic codes.… ▽ More We prove tight probabilistic bounds for the shortest vectors in module lattices over number fields using the results of arXiv:2308.15275. Moreover, establishing asymptotic formulae for counts of fixed rank matrices with algebraic integer entries and bounded Euclidean length, we prove an approximate Rogers integral formula for discrete sets of module lattices obtained from lifts of algebraic codes. This in turn implies that the moment estimates of arXiv:2308.15275 as well as the aforementioned bounds on the shortest vector also carry through for large enough discrete sets of module lattices. △ Less

Submitted 15 February, 2024; originally announced February 2024.

Comments: 21 pages

MSC Class: 11H06 (Primary) 11H50; 68R01; 94B75 (Secondary)

Moments of the number of points in a bounded set for number field lattices

Authors: Nihar Gargava, Vlad Serban, Maryna Viazovska

Abstract: We examine the moments of the number of lattice points in a fixed ball of volume $V$ for lattices in Euclidean space which are modules over the ring of integers of a number field $K$. In particular, denoting by $ω_K$ the number of roots of unity in $K$, we show that for lattices of large enough dimension the moments of the number of $ω_K$-tuples of lattice points converge to those of a Poisson dis… ▽ More We examine the moments of the number of lattice points in a fixed ball of volume $V$ for lattices in Euclidean space which are modules over the ring of integers of a number field $K$. In particular, denoting by $ω_K$ the number of roots of unity in $K$, we show that for lattices of large enough dimension the moments of the number of $ω_K$-tuples of lattice points converge to those of a Poisson distribution of mean $V/ω_K$. This extends work of Rogers for $\mathbb{Z}$-lattices. What is more, we show that this convergence can also be achieved by increasing the degree of the number field $K$ as long as $K$ varies within a set of number fields with uniform lower bounds on the absolute Weil height of non-torsion elements. △ Less

Submitted 15 February, 2024; v1 submitted 29 August, 2023; originally announced August 2023.

Comments: 46 pages, 1 figure, incomplete tangential result in Section 2 was removed and treated in more detail in a separate paper, Appendix C was added

MSC Class: 11H06 (Primary) 52C17; 11G50 (Secondary)

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

Hyperbolic Fourier series

Authors: Andrew Bakan, Haakan Hedenmalm, Alfonso Montes-Rodriguez, Danylo Radchenko, Maryna Viazovska

Abstract: In this article we explain the essence of the interrelation described in [PNAS 118, 15 (2021)] on how to write explicit interpolation formula for solutions of the Klein-Gordon equation by using the recent Fourier pair interpolation formula of Viazovska and Radchenko from [Publ Math-Paris 129, 1 (2019)]. We construct explicitly the sequence in $L^1 (\mathbb{R} )$ which is biorthogonal to the system… ▽ More In this article we explain the essence of the interrelation described in [PNAS 118, 15 (2021)] on how to write explicit interpolation formula for solutions of the Klein-Gordon equation by using the recent Fourier pair interpolation formula of Viazovska and Radchenko from [Publ Math-Paris 129, 1 (2019)]. We construct explicitly the sequence in $L^1 (\mathbb{R} )$ which is biorthogonal to the system $1$, $\exp ( i πn x)$, $\exp ( i πn/ x)$, $n \in \mathbb{Z} \setminus \{0\}$, and show that it is complete in $L^1 (\mathbb{R})$. We associate with each $f \in L^1 (\mathbb{R}, (1+x^2)^{-1} d x)$ its hyperbolic Fourier series $h_{0}(f) + \sum_{n \in \mathbb{Z}\setminus \{0\}}(h_{n}(f) e^{ i πn x} + m_{n}(f) e^{-i πn / x} )$ and prove that it converges to $f$ in the space of tempered distributions on the real line. Applied to the above mentioned biorthogonal system, the integral transform given by $U_{\varphi} (x, y):= \int_{\mathbb{R}} \varphi (t) \exp \left( i x t + i y / t \right) d t $, for $\varphi \in L^{1} (\mathbb{R})$ and $(x, y) \in \mathbb{R}^{2}$, supplies interpolating functions for the Klein-Gordon equation. △ Less

Submitted 4 July, 2023; v1 submitted 30 September, 2021; originally announced October 2021.

Comments: 123 pages, 3 figures

MSC Class: 81Q05; 42C30 (Primary) 33C05; 33E05 (Secondary)

Fourier uniqueness in $\mathbb{R}^4$

Authors: Andrew Bakan, Haakan Hedenmalm, Alfonso Montes-Rodriguez, Danylo Radchenko, Maryna Viazovska

Abstract: We show an interrelation between the uniqueness aspect of the recent Fourier interpolation formula of Radchenko and Viazovska and the Heisenberg uniqueness study for the Klein-Gordon equation and the lattice-cross of critical density, studied by Hedenmalm and Montes-Rodriguez. This has been known since 2017. We show an interrelation between the uniqueness aspect of the recent Fourier interpolation formula of Radchenko and Viazovska and the Heisenberg uniqueness study for the Klein-Gordon equation and the lattice-cross of critical density, studied by Hedenmalm and Montes-Rodriguez. This has been known since 2017. △ Less

Submitted 8 July, 2020; originally announced July 2020.

Comments: 3 pages

MSC Class: 42B10; 37A45; 35L10

Journal ref: PNAS 118 (15), (2021), e20223227118

Universal optimality of the $E_8$ and Leech lattices and interpolation formulas

Authors: Henry Cohn, Abhinav Kumar, Stephen D. Miller, Danylo Radchenko, Maryna Viazovska

Abstract: We prove that the $E_8$ root lattice and the Leech lattice are universally optimal among point configurations in Euclidean spaces of dimensions $8$ and $24$, respectively. In other words, they minimize energy for every potential function that is a completely monotonic function of squared distance (for example, inverse power laws or Gaussians), which is a strong form of robustness not previously kn… ▽ More We prove that the $E_8$ root lattice and the Leech lattice are universally optimal among point configurations in Euclidean spaces of dimensions $8$ and $24$, respectively. In other words, they minimize energy for every potential function that is a completely monotonic function of squared distance (for example, inverse power laws or Gaussians), which is a strong form of robustness not previously known for any configuration in more than one dimension. This theorem implies their recently shown optimality as sphere packings, and broadly generalizes it to allow for long-range interactions. The proof uses sharp linear programming bounds for energy. To construct the optimal auxiliary functions used to attain these bounds, we prove a new interpolation theorem, which is of independent interest. It reconstructs a radial Schwartz function $f$ from the values and radial derivatives of $f$ and its Fourier transform $\widehat{f}$ at the radii $\sqrt{2n}$ for integers $n\ge1$ in $\mathbb{R}^8$ and $n \ge 2$ in $\mathbb{R}^{24}$. To prove this theorem, we construct an interpolation basis using integral transforms of quasimodular forms, generalizing Viazovska's work on sphere packing and placing it in the context of a more conceptual theory. △ Less

Submitted 9 June, 2022; v1 submitted 13 February, 2019; originally announced February 2019.

Comments: 100 pages, 6 figures

Fourier interpolation on the real line

Authors: Danylo Radchenko, Maryna Viazovska

Abstract: We use weakly holomorphic modular forms for the Hecke theta group to construct an explicit interpolation formula for Schwartz functions on the real line. The formula expresses the value of a function at any given point in terms of the values of the function and its Fourier transform on the set $\{0, \pm\sqrt{1}, \pm\sqrt{2}, \pm\sqrt{3},\dots\}$. We use weakly holomorphic modular forms for the Hecke theta group to construct an explicit interpolation formula for Schwartz functions on the real line. The formula expresses the value of a function at any given point in terms of the values of the function and its Fourier transform on the set $\{0, \pm\sqrt{1}, \pm\sqrt{2}, \pm\sqrt{3},\dots\}$. △ Less

Submitted 14 February, 2020; v1 submitted 1 January, 2017; originally announced January 2017.

Journal ref: M. Publ.math.IHES (2018)

The sphere packing problem in dimension 24

Authors: Henry Cohn, Abhinav Kumar, Stephen D. Miller, Danylo Radchenko, Maryna Viazovska

Abstract: Building on Viazovska's recent solution of the sphere packing problem in eight dimensions, we prove that the Leech lattice is the densest packing of congruent spheres in twenty-four dimensions and that it is the unique optimal periodic packing. In particular, we find an optimal auxiliary function for the linear programming bounds, which is an analogue of Viazovska's function for the eight-dimensio… ▽ More Building on Viazovska's recent solution of the sphere packing problem in eight dimensions, we prove that the Leech lattice is the densest packing of congruent spheres in twenty-four dimensions and that it is the unique optimal periodic packing. In particular, we find an optimal auxiliary function for the linear programming bounds, which is an analogue of Viazovska's function for the eight-dimensional case. △ Less

Submitted 28 August, 2017; v1 submitted 21 March, 2016; originally announced March 2016.

Comments: 17 pages

Journal ref: Annals of Mathematics 185 (2017), 1017-1033

The sphere packing problem in dimension 8

Authors: Maryna Viazovska

Abstract: In this paper we prove that no packing of unit balls in Euclidean space $\mathbb{R}^8$ has density greater than that of the $E_8$-lattice packing. In this paper we prove that no packing of unit balls in Euclidean space $\mathbb{R}^8$ has density greater than that of the $E_8$-lattice packing. △ Less

Submitted 3 April, 2017; v1 submitted 14 March, 2016; originally announced March 2016.

Comments: 22 pages, 2 figures

Journal ref: Annals of Mathematics, Pages 991-1015 from Volume 185 (2017), Issue 3

There is no strongly regular graph with parameters (460,153,32,60)

Authors: A. V. Bondarenko, A. Mellit, A. Prymak, D. Radchenko, M. Viazovska

Abstract: We prove that there is no strongly regular graph (SRG) with parameters (460,153,32,60). The proof is based on a recent lower bound on the number of 4-cliques in a SRG and some applications of Euclidean representation of SRGs. We prove that there is no strongly regular graph (SRG) with parameters (460,153,32,60). The proof is based on a recent lower bound on the number of 4-cliques in a SRG and some applications of Euclidean representation of SRGs. △ Less

Submitted 19 April, 2017; v1 submitted 21 September, 2015; originally announced September 2015.

MSC Class: Primary 05C25; Secondary 05C50

Well separated spherical designs

Authors: Andriy Bondarenko, Danylo Radchenko, Maryna Viazovska

Abstract: For each $N\ge C_dt^d$ we prove the existence of a well separated spherical $t$-design in the sphere $S^d$ consisting of $N$ points, where $C_d$ is a constant depending only on $d$. For each $N\ge C_dt^d$ we prove the existence of a well separated spherical $t$-design in the sphere $S^d$ consisting of $N$ points, where $C_d$ is a constant depending only on $d$. △ Less

Submitted 10 July, 2013; v1 submitted 24 March, 2013; originally announced March 2013.

Comments: 25 pages

MSC Class: 52C35; 41A55; 41A63

Petersson inner products of weight one modular forms

Authors: Maryna Viazovska

Abstract: In this paper we study regularized Petersson products between a holomorphic theta series associated to a positive definite binary quadratic form and a weakly holomorphic weight 1 modular form with integral Fourier coefficients. In our recent work \cite{Via CM Green} motivated by the conjecture of B. Gross and D. Zagier on the CM values of higher Green's functions we have discovered that such a Pet… ▽ More In this paper we study regularized Petersson products between a holomorphic theta series associated to a positive definite binary quadratic form and a weakly holomorphic weight 1 modular form with integral Fourier coefficients. In our recent work \cite{Via CM Green} motivated by the conjecture of B. Gross and D. Zagier on the CM values of higher Green's functions we have discovered that such a Petersson product is equal to the logarithm of a certain algebraic number lying in a ring class field associated to the binary quadratic form. The main result of the present paper is the explicit factorization formula for the obtained algebraic number. △ Less

Submitted 22 March, 2013; v1 submitted 20 November, 2012; originally announced November 2012.

Comments: 36 pages

Theta lifts and local Maass forms

Authors: Kathrin Bringmann, Ben Kane, Maryna Viazovska

Abstract: The first two authors and Kohnen have recently introduced a new class of modular objects called locally harmonic Maass forms, which are annihilated almost everywhere by the hyperbolic Laplacian operator. In this paper, we realize these locally harmonic Maass forms as theta lifts of harmonic weak Maass forms. Using the theory of theta lifts, we then construct examples of (non-harmonic) local Maass… ▽ More The first two authors and Kohnen have recently introduced a new class of modular objects called locally harmonic Maass forms, which are annihilated almost everywhere by the hyperbolic Laplacian operator. In this paper, we realize these locally harmonic Maass forms as theta lifts of harmonic weak Maass forms. Using the theory of theta lifts, we then construct examples of (non-harmonic) local Maass forms, which are instead eigenfunctions of the hyperbolic Laplacian almost everywhere. △ Less

Submitted 24 September, 2012; originally announced September 2012.

MSC Class: 11F37; 11F27; 11F11; 11F25; 11E16

CM Values of Higher Green's Functions

Authors: Maryna Viazovska

Abstract: Higher Green functions are real-valued functions of two variables on the upper half plane which are bi-invariant under the action of a congruence subgroup, have logarithmic singularity along the diagonal, and satisfy the equation $Δf = k(1 - k)f$, where $Δ$ is a hyperbolic Laplace operator and $k$ is a positive integer. Such functions were introduced in the paper of Gross and Zagier "Heegner point… ▽ More Higher Green functions are real-valued functions of two variables on the upper half plane which are bi-invariant under the action of a congruence subgroup, have logarithmic singularity along the diagonal, and satisfy the equation $Δf = k(1 - k)f$, where $Δ$ is a hyperbolic Laplace operator and $k$ is a positive integer. Such functions were introduced in the paper of Gross and Zagier "Heegner points and derivatives of $L$-series"(1986). Also it was conjectured in this paper that higher Green's functions have "algebraic" values at CM points. In many particular cases this conjecture was proven by A. Mellit in his Ph. D. thesis. In this note we present a proof of the conjecture for any pair of CM points lying in the same quadratic imaginary field. △ Less

Submitted 20 October, 2011; originally announced October 2011.

Comments: arXiv admin note: some text overlap with arXiv:alg-geom/9609022

Bernstein type inequality in monotone rational approximation

Authors: Andriy V. Bondarenko, Maryna S. Viazovska

Abstract: The following analog of Bernstein inequality for monotone rational functions is established: if $R$ is an increasing on $[-1,1]$ rational function of degree $n$, then $$ R'(x)<\frac{9^n}{1-x^2}\|R\|,\quad x\in (-1,1). $$ The exponential dependence of constant factor on $n$ is shown, with sharp estimates for odd rational functions. The following analog of Bernstein inequality for monotone rational functions is established: if $R$ is an increasing on $[-1,1]$ rational function of degree $n$, then $$ R'(x)<\frac{9^n}{1-x^2}\|R\|,\quad x\in (-1,1). $$ The exponential dependence of constant factor on $n$ is shown, with sharp estimates for odd rational functions. △ Less

Submitted 22 September, 2010; originally announced September 2010.

Comments: 9 pages

Journal ref: East J. Approx. 11 (2005), no. 1, 103--108

Optimal asymptotic bounds for spherical designs

Authors: Andriy Bondarenko, Danylo Radchenko, Maryna Viazovska

Abstract: In this paper we prove the conjecture of Korevaar and Meyers: for each $N\ge c_dt^d$ there exists a spherical $t$-design in the sphere $S^d$ consisting of $N$ points, where $c_d$ is a constant depending only on $d$. In this paper we prove the conjecture of Korevaar and Meyers: for each $N\ge c_dt^d$ there exists a spherical $t$-design in the sphere $S^d$ consisting of $N$ points, where $c_d$ is a constant depending only on $d$. △ Less

Submitted 7 March, 2011; v1 submitted 22 September, 2010; originally announced September 2010.

Comments: 13 pages

MSC Class: 52C35; 41A55; 41A63

Spherical designs via Brouwer fixed point theorem

Authors: Andriy V. Bondarenko, Maryna S. Viazovska

Abstract: For each N>=c_d*n^{2d*(d+1)/(d+2)} we prove the existence of a spherical n-design on S^d consisting of N points, where c_d is a constant depending only on $d$. For each N>=c_d*n^{2d*(d+1)/(d+2)} we prove the existence of a spherical n-design on S^d consisting of N points, where c_d is a constant depending only on $d$. △ Less

Submitted 10 November, 2008; originally announced November 2008.

Comments: 17 pages

Journal ref: SIAM J. Discrete Math. 24 (2010), no. 1, 207--217

New asymptotic estimates for spherical designs

Authors: Andriy V. Bondarenko, Maryna S. Viazovska

Abstract: Let N(n, t) be the minimal number of points in a spherical t-design on the unit sphere S^n in R^{n+1}. For each n >= 3, we prove a new asymptotic upper bound N(n, t) <= C(n)t^{a_n}, where C(n) is a constant depending only on n, a_3 <= 4, a_4 <= 7, a_5 <= 9, a_6 <= 11, a_7 <= 12, a_8 <= 16, a_9 <= 19, a_10 <= 22, and a_n < n/2*log_2(2n), n > 10. Let N(n, t) be the minimal number of points in a spherical t-design on the unit sphere S^n in R^{n+1}. For each n >= 3, we prove a new asymptotic upper bound N(n, t) <= C(n)t^{a_n}, where C(n) is a constant depending only on n, a_3 <= 4, a_4 <= 7, a_5 <= 9, a_6 <= 11, a_7 <= 12, a_8 <= 16, a_9 <= 19, a_10 <= 22, and a_n < n/2*log_2(2n), n > 10. △ Less

Submitted 2 November, 2008; originally announced November 2008.

Comments: 12 pages

Journal ref: Journal of Approximation Theory Volume 152, Issue 1, May 2008, Pages 101-106