Relationship between the Mandelbrot Algorithm and the Platonic Solids

This paper focuses on the dynamics of the eight tridimensional principal slices of the tricomplex Mandelbrot set: the Tetrabrot, the Arrowheadbrot, the Mousebrot, the Turtlebrot, the Hourglassbrot, the Metabrot, the Airbrot (octahedron) and the Firebrot (tetrahedron). In particular, we establish a geometrical classification of these 3D slices using the properties of some specific sets that correspond to projections of the bicomplex Mandelbrot set on various two-dimensional vector subspaces, and we prove that the Firebrot is a regular tetrahedron. Finally, we construct the so-called"Stella octangula"as a tricomplex dynamical system composed of the union of the Firebrot and its dual, and after defining the idempotent 3D slices of $\mathcal{M}_{3}$, we show that one of them corresponds to a third Platonic solid: the cube.


Introduction
Quadratic polynomials iterated on hypercomplex algebras have been used to generate multidimensional Mandelbrot sets for several years [2,4,11,15,17,21,27,32,39,40]. Although this approach is widespread in the litterature, other attempts at generalizing the classic fractal to higher dimensions have been made [1,13,16]. While Bedding and Briggs [2] established that possibly no interesting dynamics occur in the case of the quaternionic Mandelbrot set, the generalization given in [27], which uses the four-dimensional commutative algebra of bicomplex numbers, possesses an interesting fractal aspect reminiscent of the classical Mandelbrot set. Figure 1 shows that phenomenon for the so-called Tetrabrot (Fig. 3a). This bicomplex Mandelbrot set M 2 is proven to be connected [27] and related to a bicomplex version of the Fatou-Julia theorem [29]. In 2009, these results and ideas were subsequently extended to the multicomplex space for quadratic polynomials of the form z 2 + c over multicomplex numbers [15]. In addition, the same authors introduced an equivalence relation between the fifty-six principal 3D slices of the tricomplex Mandelbrot set M 3 in order to establish which slices have the same dynamics and appearance in 3D visualization software. By doing this, eight equivalence classes were identified and characterized [4], and for each of those, one particular slice was designated as a canonical representative (Fig. 3).
Later, the scope of this comprehensive study was broadened by the use of the polynomial z p + c where p ≥ 2. In particular, the authors of [24,22] determined the exact intervals corresponding to M p ∩ R, depending on whether the integer p is odd or even, and showed that the tricomplex Mandelbrot set M 3 3 generated by the cubic polynomial z 3 + c has only four principal 3D slices [23]. Then, Brouillette and Rochon [3,4] generalized this result to the multi-complex space by establishing that the multicomplex Multibrot set M p n , n ≥ 2, possesses at most nine distinct dynamics when p is even, and at most four when p is odd. In particular, the authors show that every principal 3D slice of M p n is equivalent to a tricomplex slice up to an affine transformation, thus establishing the optimality of the tricomplex space in the context of principal 3D slices.
Nevertheless, there are a few aspects of the theory that have not yet been addressed. Indeed, although the principal 3D slices of the tricomplex Mandelbrot set have been classified according to their dynamics, the relationships between some of them remain largely unexplored. Moreover, surprisingly there are two principal 3D slices that exhibit no irregularity, which is in sharp contrast to the other six. In fact, one is a regular octahedron (the Airbrot, Fig.3g) while the other is conjectured to be a regular tetrahedron (the Firebrot, Fig.3h) [15], and the underlying mechanism explaining such behavior is currently poorly understood.
Thus, the main objective of this paper is to deepen knowledge on the aspects mentioned above, and by extension, to establish a relationship between the Mandelbrot algorithm and the Platonic solids, which have become an integral part of natural sciences like chemistry and geology due to their remarkable properties and prevalence in those fields (see for example [10,12,36]). To achieve this, we develop several geometrical characterizations for the principal 3D slices of M 3 . However, in order to do so, we first need to recall relevant properties in the algebras of bicomplex and tricomplex numbers and introduce new ones.
Therefore, in section 1, the algebras of bicomplex and tricomplex numbers are introduced and new results concerning the latter are presented. Then, we establish various geometrical characterizations for the principal 3D slices of M 3 in section 2 and we also discuss some of the geometric properties that can be inferred from them, notably the fact that one slice is a regular tetrahedron. In section 3, we introduce another type of 3D projection called an idempotent tridimensional slice, and we show that one of them is a cube. Finally, we talk about the possibility to generate, in the same 3D subspace as that of the Firebrot and its geometric dual, a regular compound called the stellated octahedron (also named the Stella octangula) as a tricomplex dynamical system.

Definitions and basics
Bicomplex and tricomplex numbers are special cases of multicomplex numbers, which were first introduced by Segre [31] in 1892. One important reference on the subject is due to Price [25], who studied the general multicomplex number system and provided details for the bicomplex case. A modern recursive definition for the set of multicomplex numbers of order n would be [4,15,25]: where n ∈ N, i 2 n = −1 and M(0) := R. Multicomplex addition and multiplication are defined in an analogous manner to that of the complex plane 1 : Hence, we have M(1) C(i 1 ), and setting n = 2 gives the bicomplex numbers M(2) := BC, which have been studied extensively [18,25,26,28,30]. 2 It follows immediately that a bicomplex number w can be written as and expressing both z 1 and z 2 by their real coefficients x i yields Note that j 1 is called a hyperbolic unit since it satisfies the property j 2 1 = 1 [30,34]. One direct but far-reaching consequence stemming from the existence of such a unit is the presence of non-trivial idempotent elements in BC, namely γ 1 = 1+j1 2 and γ 1 = 1−j1 2 . As demonstrated in the references listed above, these two peculiar bicomplex numbers are the key to extend many classical results from the complex plane. In fact, more generally, the idempotent elements existing in M(n) generate various representations of a given multicomplex number, which in turn can be used to give natural extensions to concepts like holomorphy and power series [25,26,35,37]. In our context, the formal identity which holds for all w = z 1 + z 2 i 2 ∈ BC is called the idempotent representation of w and will be used in section 2. Remark that in this form, multiplication can be carried out term by term. We now turn our attention to the set of tricomplex numbers, which is denoted TC and corresponds to the case n = 3 in (1.1): It follows from this definition that any tricomplex number can be expressed as a sum of two, four or eight terms, respectively having bicomplex, complex or real coefficients: 1 Moreover, the set M(n) together with multicomplex addition and multiplication by real numbers is a vector space over the field R and is isomorphic to R 2 n .
2 It should be noted that beginning in 1848, J. Cockle developed an algebra which he called the tessarines [6,7,8,9] that was later proved to be isomorphic to BC.
Furthermore, the existence of idempotent elements that do not cancel out when multiplied together (e.g. γ 1 and γ 3 ) along with the commutativity of multiplication in TC imply that the products γ 1 γ 3 , γ 1 γ 3 , γ 1 γ 3 and γ 1 γ 3 are other examples of idempotent elements. Note that the same could be said about the products γ 2 γ i , γ 2 γ i , γ 2 γ i and γ 2 γ i where i ∈ {1, 3}. However, simple calculations show that these elements are all equal to γ 1 γ 3 , γ 1 γ 3 , γ 1 γ 3 or γ 1 γ 3 . The following theorem establishes precisely how many distinct idempotent elements exist in the algebra of tricomplex numbers. 3 Theorem 1 (See [38]). There exists exactly sixteen distinct idempotent elements in TC: the four products The different types of conjugation of a tricomplex number have been studied in [14,15]. More precisely, it is shown that any tricomplex number η has seven different conjugates, denoted η ‡i , i = 1, . . . , 7 (see Figure 2), and that their composition (together with the identity conjugation) forms a group isomorphic to Z 3 2 . Analogous results in M(n), n ≥ 1 are also presented. In addition, the authors of [35] provided a different but equivalent definition of conjugation valid in the general case. Nevertheless, one aspect of the theory that currently lacks understanding in the multicomplex setting M(n), n ≥ 3 is the relationship between conjugation and invertibility. Indeed, although Price [25] proposed various invertibility criteria based on the use of idempotent representations or Cauchy-Riemann matrices, none of these methods involve multicomplex conjugates, unlike the well known formula z −1 = z |z| 2 in the complex plane. The next new results, valid in the tricomplex case, represent a first step in this direction. 4 Proof. A brute force approach is to perform straightforward but tedious calculations, which ultimately lead to the desired result. However, a more refined proof is available in [38].
Moreover, when η is invertible, its multiplicative inverse is given by the formula Proof. This is a direct consequence of proposition 1.
It is rather interesting to note that these results also uncover a link between conjugation and Cauchy-Riemann matrices, as the multiplication of any η ∈ TC by its seven conjugates equals the determinant of its Cauchy-Riemann matrix with real coefficients [38]. Furthermore, we have the following corollary.

Corollary 1. Any non-zero tricomplex number is a zero divisor if and only if
it cancels out with one of its conjugates or a product of these.

Idempotent representations of a tricomplex number
Let n ≥ 2 and consider the algebra M(n). Then, as in [4,15,35,37], one can use the procedure developed by Price [25] to construct n − 1 sets of idempotent elements, each forming an orthogonal basis of the space M(n), and find an idempotent representation in each of those bases. Thus, in the tricomplex case, two idempotent representations can be obtained this way. First, we consider the elements γ 3 and γ 3 , to which corresponds the identity [25] that we will call the γ 3 -representation of η = η 1 + η 2 i 3 ∈ TC. The second representation can be derived from the first by noticing that the two idempotent components in (1.3) are bicomplex numbers. Hence, writing η 1 = η 11 + η 12 i 2 , η 2 = η 21 + η 22 i 2 and using (1.2) yields Remark that every idempotent component above is a complex number: thus, this process cannot be repeated. However, there is no pretense of completeness regarding the n − 1 sets of idempotent elements obtained by applying Price's method. For example, in the algebra of tricomplex numbers, Theorem 1 states that there exists fourteen non-trivial idempotent elements, whereas only six of them are used in identities (1.3) and (1.4). This suggests that additional representations involving other idempotent elements exist in TC. Indeed, by solving the system of linear equations associated to the equality η = aγ 2 + bγ 2 where a, b ∈ BC, one obtains the solution {a = η 1 − η 2 i 1 , b = η 1 + η 2 i 1 }, which leads to the identity Note that the properties of the idempotents elements involved in identities (1.3) to (1.5) ensure that the algebraic operations in TC can be carried out term by term in these representations. More generally, this is also true for the idempotent representations in M(n) for n ≥ 2, and in fact, this property is the cornerstone of several important results related to generalized Mandelbrot and filled-in Julia sets [19,4,15]. In a similar fashion, representations (1.2) to (1.5) will, most of the time, be the key to establish the results presented in sections 2 and 3. We begin this section by recalling relevant definitions introduced in [4,15]. Let P c (η) = η 2 + c and denote It follows that the classical Mandelbrot set can be defined as If we set c ∈ M(2) or c ∈ M(3) instead, we have the following generalizations.

Definition 2. The tricomplex Mandelbrot set is defined as
The bicomplex Mandelbrot set was first studied by Rochon in [27] while its tricomplex analog was introduced in [15]. In addition, these generalizations are particular cases of the multicomplex Multibrot sets studied in [4]. For the sake of clarity and continuity, we will use the same subspaces and notation as those in the last two references. Now, since M 3 is an eight-dimensional object, we are only able to visualize its various projections on tridimensional subspaces of TC, called 3D slices. This brings us to the following definitions.
is the vector subspace of TC consisting of all real finite linear combinations of these three distinct units.
We define a principal 3D slice of the tricomplex Mandelbrot set M 3 as As noted earlier, the fifty-six 3D slices corresponding to the various combinations of i k , i l , i m ∈ {1, i 1 , i 2 , i 3 , i 4 , j 1 , j 2 , j 3 } have been classified according to their dynamics (and, consequently, their appearance in visualization software) in [15]. Figure 3 illustrates the eight principal 3D slices of the tricomplex Mandelbrot set (power 2) resulting from this characterization [4]. Among these are two principal 3D slices called the Tetrabrot (Fig.3a) and the Airbrot (Fig.3g), for which geometrical characterizations have been respectively developed in [27] and [15]. For the latter, doing so indirectly proved that the Airbrot is a regular octahedron, thus confirming the presence of a first Platonic solid within tricomplex dynamics.

Characterizations of the principal 3D slices
Essentially, we want to elaborate similar characterizations for the remaining principal slices in order to confirm or explain some of their properties. One notable example is the fact that the Firebrot (Fig.3h) is conjectured to be a regular tetrahedron [14]. This assertion will be the subject of Theorem 3. Unless otherwise stated, the following results are an excerpt of those established in [38].

Proposition 3.
The principal 3D slice T (1, i 1 , j 1 ), named the Arrowheadbrot (Fig.3b), can be expressed as follows: Proof. Let c ∈ T (1, i 1 , j 1 ). Then, c = c 1 + c 2 i 1 + c 4 j 1 and by using identity (1.2), we can write where d = c 1 + c 2 i 1 ∈ C(i 1 ). By remarking that {P It is possible to be more precise with the last expression by using the well known property M 1 ∩ R = −2, 1 4 (see [5,22]). Indeed, we infer from it that (M 1 − y) ∩ (M 1 + y) = ∅ whenever y ∈ − 9 8 , 9 8 c . Thus, and since M 1 ∩ R is an interval, (M 1 − y) ∩ (M 1 + y) = ∅, ∀y ∈ − 9 8 , 9 8 . The above results show that both the Tetrabrot and the Arrowheadbrot can be described as the union of intersections of two translated classical Mandelbrot sets (along the imaginary axis for the former, and along the real axis for the latter). In other words, these tridimensional fractals can be obtained by using multiple copies of a two-dimensional related fractal. It is rather interesting to note that this is the case for each of the eight principal 3D slices of M 3 , although the required 2D subsets vary. In fact, for a given principal 3D slice, the properties of a related subspace called its "iterates space" determine the type and number of 2D subsets involved in its geometrical characterizations. 5 A detailed analysis on the subject is available in [38]. T (i 1 , i 2 , i 3 ), called the Metabrot (Fig.3f), can be characterized as follows:

Proposition 4. The principal slice
The iterates space of a principal slice was first introduced in [3,4] for other purposes. where It is not too difficult to see that the sequence {P (2.1) In order to be more precise with the last expression, we need to remark that A ⊂ {c 2 i 1 + c 3 i 2 : |c 3 | ≤ m}. Indeed, let a = a 2 i 1 + a 3 i 2 ∈ A. Then, identity (1.2) implies we can write a = (a 2 − a 3 )i 1 γ 1 + (a 2 + a 3 )i 1 γ 1 . In addition, the Mandelbrot set M 1 is symmetric along the real axis, meaning that ∀x ∈ R, xi 1 ∈ M 1 ⇔ −xi 1 ∈ M 1 . It follows that

It follows that {P
hence the aforementioned property. We conclude that ( simple explanation for this phenomenon. Indeed, since a 2 , a 3 ∈ R, the visual appearance of the set A is entirely determined by the peculiar dynamics of the classical Mandelbrot set M 1 along the imaginary axis. Furthermore, as equation (2.1) points out, we can view the set A as a projection of the bicomplex Mandelbrot set M 2 onto the vector subspace T(i 1 , i 2 ), just like the classical Mandelbrot set can be viewed as a projection of M 2 onto the complex plane T(1, i 1 ). It is then natural to ask whether the projection of M 2 onto the subspace T(1, j 1 ), which is the vector space of hyperbolic numbers, plays a significant role within tricomplex dynamics.
Let us start by recalling the relevant definition. The set of hyperbolic numbers (see [34,33]) is defined as D := {x + yj 1 : x, y ∈ R and j 2 1 = 1}.
From this, it is evident that D ⊂ BC. In 1990, Senn [32] was the first to apply the Mandelbrot algorithm to hyperbolic numbers in order to generate another 2D set that revealed itself as a simple filled-in square. This property was later proved by Metzler [20]. The hyperbolic Mandelbrot set (or Hyperbrot) is defined as follows: H := {c ∈ D : {P (n) c (0)} n∈N is bounded} while Metzler obtained the following characterization: In terms of tricomplex dynamics, the Hyperbrot is the key to generate Platonic solids in specific three-dimensional subspaces of TC. Indeed, it can be shown that two principal 3D slices of M 3 can be characterized as such, and that is the content of the next two propositions.
Proposition 5 (See [15]). The Airbrot admits the following representation: As stated in [15], proposition 5 and Metzler's characterization establish that the Airbrot is a regular octahedron of edge length equal to 9 8 √ 2. We wish to prove a similar result for the Firebrot, whose geometrical shape also seems regular.

Proposition 6.
The principal slice T (j 1 , j 2 , j 3 ), named the Firebrot (Fig.3h), can be characterized as follows: Proof. For any c ∈ T (j 1 , where d = c 7 + c 4 j 1 ∈ D and −d = −c 7 + c 4 j 1 . 6 Again, since {P  Notice that H ⊂ T(j 1 , j 2 , j 3 ) ⊃ T (j 1 , j 2 , j 3 ). In order to establish a characterization analogous to that of the previous 3D slices, we must make sure that the 2D sets involved are in the right subspace. This can be achieved by setting where H is a duplicate of the Hyperbrot in the subspace T (j 1 , j 3 ). This way, we may write 6 The hyperbolic conjugate of any z = x + yj 1 ∈ D is defined as z = x − yj 1 .
Propositions 5 and 6 are interesting and similar in that they state how both the Airbrot and the Firebrot are Platonic solids that can be generated by the union of intersections of translated squares (Hyperbrots). The former can be generated using vertically translated Hyperbrots (that is, a translation along the hyperbolic axis), which ensures each intersection is square shaped. For the latter, a reflection along the hyperbolic axis is applied to one of the Hyperbrots prior to the vertical translation, meaning that every non-empty intersection will be rectangular. This particularity is what accounts for the Firebrot's tetrahedral shape.
Theorem 3. T (j 1 , j 2 , j 3 ) is a regular tetrahedron with edge length of √ 2 2 . Although proposition 6 provides relevant insight into the Firebrot's geometrical shape, the assertion above is proven using a more direct approach.
Proof. Suppose that c ∈ T (j 1 , j 2 , j 3 ) with c = c 4 j 1 + c 6 j 2 + c 7 j 3 . Using identity (1.4) yields c = (0c 1 + 0c 2 i 1 ) + (0c 3 + c 4 i 1 )i 2 + [(0c 5 + c 6 i 1 ) + (c 7 + 0c where we denote every component of the last equality by a i for convenience. It follows that {P By using Fourier-Motzkin elimination (see [38], annex A), it is possible to show that c ∈ T (j 1 , j 2 , j 3 ) ⇒ |c 6 | ≤ 1 4 . In turn, this means that the second, fourth, sixth and eighth inequalities of the last system are unnecessary. In other words, they are redundant constraints and they can be removed without changing the set of solutions. Doing so reduces the number of inequalities to four: The rest of the proof is carried out by determining the (j 1 , j 2 , j 3 ) coordinates of the four extreme points (vertices) of this system, and then calculating the distance between these.
We now turn our attention to the remaining principal slices, which are called the Mousebrot (Fig.3c), the Turtlebrot (Fig.3d) and the Hourglassbrot (Fig.3e). Although the three of them admit geometrical characterizations similar to those presented at the beginning of the current section, the emphasis is placed on their interrelationships.

Proposition 7.
Consider the principal 3D slice T (i 1 , i 2 , j 2 ). We have Observe that T (i 1 , i 2 , ±j 1 ) ⊂ T(i 1 , i 2 , j 2 ). In an analogous manner to that of proposition 6, we define to make sure the 3D sets involved are in the right subspace. Thus, The above result reveals that the Turtlebrot T (i 1 , i 2 , j 2 ) can be expressed as the intersection of two other 3D slices. Moreover, in the right subspace, one of these slices is none other than a duplicate of the Mousebrot (Fig.3c), while the second is obtained by applying a reflection along the plane zj 2 = 0 to the first. 8 Interestingly, only one other principal 3D slice possesses the same property: the Hourglassbrot.
Proof. We begin by setting c = c 2 i 1 + c 4 j 1 + c 6 j 2 ∈ T (i 1 , j 1 , j 2 ) and then using identity (1.5). The rest of the proof is similar to that of Proposition 7.
Thus, in the right subspace, the Hourglassbrot T (i 1 , j 1 , j 2 ) can be expressed as the intersection of two 3D slices: a copy of the Arrowheadbrot (Fig.3b), and the slice obtained by applying a reflection along the plane zj 2 = 0 to it.

The cube and the stellated octahedron
The main reason why the principal slices T (1, j 1 , j 2 ) and T (j 1 , j 2 , j 3 ) are Platonic solids is that in both cases, the iterates calculated when applying the Mandelbrot algorithm to numbers of the form c 1 + c 4 j 1 + c 6 j 2 and c 4 j 1 + c 6 j 2 + c 7 j 3 stay in a particular four-dimensional subspace of TC called the biduplex numbers [38]. Indeed, it is easily verified that the set of biduplex numbers D(2) := {c 1 + c 4 j 1 + c 6 j 2 + c 7 j 3 : c 1 , c 4 , c 6 , c 7 ∈ R and j 2 1 = j 2 2 = j 2 3 = 1} together with tricomplex addition and multiplication forms a proper subring of TC, and is thus closed under these operations. Moreover, in the right idempotent basis (1.4), every biduplex number can be expressed through four real components. It follows that the boundedness of the sequence {P (n) c (0)} n∈N specific to any c ∈ T (1, j 1 , j 2 ) or c ∈ T (j 1 , j 2 , j 3 ) is entirely dependent on the dynamics of the classical Mandelbrot set M 1 along the real axis, the intersection of which corresponds to a single interval, hence the regularity.
Then, the properties of the idempotent representation (1.4) imply this is the case if and only if the sequences {P n xi (0)} n∈N are bounded, and since x i ∈ R, we must have x i ∈ −2, 1 4 , i = 1, 2, 3. Thus, in the basis {γ 1 γ 3 , γ 1 γ 3 , γ 1 γ 3 }, we obtain the equality where × denotes the standard cartesian product. It seems highly unlikely that the two remaining Platonic solids, the dodecahedron and the icosahedron, can be visualized through tricomplex dynamics. However, it is possible to generate other types of polyhedra, like regular compounds and some specific Archimedean solids. To conclude this section, we wish to give a basic example of the first type. The stellated octahedron, can be seen as a regular dual compound made of two regular tetrahedra. As such, it can be regarded as the simplest polyhedral compound. In our context, Theorem 3 states that the principal 3D slice T (j 1 , j 2 , j 3 ) is a regular tetrahedron, while several proofs in section 2 hinted that tricomplex conjuation can have a fundamental geometric sense in specific 3D subspaces. More precisely, its effect can be equivalent to that of a reflection along a certain plane. Combining these ideas gives us a simple way, within tricomplex dynamics, to generate a stellated octahedron as the union of the slice T (j 1 , j 2 , j 3 ) and of its geometric dual.
By proposition 6, it is not too hard to see that the latter can be obtained by applying a reflection along the plane yj 2 = 0 to the Firebrot. Moreover, since c = c 4 j 1 + c 6 j 2 + c 7 j 3 ⇔ −(c ‡5 ) = c 4 j 1 − c 6 j 2 + c 7 j 3 , we deduce that the operation −(c ‡5 ) corresponds to the desired reflection. Therefore, the 3D slice T (j 1 , −j 2 , j 3 ) := {−(c ‡5 ) | c ∈ T (j 1 , j 2 , j 3 )} must coincide with the geometric dual of the slice T (j 1 , j 2 , j 3 ). Generating these simultaneously results in the polyhedron illustrated in Figure 6.

Conclusion
In this article, we first established new results in the algebra of tricomplex numbers related to idempotent elements and invertibility, thus paving the way for interesting extensions valid in the multicomplex setting M(n), n ≥ 3. Then, we presented various geometrical characterizations for the principal 3D slices of the tricomplex Mandelbrot set M 3 , allowing these to be classified according to their connections to 2D or 3D related sets. In the process, we also confirmed the presence of three Platonic solids within the tricomplex dynamics associated with the Mandelbrot algorithm.
In subsequent works, it could be interesting to extend the classification of the principal slices of M 3 to the power p ≥ 2. Doing so would probably expand the list of convex polyhedra found among the principal slices because when considering p = 8, the Firebrot strongly resembles a truncated tetrahedron, which is an Archimedean solid (Figure 7).
In addition, by considering the algebra M(n), n ≥ 3, the search for regular convex polytopes could be generalised to n-dimensional slices. In fact, it is worth noting that the method used in section 3 provides a straightforward way to establish that the idempotent 4D slice T e (γ 1 γ 3 , γ 1 γ 3 , γ 1 γ 3 , γ 1 γ 3 ) is a tesseract (also called hypercube), that is, a four-dimensional regular convex polytope. Furthermore, the approach in Theorem 3 can probably be used to prove that in the usual basis, at least one specific 4D slice corresponds to a regular four-dimensional cross-polytope (also called hyperoctahedron). Together, these examples provide sufficient information to allow us to emit a conjecture.  In view of what has been mentioned above, it appears the easiest way to start to prove this conjecture is to show that both the n-dimensional hypercube and the n-dimensional hyperoctahedron exist within multicomplex dynamics when n ≥ 3. This is supported by the fact that the number of equations needed to describe these n-polytopes elegantly match the number of equations provided by the extended representation (1.4) under any of the two bases considered herein. However, note that this is not the case for the n-dimensional simplex. Thus, proving its existence for every value of n ≥ 3 promises to be a more arduous task. Finally, in a more applied perspective, it could be relevant to consider this theory in relation with the natural geometry of fragmentation [12].