Spherical Designs and Heights of Euclidean Lattices

We study the connection between the theory of spherical designs and the question of extrema of the height function of lattices. More precisely, we show that a full-rank n-dimensional Euclidean lattice, all layers of which hold a spherical 2-design, realises a stationary point for the height function, which is defined as the first derivative at 0 of the spectral zeta function of the associated flat torus. Moreover, in order to find out the lattices for which this 2-design property holds, a strategy is described which makes use of theta functions with spherical coefficients, viewed as elements of some space of modular forms. Explicit computations in dimension up to 7, performed with Pari/GP and Magma, are reported.Comment: 22 page

Energy minimization, periodic sets and spherical designs

We study energy minimization for pair potentials among periodic sets in Euclidean spaces. We derive some sufficient conditions under which a point lattice locally minimizes the energy associated to a large class of potential functions. This allows in particular to prove a local version of Cohn and Kumar's conjecture that $\mathsf{A}_2$, $\mathsf{D}_4$, $\mathsf{E}_8$ and the Leech lattice are globally universally optimal, regarding energy minimization, and among periodic sets of fixed point density.Comment: 16 pages; incorporated referee comment

Local Energy Optimality of Periodic Sets

We study the local optimality of periodic point sets in $\mathbb{R}^n$ for energy minimization in the Gaussian core model, that is, for radial pair potential functions $f_c(r)=e^{-c r}$ with $c>0$. By considering suitable parameter spaces for $m$-periodic sets, we can locally rigorously analyze the energy of point sets, within the family of periodic sets having the same point density. We derive a characterization of periodic point sets being $f_c$-critical for all $c$ in terms of weighted spherical $2$-designs contained in the set. Especially for $2$-periodic sets like the family $\mathsf{D}^+_n$ we obtain expressions for the hessian of the energy function, allowing to certify $f_c$-optimality in certain cases. For odd integers $n\geq 9$ we can hereby in particular show that $\mathsf{D}^+_n$ is locally $f_c$-optimal among periodic sets for all sufficiently large~$c$.Comment: 27 pages, 2 figure

Codes and designs in Grassmannian spaces

AbstractThe notion of t-design in a Grassmannian space Gm,n was introduced by the first and last authors and G. Nebe in a previous paper. In the present work, we give a general lower bound for the size of such designs. The method is inspired by Delsarte, Goethals and Seidel work in the case of spherical designs. This leads us to introduce a notion of f-code in Grassmannian spaces, for which we obtain upper bounds, as well as a kind of duality tight-designs/tight-codes. The bounds are in terms of the dimensions of the irreducible representations of the orthogonal group O(n) occurring in the decomposition of the space L2(Gm,n°) of square integrable functions on Gm,n°, the set of oriented Grassmanianns

Questions d'euclidianité

Nous étudions l'euclidianité des corps de nombres pour la norme et quelques unes de ses généralisations. Nous donnons en particulier un algorithme qui calcule le minimum euclidien d'un corps de nombres de signature quelconque. Cela nous permet de prouver que de nombreux corps sont euclidiens ou non pour la norme. Ensuite, nous appliquons cet algorithme à l'étude des classes euclidiennes pour la norme, ce qui permet d'obtenir de nouveaux exemples de corps de nombres avec une classe euclidienne non principale. Par ailleurs, nous déterminons tous les corps cubiques purs avec une classe euclidienne pour la norme. Enfin, nous nous intéressons aux corps de quaternions euclidiens. Après avoir énoncé les propriétés de base, nous étudions quelques cas particuliers. Nous donnons notamment la liste complète des corps de quaternions euclidiens et totalement définis sur un corps de nombres de degré au plus deux.We study norm-Euclideanity of number fields and some of its generalizations. In particular, we provide an algorithm to compute the Euclidean minimum of a number field of any signature. This allows us to study the norm-Euclideanity of many number fields. Then, we extend this algorithm to deal with norm-Euclidean classes and we obtain new examples of number fields with a non-principal norm-Euclidean class. Besides, we describe the complete list of pure cubic number fields admitting a norm-Euclidean class. Finally, we study the Euclidean property in quaternion fields. First, we establish its basic properties, then we study some examples. We provide the complete list of Euclidean quaternion fields, which are totally definite over a number field with degree at most two.BORDEAUX1-Bib.electronique (335229901) / SudocSudocFranceF

On Epstein'S zeta function of Humbert forms

International audienc