The existence and uniqueness of magic-faced hypercubes, and applications to Khajuraho most-perfect magic squares, cubes, and hypercubes

Manjul Bhargava

Matemática y estadísticaCombinatoria y matemática discreta

The existence and uniqueness of magic-faced hypercubes, and applications to Khajuraho most-perfect magic squares, cubes, and hypercubes

Manjul Bhargava

Preprint

En palabras de los autores

A $ma g i c - l in e d h y p er c u b e$ (or, simply, $ma g i c h y p er c u b e$ ) of order $k$ and dimension $n$ is an arrangement of the numbers $1, \dots, k^{n}$ in a $k \times \dots \times k$ ( $n$ -fold) grid such that every line of $k$ numbers parallel to a coordinate axis has the same magic sum. While such hypercubes exist for every order $k \geq 3$ and every dimension $n$ , no magic-lined hypercube of order $2$ exists in any dimension $n \geq 2$ . For hypercubes of order $2$ , we thus relax the magic condition from lines to two-dimensional faces or planes. We call an arrangement of the numbers $1, \dots, 2^{n}$ in a $2 \times \dots \times 2$ ( $n$ -fold) grid magic-faced if every $2 \times 2$ face has the same magic sum. We prove that a magic-faced hypercube of order $2$ exists in every dimension $n \geq 0$ , and that it is unique up to a certain natural set of transformations of size $2^{n} (n + 1)!$ when $n$ is even and $2^{n} n \cdot n!$ when $n$ is odd. As an application, we recover and generalize the classical $4 \times 4$ Khajuraho magic square, answer a question of Coxeter on the group acting on the $384$ "most-perfect" $4 \times 4$ magic squares, and extend the picture to higher dimensions. In particular, we prove that, in dimension $n$ , these most-perfect objects form a single orbit under a certain natural action of the Weyl group $W (B_{2 n})$ .

Resultado principalEl resumen no menciona limitaciones.

Leer el paper PDF

Apareció: miércoles, 23 de septiembre. arXiv. Preprint, todavía sin revisión por pares.

Comentario de los autores: 31 pages

Matemática y estadística Combinatoria y matemática discreta 23 de sept de 2026
Simple symmetric Venn diagrams with 17 and 19 curves
We exhibit simple, rotationally symmetric Venn diagrams with 17 curves and with 19 curves: n Jordan curves carried to one another by rotation through 2{\pi}/n, with every one of the 2^n regions present and connected and, since the diagrams are simple, every crossing on exactly two curves.
Chris Dzoba — arXiv
PreprintCódigo disponible
Matemática y estadística Combinatoria y matemática discreta 23 de sept de 2026
Graphs with Minimum Algebraic Connectivity I: Proofs of Aldous-Fill and Guiduli-Mohar Conjectures
We prove the Aldous--Fill conjecture and the Guiduli--Mohar conjecture, as well as the corresponding conjecture for $d$ -regular graphs of fixed odd degree.
Maryam Abdi, Ebrahim Ghorbani — arXiv
Preprint
Matemática y estadística Combinatoria y matemática discreta 23 de sept de 2026
Lower Bounds for all List-Decodable Deletion Codes
We prove a lower bound of $Ω_{k} (2^{n} t lo g^{1/ t} n / n^{k + k / t})$ on the optimal size of a $t$ -list decodable $k$ -deletion code, giving a $lo g n$ improvement over the previously best known bounds for $2$ -list decodable $2$ -deletion codes [GH21] and providing the first nontrivial lower bound when $t > 2$ or $k > 2$ .
Andrew D. Lin — arXiv
Preprint
Matemática y estadística Combinatoria y matemática discreta 23 de sept de 2026
Asymmetric Homomorphism Thresholds for Graphs of Large Odd Girth
We determine the asymmetric homomorphism threshold from graphs of odd girth at least $7$ to triangle-free graphs, showing that $δ_{h o m} ({C_{3}, C_{5}}, {C_{3}}) = \frac{1}{9}$ .
Romain Bourneuf, Raphael Steiner, St\'ephan Thomass\'e y 1 más — arXiv
Preprint
Matemática y estadística Combinatoria y matemática discreta 23 de sept de 2026
Stable Regularity Lemmas: Efficient Algorithms and Essentially Tight Littlestone Bounds
In this paper, we determine the precise asymptotics of the number of parts of stable regularity equipartitions in terms of the Littlestone dimension: every graph $G$ of Littlestone dimension $Lit (G) \leq ℓ$ has a regular equipartition into excellent sets with $(1 + o_{ϵ \to 0, ℓ} (1)) \cdot ϵ^{- ℓ - 1}$ parts and in the other direction, for every $ℓ \in N_{+}$ , there is an infinite family of graphs, all of Littlestone dimension $ℓ$ , whose equipartitions into good sets must have size at least $(1 + o_{ϵ \to 0, ℓ} (1)) \cdot ϵ^{- ℓ - 1}$ .
Leonardo N. Coregliano, Fernando G. Jeronimo — arXiv
Preprint

Todos los papers nuevos de Combinatoria y matemática discreta

The existence and uniqueness of magic-faced hypercubes, and applications to Khajuraho most-perfect magic squares, cubes, and hypercubes

En palabras de los autores

Más de Combinatoria y matemática discreta ese día

Simple symmetric Venn diagrams with 17 and 19 curves

Graphs with Minimum Algebraic Connectivity I: Proofs of Aldous-Fill and Guiduli-Mohar Conjectures

Lower Bounds for all List-Decodable Deletion Codes

Asymmetric Homomorphism Thresholds for Graphs of Large Odd Girth

Stable Regularity Lemmas: Efficient Algorithms and Essentially Tight Littlestone Bounds