You are currently viewing a beta version of our website. If you spot anything unusual, kindly let us know.

Preprint

Article

Omnidimensional Convex Polytopes

Altmetrics

Downloads

531

Views

342

Comments

A peer-reviewed article of this preprint also exists.

This version is not peer-reviewed

Abstract

The study shows that the volumes and surfaces of $n$-balls, $n$-simplices, and $n$-orthoplices are holomorphic functions of $n$, which makes those objects omnidimensional, that is well defined in any complex dimension. Applications of these formulas to the omnidimensional polytopes inscribed in and circumscribed about $n$-balls reveal previously unknown properties of these geometric objects. In particular, for $0 < n < 1$, the volumes of the omnidimensional polytopes are larger than those of circumscribing $n$-balls, and both their volumes and surfaces are smaller than those of inscribed $n$-balls. The surface of an $n$-simplex circumscribing unit diameter $n$-ball is spirally convergent to zero with real $n$ approaching negative infinity but first has a local maximum at $n=-3.5$. The surface of an $n$-orthoplex circumscribing unit diameter $n$-ball is spirally divergent with real $n$ approaching negative infinity but first has a local minimum at $n=-1.5$, where its real and imaginary parts are equal to each other; similarly, as its volume, where the similar local minimum occurs at $n=-3.5$. Reflection functions for volumes and surfaces of these polytopes inscribed in and circumscribed about $n$-balls are proposed. symmetries of products and quotients of volumes in complex dimensions $n$ and $-n$ and of surfaces in complex dimensions $n$ and $2-n$ are shown to be independent of the metric factor and the gamma function. Specific symmetries also hold between volumes and surfaces in dimensions $n = -1/2$ and $n = 1/2$.

Keywords:

Subject: Computer Science and Mathematics - Geometry and Topology

I. INTRODUCTION

The notion of dimension n is intuitively defined as a natural number of coordinates of a point within Euclidean space

R^{n}

. However, this is not the only possible definition [1,2] of a dimension of a set. For example, analytic continuations from positive dimensions [2,3,4,5] can define negative dimensions [6]. Fractional (or fractal), including negative [7], dimensions are consistent with experimental results and enable the examination of transport parameters in multiphase fractal media [8,9]. This renders dimension n real, or at least a rational number. Complex [2], including complex fractional [10], dimensions can also be considered. Complex geodesic paths, for example, emerge in the presence of black hole singularities [11] and when studying entropic dynamics on curved statistical manifolds [12]. Complex wavelengths occur in Maxwell-Boltzmann, and Fermi-Dirac statistics on black hole event horizons [13]. Fractional derivatives of complex functions can describe different physical phenomena [14]. For example, it was recently shown [15] that magnetic monopole motion in 3-simplicial spin ice crystal lattice is limited to a fractal cluster.

In n-dimensional space, n-dimensional objects have

(n - 1)

-dimensional surfaces which have a dimension of volume in

(n - 1)

-dimensional space. However, this sequence has a singularity at

n = - 1

. A 0-dimensional point in 0-dimensional space has a vanishing

(- 1)

-surface being a vanishing volume of the

(- 1)

-dimensional void. But the surface of the

(- 1)

-dimensional void is not

(- 2)

-dimensional. It is undefined. This discontinuity hints that thinking about dimension in terms of a point on a number axis, where negative dimensions are analytic continuations from positive ones, may be misleading. Thinking of the dimension as a point on a number semiaxis, similar to a point on a radius with

(- n)

-dimension corresponding to n-dimension, seems more appropriate. Considering the dimension of a set as the length exponent at which that set can be measured makes the negative dimensions refer to densities as positive ones refer to quantities [5]. Thus, the

(- 2)

-dimensional pressure, for example, considered in terms of density (e.g., in units of N/m²) corresponds to a 2-dimensional area (in units of m²) that it acts upon. Following the same logic, gravitational force

F = G M m / R^{2}

acting towards an inside of a 2-dimensional equipotential surface is

(- 2)

-dimensional, whereas centripetal force

F = m V^{2} / R^{1}

acting towards an outside of a 1-dimensional curve is

(- 1)

-dimensional.

The notion of distance intuitively defines how far apart two points are. Thus, intuition suggests that it is a non-negative quantity. However, intuition can be misleading1, and the Euclidean distance admits not only the principal, non-negative, square root but also a negative one. This fact, taken plainly, violates the nonnegativity axiom of the metric. However, diffuse metrics [16], including the Łukaszyk-Karmowski metric [17], are known to violate the identity of indiscernibles axiom of the metric. This hints that axiomatizing distance as a non-negative quantity may also be misleading. Complex effects (bivalence) extend real effects (classically one value), just as quantum theory extends classical physics.

The study shows that the recurrence relations of the prior research [18] allow removing indefiniteness present in known formulas for volumes and surfaces of the three polytopes present in all natural dimensions [19], thus making them holomorphic functions of a complex dimension n and omnidimensional (i.e., well defined

\forall n \in C

The paper is structured as follows. Section II summarizes known formulas and recurrence relations for volumes and surfaces of n-balls and regular, convex n-polytopes. Section III shows that these formulas and recurrence relations can be extended to all complex dimensions. Section IV examines the properties of the omnidimensional, regular, convex polytopes inscribed in and circumscribed about n-balls and their reflection functions. Section V presents metric-independent relations between volumes and surfaces of these polytopes and n-balls, whereas Section VI presents particular symmetries between volumes and surfaces for

| n | = 1 / 2

. Section sec:discussion concludes and discusses the findings of this study, hinting at their possible applications.

II. KNOWN FORMULAS

It is known that the volume of an n-ball (B) is

V {(n)}_{B} = \frac{π^{n / 2}}{Γ (n / 2 + 1)} R^{n},

(1)

where

Γ : C \to C

is the Euler’s gamma function,

n \in C ∖ {n = - 2 k - 2

k \in N_{0}}

[18], and R denotes the n-ball radius. As the gamma function is meromorphic, volumes of n-balls are complex in complex dimensions. The volume of an n-ball can be expressed [20] in terms of the volume of an

(n - 2)

-ball of the same radius as a recurrence relation

V {(n)}_{B} = \frac{2 π R^{2}}{n} V {(n - 2)}_{B},

(2)

where

V {(0)}_{B} ≔ 1

and

V_{1} {(R)}_{B} ≔ 2 R

. The relation (2) can be extended [18] into negative dimensions as

V {(n)}_{B} = \frac{n + 2}{2 π R^{2}} V {(n + 2)}_{B},

(3)

solving (2) for

V (n - 2)

and assigning new n as the previous

n - 2

. A radius recurrence relation2 [18]

f (n) ≔ \frac{2}{n} f (n - 2),

(4)

where

n \in C

f (0) ≔ 1

and

f (1) ≔ 2

, allow for expressing the volume n-ball as

V {(n)}_{B} ≔ f (n) π^{⌊n / 2⌋} R^{n},

(5)

where ”

⌊x⌋

” is the floor function that yields the greatest integer less than or equal to its argument x. The relation (4) can be, analogously as formula (2), extended [18] into complex dimensions with a negative real part as

f (n) = \frac{n + 2}{2} f (n + 2),

(6)

which allows to define

f (- 1) = f (0) ≔ 1

to initiate the sequences (4) or (6). Known [20] surface of an n-ball3 is

S {(n)}_{B} = \frac{n}{R} V {(n)}_{B} .

(7)

Known volume of n-cube (C) is

V {(n)}_{C} = A^{n},

(8)

where

n \in C

and A is the edge length. The known surface of n-cube is

S {(n)}_{C} = 2 n A^{n - 1},

(9)

where

n \in C

Known [21,22] volume of a regular n-simplex (S) is

V {(n)}_{S} = \frac{\sqrt{n + 1}}{n! \sqrt{2^{n}}} A^{n},

(10)

where

n \in N

. The formula (10) can be written [18] as a recurrence relation

V {(n)}_{S} = A V {(n - 1)}_{S} \sqrt{\frac{n + 1}{2 n^{3}}},

(11)

with

V {(0)}_{S} ≔ 1

, to remove the indefiniteness of the factorial for

n < 1

. Formula (11) can be solved for

V (n - 1)

. Assigning new n as the previous

n - 1

, yields [18]

V {(n)}_{S} = \frac{V {(n + 1)}_{S}}{A} \sqrt{\frac{2 {(n + 1)}^{3}}{n + 2}},

(12)

which also removes the singularity for

n = 0

present in the volume (10). n-simplex has

n + 1

(n - 1)

-facets [20]. Therefore, its surface is

S {(n)}_{S} = (n + 1) V {(n - 1)}_{S} .

(13)

Known [20] volume of an n-orthoplex (O) is

V {(n)}_{O} = \frac{\sqrt{2^{n}}}{n!} A^{n},

(14)

where

n \in N_{0}

Formula (14) can be written [18] as a recurrence relation

V {(n)}_{O} = A V {(n - 1)}_{O} \frac{\sqrt{2}}{n},

(15)

where

n \neq 0

and

V {(0)}_{O} ≔ 1

, to remove the indefiniteness of the factorial for

n < 0

. Solving (15) for

V (n - 1)

and assigning new n as the previous

n - 1

, yields [18]

V {(n)}_{O} = V {(n + 1)}_{O} \frac{n + 1}{A \sqrt{2}},

(16)

which also removes singularity for

n = 0

present in formula (15). Any n-orthoplex has

2^{n}

facets [20], which are regular

(n - 1)

-simplices. Therefore, its surface is

S {(n)}_{O} = 2^{n} V {(n - 1)}_{S} .

(17)

III. HOLOMORPHIZING KNOWN FORMULAS

Known formulas presented in the preceding section can be extended to all complex dimensions. We note that volumes and surfaces of n-cubes are already defined

\forall n \in C

and thus holomorphic. We also note that a square root is bivalued in the complex domain4. Therefore, volumes and surfaces of n-balls and regular, convex n-polytopes are also bivalued in complex dimensions n. We call principal branch the branch with positive values in positive real dimensions.

Theorem 1

The volume of an n-ball is a holomorphic, bivalued function of a complex dimension n.

Proof.

First, we note that the initial bivalued values for the radius recurrence relations (4), (6) are

f (- 1) = f (0) ≔ \pm 1

V {(0)}_{B} ≔ \pm 1

and

V_{1} {(R)}_{B} ≔ \pm 2 R

. Then, we note that the recurrence relations (3) and (5) correspond to each other

\begin{matrix} V {(n)}_{B} = \frac{n + 2}{2 π R^{2}} V {(n + 2)}_{B} = \frac{n + 2}{2} f (n + 2) π^{⌊n / 2⌋} R^{n} \\ V {(n + 2)}_{B} = π f (n + 2) π^{⌊n / 2⌋} R^{n + 2}, \end{matrix}

(18)

which, after setting

\tilde{n} ≔ n + 2

, yields

V {(\tilde{n})}_{B} = f (\tilde{n}) π^{1 + ⌊(\tilde{n} - 2) / 2⌋} R^{\tilde{n}} = f (\tilde{n}) π^{⌊\tilde{n} / 2⌋} R^{\tilde{n}} .

(19)

Comparing the non-recurrence general n-ball volume formula (1), which is bivalued for

n \in C

and valid within the domain of the gamma function, with the recurrence relation (3)

V {(n)}_{B} = \pm \frac{π^{n / 2}}{Γ (n / 2 + 1)} R^{n} = \frac{n + 2}{2 π R^{2}} V {(n + 2)}_{B}

(20)

yields

\begin{matrix} V {(n + 2)}_{B} = \pm \frac{2 π^{n / 2 + 1}}{(n + 2) Γ (n / 2 + 1)} R^{n + 2} . \end{matrix}

(21)

Setting

\tilde{n} ≔ n + 2

yields

\begin{matrix} V {(\tilde{n})}_{B} & = \pm \frac{2 π^{\tilde{n} / 2}}{m Γ (\tilde{n} / 2)} R^{m} = \pm \frac{π^{\tilde{n} / 2}}{\frac{\tilde{n}}{2} Γ (\tilde{n} / 2)} R^{\tilde{n}} = \\ = \pm \frac{π^{\tilde{n} / 2}}{Γ (m / 2 + 1)} R^{\tilde{n}}, \end{matrix}

(22)

which recovers (1), as

\frac{n}{2} Γ (\frac{n}{2}) = Γ (\frac{n}{2} + 1)

\forall n \in C ∖ {n = - 2 k

k \in N_{0}}

. Thus we have proved that the recurrence relations (2), (3), and (5) correspond to the general n-ball volume formula (22) within this domain.

However, now we can use any of the backward recurrence relations (3) or (5) with (6) to determine the values of the n-ball volume outside this domain:

\forall n + 2 \in C

we can find

V {(n)}_{B}

On the other hand

lim_{n \to - 2 k - 2, k \in N_{0}} \pm \frac{π^{n / 2} R^{n}}{Γ (n / 2 + 1)} = \frac{a}{\infty} = 0,

(23)

so the poles of the meromorphic gamma function

Γ (n / 2 + 1)

present in (22), now defined in the sense of a limit of a function, vanish, which completes the proof. □

Corollary 1.1.

The surface of an n-ball is a holomorphic, bivalued function of a complex dimension n.

Proof.

If the volume of an n-ball is a holomorphic, bivalued function by Theorem 1, then, using formula (7), the surface of an n-ball is also a holomorphic function.

Using (22) and (7) the surface of an n-ball is given by

S {(n)}_{B} = \pm \frac{n π^{n / 2}}{Γ (n / 2 + 1)} R^{n - 1} .

(24)

□

Theorem 2

The volume of a regular n-simplex is a holomorphic, bivalued function of a complex dimension n.

Proof.

Expressing the factorial in the volume of a regular n-simplex formula (10) by the gamma function extends the domain of applicability of (10) to complex dimensions

\begin{matrix} V {(n)}_{S} & = \pm \frac{\sqrt{n + 1}}{n! \sqrt{2^{n}}} A^{n} = \pm \frac{{(1 + n)}^{1 / 2}}{Γ (n + 1) 2^{n / 2}} A^{n} . \end{matrix}

(25)

On the other hand, comparing the volume (25) with the recurrence relation (12)

\pm \frac{\sqrt{n + 1}}{Γ (n + 1) 2^{n / 2}} A^{n} = \frac{V {(n + 1)}_{S}}{A} \sqrt{\frac{2 {(n + 1)}^{3}}{n + 2}}

(26)

yields

\begin{matrix} V {(n + 1)}_{S} = \pm \frac{\sqrt{n + 1} \sqrt{n + 2}}{Γ (n + 1) 2^{(n + 1) / 2} \sqrt{{(n + 1)}^{3}}} A^{n + 1}, \end{matrix}

(27)

which, after setting

\tilde{n} ≔ n + 1

, yields

\begin{matrix} V {(\tilde{n})}_{S} = & \pm \frac{\sqrt{\tilde{n}} \sqrt{\tilde{n} + 1}}{Γ (\tilde{n}) 2^{\tilde{n} / 2} \sqrt{{\tilde{n}}^{3}}} A^{\tilde{n}} = \\ = & \pm \frac{\sqrt{\tilde{n} + 1}}{Γ (\tilde{n} + 1) 2^{\tilde{n} / 2}} A^{\tilde{n}} \frac{\tilde{n} \sqrt{\tilde{n}}}{\sqrt{{\tilde{n}}^{3}}} = \\ = & \pm \frac{\sqrt{\tilde{n} + 1}}{Γ (\tilde{n} + 1) 2^{\tilde{n} / 2}} A^{\tilde{n}}, \end{matrix}

(28)

and recovers (25) as

n Γ (n) = Γ (n + 1) \forall n \in C ∖ {n = - k, k \in N_{0}}

and

n \sqrt{n} / \sqrt{n^{3}} = \pm 1

(cf. Appendix A). Thus, we have proved that the recurrence relation (12) corresponds to the generalized n-simplex volume formula (25) within this domain.

However, now we can use the recurrence relation (12) to determine the values of the n-simplex volume outside this domain:

\forall n + 1 \in C

we can find

V {(n)}_{S}

. For example, even though

n \sqrt{n} / \sqrt{n^{3}}

is undefined for

n = 0

, we can determine that

V {(0)}_{S} = \pm 1

using the recurrence relation (12) with

V {(1)}_{S} = \pm A

obtained from (25).

On the other hand

lim_{n \to - k - 1, k \in N_{0}} \pm \frac{2^{- n / 2} A^{n} \sqrt{n + 1}}{Γ (n + 1)} = \frac{a}{\infty} = 0,

(29)

so the poles of the meromorphic gamma function

Γ (n + 1)

present in (25), now defined in the sense of a limit of a function, vanish - which completes the proof. □

For

n \in R ∖ Z \cap {n \in R : n < - 1

}, n-simplex volume formula (25) is imaginary.

Corollary 2.1.

The surface of a regular n-simplex is a holomorphic, bivalued function of a complex dimension n.

Proof.

If the volume of a regular n-simplex is a holomorphic, bivalued function by Theorem 2, then its surface, using formula (13), is also a holomorphic, bivalued function.

Using (13) and (25) the surface of a regular n-simplex is given by (cf. Appendix A)

\begin{matrix} S {(n)}_{S} & = \pm \frac{n^{3 / 2} (n + 1)}{Γ (n + 1) 2^{(n - 1) / 2}} A^{n - 1} \frac{(n - 1) \sqrt{n - 1}}{\sqrt{{(n - 1)}^{3}}} = \\ = \pm \frac{n^{3 / 2} (1 + n)}{Γ (n + 1) 2^{(n - 1) / 2}} A^{n - 1} . \end{matrix}

(30)

□

Again, even though

(n - 1) \sqrt{n - 1} / \sqrt{{(n - 1)}^{3}}

is undefined for

n = 1

, we can determine that

S {(1)}_{S} = \pm 2

directly from formula (13) knowing that

V {(0)}_{S} = \pm 1

For

n \in R ∖ Z : n < 0

, n-simplex surface formula (30) is imaginary.

Theorem 3.

The volume of an n-orthoplex is a bivalued, holomorphic function of a complex dimension n.

Proof.

Expressing the factorial in the volume of an n-orthoplex formula (14) by the gamma function extends the domain of applicability of (14) to complex dimensions

\begin{matrix} V {(n)}_{O} = \pm \frac{\sqrt{2^{n}}}{n!} A^{n} = \pm \frac{\sqrt{2^{n}}}{Γ (n + 1)} A^{n} . \end{matrix}

(31)

On the other hand, comparing (31) with the recurrence relation (16)

\begin{matrix} \pm \frac{\sqrt{2^{n}}}{Γ (n + 1)} A^{n} = V {(n + 1)}_{O} \frac{n + 1}{A \sqrt{2}}, \end{matrix}

(32)

yields

V {(n + 1)}_{O} = \pm \frac{2^{(n + 1) / 2}}{(n + 1) Γ (n + 1)} A^{n + 1},

(33)

whereas setting

\tilde{n} = n + 1

in (33) yields

V {(\tilde{n})}_{O} = \pm \frac{\sqrt{2^{\tilde{n}}}}{\tilde{n} Γ (\tilde{n})} A^{\tilde{n}} = \pm \frac{2^{\tilde{n} / 2}}{Γ (\tilde{n} + 1)} A^{\tilde{n}},

(34)

which recovers n-orthoplex volume (14), as

n Γ (n) = Γ (n + 1)

\forall n \in C ∖ {n = - k, k \in N_{0}}

. Thus, we have proved that the recurrence relation (16) corresponds to the general n-orthoplex volume formula (31) within this domain.

However, now we can use the recurrence relation (16) to determine the values of the n-orthoplex volume outside this domain:

\forall n + 1 \in C

we can find

V {(n)}_{O}

. On the other hand

lim_{n \to - k - 1, k \in N_{0}} \pm \frac{2^{n / 2} A^{n}}{Γ (n + 1)} = \frac{a}{\infty} = 0,

(35)

so the poles of the meromorphic gamma function

Γ (n + 1)

present in (31), now defined in the sense of a limit of a function, vanish - which completes the proof. □

Corollary 3.1.

The surface of an n-orthoplex is a holomorphic, bivalued function of a complex dimension n.

Proof.

If the volume of a regular n-simplex is a holomorphic, bivalued function by Theorem 2, then, using formula (17), the surface of an n-orthoplex is a holomorphic, bivalued function.

Using (17) and (31) the surface of an n-orthoplex is given by

S {(n)}_{O} = \pm \frac{n^{3 / 2} 2^{(n + 1) / 2}}{Γ (n + 1)} A^{n - 1} .

(36)

□

For

n \in R ∖ Z : n < 0

, n-orthoplex bivalued surface formula (36) is imaginary.

Thus, the volumes and surfaces of n-balls, n-simplices, and n-orthoplices, shown in Figs 1 and 2 for

n \in R

, are holomorphic functions of n, which makes those objects omnidimensional. They can be explicitly expressed in terms of the complex dimension (cf. Appendix B).

IV. OMNIDIMENSIONAL POLYTOPES INSCRIBED IN AND CIRCUMSCRIBED ABOUT n-BALLS

First, we will introduce the definition of a reflection function.

Definition 1.

For each function

F : C \to C

of a complex argument n given by the formula

F (n) = \pm \prod_{j = 1}^{l} {(a_{j} + b_{j} n)}^{(c_{j} + d_{j} n) / 2} g (n),

(37)

where

j = 1, 2, \dots, l \in N

a_{j}, b_{j}, c_{j}, d_{j} \in R : a_{j} \geq 0, b_{j} > 0

, and

g (n)

is some nonzero function of n, we define its reflection function

\tilde{F} (n) ≔ \pm i^{c + d n} \prod_{j = 1}^{l} {(- a_{j} - b_{j} n)}^{(c_{j} + d_{j} n) / 2} g (n),

(38)

where

c ≔ \sum_{j = 1}^{l} c_{j} and d ≔ \sum_{j = 1}^{l} d_{j} \neq 0 .

(39)

Theorem 4.

The same branches of functions

F (n)

(37) and

\tilde{F} (n)

(38) are equal to each other for

n \leq 0

or for

n \in Z

such that

sin (\frac{c + d n}{2} π) = 0

, with c, d given by (39).

Proof.

For

n \in R

, the functions (37) and (38) can be expressed as

\begin{matrix} F (n) & = \pm \prod_{j = 1}^{l} e^{(c_{j} + d_{j} n) ln (a_{j} + b_{j} n) / 2 + i θ_{n} (c_{j} + d_{j} n) / 2} g (n) = \\ = \pm e^{i θ_{n} (\sum_{j = 1}^{l} c_{j} + n \sum_{j = 1}^{l} d_{j}) / 2} \\ \prod_{j = 1}^{l} e^{(c_{j} + d_{j} n) ln (a_{j} + b_{j} n) / 2} g (n) = \\ = \pm e^{i θ_{n} (c + d n) / 2} \prod_{j = 1}^{l} e^{(c_{j} + d_{j} n) ln (a_{j} + b_{j} n) / 2} g (n), \end{matrix}

(40)

\begin{matrix} \tilde{F} (n) & = \pm i^{c + d n} \\ \prod_{j = 1}^{l} e^{(c_{j} + d_{j} n) ln (a_{j} + b_{j} n) / 2 - i θ_{- n} (c_{j} + d_{j} n) / 2} g (n) = \\ = \pm e^{- i θ_{- n} (\sum_{j = 1}^{l} c_{j} + n \sum_{j = 1}^{l} d_{j}) / 2} \\ \prod_{j = 1}^{l} e^{(c_{j} + d_{j} n) ln (a_{j} + b_{j} n) / 2} g (n) = \\ = \pm i^{c + d n} e^{- i θ_{- n} (c + d n) / 2} \\ \prod_{j = 1}^{l} e^{(c_{j} + d_{j} n) ln (a_{j} + b_{j} n) / 2} g (n), \end{matrix}

(41)

where

θ_{n} = atan 2 (0, n)

, and

θ_{- n} = atan 2 (- 0, - n)

Without loss of generality, we consider positive branches of

F (n)

(40) and

\tilde{F} (n)

(41)

\begin{matrix} e^{i θ_{n} (c + d n) / 2} \prod_{j = 1}^{l} e^{(c_{j} + d_{j} n) ln (a_{j} + b_{j} n) / 2} g (n) = \\ = & i^{c + d n} e^{- i θ_{- n} (c + d n) / 2} \prod_{j = 1}^{l} e^{(c_{j} + d_{j} n) ln (a_{j} + b_{j} n) / 2} g (n), \\ e^{i θ_{n} (c + d n) / 2} = i^{c + d n} e^{- i θ_{- n} (c + d n) / 2} \Leftrightarrow \\ e^{i (θ_{n} + θ_{- n}) (c + d n) / 2} = i^{c + d n} . \end{matrix}

(42)

We note here that

\forall n \in R

, such that

n \neq 0

θ_{n} + θ_{- n} = \{\begin{matrix} π, & n < 0 \\ 0, & n = 0 \\ - π, & n > 0 \end{matrix},

(43)

(with

atan 2 (0, 0) 0

) so that

\begin{matrix} e^{i (θ_{n} + θ_{- n}) (c + d n) / 2} = \\ = & \{\begin{matrix} e^{i π (c + d n) / 2} = cos (\frac{c + d n}{2} π) + i sin (\frac{c + d n}{2} π), & n < 0 \\ 1, & n = 0 \\ e^{- i π (c + d n) / 2} = cos (\frac{c + d n}{2} π) - i sin (\frac{c + d n}{2} π), & n > 0, \end{matrix} \end{matrix}

(44)

and that

\forall n \in C

i^{n} = cos (\frac{n}{2} π) + i sin (\frac{n}{2} π) .

(45)

Therefore,

\begin{matrix} i^{c + d n} = cos (\frac{c + d n}{2} π) + i sin (\frac{c + d n}{2} π) = \\ = & \{\begin{matrix} cos (\frac{c + d n}{2} π) + i sin (\frac{c + d n}{2} π), & n < 0 \\ 1, & n = 0 \\ cos (\frac{c + d n}{2} π) - i sin (\frac{c + d n}{2} π), & n > 0 \end{matrix} \Leftrightarrow \\ \Leftrightarrow & F (n) = \tilde{F} (n) under the condition \\ \forall n \leq 0 \lor \forall n \in Z : sin (\frac{c + d n}{2} π) = 0 . \end{matrix}

(46)

□

Each regular, omnidimensional polytope discussed in Section III can be inscribed in and circumscribed about an n-ball. This section presents their volumes, surfaces, and reflection functions (38). Particular values of their volumes and surfaces are listed in Tables I and II. Unless stated otherwise,

n \in R

and

k \in N

. Unit diameter n-balls are assumed.

A. Regular n-Simplices Inscribed in n-Balls

The diameter

D_{B C S}

of an n-ball circumscribing a regular n-simplex (

B C S

) is known [22] to be

D_{B C S} = \pm \frac{\sqrt{2 n}}{\sqrt{n + 1}} A,

(47)

where A is the edge length. Hence, the edge length

A_{S I B}

of a regular n-simplex inscribed (

S I B

) in an n-ball (B) with diameter D is

A_{S I B} = \pm \frac{\sqrt{n + 1}}{\sqrt{2 n}} D,

(48)

so that the regular n-simplex volume (25) becomes

V {(n)}_{S I B} = \pm \frac{{(1 + n)}^{(1 + n) / 2} n^{- n / 2} 2^{- n}}{Γ (1 + n)} D^{n} .

(49)

For

n \notin Z : n < - 1

the inscribed n-simplex volume (49) is imaginary and divergent with n approaching negative infinity. It is complex for

- 1 < n < 0

, with the real part equaling the imaginary part for

n = - 1 / 2

. It is zero for

n = - k

, and for

0 < n < 1

, it is larger than the volume of the circumscribing n-ball. The volume (49) does not have a reflection function (38), as d in (39) vanishes.

Similarly, the surface (30) of a regular inscribed n-simplex with edge length A given by (48) is

S {(n)}_{S I B} = \pm \frac{{(1 + n)}^{(1 + n) / 2} n^{(4 - n) / 2} 2^{1 - n}}{Γ (1 + n)} D^{n - 1},

(50)

as shown in Fig. 4. For

n \notin Z : n < - 1

the inscribed n-simplex surface (50) is imaginary and divergent with n approaching negative infinity. It is complex for

- 1 < n < 0

, with the real part equaling the imaginary part for

n = - 1 / 2

. It is zero for

n = - k

k \in N_{0}

. The surface (50) does not have a reflection function (38), as d in (39) vanishes.

Volume (49) and surface (50) of n-simplices inscribed in n-balls are shown in Figs. 3 and 4.

B. Regular n-Simplices Circumscribed About n-Balls

The diameter

D_{B I S}

of an n-ball inscribed in a regular n-simplex (

B I S

) is known [22] to be

D_{B I S} = \pm \frac{\sqrt{2}}{\sqrt{n} \sqrt{n + 1}} A,

(51)

where A is the edge length. Hence, the edge length

A_{S C B}

of a regular n-simplex circumscribed (

S C B

) about an n-ball (B) with diameter D is

A_{S C B} = \pm \frac{\sqrt{n} \sqrt{n + 1}}{\sqrt{2}} D,

(52)

so that its volume (25) becomes

V {(n)}_{S C B} = \pm \frac{{(1 + n)}^{(1 + n) / 2} n^{n / 2} 2^{- n}}{Γ (1 + n)} D^{n} .

(53)

For

n < 0

, the volume (53) is complex with a nonzero imaginary part, whereas both branches are left-handed spirals converging to zero with n approaching negative infinity. For

0 < n < 1

, the volume (53) is smaller than the volume of the inscribed n-ball. It is zero for

n = - k

, and real for

n = - (2 k + 1) / 2

, where it amounts

\begin{matrix} V {(\frac{- (2 k + 1)}{2})}_{S C B} = \\ = \pm \frac{i^{2 k} 2^{(4 k + 1) / 2} {(2 k - 1)}^{(1 - 2 k) / 4}}{Γ (\frac{1 - 2 k}{2}) {(2 k + 1)}^{(1 + 2 k) / 4}} \approx \\ \approx \pm {0.7, 0.5618, 0.4251, 0.3172, 0.2353, \dots} . \end{matrix}

(54)

Furthermore, for

n = - 1 / 2

and

n = - (2 k + 3) / 4

, the real part of the volume (53) equals the imaginary part up to a modulus. For

n = - 1 / 2

V {(- 1 / 2)}_{S C B} = \pm (1 - i) / \sqrt{π} \approx \pm 0.5642 (1 - i)

. Otherwise, it amounts

\begin{matrix} V {(\frac{- (2 k + 3)}{4})}_{S C B} = \\ = \pm \frac{(1 + i) i^{k} 2^{(6 k + 3) / 4} {(2 k - 1)}^{(1 - 2 k) / 8}}{Γ (\frac{1 - 2 k}{4}) {(2 k + 3)}^{(2 k + 3) / 8}} \approx \\ \approx \pm \{- 0.3549, - 0.3359, 0.2996, 0.2626, - 0.2283, \dots\} \\ (1 + i) i^{k} . \end{matrix}

(55)

The reflection function (38) of the volume (53) is

\tilde{V} {(n)}_{S C B} = \pm \frac{i^{1 + 2 n} {(- 1 - n)}^{(1 + n) / 2} {(- n)}^{n / 2} 2^{- n}}{Γ (1 + n)} D^{n},

(56)

and the volumes (56) and (53) are equal for

n = (2 k + 1) / 2, k \in N_{0}

Similarly, the surface (30) of a regular circumscribed n-simplex with edge length

A_{S C B}

(52) is

S {(n)}_{S C B} = \pm \frac{{(1 + n)}^{(1 + n) / 2} n^{(2 + n) / 2} 2^{1 - n}}{Γ (1 + n)} D^{n - 1} .

(57)

The surface (57) is zero for

n = - k

k \in N_{0}

, and for

0 < n < 1

, it is smaller than the surface of the inscribed n-ball. The surface (57) is complex for

n < 0

, with both branches being left-handed spirals converging towards zero with n approaching negative infinity. However, it is initially divergent to achieve a modulus maximum of about 2.9757 at

n \approx - 3.4997

(numerically calculated) and a real maximum of about

2.976

n = - 3.5

. For

n = - (2 k + 1) / 2

the imaginary part of the surface (57) vanishes and it amounts

\begin{matrix} S {(\frac{- (2 k + 1)}{2})}_{S C B} = \\ = \pm \frac{i^{2 k} 2^{(4 k + 1) / 2} {(2 k - 1)}^{(1 - 2 k) / 4}}{Γ (\frac{1 - 2 k}{2}) {(2 k + 1)}^{(2 k - 3) / 4}} \approx \\ \approx \pm {2.1, 2.809, \underset{̲}{2.976}, 2.854, 2.588, \dots} . \end{matrix}

(58)

The real part of the surface (57) is equal to the imaginary part up to a modulus for

n = - 1 / 2

(

S {(- 1 / 2)}_{S C B} = \pm (- 1 + i) / \sqrt{π}

) and

n = - (2 k + 3) / 4

\begin{matrix} S {(\frac{- (2 k + 3)}{4})}_{S C B} = \\ = \pm \frac{(1 + i) i^{k} 2^{(6 k - 1) / 4} {(2 k - 1)}^{(1 - 2 k) / 8}}{Γ (\frac{1 - 2 k}{4}) {(2 k + 3)}^{(2 k - 5) / 8}} \approx \\ \approx \pm \{- 0.8973, - 1.1755, 1.3484, 1.4443, \\ - \underset{̲}{1.4842}, - 1.4828, \dots\} (1 + i) i^{k} . \end{matrix}

(59)

The reflection function (38) of the surface (57) is

\begin{matrix} \tilde{S} {(n)}_{S C B} = \\ \pm \frac{i^{3 + 2 n} {(- n)}^{(2 + n) / 2} {(- 1 - n)}^{(1 + n) / 2} 2^{1 - n}}{Γ (1 + n)} D^{n - 1}, \end{matrix}

(60)

and it equals (53) for

n = (2 k + 1) / 2, k \in N_{0}

Volumes (53) and surfaces (57) of n-simplices circumscribed about n-balls are shown in Figs. 5 and 6.

C. n-Orthoplices Inscribed in n-Balls

The diameter

D_{B C O}

of an n-ball circumscribing an n-orthoplex (

B C O

) is known [23] to be

D_{B C O} = \pm \sqrt{2} A,

(61)

where A is the edge length. Hence, the edge length

A_{O I B}

of an n-orthoplex inscribed in an n-ball (

O I B

) with diameter D is

A_{O I B} = \pm \frac{1}{\sqrt{2}} D,

(62)

so that its volume (31) becomes

V {(n)}_{O I B} = \pm \frac{1}{Γ (n + 1)} D^{n} .

(63)

The inscribed n-orthoplex volume (63) is real, vanishes for

n = - k

, and for

0 < n < 1

it is larger than the volume of the circumscribing n-ball. It does not have a reflection function.

Similarly, the surface (36) of the inscribed n-orthoplex with edge length A given by (62) becomes

S {(n)}_{O I B} = \pm \frac{2 n^{3 / 2}}{Γ (n + 1)} D^{n - 1} .

(64)

For

n \notin Z : n < 0

, inscribed n-orthoplex surface (64) is imaginary and oscillatory divergent with n approaching negative infinity, and for

n = - k

it vanishes. It does not have a reflection function.

Volumes (63) and surfaces (64) of n-orthoplices inscribed in n-balls are shown in Figs. 7 and 8.

D. n-Orthoplices Circumscribed About n-Balls

The diameter

D_{B I O}

of an n-ball inscribed in an n-orthoplex (

B I O

) is known [23] to be

D_{B I O} = \pm \sqrt{\frac{2}{n}} A,

(65)

where A is the edge length. Hence, the edge length

A_{O C B}

of an n-orthoplex circumscribed about an n-ball (

O C B

) with diameter D is

A_{O C B} = \pm \sqrt{\frac{n}{2}} D,

(66)

so that its volume (31) becomes

V {(n)}_{O C B} = \pm \frac{n^{n / 2}}{Γ (n + 1)} D^{n},

(67)

as shown in Fig. 9.

Circumscribed n-orthoplex volume (67) is complex for

n < 0

. It oscillates and is initially convergent to achieve a modulus minimum of about 0.1181 at

n \approx - 3.4976

(numerically computed) and then becomes divergent with n approaching negative infinity. For

n = - k

, it vanishes. For

0 < n < 1

, it is smaller than the volume of the inscribed n-ball. For

n = - (2 k + 1) / 2

k \in N_{0}

the real part of the volume (67) equals the imaginary part up to a modulus, achieving a local minimum at

n = - 3.5

and amounts

\begin{matrix} V {(\frac{- (2 k + 1)}{2})}_{O C B} = \\ = \pm \frac{(1 + i) i^{k} 2^{(2 k - 1) / 4}}{Γ (\frac{1 - 2 k}{2}) {(2 k + 1)}^{(2 k + 1) / 4}} \approx \\ \approx \pm \{0.4744, - 0.1472, 0.0952, - \underset{̲}{0.0835}, \\ 0.0888, - 0.1084, \dots\} (1 + i) i^{k} . \end{matrix}

(68)

The reflection function (38) of the volume (67) is

\tilde{V} {(n)}_{O C B} = \pm i^{n} \frac{{(- n)}^{n / 2}}{Γ (n + 1)} D^{n},

(69)

and it equals the volume (67) for

n = 2 k

k \in N_{0}

Similarly, the surface (36) of the circumscribed n-orthoplex with edge length A given by (66) becomes

S {(n)}_{O C B} = \pm \frac{2 n^{(2 + n) / 2}}{Γ (n + 1)} D^{n - 1},

(70)

as shown in Fig. 10.

Circumscribed n-orthoplex surface (70) is complex for

n < 0

. It oscillates and is initially convergent to achieve a modulus minimum of about 0.6244 at

n \approx - 1.5

(numerical) and then becomes divergent with n approaching negative infinity. For

n = - k

, it vanishes. For

0 < n < 1

, it is smaller than the surface of the inscribed n-ball. Furthermore, its real part equals the imaginary part up to a modulus for

n = - (2 k + 1) / 2

k \in N_{0}

. It achieves a local minimum at

n = - 1.5

and amounts

\begin{matrix} S {(\frac{- (2 k + 1)}{2})}_{O C B} = \\ = \pm \frac{- (1 + i) i^{k} 2^{(2 k - 1) / 4} {(2 k + 1)}^{(3 - 2 k) / 4}}{Γ (\frac{1 - 2 k}{2})} \approx \\ \approx \pm \{- 0.4744, \underset{̲}{0.4415}, - 0.4759, 0.5846, \\ - 0.7989, \dots\} (1 + i) i^{k} . \end{matrix}

(71)

The reflection function (38) of the surface (70) is

\tilde{S} {(n)}_{O C B} = \pm \frac{i^{2 + n} 2 {(- n)}^{(2 + n) / 2} D^{n - 1}}{Γ (n + 1)},

(72)

and it equals (70) for

n = 2 k

k \in N_{0}

Volumes (67), (69) and surfaces (70), (72) of n-orthoplices inscribed in n-balls are shown in Figs. 9 and 10.

E. n-Cubes Inscribed in and Circumscribed About n-Balls

The edge length

A C C B

of an n-cube circumscribed about an n-ball (

C C B

) corresponds to the diameter D of this n-ball. Thus, the volume of this cube is simply

V {(n)}_{C C B} = \pm D^{n},

(73)

and the surface is

S {(n)}_{C C B} = \pm 2 n D^{n - 1} .

(74)

However, the edge length

A_{C I B}

of an n-cube inscribed in an n-ball (

C I B

) of diameter D is

A {(n)}_{C I B} = \pm D n^{- 1 / 2},

(75)

which is singular for

n = 0

and complex for

n < 0

, rendering [18] the volume

V {(n)}_{C I B} = \pm n^{- n / 2} D^{n},

(76)

and the surface

S_{C I B} = \pm 2 n^{(3 - n) / 2} D^{n - 1},

(77)

of an n-cube inscribed in an n-ball.

The reflection functions (38) of the volume (76) and surface (77) are [18]

\tilde{V} {(n)}_{C I B} = \pm i^{- n} {(- n)}^{- n / 2} D^{n},

(78)

\tilde{S} {(n)}_{C I B} = \pm 2 i^{3 - n} {(- n)}^{(3 - n) / 2} D^{n - 1} .

(79)

The volumes (76) and (78) are equal [18] for

n = 2 k

k \in N_{0}

, and the surfaces (77) and (79) are equal for

n = 2 k - 1

k \in N

, as shown in Figs. 11 and 12.

The volume (76) and the surface (77) are complex if

n < 0

and divergent, with n approaching negative infinity. For

0 < n < 1

, the volume (76) is larger than the volume of the circumscribing n-ball.

V. METRIC-INDEPENDENT RELATIONS

The following metric-independent relations hold, for

n \in C : n \neq 0

, between volumes of n-balls (22)

V {(n)}_{B} V {(- n)}_{B} = \pm \frac{2 sin (π n / 2)}{π n},

(80)

n-simplices (25)

V {(n)}_{S} V {(- n)}_{S} = \pm \frac{{(1 + n)}^{1 / 2} {(1 - n)}^{1 / 2} sin (π n)}{π n},

(81)

n-orthoplices (31) and n-orthoplices inscribed in n-balls (63)

V {(n)}_{O} V {(- n)}_{O} = V {(n)}_{O I B} V {(- n)}_{O I B} = \pm \frac{sin (π n)}{π n},

(82)

n-simplices inscribed in n-balls (49)

V {(n)}_{S I B} V {(- n)}_{S I B} = \pm \frac{{(1 + n)}^{(1 + n) / 2} {(1 - n)}^{(1 - n) / 2} {(n)}^{(- n) / 2} {(- n)}^{(n) / 2} sin (π n)}{π n},

(83)

n-simplices circumscribed about n-balls (53)

V {(n)}_{S C B} V {(- n)}_{S C B} = \pm \frac{{(1 + n)}^{(1 + n) / 2} {(1 - n)}^{(1 - n) / 2} {(n)}^{(n) / 2} {(- n)}^{(- n) / 2} sin (π n)}{π n},

(84)

and n-orthoplices circumscribed about n-balls (67)

V {(n)}_{O C B} V {(- n)}_{O C B} = \pm \frac{{(n)}^{(n) / 2} {(- n)}^{(- n) / 2} sin (π n)}{π n},

(85)

where we used Euler’s reflection formula,

Γ (\tilde{n}) Γ (1 - \tilde{n}) = π / sin π \tilde{n}

, with

\tilde{n} ≔ n + 1

, and

Γ (n) = (n - 1) Γ (n - 1)

\begin{matrix} Γ (n + 1) Γ (- n + 1) = Γ (\tilde{n}) Γ (2 - \tilde{n}) = Γ (\tilde{n}) Γ (1 - \tilde{n}) (1 - \tilde{n}) = \\ = \frac{π}{sin (π \tilde{n})} (1 - \tilde{n}) = - \frac{π n}{sin [π (n + 1)]} = \frac{π n}{sin (π n)}, \end{matrix}

(86)

as well as (for

n \in C : n \neq 1

), between surfaces of n-balls (24)

S {(n)}_{B} S {(2 - n)}_{B} = \pm 4 sin (π n / 2),

(87)

n-simplices (30),

S {(n)}_{S} S {(2 - n)}_{S} = \pm \frac{n^{1 / 2} (n + 1) {(2 - n)}^{1 / 2} (3 - n) sin (π n)}{π (1 - n)},

(88)

n-orthoplices (36)

S {(n)}_{O} S {(2 - n)}_{O} = \pm \frac{4 n^{1 / 2} {(2 - n)}^{1 / 2} sin (π n)}{π (1 - n)},

(89)

n-simplices inscribed in n-balls (50)

S {(n)}_{S I B} S {(2 - n)}_{S I B} = \pm \frac{n^{(2 - n) / 2} {(n + 1)}^{(n + 1) / 2} {(2 - n)}^{n / 2} {(3 - n)}^{(3 - n) / 2} sin (π n)}{π (1 - n)},

(90)

n-simplices circumscribed about n-balls (57)

S {(n)}_{S C B} S {(2 - n)}_{S C B} = \pm \frac{n^{n / 2} {(n + 1)}^{(n + 1) / 2} {(2 - n)}^{(2 - n) / 2} {(3 - n)}^{(3 - n) / 2} sin (π n)}{π (1 - n)},

(91)

n-orthoplices inscribed in n-balls (64)

S {(n)}_{O I B} S {(2 - n)}_{O I B} = \pm \frac{4 n^{1 / 2} {(2 - n)}^{1 / 2} sin (π n)}{π (1 - n)},

(92)

n-orthoplices circumscribed about n-balls (70)

S {(n)}_{O C B} S {(2 - n)}_{O C B} = \pm \frac{4 n^{n / 2} {(2 - n)}^{(2 - n) / 2} sin (π n)}{π (1 - n)},

(93)

and n-cubes inscribed in n-balls (77) (

\forall n \in C

)

S {(n)}_{C I B} S {(2 - n)}_{C I B} = \pm 4 n^{(3 - n) / 2} {(2 - n)}^{(1 + n) / 2},

(94)

where we again used

\tilde{n} = n + 1

and Euler’s reflection formula

\begin{matrix} Γ (n + 1) Γ (3 - n) = Γ (\tilde{n}) Γ (1 - \tilde{n}) (1 - \tilde{n}) (2 - \tilde{n}) (3 - \tilde{n}) = \frac{π (1 - \tilde{n}) (1 - \tilde{n}) (2 - \tilde{n}) (3 - \tilde{n})}{sin (π \tilde{n})} \\ = - \frac{π n (1 - n) (2 - n)}{sin [π (n + 1)]} = \frac{π n (1 - n) (2 - n)}{sin (π n)} . \end{matrix}

(95)

These relations are independent of the distance value D and its particular form, whether negative (

D < 0

) or complex (

D = a + b i

a, b \in R

), including purely imaginary (

a = 0

). Furthermore, the relations (80)-(85) and (87)-(93) are independent of the gamma function. Relations (80)-(85) are shown in Fig. 13. The imaginary part of the surface relations (88)-(94) vanishes for

0 < n < 2

Also, for

n \in C : n \neq 0

, the following both metric and gamma function independent relations can be obtained between volumes (73), (76) and surfaces (74), (77) of circumscribed and inscribed n-cubes

V {(n)}_{C C B} = \pm n^{n / 2} V {(n)}_{C I B}, S {(n)}_{C C B} = \pm n^{(n - 1) / 2} S {(n)}_{C I B},

(96)

between volumes (53), (49) and surfaces (57), (50) of circumscribed and inscribed n-simplices

V {(n)}_{S C B} = \pm n^{n} V {(n)}_{S I B}, S {(n)}_{S C B} = \pm n^{n - 1} S {(n)}_{S I B},

(97)

and between volumes (67), (63) and surfaces (70), (64) of circumscribed and inscribed n-orthoplices

V {(n)}_{O C B} = \pm n^{n / 2} V {(n)}_{O I B}, S {(n)}_{O C B} = \pm n^{(n - 1) / 2} S {(n)}_{O I B} .

(98)

Notably, the ratio of the volume of n-cube circumscribed about n-ball

V {(n)}_{C C B}

to the volume of n-cube inscribed in n-ball

V {(n)}_{C I B}

(96) is the same as the ratio of the volume of n-orthoplex circumscribed about n-ball

V {(n)}_{O C B}

to the volume of n-orthoplex inscribed in n-ball

V {(n)}_{O I B}

(98), and the same holds for the ratio of their surfaces,

S {(n)}_{C C B} / S {(n)}_{C I B} = S {(n)}_{O C B} / S {(n)}_{O I B}

. This is unsurprising: as n-cube is dual to n-orthoplex, these ratios remain invariant.

VI. VOLUME-SURFACE SYMMETRIES

Furthermore, the following particular symmetries between

n = - 1 / 2

and

n = 1 / 2

hold for (22), (24); (25), (30); (31), (36); (49), (50); (53), (57); (63), (64); (67), (70); (76), (77); and (73), (74)

V {(- 1 / 2)}_{B} = \mp S {(- 1 / 2)}_{B} D, V {(1 / 2)}_{B} = \pm S {(1 / 2)}_{B} D,

(99)

V {(- 1 / 2)}_{S} = \pm S {(- 1 / 2)}_{S} A i 2 \sqrt{2}, V {(1 / 2)}_{S} = \pm S {(1 / 2)}_{S} A 2 \sqrt{\frac{2}{3}},

(100)

V {(- 1 / 2)}_{O} = \pm 2 i S {(- 1 / 2)}_{O} A, V {(1 / 2)}_{O} = \pm 2 S {(1 / 2)}_{O} A,

(101)

V {(- 1 / 2)}_{S I B} = \pm 2 S {(- 1 / 2)}_{S I B} D, V {(1 / 2)}_{S I B} = \pm 2 S {(1 / 2)}_{S I B} D,

(102)

V {(- 1 / 2)}_{S C B} = \mp S {(- 1 / 2)}_{S C B} D, V {(1 / 2)}_{S C B} = \pm S {(1 / 2)}_{S C B} D,

(103)

V {(- 1 / 2)}_{O I B} = \pm i \sqrt{2} S {(- 1 / 2)}_{O I B} D, V {(1 / 2)}_{O I B} = \pm \sqrt{2} S {(1 / 2)}_{O I B} D,

(104)

V {(- 1 / 2)}_{O C B} = \mp S {(- 1 / 2)}_{O C B} D, V {(1 / 2)}_{O C B} = \pm S {(1 / 2)}_{O C B} D,

(105)

V {(- 1 / 2)}_{C I B} = \pm \sqrt{2} S {(- 1 / 2)}_{C I B}^{*} D, V {(1 / 2)}_{C I B} = \pm \sqrt{2} S {(1 / 2)}_{C I B} D,

(106)

V {(- 1 / 2)}_{C C B} = \mp S {(- 1 / 2)}_{C C B} D, V {(1 / 2)}_{C C B} = \pm S {(1 / 2)}_{C C B} D,

(107)

where ”*” denotes a complex conjugate.

Furthermore, if

A = D

S {(3)}_{O I B} = \pm S {(3)}_{S}, S {(2)}_{O I B} = \pm S {(2)}_{C I B} .

(108)

VII. DISCUSSION

The volumes and surfaces of n-balls, n-simplices, and n-orthoplices have been defined in any complex dimension. As these geometric objects occur, along with n-cubes, in all natural dimensions [19], this result makes them omnidimensional, that is, present in any complex dimension.

Applications of these formulas to the omnidimensional polytopes inscribed in and circumscribed about n-balls revealed previously unknown properties of these geometric objects. In particular, for

0 < n < 1

, the omnidimensional polytopes’ volumes are larger than those of circumscribing n-balls, while their volumes and surfaces are smaller than those of inscribed n-balls.

Reflection functions for volumes and surfaces of these polytopes inscribed in and circumscribed about n-balls are proposed.

Symmetries of products (80)-(85), (87)-(94) and quotients (96)-(98) of volumes of these circumscribed and inscribed omnidimensional polytopes and n-balls in complex dimensions n and

- n

and of surfaces in complex dimensions n and

2 - n

are shown to be independent of the metric factor and the gamma function.

Specific symmetries also hold between volumes and surfaces in dimensions

n = - 1 / 2

and

n = 1 / 2

The results of this study could be applied in linguistic statistics, where the dimension in the distribution for frequency dictionaries is chosen to be negative [3], in fog computing, where n-simplex is related to a full mesh pattern, n-orthoplex is linked to a quasi-full mesh structure, and n-cube is referred to as a certain type of partial mesh layout [24]. Further possible applications include molecular physics and crystallography. Perhaps the results of this study are also related to the 2-dimensional quantum hall effect.

One can also investigate the properties of the examined geometric objects extending these concepts to quaternions. This can help us discover many interesting mathematical properties and physical phenomena. One of the challenges certainly involves characterizing all types of symmetries introduced by Definition 1.

Data Availability Statement

The public repository for the code written in Matlab computational environment is given under the link https://github.com/szluk/Omnidimensional-Polytopes.

Authors’ Contribution

AT: Proof that

n \sqrt{n} / \sqrt{n^{3}} = \pm 1 \forall n \in C

; the proposition of the affine exponential function

{(a_{j} + b_{j} n)}^{(c_{j} + d_{j} n) / 2}

(37); remarks on the square root properties in the complex domain and the general bivalence that the latter brings (which renders volumes and surfaces bivalued) in the context of classical and quantum physics; numerous clarity and formal corrections and improvements; hinting at possible applications of the results of this study to quaternions. SŁ: Remaining part of the study.

ACKNOWLEDGMENTS

SŁ thanks his wife and Tomek for their motivation.

Appendix A: Bivalence of the complex square root

It is known that complex number

n = | n | e^{i θ} = | n | (cos θ + i sin θ) \neq 0

has two square roots

\sqrt{n} = \sqrt{| n |} (cos \frac{θ + 2 k π}{2} + i sin \frac{θ + 2 k π}{2}),

(A1)

for

k = 0, 1

, that is

\begin{matrix} \sqrt{n} & = \sqrt{| n |} \{\begin{matrix} cos \frac{θ}{2} + i sin \frac{θ}{2} \\ cos \frac{θ + 2 π}{2} + i sin \frac{θ + 2 π}{2} \end{matrix} = \\ = \sqrt{| n |} \{\begin{matrix} cos \frac{θ}{2} + i sin \frac{θ}{2} \\ - cos \frac{θ}{2} - i sin \frac{θ}{2} \end{matrix} = \\ = \sqrt{| n |} \{\begin{matrix} cos \frac{θ}{2} + i sin \frac{θ}{2} \\ - (cos \frac{θ}{2} + i sin \frac{θ}{2}) \end{matrix} = \\ = \pm \sqrt{| n |} (cos \frac{θ}{2} + i sin \frac{θ}{2}) = \pm \sqrt{| n |} e^{i \frac{θ}{2}} . \end{matrix}

(A2)

Thus,

\begin{matrix} \frac{n \sqrt{n}}{\sqrt{n^{3}}} = \frac{| n | e^{i θ} (\pm \sqrt{| n |} e^{i \frac{θ}{2}})}{\pm \sqrt{{| n |}^{3}} e^{i \frac{3 θ}{2}}} = \pm 1 . \end{matrix}

(A3)

The same holds for

(n - 1) \sqrt{n - 1} / \sqrt{{(n - 1)}^{3}} = \pm 1

, setting

\tilde{n} n - 1

Appendix B: Volumes and Surfaces in terms of the real and imaginary parts of the complex dimension

The volumes and surfaces of the omnidimensional objects can be explicitly expressed in terms of the real and imaginary part of the Complex Dimension

n = a + i b \in C

In the case of n-balls, for example

\begin{matrix} π^{n / 2} & = π^{(a + i b) / 2} = \\ = π^{a / 2} [cos (\frac{b}{2} ln π) + i sin (\frac{b}{2} ln π)], \end{matrix}

(B1)

R^{n} = R^{a + i b} = R^{a} [cos (b ln R) + i sin (b ln R)],

(B2)

and the volume (22) and surface (24) become

\begin{matrix} V {(n)}_{B} = & \frac{π^{a / 2} R^{a}}{Γ (\frac{n}{2} + 1)} \\ \{cos [b ln (R \sqrt{π})] + i sin [b ln (R \sqrt{π})]\}, \end{matrix}

(B3)

\begin{matrix} S {(n)}_{B} = & \frac{n π^{a / 2} R^{a - 1}}{Γ (\frac{n}{2} + 1)} \\ \{cos [b ln (R \sqrt{π})] + i sin [b ln (R \sqrt{π})]\}, \end{matrix}

(B4)

where we used

cos (a + b) = cos (a) cos (b) - sin (a) sin (b)

and similarly

sin (a + b) = cos (a) sin (b) + sin (a) cos (b)

In particular for

n = 3 + b i

b \in R

(spacetime dimensionality) the volume (B3) and the surface (B4) become

\begin{matrix} V {(n)}_{B} & = \frac{π^{3 / 2} R^{3}}{Γ (\frac{5 + i b}{2})} \\ \{cos [b ln (R \sqrt{π})] + i sin [b ln (R \sqrt{π})]\}, \end{matrix}

(B5)

\begin{matrix} S {(n)}_{B} & = \frac{n π^{a / 2} R^{a - 1}}{Γ (\frac{5 + i b}{2})} \\ \{cos [b ln (R \sqrt{π})] + i sin [b ln (R \sqrt{π})]\}, \end{matrix}

(B6)

which forms reduce to familiar

V {(3)}_{B} = 4 π R^{3} / 3

and

S {(3)}_{B} = 4 π R^{2}

for

n = 3 + 0 i

(i.e., at the present moment of perception). The trigonometric member also vanishes in (B5) and (B6) for

R = 1 / \sqrt{π}

. Notably,

R = ℓ_{P} / \sqrt{π}

, where

ℓ_{P}

is the Planck length, is the radius of a 4-bit black hole [13], and one unit of a black hole entropy [25].

In the case of n-cubes, for example, the volume (8) is equal to

V {(n)}_{C} = A^{a} \{cos [b ln (A)] + i sin [b ln (A)]\},

(B7)

and it reduces to

V {(3)}_{C} = A^{a}

for

b = 0

. Also,

V {(n)}_{C} = 1

\forall n \in C

A = 1

D. Schleicher, “Hausdorff Dimension, Its Properties, and Its Surprises,” The American Mathematical Monthly, vol. 114, pp. 509–528, June 2007. [CrossRef]
Y. I. Manin, “The notion of dimension in geometry and algebra,” Bulletin of the American Mathematical Society, vol. 43, pp. 139–162, Feb. 2006.
V. P. Maslov, “Negative dimension in general and asymptotic topology,” Dec. 2006. arXiv:math/0612543.
V. P. Maslov, “General notion of a topological space of negative dimension and quantization of its density,” Mathematical Notes, vol. 81, pp. 140–144, Feb. 2007. [CrossRef]
Tglad, “Office chair philosophy: Generalised definition for negative dimensional geometry,” Aug. 2017.
G. Parisi and N. Sourlas, “Random Magnetic Fields, Supersymmetry, and Negative Dimensions,” Physical Review Letters, vol. 43, pp. 744–745, Sept. 1979. [CrossRef]
B. B. Mandelbrot, “Negative fractal dimensions and multifractals,” Physica A: Statistical Mechanics and its Applications, vol. 163, pp. 306–315, Feb. 1990. [CrossRef]
B. Yu, “Fractal Dimensions for Multiphase Fractal Media,” Fractals, vol. 14, pp. 111–118, June 2006. [CrossRef]
B. Yu, M. Zou, and Y. Feng, “Permeability of fractal porous media by Monte Carlo simulations,” International Journal of Heat and Mass Transfer, vol. 48, pp. 2787–2794, June 2005. [CrossRef]
M. L. Lapidus, An overview of complex fractal dimensions:from fractal strings to fractal drums, and back, vol. 731 of Contemporary Mathematics. Providence, Rhode Island: American Mathematical Society, June 2019.
L. Fidkowski, V. Hubeny, M. Kleban, and S. Shenker, “The Black Hole Singularity in AdS/CFT,” Journal of High Energy Physics, vol. 2004, pp. 014–014, Feb. 2004. [CrossRef]
S. Gassner and C. Cafaro, “Information geometric complexity of entropic motion on curved statistical manifolds under different metrizations of probability spaces,” International Journal of Geometric Methods in Modern Physics, vol. 16, p. 1950082, June 2019. [CrossRef]
Łukaszyk, Black Hole Horizons as Patternless Binary Messages and Markers of Dimensionality. Nova Science Publishers, 2023.
E. Guariglia and S. Silvestrov, “Fractional-wavelet analysis of positive definite distributions and wavelets on D (C),” in Engineering Mathematics II (S. Silvestrov and M. Rančić, eds.), vol. 179, pp. 337–353, Cham: Springer International Publishing, 2016. [CrossRef]
J. N. Hallén, S. A. Grigera, D. A. Tennant, C. Castelnovo, and R. Moessner, “Dynamical fractal and anomalous noise in a clean magnetic crystal,” Science, vol. 378, pp. 1218–1221, Dec. 2022. [CrossRef]
P. S. Castro, T. Kastner, P. Panangaden, and M. Rowland, “MICo: Improved representations via sampling-based state similarity for Markov decision processes,” Jan. 2022. arXiv:2106.08229 [cs]. [CrossRef]
S. Łukaszyk, “A new concept of probability metric and its applications in approximation of scattered data sets,” Computational Mechanics, vol. 33, pp. 299–304, Mar. 2004. [CrossRef]
Łukaszyk, “Novel Recurrence Relations for Volumes and Surfaces of n-Balls, Regular n-Simplices, and n-Orthoplices in Real Dimensions,” Mathematics, vol. 10, p. 2212, June 2022. [CrossRef]
“Platonic Solids in All Dimensions.”.
H. S. M. Coxeter, Regular polytopes. New York: Dover Publications, 3d ed ed., 1973.
B. C. Wong and D. M. Y. Sommerville, “An Introduction to the Geometry of n Dimensions,” The American Mathematical Monthly, vol. 38, p. 286, May 1931.
R. H. Buchholz, “Perfect pyramids,” Bulletin of the Australian Mathematical Society, vol. 45, pp. 353–368, June 1992. [CrossRef]
“Different Products, occurring with Polytopes.”.
P. J. Roig, S. Alcaraz, K. Gilly, and C. Juiz, “Applying Multidimensional Geometry to Basic Data Centre Designs,” International Journal of Electrical and Computer Engineering Research, vol. 1, pp. 1–8, June 2021. [CrossRef]
J. D. Bekenstein, “Black Holes and Entropy,” Phys. Rev. D, vol. 7, pp. 2333–2346, Apr 1973. [CrossRef]

1	E.g., in aviation, where relying on a sense of orientation (aka intuition) can be fatal.
2	We choose the notation $f (n)$ over $f_{n}$ , as $n \in C$ .
3	Commonly, the surface $S (n)$ is defined to correspond to $(n + 1)$ -dimensional object. However, the authors find it confusing: $(n - 1)$ -dimensional surface remains the property of the n-dimensional object. Thus, in this study $S (n)$ denotes $(n - 1)$ -dimensional surface of the n-dimensional object, not n-dimensional surface of the $(n + 1)$ -dimensional object.
4	Furthermore $A^{n} = A^{2 n / 2} = \sqrt{A^{2 n}} \overset{?}{=} \pm A^{n}$ . By choosing complex analysis, we enter into bivalence by its very nature.
5	${lim}_{y \to 0^{-}} atan 2 (y, x) = π$ , ${lim}_{y \to 0^{+}} atan 2 (y, x) = - π$

Figure 1. Graphs of volumes (V) and surfaces (S) of unit edge length regular n-simplices (red), n-orthoplices (green), n-cubes (pink), and unit diameter n-balls (blue), along with the integer recurrence relations (dashed lines) for

n \in [- 4, 6]

n \in [- 4, 6]

Figure 2. Graphs of volumes (V) and surfaces (S) of unit edge length regular n-simplices (red), n-orthoplices (green), and unit diameter n-balls (blue) for

n \in R : n \in [- 4, 6]

Figure 2. Graphs of volumes (V) and surfaces (S) of unit edge length regular n-simplices (red), n-orthoplices (green), and unit diameter n-balls (blue) for

n \in R : n \in [- 4, 6]

Figure 3. Graphs of

V {(n)}_{S I B}

(red) and

V {(n)}_{B}

(blue) for

n \in [- 6, 6]

Figure 3. Graphs of

V {(n)}_{S I B}

(red) and

V {(n)}_{B}

(blue) for

n \in [- 6, 6]

Figure 4. Graphs of

S {(n)}_{S I B}

(red) and

S {(n)}_{B}

(blue) for

n \in [- 6, 6]

Figure 4. Graphs of

S {(n)}_{S I B}

(red) and

S {(n)}_{B}

(blue) for

n \in [- 6, 6]

Figure 5. Graphs of

V {(n)}_{S C B}

(red),

V {(n)}_{B}

(blue), and

\tilde{V} {(n)}_{S C B}

(dark red), for

n \in [- 6, 6]

Figure 5. Graphs of

V {(n)}_{S C B}

(red),

V {(n)}_{B}

(blue), and

\tilde{V} {(n)}_{S C B}

(dark red), for

n \in [- 6, 6]

Figure 6. Graphs of

S {(n)}_{S C B}

(red),

S {(n)}_{B}

(blue), and

\tilde{S} {(n)}_{S C B}

(dark red), for

n \in [- 6, 6]

Figure 6. Graphs of

S {(n)}_{S C B}

(red),

S {(n)}_{B}

(blue), and

\tilde{S} {(n)}_{S C B}

(dark red), for

n \in [- 6, 6]

Figure 7. Graphs of

V {(n)}_{O I B}

(green) and

V {(n)}_{B}

(blue), for

n \in [- 6, 6]

Figure 7. Graphs of

V {(n)}_{O I B}

(green) and

V {(n)}_{B}

(blue), for

n \in [- 6, 6]

Figure 8. Graphs of

S {(n)}_{O I B}

(green) and

S {(n)}_{B}

(blue), for

n \in [- 6, 6]

Figure 8. Graphs of

S {(n)}_{O I B}

(green) and

S {(n)}_{B}

(blue), for

n \in [- 6, 6]

Figure 9. Graphs of

V {(n)}_{O C B}

(green),

V {(n)}_{B}

(blue), and

\tilde{V} {(n)}_{O C B}

(dark green), for

n \in [- 6, 6]

Figure 9. Graphs of

V {(n)}_{O C B}

(green),

V {(n)}_{B}

(blue), and

\tilde{V} {(n)}_{O C B}

(dark green), for

n \in [- 6, 6]

Figure 10. Graphs of

S {(n)}_{O C B}

(green),

S {(n)}_{B}

(blue), and

\tilde{S} {(n)}_{O C B}

(dark green), for

n \in [- 6, 6]

Figure 10. Graphs of

S {(n)}_{O C B}

(green),

S {(n)}_{B}

(blue), and

\tilde{S} {(n)}_{O C B}

(dark green), for

n \in [- 6, 6]

Figure 11. Graphs of

V {(n)}_{C I B}

(pink),

V {(n)}_{B}

(blue), and

\tilde{V} {(n)}_{C I B}

(dark pink), for

n \in [- 6, 6]

Figure 11. Graphs of

V {(n)}_{C I B}

(pink),

V {(n)}_{B}

(blue), and

\tilde{V} {(n)}_{C I B}

(dark pink), for

n \in [- 6, 6]

Figure 12. Graphs of

S {(n)}_{C I B}

(pink),

S {(n)}_{B}

(blue), and

\tilde{S} {(n)}_{C I B}

(dark pink), for

n \in [- 6, 6]

Figure 12. Graphs of

S {(n)}_{C I B}

(pink),

S {(n)}_{B}

(blue), and

\tilde{S} {(n)}_{C I B}

(dark pink), for

n \in [- 6, 6]

Figure 13. Volume metric and gamma function independent relations.

V {(n)}_{B} V {(- n)}_{B}

(blue),

V {(n)}_{S} V {(- n)}_{S}

(red),

V {(n)}_{S I B} V {(- n)}_{S I B}

(dark red),

V {(n)}_{S C B} V {(- n)}_{S C B}

(orange red),

V {(n)}_{O} V {(- n)}_{O} = V {(n)}_{O I B} V {(- n)}_{O I B}

(lime green),

V {(n)}_{O C B} V {(- n)}_{O C B}

(yellow green), for

n \in R : n \in [- 6, 6]

Figure 13. Volume metric and gamma function independent relations.

V {(n)}_{B} V {(- n)}_{B}

(blue),

V {(n)}_{S} V {(- n)}_{S}

(red),

V {(n)}_{S I B} V {(- n)}_{S I B}

(dark red),

V {(n)}_{S C B} V {(- n)}_{S C B}

(orange red),

V {(n)}_{O} V {(- n)}_{O} = V {(n)}_{O I B} V {(- n)}_{O I B}

(lime green),

V {(n)}_{O C B} V {(- n)}_{O C B}

(yellow green), for

n \in R : n \in [- 6, 6]

Table I. Particular volumes of omnidimensional polytopes inscribed in and circumscribed about unit diameter n-balls (principal branch).

n	$- 3 / 2$	−1	$- 1 / 2$	0	$1 / 2$	1	$3 / 2$
$V_{B}$	0.331	$2 / π \approx 0.637$	$0.867$	1	$1.039$	1	$0.908$
$V_{S I B}$	$\frac{i 3^{3 / 4}}{\sqrt{π}} \approx i 1.286$	0	$\frac{1 - i}{\sqrt{2 π}} \approx 0.399 (1 - i)$	1	$\frac{3^{3 / 4}}{\sqrt{π}} \approx 1.286$	1	$\frac{5^{5 / 4}}{3^{7 / 4} \sqrt{π}} \approx 0.617$
$V_{S C B}$	$\frac{2^{3 / 2}}{3^{3 / 4} \sqrt{π}} \approx 0.7$	0	$\frac{1 - i}{\sqrt{π}} \approx 0.564 (1 - i)$	1	$\frac{3^{3 / 4}}{\sqrt{2 π}} \approx 0.909$	1	$\frac{5^{5 / 4}}{3^{1 / 4} 2^{3 / 2} \sqrt{π}} \approx 1.133$
$V_{O I B}$	$\frac{- 1}{2 \sqrt{π}} \approx - 0.282$	0	$\frac{1}{\sqrt{π}} \approx 0.564$	1	$\frac{2}{\sqrt{π}} \approx 1.128$	1	$\frac{4}{3 \sqrt{π}} \approx 0.752$
$V_{O C B}$	$\frac{1 + i}{2^{3 / 4} 3^{3 / 4} \sqrt{π}} \approx 0.147 (1 + i)$	0	$\frac{1 - i}{2^{1 / 4} \sqrt{π}} \approx 0.474 (1 - i)$	1	$\frac{2^{3 / 4}}{\sqrt{π}} \approx 0.949$	1	$\frac{2^{5 / 4}}{3^{1 / 4} \sqrt{π}} \approx 1.02$
$V_{C I B}$	$\frac{(i - 1) 3^{3 / 4}}{2^{5 / 4}} \approx 0.958 (i - 1)$	i	$\frac{(1 + i)}{2^{3 / 4}} \approx 0.595 (1 + i)$	1	$2^{1 / 4} \approx 1.189$	1	$\frac{2^{3 / 4}}{3^{3 / 4}} \approx 0.738$
$V_{C C B}$	1	1	1	1	1	1	1

Table II. Particular surfaces of omnidimensional polytopes inscribed in and circumscribed about unit diameter n-balls (principal branch).

n	$- 3 / 2$	−1	$- 1 / 2$	$1 / 2$	1	$3 / 2$
$S_{B}$	$- 0.992$	$- 4 / π \approx - 1.273$	$- 0.867$	$1.039$	2	$2.723$
$S_{S I B}$	$\frac{- i 3^{11 / 4}}{2 \sqrt{π}} \approx - 5.787 i$	0	$\frac{1 + i}{\sqrt{π} 2^{3 / 2}} \approx 0.199 (1 + i)$	$\frac{3^{3 / 4}}{2 \sqrt{π}} \approx 0.643$	2	$\frac{3^{1 / 4} 5^{5 / 4}}{2 \sqrt{π}} \approx 2.776$
$S_{S C B}$	$\frac{- 2^{3 / 2} 3^{1 / 4}}{\sqrt{π}} \approx - 2.1$	0	$\frac{i - 1}{\sqrt{π}} \approx 0.564 (i - 1)$	$\frac{3^{3 / 4}}{\sqrt{2 π}} \approx 0.909$	2	$\frac{3^{3 / 4} 5^{5 / 4}}{2^{3 / 2} \sqrt{π}} \approx 3.4$
$S_{O I B}$	$\frac{3^{3 / 2} i}{2^{3 / 2} \sqrt{π}} \approx 1.036 i$	0	$\frac{- i}{\sqrt{2 π}} \approx - 0.399 i$	$\frac{\sqrt{2}}{\sqrt{π}} \approx 0.798$	2	$\frac{2^{3 / 2} \sqrt{3}}{\sqrt{π}} \approx 2.764$
$S_{O C B}$	$\frac{- (1 + i) 3^{1 / 4}}{2^{3 / 4} \sqrt{π}} \approx - 0.442 (1 + i)$	0	$\frac{(i - 1)}{2^{1 / 4} \sqrt{π}} \approx 0.474 (i - 1)$	$\frac{2^{3 / 4}}{\sqrt{π}} \approx 0.949$	2	$\frac{2^{5 / 4} 3^{3 / 4}}{\sqrt{π}} \approx 3.059$
$S_{C I B}$	$\frac{(1 + i) 3^{9 / 4}}{2^{7 / 4}} \approx 3.521 (1 + i)$	2	$\frac{1 - i}{2^{5 / 4}} \approx 0.42 (1 - i)$	$2^{- 1 / 4} \approx 0.841$	2	$3^{3 / 4} 2^{1 / 4} \approx 2.711$
$S_{C C B}$	$- 3$	$- 2$	$- 1$	1	2	3

© 2023 by the authors. Licensee MDPI, Basel, Switzerland. This article is an open access article distributed under the terms and conditions of the Creative Commons Attribution (CC BY) license (http://creativecommons.org/licenses/by/4.0/).

Copyright: This open access article is published under a Creative Commons CC BY 4.0 license, which permit the free download, distribution, and reuse, provided that the author and preprint are cited in any reuse.

Submitted:

24 February 2023

Posted:

24 February 2023

You are already at the latest version

Alerts

Abstract

Keywords:

Subject: Computer Science and Mathematics - Geometry and Topology

I. INTRODUCTION

The notion of dimension n is intuitively defined as a natural number of coordinates of a point within Euclidean space

R^{n}

In n-dimensional space, n-dimensional objects have

(n - 1)

-dimensional surfaces which have a dimension of volume in

(n - 1)

-dimensional space. However, this sequence has a singularity at

n = - 1

. A 0-dimensional point in 0-dimensional space has a vanishing

(- 1)

-surface being a vanishing volume of the

(- 1)

-dimensional void. But the surface of the

(- 1)

-dimensional void is not

(- 2)

(- n)

(- 2)

F = G M m / R^{2}

acting towards an inside of a 2-dimensional equipotential surface is

(- 2)

-dimensional, whereas centripetal force

F = m V^{2} / R^{1}

acting towards an outside of a 1-dimensional curve is

(- 1)

-dimensional.

\forall n \in C

| n | = 1 / 2

. Section sec:discussion concludes and discusses the findings of this study, hinting at their possible applications.

II. KNOWN FORMULAS

It is known that the volume of an n-ball (B) is

V {(n)}_{B} = \frac{π^{n / 2}}{Γ (n / 2 + 1)} R^{n},

(1)

where

Γ : C \to C

is the Euler’s gamma function,

n \in C ∖ {n = - 2 k - 2

k \in N_{0}}

(n - 2)

-ball of the same radius as a recurrence relation

V {(n)}_{B} = \frac{2 π R^{2}}{n} V {(n - 2)}_{B},

(2)

where

V {(0)}_{B} ≔ 1

and

V_{1} {(R)}_{B} ≔ 2 R

. The relation (2) can be extended [18] into negative dimensions as

V {(n)}_{B} = \frac{n + 2}{2 π R^{2}} V {(n + 2)}_{B},

(3)

solving (2) for

V (n - 2)

and assigning new n as the previous

n - 2

. A radius recurrence relation2 [18]

f (n) ≔ \frac{2}{n} f (n - 2),

(4)

where

n \in C

f (0) ≔ 1

and

f (1) ≔ 2

, allow for expressing the volume n-ball as

V {(n)}_{B} ≔ f (n) π^{⌊n / 2⌋} R^{n},

(5)

where ”

⌊x⌋

f (n) = \frac{n + 2}{2} f (n + 2),

(6)

which allows to define

f (- 1) = f (0) ≔ 1

to initiate the sequences (4) or (6). Known [20] surface of an n-ball3 is

S {(n)}_{B} = \frac{n}{R} V {(n)}_{B} .

(7)

Known volume of n-cube (C) is

V {(n)}_{C} = A^{n},

(8)

where

n \in C

and A is the edge length. The known surface of n-cube is

S {(n)}_{C} = 2 n A^{n - 1},

(9)

where

n \in C

Known [21,22] volume of a regular n-simplex (S) is

V {(n)}_{S} = \frac{\sqrt{n + 1}}{n! \sqrt{2^{n}}} A^{n},

(10)

where

n \in N

. The formula (10) can be written [18] as a recurrence relation

V {(n)}_{S} = A V {(n - 1)}_{S} \sqrt{\frac{n + 1}{2 n^{3}}},

(11)

with

V {(0)}_{S} ≔ 1

, to remove the indefiniteness of the factorial for

n < 1

. Formula (11) can be solved for

V (n - 1)

. Assigning new n as the previous

n - 1

, yields [18]

V {(n)}_{S} = \frac{V {(n + 1)}_{S}}{A} \sqrt{\frac{2 {(n + 1)}^{3}}{n + 2}},

(12)

which also removes the singularity for

n = 0

present in the volume (10). n-simplex has

n + 1

(n - 1)

-facets [20]. Therefore, its surface is

S {(n)}_{S} = (n + 1) V {(n - 1)}_{S} .

(13)

Known [20] volume of an n-orthoplex (O) is

V {(n)}_{O} = \frac{\sqrt{2^{n}}}{n!} A^{n},

(14)

where

n \in N_{0}

Formula (14) can be written [18] as a recurrence relation

V {(n)}_{O} = A V {(n - 1)}_{O} \frac{\sqrt{2}}{n},

(15)

where

n \neq 0

and

V {(0)}_{O} ≔ 1

, to remove the indefiniteness of the factorial for

n < 0

. Solving (15) for

V (n - 1)

and assigning new n as the previous

n - 1

, yields [18]

V {(n)}_{O} = V {(n + 1)}_{O} \frac{n + 1}{A \sqrt{2}},

(16)

which also removes singularity for

n = 0

present in formula (15). Any n-orthoplex has

2^{n}

facets [20], which are regular

(n - 1)

-simplices. Therefore, its surface is

S {(n)}_{O} = 2^{n} V {(n - 1)}_{S} .

(17)

III. HOLOMORPHIZING KNOWN FORMULAS

Known formulas presented in the preceding section can be extended to all complex dimensions. We note that volumes and surfaces of n-cubes are already defined

\forall n \in C

Theorem 1

The volume of an n-ball is a holomorphic, bivalued function of a complex dimension n.

Proof.

First, we note that the initial bivalued values for the radius recurrence relations (4), (6) are

f (- 1) = f (0) ≔ \pm 1

V {(0)}_{B} ≔ \pm 1

and

V_{1} {(R)}_{B} ≔ \pm 2 R

. Then, we note that the recurrence relations (3) and (5) correspond to each other

\begin{matrix} V {(n)}_{B} = \frac{n + 2}{2 π R^{2}} V {(n + 2)}_{B} = \frac{n + 2}{2} f (n + 2) π^{⌊n / 2⌋} R^{n} \\ V {(n + 2)}_{B} = π f (n + 2) π^{⌊n / 2⌋} R^{n + 2}, \end{matrix}

(18)

which, after setting

\tilde{n} ≔ n + 2

, yields

V {(\tilde{n})}_{B} = f (\tilde{n}) π^{1 + ⌊(\tilde{n} - 2) / 2⌋} R^{\tilde{n}} = f (\tilde{n}) π^{⌊\tilde{n} / 2⌋} R^{\tilde{n}} .

(19)

Comparing the non-recurrence general n-ball volume formula (1), which is bivalued for

n \in C

and valid within the domain of the gamma function, with the recurrence relation (3)

V {(n)}_{B} = \pm \frac{π^{n / 2}}{Γ (n / 2 + 1)} R^{n} = \frac{n + 2}{2 π R^{2}} V {(n + 2)}_{B}

(20)

yields

\begin{matrix} V {(n + 2)}_{B} = \pm \frac{2 π^{n / 2 + 1}}{(n + 2) Γ (n / 2 + 1)} R^{n + 2} . \end{matrix}

(21)

Setting

\tilde{n} ≔ n + 2

yields

\begin{matrix} V {(\tilde{n})}_{B} & = \pm \frac{2 π^{\tilde{n} / 2}}{m Γ (\tilde{n} / 2)} R^{m} = \pm \frac{π^{\tilde{n} / 2}}{\frac{\tilde{n}}{2} Γ (\tilde{n} / 2)} R^{\tilde{n}} = \\ = \pm \frac{π^{\tilde{n} / 2}}{Γ (m / 2 + 1)} R^{\tilde{n}}, \end{matrix}

(22)

which recovers (1), as

\frac{n}{2} Γ (\frac{n}{2}) = Γ (\frac{n}{2} + 1)

\forall n \in C ∖ {n = - 2 k

k \in N_{0}}

. Thus we have proved that the recurrence relations (2), (3), and (5) correspond to the general n-ball volume formula (22) within this domain.

However, now we can use any of the backward recurrence relations (3) or (5) with (6) to determine the values of the n-ball volume outside this domain:

\forall n + 2 \in C

we can find

V {(n)}_{B}

On the other hand

lim_{n \to - 2 k - 2, k \in N_{0}} \pm \frac{π^{n / 2} R^{n}}{Γ (n / 2 + 1)} = \frac{a}{\infty} = 0,

(23)

so the poles of the meromorphic gamma function

Γ (n / 2 + 1)

present in (22), now defined in the sense of a limit of a function, vanish, which completes the proof. □

Corollary 1.1.

The surface of an n-ball is a holomorphic, bivalued function of a complex dimension n.

Proof.

If the volume of an n-ball is a holomorphic, bivalued function by Theorem 1, then, using formula (7), the surface of an n-ball is also a holomorphic function.

Using (22) and (7) the surface of an n-ball is given by

S {(n)}_{B} = \pm \frac{n π^{n / 2}}{Γ (n / 2 + 1)} R^{n - 1} .

(24)

□

Theorem 2

The volume of a regular n-simplex is a holomorphic, bivalued function of a complex dimension n.

Proof.

Expressing the factorial in the volume of a regular n-simplex formula (10) by the gamma function extends the domain of applicability of (10) to complex dimensions

\begin{matrix} V {(n)}_{S} & = \pm \frac{\sqrt{n + 1}}{n! \sqrt{2^{n}}} A^{n} = \pm \frac{{(1 + n)}^{1 / 2}}{Γ (n + 1) 2^{n / 2}} A^{n} . \end{matrix}

(25)

On the other hand, comparing the volume (25) with the recurrence relation (12)

\pm \frac{\sqrt{n + 1}}{Γ (n + 1) 2^{n / 2}} A^{n} = \frac{V {(n + 1)}_{S}}{A} \sqrt{\frac{2 {(n + 1)}^{3}}{n + 2}}

(26)

yields

\begin{matrix} V {(n + 1)}_{S} = \pm \frac{\sqrt{n + 1} \sqrt{n + 2}}{Γ (n + 1) 2^{(n + 1) / 2} \sqrt{{(n + 1)}^{3}}} A^{n + 1}, \end{matrix}

(27)

which, after setting

\tilde{n} ≔ n + 1

, yields

\begin{matrix} V {(\tilde{n})}_{S} = & \pm \frac{\sqrt{\tilde{n}} \sqrt{\tilde{n} + 1}}{Γ (\tilde{n}) 2^{\tilde{n} / 2} \sqrt{{\tilde{n}}^{3}}} A^{\tilde{n}} = \\ = & \pm \frac{\sqrt{\tilde{n} + 1}}{Γ (\tilde{n} + 1) 2^{\tilde{n} / 2}} A^{\tilde{n}} \frac{\tilde{n} \sqrt{\tilde{n}}}{\sqrt{{\tilde{n}}^{3}}} = \\ = & \pm \frac{\sqrt{\tilde{n} + 1}}{Γ (\tilde{n} + 1) 2^{\tilde{n} / 2}} A^{\tilde{n}}, \end{matrix}

(28)

and recovers (25) as

n Γ (n) = Γ (n + 1) \forall n \in C ∖ {n = - k, k \in N_{0}}

and

n \sqrt{n} / \sqrt{n^{3}} = \pm 1

(cf. Appendix A). Thus, we have proved that the recurrence relation (12) corresponds to the generalized n-simplex volume formula (25) within this domain.

However, now we can use the recurrence relation (12) to determine the values of the n-simplex volume outside this domain:

\forall n + 1 \in C

we can find

V {(n)}_{S}

. For example, even though

n \sqrt{n} / \sqrt{n^{3}}

is undefined for

n = 0

, we can determine that

V {(0)}_{S} = \pm 1

using the recurrence relation (12) with

V {(1)}_{S} = \pm A

obtained from (25).

On the other hand

lim_{n \to - k - 1, k \in N_{0}} \pm \frac{2^{- n / 2} A^{n} \sqrt{n + 1}}{Γ (n + 1)} = \frac{a}{\infty} = 0,

(29)

so the poles of the meromorphic gamma function

Γ (n + 1)

present in (25), now defined in the sense of a limit of a function, vanish - which completes the proof. □

For

n \in R ∖ Z \cap {n \in R : n < - 1

}, n-simplex volume formula (25) is imaginary.

Corollary 2.1.

The surface of a regular n-simplex is a holomorphic, bivalued function of a complex dimension n.

Proof.

If the volume of a regular n-simplex is a holomorphic, bivalued function by Theorem 2, then its surface, using formula (13), is also a holomorphic, bivalued function.

Using (13) and (25) the surface of a regular n-simplex is given by (cf. Appendix A)

\begin{matrix} S {(n)}_{S} & = \pm \frac{n^{3 / 2} (n + 1)}{Γ (n + 1) 2^{(n - 1) / 2}} A^{n - 1} \frac{(n - 1) \sqrt{n - 1}}{\sqrt{{(n - 1)}^{3}}} = \\ = \pm \frac{n^{3 / 2} (1 + n)}{Γ (n + 1) 2^{(n - 1) / 2}} A^{n - 1} . \end{matrix}

(30)

□

Again, even though

(n - 1) \sqrt{n - 1} / \sqrt{{(n - 1)}^{3}}

is undefined for

n = 1

, we can determine that

S {(1)}_{S} = \pm 2

directly from formula (13) knowing that

V {(0)}_{S} = \pm 1

For

n \in R ∖ Z : n < 0

, n-simplex surface formula (30) is imaginary.

Theorem 3.

The volume of an n-orthoplex is a bivalued, holomorphic function of a complex dimension n.

Proof.

Expressing the factorial in the volume of an n-orthoplex formula (14) by the gamma function extends the domain of applicability of (14) to complex dimensions

\begin{matrix} V {(n)}_{O} = \pm \frac{\sqrt{2^{n}}}{n!} A^{n} = \pm \frac{\sqrt{2^{n}}}{Γ (n + 1)} A^{n} . \end{matrix}

(31)

On the other hand, comparing (31) with the recurrence relation (16)

\begin{matrix} \pm \frac{\sqrt{2^{n}}}{Γ (n + 1)} A^{n} = V {(n + 1)}_{O} \frac{n + 1}{A \sqrt{2}}, \end{matrix}

(32)

yields

V {(n + 1)}_{O} = \pm \frac{2^{(n + 1) / 2}}{(n + 1) Γ (n + 1)} A^{n + 1},

(33)

whereas setting

\tilde{n} = n + 1

in (33) yields

V {(\tilde{n})}_{O} = \pm \frac{\sqrt{2^{\tilde{n}}}}{\tilde{n} Γ (\tilde{n})} A^{\tilde{n}} = \pm \frac{2^{\tilde{n} / 2}}{Γ (\tilde{n} + 1)} A^{\tilde{n}},

(34)

which recovers n-orthoplex volume (14), as

n Γ (n) = Γ (n + 1)

\forall n \in C ∖ {n = - k, k \in N_{0}}

. Thus, we have proved that the recurrence relation (16) corresponds to the general n-orthoplex volume formula (31) within this domain.

However, now we can use the recurrence relation (16) to determine the values of the n-orthoplex volume outside this domain:

\forall n + 1 \in C

we can find

V {(n)}_{O}

. On the other hand

lim_{n \to - k - 1, k \in N_{0}} \pm \frac{2^{n / 2} A^{n}}{Γ (n + 1)} = \frac{a}{\infty} = 0,

(35)

so the poles of the meromorphic gamma function

Γ (n + 1)

present in (31), now defined in the sense of a limit of a function, vanish - which completes the proof. □

Corollary 3.1.

The surface of an n-orthoplex is a holomorphic, bivalued function of a complex dimension n.

Proof.

If the volume of a regular n-simplex is a holomorphic, bivalued function by Theorem 2, then, using formula (17), the surface of an n-orthoplex is a holomorphic, bivalued function.

Using (17) and (31) the surface of an n-orthoplex is given by

S {(n)}_{O} = \pm \frac{n^{3 / 2} 2^{(n + 1) / 2}}{Γ (n + 1)} A^{n - 1} .

(36)

□

For

n \in R ∖ Z : n < 0

, n-orthoplex bivalued surface formula (36) is imaginary.

Thus, the volumes and surfaces of n-balls, n-simplices, and n-orthoplices, shown in Figs 1 and 2 for

n \in R

, are holomorphic functions of n, which makes those objects omnidimensional. They can be explicitly expressed in terms of the complex dimension (cf. Appendix B).

IV. OMNIDIMENSIONAL POLYTOPES INSCRIBED IN AND CIRCUMSCRIBED ABOUT n-BALLS

First, we will introduce the definition of a reflection function.

Definition 1.

For each function

F : C \to C

of a complex argument n given by the formula

F (n) = \pm \prod_{j = 1}^{l} {(a_{j} + b_{j} n)}^{(c_{j} + d_{j} n) / 2} g (n),

(37)

where

j = 1, 2, \dots, l \in N

a_{j}, b_{j}, c_{j}, d_{j} \in R : a_{j} \geq 0, b_{j} > 0

, and

g (n)

is some nonzero function of n, we define its reflection function

\tilde{F} (n) ≔ \pm i^{c + d n} \prod_{j = 1}^{l} {(- a_{j} - b_{j} n)}^{(c_{j} + d_{j} n) / 2} g (n),

(38)

where

c ≔ \sum_{j = 1}^{l} c_{j} and d ≔ \sum_{j = 1}^{l} d_{j} \neq 0 .

(39)

Theorem 4.

The same branches of functions

F (n)

(37) and

\tilde{F} (n)

(38) are equal to each other for

n \leq 0

or for

n \in Z

such that

sin (\frac{c + d n}{2} π) = 0

, with c, d given by (39).

Proof.

For

n \in R

, the functions (37) and (38) can be expressed as

\begin{matrix} F (n) & = \pm \prod_{j = 1}^{l} e^{(c_{j} + d_{j} n) ln (a_{j} + b_{j} n) / 2 + i θ_{n} (c_{j} + d_{j} n) / 2} g (n) = \\ = \pm e^{i θ_{n} (\sum_{j = 1}^{l} c_{j} + n \sum_{j = 1}^{l} d_{j}) / 2} \\ \prod_{j = 1}^{l} e^{(c_{j} + d_{j} n) ln (a_{j} + b_{j} n) / 2} g (n) = \\ = \pm e^{i θ_{n} (c + d n) / 2} \prod_{j = 1}^{l} e^{(c_{j} + d_{j} n) ln (a_{j} + b_{j} n) / 2} g (n), \end{matrix}

(40)

\begin{matrix} \tilde{F} (n) & = \pm i^{c + d n} \\ \prod_{j = 1}^{l} e^{(c_{j} + d_{j} n) ln (a_{j} + b_{j} n) / 2 - i θ_{- n} (c_{j} + d_{j} n) / 2} g (n) = \\ = \pm e^{- i θ_{- n} (\sum_{j = 1}^{l} c_{j} + n \sum_{j = 1}^{l} d_{j}) / 2} \\ \prod_{j = 1}^{l} e^{(c_{j} + d_{j} n) ln (a_{j} + b_{j} n) / 2} g (n) = \\ = \pm i^{c + d n} e^{- i θ_{- n} (c + d n) / 2} \\ \prod_{j = 1}^{l} e^{(c_{j} + d_{j} n) ln (a_{j} + b_{j} n) / 2} g (n), \end{matrix}

(41)

where

θ_{n} = atan 2 (0, n)

, and

θ_{- n} = atan 2 (- 0, - n)

Without loss of generality, we consider positive branches of

F (n)

(40) and

\tilde{F} (n)

(41)

\begin{matrix} e^{i θ_{n} (c + d n) / 2} \prod_{j = 1}^{l} e^{(c_{j} + d_{j} n) ln (a_{j} + b_{j} n) / 2} g (n) = \\ = & i^{c + d n} e^{- i θ_{- n} (c + d n) / 2} \prod_{j = 1}^{l} e^{(c_{j} + d_{j} n) ln (a_{j} + b_{j} n) / 2} g (n), \\ e^{i θ_{n} (c + d n) / 2} = i^{c + d n} e^{- i θ_{- n} (c + d n) / 2} \Leftrightarrow \\ e^{i (θ_{n} + θ_{- n}) (c + d n) / 2} = i^{c + d n} . \end{matrix}

(42)

We note here that

\forall n \in R

, such that

n \neq 0

θ_{n} + θ_{- n} = \{\begin{matrix} π, & n < 0 \\ 0, & n = 0 \\ - π, & n > 0 \end{matrix},

(43)

(with

atan 2 (0, 0) 0

) so that

\begin{matrix} e^{i (θ_{n} + θ_{- n}) (c + d n) / 2} = \\ = & \{\begin{matrix} e^{i π (c + d n) / 2} = cos (\frac{c + d n}{2} π) + i sin (\frac{c + d n}{2} π), & n < 0 \\ 1, & n = 0 \\ e^{- i π (c + d n) / 2} = cos (\frac{c + d n}{2} π) - i sin (\frac{c + d n}{2} π), & n > 0, \end{matrix} \end{matrix}

(44)

and that

\forall n \in C

i^{n} = cos (\frac{n}{2} π) + i sin (\frac{n}{2} π) .

(45)

Therefore,

\begin{matrix} i^{c + d n} = cos (\frac{c + d n}{2} π) + i sin (\frac{c + d n}{2} π) = \\ = & \{\begin{matrix} cos (\frac{c + d n}{2} π) + i sin (\frac{c + d n}{2} π), & n < 0 \\ 1, & n = 0 \\ cos (\frac{c + d n}{2} π) - i sin (\frac{c + d n}{2} π), & n > 0 \end{matrix} \Leftrightarrow \\ \Leftrightarrow & F (n) = \tilde{F} (n) under the condition \\ \forall n \leq 0 \lor \forall n \in Z : sin (\frac{c + d n}{2} π) = 0 . \end{matrix}

(46)

□

n \in R

and

k \in N

. Unit diameter n-balls are assumed.

A. Regular n-Simplices Inscribed in n-Balls

The diameter

D_{B C S}

of an n-ball circumscribing a regular n-simplex (

B C S

) is known [22] to be

D_{B C S} = \pm \frac{\sqrt{2 n}}{\sqrt{n + 1}} A,

(47)

where A is the edge length. Hence, the edge length

A_{S I B}

of a regular n-simplex inscribed (

S I B

) in an n-ball (B) with diameter D is

A_{S I B} = \pm \frac{\sqrt{n + 1}}{\sqrt{2 n}} D,

(48)

so that the regular n-simplex volume (25) becomes

V {(n)}_{S I B} = \pm \frac{{(1 + n)}^{(1 + n) / 2} n^{- n / 2} 2^{- n}}{Γ (1 + n)} D^{n} .

(49)

For

n \notin Z : n < - 1

the inscribed n-simplex volume (49) is imaginary and divergent with n approaching negative infinity. It is complex for

- 1 < n < 0

, with the real part equaling the imaginary part for

n = - 1 / 2

. It is zero for

n = - k

, and for

0 < n < 1

, it is larger than the volume of the circumscribing n-ball. The volume (49) does not have a reflection function (38), as d in (39) vanishes.

Similarly, the surface (30) of a regular inscribed n-simplex with edge length A given by (48) is

S {(n)}_{S I B} = \pm \frac{{(1 + n)}^{(1 + n) / 2} n^{(4 - n) / 2} 2^{1 - n}}{Γ (1 + n)} D^{n - 1},

(50)

as shown in Fig. 4. For

n \notin Z : n < - 1

the inscribed n-simplex surface (50) is imaginary and divergent with n approaching negative infinity. It is complex for

- 1 < n < 0

, with the real part equaling the imaginary part for

n = - 1 / 2

. It is zero for

n = - k

k \in N_{0}

. The surface (50) does not have a reflection function (38), as d in (39) vanishes.

Volume (49) and surface (50) of n-simplices inscribed in n-balls are shown in Figs. 3 and 4.

B. Regular n-Simplices Circumscribed About n-Balls

The diameter

D_{B I S}

of an n-ball inscribed in a regular n-simplex (

B I S

) is known [22] to be

D_{B I S} = \pm \frac{\sqrt{2}}{\sqrt{n} \sqrt{n + 1}} A,

(51)

where A is the edge length. Hence, the edge length

A_{S C B}

of a regular n-simplex circumscribed (

S C B

) about an n-ball (B) with diameter D is

A_{S C B} = \pm \frac{\sqrt{n} \sqrt{n + 1}}{\sqrt{2}} D,

(52)

so that its volume (25) becomes

V {(n)}_{S C B} = \pm \frac{{(1 + n)}^{(1 + n) / 2} n^{n / 2} 2^{- n}}{Γ (1 + n)} D^{n} .

(53)

For

n < 0

, the volume (53) is complex with a nonzero imaginary part, whereas both branches are left-handed spirals converging to zero with n approaching negative infinity. For

0 < n < 1

, the volume (53) is smaller than the volume of the inscribed n-ball. It is zero for

n = - k

, and real for

n = - (2 k + 1) / 2

, where it amounts

\begin{matrix} V {(\frac{- (2 k + 1)}{2})}_{S C B} = \\ = \pm \frac{i^{2 k} 2^{(4 k + 1) / 2} {(2 k - 1)}^{(1 - 2 k) / 4}}{Γ (\frac{1 - 2 k}{2}) {(2 k + 1)}^{(1 + 2 k) / 4}} \approx \\ \approx \pm {0.7, 0.5618, 0.4251, 0.3172, 0.2353, \dots} . \end{matrix}

(54)

Furthermore, for

n = - 1 / 2

and

n = - (2 k + 3) / 4

, the real part of the volume (53) equals the imaginary part up to a modulus. For

n = - 1 / 2

V {(- 1 / 2)}_{S C B} = \pm (1 - i) / \sqrt{π} \approx \pm 0.5642 (1 - i)

. Otherwise, it amounts

\begin{matrix} V {(\frac{- (2 k + 3)}{4})}_{S C B} = \\ = \pm \frac{(1 + i) i^{k} 2^{(6 k + 3) / 4} {(2 k - 1)}^{(1 - 2 k) / 8}}{Γ (\frac{1 - 2 k}{4}) {(2 k + 3)}^{(2 k + 3) / 8}} \approx \\ \approx \pm \{- 0.3549, - 0.3359, 0.2996, 0.2626, - 0.2283, \dots\} \\ (1 + i) i^{k} . \end{matrix}

(55)

The reflection function (38) of the volume (53) is

\tilde{V} {(n)}_{S C B} = \pm \frac{i^{1 + 2 n} {(- 1 - n)}^{(1 + n) / 2} {(- n)}^{n / 2} 2^{- n}}{Γ (1 + n)} D^{n},

(56)

and the volumes (56) and (53) are equal for

n = (2 k + 1) / 2, k \in N_{0}

Similarly, the surface (30) of a regular circumscribed n-simplex with edge length

A_{S C B}

(52) is

S {(n)}_{S C B} = \pm \frac{{(1 + n)}^{(1 + n) / 2} n^{(2 + n) / 2} 2^{1 - n}}{Γ (1 + n)} D^{n - 1} .

(57)

The surface (57) is zero for

n = - k

k \in N_{0}

, and for

0 < n < 1

, it is smaller than the surface of the inscribed n-ball. The surface (57) is complex for

n < 0

, with both branches being left-handed spirals converging towards zero with n approaching negative infinity. However, it is initially divergent to achieve a modulus maximum of about 2.9757 at

n \approx - 3.4997

(numerically calculated) and a real maximum of about

2.976

n = - 3.5

. For

n = - (2 k + 1) / 2

the imaginary part of the surface (57) vanishes and it amounts

\begin{matrix} S {(\frac{- (2 k + 1)}{2})}_{S C B} = \\ = \pm \frac{i^{2 k} 2^{(4 k + 1) / 2} {(2 k - 1)}^{(1 - 2 k) / 4}}{Γ (\frac{1 - 2 k}{2}) {(2 k + 1)}^{(2 k - 3) / 4}} \approx \\ \approx \pm {2.1, 2.809, \underset{̲}{2.976}, 2.854, 2.588, \dots} . \end{matrix}

(58)

The real part of the surface (57) is equal to the imaginary part up to a modulus for

n = - 1 / 2

(

S {(- 1 / 2)}_{S C B} = \pm (- 1 + i) / \sqrt{π}

) and

n = - (2 k + 3) / 4

\begin{matrix} S {(\frac{- (2 k + 3)}{4})}_{S C B} = \\ = \pm \frac{(1 + i) i^{k} 2^{(6 k - 1) / 4} {(2 k - 1)}^{(1 - 2 k) / 8}}{Γ (\frac{1 - 2 k}{4}) {(2 k + 3)}^{(2 k - 5) / 8}} \approx \\ \approx \pm \{- 0.8973, - 1.1755, 1.3484, 1.4443, \\ - \underset{̲}{1.4842}, - 1.4828, \dots\} (1 + i) i^{k} . \end{matrix}

(59)

The reflection function (38) of the surface (57) is

\begin{matrix} \tilde{S} {(n)}_{S C B} = \\ \pm \frac{i^{3 + 2 n} {(- n)}^{(2 + n) / 2} {(- 1 - n)}^{(1 + n) / 2} 2^{1 - n}}{Γ (1 + n)} D^{n - 1}, \end{matrix}

(60)

and it equals (53) for

n = (2 k + 1) / 2, k \in N_{0}

Volumes (53) and surfaces (57) of n-simplices circumscribed about n-balls are shown in Figs. 5 and 6.

C. n-Orthoplices Inscribed in n-Balls

The diameter

D_{B C O}

of an n-ball circumscribing an n-orthoplex (

B C O

) is known [23] to be

D_{B C O} = \pm \sqrt{2} A,

(61)

where A is the edge length. Hence, the edge length

A_{O I B}

of an n-orthoplex inscribed in an n-ball (

O I B

) with diameter D is

A_{O I B} = \pm \frac{1}{\sqrt{2}} D,

(62)

so that its volume (31) becomes

V {(n)}_{O I B} = \pm \frac{1}{Γ (n + 1)} D^{n} .

(63)

The inscribed n-orthoplex volume (63) is real, vanishes for

n = - k

, and for

0 < n < 1

it is larger than the volume of the circumscribing n-ball. It does not have a reflection function.

Similarly, the surface (36) of the inscribed n-orthoplex with edge length A given by (62) becomes

S {(n)}_{O I B} = \pm \frac{2 n^{3 / 2}}{Γ (n + 1)} D^{n - 1} .

(64)

For

n \notin Z : n < 0

, inscribed n-orthoplex surface (64) is imaginary and oscillatory divergent with n approaching negative infinity, and for

n = - k

it vanishes. It does not have a reflection function.

Volumes (63) and surfaces (64) of n-orthoplices inscribed in n-balls are shown in Figs. 7 and 8.

D. n-Orthoplices Circumscribed About n-Balls

The diameter

D_{B I O}

of an n-ball inscribed in an n-orthoplex (

B I O

) is known [23] to be

D_{B I O} = \pm \sqrt{\frac{2}{n}} A,

(65)

where A is the edge length. Hence, the edge length

A_{O C B}

of an n-orthoplex circumscribed about an n-ball (

O C B

) with diameter D is

A_{O C B} = \pm \sqrt{\frac{n}{2}} D,

(66)

so that its volume (31) becomes

V {(n)}_{O C B} = \pm \frac{n^{n / 2}}{Γ (n + 1)} D^{n},

(67)

as shown in Fig. 9.

Circumscribed n-orthoplex volume (67) is complex for

n < 0

. It oscillates and is initially convergent to achieve a modulus minimum of about 0.1181 at

n \approx - 3.4976

(numerically computed) and then becomes divergent with n approaching negative infinity. For

n = - k

, it vanishes. For

0 < n < 1

, it is smaller than the volume of the inscribed n-ball. For

n = - (2 k + 1) / 2

k \in N_{0}

the real part of the volume (67) equals the imaginary part up to a modulus, achieving a local minimum at

n = - 3.5

and amounts

\begin{matrix} V {(\frac{- (2 k + 1)}{2})}_{O C B} = \\ = \pm \frac{(1 + i) i^{k} 2^{(2 k - 1) / 4}}{Γ (\frac{1 - 2 k}{2}) {(2 k + 1)}^{(2 k + 1) / 4}} \approx \\ \approx \pm \{0.4744, - 0.1472, 0.0952, - \underset{̲}{0.0835}, \\ 0.0888, - 0.1084, \dots\} (1 + i) i^{k} . \end{matrix}

(68)

The reflection function (38) of the volume (67) is

\tilde{V} {(n)}_{O C B} = \pm i^{n} \frac{{(- n)}^{n / 2}}{Γ (n + 1)} D^{n},

(69)

and it equals the volume (67) for

n = 2 k

k \in N_{0}

Similarly, the surface (36) of the circumscribed n-orthoplex with edge length A given by (66) becomes

S {(n)}_{O C B} = \pm \frac{2 n^{(2 + n) / 2}}{Γ (n + 1)} D^{n - 1},

(70)

as shown in Fig. 10.

Circumscribed n-orthoplex surface (70) is complex for

n < 0

. It oscillates and is initially convergent to achieve a modulus minimum of about 0.6244 at

n \approx - 1.5

(numerical) and then becomes divergent with n approaching negative infinity. For

n = - k

, it vanishes. For

0 < n < 1

, it is smaller than the surface of the inscribed n-ball. Furthermore, its real part equals the imaginary part up to a modulus for

n = - (2 k + 1) / 2

k \in N_{0}

. It achieves a local minimum at

n = - 1.5

and amounts

\begin{matrix} S {(\frac{- (2 k + 1)}{2})}_{O C B} = \\ = \pm \frac{- (1 + i) i^{k} 2^{(2 k - 1) / 4} {(2 k + 1)}^{(3 - 2 k) / 4}}{Γ (\frac{1 - 2 k}{2})} \approx \\ \approx \pm \{- 0.4744, \underset{̲}{0.4415}, - 0.4759, 0.5846, \\ - 0.7989, \dots\} (1 + i) i^{k} . \end{matrix}

(71)

The reflection function (38) of the surface (70) is

\tilde{S} {(n)}_{O C B} = \pm \frac{i^{2 + n} 2 {(- n)}^{(2 + n) / 2} D^{n - 1}}{Γ (n + 1)},

(72)

and it equals (70) for

n = 2 k

k \in N_{0}

Volumes (67), (69) and surfaces (70), (72) of n-orthoplices inscribed in n-balls are shown in Figs. 9 and 10.

E. n-Cubes Inscribed in and Circumscribed About n-Balls

The edge length

A C C B

of an n-cube circumscribed about an n-ball (

C C B

) corresponds to the diameter D of this n-ball. Thus, the volume of this cube is simply

V {(n)}_{C C B} = \pm D^{n},

(73)

and the surface is

S {(n)}_{C C B} = \pm 2 n D^{n - 1} .

(74)

However, the edge length

A_{C I B}

of an n-cube inscribed in an n-ball (

C I B

) of diameter D is

A {(n)}_{C I B} = \pm D n^{- 1 / 2},

(75)

which is singular for

n = 0

and complex for

n < 0

, rendering [18] the volume

V {(n)}_{C I B} = \pm n^{- n / 2} D^{n},

(76)

and the surface

S_{C I B} = \pm 2 n^{(3 - n) / 2} D^{n - 1},

(77)

of an n-cube inscribed in an n-ball.

The reflection functions (38) of the volume (76) and surface (77) are [18]

\tilde{V} {(n)}_{C I B} = \pm i^{- n} {(- n)}^{- n / 2} D^{n},

(78)

\tilde{S} {(n)}_{C I B} = \pm 2 i^{3 - n} {(- n)}^{(3 - n) / 2} D^{n - 1} .

(79)

The volumes (76) and (78) are equal [18] for

n = 2 k

k \in N_{0}

, and the surfaces (77) and (79) are equal for

n = 2 k - 1

k \in N

, as shown in Figs. 11 and 12.

The volume (76) and the surface (77) are complex if

n < 0

and divergent, with n approaching negative infinity. For

0 < n < 1

, the volume (76) is larger than the volume of the circumscribing n-ball.

V. METRIC-INDEPENDENT RELATIONS

The following metric-independent relations hold, for

n \in C : n \neq 0

, between volumes of n-balls (22)

V {(n)}_{B} V {(- n)}_{B} = \pm \frac{2 sin (π n / 2)}{π n},

(80)

n-simplices (25)

V {(n)}_{S} V {(- n)}_{S} = \pm \frac{{(1 + n)}^{1 / 2} {(1 - n)}^{1 / 2} sin (π n)}{π n},

(81)

n-orthoplices (31) and n-orthoplices inscribed in n-balls (63)

V {(n)}_{O} V {(- n)}_{O} = V {(n)}_{O I B} V {(- n)}_{O I B} = \pm \frac{sin (π n)}{π n},

(82)

n-simplices inscribed in n-balls (49)

V {(n)}_{S I B} V {(- n)}_{S I B} = \pm \frac{{(1 + n)}^{(1 + n) / 2} {(1 - n)}^{(1 - n) / 2} {(n)}^{(- n) / 2} {(- n)}^{(n) / 2} sin (π n)}{π n},

(83)

n-simplices circumscribed about n-balls (53)

V {(n)}_{S C B} V {(- n)}_{S C B} = \pm \frac{{(1 + n)}^{(1 + n) / 2} {(1 - n)}^{(1 - n) / 2} {(n)}^{(n) / 2} {(- n)}^{(- n) / 2} sin (π n)}{π n},

(84)

and n-orthoplices circumscribed about n-balls (67)

V {(n)}_{O C B} V {(- n)}_{O C B} = \pm \frac{{(n)}^{(n) / 2} {(- n)}^{(- n) / 2} sin (π n)}{π n},

(85)

where we used Euler’s reflection formula,

Γ (\tilde{n}) Γ (1 - \tilde{n}) = π / sin π \tilde{n}

, with

\tilde{n} ≔ n + 1

, and

Γ (n) = (n - 1) Γ (n - 1)

\begin{matrix} Γ (n + 1) Γ (- n + 1) = Γ (\tilde{n}) Γ (2 - \tilde{n}) = Γ (\tilde{n}) Γ (1 - \tilde{n}) (1 - \tilde{n}) = \\ = \frac{π}{sin (π \tilde{n})} (1 - \tilde{n}) = - \frac{π n}{sin [π (n + 1)]} = \frac{π n}{sin (π n)}, \end{matrix}

(86)

as well as (for

n \in C : n \neq 1

), between surfaces of n-balls (24)

S {(n)}_{B} S {(2 - n)}_{B} = \pm 4 sin (π n / 2),

(87)

n-simplices (30),

S {(n)}_{S} S {(2 - n)}_{S} = \pm \frac{n^{1 / 2} (n + 1) {(2 - n)}^{1 / 2} (3 - n) sin (π n)}{π (1 - n)},

(88)

n-orthoplices (36)

S {(n)}_{O} S {(2 - n)}_{O} = \pm \frac{4 n^{1 / 2} {(2 - n)}^{1 / 2} sin (π n)}{π (1 - n)},

(89)

n-simplices inscribed in n-balls (50)

S {(n)}_{S I B} S {(2 - n)}_{S I B} = \pm \frac{n^{(2 - n) / 2} {(n + 1)}^{(n + 1) / 2} {(2 - n)}^{n / 2} {(3 - n)}^{(3 - n) / 2} sin (π n)}{π (1 - n)},

(90)

n-simplices circumscribed about n-balls (57)

S {(n)}_{S C B} S {(2 - n)}_{S C B} = \pm \frac{n^{n / 2} {(n + 1)}^{(n + 1) / 2} {(2 - n)}^{(2 - n) / 2} {(3 - n)}^{(3 - n) / 2} sin (π n)}{π (1 - n)},

(91)

n-orthoplices inscribed in n-balls (64)

S {(n)}_{O I B} S {(2 - n)}_{O I B} = \pm \frac{4 n^{1 / 2} {(2 - n)}^{1 / 2} sin (π n)}{π (1 - n)},

(92)

n-orthoplices circumscribed about n-balls (70)

S {(n)}_{O C B} S {(2 - n)}_{O C B} = \pm \frac{4 n^{n / 2} {(2 - n)}^{(2 - n) / 2} sin (π n)}{π (1 - n)},

(93)

and n-cubes inscribed in n-balls (77) (

\forall n \in C

)

S {(n)}_{C I B} S {(2 - n)}_{C I B} = \pm 4 n^{(3 - n) / 2} {(2 - n)}^{(1 + n) / 2},

(94)

where we again used

\tilde{n} = n + 1

and Euler’s reflection formula

\begin{matrix} Γ (n + 1) Γ (3 - n) = Γ (\tilde{n}) Γ (1 - \tilde{n}) (1 - \tilde{n}) (2 - \tilde{n}) (3 - \tilde{n}) = \frac{π (1 - \tilde{n}) (1 - \tilde{n}) (2 - \tilde{n}) (3 - \tilde{n})}{sin (π \tilde{n})} \\ = - \frac{π n (1 - n) (2 - n)}{sin [π (n + 1)]} = \frac{π n (1 - n) (2 - n)}{sin (π n)} . \end{matrix}

(95)

These relations are independent of the distance value D and its particular form, whether negative (

D < 0

) or complex (

D = a + b i

a, b \in R

), including purely imaginary (

a = 0

0 < n < 2

Also, for

n \in C : n \neq 0

, the following both metric and gamma function independent relations can be obtained between volumes (73), (76) and surfaces (74), (77) of circumscribed and inscribed n-cubes

V {(n)}_{C C B} = \pm n^{n / 2} V {(n)}_{C I B}, S {(n)}_{C C B} = \pm n^{(n - 1) / 2} S {(n)}_{C I B},

(96)

between volumes (53), (49) and surfaces (57), (50) of circumscribed and inscribed n-simplices

V {(n)}_{S C B} = \pm n^{n} V {(n)}_{S I B}, S {(n)}_{S C B} = \pm n^{n - 1} S {(n)}_{S I B},

(97)

and between volumes (67), (63) and surfaces (70), (64) of circumscribed and inscribed n-orthoplices

V {(n)}_{O C B} = \pm n^{n / 2} V {(n)}_{O I B}, S {(n)}_{O C B} = \pm n^{(n - 1) / 2} S {(n)}_{O I B} .

(98)

Notably, the ratio of the volume of n-cube circumscribed about n-ball

V {(n)}_{C C B}

to the volume of n-cube inscribed in n-ball

V {(n)}_{C I B}

(96) is the same as the ratio of the volume of n-orthoplex circumscribed about n-ball

V {(n)}_{O C B}

to the volume of n-orthoplex inscribed in n-ball

V {(n)}_{O I B}

(98), and the same holds for the ratio of their surfaces,

S {(n)}_{C C B} / S {(n)}_{C I B} = S {(n)}_{O C B} / S {(n)}_{O I B}

. This is unsurprising: as n-cube is dual to n-orthoplex, these ratios remain invariant.

VI. VOLUME-SURFACE SYMMETRIES

Furthermore, the following particular symmetries between

n = - 1 / 2

and

n = 1 / 2

hold for (22), (24); (25), (30); (31), (36); (49), (50); (53), (57); (63), (64); (67), (70); (76), (77); and (73), (74)

V {(- 1 / 2)}_{B} = \mp S {(- 1 / 2)}_{B} D, V {(1 / 2)}_{B} = \pm S {(1 / 2)}_{B} D,

(99)

V {(- 1 / 2)}_{S} = \pm S {(- 1 / 2)}_{S} A i 2 \sqrt{2}, V {(1 / 2)}_{S} = \pm S {(1 / 2)}_{S} A 2 \sqrt{\frac{2}{3}},

(100)

V {(- 1 / 2)}_{O} = \pm 2 i S {(- 1 / 2)}_{O} A, V {(1 / 2)}_{O} = \pm 2 S {(1 / 2)}_{O} A,

(101)

V {(- 1 / 2)}_{S I B} = \pm 2 S {(- 1 / 2)}_{S I B} D, V {(1 / 2)}_{S I B} = \pm 2 S {(1 / 2)}_{S I B} D,

(102)

V {(- 1 / 2)}_{S C B} = \mp S {(- 1 / 2)}_{S C B} D, V {(1 / 2)}_{S C B} = \pm S {(1 / 2)}_{S C B} D,

(103)

V {(- 1 / 2)}_{O I B} = \pm i \sqrt{2} S {(- 1 / 2)}_{O I B} D, V {(1 / 2)}_{O I B} = \pm \sqrt{2} S {(1 / 2)}_{O I B} D,

(104)

V {(- 1 / 2)}_{O C B} = \mp S {(- 1 / 2)}_{O C B} D, V {(1 / 2)}_{O C B} = \pm S {(1 / 2)}_{O C B} D,

(105)

V {(- 1 / 2)}_{C I B} = \pm \sqrt{2} S {(- 1 / 2)}_{C I B}^{*} D, V {(1 / 2)}_{C I B} = \pm \sqrt{2} S {(1 / 2)}_{C I B} D,

(106)

V {(- 1 / 2)}_{C C B} = \mp S {(- 1 / 2)}_{C C B} D, V {(1 / 2)}_{C C B} = \pm S {(1 / 2)}_{C C B} D,

(107)

where ”*” denotes a complex conjugate.

Furthermore, if

A = D

S {(3)}_{O I B} = \pm S {(3)}_{S}, S {(2)}_{O I B} = \pm S {(2)}_{C I B} .

(108)

VII. DISCUSSION

Applications of these formulas to the omnidimensional polytopes inscribed in and circumscribed about n-balls revealed previously unknown properties of these geometric objects. In particular, for

0 < n < 1

, the omnidimensional polytopes’ volumes are larger than those of circumscribing n-balls, while their volumes and surfaces are smaller than those of inscribed n-balls.

Reflection functions for volumes and surfaces of these polytopes inscribed in and circumscribed about n-balls are proposed.

Symmetries of products (80)-(85), (87)-(94) and quotients (96)-(98) of volumes of these circumscribed and inscribed omnidimensional polytopes and n-balls in complex dimensions n and

- n

and of surfaces in complex dimensions n and

2 - n

are shown to be independent of the metric factor and the gamma function.

Specific symmetries also hold between volumes and surfaces in dimensions

n = - 1 / 2

and

n = 1 / 2

Data Availability Statement

The public repository for the code written in Matlab computational environment is given under the link https://github.com/szluk/Omnidimensional-Polytopes.

Authors’ Contribution

AT: Proof that

n \sqrt{n} / \sqrt{n^{3}} = \pm 1 \forall n \in C

; the proposition of the affine exponential function

{(a_{j} + b_{j} n)}^{(c_{j} + d_{j} n) / 2}

ACKNOWLEDGMENTS

SŁ thanks his wife and Tomek for their motivation.

Appendix A: Bivalence of the complex square root

It is known that complex number

n = | n | e^{i θ} = | n | (cos θ + i sin θ) \neq 0

has two square roots

\sqrt{n} = \sqrt{| n |} (cos \frac{θ + 2 k π}{2} + i sin \frac{θ + 2 k π}{2}),

(A1)

for

k = 0, 1

, that is

\begin{matrix} \sqrt{n} & = \sqrt{| n |} \{\begin{matrix} cos \frac{θ}{2} + i sin \frac{θ}{2} \\ cos \frac{θ + 2 π}{2} + i sin \frac{θ + 2 π}{2} \end{matrix} = \\ = \sqrt{| n |} \{\begin{matrix} cos \frac{θ}{2} + i sin \frac{θ}{2} \\ - cos \frac{θ}{2} - i sin \frac{θ}{2} \end{matrix} = \\ = \sqrt{| n |} \{\begin{matrix} cos \frac{θ}{2} + i sin \frac{θ}{2} \\ - (cos \frac{θ}{2} + i sin \frac{θ}{2}) \end{matrix} = \\ = \pm \sqrt{| n |} (cos \frac{θ}{2} + i sin \frac{θ}{2}) = \pm \sqrt{| n |} e^{i \frac{θ}{2}} . \end{matrix}

(A2)

Thus,

\begin{matrix} \frac{n \sqrt{n}}{\sqrt{n^{3}}} = \frac{| n | e^{i θ} (\pm \sqrt{| n |} e^{i \frac{θ}{2}})}{\pm \sqrt{{| n |}^{3}} e^{i \frac{3 θ}{2}}} = \pm 1 . \end{matrix}

(A3)

The same holds for

(n - 1) \sqrt{n - 1} / \sqrt{{(n - 1)}^{3}} = \pm 1

, setting

\tilde{n} n - 1

Appendix B: Volumes and Surfaces in terms of the real and imaginary parts of the complex dimension

The volumes and surfaces of the omnidimensional objects can be explicitly expressed in terms of the real and imaginary part of the Complex Dimension

n = a + i b \in C

In the case of n-balls, for example

\begin{matrix} π^{n / 2} & = π^{(a + i b) / 2} = \\ = π^{a / 2} [cos (\frac{b}{2} ln π) + i sin (\frac{b}{2} ln π)], \end{matrix}

(B1)

R^{n} = R^{a + i b} = R^{a} [cos (b ln R) + i sin (b ln R)],

(B2)

and the volume (22) and surface (24) become

\begin{matrix} V {(n)}_{B} = & \frac{π^{a / 2} R^{a}}{Γ (\frac{n}{2} + 1)} \\ \{cos [b ln (R \sqrt{π})] + i sin [b ln (R \sqrt{π})]\}, \end{matrix}

(B3)

\begin{matrix} S {(n)}_{B} = & \frac{n π^{a / 2} R^{a - 1}}{Γ (\frac{n}{2} + 1)} \\ \{cos [b ln (R \sqrt{π})] + i sin [b ln (R \sqrt{π})]\}, \end{matrix}

(B4)

where we used

cos (a + b) = cos (a) cos (b) - sin (a) sin (b)

and similarly

sin (a + b) = cos (a) sin (b) + sin (a) cos (b)

In particular for

n = 3 + b i

b \in R

(spacetime dimensionality) the volume (B3) and the surface (B4) become

\begin{matrix} V {(n)}_{B} & = \frac{π^{3 / 2} R^{3}}{Γ (\frac{5 + i b}{2})} \\ \{cos [b ln (R \sqrt{π})] + i sin [b ln (R \sqrt{π})]\}, \end{matrix}

(B5)

\begin{matrix} S {(n)}_{B} & = \frac{n π^{a / 2} R^{a - 1}}{Γ (\frac{5 + i b}{2})} \\ \{cos [b ln (R \sqrt{π})] + i sin [b ln (R \sqrt{π})]\}, \end{matrix}

(B6)

which forms reduce to familiar

V {(3)}_{B} = 4 π R^{3} / 3

and

S {(3)}_{B} = 4 π R^{2}

for

n = 3 + 0 i

(i.e., at the present moment of perception). The trigonometric member also vanishes in (B5) and (B6) for

R = 1 / \sqrt{π}

. Notably,

R = ℓ_{P} / \sqrt{π}

, where

ℓ_{P}

is the Planck length, is the radius of a 4-bit black hole [13], and one unit of a black hole entropy [25].

In the case of n-cubes, for example, the volume (8) is equal to

V {(n)}_{C} = A^{a} \{cos [b ln (A)] + i sin [b ln (A)]\},

(B7)

and it reduces to

V {(3)}_{C} = A^{a}

for

b = 0

. Also,

V {(n)}_{C} = 1

\forall n \in C

A = 1

D. Schleicher, “Hausdorff Dimension, Its Properties, and Its Surprises,” The American Mathematical Monthly, vol. 114, pp. 509–528, June 2007. [CrossRef]
Y. I. Manin, “The notion of dimension in geometry and algebra,” Bulletin of the American Mathematical Society, vol. 43, pp. 139–162, Feb. 2006.
V. P. Maslov, “Negative dimension in general and asymptotic topology,” Dec. 2006. arXiv:math/0612543.
V. P. Maslov, “General notion of a topological space of negative dimension and quantization of its density,” Mathematical Notes, vol. 81, pp. 140–144, Feb. 2007. [CrossRef]
Tglad, “Office chair philosophy: Generalised definition for negative dimensional geometry,” Aug. 2017.
G. Parisi and N. Sourlas, “Random Magnetic Fields, Supersymmetry, and Negative Dimensions,” Physical Review Letters, vol. 43, pp. 744–745, Sept. 1979. [CrossRef]
B. B. Mandelbrot, “Negative fractal dimensions and multifractals,” Physica A: Statistical Mechanics and its Applications, vol. 163, pp. 306–315, Feb. 1990. [CrossRef]
B. Yu, “Fractal Dimensions for Multiphase Fractal Media,” Fractals, vol. 14, pp. 111–118, June 2006. [CrossRef]
B. Yu, M. Zou, and Y. Feng, “Permeability of fractal porous media by Monte Carlo simulations,” International Journal of Heat and Mass Transfer, vol. 48, pp. 2787–2794, June 2005. [CrossRef]
M. L. Lapidus, An overview of complex fractal dimensions:from fractal strings to fractal drums, and back, vol. 731 of Contemporary Mathematics. Providence, Rhode Island: American Mathematical Society, June 2019.
L. Fidkowski, V. Hubeny, M. Kleban, and S. Shenker, “The Black Hole Singularity in AdS/CFT,” Journal of High Energy Physics, vol. 2004, pp. 014–014, Feb. 2004. [CrossRef]
S. Gassner and C. Cafaro, “Information geometric complexity of entropic motion on curved statistical manifolds under different metrizations of probability spaces,” International Journal of Geometric Methods in Modern Physics, vol. 16, p. 1950082, June 2019. [CrossRef]
Łukaszyk, Black Hole Horizons as Patternless Binary Messages and Markers of Dimensionality. Nova Science Publishers, 2023.
E. Guariglia and S. Silvestrov, “Fractional-wavelet analysis of positive definite distributions and wavelets on D (C),” in Engineering Mathematics II (S. Silvestrov and M. Rančić, eds.), vol. 179, pp. 337–353, Cham: Springer International Publishing, 2016. [CrossRef]
J. N. Hallén, S. A. Grigera, D. A. Tennant, C. Castelnovo, and R. Moessner, “Dynamical fractal and anomalous noise in a clean magnetic crystal,” Science, vol. 378, pp. 1218–1221, Dec. 2022. [CrossRef]
P. S. Castro, T. Kastner, P. Panangaden, and M. Rowland, “MICo: Improved representations via sampling-based state similarity for Markov decision processes,” Jan. 2022. arXiv:2106.08229 [cs]. [CrossRef]
S. Łukaszyk, “A new concept of probability metric and its applications in approximation of scattered data sets,” Computational Mechanics, vol. 33, pp. 299–304, Mar. 2004. [CrossRef]
Łukaszyk, “Novel Recurrence Relations for Volumes and Surfaces of n-Balls, Regular n-Simplices, and n-Orthoplices in Real Dimensions,” Mathematics, vol. 10, p. 2212, June 2022. [CrossRef]
“Platonic Solids in All Dimensions.”.
H. S. M. Coxeter, Regular polytopes. New York: Dover Publications, 3d ed ed., 1973.
B. C. Wong and D. M. Y. Sommerville, “An Introduction to the Geometry of n Dimensions,” The American Mathematical Monthly, vol. 38, p. 286, May 1931.
R. H. Buchholz, “Perfect pyramids,” Bulletin of the Australian Mathematical Society, vol. 45, pp. 353–368, June 1992. [CrossRef]
“Different Products, occurring with Polytopes.”.
P. J. Roig, S. Alcaraz, K. Gilly, and C. Juiz, “Applying Multidimensional Geometry to Basic Data Centre Designs,” International Journal of Electrical and Computer Engineering Research, vol. 1, pp. 1–8, June 2021. [CrossRef]
J. D. Bekenstein, “Black Holes and Entropy,” Phys. Rev. D, vol. 7, pp. 2333–2346, Apr 1973. [CrossRef]

1	E.g., in aviation, where relying on a sense of orientation (aka intuition) can be fatal.
2	We choose the notation $f (n)$ over $f_{n}$ , as $n \in C$ .
3	Commonly, the surface $S (n)$ is defined to correspond to $(n + 1)$ -dimensional object. However, the authors find it confusing: $(n - 1)$ -dimensional surface remains the property of the n-dimensional object. Thus, in this study $S (n)$ denotes $(n - 1)$ -dimensional surface of the n-dimensional object, not n-dimensional surface of the $(n + 1)$ -dimensional object.
4	Furthermore $A^{n} = A^{2 n / 2} = \sqrt{A^{2 n}} \overset{?}{=} \pm A^{n}$ . By choosing complex analysis, we enter into bivalence by its very nature.
5	${lim}_{y \to 0^{-}} atan 2 (y, x) = π$ , ${lim}_{y \to 0^{+}} atan 2 (y, x) = - π$

n \in [- 4, 6]

n \in [- 4, 6]

Figure 2. Graphs of volumes (V) and surfaces (S) of unit edge length regular n-simplices (red), n-orthoplices (green), and unit diameter n-balls (blue) for

n \in R : n \in [- 4, 6]

Figure 2. Graphs of volumes (V) and surfaces (S) of unit edge length regular n-simplices (red), n-orthoplices (green), and unit diameter n-balls (blue) for

n \in R : n \in [- 4, 6]

Figure 3. Graphs of

V {(n)}_{S I B}

(red) and

V {(n)}_{B}

(blue) for

n \in [- 6, 6]

Figure 3. Graphs of

V {(n)}_{S I B}

(red) and

V {(n)}_{B}

(blue) for

n \in [- 6, 6]

Figure 4. Graphs of

S {(n)}_{S I B}

(red) and

S {(n)}_{B}

(blue) for

n \in [- 6, 6]

Figure 4. Graphs of

S {(n)}_{S I B}

(red) and

S {(n)}_{B}

(blue) for

n \in [- 6, 6]

Figure 5. Graphs of

V {(n)}_{S C B}

(red),

V {(n)}_{B}

(blue), and

\tilde{V} {(n)}_{S C B}

(dark red), for

n \in [- 6, 6]

Figure 5. Graphs of

V {(n)}_{S C B}

(red),

V {(n)}_{B}

(blue), and

\tilde{V} {(n)}_{S C B}

(dark red), for

n \in [- 6, 6]

Figure 6. Graphs of

S {(n)}_{S C B}

(red),

S {(n)}_{B}

(blue), and

\tilde{S} {(n)}_{S C B}

(dark red), for

n \in [- 6, 6]

Figure 6. Graphs of

S {(n)}_{S C B}

(red),

S {(n)}_{B}

(blue), and

\tilde{S} {(n)}_{S C B}

(dark red), for

n \in [- 6, 6]

Figure 7. Graphs of

V {(n)}_{O I B}

(green) and

V {(n)}_{B}

(blue), for

n \in [- 6, 6]

Figure 7. Graphs of

V {(n)}_{O I B}

(green) and

V {(n)}_{B}

(blue), for

n \in [- 6, 6]

Figure 8. Graphs of

S {(n)}_{O I B}

(green) and

S {(n)}_{B}

(blue), for

n \in [- 6, 6]

Figure 8. Graphs of

S {(n)}_{O I B}

(green) and

S {(n)}_{B}

(blue), for

n \in [- 6, 6]

Figure 9. Graphs of

V {(n)}_{O C B}

(green),

V {(n)}_{B}

(blue), and

\tilde{V} {(n)}_{O C B}

(dark green), for

n \in [- 6, 6]

Figure 9. Graphs of

V {(n)}_{O C B}

(green),

V {(n)}_{B}

(blue), and

\tilde{V} {(n)}_{O C B}

(dark green), for

n \in [- 6, 6]

Figure 10. Graphs of

S {(n)}_{O C B}

(green),

S {(n)}_{B}

(blue), and

\tilde{S} {(n)}_{O C B}

(dark green), for

n \in [- 6, 6]

Figure 10. Graphs of

S {(n)}_{O C B}

(green),

S {(n)}_{B}

(blue), and

\tilde{S} {(n)}_{O C B}

(dark green), for

n \in [- 6, 6]

Figure 11. Graphs of

V {(n)}_{C I B}

(pink),

V {(n)}_{B}

(blue), and

\tilde{V} {(n)}_{C I B}

(dark pink), for

n \in [- 6, 6]

Figure 11. Graphs of

V {(n)}_{C I B}

(pink),

V {(n)}_{B}

(blue), and

\tilde{V} {(n)}_{C I B}

(dark pink), for

n \in [- 6, 6]

Figure 12. Graphs of

S {(n)}_{C I B}

(pink),

S {(n)}_{B}

(blue), and

\tilde{S} {(n)}_{C I B}

(dark pink), for

n \in [- 6, 6]

Figure 12. Graphs of

S {(n)}_{C I B}

(pink),

S {(n)}_{B}

(blue), and

\tilde{S} {(n)}_{C I B}

(dark pink), for

n \in [- 6, 6]

Figure 13. Volume metric and gamma function independent relations.

V {(n)}_{B} V {(- n)}_{B}

(blue),

V {(n)}_{S} V {(- n)}_{S}

(red),

V {(n)}_{S I B} V {(- n)}_{S I B}

(dark red),

V {(n)}_{S C B} V {(- n)}_{S C B}

(orange red),

V {(n)}_{O} V {(- n)}_{O} = V {(n)}_{O I B} V {(- n)}_{O I B}

(lime green),

V {(n)}_{O C B} V {(- n)}_{O C B}

(yellow green), for

n \in R : n \in [- 6, 6]

Figure 13. Volume metric and gamma function independent relations.

V {(n)}_{B} V {(- n)}_{B}

(blue),

V {(n)}_{S} V {(- n)}_{S}

(red),

V {(n)}_{S I B} V {(- n)}_{S I B}

(dark red),

V {(n)}_{S C B} V {(- n)}_{S C B}

(orange red),

V {(n)}_{O} V {(- n)}_{O} = V {(n)}_{O I B} V {(- n)}_{O I B}

(lime green),

V {(n)}_{O C B} V {(- n)}_{O C B}

(yellow green), for

n \in R : n \in [- 6, 6]

Table I. Particular volumes of omnidimensional polytopes inscribed in and circumscribed about unit diameter n-balls (principal branch).

n	$- 3 / 2$	−1	$- 1 / 2$	0	$1 / 2$	1	$3 / 2$
$V_{B}$	0.331	$2 / π \approx 0.637$	$0.867$	1	$1.039$	1	$0.908$
$V_{S I B}$	$\frac{i 3^{3 / 4}}{\sqrt{π}} \approx i 1.286$	0	$\frac{1 - i}{\sqrt{2 π}} \approx 0.399 (1 - i)$	1	$\frac{3^{3 / 4}}{\sqrt{π}} \approx 1.286$	1	$\frac{5^{5 / 4}}{3^{7 / 4} \sqrt{π}} \approx 0.617$
$V_{S C B}$	$\frac{2^{3 / 2}}{3^{3 / 4} \sqrt{π}} \approx 0.7$	0	$\frac{1 - i}{\sqrt{π}} \approx 0.564 (1 - i)$	1	$\frac{3^{3 / 4}}{\sqrt{2 π}} \approx 0.909$	1	$\frac{5^{5 / 4}}{3^{1 / 4} 2^{3 / 2} \sqrt{π}} \approx 1.133$
$V_{O I B}$	$\frac{- 1}{2 \sqrt{π}} \approx - 0.282$	0	$\frac{1}{\sqrt{π}} \approx 0.564$	1	$\frac{2}{\sqrt{π}} \approx 1.128$	1	$\frac{4}{3 \sqrt{π}} \approx 0.752$
$V_{O C B}$	$\frac{1 + i}{2^{3 / 4} 3^{3 / 4} \sqrt{π}} \approx 0.147 (1 + i)$	0	$\frac{1 - i}{2^{1 / 4} \sqrt{π}} \approx 0.474 (1 - i)$	1	$\frac{2^{3 / 4}}{\sqrt{π}} \approx 0.949$	1	$\frac{2^{5 / 4}}{3^{1 / 4} \sqrt{π}} \approx 1.02$
$V_{C I B}$	$\frac{(i - 1) 3^{3 / 4}}{2^{5 / 4}} \approx 0.958 (i - 1)$	i	$\frac{(1 + i)}{2^{3 / 4}} \approx 0.595 (1 + i)$	1	$2^{1 / 4} \approx 1.189$	1	$\frac{2^{3 / 4}}{3^{3 / 4}} \approx 0.738$
$V_{C C B}$	1	1	1	1	1	1	1

Table II. Particular surfaces of omnidimensional polytopes inscribed in and circumscribed about unit diameter n-balls (principal branch).

n	$- 3 / 2$	−1	$- 1 / 2$	$1 / 2$	1	$3 / 2$
$S_{B}$	$- 0.992$	$- 4 / π \approx - 1.273$	$- 0.867$	$1.039$	2	$2.723$
$S_{S I B}$	$\frac{- i 3^{11 / 4}}{2 \sqrt{π}} \approx - 5.787 i$	0	$\frac{1 + i}{\sqrt{π} 2^{3 / 2}} \approx 0.199 (1 + i)$	$\frac{3^{3 / 4}}{2 \sqrt{π}} \approx 0.643$	2	$\frac{3^{1 / 4} 5^{5 / 4}}{2 \sqrt{π}} \approx 2.776$
$S_{S C B}$	$\frac{- 2^{3 / 2} 3^{1 / 4}}{\sqrt{π}} \approx - 2.1$	0	$\frac{i - 1}{\sqrt{π}} \approx 0.564 (i - 1)$	$\frac{3^{3 / 4}}{\sqrt{2 π}} \approx 0.909$	2	$\frac{3^{3 / 4} 5^{5 / 4}}{2^{3 / 2} \sqrt{π}} \approx 3.4$
$S_{O I B}$	$\frac{3^{3 / 2} i}{2^{3 / 2} \sqrt{π}} \approx 1.036 i$	0	$\frac{- i}{\sqrt{2 π}} \approx - 0.399 i$	$\frac{\sqrt{2}}{\sqrt{π}} \approx 0.798$	2	$\frac{2^{3 / 2} \sqrt{3}}{\sqrt{π}} \approx 2.764$
$S_{O C B}$	$\frac{- (1 + i) 3^{1 / 4}}{2^{3 / 4} \sqrt{π}} \approx - 0.442 (1 + i)$	0	$\frac{(i - 1)}{2^{1 / 4} \sqrt{π}} \approx 0.474 (i - 1)$	$\frac{2^{3 / 4}}{\sqrt{π}} \approx 0.949$	2	$\frac{2^{5 / 4} 3^{3 / 4}}{\sqrt{π}} \approx 3.059$
$S_{C I B}$	$\frac{(1 + i) 3^{9 / 4}}{2^{7 / 4}} \approx 3.521 (1 + i)$	2	$\frac{1 - i}{2^{5 / 4}} \approx 0.42 (1 - i)$	$2^{- 1 / 4} \approx 0.841$	2	$3^{3 / 4} 2^{1 / 4} \approx 2.711$
$S_{C C B}$	$- 3$	$- 2$	$- 1$	1	2	3

MDPI Initiatives

Important Links

Choose an area of interest and we will send you notifications of new preprints at your preferred frequency.

Disclaimer

Omnidimensional Convex Polytopes

Abstract

I. INTRODUCTION

II. KNOWN FORMULAS

III. HOLOMORPHIZING KNOWN FORMULAS

IV. OMNIDIMENSIONAL POLYTOPES INSCRIBED IN AND CIRCUMSCRIBED ABOUT n-BALLS

A. Regular n-Simplices Inscribed in n-Balls

B. Regular n-Simplices Circumscribed About n-Balls

C. n-Orthoplices Inscribed in n-Balls

D. n-Orthoplices Circumscribed About n-Balls

E. n-Cubes Inscribed in and Circumscribed About n-Balls

V. METRIC-INDEPENDENT RELATIONS

VI. VOLUME-SURFACE SYMMETRIES

VII. DISCUSSION

Data Availability Statement

Authors’ Contribution

ACKNOWLEDGMENTS

Appendix A: Bivalence of the complex square root

Appendix B: Volumes and Surfaces in terms of the real and imaginary parts of the complex dimension

Abstract

I. INTRODUCTION

II. KNOWN FORMULAS

III. HOLOMORPHIZING KNOWN FORMULAS

IV. OMNIDIMENSIONAL POLYTOPES INSCRIBED IN AND CIRCUMSCRIBED ABOUT n-BALLS

A. Regular n-Simplices Inscribed in n-Balls

B. Regular n-Simplices Circumscribed About n-Balls

C. n-Orthoplices Inscribed in n-Balls

D. n-Orthoplices Circumscribed About n-Balls

E. n-Cubes Inscribed in and Circumscribed About n-Balls

V. METRIC-INDEPENDENT RELATIONS

VI. VOLUME-SURFACE SYMMETRIES

VII. DISCUSSION

Data Availability Statement

Authors’ Contribution

ACKNOWLEDGMENTS

Appendix A: Bivalence of the complex square root

Appendix B: Volumes and Surfaces in terms of the real and imaginary parts of the complex dimension

MDPI Initiatives

Important Links

Subscribe