Discrete Differential Geometry of Triangles and Escher-Style Trick

This paper shows the usefulness of discrete differential geometry in global analysis. Using the discrete differential geometry of triangles, we could consider the global structure of closed trajectories (of triangles) on a triangular mesh consisting of congruent isosceles triangles. As an example, we perform global analysis of an Escher-style trick art, i.e., a simpler version of “Ascending and Descending”. After defining the local structure on the trick art, we analyze its global structure and attribute its paradox to a singular point (i.e., a singular triangle) at the center. Then, the endless “Penrose stairs” is described as a closed trajectory around the isolated singular point. The approach fits well with graphical projection and gives a simple and intuitive example of the interaction between global and local structures. We could deal with higher dimensional objects as well by considering n-simplices (n > 2) instead of triangles.


Introduction
Discrete differential geometry studies discrete equivalents of the geometric notions and methods of differential geometry, such as notions of curvature and integrability for polyhedral surfaces.Progress in the field is to a large extent stimulated by its relevance for computer graphics and mathematical physics [1].For example, [2] proposes a set of tools to approximate normal vectors and curvatures on arbitrary triangle meshes which play significant roles in computer graphics [3].
On the other hand, [4] proposes the discrete differential geometry of n-simplices and considers flows (of n-simplices) on a specific n-dimensional mesh.In other words, it considers connection between space-filling n-simplices.For 3 n = , we obtain the discrete differential geometry of tetrahedrons which is used for protein structure analysis, where protein backbone structures are approximated by a trajectory of tetrahedrons.In this paper, we consider the case of 2 n = .That is, we consider a flow (of triangles) on a triangular mesh consisting of congruent isosceles triangles (Figure 1(a)).
Bringing in a differential structure on the mesh, we could consider the global structure of closed trajectories of triangles.As an example, we consider the paradox of an Escher-style trick art shown in Figure 1(b), a simpler version of "Ascending and Descending".Then, we would associate the paradox with "a trajectory around a singular point".
Ascending and Descending is a lithograph made by dutch artist M. C. Escher, who gets the idea from an article by L. S. Penrose and R. Penrose [5].In the article they presented an endless staircase called the "Penrose stairs" that continued to ascend and descend, but never got any higher [6].The Atiyah-Singer index theorem tells us it is an impossible object as indicated on the 2004 Abel Prize announcement [7].Escher drawings with the structure of the "Penrose stairs" are also mentioned in [8] as the first example of the global/local distinction.However, the Escher drawings are usually described as examples of optical illusion, and detailed mathematical analysis are rarely available.In the following, we give a detailed global analysis of the paradox of the lithograph, using a discrete mathematical approach.

Flow on a Triangular Mesh
Let's consider a flow of triangles on the mesh shown in Figure 1(a).In our case, a trajectory enters a triangle through a edge and leaves the triangle through another edge.Figure 2 shows an example of step-wise construction of a trajectory on the mesh.Note that there are two choices of moving direction at each triangle: left or right.To indicate the moving direction at each triangle, we use heavy edges as shown in Figure 2(d).That is, heavy edges are the edges of triangles which are not crossed over in the trajectory.
In Figure 2, triangles are assigned only one heavy edge and move smoothly over the trajectory.However triangles might be assigned more than one heavy edges as in the case of the flow shown in Figure 1(b), where the triangle at the center is assigned three heavy edges.See Figure 3 for all the types of triangles which could  A regular triangle is a triangle with one heavy edge.A terminal triangle is a triangle with two heavy edges.An isolated triangle is a triangle with three heavy edges.A branch triangle is a triangle with no heavy edge.A singular triangle is a triangle which is not regular.
Assigning heavy edges to all the triangles in the mesh, we obtain a flow of triangles.A flow without singular triangles is called a regular flow.

Differential Structure on the Triangular Mesh
Discrete differential structure is defined on the triangular mesh to obtain a discrete version of Riemannian manifold as follows.Firstly we consider a three-dimensional cube over the mesh as shown in Figure 4(a).Each of the three upper faces of the cube is divided into two isosceles triangles by a diagonal segment (heavy line).Then, the six triangles on the upper faces are projected onto six triangles in the mesh below.Triangles on the upper faces of a cube is called a slant triangle.Triangles in the mesh are called a flat triangle.See [4] for a detailed description of the tangent bundle-like structure on the mesh.
By piling up these cubes diagonally, we obtain a mountain and valley-like structure, which is called an affine cube covering of the mesh.Regular slant triangles on an affine cube covering are associated with flat triangles in the mesh in such a way that the heavy edges of the former are projected onto the heavy edges of the latter.In particular the gradient of the slant triangle over a flat triangle indicates the moving direction of a trajectory at the flat triangle (note that we could not associate a singular flat triangle with a slant triangle because the latter has only one heavy edge).respectively.As for the problem of extension of a "local" affine cube covering over the whole flow on the mesh, we have the following theorem.
Theorem 1 (Continuation Theorem) An affine cube covering is extendable over a closed trajectory of a regular flow.
See Appendix for the sketch of the proof.

Singular Triangle and Escher-Style Trick Art
Now let's look at the Escher-style trick art given in Figure 1(b) again.In the language explained above, it is an "impossible affine cube covering" of a flow of triangles which has an isolated triangle at the center.That is, it is the isometric projection of an object (which is obtained by piling up cubes diagonally) onto a plane, where surface color indicates its gradient.Because of the singular triangle, we need more than one cube coverings to cover the closed trajectory surrounded by the black polygonal lines.See Figure 5 for an example of a set of affine cube coverings required to cover the whole trajectory.

Conclusions
Using the discrete differential geometry of triangles (i.e., 2-simplices) proposed in [4], we have considered the structure of an Escher-style trick art.Our approach gives a discrete version of Riemannian manifold in such a way as to fit well with graphical projection, i.e., the projection of three-dimensional objects onto a planar surface.Moreover, we could deal with higher dimensional discrete objects as well by considering n-simplices ( 2 n > ).(Recall that researchers in the field of discrete differential geometry mainly study polygonal curves and polyhedral surfaces to establish the smooth theory as limit of the discrete theory) With this approach at our disposal, the interaction between global and local structures of n-dimensional discrete objects ( 1 n > ) could be described concisely in an intuitive fashion.As an example, we have shown that

Figure 1 .
Figure 1.(a): The triangular mesh, on which a differential structure will be defined.(b): An example of Escher-style trick art (a simpler version of the lithograph Ascending and Descending by M. C. Escher).

Figure 2 .
Figure 2.Step-wise construction of a trajectory on the mesh.

Figure 4 .
Figure 4. Local differential structure.(a): Projection of a three-dimensional cube over the mesh.(b): Six regular flat triangles (bottom) and their corresponding slant triangles (top), where faces of three-dimensional cubes (i.e., slant triangles) are colored differently based on their gradient for the 3D shading effect.See [4] for a detailed description of the structure.

Figure 5 .
Figure 5.An example of a set of affine cube coverings over a closed trajectory occurred in Figure 1(b).A local affine cube covering is extended clockwise along the trajectory starting at slant triangle T1 and ending at slant triangle T2.Both T1 and T2 are projected onto the same flat triangle in the mesh.The black polygonal lines indicate the range of the trajectory to be covered.We need more than one affine cube coverings to cover the whole trajectory.(a): Affine cube covering around T2 with peaks { } 1 , 2, 3 P P P ′ ′ .(b): Positional relationship between T1 and T2 in the "tangent space" at the corresponding flat triangle.See [4] for the definition of the tangent space structure.(c): Affine cube covering around T1 with peaks { } 1, 2, 3 P P P .Slant triangles are colored differently based on their gradient for the 3D shading effect.