arXiv subjects

Stanislav Yun

Publications and source records attributed to Stanislav Yun.

3 recordsLinked to original sources

arXiv2026

New lower bounds for kissing numbers in dimensions $25$--$29$ and $31$

The kissing number in dimension $d$ is the largest number of non-overlapping congruent spheres that can simultaneously touch a central sphere of the same size. We study dimensions $25$-$31$, where the best previous constructions are based on Leech lifting from the optimal kissing configuration in dimension $24$. Our method exploits the absence of contacts between the unlifted bulk and the block consisting of lifted and auxiliary vectors. Rotating this block while keeping the bulk fixed creates room for two antipodal points in dimensions $26$, $27$, and $28$, and one point in dimension $29$. Two further modifications yield improvements in dimensions $25$ and $31$: a nonorthogonal diagonal linear deformation of the lifted block admits two antipodal points in dimension $25$, while rotating only the additional coordinates of the lifted vectors admits four nonantipodal points in dimension $31$. Together, these constructions yield the new lower bounds $τ_{25}\geq 197058$, $τ_{26}\geq 198552$, $τ_{27}\geq 200046$, $τ_{28}\geq 204522$, $τ_{29}\geq 209497$, and $τ_{31}\geq 238354$.

cs.IT↗

arXiv2026

Structure of kissing arrangements in ${\mathbb R}^{12}$ and a place for the $841$st sphere

Most currently known kissing arrangements of size $840$ in $\mathbb R^{12}$ share a common structure. They consist of $60$ vectors supported on $\mathbb R^6\times\{\mathbf 0\}$, another $60$ vectors supported on $\{\mathbf 0\}\times\mathbb R^6$, and $720$ additional \emph{bridge vectors}. The bridge vectors encode the interaction between the two six-dimensional factors and are constructed from the unique $1$-factorization of the complete graph $K_6$. In this paper we investigate kissing arrangements of this type while keeping the bridge vectors fixed. We show that each $60$-point block admits substantial flexibility: $12$ of its vectors may be chosen as the signed coordinate vectors $\pm e_i$, while the remaining $48$ vectors may vary within a positive-dimensional family of configurations, which we call $48$-systems. As a consequence, we obtain infinitely many pairwise non-isometric kissing arrangements of size $840$ in $\mathbb R^{12}$. The geometric freedom revealed by these constructions provides new insight into the local structure of extremal configurations. Exploiting this structure, we develop a specialized initialization scheme for logarithmic Riesz energy optimization. Starting from such structurally informed initial configurations, we numerically construct a kissing arrangement of size $841$ in $\mathbb R^{12}$.

cs.IT↗

arXiv2026

Classification of independent sets in signed Johnson graphs and applications to kissing arrangements

Johnson graph are a family of graphs that play an important role in the theory of constant-weight codes, extremal combinatorics, and combinatorial geometry. We study signed analogues of classical Johnson graphs, denoted by $J_\pm(n,k)$, whose vertices are vectors of the form $\pm e_{i_1}\pm\cdots\pm e_{i_k}$, where two vertices are adjacent whenever their dot product equals $k-1$. We are particularly interested in maximum independent sets in the case $k=4$. An example of such an independent set in $J_\pm(n,4)$, which we call \emph{classical}, is obtained by lifting an arbitrary optimal $(n,4,4)$-code. Such independent sets naturally define kissing arrangements in ${\mathbb R}^n$. We develop an algorithm that is practical for computing all maximum independent sets in $J_\pm(n,4)$ up to signed permutations for $n\le 12$, $n\ne 11$. In addition to obtaining complete lists, we provide structural characterizations of all types of maximum independent sets in these dimensions, excluding $n=5$ and $n=11$. Our most striking results concern the case $n=12$. We identify $1579$ non-isomorphic maximum independent sets in $J_\pm(12,4)$, all corresponding to non-isometric kissing arrangements of size $840$ in ${\mathbb R}^{12}$. Structurally, $1575$ of these independent sets arise from three different constructions, the rest are liftings of one of four $(12,4,4)$-codes. To our knowledge, this is the first dimension in which such a large diversity of potentially optimal kissing arrangements has been observed. Beyond this finite range, we prove that for $n\equiv 2$ or $4 \pmod 6$, every maximum independent set arises from a Steiner quadruple system. We also obtain a characterization of the so-called \emph{nontrivially self-compatible} codes, namely optimal $(n,4,4)$-codes from which non-classical maximum independent sets can be constructed.

cs.IT↗