Related papers: The D_4 root system is not universally optimal

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…

In this paper, we study shells of the $D_4$ lattice with a {slight generalization} of spherical $t$-designs due to Delsarte-Goethals-Seidel, namely, the spherical design of harmonic index $T$ (spherical $T$-design for short) introduced by…

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…

Vertices of the 4-dimensional semi-regular polytope, \textit{snub 24-cell} and its symmetry group $W(D_{4}):C_{3} $ of order 576 are represented in terms of quaternions with unit norm. It follows from the icosian representation of…

We study subsets in possibly degenerate symplectic vector spaces over finite fields, which are stable under a given Coxeter/Weyl reflection group. These symplectic root systems provide crucial combinatorical data to classify…

In this article we study quotients of deformations of simple singularities, and attempt to characterize them in terms of subsystems of simple root systems. The quotient of a semiuniversal deformation of a simple singularity of inhomogeneous…

We derive and investigate lower bounds for the potential energy of finite spherical point sets (spherical codes). Our bounds are optimal in the following sense -- they cannot be improved by employing polynomials of the same or lower degrees…

In this paper we report on massive computer experiments aimed at finding spherical point configurations that minimize potential energy. We present experimental evidence for two new universal optima (consisting of 40 points in 10 dimensions…

H. Cohn et. al. proposed an association scheme of 64 points in R^{14} which is conjectured to be a universally optimal code. We show that this scheme has a generalization in terms of Kerdock codes, as well as in terms of maximal real…

Erd\H{o}s and Fishburn studied the maximum number of points in the plane that span $k$ distances and classified these configurations, as an inverse problem of the Erd\H{o}s distinct distances problem. We consider the analogous problem for…

We give some new explicit examples of putatively optimal projective spherical designs. i.e., ones for which there is numerical evidence that they are of minimal size. These form continuous families, and so have little apparent symmetry in…

Let $X$ be a finite set in a complex sphere of $d$ dimension. Let $D(X)$ be the set of usual inner products of two distinct vectors in $X$. A set $X$ is called a complex spherical $s$-code if the cardinality of $D(X)$ is $s$ and $D(X)$…

We investigate several antipodal spherical designs on whether we can choose half of the points, one from each antipodal pair, such that they are balanced at the origin. In particular, root systems of type A, D and E, minimal points of Leech…

In this paper, we prove that there is a strongly universal cellular automaton in the dodecagrid, the tesselllation {5,3,4} of the hyperbolic 3D space, with four states but, it is not rotation invariant as the automaton of arXiv:2104.01561…

A set P of points in R^2 is n-universal, if every planar graph on n vertices admits a plane straight-line embedding on P. Answering a question by Kobourov, we show that there is no n-universal point set of size n, for any n>=15. Conversely,…

The densest local packing (DLP) problem in d-dimensional Euclidean space Rd involves the placement of N nonoverlapping spheres of unit diameter near an additional fixed unit-diameter sphere such that the greatest distance from the center of…

The paper studies a class of variational problems, modeling optimal shapes for tree roots. Given a measure $\mu$ describing the distribution of root hair cells, we seek to maximize a harvest functional $\mathcal{H}$, computing the total…

Vertical decomposition is a widely used general technique for decomposing the cells of arrangements of semi-algebraic sets in ${{\mathbb R}}^d$ into constant-complexity subcells. In this paper, we settle in the affirmative a few…

We prove that the linear system of hypersurfaces in P^3 of degree d, 14 <= d <= 40, with double, triple and quadruple points in general position are non-special. This solves the cases that have not been completed in a paper by E. Ballico…

The unknot U in S^4 has non-unique smooth spanning 3-balls up to isotopy fixing U. Equivalently there are properly embedded non-separating 3-balls in S^1xB^3 not properly isotopic to 1xB^3. More generally there exist non-separating…