Search arXivSearch

arXiv · 2609.09179

A quaternionic construction behind $841$-point kissing arrangement in ${\mathbb R}^{12}$

Abstract

Recently, a new record kissing arrangement of $841$ points in $\mathbb R^{12}$ was obtained numerically by optimization (Takhanov-Assylbekov-Yun, 2026). The configuration was released as a coordinate file, without a mathematical description of its structure. The purpose of this paper is to provide such a description. The key observation is that the geometry becomes transparent once we regard $\mathbb R^{12}\cong \mathbb H^3$ as the Cartesian product of three copies of the quaternion algebra. We first introduce a new $840$-point kissing arrangement with a certain quaternionic structure. It consists of three mutually orthogonal regular $24$-cells, supported on the three quaternionic coordinate factors $\mathbb H\times\{0\}\times\{0\}$, $\{0\}\times\mathbb H\times\{0\}$, $\{0\}\times\{0\}\times\mathbb H$, together with two $384$-point families obtained by lifting affine sets of the form $$\{(u,v,w)\in (\mathbb F_2^2)^3\mid u+v+w=η\},$$ to quaternionic triples (whose components belong to the binary octahedral group $2O$) and then applying suitable component-wise rotations and weightings. A characteristic feature of this construction is a pronounced asymmetry among the three quaternionic factors. For the $816$ vectors obtained after removing the third $24$-cell, most of the squared norm is concentrated in the first two quaternionic coordinates, while the third coordinate carries systematically less mass. Thus, the third four-dimensional factor contains more available space than the first two. We then show that this $840$-point configuration provides a natural structural model for the numerical $841$-point record. Finally, we introduce a notion of the general quaternionic construction in dimensions divisible by $4$, and check that record kissing arrangements in ${\mathbb R}^{4k}$, $k\leq 5$, admit a quaternionic construction.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Rustem Takhanov. 2026-08-25. A quaternionic construction behind $841$-point kissing arrangement in ${\mathbb R}^{12}$. https://arxiv.org/abs/2609.09179

Cite the original work for its findings. Save a collection to share your selection of sources.

Discover connections

Connections use source metadata and explicit phrase matches, not verified experimental comparisons.

KEEP EXPLORING

Related papers

Normal Quaternionic Matrices and Finitely Generated Witt Rings

We present a new approach to verify the Elementary Type Conjecture for abstract Witt rings with small number of square classes. To do so, we make use of an abstract analogue of the 2-torsion part of the Brauer group. We develop a description of the entire structure of an abstract Witt ring with $2^n$ square classes in terms of a unique $n\times n$ matrix satisfying a small additional condition that particularly holds for Witt rings of fields. Via computational search, we find all these matrices for $n$ up to $7$. This verifies that all Witt rings of fields with up to $128$ square classes are of elementary type.

math.RA

Graded differential polynomial rings

We study differential polynomial rings $R[t;δ]$ over $Γ$-graded rings, where $Γ$ is an arbitrary group. We show that $R[t;δ]$ admits a $Γ$-grading compatible with that of $R$ if and only if $δ$ is a $γ$-derivation for some $γ\in C_Γ(Γ_R)$, and that this grading is unique once $°(t)=γ$ is fixed; if $δ\neq0$, then $γ$ is itself uniquely determined by $δ$. We characterize the resulting graded ring by a universal property. We prove a characteristic-free center criterion for gr-simplicity whenever $Z(R[t;δ])$ is a graded subring; in characteristic zero, gr-simplicity is equivalent to $δ$-gr-simplicity of $R$ and $γ$-outerness of $δ$, extending Jordan's simplicity criterion to the graded setting. We further show that $R[t;δ]$ is gr-prime if and only if $R$ is $δ$-gr-prime, and that gr-Noetherianity of $R$ passes to $R[t;δ]$, recovering a graded Hilbert basis theorem as a special case. When $Γ$ is abelian, gr-simplicity and gr-primality are shown to be invariants of homogeneous graded Morita equivalence, and every ring homogeneously graded equivalent to $R[t;δ]$ via a compatible idempotent is again a graded differential polynomial ring.

math.RA

Affinization of algebraic structures: Poisson algebras

An affinization of the notion of a Poisson algebra is presented. This is termed a Poisson affgebra and consists of an affine space together with an associative bi-affine multiplication and a bi-affine Lie bracket that acts as an affine derivation for the associative product. The constructive relation between Poisson affgebras and Poisson algebras is described and several low-dimensional examples are studied in detail.

math.RA