Showing 1–21 of 21 results for author: de Laat, D

Optimality and uniqueness of the $D_4$ root system

Authors: David de Laat, Nando M. Leijenhorst, Willem H. H. de Muinck Keizer

Abstract: We prove that the $D_4$ root system (the set of vertices of the regular $24$-cell) is the unique optimal kissing configuration in $\mathbb R^4$, and is an optimal spherical code. For this, we use semidefinite programming to compute an exact optimal solution to the second level of the Lasserre hierarchy. We also improve the upper bound for the kissing number problem in $\mathbb R^6$ to $77$. We prove that the $D_4$ root system (the set of vertices of the regular $24$-cell) is the unique optimal kissing configuration in $\mathbb R^4$, and is an optimal spherical code. For this, we use semidefinite programming to compute an exact optimal solution to the second level of the Lasserre hierarchy. We also improve the upper bound for the kissing number problem in $\mathbb R^6$ to $77$. △ Less

Submitted 27 May, 2024; v1 submitted 29 April, 2024; originally announced April 2024.

MSC Class: 90C22; 52C17

Optimality of spherical codes via exact semidefinite programming bounds

Authors: Henry Cohn, David de Laat, Nando Leijenhorst

Abstract: We show that the spectral embeddings of all known triangle-free strongly regular graphs are optimal spherical codes (the new cases are $56$ points in $20$ dimensions, $50$ points in $21$ dimensions, and $77$ points in $21$ dimensions), as are certain mutually unbiased basis arrangements constructed using Kerdock codes in up to $1024$ dimensions (namely, $2^{4k} + 2^{2k+1}$ points in $2^{2k}$ dimen… ▽ More We show that the spectral embeddings of all known triangle-free strongly regular graphs are optimal spherical codes (the new cases are $56$ points in $20$ dimensions, $50$ points in $21$ dimensions, and $77$ points in $21$ dimensions), as are certain mutually unbiased basis arrangements constructed using Kerdock codes in up to $1024$ dimensions (namely, $2^{4k} + 2^{2k+1}$ points in $2^{2k}$ dimensions for $2 \le k \le 5$). As a consequence of the latter, we obtain optimality of the Kerdock binary codes of block length $64$, $256$, and $1024$, as well as uniqueness for block length $64$. We also prove universal optimality for $288$ points on a sphere in $16$ dimensions. To prove these results, we use three-point semidefinite programming bounds, for which only a few sharp cases were known previously. To obtain rigorous results, we develop improved techniques for rounding approximate solutions of semidefinite programs to produce exact optimal solutions. △ Less

Submitted 25 March, 2024; originally announced March 2024.

Comments: 32 pages, 1 figure

Multiplicity of nontrivial zeros of primitive L-functions via higher-level correlations

Authors: Felipe Gonçalves, David de Laat, Nando Leijenhorst

Abstract: We give universal bounds on the fraction of nontrivial zeros having given multiplicity for L-functions attached to a cuspidal automorphic representation of $\mathrm{GL}_m/\mathbb{Q}$. For this, we apply the higher-level correlation asymptotic of Hejhal and Rudnick & Sarnak in conjunction with semidefinite programming bounds. We give universal bounds on the fraction of nontrivial zeros having given multiplicity for L-functions attached to a cuspidal automorphic representation of $\mathrm{GL}_m/\mathbb{Q}$. For this, we apply the higher-level correlation asymptotic of Hejhal and Rudnick & Sarnak in conjunction with semidefinite programming bounds. △ Less

Submitted 2 March, 2023; originally announced March 2023.

Comments: 15 pages

The Lasserre hierarchy for equiangular lines with a fixed angle

Authors: David de Laat, Fabrício Caluza Machado, Willem de Muinck Keizer

Abstract: We compute the second and third levels of the Lasserre hierarchy for the spherical finite distance problem. A connection is used between invariants in representations of the orthogonal group and representations of the general linear group, which allows computations in high dimensions. We give new linear bounds on the maximum number of equiangular lines in dimension $n$ with common angle… ▽ More We compute the second and third levels of the Lasserre hierarchy for the spherical finite distance problem. A connection is used between invariants in representations of the orthogonal group and representations of the general linear group, which allows computations in high dimensions. We give new linear bounds on the maximum number of equiangular lines in dimension $n$ with common angle $\arccos α$. These are obtained through asymptotic analysis in $n$ of the semidefinite programming bound given by the second level. △ Less

Submitted 4 September, 2023; v1 submitted 29 November, 2022; originally announced November 2022.

Comments: 25 pages, 2 figures. Submitted version

MSC Class: 90C22; 52C17

Three-point bounds for sphere packing

Authors: Henry Cohn, David de Laat, Andrew Salmon

Abstract: We define three-point bounds for sphere packing that refine the linear programming bound, and we compute these bounds numerically using semidefinite programming by choosing a truncation radius for the three-point function. As a result, we obtain new upper bounds on the sphere packing density in dimension 4 through 7 and 9 through 16. We also give a different three-point bound for lattice packing a… ▽ More We define three-point bounds for sphere packing that refine the linear programming bound, and we compute these bounds numerically using semidefinite programming by choosing a truncation radius for the three-point function. As a result, we obtain new upper bounds on the sphere packing density in dimension 4 through 7 and 9 through 16. We also give a different three-point bound for lattice packing and conjecture that this second bound is sharp in dimension 4. △ Less

Submitted 30 June, 2022; originally announced June 2022.

Comments: 37 pages, 1 figure

Solving clustered low-rank semidefinite programs arising from polynomial optimization

Authors: Nando Leijenhorst, David de Laat

Abstract: We study a primal-dual interior point method specialized to clustered low-rank semidefinite programs requiring high precision numerics, which arise from certain multivariate polynomial (matrix) programs through sums-of-squares characterizations and sampling. We consider the interplay of sampling and symmetry reduction as well as a greedy method to obtain numerically good bases and sample points. W… ▽ More We study a primal-dual interior point method specialized to clustered low-rank semidefinite programs requiring high precision numerics, which arise from certain multivariate polynomial (matrix) programs through sums-of-squares characterizations and sampling. We consider the interplay of sampling and symmetry reduction as well as a greedy method to obtain numerically good bases and sample points. We apply this to the computation of three-point bounds for the kissing number problem, for which we show a significant speedup. This allows for the computation of improved kissing number bounds in dimensions $11$ through $23$. The approach performs well for problems with bad numerical conditioning, which we show through new computations for the binary sphere packing problem. △ Less

Submitted 31 March, 2023; v1 submitted 24 February, 2022; originally announced February 2022.

Comments: 28 pages

MSC Class: 90C22; 90C23; 52C17; 90-04

High-dimensional sphere packing and the modular bootstrap

Authors: Nima Afkhami-Jeddi, Henry Cohn, Thomas Hartman, David de Laat, Amirhossein Tajdini

Abstract: We carry out a numerical study of the spinless modular bootstrap for conformal field theories with current algebra $U(1)^c \times U(1)^c$, or equivalently the linear programming bound for sphere packing in $2c$ dimensions. We give a more detailed picture of the behavior for finite $c$ than was previously available, and we extrapolate as $c \to \infty$. Our extrapolation indicates an exponential im… ▽ More We carry out a numerical study of the spinless modular bootstrap for conformal field theories with current algebra $U(1)^c \times U(1)^c$, or equivalently the linear programming bound for sphere packing in $2c$ dimensions. We give a more detailed picture of the behavior for finite $c$ than was previously available, and we extrapolate as $c \to \infty$. Our extrapolation indicates an exponential improvement for sphere packing density bounds in high dimensions. Furthermore, we study when these bounds can be tight. Besides the known cases $c=1/2$, $4$, and $12$ and the conjectured case $c=1$, our calculations numerically rule out sharp bounds for all other $c<90$, by combining the modular bootstrap with linear programming bounds for spherical codes. △ Less

Submitted 13 December, 2020; v1 submitted 3 June, 2020; originally announced June 2020.

Comments: 48 pages, 19 figures

Journal ref: J. High Energ. Phys. 12 (2020) 66

Primes in arithmetic progressions and semidefinite programming

Authors: Andrés Chirre, Valdir José Pereira Júnior, David de Laat

Abstract: Assuming the generalized Riemann hypothesis, we give asymptotic bounds on the size of intervals that contain primes from a given arithmetic progression using the approach developed by Carneiro, Milinovich and Soundararajan [Comment. Math. Helv. 94, no. 3 (2019)]. For this we extend the Guinand-Weil explicit formula over all Dirichlet characters modulo $q \geq 3$, and we reduce the associated extre… ▽ More Assuming the generalized Riemann hypothesis, we give asymptotic bounds on the size of intervals that contain primes from a given arithmetic progression using the approach developed by Carneiro, Milinovich and Soundararajan [Comment. Math. Helv. 94, no. 3 (2019)]. For this we extend the Guinand-Weil explicit formula over all Dirichlet characters modulo $q \geq 3$, and we reduce the associated extremal problems to convex optimization problems that can be solved numerically via semidefinite programming. △ Less

Submitted 10 January, 2021; v1 submitted 5 May, 2020; originally announced May 2020.

Comments: 11 pages, 5 ancillary files

MSC Class: 11N05; 11N13; 90C22

Exact semidefinite programming bounds for packing problems

Authors: Maria Dostert, David de Laat, Philippe Moustrou

Abstract: In this paper we give an algorithm to round the floating point output of a semidefinite programming solver to a solution over the rationals or a quadratic extension of the rationals. We apply this to get sharp bounds for packing problems, and we use these sharp bounds to prove that certain optimal packing configurations are unique up to rotations. In particular, we show that the configuration comi… ▽ More In this paper we give an algorithm to round the floating point output of a semidefinite programming solver to a solution over the rationals or a quadratic extension of the rationals. We apply this to get sharp bounds for packing problems, and we use these sharp bounds to prove that certain optimal packing configurations are unique up to rotations. In particular, we show that the configuration coming from the $\mathsf{E}_8$ root lattice is the unique optimal code with minimal angular distance $π/3$ on the hemisphere in $\mathbb R^8$, and we prove that the three-point bound for the $(3, 8, \vartheta)$-spherical code, where $\vartheta$ is such that $\cos \vartheta = (2\sqrt{2}-1)/7$, is sharp by rounding to $\mathbb Q[\sqrt{2}]$. We also use our machinery to compute sharp upper bounds on the number of spheres that can be packed into a larger sphere. △ Less

Submitted 9 July, 2020; v1 submitted 1 January, 2020; originally announced January 2020.

Comments: 24 pages

Pair correlation for Dedekind zeta functions of abelian extensions

Authors: David de Laat, Larry Rolen, Zack Tripp, Ian Wagner

Abstract: Here we study problems related to the proportions of zeros, especially simple and distinct zeros on the critical line, of Dedekind zeta functions. We obtain new bounds on a counting function that measures the discrepancy of the zeta functions from having all zeros simple. In particular, for quadratic number fields, we deduce that more than 45% of the zeros are distinct. This extends work based on… ▽ More Here we study problems related to the proportions of zeros, especially simple and distinct zeros on the critical line, of Dedekind zeta functions. We obtain new bounds on a counting function that measures the discrepancy of the zeta functions from having all zeros simple. In particular, for quadratic number fields, we deduce that more than 45% of the zeros are distinct. This extends work based on Montgomery's pair correlation approach for the Riemann zeta function. Our optimization problems can be interpreted as interpolants between the pair correlation bound for the Riemann zeta function and the Cohn-Elkies sphere packing bound in dimension 1. We compute the bounds through optimization over Schwartz functions using semidefinite programming and also show how semidefinite programming can be used to optimize over functions with bounded support. △ Less

Submitted 13 August, 2019; originally announced August 2019.

Comments: 16 pages, 9 ancillary files

MSC Class: 11M26; 90C22

$k$-point semidefinite programming bounds for equiangular lines

Authors: David de Laat, Fabrício Caluza Machado, Fernando Mário de Oliveira Filho, Frank Vallentin

Abstract: We give a hierarchy of $k$-point bounds extending the Delsarte-Goethals-Seidel linear programming $2$-point bound and the Bachoc-Vallentin semidefinite programming $3$-point bound for spherical codes. An optimized implementation of this hierarchy allows us to compute~$4$, $5$, and $6$-point bounds for the maximum number of equiangular lines in Euclidean space with a fixed common angle. We give a hierarchy of $k$-point bounds extending the Delsarte-Goethals-Seidel linear programming $2$-point bound and the Bachoc-Vallentin semidefinite programming $3$-point bound for spherical codes. An optimized implementation of this hierarchy allows us to compute~$4$, $5$, and $6$-point bounds for the maximum number of equiangular lines in Euclidean space with a fixed common angle. △ Less

Submitted 16 November, 2019; v1 submitted 14 December, 2018; originally announced December 2018.

Comments: 26 pages, 4 figures. New introduction and references updated

MSC Class: 90C22; 52C99

Journal ref: Mathematical Programming 194 (2022), 533-567

Pair Correlation Estimates for the Zeros of the Zeta Function via Semidefinite Programming

Authors: Andrés Chirre, Felipe Gonçalves, David de Laat

Abstract: In this paper we study the distribution of the non-trivial zeros of the Riemann zeta-function $ζ(s)$ (and other L-functions) using Montgomery's pair correlation approach. We use semidefinite programming to improve upon numerous asymptotic bounds in the theory of $ζ(s)$, including the proportion of distinct zeros, counts of small gaps between zeros, and sums involving multiplicities of zeros. In this paper we study the distribution of the non-trivial zeros of the Riemann zeta-function $ζ(s)$ (and other L-functions) using Montgomery's pair correlation approach. We use semidefinite programming to improve upon numerous asymptotic bounds in the theory of $ζ(s)$, including the proportion of distinct zeros, counts of small gaps between zeros, and sums involving multiplicities of zeros. △ Less

Submitted 18 November, 2019; v1 submitted 20 October, 2018; originally announced October 2018.

Comments: 16 pages, 7 ancillary files

MSC Class: 11M26; 90C22

Bounds on entanglement dimensions and quantum graph parameters via noncommutative polynomial optimization

Authors: Sander Gribling, David de Laat, Monique Laurent

Abstract: In this paper we study bipartite quantum correlations using techniques from tracial noncommutative polynomial optimization. We construct a hierarchy of semidefinite programming lower bounds on the minimal entanglement dimension of a bipartite correlation. This hierarchy converges to a new parameter: the minimal average entanglement dimension, which measures the amount of entanglement needed to rep… ▽ More In this paper we study bipartite quantum correlations using techniques from tracial noncommutative polynomial optimization. We construct a hierarchy of semidefinite programming lower bounds on the minimal entanglement dimension of a bipartite correlation. This hierarchy converges to a new parameter: the minimal average entanglement dimension, which measures the amount of entanglement needed to reproduce a quantum correlation when access to shared randomness is free. For synchronous correlations, we show a correspondence between the minimal entanglement dimension and the completely positive semidefinite rank of an associated matrix. We then study optimization over the set of synchronous correlations by investigating quantum graph parameters. We unify existing bounds on the quantum chromatic number and the quantum stability number by placing them in the framework of tracial optimization. In particular, we show that the projective packing number, the projective rank, and the tracial rank arise naturally when considering tracial analogues of the Lasserre hierarchy for the stability and chromatic number of a graph. We also introduce semidefinite programming hierarchies converging to the commuting quantum chromatic number and commuting quantum stability number. △ Less

Submitted 9 January, 2018; v1 submitted 31 August, 2017; originally announced August 2017.

Comments: 26 pages

Lower bounds on matrix factorization ranks via noncommutative polynomial optimization

Authors: Sander Gribling, David de Laat, Monique Laurent

Abstract: We use techniques from (tracial noncommutative) polynomial optimization to formulate hierarchies of semidefinite programming lower bounds on matrix factorization ranks. In particular, we consider the nonnegative rank, the positive semidefinite rank, and their symmetric analogues: the completely positive rank and the completely positive semidefinite rank. We study the convergence properties of our… ▽ More We use techniques from (tracial noncommutative) polynomial optimization to formulate hierarchies of semidefinite programming lower bounds on matrix factorization ranks. In particular, we consider the nonnegative rank, the positive semidefinite rank, and their symmetric analogues: the completely positive rank and the completely positive semidefinite rank. We study the convergence properties of our hierarchies, compare them extensively to known lower bounds, and provide some (numerical) examples. △ Less

Submitted 5 November, 2018; v1 submitted 4 August, 2017; originally announced August 2017.

Comments: 51 pages, 2 figures. The source file includes two implementations of all bounds constructed in this paper, one in Matlab and one in Julia

MSC Class: 15B48; 15A23; 90C22

Moment methods in energy minimization: New bounds for Riesz minimal energy problems

Authors: David de Laat

Abstract: We use moment techniques to construct a converging hierarchy of optimization problems to lower bound the ground state energy of interacting particle systems. We approximate (from below) the infinite dimensional optimization problems in this hierarchy by block diagonal semidefinite programs. For this we develop the necessary harmonic analysis for spaces consisting of subsets of another space, and w… ▽ More We use moment techniques to construct a converging hierarchy of optimization problems to lower bound the ground state energy of interacting particle systems. We approximate (from below) the infinite dimensional optimization problems in this hierarchy by block diagonal semidefinite programs. For this we develop the necessary harmonic analysis for spaces consisting of subsets of another space, and we develop symmetric sum-of-squares techniques. We numerically compute the second step of our hierarchy for Riesz s-energy problems with five particles on the 2-dimensional unit sphere, where the s=1 case is the Thomson problem. This yields new numerically sharp bounds (up to high precision) and suggests the second step of our hierarchy may be sharp throughout a phase transition and may be universally sharp for 5-particles on the unit sphere. This is the first time a 4-point bound has been computed for a problem in discrete geometry. △ Less

Submitted 9 November, 2019; v1 submitted 16 October, 2016; originally announced October 2016.

Comments: (v2) 43 pages, revision based on suggestions by referee, published in Trans. Amer. Math. Soc

MSC Class: 52C17; 90C22

Journal ref: Trans. Amer. Math. Soc. (2019)

A Breakthrough in Sphere Packing: The Search for Magic Functions

Authors: David de Laat, Frank Vallentin

Abstract: This paper is an exposition, written for the Nieuw Archief voor Wiskunde, about the two recent breakthrough results in the theory of sphere packings. It includes an interview with Henry Cohn, Abhinav Kumar, Stephen D. Miller, and Maryna Viazovska. This paper is an exposition, written for the Nieuw Archief voor Wiskunde, about the two recent breakthrough results in the theory of sphere packings. It includes an interview with Henry Cohn, Abhinav Kumar, Stephen D. Miller, and Maryna Viazovska. △ Less

Submitted 7 July, 2016; originally announced July 2016.

Comments: 18 pages

Journal ref: Nieuw Archief voor Wiskunde (5) 17 (2016), 184-192

Matrices with high completely positive semidefinite rank

Authors: Sander Gribling, David de Laat, Monique Laurent

Abstract: A real symmetric matrix $M$ is completely positive semidefinite if it admits a Gram representation by (Hermitian) positive semidefinite matrices of any size $d$. The smallest such $d$ is called the (complex) completely positive semidefinite rank of $M$, and it is an open question whether there exists an upper bound on this number as a function of the matrix size. We construct completely positive s… ▽ More A real symmetric matrix $M$ is completely positive semidefinite if it admits a Gram representation by (Hermitian) positive semidefinite matrices of any size $d$. The smallest such $d$ is called the (complex) completely positive semidefinite rank of $M$, and it is an open question whether there exists an upper bound on this number as a function of the matrix size. We construct completely positive semidefinite matrices of size $4k^2+2k+2$ with complex completely positive semidefinite rank $2^k$ for any positive integer $k$. This shows that if such an upper bound exists, it has to be at least exponential in the matrix size. For this we exploit connections to quantum information theory and we construct extremal bipartite correlation matrices of large rank. We also exhibit a class of completely positive matrices with quadratic (in terms of the matrix size) completely positive rank, but with linear completely positive semidefinite rank, and we make a connection to the existence of Hadamard matrices. △ Less

Submitted 26 October, 2016; v1 submitted 3 May, 2016; originally announced May 2016.

Comments: 21 pages

MSC Class: 15B48 (Primary); 15A23; 90C22 (Secondary)

Journal ref: Linear Algebra and its Applications 513 (2017), 122-148

Optimal densities of packings consisting of highly unequal objects

Authors: David de Laat

Abstract: Let $Δ$ be the optimal packing density of $\mathbb R^n$ by unit balls. We show the optimal packing density using two sizes of balls approaches $Δ+ (1 - Δ) Δ$ as the ratio of the radii tends to infinity. More generally, if $B$ is a body and $D$ is a finite set of bodies, then the optimal density $Δ_{\{rB\} \cup D}$ of packings consisting of congruent copies of the bodies from $\{rB\} \cup D$ conver… ▽ More Let $Δ$ be the optimal packing density of $\mathbb R^n$ by unit balls. We show the optimal packing density using two sizes of balls approaches $Δ+ (1 - Δ) Δ$ as the ratio of the radii tends to infinity. More generally, if $B$ is a body and $D$ is a finite set of bodies, then the optimal density $Δ_{\{rB\} \cup D}$ of packings consisting of congruent copies of the bodies from $\{rB\} \cup D$ converges to $Δ_D + (1 - Δ_D) Δ_{\{B\}}$ as $r$ tends to zero. △ Less

Submitted 3 March, 2016; originally announced March 2016.

MSC Class: 52C17

A semidefinite programming hierarchy for packing problems in discrete geometry

Authors: David de Laat, Frank Vallentin

Abstract: Packing problems in discrete geometry can be modeled as finding independent sets in infinite graphs where one is interested in independent sets which are as large as possible. For finite graphs one popular way to compute upper bounds for the maximal size of an independent set is to use Lasserre's semidefinite programming hierarchy. We generalize this approach to infinite graphs. For this we introd… ▽ More Packing problems in discrete geometry can be modeled as finding independent sets in infinite graphs where one is interested in independent sets which are as large as possible. For finite graphs one popular way to compute upper bounds for the maximal size of an independent set is to use Lasserre's semidefinite programming hierarchy. We generalize this approach to infinite graphs. For this we introduce topological packing graphs as an abstraction for infinite graphs coming from packing problems in discrete geometry. We show that our hierarchy converges to the independence number. △ Less

Submitted 24 August, 2021; v1 submitted 15 November, 2013; originally announced November 2013.

Comments: (v3) 25 pages, this revision fixes a problem in the proof of Lemma 5

MSC Class: 90C22; 52C17

Journal ref: Math. Program., Ser. B 151 (2015), 529-553

Fourier analysis on finite groups and the Lovász theta-number of Cayley graphs

Authors: Evan DeCorte, David de Laat, Frank Vallentin

Abstract: We apply Fourier analysis on finite groups to obtain simplified formulations for the Lovász theta-number of a Cayley graph. We put these formulations to use by checking a few cases of a conjecture of Ellis, Friedgut, and Pilpel made in a recent article proving a version of the Erdős-Ko-Rado theorem for $k$-intersecting families of permutations. We also introduce a $q$-analog of the notion of $k$-i… ▽ More We apply Fourier analysis on finite groups to obtain simplified formulations for the Lovász theta-number of a Cayley graph. We put these formulations to use by checking a few cases of a conjecture of Ellis, Friedgut, and Pilpel made in a recent article proving a version of the Erdős-Ko-Rado theorem for $k$-intersecting families of permutations. We also introduce a $q$-analog of the notion of $k$-intersecting families of permutations, and we verify a few cases of the corresponding Erdős-Ko-Rado assertion by computer. △ Less

Submitted 22 July, 2013; originally announced July 2013.

Comments: 9 pages, 0 figures

Journal ref: Experiment. Math. 23 (2014), 146-152

Upper bounds for packings of spheres of several radii

Authors: David de Laat, Fernando Mario de Oliveira Filho, Frank Vallentin

Abstract: We give theorems that can be used to upper bound the densities of packings of different spherical caps in the unit sphere and of translates of different convex bodies in Euclidean space. These theorems extend the linear programming bounds for packings of spherical caps and of convex bodies through the use of semidefinite programming. We perform explicit computations, obtaining new bounds for packi… ▽ More We give theorems that can be used to upper bound the densities of packings of different spherical caps in the unit sphere and of translates of different convex bodies in Euclidean space. These theorems extend the linear programming bounds for packings of spherical caps and of convex bodies through the use of semidefinite programming. We perform explicit computations, obtaining new bounds for packings of spherical caps of two different sizes and for binary sphere packings. We also slightly improve bounds for the classical problem of packing identical spheres. △ Less

Submitted 12 June, 2012; originally announced June 2012.

Comments: 31 pages

MSC Class: 52C17; 90C22

Journal ref: Forum of Mathematics, Sigma, Volume 2, 2014, e23