LOG#185. Geometricobjects.

I have the power! I have a power BETTER than the Marvel’s tesseract. It is called physmatics. Hi, there! We are back to school. This time, I am going to give you a tour with some geometrical objects, or geometricobjects, if you want a full tense portmanteau.

Geometry is found in Nature. It seems Nature likes geometry, and even more, it favors the emergence of geometrical forms. Firstly, I am sure you know the cube. A polyhedron, such as, its volume or content is V=L^3, just in the same way a square is a polygon, with are A=L^2. For a cube, thus:

    \[V_C=L^3\;\;\; A_C=6A=6L^2\;\;\; \]

I am confident you also now the tetrahedron. The volume any tedrahedron and its total area are given by the formulae (A, B, C are the vertices of the tetrahedron, and “a” its edge length)

    \[V_T=\dfrac{V_C (A,B,C)}{6}=\dfrac{Ah}{3}=\dfrac{\sqrt{2}L^3}{12}\approx 0.1179L^3\;\;\;\;\;\;\; A_T=4A=\sqrt{3} L^2\approx 1.732L^2\]

I can not resist myself to show you a relatively unknown formula to obtain the area of any triangle, if you know the sides (lengths) a, b, c, and the semiperimeter:

    \[A_\Delta (Heron)=\sqrt{s(s-a)(s-b)(s-c)}\]



There is a Heron-like formula for the volume of the tetrahedron as well. Brahmagupta area for a cyclic quadrilateral (side lengths a, b, c, d) reads


with semiperimeter


or if you avoid the semiperimeter, you get


This Brahamgupta formula is a special case of the Bertschneider’s formula. Next step, the octahedron:

    \[V_O=\dfrac{\sqrt{2}L^3}{3}\;\;\; A_t=8L^2=2\sqrt{3}L^2\]

The dodecahedron has also

    \[V_D=\dfrac{(15+7\sqrt{5})L^3}{4}\approx 7.66 L^3\;\;\; A_t=3\sqrt{(25+10\sqrt{5})}L^2=12A\approx 20.65L^2\]

The icosahedron volume and surface area read

    \[V_I=\dfrac{5(3+\sqrt{5})L^3}{12}=\dfrac{5\phi^2}{6}\approx 2.18L^3\;\; A_t=20A=5\sqrt{3}L^2\approx 8.66L^2\]

where \phi=(1+\sqrt{5})/2 is the golden ratio.

Even when it is not any polyhedron, the 2-sphere has volumen and area

    \[V_S=\dfrac{4\pi}{3}R^3\approx 4.189R^3\;\; A_S=4\pi R^2\approx 12.57R^2\]

Wow! I am not sure you learned all these formulae at school (I didn’t!), but they are lovely! Mathematics is beautiful, radicals are nice! It is obvious ;). Platonic solids are cool.

Well, now we are going to go BEYOND…After all, polygons or polyhedrons are only special cases of polytopes in any dimension! Are you a beyonder? In order to study hypergeometrical geometricobjects, a bit on terminology. Polytopes is the word to generalize polyhedra and polygons to higher (finite!) dimensions. If the dimension of the “body” is:

    \[Dim=-1,0,1,2,3,\ldots,j,\ldots, (n-3), (n-2),(n-1),n\]

and thus the polytope “section”or j-dimensional element is named null (vacuum), vertex (vertices), edge, face, cell,…, j-face [the j-rank element],…,peak-(n-3)-face, ridge or subfacet-(n-2)-face, facet-(n-1)-face, body or n-polytope itself. The case is that even you could consider the infinite-dimensional case. An n-dimensional polytope is bounded by a number of (n − 1)-dimensional facets. These facets are themselves polytopes, whose facets are (n − 2)-dimensional ridges of the original polytope. Every ridge arises as the intersection of two facets (but the intersection of two facets need not be a ridge). Ridges are once again polytopes whose facets give rise to (n − 3)-dimensional boundaries of the original polytope, and so on. These bounding sub-polytopes may be referred to as faces, or specifically j-dimensional faces or j-faces. A 0-dimensional face is called a vertex, and consists of a single point. A 1-dimensional face is called an edge, and consists of a line segment. A 2-dimensional face consists of a polygon, and a 3-dimensional face, sometimes called a cell, consists of a polyhedron.

Till infinity and beyond…Polygons with infinite edges are called apeirogons! A polyhedron with infinite faces could be named apeirohedron, and an infinite dimensional polytope is called apeirotope. Even more, you have skew apeirohedra. There is also strange polyhedra called pseudopolyhedra. Note that something related, but for fermionic or spinorial geometry has appeared in the analysis of quantum gravity. It is called the amplituhedron or positive grassmannian. I am not going to discuss the amplituhedron today, but it is nice to see we are coming back to Greek jobs on Geometry and Nature. The platonic higher dimensional polyhedra are named regular polytopes. They are fully classified. Regular polytopes are called in general the simplex (n-simplex, simplices in plural; the equilateral triangle and the tetrahedron are special cases), the hypercube (n-cube or cross polytope; the 4-D cube or tesseract, the cube and the square are special cases). There is also convex and star polytopes.

Simplices of dimension d=0,1,2,3,…,n are named the point, line/segment, equilateral triangle, tetrahedron, pentachoron (4-simplex),…, n-simplex. Any simplex has (n+1) vertices. The  n-cube with dimension d=0,1,2,3,4,5,…,n is called point, line, square, cube, tesseract (octachoron), penteract (regular decateron),…,n-cube. Any orthoplex, n-orthoplex has 2n vertices or any n-cube has 2^n vertices. Great? Now some formulae. For the n-simplex with edge length L, you have the following formula for the volume and the total surface area:

(1)   \begin{equation*} \boxed{V_N (simplex)=\dfrac{\sqrt{2^{-N}(N+1)}L^N}{N!}}\;\;\; \boxed{S_N(simplex)=\dfrac{\sqrt{2^{1-N}N}(N+1)L^{N-1}}{(N-1)!}} \end{equation*}

and where the N! is the factorial of N, i.e. N(N-1)(N-2)\cdots 3\cdot 2\cdot 1. For the n-cube (do you love tesseracts? I love even more n-cubes!), you get for n-cubes

(2)   \begin{equation*} \boxed{V_N(cube)=L^N}\;\;\;\; \boxed{S_N(cube)=2NL^{N-1}} \end{equation*}

and for the n-orthoplex

(3)   \begin{equation*} \boxed{V_N(orthoplex)=\dfrac{\sqrt{2^N}L^N}{N!}}\;\;\;\boxed{S_N(orthoplex)=\dfrac{\sqrt{2^{N+1}N}L^{N-1}}{(N-1)!}} \end{equation*}

Remember: n-simplex has (n+1) vertices, and n-orthoplex has 2n vertices, and n-cube has 2^n vertices. Admit yourself you love these formulae!

Naming is also fun with these things. As you have remembered, 3D platonic solids are five. The tetrahedron (3-simplex), the cube (3-cube, hexahedron), the octahedron (3-orthoplex), the dodecahedron and the isahedron. In four (euclidean) dimensions, 4D convex regular polytopes are six: the 5-cell (4-simplex), the 8-cell (4-cube, tesseract), the 16-cell (4-orthoplex), the 24-cell, the 120-cell and the 600-cell. In general dimension, greater or equal to 5D, you only have the n-simplex, the n-cube and the n-orthoplex as regular polytopes. You see there are some exotica in 4D! 3D and 2D are also special for regular polytopes. Any relation with the Poincaré conjecture or why we live in 4D? I am not sure, but you can write me if you want after passing the bot-spam test! Cross polytopes in any dimension are also fun. As you have read above, the point, the line, the square, the octahedron, the hexadecachoron (16-cell, 4-orthoplex), the 5-triacontakaiditeron (5-orthoplex or pentacross), and the n-orthoplex. Any n-orthoplex has n vertices. Apeirotopes are much less studied, to my knowledge, and maybe the recent interest in the amplituhedron or this post will drive the interest for these objects in the mathematical community. Apeirotopes are just interesting for honeycombs structures (like those in graphene!), and they have also variations like skew apeirotopes. In order to classify these objects, the Swiss mathematician Ludwig Schläfli created an array of numbers now known as Schläfli symbols. You can easily find out the Schläfly symbols for the regular polytopes I mentioned here. There is also a very interesting notion of duality (yes! duality!) between some polyhedra and polytopes that are more obvious as permutations of Schläfli symbols.

Well, the hypersphere  or n-ball case is worth mentioning in order to continue this post.

(4)   \begin{equation*} \boxed{V_N (ball)=\dfrac{\pi^{N/2}R^N}{\Gamma\left(\frac{N}{2}+1\right)}=\dfrac{2\Gamma \left(\frac{1}{2}\right)^N R^N}{N\Gamma \left(\frac{N}{2}\right)}} \end{equation*}

(5)   \begin{equation*} \boxed{S_N (ball)=\dfrac{dV_N(R)}{dR}=\dfrac{N\pi^{N/2}R^{N-1}}{\Gamma\left(\frac{N}{2}+1\right)}=\dfrac{2\Gamma \left(\frac{1}{2}\right)^N R^{N-1}}{\Gamma \left(\frac{N}{2}\right)}} \end{equation*}

and where \Gamma (z) is the gamma function that generalizes the factorial to any number. Note, as well, a very strange thing about the factorial. It can be thought as the square of the contraction of a Levi-Civita symbol, since

    \[\boxed{\varepsilon_{i_1i_2\ldots i_n}\varepsilon^{i_1i_2\ldots i_n}=n!}\leftrightarrow \varepsilon^2=n!\]

Some string theorists usually prefer to compactify extra dimensions on balls or the n-torus to reduce calculations, but in principle, extra dimensions could have any topology or be discrete like a lattice or a polytope. However, dimensional analysis says that it only varies a number, not the scale L_X of the eXtra dimension. How to do sphere packings? Or hypersphere packings? This is an old mathematical problem. Recently, the young female mathematician Maryna Viazovska solved an old open (not now!) in mathematics of hypersphere packings. In her papers https://arxiv.org/abs/1603.04246 and https://arxiv.org/abs/1603.06518 , The sphere packing in dimension 8 and The sphere packing in dimension 24, she solved the old conjecture linking the hypersphere packing with theta functions, and the Leech lattice. In fact, I can not resist myself to write her theorem in D=24 (bosonic string fanatics are here?):

“The Leech lattice achieves the optimal sphere packing density in \mathbb{R}^{24} , and it is the only periodic packing in \mathbb{R}^{24} with that density, up to scaling and isometries. In particular, the optimal sphere packing density in \mathbb{R}^{24} is that of the Leech lattice, namely \Delta_{24}=\dfrac{\pi^{12}}{12!}\approx 0.00192.”

For the 8D (D=8) case (non-assiociative octonionic fans and friends here?) the result is the (hyper)sphere packing  constant \Delta_8=\pi^4/384=\frac{\pi^4}{2^4\cdot 4!}\approx 0.25367. I am sure John C. Baez will love this thing (his talks about numbers 8 and 24 are legendary! http://math.ucr.edu/home/baez/numbers/).

The sphere packing problem in euclidean dimensions is, thus, “solved”. The kissing number problem is also related. But, even when you think about the maximal density you can package n-balls, it is also interesting. The sphere packing problem is the three-dimensional version of a class of ball-packing problems in arbitrary dimensions. In two dimensions, the equivalent problem is packing circles on a plane. In one dimension it is packing line segments into a linear universe.

Wikipedia says: “(…)In dimensions higher than three, the densest regular packings of hyperspheres are known up to 8 dimensions. Very little is known about irregular hypersphere packings; it is possible that in some dimensions the densest packing may be irregular. Some support for this conjecture comes from the fact that in certain dimensions (e.g. 10) the densest known irregular packing is denser than the densest known regular packing. In 2016, Maryna Viazovska announced a proof that the E8 lattice provides the optimal packing (regardless of regularity) in eight-dimensional space, and soon afterwards she and a group of collaborators announced a similar proof that the Leech lattice is optimal in 24 dimensions.(…)”

The sphere packing constant measures which portion of d-dimensional Euclidean space can be covered by non-overlapping unit balls. Let \Delta_d be the sphere (hypersphere) packing constant. In dimension 1, D=1, you have \Delta_1=1 trivially. It has long been known that a best packing in dimension 2 is the familiar hexagonal lattice packing, in which each disk is touching six others. The first proof of this result was given by A. Thue at the beginning ot twentieth century. The density of the hexagonal lattice packing is \Delta_2=\frac{\pi}{\sqrt{12}}=\frac{\pi}{2\sqrt{3}}\approx 0.90690, that is something greater than 90 per cent!


    \[\boxed{\Delta_2=\dfrac{\pi}{\sqrt{12}}=\dfrac{\pi}{2\sqrt{3}}=\dfrac{\pi\sqrt{12}}{12}=\dfrac{\pi\sqrt{3}}{6}=\dfrac{\pi\sqrt{3}}{3!}\approx 0.90690}\]

For 3D (D=3) you have the FCC/HCP maximal density (Kepler 1611!) given by

    \[\boxed{\Delta_3=\dfrac{\pi}{\sqrt{18}}=\dfrac{\pi}{3\sqrt{2}}=\dfrac{\pi\sqrt{2}}{6}=\dfrac{\pi\sqrt{2}}{3!}\approx 0.74048}\]

In fact, the values of \Delta_n are known also for n=4,5,6,7 (8 was rediscovered by Maryna, see http://mathworld.wolfram.com/HyperspherePacking.html ):

    \[\boxed{\Delta_4=\dfrac{\pi^2}{16}\approx 0.61685}\]

    \[\boxed{\Delta_5=\dfrac{\pi^2\sqrt{2}}{30}\approx 0.46526}\]

    \[\boxed{\Delta_6=\dfrac{\pi^3\sqrt{3}}{144}\approx 0.37295}\]

    \[\boxed{\Delta_7=\dfrac{\pi^3}{105}\approx 0.29530}\]

    \[\boxed{\Delta_8=\pi^4/384=\frac{\pi^4}{2^4\cdot 4!}\approx 0.25367}\]

    \[\boxed{\Delta_{24}=\dfrac{\pi^{12}}{12!}=\dfrac{\pi^{12}}{\Gamma (13)}=\dfrac{\pi^{12}}{\Pi (12)}\approx 0.00192}\]

Thus, the Leech lattice density is the best of the best. High dimensions are everywhere! Low dimensions are anomalous. All data can be described by numbers, so any large collection of data is high dimensional. Why is this important? This is sphere packing! The error spheres of any message should form a sphere packing. This is called an error-correcting code. For rapid communication, want as large a vocabulary as possible. I.e., to use space efficiently, want to maximize the packing density. Rapid, error-free communication requires a dense sphere packing. Real-world channels correspond to high dimensions. Of course some channels require more elaborate noise models, but sphere packing is the most fundamental case. So, therefore, if you allow me this, communication is…An issue about n-balls! Have you got n-balls?Perhaps you should also explore hyperbolic spheres, named as horospheres/paraspheres, and hypercycles.

On a scale from one to infinity, a million is small, but we know almost nothing about sphere packing in a million dimensions. A naive n-grid argument says that the sphere packing in \mathbb{R}^n is at most

    \[\Delta_n\leq \dfrac{R^n \pi^{n/2}}{ (n/2)!2^n}\]

Why is the sphere packing problem difficult? Many local maxima for density. Lots of space. Complicated geometrical configurations. No good way to rule out implausible configurations rigorously. High dimensions are weird. However, it is a very important issue for communication theory, coding theory, quantum computing and information theory. Horocycles!!!! (No, they are not horrocruxes!) We really don’t know what the best sphere packing in a million dimensions looks like. Our estimate of its density might be off by an exponential factor. We don’t even know whether it is ordered (like a crystal, quasicrystal, polycrystal, quasipolycrystal) or disordered (like a lump of dirt, a foam or turbulent fluids). But these problems DO really matter. Every time you are using a cell phone or a computer, you can thank Shannon and his relationship between information theory and high-dimensional sphere packing!

Another piece, not totally unrelated to this geometric theme, is the common issue of folding a piece of paper. In 2002, a female high school student, Britney Gallivan, became famous and she is best known for determining the maximum number of times that paper or other materials can be folded in half. She worked out two beautiful theorems that, in my opinion, have to be known by mathematicians, teachers and people. The reason is that they are completely general and they use arithmetical and geometrical series in a wonderful way.

1st Gallivan theorem. For single-direction folding (using a long strip of paper), the exact required strip length L is

(6)   \begin{equation*} \boxed{L=\dfrac{\pi}{6} t\left(2^{n}+4\right)\left(2^{n}-1\right)} \end{equation*}

where t represents the thickness of the material to be folded, L is the length of a paper piece to be folded in only one direction, and n represents the number of folds desired.

Proof. Let me consider a paper with length L and thickness t. In the first fold, via a semicircle, the lost length is \pi t. After the second fold, the lost length is

    \[\pi t+\pi t+2\pi t\]

The third fold lost length becomes

    \[\pi t+(\pi t +2\pi t)+(3\pi t)+(4\pi t)\]

And after n-folds

    \[\pi t+(\pi t +2\pi t)+(3\pi t)+(4\pi t)+\ldots +(\pi t+\ldots +2^{n-1}\pi t)\]

Adding the lost length after the n-folds, you have

    \[\pi  \left(1+(1+2)+\ldots+(1+2+\ldots+2^{n-1})\right)\]

Using the result about how to sum any arithmetic sum (Gauss, the king!):

    \[\dfrac{\pi t}{2}\left(1\cdot 2+2\cdot 3+4\cdot 5+8\cdot 9+\ldots+ 2^{n-1}\cdot (2^{n-1}+1)\right)\]

Now, you can split this last sum as two, as follows

    \[\dfrac{\pi t}{2}\left( (2^0+2^2+\ldots+2^{2(n-1)})+(2^0+2^1+\ldots+2^{n-1})\right)\]

Finally, use the result for getting the sum of geometric series, to obtain

    \[L=\dfrac{\pi t}{2}\left(\dfrac{ (2^{2n}-1)}{3}+(2^n-1)\right)\]

or equivalently, after basic algebra (hint, use x=2^n),

    \[L=\dfrac{\pi t}{6}\left(2^n+4\right)\left(2^n-1\right)\]

as we wanted to demonstrate. Q.E.D.

2nd Gallivan theorem. An upper bound and a close approximation of the actual paper width needed for alternate-direction folding is

(7)   \begin{equation*} \boxed{W=\pi t 2^{3(n-1)/2}} \end{equation*}

where W is the width of a square piece of paper with a thickness of t, and n is the desired number of folds to be carried out in alternate directions. For paper that is not square, e.g., having a 2:1 ratio, the above equation still gives an accurate limit.

These theorems highlight two facts:

1st. In order to fold anything in a half, it must be \pi-times longer than its thickness. Did you love \pi? \pi is now better! \pi is also related not only to spheres but also to folding something in a half (of course, the process is obviously related to the circle or semicircle).

2nd. Depending of how you fold something, the amounts its length decreases with each fold DIFFERS.

I found myself reading an application of Gallivan 2th theorem to Cosmology. Find it here https://physics.le.ac.uk/journals/index.php/pst/article/viewFile/858/631

I am going to summarize it anyway…Take the Hubble sphere with v(t)=c/H(t) and from the picture

plug W_0=\sqrt{2} d_H. Using the Hubble law with

    \[H(t)=\dfrac{1}{a(t)}\dfrac{d a(t)}{dt}\]

and taking the current time t_0, the current values of the cosmological constant energy density \Omega_{\Lambda,0}, then if space itself has folded from cosmic past to current time, the number of folds will be

    \[n(H)=\dfrac{2}{3\ln 2}\ln \left(\dfrac{\sqrt{2} c}{\pi H(t) t_0}\right)+1\]

Interestingly, today we have dn/dt\sim 0 (Why? Who knows? Who nose?). Then, rewriting the Hubble parameter in terms on the number of folds, you get

    \[H(t)=\sqrt{\Omega_{\Lambda,0} }H_0 \coth \left(\dfrac{3}{2}\sqrt{\Omega_{\Lambda,0} }H_0 t\right)\]

For the accepted values (today) of H_0 and \Omega_{\Lambda, 0}, you get that the maximal number of folds in our Universe is about 67. The following picture show it better

You could also ask if elementary particles are “stacked” or “folded” branes (p-branes). Gallivan’s theorems provide a very general way to estimate the number of times you have something folded or stacked to get something of ANY “size”.

Exercise 1. Provide a proof of Gallivan’s 2nd theorem.

Exercise 2. How many times or folds should a superstring have been curled up or wrapped around an extra dimension of size L in order to get something like the classical electron radius or the asummed right proton radius. Plug L as the Planck length as initial guess. Plug another “reasonable” values of L. What do you learn? I believe this exercise should be done by ANY stringer/M-branist/Dp-branist or fan of extra dimensions. Compactified space as folded space has curious trickery related with the worst understood mathematical scaling: exponential scaling. It is very counterintuitive. Do it yourself. Some numbers used in known compactifications can be compared with your results.


Liked it? Take a second to support amarashiki on Patreon!
Become a patron at Patreon!


LOG#185. Geometricobjects. — 3 Comments

Leave a Reply to amarashiki Cancel reply

Your email address will not be published. Required fields are marked *

This site uses Akismet to reduce spam. Learn how your comment data is processed.