Quaternities: Fourfold Structures in Mathematics

Updated 1 February 2026

Quaternities are mathematical structures involving four constituents that unify diverse domains like logic, algebra, and combinatorics.
They formalize fourfold relations through rigorous frameworks such as bibitorsors, Lie algebra quarternification, and quadrilinear operads.
This theory provides practical methods for cohomological classification, integrability in physics, and universal representations in polygonal number theory.

A quaternity is a mathematical structure or operation involving four constituents, realized across diverse domains such as multivalued logic, non-associative algebraic operads, generalized Lie algebras, polygonal number theory, and higher categorical or geometric frameworks. The unifying theme is the systematic emergence or manipulation of fourfold relations, operations, or symmetries, with deep implications for logic, algebra, combinatorics, and mathematical physics.

1. Bibitorsors and Quaternity Calculus

The modern axiomatic framework for quaternities, also called bibitorsors, is formalized via a four-set system equipped with involutive bijections. Let $\{X_{00}, X_{01}, X_{10}, X_{11}\}$ be sets and $L_{ij}, R_{ij}$ involutions ( $L_{ij}\colon X_{ij}\leftrightarrow X_{1-i,j}$ , %%%%3%%%% for $i,j\in\{0,1\}$ ), satisfying

$L_{1-i,j} = L_{ij}^{-1}$ , $R_{i,1-j} = R_{ij}^{-1}$
$L_{ij}^2 = R_{ij}^2 = \text{Id}_{X_{ij}}$
Commutativity of the square: $R_{1-i,j}\circ L_{ij} = L_{i,1-j}\circ R_{ij}$
Fourfold composition around the square is identity, e.g., $L_{1,1}R_{1,0}L_{0,0}R_{0,1} = \mathrm{Id}_{X_{0,1}}$

This structure abstracts and extends the notion of bi-torsors and underlies generalized solutions to the tetrahedron equation. For example, in the space of upper/lower/anti-diagonal triangular matrices, involutions corresponding to left/right multiplication by the longest permutation yield the canonical quaternity pattern. Quaternities thus encode both algebraic and geometric symmetries and can be regarded as the 2-dimensional shadow of categorified torsor cohomology, naturally classifying cohomological obstructions in the lift from Yang–Baxter (2D) to tetrahedral (3D) integrability scenarios (Koshevoy et al., 25 Jan 2026).

2. Quaternization in Lie Algebra Theory

The process of quarternification of Lie algebras systematically enlarges complex Lie algebras to quaternionic analogs, doubling the dimension of root spaces while preserving key structural features:

Given a complex Lie algebra %%%%10%%%%, its quarternification $g_H$ is a quaternion Lie algebra with a real vector space structure, an antilinear operator $J$ ( $J^2 = -\mathrm{Id}$ ), and two involutive automorphisms $o, T$ .
$g_0$ is embedded as the $+1$ -eigenspace of $o$ in $g_H$ ; $g_0\oplus Jg_0$ generates $g_H$ over $\mathbb{R}$ .
In root space decomposition, each fundamental root space $g_\alpha \cong (g_0)_\alpha \oplus J(g_0)_\alpha$ and has complex dimension 2.
Classical examples include $\mathfrak{gl}(n,\mathbb{H})$ as the quarternification of $\mathfrak{gl}(n,\mathbb{C})$ , with explicit matrix representation as $2n\times 2n$ complex block matrices commuting with $J$ .
The schematic process extends Chevalley–Serre constructions: start from generators and relations for $g_0$ , adjoin $J$ -copies, and impose identical relations among the $J$ -partners, yielding a functorial extension.

Quarternification clarifies the role of quaternionic representations in real group theory and enables the direct computation of root multiplicities, Cartan decomposition, and automorphism groups in the quaternionic context (Tosiaki, 2020).

3. Quaternary Operations and Algebraic Operads

In the language of algebraic operads, quaternities manifest as the study of operads generated by a single quadrilinear operation, $\omega: V^{\otimes 4} \to V$ , and subject to quadratic relations. The classification addresses the analog of associativity for 4-ary (quaternary) operations:

The free nonsymmetric quaternary operad $\mathcal{O}$ has as basis the set of planar 4-ary trees (Catalan structure). At quadratic level in arity 7, there are four canonical monomials, $M_1,\dots,M_4$ .
A general quadratic relation is a linear combination $r_1M_1 + r_2M_2 + r_3M_3 + r_4M_4 = 0$ .
The fine structure of the resulting algebras is determined by the rank of the induced matrices of cubic consequences in arity 10. Minimal (maximal) rank corresponds to maximally free (nilpotent of index 3) extensions.
Extremal cases (minimal rank) are classified explicitly: in dimension 1, there are precisely eight parameter sets with minimal rank 10, corresponding to strong identities such as complete left-nilpotency or the Gnedbaye alternating sum.
The structure aligns with Koszul duality phenomena, with duality classes visible at the level of cubic and quadratic relations in families with shifted homological degree (Bremner et al., 2015).

This perspective systematizes non-associative, quadrilinear algebraic theories essential for higher-dimensional operad theory and deformation quantization.

4. Multivalued Logic and Quaternary Quantum Devices

Quaternities in logic refer to computing with four discrete states, as realized in multivalued logic gates. The physical realization in ballistic quantum point contacts (QPCs) couples quantized conductance to discrete logic values:

Each QPC supports a quantized conductance $G=N\,G_0$ ( $G_0=2e^2/h$ ), with discrete plateau states representing logic levels 0, 1, 2, 3.
Quaternary minimum-finding gates are constructed by series connection: the total conductance is the minimum of individual QPC conductances, $G_\text{out} = \min(G_1, G_2)$ , mapping $(a,b)\mapsto \min(a,b)$ in logic values.
Half-adder circuits are constructed in two stages: analog addition (overlapping QPCs) producing $G_\text{sum}=(a+b)G_0$ and digital splitting to yield sum and carry digits via secondary QPCs with selective transmission.
Devices are robust up to at least four logic levels; with improved device quality, the same principle scales to decimal logic (N=10), contingent on subband energy separation and ballisticity (Seo et al., 2014).

This approach directly connects mesoscopic quantum transport, conductance quantization, and hardware realization of multi-valued (quaternary and higher) logic circuits.

5. Ternary Generalizations: "Quaternions" and TU(3)-Algebra

The notion of quaternities is further generalized in the context of $N$ -ary algebraic systems beyond the familiar binary/associative case. Volkov constructs “ternary quaternions” or nonions, which serve as a 9-dimensional analog of Hamilton’s quaternions:

Two generators $q_1, q_2$ satisfy $q_1^3 = q_2^3 = 1$ , with the commutation relation $q_1 q_2 = j q_2 q_1$ ( $j = e^{2\pi i/3}$ ).
The 9 basis elements $q_{(a,b)} = q_1^a q_2^b$ close under ternary commutation, with matrix realization as $3\times3$ complex “nonions”.
The ternary $S_3$ -skew-symmetric bracket replaces the binary Lie commutator, giving rise to the TU(3) algebra and a ternary Cartan matrix with diagonal 3 (versus 2 in binary algebras).
Nonion algebra mirrors the role of quaternions for SU(2), now for the cubic unitary group TU(3) embedded in $\mathrm{SL}(3,\mathbb{C})$ subject to cubic unitarity.

This structure facilitates the exploration of cubic Clifford algebras, algebraic geometry of Calabi–Yau spaces, and higher root systems in particle-physics symmetry extensions (Volkov, 2010).

6. Universal Quaternary Sums in Polygonal Number Theory

In arithmetic combinatorics, "quaternary" designates four-term mixed sums of generalized $m$ -gonal numbers. The universality problem—characterizing coefficient quadruples guaranteeing that all nonnegative integers are representable—has been solved in remarkable completeness for orders $m\in\{3,4,5,8\}$ :

The standard form is $F(h,l,m,n) = a\,p_r(h) + b\,p_s(l) + c\,p_t(m) + d\,p_u(n)$ , with $p_m(x) = \frac{(m-2)x^2 - (m-4)x}{2}$ .
The universality criterion is established by generating function identities leveraging products of Ramanujan’s theta functions and their factorization properties.
A complete list of 21 families of universal quaternary forms is provided, settling all proper universal forms with summands among triangular, square, pentagonal, and octagonal numbers.
The methodology demonstrates inductively that universality for each shape follows from known cases via theta function product expansions and equivalence transformations (Bulkhali et al., 18 Jul 2025).

These results generalize the classical universality of quadratic forms to the richer setting of mixed polygonal number representations, with tight connections to additive combinatorics and modular forms.

7. Cohomological and Geometric Perspectives

Quaternities abstractly encode 2-categorical and cohomological symmetries:

Bibitorsors—quaternities in the sense of (Koshevoy et al., 25 Jan 2026)—organize obstructions in nonabelian H^2-theory: the commutative square of involutive bijections models a vanishing 2-cocycle condition.
The calculus provides a geometric engine underlying generalized (tetrahedron) integrable systems, positive geometries, and higher Bruhat orders—connecting combinatorics, category theory, and mathematical physics.
Wronskian evolutions in flag varieties admit a quaternity structure at the level of matrix actions and determinants, relating to all known functional tetrahedron equation solutions.
Open problems remain concerning the quantum/ noncommutative generalization of quaternities, birational classification, and 4D integrable systems.

This geometric and cohomological viewpoint indicates the breadth and depth of the concept, subsuming classical torsors and opening pathways to higher-dimensional algebraic topology and integrability.

The theory of quaternities thus encompasses a spectrum from explicit device physics and algebraic constructions to abstract categorical and cohomological frameworks, providing a unifying language for fourfold symmetries across mathematical disciplines.