SearcharxivSearch

arXiv subjects

Ushashi Bhattacharya

Publications and source records attributed to Ushashi Bhattacharya.

2 recordsLinked to original sources

The Sphere Packing Problem in Dimension 4 and the Twenty-Four-Cell Conjecture

Every Voronoi cell of a unit-ball packing of $\mathbb{R}^4$ has volume at least $8$, and only the $D_4$ configuration attains it, so the twenty-four-cell conjecture holds and with it the density bound $Δ_4=π^2/16$. Every contact count is settled here except twenty-four, where the argument rests on the classification of twenty-four-point codes of minimal angle $60^\circ$ of de Laat, Leijenhorst and de Muinck Keizer. Their certificate is re-verified here from the published data in exact arithmetic, all seven steps of it, so no part of their computation is taken on trust.

math.NT

Spectral Algebras of Abelian Cayley Graphs

Let $G$ be a finite abelian group of order $N$, $S \subseteq G \setminus \{0\}$ a symmetric connection set, and $K$ a field with $char(K) \nmid N$. The spectral algebra $\mathscr{A_K}(Cay(G,S)) = K[A]$ generated by the adjacency matrix of the Cayley graph is proved to decompose, via the character-orbit decomposition, as a semisimple product of field extensions of $K$, one factor for each $Gal(\overline{K}/K)$-orbit of the eigenvalues $λ_χ= \sum_{s \in S} χ(s)$. The proof uses the abelian discrete Fourier transform to diagonalise $A$, the Galois action on the character group $\widehat{G}$ to partition eigenvalues into orbits, and the Chinese Remainder Theorem to convert the squarefree minimal polynomial into a Wedderburn product. The dimension of $\mathscr{A_K}(Cay(G,S))$ equals the number of distinct eigenvalues, the idempotent count is $2^r$ where $r$ is the orbit number, and primitive idempotents are computed explicitly via the Bezout algorithm in $K[x]$. Over $\mathbb Q$, every Wedderburn summand is a real subfield of the cyclotomic field $\mathbb Q(ζ_N)$. New results include: a tensor-product comparison for Cartesian products of Cayley graphs; a systematic analysis of the spectral algebra for elementary abelian groups $(\mathbb Z/p)^k$ (rational for $p \le 3$, requiring real cyclotomic extensions for $p \ge 5$); and a worked orbit analysis for non-cyclic groups including $\mathbb Z/6 \times \mathbb Z/2$ and $\mathbb Z/5 \times \mathbb Z/2$. The cyclic case recovers the companion result $\mathscr{A}_{\mathbb{Q}}(C_n) \cong \prod_{d \mid n} \mathbb Q(ζ_d)^+$; the Hamming cube gives $\mathscr{A}_\mathbb{Q}(\mathbb Q_k) \cong \mathbb{Q}^{k+1}$. The characteristic-$p$ case is also treated.

math.NT