🔢 mathematics

From Quaternions to Pentarnions I: Algebra, geometry, and a spin model

This paper introduces a one-parameter family of five-dimensional non-flexible quadratic real algebras that interpolate between Hamilton's quaternions and Pentarnions, analyzing how the parameter $\gamma$ alters their geometric structure and automorphism groups to derive a classical spin model exhibiting both regular and irregular dynamics under time-varying conditions.

Original authors: Alireza Poshtkohi, Susanne Pumpluen

Published 2026-10-23

📖 5 min read🧠 Deep dive

CC BY 4.0

Original authors: Alireza Poshtkohi, Susanne Pumpluen

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

In the landscape of mathematics, there is a long-standing fascination with how we combine numbers. For centuries, the most familiar systems have been the real numbers, the complex numbers, and the quaternions. These systems allow us to perform addition and multiplication, but they come with strict rules. In the real and complex worlds, the order in which you multiply numbers does not matter; in the quaternion world, it does, but the system still holds together in a predictable, rigid way. Mathematicians have spent generations exploring what happens when these rules are loosened, searching for new algebraic structures that might reveal hidden symmetries in nature or offer new ways to model physical reality. The question is not just about abstract number games; it is about understanding the fundamental geometry of space and how things rotate and interact within it. When the rules of multiplication change, the shape of the space they describe changes with them, opening doors to dynamics that were previously invisible.

In a recent study, researchers Alireza Poshtkohi and Susanne Pumplün have constructed a new family of these mathematical spaces, creating a bridge between the familiar world of quaternions and a newly defined five-dimensional system they call the Pentarnion algebra. They did not simply invent a new set of rules; they built a continuous spectrum of algebras, where a single parameter acts like a dial. By turning this dial, they can smoothly transition the multiplication rules from those of the classic quaternions to those of the new Pentarnion system, and every setting in between. What makes this work remarkable is that while the rules for multiplying change, the fundamental size or "norm" of the numbers remains exactly the same. It is as if they have reshaped the internal logic of a room without changing the dimensions of the walls, allowing them to observe how the furniture inside rearranges itself when the floor plan shifts.

The researchers discovered that as they adjusted this dial, the geometry of the space tilted in a precise, predictable way. In the classic quaternion setting, the space of pure directions is perfectly symmetric. But as the dial is turned, a specific three-dimensional slice of this space tilts away from its original position. This tilt is not random; it follows a strict mathematical relationship where the angle of the tilt depends directly on the setting of the dial. The team proved that these different settings create entirely distinct mathematical worlds. No matter how you try to rotate or stretch one of these spaces to make it look like another, they remain fundamentally different. The only way to tell them apart is to look at how their internal multiplication rules fail to follow the standard associative law, a property that becomes more pronounced as the dial moves away from the classic setting.

Beyond the static geometry, the team explored how these new rules affect movement and rotation. They found that the symmetries of these spaces change dramatically. In the classic case, the space allows for a wide range of rotational symmetries. As the dial is turned, these symmetries shrink, locking the space into a more restricted set of rotations. However, the researchers showed that if you take two different settings of the dial and combine their rotational capabilities, you can generate the full range of rotations possible in four-dimensional space. This suggests that these different algebraic worlds are not isolated islands but are deeply interconnected, capable of generating complex movements when combined.

The study also looked at what happens when you apply these multiplication rules to specific shapes, such as a circle. In the classic system, multiplying points on a circle in different orders produces a single, consistent result. But in these new algebras, the order of operations matters immensely. Depending on how you group the multiplication, a simple circle can be squashed into a single point or stretched into an ellipse. This sensitivity to the order of operations reveals a deep asymmetry in the system, where the left side of an equation behaves differently from the right side, a feature that is absent in the more familiar number systems.

Finally, the authors applied these abstract findings to a model of a classical spin, a concept used to describe the magnetic orientation of particles. They defined an energy system based on the multiplication rules of their new algebras. When the dial is set to the classic value, the energy is perfectly uniform in all directions. But as the dial is turned, the energy becomes directional, favoring certain orientations over others. This creates a dynamic system where the spin moves in a predictable way when the dial is fixed. However, when the researchers simulated a scenario where the dial was turned back and forth in a rhythmic pattern, the behavior of the spin became unpredictable. The system oscillated between regular, repeating patterns and chaotic, irregular motion. This suggests that even in a system with no external randomness, simply changing the underlying rules of interaction over time can generate complex, chaotic dynamics. The work provides a concrete example of how altering the fundamental algebraic structure of a system can fundamentally alter its physical behavior, offering a new lens through which to view the relationship between algebra, geometry, and motion.

Technical Summary: From Quaternions to Pentarnions I: Algebra, Geometry, and a Spin Model

Problem Statement
The paper addresses the formulation of dynamical systems where the algebraic multiplication rule itself, rather than just the coefficients of an equation, can be varied. While the literature on quadratic algebras is extensive, particularly regarding division algebras of dimension four (quaternions) and eight (octonions), there is a lack of study on non-flexible quadratic algebras of dimension five where the multiplication structure can be continuously deformed. The authors aim to construct a family of such algebras, analyze how the deformation parameter affects their geometric and algebraic properties, and apply these structures to a classical spin model.

Methodology
The authors introduce a family of five-dimensional non-flexible quadratic real algebras, denoted $\{A_\gamma\}_{0 \le \gamma \le 1}$ .

Algebraic Construction: The algebras are defined with a canonical basis $\{1, i, j, k, \ell\}$ . The multiplication is parameterized by $\gamma$ , where $A_0$ contains Hamilton's quaternion algebra $\mathbb{H}$ as a subalgebra, and $A_1$ corresponds to the "Pentarnion" algebra. The deformation is achieved by modifying the product of pure basis elements (e.g., $i \star_\gamma j = \kappa_\gamma k + \sigma_\gamma \ell$ ) while preserving the norm $N(p) = p_0^2 + \|u\|^2$ .
Structural Analysis: The authors employ tools from nonassociative algebra theory to analyze the family. This includes computing associators, nuclei, and automorphism groups. They utilize the trace form of the multiplication operators and the Frobenius norm of the associator tensor to establish isomorphism invariants.
Geometric Analysis: The study focuses on the alternating part of the trilinear form induced by the multiplication. This leads to the identification of a distinguished three-dimensional subspace $H_\gamma \subset \text{span}_\mathbb{R}\{i, j, k, \ell\}$ , which is tilted relative to the quaternionic subspace by an angle $\beta_\gamma = \arctan(\gamma/\sqrt{3})$ .
Dynamical Modeling: A Hamiltonian model for a classical spin is derived on the subspace $H_\gamma$ . The energy function is constructed from the multiplication-induced quadratic form. The dynamics are analyzed for fixed $\gamma$ and for time-dependent $\gamma(t)$ , specifically investigating periodic switching. Numerical experiments using Runge-Kutta integration and Lyapunov exponent calculations are performed to characterize the system's behavior.

Key Contributions and Results

Algebraic Classification:
- The algebras $A_\gamma$ are proven to be pairwise non-isomorphic for distinct $\gamma \in [0, 1]$ . This is established via the strictly increasing nature of the isomorphism invariants $\| \text{Assoc}_\gamma \|_F^2 = 3(41\gamma^2 + 31)/(1+\gamma^2)$ and the angle $\beta_\gamma$ .
- The automorphism groups are determined: $\text{Aut}(A_0) \cong O(2)$ and $\text{Aut}(A_\gamma) \cong SO(2)$ for $\gamma > 0$ .
- The nuclei of all $A_\gamma$ are shown to be trivial ( $\mathbb{R}1$ ), confirming the algebras are not alternative or flexible.
Rotational Geometry:
- The alternating part of the multiplication defines a subspace $H_\gamma$ tilted by $\beta_\gamma$ . The rotation group $G_\gamma \cong SO(3)$ acting on $H_\gamma$ (fixing the normal vector $n_\gamma$ ) contains the automorphism group of $A_\gamma$ .
- A significant result is that for $\gamma_1 \neq \gamma_2$ , the groups $G_{\gamma_1}$ and $G_{\gamma_2}$ generate the full special orthogonal group $SO(V) \cong SO(4)$ .
- The paper analyzes "sandwich" products (conjugations) and shows that unlike the quaternionic case ( $\gamma=0$ ), the norm is not preserved under these operations for $\gamma > 0$ , leading to non-orthogonal linear maps.
Mapping Properties:
- The authors examine six distinct homogeneous quadratic maps obtained by ordering and bracketing the product of a fixed element $i$ and a variable $p$ (e.g., $i \star_\gamma (p \star_\gamma p)$ ).
- For $\gamma = 0$ , two of these maps collapse the unit circle in $\text{span}\{j, k\}$ to a point. For $\gamma > 0$ , these maps transform the circle into ellipses, with the geometry of the image depending explicitly on $\gamma$ .
Spin Model Dynamics:
- A Hamiltonian system is derived where the energy is isotropic for $\gamma=0$ and anisotropic for $\gamma > 0$ .
- For fixed $\gamma$ , the system conserves spin length and energy, and solutions lie on level curves of the Hamiltonian on the unit sphere, precluding chaotic motion.
- When $\gamma$ varies in time, the system satisfies an exact work identity: the change in energy is determined solely by the variation of $\gamma$ .
- Numerical experiments with periodically varying $\gamma$ reveal a transition between regular (quasi-periodic) and irregular (chaotic) dynamics depending on the forcing frequency $\Omega$ . Positive Lyapunov exponents are observed in intermediate frequency ranges, indicating irregular spin dynamics.

Significance and Claims
The paper claims to provide the first systematic link between the continuous deformation of multiplication in real algebras and the resulting changes in geometry and algebra-valued dynamical systems.

Algebraic: It establishes a new family of non-flexible quadratic algebras that interpolate between quaternions and Pentarnions, characterized by specific non-isomorphism invariants.
Geometric: It demonstrates how varying the algebraic structure induces a "tilting" of the underlying rotational geometry, where different parameter values generate the full rotation group of the ambient space.
Physical/Dynamical: The application to a classical spin model illustrates that varying the algebraic multiplication (switching) acts as a control parameter that can induce transitions between regular and chaotic dynamics, while preserving specific conservation laws (spin length) and satisfying exact work identities.

The authors note that results relying on computer algebra (such as the calculation of associator norms and Jacobian determinants) are supported by accompanying code. They conclude by identifying open questions regarding the dependence of automorphism groups on general parameters $a, b, c, d$ and the potential for rigorous computer-assisted proofs of the observed chaotic regimes.

More like this