Related papers: The D_4 root system is not universally optimal
Spherical t-designs are Chebyshev-type averaging sets on the d-sphere S^d which are exact for polynomials of degree at most t. This concept was introduced in 1977 by Delsarte, Goethals, and Seidel, who also found the minimum possible size…
Linear programming bounds provide an elegant method to prove optimality and uniqueness of an (n,N,t) spherical code. However, this method does not apply to the parameters (4,10,1/6). We use semidefinite programming bounds instead to show…
Data storage in Distributed Storage Systems (DSSs) is a multidimensional optimization problem. Using network coding, one wants to provide reliability, scalability, security, reduced storage overhead, reduced bandwidth for repair and minimal…
We discuss properties of root posets for finite crystallographic root systems, and show that these properties uniquely determine root posets for the noncrystallographic dihedral types and type $H_3$, while proving that there does not exist…
Conformal field theory of the D1/D5 system and superstrings on $AdS_3\times S^3\times T^4$ is studied with particular attention to the world-sheet fields corresponding to the $T^4$ part. A solution to the spacetime N=4 superconformal…
We study theories of type $D_4$ in class-S, with nonabelian outer-automorphism twists around various cycles of the punctured Riemann surface $C$. We propose an extension of previous formul\ae\ for the superconformal index to cover this case…
A spherical three-distance set is a finite collection $X$ of unit vectors in $\mathbb{R}^{n}$ such that for each pair of distinct vectors has three inner product values. We use the semidefinite programming method to improve the upper bounds…
The set of all error-correcting codes C over a fixed finite alphabet F of cardinality q determines the set of code points in the unit square with coordinates (R(C), delta (C)):= (relative transmission rate, relative minimal distance). The…
We study the rank 4 linear matroid $M(H_4)$ associated with the 4-dimensional root system $H_4$. This root system coincides with the vertices of the 600-cell, a 4-dimensional regular solid. We determine the automorphism group of this…
Vertical decomposition is a widely used general technique for decomposing the cells of arrangements of semi-algebraic sets in $d$-space into constant-complexity subcells. In this paper, we settle in the affirmative a few long-standing open…
We show that the maximal number of singular points of a normal quartic surface $X \subset \mathbb{P}^3_K$ defined over an algebraically closed field $K$ of characteristic $2$ is at most $20$, and that if equality is attained, then the…
The motivating problem addressed by this paper is to describe those non-degenerate sets of points $Z$ in $\mathbb P^3$ whose general projection to a general plane is a complete intersection of curves in that plane. One large class of such…
In this paper we study the linear series |L-3p| of hyperplane sections with a triple point p of a surface S embedded via a very ample line bundle L for a general point p. If this linear series does not have the expected dimension we call…
In this paper, we show that the maximum number of points in $d\geq3$ dimensions determining exactly 2 distinct triangles is $2d$. We further show that this maximum is uniquely achieved by the vertices of the $d$-orthoplex. We build upon the…
A digraph is $3$-dicritical if it cannot be vertex-partitioned into two sets inducing acyclic digraphs, but each of its proper subdigraphs can. We give a human-readable proof that the number of 3-dicritical semi-complete digraphs is finite.…
We exhibit large classes of examples of noncommutative finite-dimensional manifolds which are (non-formal) deformations of classical manifolds. The main result of this paper is a complete description of noncommutative three-dimensional…
This review paper is devoted to the problems of sphere packings in 4 dimensions. The main goal is to find reasonable approaches for solutions to problems related to densest sphere packings in 4-dimensional Euclidean space. We consider two…
We utilize recently introduced linear programming bounds for the energy of periodic configurations in $\mathbb{R}^d$ to construct configurations which are universally optimal among those of the form $\omega_4+L_\beta$, where $\omega_4$ is a…
Given an open set $T\subset [-1,1)$, we introduce the concepts of $T$-avoiding spherical codes and designs, that is, spherical codes that have no inner products in the set $T$. We show that certain codes found in the minimal vectors of the…
We call a set of points $Z\subset{\mathbb P}^{3}_{\mathbb C}$ an $(a,b)$-geproci set (for GEneral PROjection is a Complete Intersection) if its projection from a general point $P$ to a plane is a complete intersection of curves of degrees…