🔢 mathematics

Non-crystallographic systems of integers over composition algebras

This paper redefines classical integer systems within real normed division algebras by replacing lattice requirements with finite root-shell constraints, thereby establishing the golden ring $\Zphi$ as the natural coefficient ring for non-crystallographic cases and constructing a self-dual weak golden octonion order with an $H_4 \oplus H_4$ shell.

Original authors: Daniele Corradetti

Published 2026-05-15

📖 5 min read🧠 Deep dive

CC BY 4.0

Original authors: Daniele Corradetti

Original paper licensed under CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ This is an AI-generated explanation of the paper below. It is not written or endorsed by the authors. For technical accuracy, refer to the original paper. Read full disclaimer

Imagine you are a master architect trying to build perfect, repeating patterns (like a tiled floor) using different types of building blocks. In the world of standard mathematics, we have a set of "perfect" blocks called integers (1, 2, 3...) that fit together to create neat, repeating crystal structures. These are the "crystallographic" systems.

But nature sometimes likes to build patterns that almost repeat but never quite do, like the intricate designs found in quasicrystals or the famous Penrose tiles. These patterns rely on the Golden Ratio (often called $\phi$ , roughly 1.618), a number that is irrational and doesn't play nice with standard whole numbers.

This paper is about finding the right "Golden Blocks" to build these non-repeating, Golden patterns.

The Problem: The Wrong Tools

For centuries, mathematicians knew how to build crystal patterns using standard integer blocks (like the Gaussian integers in the complex plane or the Hurwitz quaternions). These blocks form perfect, repeating lattices.

However, when you try to build the "Golden" patterns (specifically those related to the icosahedron, a 20-sided shape), standard integers fail. If you try to force standard integers to fit the Golden geometry, the gaps get messy, and the pattern becomes dense and chaotic. It's like trying to build a house with square bricks when the blueprint demands hexagonal ones; the walls won't close properly.

The Solution: The "Golden Ring"

The author, Daniele Corradetti, proposes a new way to look at these numbers. Instead of forcing the pattern to fit a standard grid, he suggests changing the "glue" (the coefficient ring) from standard integers ( $\mathbb{Z}$ ) to Golden Integers ( $\mathbb{Z}[\phi]$ ).

Think of it this way:

Standard Integers ( $\mathbb{Z}$ ): Like using only whole numbers. Good for square tiles.
Golden Integers ( $\mathbb{Z}[\phi]$ ): Like using whole numbers plus the Golden Ratio. This is the secret sauce that allows the blocks to snap together perfectly for 5-fold and 10-fold symmetries (which are impossible in standard crystals).

The Three Layers of Discovery

The paper breaks down the construction of these systems into three main layers, moving from simple to complex:

1. The 2D and 3D "Teasers" (H2 and H3)
The paper starts small. It shows how to build the 2D "decagonal" (10-sided) and 3D "icosahedral" (20-sided) patterns using these Golden Integers.

Analogy: Imagine a 10-pointed star. In the old way, the points were slightly misaligned. In this new way, using the Golden Ring, the points lock together perfectly. The paper proves that the "Cartan coefficients" (the math that describes how the angles between points relate) are now Golden Integers, not just regular integers.

2. The 4D "Icosian" Ring (H4)
Next, the author moves to 4 dimensions. This is the "Icosian Ring."

Analogy: Think of a 4D version of a soccer ball (a 600-cell). This shape has 120 vertices. The paper shows that these 120 points form a perfect "shell" of Golden Integers. It's a finite, closed group of points that behaves beautifully under reflection, much like a crystal, but with Golden symmetry.

3. The 8D "Weak Golden Octonions" (The Big Leap)
This is the paper's main construction. The author tries to double the 4D Icosian Ring to create an 8-dimensional system, similar to how we go from 2D (Complex numbers) to 4D (Quaternions) to 8D (Octonions).

The Result: He successfully builds an 8-dimensional structure called the "Icosian Double."
The Catch: While this structure is mathematically valid and "genuinely octonionic" (meaning it has the weird, non-associative multiplication rules of 8D numbers), its "shell" (the outer layer of points) is actually just two separate 4D shells stuck together side-by-side.
The Metaphor: Imagine trying to build a single, unified 8D crystal. You succeed in building the 8D frame, but the "skin" of the crystal is just two 4D skins glued together, not a single, seamless 8D skin.

The "No-Go" Theorems: Why We Can't Go Further

The paper then asks: Can we make this 8D shell even better? Can we mix the two 4D parts to make a truly unified, indecomposable 8D Golden crystal?

The author runs a massive, computer-verified search (checking over 20,000 possibilities) and finds a hard wall.

The Verdict: No. You cannot add any "fractional" Golden blocks to this structure to make it a single, unified shell without breaking the mathematical rules of the Golden Ring.
The Metaphor: It's like trying to fuse two separate bubbles into one giant bubble. You can push them together, but if you try to stretch them to merge, they pop or split back apart. The math says: "This is as far as you can go with this specific construction."

Why This Matters (According to the Paper)

The paper doesn't claim this will cure diseases or build new engines immediately. Instead, it provides the exact arithmetic blueprint for:

Quasicrystals: These are real materials found in nature that have 5-fold symmetry. The paper gives the precise mathematical "coordinates" for their internal structure.
Physics Models: It allows physicists to build better computer models of these aperiodic materials, calculating things like how they vibrate (phonons) or how they diffract light.
Mathematical Clarity: It separates the "order" (the infinite set of numbers) from the "shell" (the finite, beautiful geometric shape), showing that for Golden systems, the finite shell is the most important part, not the infinite lattice.

Summary

In short, this paper says: "We found the perfect set of Golden building blocks to construct 2D, 3D, and 4D non-repeating patterns. We even built an 8D version, but we proved that this 8D version is just two 4D patterns stuck together, and mathematically, you can't fuse them into one single, perfect 8D Golden crystal using this method. This gives us the exact numbers needed to model real-world quasicrystals."

Technical Summary: Non-Crystallographic Systems of Integers over Composition Algebras

Problem Statement
The paper addresses the arithmetic structure of integral elements within real normed division algebras ( $\mathbb{R}, \mathbb{C}, \mathbb{H}, \mathbb{O}$ ). While classical crystallographic integer systems (e.g., Gaussian, Eisenstein, Hurwitz, and Coxeter–Dickson integers) are well-understood as lattices over the ring of integers $\mathbb{Z}$ , the non-crystallographic cases—specifically those associated with the root systems $H_2, H_3,$ and $H_4$ —present a structural gap. In these cases, the Cartan coefficients are not integers but lie in the golden ring $\mathbb{Z}[\phi]$ . Consequently, the standard definition of an order (requiring a lattice over $\mathbb{Z}$ ) fails to capture the correct arithmetic geometry. The paper seeks to formalize an axiomatic framework for "non-crystallographic integer systems" by replacing the lattice requirement with a "finite root shell" condition over $\mathbb{Z}[\phi]$ .

Methodology
The author employs a three-tiered approach to separate and analyze the components of these systems:

Axiomatic Separation: The work distinguishes between three distinct objects often conflated in classical literature: the full infinite order, the finite multiplicative unit shell, and the root system carried by a distinguished finite shell.
Arithmetic Framework: The study utilizes the ring of integers of the real quadratic field $K = \mathbb{Q}(\sqrt{5})$ , denoted $\mathbb{Z}[\phi]$ , where $\phi = (1+\sqrt{5})/2$ . It defines non-crystallographic integral root-shell systems as pairs $(\mathcal{O}, S)$ where $\mathcal{O}$ is an order over $\mathbb{Z}[\phi]$ and $S$ is a finite subset satisfying specific reflection and integrality conditions (Cartan coefficients in $\mathbb{Z}[\phi]$ ).
Construction via Cayley–Dickson Doubling: The paper constructs a "weak golden octonion order" ( $G$ ) by applying the Cayley–Dickson doubling process to the icosian ring ( $I$ ).
Obstruction Analysis: The author rigorously tests whether this weak order can be extended to a "strong" indecomposable golden octonion order (analogous to the Coxeter–Dickson $E_8$ case). This involves exhaustive computational searches over projective lines in quotient spaces $(\mathbb{Z}[\phi]/2)^8$ and $(\mathbb{Z}[\phi]/\sqrt{5})^8$ to test for valid "gluings" (fractional extensions) under both strict norm-integral and relaxed trace-integral conventions.

Key Contributions and Results

Axiomatic Formalization: The paper defines a precise "non-crystallographic integral root-shell system" (Definition 6.1). It establishes that for non-crystallographic cases, the natural coefficient ring is $\mathbb{Z}[\phi]$ and the relevant geometric object is a finite root shell, not a $\mathbb{Z}$ -lattice.
Recovery of Classical Cases: The framework successfully recovers known crystallographic examples (Gaussian, Eisenstein, Hurwitz, Coxeter–Dickson) and non-crystallographic examples ( $H_2$ via cyclotomic integers, $H_4$ via the icosian ring) by varying the coefficient ring and shell constraints.
Construction of the Weak Golden Octonion Order:
- The author constructs $G = I \oplus I\ell$ , a free rank-8 $\mathbb{Z}[\phi]$ -order in the octonions over $K$ .
- The finite shell of $G$ consists of 240 elements, realizing the reducible root system $H_4 \oplus H_4$ .
- Crucially, while the shell is decomposable (two orthogonal copies of $H_4$ ), the order $G$ itself is genuinely octonionic (non-associative), as evidenced by a non-zero associator $[i, j, \ell] \neq 0$ .
No-Go Theorems for Stronger Extensions: The paper proves that the weak order $G$ $G$ cannot be enlarged to a stronger, indecomposable golden octonion order under natural integrality conditions:
- Strict Norm-Integral: The order $G$ is self-dual with respect to the polar norm pairing ( $G^\#_0 = G_0$ ). Thus, it admits no strict norm-integral overorder.
- Denominator-Two Gluings: Exhaustive enumeration of 21,845 projective lines in the denominator-two quotient space shows that no candidate satisfies the mixed-coset, conjugation, and integral-pairing tests.
- Ramified Denominator ( $\sqrt{5}$ ): No non-zero subspace in the $\sqrt{5}$ -denominator quotient satisfies the polar-pairing condition.
- Trace-Integral (Relaxed): Even under the relaxed "trace-integral" convention (where only the rational trace of the norm must be integral), no stable isotropic gluing exists within the first discriminant tower. The "mixed half-root" ansatz fails because the trace of the norm of the resulting module elements is not integral.

Significance and Claims
The paper claims a modest but precise contribution to the arithmetic of composition algebras and quasicrystals:

Clarification of Structure: It isolates the precise axiomatic ingredients required to define non-crystallographic integers, resolving the confusion between infinite orders, finite shells, and unit groups in the golden ratio context.
Limitation of the Analogy: It demonstrates that while the analogy between crystallographic $E_8$ (Coxeter–Dickson) and non-crystallographic $H_4$ (Icosian) holds for the shell structure, it breaks down when attempting to construct a single, indecomposable "golden Coxeter–Dickson" octonion order. The "weak" double $G$ is the maximal such object within the tested tower.
Physical Applicability: The work provides exact arithmetic data for quasicrystalline models. The $H_2$ shell offers a rigorous arithmetic foundation for Penrose tilings (decagonal symmetry), while the $H_4$ shell and the weak octonion order provide the arithmetic parent for icosahedral quasicrystals and a controlled non-associative toy model for coupled icosian sectors.
Computational Verification: All numerical claims regarding the non-existence of extensions are backed by exact-arithmetic computations (using Python with rational numbers, no floating-point), verifying the obstruction of all potential "gluings" in the relevant discriminant towers.

The author explicitly states that the work does not claim to produce a fundamental theory of matter or a new indecomposable golden octonion lattice, but rather provides the correct arithmetic framework and boundaries for such investigations.