-
Universal optimality of $T$-avoiding spherical codes and designs
Authors:
P. G. Boyvalenkov,
D. D. Cherkashin,
P. D. Dragnev
Abstract:
Given an open set (a union of open intervals), $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 Leech lattices, as well as the minimal vectors of the Barnes--Wall lattice and codes derived from strongly regular graphs, are unive…
▽ More
Given an open set (a union of open intervals), $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 Leech lattices, as well as the minimal vectors of the Barnes--Wall lattice and codes derived from strongly regular graphs, are universally optimal in the restricted class of $T$-avoiding codes. We also extend a result of Delsarte--Goethals--Seidel about codes with three inner products $α, β, γ$ (in our terminology $(α,β)$-avoiding $γ$-codes). Parallel to the notion of tight spherical designs, we also derive that these codes are minimal (tight) $T$-avoiding spherical designs of fixed dimension and strength. In some cases, we also find that codes under consideration have maximal cardinality in their $T$-avoiding class for given dimension and minimum distance.
△ Less
Submitted 23 January, 2025;
originally announced January 2025.
-
On two-weight codes
Authors:
P. G. Boyvalenkov,
K. V. Delchev,
D. V. Zinoviev,
V. A. Zinoviev
Abstract:
We consider $q$-ary (linear and nonlinear) block codes with exactly two distances: $d$ and $d+δ$. Several combinatorial constructions of optimal such codes are given. In the linear (but not necessary projective) case, we prove that under certain conditions the existence of such linear $2$-weight code with $δ> 1$ implies the following equality of great common divisors: $(d,q) = (δ,q)$. Upper bounds…
▽ More
We consider $q$-ary (linear and nonlinear) block codes with exactly two distances: $d$ and $d+δ$. Several combinatorial constructions of optimal such codes are given. In the linear (but not necessary projective) case, we prove that under certain conditions the existence of such linear $2$-weight code with $δ> 1$ implies the following equality of great common divisors: $(d,q) = (δ,q)$. Upper bounds for the maximum cardinality of such codes are derived by linear programming and from few-distance spherical codes. Tables of lower and upper bounds for small $q = 2,3,4$ and $q\,n < 50$ are presented.
△ Less
Submitted 30 November, 2020; v1 submitted 27 May, 2020;
originally announced May 2020.
-
On spherical codes with inner products in a prescribed interval
Authors:
P. G. Boyvalenkov,
P. D. Dragnev,
D. P. Hardin,
E. B. Saff,
M. M. Stoyanova
Abstract:
We develop a framework for obtaining linear programming bounds for spherical codes whose inner products belong to a prescribed subinterval $[\ell,s]$ of $[-1,1)$. An intricate relationship between Levenshtein-type upper bounds on cardinality of codes with inner products in $[\ell,s]$ and lower bounds on the potential energy (for absolutely monotone interactions) for codes with inner products in…
▽ More
We develop a framework for obtaining linear programming bounds for spherical codes whose inner products belong to a prescribed subinterval $[\ell,s]$ of $[-1,1)$. An intricate relationship between Levenshtein-type upper bounds on cardinality of codes with inner products in $[\ell,s]$ and lower bounds on the potential energy (for absolutely monotone interactions) for codes with inner products in $[\ell,1)$ (when the cardinality of the code is kept fixed) is revealed and explained. Thereby, we obtain a new extension of Levenshtein bounds for such codes. The universality of our bounds is exhibited by a unified derivation and their validity for a wide range of codes and potential functions.
△ Less
Submitted 22 January, 2018;
originally announced January 2018.
-
Energy bounds for codes and designs in Hamming spaces
Authors:
Peter G. Boyvalenkov,
Peter D. Dragnev,
Douglas P. Hardin,
Edward B. Saff,
Maya M. Stoyanova
Abstract:
We obtain universal bounds on the energy of codes and for designs in Hamming spaces. Our bounds hold for a large class of potential functions, allow unified treatment, and can be viewed as a generalization of the Levenshtein bounds for maximal codes.
We obtain universal bounds on the energy of codes and for designs in Hamming spaces. Our bounds hold for a large class of potential functions, allow unified treatment, and can be viewed as a generalization of the Levenshtein bounds for maximal codes.
△ Less
Submitted 16 October, 2016; v1 submitted 12 October, 2015;
originally announced October 2015.
-
Universal upper and lower bounds on energy of spherical designs
Authors:
P. G. Boyvalenkov,
P. D. Dragnev,
D. P. Hardin,
E. B. Saff,
M. M. Stoyanova
Abstract:
Linear programming (polynomial) techniques are used to obtain lower and upper bounds for the potential energy of spherical designs. This approach gives unified bounds that are valid for a large class of potential functions. Our lower bounds are optimal for absolutely monotone potentials in the sense that for the linear programming technique they cannot be improved by using polynomials of the same…
▽ More
Linear programming (polynomial) techniques are used to obtain lower and upper bounds for the potential energy of spherical designs. This approach gives unified bounds that are valid for a large class of potential functions. Our lower bounds are optimal for absolutely monotone potentials in the sense that for the linear programming technique they cannot be improved by using polynomials of the same or lower degree. When additional information about the structure (upper and lower bounds for the inner products) of the designs is known, improvements on the bounds are obtained. Furthermore, we provide `test functions' for determining when the linear programming lower bounds for energy can be improved utilizing higher degree polynomials. We also provide some asymptotic results for these energy bounds.
△ Less
Submitted 25 September, 2015;
originally announced September 2015.
-
Universal lower bounds for potential energy of spherical codes
Authors:
P. G. Boyvalenkov,
P. D. Dragnev,
D. P. Hardin,
E. B. Saff,
M. M. Stoyanova
Abstract:
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 the Delsarte-Yudin method. However, improvements are sometimes possible and we provide a necessary and sufficient condition for the existence of such better…
▽ More
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 the Delsarte-Yudin method. However, improvements are sometimes possible and we provide a necessary and sufficient condition for the existence of such better bounds. All our bounds can be obtained in a unified manner that does not depend on the potential function, provided the potential is given by an absolutely monotone function of the inner product between pairs of points, and this is the reason for us to call them universal. We also establish a criterion for a given code of dimension $n$ and cardinality $N$ not to be LP-universally optimal, e.g. we show that two codes conjectured by Ballinger et al to be universally optimal are not LP-universally optimal.
△ Less
Submitted 24 March, 2015;
originally announced March 2015.