Tesseract

From Wikipedia, the free encyclopedia

https://en.wikipedia.org/wiki/Tesseract

 

Tesseract 8-cell (4-cube)
Schlegel diagram
Type	Convex regular 4-polytope
Schläfli symbol	{4,3,3} t0,3{4,3,2} or {4,3}×{ } t0,2{4,2,4} or {4}×{4} t0,2,3{4,2,2} or {4}×{ }×{ } t0,1,2,3{2,2,2} or { }×{ }×{ }×{ }
Coxeter diagram
Cells	8 {4,3}
Faces	24 {4}
Edges	32
Vertices	16
Vertex figure	Tetrahedron
Petrie polygon	octagon
Coxeter group	B4, [3,3,4]
Dual	16-cell
Properties	convex, isogonal, isotoxal, isohedral, Hanner polytope
Uniform index	10

The Dalí cross, a net of a tesseract

The tesseract can be unfolded into eight cubes into 3D space, just as the cube can be unfolded into six squares into 2D space.

In geometry, a tesseract is the four-dimensional analogue of the cube; the tesseract is to the cube as the cube is to the square. Just as the surface of the cube consists of six square faces, the hypersurface of the tesseract consists of eight cubical cells. The tesseract is one of the six convex regular 4-polytopes.

The tesseract is also called an 8-cell, C₈, (regular) octachoron, octahedroid, cubic prism, and tetracube. It is the four-dimensional hypercube, or 4-cube as a member of the dimensional family of hypercubes or measure polytopes. Coxeter labels it the ${\displaystyle {\gamma }_4}$ polytope. The term hypercube without a dimension reference is frequently treated as a synonym for this specific polytope.

The Oxford English Dictionary traces the word tesseract to Charles Howard Hinton's 1888 book A New Era of Thought. The term derives from the Greek téssara (τέσσαρα 'four') and aktís (ἀκτίς 'ray'), referring to the four edges from each vertex to other vertices. Hinton originally spelled the word as tessaract.

Geometry

As a regular polytope with three cubes folded together around every edge, it has Schläfli symbol {4,3,3} with hyperoctahedral symmetry of order 384. Constructed as a 4D hyperprism made of two parallel cubes, it can be named as a composite Schläfli symbol {4,3} × { }, with symmetry order 96. As a 4-4 duoprism, a Cartesian product of two squares, it can be named by a composite Schläfli symbol {4}×{4}, with symmetry order 64. As an orthotope it can be represented by composite Schläfli symbol { } × { } × { } × { } or { }⁴, with symmetry order 16.

Since each vertex of a tesseract is adjacent to four edges, the vertex figure of the tesseract is a regular tetrahedron. The dual polytope of the tesseract is the 16-cell with Schläfli symbol {3,3,4}, with which it can be combined to form the compound of tesseract and 16-cell.

Each edge of a regular tesseract is of the same length. This is of interest when using tesseracts as the basis for a network topology to link multiple processors in parallel computing: the distance between two nodes is at most 4 and there are many different paths to allow weight balancing.

Coordinates

The standard tesseract in Euclidean 4-space is given as the convex hull of the points (±1, ±1, ±1, ±1). That is, it consists of the points:

${\displaystyle \{(x_1,x_2,x_3,x_4)\in {\mathbb{R}}^4:-1\le x_i\le 1\}}$

In this Cartesian frame of reference, the tesseract has radius 2 and is bounded by eight hyperplanes (x_i = ±1). Each pair of non-parallel hyperplanes intersects to form 24 square faces in a tesseract. Three cubes and three squares intersect at each edge. There are four cubes, six squares, and four edges meeting at every vertex. All in all, it consists of 8 cubes, 24 squares, 32 edges, and 16 vertices.

Net

An unfolding of a polytope is called a net. There are 261 distinct nets of the tesseract. The unfoldings of the tesseract can be counted by mapping the nets to paired trees (a tree together with a perfect matching in its complement).

Construction

An animation of the shifting in dimensions

The construction of hypercubes can be imagined the following way:

• 1-dimensional: Two points A and B can be connected to become a line, giving a new line segment AB.
• 2-dimensional: Two parallel line segments AB and CD separated by a distance of AB can be connected to become a square, with the corners marked as ABCD.
• 3-dimensional: Two parallel squares ABCD and EFGH separated by a distance of AB can be connected to become a cube, with the corners marked as ABCDEFGH.
• 4-dimensional: Two parallel cubes ABCDEFGH and IJKLMNOP separated by a distance of AB can be connected to become a tesseract, with the corners marked as ABCDEFGHIJKLMNOP. However, this parallel positioning of two cubes such that their 8 corresponding pairs of vertices are each separated by a distance of AB can only be achieved in a space of 4 or more dimensions.

The 8 cells of the tesseract may be regarded (three different ways) as two interlocked rings of four cubes.

The tesseract can be decomposed into smaller 4-polytopes. It is the convex hull of the compound of two demitesseracts (16-cells). It can also be triangulated into 4-dimensional simplices (irregular 5-cells) that share their vertices with the tesseract. It is known that there are 92487256 such triangulations and that the fewest 4-dimensional simplices in any of them is 16.

The dissection of the tesseract into instances of its characteristic simplex (a particular orthoscheme with Coxeter diagram ) is the most basic direct construction of the tesseract possible. The characteristic 5-cell of the 4-cube is a fundamental region of the tesseract's defining symmetry group, the group which generates the B₄ polytopes. The tesseract's characteristic simplex directly generates the tesseract through the actions of the group, by reflecting itself in its own bounding facets (its mirror walls).

Radial equilateral symmetry

The long radius (center to vertex) of the tesseract is equal to its edge length; thus its diagonal through the center (vertex to opposite vertex) is 2 edge lengths. Only a few uniform polytopes have this property, including the four-dimensional tesseract and 24-cell, the three-dimensional cuboctahedron, and the two-dimensional hexagon. In particular, the tesseract is the only hypercube (other than a 0-dimensional point) that is radially equilateral. The longest vertex-to-vertex diameter of an n-dimensional hypercube of unit edge length is √n, so for the square it is √2, for the cube it is √3, and only for the tesseract it is √4, exactly 2 edge lengths.

In unit-radius coordinates the unit-edge-length tesseract's coordinates are:

(±1/2, ±1/2, ±1/2, ±1/2)

Properties

Proof without words that a hypercube graph is non-planar using Kuratowski's or Wagner's theorems and finding either K₅ (top) or K_3,3 (bottom) subgraphs

For a tesseract with side length s:

• Hypervolume (4D): ${\displaystyle H=s^4}$
• Surface "volume" (3D): ${\displaystyle SV=8s^3}$
• Face diagonal: ${\displaystyle d_2=\sqrt{2}s}$
• Cell diagonal: ${\displaystyle d_3=\sqrt{3}s}$
• 4-space diagonal: ${\displaystyle d_4=2s}$

As a configuration

This configuration matrix represents the tesseract. The rows and columns correspond to vertices, edges, faces, and cells. The diagonal numbers say how many of each element occur in the whole tesseract. The nondiagonal numbers say how many of the column's element occur in or at the row's element. For example, the 2 in the first column of the second row indicates that there are 2 vertices in (i.e., at the extremes of) each edge; the 4 in the second column of the first row indicates that 4 edges meet at each vertex.

${\displaystyle \left[\begin{array}{c}\begin{array}{cccc}16& 4& 6& 4\\ 2& 32& 3& 3\\ 4& 4& 24& 2\\ 8& 12& 6& 8\end{array}\end{array}\right]}$

Projections

It is possible to project tesseracts into three- and two-dimensional spaces, similarly to projecting a cube into two-dimensional space.

Parallel projection envelopes of the tesseract (each cell is drawn with different color faces, inverted cells are undrawn)

The rhombic dodecahedron forms the convex hull of the tesseract's vertex-first parallel-projection. The number of vertices in the layers of this projection is 1 4 6 4 1—the fourth row in Pascal's triangle.

The cell-first parallel projection of the tesseract into three-dimensional space has a cubical envelope. The nearest and farthest cells are projected onto the cube, and the remaining six cells are projected onto the six square faces of the cube.

The face-first parallel projection of the tesseract into three-dimensional space has a cuboidal envelope. Two pairs of cells project to the upper and lower halves of this envelope, and the four remaining cells project to the side faces.

The edge-first parallel projection of the tesseract into three-dimensional space has an envelope in the shape of a hexagonal prism. Six cells project onto rhombic prisms, which are laid out in the hexagonal prism in a way analogous to how the faces of the 3D cube project onto six rhombs in a hexagonal envelope under vertex-first projection. The two remaining cells project onto the prism bases.

The vertex-first parallel projection of the tesseract into three-dimensional space has a rhombic dodecahedral envelope. Two vertices of the tesseract are projected to the origin. There are exactly two ways of dissecting a rhombic dodecahedron into four congruent rhombohedra, giving a total of eight possible rhombohedra, each a projected cube of the tesseract. This projection is also the one with maximal volume. One set of projection vectors are u=(1,1,-1,-1), v=(-1,1,-1,1), w=(1,-1,-1,1).

Animation showing each individual cube within the B₄ Coxeter plane projection of the tesseract

Orthographic projections

Coxeter plane	B4	B4 --> A3	A3
Graph
Dihedral symmetry	[8]	[4]	[4]
Coxeter plane	Other	B3 / D4 / A2	B2 / D3
Graph
Dihedral symmetry	[2]	[6]	[4]

A 3D projection of a tesseract performing a simple rotation about a plane in 4-dimensional space. The plane bisects the figure from front-left to back-right and top to bottom.

A 3D projection of a tesseract performing a double rotation about two orthogonal planes in 4-dimensional space.

Duration: 5 seconds.0:05 3D Projection of three tesseracts with and without faces

Perspective with hidden volume elimination. The red corner is the nearest in 4D and has 4 cubical cells meeting around it.

The tetrahedron forms the convex hull of the tesseract's vertex-centered central projection. Four of 8 cubic cells are shown. The 16th vertex is projected to infinity and the four edges to it are not shown.

Stereographic projection (Edges are projected onto the 3-sphere)

Stereoscopic 3D projection of a tesseract (parallel view)

Stereoscopic 3D Disarmed Hypercube

Tessellation

The tesseract, like all hypercubes, tessellates Euclidean space. The self-dual tesseractic honeycomb consisting of 4 tesseracts around each face has Schläfli symbol {4,3,3,4}. Hence, the tesseract has a dihedral angle of 90°.

The tesseract's radial equilateral symmetry makes its tessellation the unique regular body-centered cubic lattice of equal-sized spheres, in any number of dimensions.

Related polytopes and honeycombs

The tesseract is 4th in a series of hypercube:

Petrie polygon orthographic projections

Line segment	Square	Cube	4-cube	5-cube	6-cube	7-cube	8-cube

The tesseract (8-cell) is the third in the sequence of 6 convex regular 4-polytopes (in order of size and complexity).

Regular convex 4-polytopes

As a uniform duoprism, the tesseract exists in a sequence of uniform duoprisms: {p}×{4}.

The regular tesseract, along with the 16-cell, exists in a set of 15 uniform 4-polytopes with the same symmetry. The tesseract {4,3,3} exists in a sequence of regular 4-polytopes and honeycombs, {p,3,3} with tetrahedral vertex figures, {3,3}. The tesseract is also in a sequence of regular 4-polytope and honeycombs, {4,3,p} with cubic cells.

Orthogonal	Perspective
4{4}2, with 16 vertices and 8 4-edges, with the 8 4-edges shown here as 4 red and 4 blue squares

The regular complex polytope ₄{4}₂, , in ${\displaystyle {\mathbb{C}}^2}$ has a real representation as a tesseract or 4-4 duoprism in 4-dimensional space. ₄{4}₂ has 16 vertices, and 8 4-edges. Its symmetry is ₄[4]₂, order 32. It also has a lower symmetry construction, , or ₄{}×₄{}, with symmetry ₄[2]₄, order 16. This is the symmetry if the red and blue 4-edges are considered distinct.

In popular culture

Since their discovery, four-dimensional hypercubes have been a popular theme in art, architecture, and science fiction. Notable examples include:

• "And He Built a Crooked House", Robert Heinlein's 1940 science fiction story featuring a building in the form of a four-dimensional hypercube. This and Martin Gardner's "The No-Sided Professor", published in 1946, are among the first in science fiction to introduce readers to the Moebius band, the Klein bottle, and the hypercube (tesseract).
• Crucifixion (Corpus Hypercubus), a 1954 oil painting by Salvador Dalí featuring a four-dimensional hypercube unfolded into a three-dimensional Latin cross.
• The Grande Arche, a monument and building near Paris, France, completed in 1989. According to the monument's engineer, Erik Reitzel, the Grande Arche was designed to resemble the projection of a hypercube.
• Fez, a video game where one plays a character who can see beyond the two dimensions other characters can see, and must use this ability to solve platforming puzzles. Features "Dot", a tesseract who helps the player navigate the world and tells how to use abilities, fitting the theme of seeing beyond human perception of known dimensional space.

The word tesseract was later adopted for numerous other uses in popular culture, including as a plot device in works of science fiction, often with little or no connection to the four-dimensional hypercube; see Tesseract (disambiguation).

Impossible object

From Wikipedia, the free encyclopedia

https://en.wikipedia.org/wiki/Impossible_object

An impossible cube

An impossible object (also known as an impossible figure or an undecidable figure) is a type of optical illusion that consists of a two-dimensional figure which is instantly and naturally understood as representing a projection of a three-dimensional object but cannot exist as a solid object. Impossible objects are of interest to psychologists, mathematicians and artists without falling entirely into any one discipline.

Notable examples

Notable impossible objects include:

• Borromean rings — although conventionally drawn as three linked circles in three-dimensional space, any realization must be non-circular
• Impossible cube — invented by M.C. Escher for Belvedere, a lithograph in which a boy seated at the foot of the building holds an impossible cube.
• Penrose stairs – created by Oscar Reutersvärd and later independently devised and popularised by Lionel Penrose and his mathematician son Roger Penrose. A variation on the Penrose triangle, it is a two-dimensional depiction of a staircase in which the stairs make four 90-degree turns as they ascend or descend yet form a continuous loop, so that a person could climb them forever and never get any higher.
• Penrose triangle (Tribar) – first created by the Swedish artist Oscar Reutersvärd in 1934. Roger Penrose independently devised and popularised it in the 1950s, describing it as "impossibility in its purest form".
• Impossible trident (or devil's tuning fork) – The Blivet, has three cylindrical prongs at one end which then mysteriously transform into two rectangular prongs at the other end.
• L'egsistential Quandary – Created by Roger Shepard in 1990, is a drawing of an elephant whose four feet are drawn at the bottom of the white space between legs, instead of on the legs themselves.

Examples of impossible objects

• 

  Borromean rings

• 

  Oscar Reutersvärd's optical illusion (1934)

• 

  Penrose stairs

• 

  Penrose triangle

• 

  Impossible trident

• 

  Impossible waterfall

• 

  A variant of L'egsistential Quandary

Explanations

Impossible objects can be unsettling because of our natural desire to interpret 2D drawings as three-dimensional objects. This is why a drawing of a Necker cube would most likely be seen as a cube, rather than "two squares connected with diagonal lines, a square surrounded by irregular planar figures, or any other planar figure". Looking at different parts of an impossible object makes one reassess the 3D nature of the object, which confuses the mind.

In most cases the impossibility becomes apparent after viewing the figure for a few seconds. However, the initial impression of a 3D object remains even after it has been contradicted. There are also more subtle examples of impossible objects where the impossibility does not become apparent spontaneously and it is necessary to consciously examine the geometry of the implied object to determine that it is impossible.

Roger Penrose wrote about describing and defining impossible objects mathematically using the algebraic topology concept of cohomology.

History

An early example of an impossible object comes from Apolinère Enameled, a 1916 advertisement painted by Marcel Duchamp. It depicts a girl painting a bed-frame with white enamelled paint, and deliberately includes conflicting perspective lines, to produce an impossible object. To emphasise the deliberate impossibility of the shape, a piece of the frame is missing.

A 3D-printed version of the Reutersvärd Triangle illusion, its appearance created by a forced perspective.

Swedish artist Oscar Reutersvärd was one of the first to deliberately design many impossible objects. He has been called "the father of impossible figures". In 1934, he drew the Penrose triangle, some years before the Penroses. In Reutersvärd's version, the sides of the triangle are broken up into cubes.

In 1956, British psychiatrist Lionel Penrose and his son, mathematician Roger Penrose, submitted a short article to the British Journal of Psychology titled "Impossible Objects: A Special Type of Visual Illusion". This was illustrated with the Penrose triangle and Penrose stairs. The article referred to Escher, whose work had sparked their interest in the subject, but not Reutersvärd, of whom they were unaware. The article was published in 1958.

From the 1930s onwards, Dutch artist M.C. Escher produced many drawings featuring paradoxes of perspective gradually working towards impossible objects. In 1957, he produced his first drawing containing a true impossible object: Cube with Magic Ribbons. He produced many further drawings featuring impossible objects, sometimes with the entire drawing being an impossible object. Waterfall and Belvedere are good examples of impossible constructions. His work did much to draw the attention of the public to impossible objects.

Some contemporary artists are also experimenting with impossible figures, for example, Jos de Mey, Shigeo Fukuda, Sandro del Prete, István Orosz (Utisz), Guido Moretti, Tamás F. Farkas, Mathieu Hamaekers, and Kokichi Sugihara.

Constructed impossible objects

Although possible to represent in two dimensions, it is not geometrically possible for such an object to exist in the physical world. However some models of impossible objects have been constructed, such that when they are viewed from a very specific point, the illusion is maintained. Rotating the object or changing the viewpoint breaks the illusion, and therefore many of these models rely on forced perspective or having parts of the model appearing to be further or closer than they actually are.

The notion of an "interactive impossible object" is an impossible object that can be viewed from any angle without breaking the illusion.

As the viewing angle changes of this sculpture in East Perth, Australia, a Penrose triangle appears to form.