Computational Characterization of the Multiplication Operation of Octonions via Algebraic Approaches

: A succinct and systematic form of multiplication for any arbitrary pairs of octonions is devised. A typical expression of multiplication for any pair of octonions involves 64 terms, which, from the computational and theoretical aspect, is too cumbersome. In addition, its internal relation could not be directly visualized via the expression per se. In this article, we study the internal structures of the indexes between imaginary unit octonions. It is then revealed by various copies of isomorphic structures for the multiplication. We isolate one copy and define a multiplicative structure on this. By doing so, we could keep track of all relations between indexes and the signs for cyclic permutations. The final form of our device is expressed in the form of a series of determinants, which shall offer some direct intuition about octonion multiplication and facilitate the further computational aspect of applications.


Introduction
The relation between algebraic systems or operations and geometry is always a fascinating topic in physics [1,2].Their relation could be easily applied or implemented in real problems, particularly the movement of 3D objects or higher dimensional tangible or intangible objects [3][4][5].In this research, we shall focus on the computational aspect of octonions with an aim to improve the efficiency of its computational and theoretical derivations.As we already know, there are many ways to construct octonions, such as the Fano Plane (cyclic permutations refer to the multiplication), the Cayley-Dickson construction (an octonion is regarded as a pair of quaternions), Clifford algebras, spinors, and trialities [6].Octonions are non-commutative and non-associative but alternative (a weaker form of associativity) and power-associative [7].A standard form of an octonion is ⃗ w = w 0 ⃗ e 0 + w 1 ⃗ e 1 + w 2 ⃗ e 2 + w 3 ⃗ e 3 + w 4 ⃗ e 4 + w 5 ⃗ e 5 + w 6 ⃗ e 6 + w 7 ⃗ e 7 [8].The product of each pair of octonions is defined via ⃗ w⃗ v : •⃗ e i ⃗ e j .In order to form a closed set and preserve some properties, one has to specify the product of each pair of unit octonions ⃗ e i ⃗ e j .This is carried out normally via a multiplication table, such as Table 1, ⃗ e i •⃗ e i+1 := ⃗ e i+3 [9], and the unit octonions ⃗ e j [10].
Though it is clearly specified, the real computation will concern an expansion of 64 terms in order to rearrange them into a standard form of an octonion: ⃗ w⃗ v :=.
(w Even if one could put up with this expression, it will become unbearable when an extra octonion is involved in the product, in which there will be 512 terms to be rearranged, and the resulting coefficient of each unit octonion will contain 64 terms.The main idea of this article is to find the intrinsic relations between these indexes so as to simplify the representations into a summarized and manageable form (see Theorems 1 and 3).The development of quaternions and octonions has lasted for centuries [11,12].Their interaction has also been studied for a long time, particularly their multiplication operators [13].To overcome the lengthy expression of multiplication between two octonions and obtain some succinct expressions, we study the internal relation between the terms and express them in a much more manageable form, which shall facilitate the cumbersome computational aspect of operations regarding octonions.Though some applications for octonions are associated with quaternion counterparts [14,15], there are more advanced and modern applications [16] that are worth investigating if our device is adopted.It also has some intrinsic or general properties in common with other algebras from the perspectives of algebraic mapping [17].
Based on the octonionic product rule⃗ e i •⃗ e i+1 := ⃗ e i+3 , the indexes for the unit octonions {⃗ e 1 ,⃗ e 2 , • • • ,⃗ e 7 } are classified into seven cyclic permutation groups [1] [6] ≡ {6, 7, 9}, and [7] ≡ {7, 8, 10}.Each group has its distinct sum: 7, 10, 13, 16, 19, 22, and 25, respectively.We identify them with a pair of values: sum and absolute difference.We then associate them with a function Lab to recover the label of its group, i.e., 1 to 7.Then, we study the relation between them, particularly their algebraic identities.In addition, the multiplicative octonion after the product of two octonions is identified via two parts:the unsigned unit octonion and the signed one.The former part is captured by the function PM, while the second part is captured by a counting-swap function #s and an odd-even function ϵ, which represents the cyclic action.Their results are mainly summarized in Tables 2 and 3.With these settings and their related properties, we could then define the multiplication for each pair of octonions ⃗ u × 8 ⃗ v.The main idea is to find the intrinsic relations between the cyclic groups [1], [2], . . ., [7] in order to keep track of the action between all indexes.Such representations could facilitate our intuitive comprehension of an octonionic product.(2,4), (1,4) (p, q) * = 5 −5 (6, 5)

Theoretical Statements and Derivations
For any given non-negative paired integers b = (p, q) ∈ N 2 , we use b * (or (p, q) * ) and b * (or (p, q) * ) to denote max{p, q} and min{p, q}, respectively.
In the table, σ(n) denotes the sum of all values in [n].
where [[n]] is defined in Table 2.
Lab(p, q) (also denoted by l(a, b)) will recover the group to which the pair (p, q) belong.This piecewise function could be further characterized via the following equivalent functions.
Proof.The piecewise function defined in Definition 1 could be capsuled into the following equivalent function: Corollary 1. Lab(p, q) = (p, q) * , (p, q) * , 1 Definition 2. #s( h) is defined by the lowest number of swapping instances with respect to the neighboring elements in the vector h in order to coincide with its ascending vector k.
Let ϵ denote the characteristic function for even and odd non-negative integers (1 for even integers, including 0, and −1 for odd integers).Let sg denote the sign function (1 for non-negative numbers and −1 for negative numbers).
There are some specifications for the table: 1.
Proof.It follows immediately from Claim 5.
Proof.It follows immediately from the definition of U 7 and Corollary 3. The actual computation is based on Corollary 4, and the results are shown in the rightmost column of the first part of Table 3.
Remark 1.The above-mentioned results could be captured via the following respective structures: Remark 2. Hence, by the previous remark, we could have three copies of isomorphic multiplicative structures.In this article, we choose the first copy of the isomorphic structure to define our original multiplication.Since the other two representations are also isomorphic to this one, one could also choose the others instead.If one does choose the other two, they shall obtain the multiplication results that differ in the indexes.
Proof.Due to the definition of η in Definition 4, M 1 is isomorphic to R 1 , M 2 is isomorphic to R 2 , and M 3 is isomorphic to R 3 .Since they are all disjoint, the derivation is completed.
Let us use η −1 to denote its inverse function.Let us use . Some similar statements hold for their elements as well.The corresponding relation between them is shown in the first part in Table 3.

Definition 5. Preliminary setting of Multiplication
Proof.By Lemma 2, the results are presented in the first part of Table 3; by Lemma 1, one could verify the validity of these statements.
Proof.The first and second determinants correspond to the terms in the same parts in Definition 1. Now, we argue the other parts.By replacing (p, q) * with a variable n in Lemma 1, one obtains for all 1 ≤ n ≤ 7. Hence, by Lemmas 2 and 3, one obtains the set of paired (unsigned) coefficients {(n + 5, n + 4), (n + 3, n + 1), (n + 2, n + 6)} for each ⃗ e n .The signs for each multiplicative combination is then decided via Lemma 4.
The eventual terms are presented in the forms of the last three determinants.
The form in Theorem 1 could be further represented by a form of the inner product , where the following is the case: Proof.By expanding the terms of ⃗ w × 8 ⃗ v with U 7 and the operation of determinants, one could show that they match the terms of ⃗ w⃗ v.Some simple results following this theorem are as follows: benefit for this representation, either in the derived form or graphical structures, lies in its intuitive and succinct capture of high-dimensional data or analysis.Since the octonion product is non-communicative, it resembles a causal (directional) relation [18].From Figure 1, we could summarize some properties for the kind of modeling that fits better in this representation: 1.
Theorem 1 reveals a structure with a sequence of bijective directional ordered treesan explanation is offered in the caption of Figure 1; 2.
In principle, it fits better for ranked data, since the solid lines correspond to (or interpretable as) the relation from lower ranked values to higher ranked values; 3.
All relations emitted from w 0 and v 0 are positive (solid lines)-this indicates the property that the relation is definitely positive; 4.
The eight graphs in the figure could be used to represent eight probabilistic/deterministic states or seven states with one reference state or other similar mechanisms.Now, we exploit our derived theorem and graphical structures to study the causality from investment (cost) to the revenue of an industry (this would diminish or even remove the temporal effect and justify the ranking approach) on a weekly basis.The provided data are sorted from the lowest value to the highest one on a weekly basis, as shown in Table 4.There are several assumptions regarding the causal analysis: 1.
The sunken cost (invested) and incurred revenue (for example, annual rental income, inventory, etc.) are assigned (proportionally for one week, if the cost/revenue is calculated yearly or monthly) to the initial fixed cost (noted by w 0 ) and revenue (noted by v 0 ) assigned for the week; 2.
Regarding the initial values, or w 0 , v 0 , and the seven ranks (from 1 to 7), one reference state and seven probabilistic states are presented-each of which is captured by the coefficients of the seven imaginary parts of an octonion.The seven probabilistic states are distinguished by one rank, as shown in Figure 1; 3.
The initial cost leads to all positive increases in revenue; weekday and weekend costs lead to an (anticipated) increase in initial incurred revenue.This assumption could be amended by changing the sign of v 0 directly in the source data; 4.
For the reference state, two forces are offsetting each other: the same-rank correlation, The weighted state is evaluated via the seven probabilistic states with weights from the reference state; 6.
The value of the multiplication of any two values is regarded as the strength of either positive or negative causality; 7.
The causality between cost and revenue is revealed/sampled by three rank differences 1, 2, and 4 (for the choice of another difference, one shall consider the other 480 isomorphic octonion products), which correspond to the different colors in Figure 1; 8.
The strength of the causality is measured via multiplication between the cost and revenue, and its sign is determined by ascending (positive, solid lines) or descending rankings (negative, dashed lines).
We write an R program (version 4.2.2) to implement the given data in Table 4.The source codes could be fetched via https://github.com/raymingchen/Mathematicsoctonion-product.git(accessed on 2 February 2024).The causal ratio for Week One is 60.61 and Week Two is 14.61.Obviously, Week One demonstrates a stronger causal relation wiht respect to the cost and revenue than Week Two.

Figure 1 .
Figure 1.A sequence of dynamic graphical (tree-like) structures identifying ⃗ w × 8 ⃗ v: Each tree structure represents the coefficient of each ⃗ e j .The upper four tree structures correspond to the coefficients of ⃗ e 0 ,⃗ e 1 ,⃗ e 2 and ⃗ e 3 , while the lower four correspond to the coefficients of ⃗ e 4 ,⃗ e 5 ,⃗ e 6 and ⃗ e 7 , respectively.In each structure, the nodes are assigned different shapes to indicate that there are ordered vectors.Identical shapes with solid shades or circles are applied to separate the octonions ⃗ w and ⃗ v.The edges represent the linkage between nodes, in which the solid lines indicate positive relations and the dashed lines indicate negative relations.The colored lines are used to keep track of the dynamical/probabilistic changes in their relations.

Table 1 .
A multiplication table for ⃗ e i ⃗ e j via rules based on modulo 7.

Table 2 .
Transitional computation table: In the table,

Table 3 .
Compatible combinations of solutions.