Nearly orthogonal vectors and small antipodal spherical codes
Acta mathematica Universitatis Comenianae, Tome 88 (2019) no. 3, pp. 511-514
Boris Bukh; Chris Cox; Boris Bukh; Chris Cox. Nearly orthogonal vectors and small antipodal spherical codes. Acta mathematica Universitatis Comenianae, Tome 88 (2019) no. 3, pp. 511-514. http://geodesic.mathdoc.fr/item/AMUC_2019_88_3_a24/
@article{AMUC_2019_88_3_a24,
     author = {Boris Bukh and Chris Cox and Boris Bukh and Chris Cox},
     title = { Nearly orthogonal vectors and small antipodal spherical codes},
     journal = {Acta mathematica Universitatis Comenianae},
     pages = {511--514},
     year = {2019},
     volume = {88},
     number = {3},
     url = {http://geodesic.mathdoc.fr/item/AMUC_2019_88_3_a24/}
}
TY  - JOUR
AU  - Boris Bukh
AU  - Chris Cox
AU  - Boris Bukh
AU  - Chris Cox
TI  - Nearly orthogonal vectors and small antipodal spherical codes
JO  - Acta mathematica Universitatis Comenianae
PY  - 2019
SP  - 511
EP  - 514
VL  - 88
IS  - 3
UR  - http://geodesic.mathdoc.fr/item/AMUC_2019_88_3_a24/
ID  - AMUC_2019_88_3_a24
ER  - 
%0 Journal Article
%A Boris Bukh
%A Chris Cox
%A Boris Bukh
%A Chris Cox
%T Nearly orthogonal vectors and small antipodal spherical codes
%J Acta mathematica Universitatis Comenianae
%D 2019
%P 511-514
%V 88
%N 3
%U http://geodesic.mathdoc.fr/item/AMUC_2019_88_3_a24/
%F AMUC_2019_88_3_a24

Voir la notice de l'article provenant de la source Comenius University

How can $d+k$ vectors in $\mathbb{R}^d$ be arranged so that they are as close to orthogonal as possible? In particular, define $\theta(d,k):=\min_X\max_{x\neq y\in X}|\langle x,y\rangle|$ where the minimum is taken over all collections of $d+k$ unit vectors $X\subseteq\mathbb{R}^d$. In this work, we focus on the case where $k$ is fixed and $d\to\infty$. In establishing bounds on $\theta(d,k)$, we find an intimate connection to the existence of systems of ${k+1\choose 2}$ equiangular lines in $\R^k$. Using this connection, we are able to pin down $\theta(d,k)$ whenever $k\in\{1,2,3,7,23\}$ and establish asymptotics for general $k$. The main tool is an upper bound on $\mathbb{E}_{x,y\sim\mu}|\langle x,y\rangle|$ whenever $\mu$ is an isotropic probability mass on $\mathbb{R}^k$, which may be of independent interest. Our results translate naturally to the analogous question in $\C^d$. In this case, the question relates to the existence of systems of $k^2$ equiangular lines in $\mathbb{C}^k$, also known as SIC-POVM in physics literature.