Global Geometrical Constraints on the Shape of Proteins and Their Influence on Allosteric Regulation ()
1. Introduction
In this paper, we consider global geometrical constraints on the shape of proteins, using the mathematical toy model of proteins proposed in [1] . Proteins are the workhorse molecules of the cell, which are obtained as a complex of folded chains of amino acids. Since the function of proteins depends primarily on their shape, structural studies are essential for understanding proteins. In our approach, protein molecules are represented as a complex of closed trajectories of tetrahedrons. Then, the surface of proteins is obtained as the intersection of a pair of four-dimensional cones [2] . Interactions between proteins are defined (or mimicked) as “fusion and fission” of closed trajectories.
Previously, two types of geometrical constraints are known in the study of protein structures. One is a set of constraints on the backbone conformation due to collisions between atoms [3] . The backbone conformation is determined by torsion angle pairs
along the backbone, and their allowed values are shown in the Ramachandran map [4] . The other is a set of constraints on relative distances between certain pairs of atoms, which are obtained from either physical experiments or theoretical estimates. The determination of protein structures which satisfy a set of constraints on inter-atomic distances, known as the distance geometry problem, is an important problem in structural biology [5] .
In virology, another type of geometrical constraints, the symmetry of the virus structure, is also considered. Viruses are metastable macromolecular assemblies composed of the viral genome enclosed within the protein shells, called viral capsids [6] . Virus capsids are highly specific assemblies that are formed from a large number of often identical subunits. Formulated in [7] is a set of structural constraints on the subunit arrangements, using an extension of the underlying symmetry group. On the other hand, [8] finds that some viruses allow their representation as two-dimensional monohedral tilings of a bound surface, where each tile represents a subunit. Note that viral molecules consist of separeated parts. Protein molecules are obtained by folding a chain of linked parts and it is impossible to describe the shape of proteins by symmetry alone nor to describe their surface by tiling of basic subunits.
What we will consider below are global constraints on the shape of a complex of folded chains of basic blocks, such as triangles and tetrahedrons. One of the advantages of our model is the correspondence between “the shape of molecules” and “interaction between molecules”. Since a protein’s function is largely determined by its shape, constraints on the shape of a protein should have some influence on its interaction with other proteins. In our model, the geometrical constraints on the shape of a molecule correspond to the constraints on the interaction between three molecules, such as allosteric regulations. In the section before the conclusion, we will explain the correspondence between geometrical constraints on the shape and allosteric regulations using an example. An introduction to allosteric regulation is also given there.
Finally, Genocript (http://www.genocript.com) is the one-man bio-venture started by Naoto Morikawa in 2000 which is developing software tools for protein structure analysis.
2. Discrete Differential Geometry of Triangles
Now, let us consider the case of closed trajectories of triangles to explain the basic ideas behind our approach. For detailed description, see [1] and [2] .
In the following, the coordinates of points in the N-dimensional Eucledean space
(
or 4) are represented by a monomial in N indeterminates
for space saving purposes. For example, point
is represented by
, where
denotes the set of all integers.
,
,
, and
are denoted by 1,
,
, and
, respectively. Let
. Then, points
,
and
are represented by monomials
,
and
, respectively. Note that
for all pairs of i and j.
2.1. Flows of Triangles
Flows of triangles are defined using unit cubes in E3. As shown in Figure 1(a), unit cubes are piled-up in the direction of
in E3, where each of the three upper faces is divided into two triangles by the vertical diagonal (thick line). Then, a flow of triangles is obtained along the diagonals (Figure 1(b)). That is, the piled-up cubes form a mountain range-like structure and the vertical diagonals on its surface determine a flow of “slant” triangles on the slope.
As an example, let us consider the unit cube with the eight corner points 0,
,
,
,
,
,
, and
(Figure 1(c)). Let
,
,
, and
. Then, the upper face
is divided into two “slant” triangles
and
. The triangle flow goes down (or up) along the edge
at
and
.
In the following, we give the mathematical definition of the mountain range-like structure and the associated flow of triangles.
Definition 1 (Standard Lattice) The three-dimensional standard lattice L3 is the three-dimensional lattice generated by three vectors
,
, and
. Using the monomial representation, L3 is defined by
Let
,
, and
. We denote the convex hull of
,
, and
by
, i.e.,
where
is the set of all real numbers. The group of all permutations of the three-element set
is denoted by Sym3. For example,
,
, and
for
, where
is written in cyclic notation.
Definition 2 (Slant Triangles) Let
and
. A slant triangle
is the triangle defined by three points a,
, and
, i.e.,
Figure 1. Flow of triangles: (a) A mountain range-like structure obtained by piling up unit cubes in the direction of
, whose peaks are
,
,
,
, and
. The diagonal edges of “slant” triangles are drawn with thick lines. Shown above is the top view of the structure; (b) The flow of triangles determined by the mountain range-like structure of (a); (c) A unit cube and its top view (above), where
,
,
, and
.
The line segment joining vertex a and vertex
is called the diagonal edge of the slant triangle. The set
of all slant triangles is defined by:
Example 1 In the case of Figure 1(c),
Their diagonal edges are the line segment
.
By abuse of notation, we denote the vectors
,
, and
by the monomial
,
, and
respectively in the following definition.
Definition 3 (Gradient of Slant Triangles) Let
, the gradient Ds of s is defined by
Example 2 In the case of Example 1, the slope of
is given by
Flows of slant triangles along the diagonal edges are defined as follows.
Definition 4 (Local Trajectories of Slant Triangles) Let
. The local trajectory of slant triangles at s is a set of three consecutive slant triangles, consisting of s and two adjacent slant triangles which do not include the diagonal edge of s. By patching “consistent” local trajectories together, we will obtain a flow of slant triangles as shown in Figure 1(a).
Let
. The local trajectory of slant triangles at s is either
where
(Figure 2(a)).
A flow of “flat” triangles is defined on the hyperplane
using the projection
of E3 onto
, where
Definition 5 (Flat Triangles) Let
. The projection
of s on
is defined by
is called a flat triangle. The line segment joining
and
is called the diagonal edge of the flat triangle (Figure 1(c)). The set
of all flat triangles on
is defined by:
Remark
is a projection of triangles and
is a projection of points.
By projecting slant triangles onto
, we obtain a two-dimensional flow of flat triangles on
.
Definition 6 (Local Trajectories of Flat Triangles) Let
. The local trajectory of flat triangles at t is a projection image of a local trajectory of slant triangles at
by
, where
. That is, there exists some
such that
and the local trajectory at s is given by either
where the definition of
,
,
, and
are given above (immediately after Definition 4). Note that
and
(Figure 2(a)). By patching “consistent” local trajectories together, we will obtain a flow of flat triangles as shown in Figure 1(a).
2.2. Vector Fields of Triangles
As shown in Figure 1(a), a mountain range-like structure induces a flow of triangles on
. We can define a “tangent space” structure on the space
of flat triangles, where each flat triangle assume one of the three gradient vectors
,
, and
.
Figure 2. Slant triangles: (a) The four local trajectories of slant triangles at
. Shown above is the top view of the trajectory; (b) Positional relationship of the slant triangles of
and the 2-face
of the cotangent cone
, where slant triangles shown are A:
, B:
, C:
, D:
, E:
, F:
, and G:
. Shown above is a schematic diagram of the relationship between the three vertices of a slant triangle and a 2-face of
. In the diagram, the diagonal edges of slant triangles are drawn with thick line, where the diagonal edges on the 2-face are colored black and the others are colored grey. Note that all slant triangles are projected onto the same flat triangle
by
. Triangles A, B, and C are included in
. Triangle D intersects the 2-face of the cotangent cone. Triangles E, F,and G are located outside the cotangent cone.
Definition 7 (Tangent Space) The tangent space
on
is defined by
Let
. The tangent space at t is denoted by
. Note that there exists a one-to-one correspondence
An inverse function of the projection
, i.e., a vector field of
on
, is induced by a mountain range-like structure consisting of piled-up unit cubes.
Definition 8 (Tangent Cones) Let
, the three-dimensional tangent cone
is defined by
Roughly speaking,
is the triangular cone whose top vertices are given by
. The set of all the top vertices of a tangent cone c is denoted by
. In general,
.
Definition 9 (
) Let c be a three-dimensional tangent cone. The peaks on the boundary of c is defined by
where
denotes the set of all natural numbers.
Example 3 Let c be the tangent cone corresponds to the mountain range-like structure of Figure 1(a). Then,
Definition 10 (
) Let c be a three-dimensional tangent cone. The surface lattice points
of c is the set of all the L3 lattice points on the surface of c, i.e.,
Example 4 The surface lattice points of the three-dimensional tangent cone
are given by
where
That is,
is the union of the three 2-faces of
.
Definition 11 (
) Let c be a three-dimensional tangent cone. Then,
is the set of all the slant triangles on the surface of c, i.e.
Definition 12 (Vector Fields) Let c be a three-dimensional tangent cone. The vector field
induced by c on
is defined by
where
such that
(Note that s is uniquely determined for each
). The flow of triangles determined by
is called the flow of triangles induced by c.
Example 5 In the case of Figure 1(c),
where
(Recall that
).
2.3. Contour of Closed Trajectories of Triangles
The ridge lines of tangent cones are given by three vectors
,
, and
. To compute the contour of the region of
swept by a set of closed trajectories of flat triangles, we will consider another type of triangular cones whose ridge lines are given by the slopes of slant triangles, i.e.,
,
, and
.
Definition 13 (Conjugate Lattice) The conjugate lattice
is the three-dimensional lattice generated by three vectors
,
, and
. Using the monomial representation,
is given by
Definition 14 (Cotangent Cones) Let
. The three-dimensional cotangent cone
is defined by
We denote the top vertices of a cotangent cone c by
. Note that we define cotangent cones only for
.
For a given cotangent cone, we can put a “roof” on the cone.
Definition 15 (Cotangent Roofs) Let
. The three-dimensional cotangent roof
is defined by
Roughly speaking,
is obtained by putting as many unit cubes of
as possible on
.
Example 6 In the case of Figure 3(a),
Definition 16
. Let w be a three-dimensional cotangent cone. The surface lattice points
of w is the set of all the
lattice points on the surface of w, i.e.,
where
(For example,
and
).
Example 7 The surface lattice points of the three-dimensional cotangent cone
are given by
where
Figure 3. The closed trajectory of Figure 1 (a) and the associated contour pair: (a) Tangent cone
and the associated cotangent roof
; (b) Inverted cotangent roof
; (c) The region
for the contour pair
associated with
. In the figure,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
, and
.
Let c be a tangent cone and w be a cotangent cone. Then, we can divide all the slant triangles of the flow induced by c into three groups: 1) inside w, 2) outside w, and 3) on the surface of w (Figure 2(b)). In particular, we can compute the contour of closed trajectories induced by a tangent cone using a cotangent cone as shown below.
Definition 17
. Let
be a three-dimensional tangent cone. Suppose that
. The three-dimensional cotangent roof
associated with
is defined by
Definition 18
. Let
be a three-dimensional tangent cone. Suppose that
. The contour vertices
with respect to
is defined by
That is,
is the set of
lattice points on the intersection of the surface of
and the surface of
.
Definition 19
. Let
be a three-dimensional tangent cone. Suppose that
. Let
be the polygonal line obtained by joining the adjacent
lattice points of
. Since all the points of
are on the surface of
, the points of
are connected along the surface of the associated cotangent roof. Note that
forms a closed polygonal line if
is finite (Figure 3(a)).
Definition 20
. Let
be a three-dimensional tangent cone. The one-dimensional surface mesh
with respect to
is defined by
We also call
the (one-dimensional) contour with respect to
.
Definition 21 Let
be a three-dimensional tangent cone. Set
Theorem 1 Let c be a three-dimensional tangent cone. Suppose that
is finite and
. Then,
divides all the slant triangles of
(i.e., slant triangles on the surface of c) into two groups: inside the roof and outside the roof. That is,
and
exactly corresponds to the region swept by all the closed trajectories of
.
Proof.
forms a closed polygonal line because
contains only a finite number of points. Note that
consists of the diagonal edges of slant triangles on the surface of c. Since flows of slant triangles go along the diagonal edge at each slant triangle, there is no slant triangle crossing
. That is,
divides the flow of the slant triangles on the surface of c into two parts: the inside
and the outside
. □
Definition 22
. Let c be a three-dimensional tangent cone. Let
be the vector field induced by c. We define the region
of
by
By Theorem 1,
corresponds to the region of
swept by all the closed trajectories of
if
is finite and
.
We can compute the contour of
instantly.
Corollary 1 (“Contour” of
). Let c a three-dimensional tangent cone. Suppose that
is finite and
. Then,
gives the “contour” of
.
Proof. It follows immediately from the theorem. □
Example 8 In the case of Figure 3(a), the closed polygonal line
consists of 12 vertices and 12 line segments, where
and
,
,
, and
.
2.4..Constraints on the Contour of Closed Trajectories
Let c be a three-dimensional tangent cone. We have computed the contour of
using c and the associated cotangent roof
(the upper row of Figure 4). Now, we will compute regions of
without using tangent cones (the lower row of Figure 4).
Definition 23 (Inverted Cotangent Cones) Let
. The three-dimensional inverted cotangent cone
is defined by
We denote the top vertices of an inverted cotangent cone
by
.
Definition 24 (Inverted Cotangent Roofs) Let
. The three-dimensional inverted cotangent roof
is defined by
Example 9 In the case of Figure 3(b),
Definition 25
. Let iv be a three-dimensional inverted cotangent cone. The surface lattice points
of iv is the set of all the
lattice points on the surface of iv, i.e.,
Recall that
. For example,
and
.
Figure 4. Schematic diagram showing the procedure for computing the contour of a region of
. The upper row shows the procedure for a region
specified by a tangent cone c. The lower row shows the procedure for a region
specified by a contour pair
.
Definition 26 (Contour Pairs) Let w be a three-dimensional cotangent cone. Let iv be a three-dimensional inverted cotangent cone. A pair
of w and iv is called a three-dimensional contour pair.
Definition 27
. Let
be a three-dimensional contour pair. The contour vertices
with respect to
is defined by
That is,
is the set of
lattice points on the intersection of the surface of w and the surface of iv.
Definition 28
. Let
be a three-dimensional contour pair. Let
be the polygonal line obtained by joining the adjacent
lattice points of
(Figure 3(c)). Since all the points of
are on the surface of w (or iv), the points of
are connected along the surface of w (or iv). Note that
forms a closed polygonal line if
or
is finite (Figure 3(c)).
Definition 29
. Let
be a three-dimensional contour pair. The one-dimensional surface mesh
with respect to
is defined by
We also call
the (one-dimensional) contour with respect to
.
Remark Note that we have two types of one-dimensional surface meshes, i.e., the contour
with respect to a tangent cone c and the contour
with respect to a contour pair
.
Definition 30
. Let
be a three-dimensional contour pair.
is the region enclosed by
(Figure 3(c)).
Definition 31
. Let
be a three-dimensional tangent cone. Suppose that
is finite and
. The three-dimensional contour pair
associated with
is a pair of the associated cotangent roof
and the inverted cotangent roof
which is defined by
Theorem 2 Let c be a three-dimensional tangent cone. Suppose that
is finite and
. Then,
Proof. Recall that
Note that
, which implies
because the slope inclination of cotangent cones is steeper than that of tangent cones. On the other hand,
by definition. Therefore,
. Suppose that
. Let p be an
lattice point of
not included in
. Then,
and
. That is, p resides on the part of the surface of
which is expanded by the “roof” operation. But the expanded part of
is strictly contained in
, i.e.,
, which is a contradiction. Therefore,
. In particular,
. □
Example 10 In the case of Figure 3,
In Theorem 2, we have computed the “contour” of
for a give tangent cone c (Figure 5(a)). Now, we will compute the “contour” of
for a given contour pair
(Figure 5(b)).
Definition 32 Let
be a three-dimensional contour pair. The tangent cone
associated with
is defined by
Note that
.
Theorem 3 Let
be a three-dimensional contour pair. Then,
Proof. Suppose that
such that
and
. Then, there exists an
lattice point p of
(i.e., points on the contour) such that
(
is on the contour of
.) It follows that p is outside iv because
. However, the part of the surface of w not included in iv is strictly contained in c. Therefore,
, which is a contradiction. □
Remark In general,
does not imply
because the slope inclination of tangent cones is gentler than that of cotangent cones. Therefore, there exists a contour pair
s.t.
In particular,
, i.e.,
.
Starting with some definitions, we will consider the correspondence between the two types of regions of
, i.e.,
s and
s.
Definition 33 Sets of there-dimensional cones are defined by
Figure 5. Maps between
and
and the relevant maps between sets of
-dimensional cones (
or 3): (a)
and the relevant maps; (b)
and the relevant maps. The SECT denotes the set of all self-eclipsed closed trajectory complexes.
Note that
for
.
Definition 34 (
and
) Sets of regions of
are defined by
Definition 35 (
and
) Maps between regions of
are defined by
It is not difficult to show that the maps are well-defined. By Theorem 2, we have
See Figure 5 for the correlation between the relevant maps.
Theorem 4
is not surjective.
Proof. Let us consider the case of Figure 6(a). We have
where
,
,
,
,
,
,
,
,
,
,
, and
. Then,
forms a flattened hexagon as shown in the figure.
Figure 6. Self-eclipsed close trajectories: (a) Contour pair
and
; (b) The tangent cone
and the self-eclipsed region
; (c) The contour pair
associated with
.
On the other hand, the tangent cone
and its associated cotangent roof is given by
(Figure 6(b)). Then, the region
gets dented on the bottom, where
,
, and
. That is,
It follows immediately that
.
Corollary 2 (Self-eclipse of Rc(w, iv)) There exists a contour pair
such that
.
That is, not all closed polygonal lines defined by contour pairs correspond to a closed trajectory of triangles induced by a tangent cone. In other words, there exist global geometrical constraints on the contour of closed trajectories of triangles.
Definition 36 (Self-eclipsed closed trajectory complexes) A contour pair
is called a self-eclipsed contour pair if
. The complex of closed trajectories of triangles induced by a three-dimensional tangent cone c is called a self-eclipsed closed trajectory complex (abbreviated as SECT) if there exists a self-eclipsed contour pair
such that
.
Example 11 In the case of Figure 6(b),
where
and
(Figure 6(c)). That is, the closed trajectory of Figure 6(b) is a self-eclipsed closed trajectory complex.
In the next section, we will consider geometrical constraints on the shape of closed trajectories of tetrahedrons. As an example, it will be shown that a garlic bulb-like structure appears as a result of the constraints, where a flattened dodecahedron gets dented on the bottom and has vertical linear grooves on the side (Figure 11).
3. Mathematical Toy Model of Protein Molecules
3.1. Flows of Tetrahedrons
Now let us consider the case of tetrahedrons. To define a flow of tetrahedrons, we use unit cubes in the four-dimensional Euclidean space E4. By piling up unit cubes in the direction of
, we will obtain a flow of “slant” tetrahedrons as in the case of flows of triangles.
Definition 37 (Standard Lattice) The four-dimensional standard lattice L4 is defined by
Let
,
,
, and
. We denote the convex hull of four points
,
,
, and
by
, i.e.,
We denote the group of all permutations of the four-element set
by
.
Definition 38 (Slant Tetrahedrons) Let
and
. A slant tetrahedron
is the tetrahedron defined by four points a,
,
, and
, i.e.,
The line segment joining vertex a and vertex
, i.e., the cube-diagonal, is called the diagonal edge of the slant tetrahedron. Then, the four upper faces of each unit cube are divided into six tetrahedrons along the diagonal edge as shown in Example 12. The set
of all slant tetrahedrons is defined by:
Example 12 Shown in Figure 7(a) is a four-dimensional unit cube at the origin
. The upper face
of the cube is divided into six tetrahedrons along the cube-diagonal
:
Figure 7. Slant tetrahedrons: (a) A four-dimensional unit cube shown in the Schlegel diagram (below) and its projection image on hyperplane
(above), where
and
; (b) All the local trajectories at
. The diagonal edges of tetrahedrons are drawn with thick lines.
Definition 39 (Gradient of Slant Tetrahedrons) Let
. The gradient Ds of s is defined by
By abuse of notation, we denote vector
by monomial
in the definition.
Example 13 In the case of Example 12,
Flows of slant tetrahedrons along the diagonal edges are defined as follows.
Definition 40 (Local Trajectories of Slant Tetrahedrons) Let
. A local trajectory of slant tetrahedrons at s is a set of three consecutive slant tetrahedrons, consisting of s and two adjacent slant tetrahedrons which do not include the diagonal edge of s. By patching “consistent” local trajectories together, we obtain a flow of slant tetrahedrons.
Let
. Then, the local trajectory of slant tetrahedrons at s is either
where
Example 14 In the case of Example 13, the four local trajectories at
(
) are shown in Figure 7(b).
A flow of “flat” tetrahedrons is defined on the hyperplane
using the projection
of
onto
, where
Definition 41 (Flat Tetrahedrons) Let
. The projection
of s on
is defined by
is called a flat tetrahedron. The line segment joining
and
is called the diagonal edge of the flat tetrahedron. The set
of all flat tetrahedrons on
is defined by:
Example 15 In the case of Example 12 (Figure 7(a)), the projection image
of the upper face
by
is divided into six flat tetrahedrons:
Remark. Note that each tetrahedron has two long edges and four short edges, where the diagonal edge correspond to a short edge. Flows of tetrahedrons go along the diagonal edge at each tetrahedron.
By projecting slant tetrahedrons onto
, we obtain a three-dimensional flow of flat tetrahedrons on
.
Definition 42 (Local Trajectories of Flat Tetrahedrons) The local trajectory of flat tetrahedrons at
is a projection image of a local trajectory of slant tetrahedrons at
by
, where
. The local trajectory at s is given by either
Note that
and
. By patching “consistent” local trajectories together, we obtain a flow of flat tetrahedrons as shown in Figure 8.
Figure 8. Flows of tetrahedrons: (a) Closed trajectories of flat tetrahedrons induced by
, where
,
, and
. Thick polygonal lines (black and grey) indicate the diagonal edges of flat tetrahedrons, where the black line indicate the polygonal line passing through
,
, and
. Note that there exist infinitely many closed trajectories of length six and length twelve; (b) Closed trajectories of flat tetrahedrons induced by
, where
. Thick polygonal lines (black and grey) indicate the diagonal edges of flat tetrahedrons. Black lines indicate the polygonal lines passing through
,
,
, or
. Grey polygonal lines correspond to closed trajectories of length six and length twelve.
3.2. Vector Fields of Tetrahedrons
The tangent space on the space
of flat tetrahedrons is defined in the same way as the tangent space
on
.
Definition 43 (Tangent Space) The tangent space
on
is defined by
Let
. The tangent space at t is denoted by
. Note that there exists a one-to-one correspondence
Tangent cones are also defined similarly for
.
Definition 44 (Tangent Cones) Let
. The four-dimensional tangent cone
is defined by
The set of all the top vertices of a cone c is denoted by
.
Definition 45
. Let c be a four-dimensional tangent cone. The peaks on the boundary of c is defined by
Example 16 In the case of Figure 8,
Definition 46
. Let c be a four-dimensional tangent cone. The surface lattice points
of c is the set of all the L4 lattice points included in the 3-faces of c, i.e.,
Example 17 The surface lattice points of the four-dimensional tangent cone
are given by
where
That is,
is the union of the four 3-faces of
.
Definition 47 (dSc) Let c be a four-dimensional tangent cone. Then,
is the set of all the slant tetrahedrons included in the 3-faces of c, i.e.
Definition 48 (Vector Fields) Let c be a four-dimensional tangent cone. The vector field
induced by c on
is defined by
where
(Note that s is uniquely determined for each
). The flow of tetrahedrons determined by
is called the flow of tetrahedrons induced by c.
Example 18 In the case of Figure 7(a),
where
,
, and
.
Unlike the case of flows of triangles, infinitely many closed trajectories are induced by a tangent cone.
Example 19 Shown in Figure 8(a) is the closed trajectories of the flow induced by
. Two types of closed trajectories, one is length 6 and the other is length 12, are alternately stacked infinitely.
Example 20 By putting another top vertex
on the tangent cone of Figure 8(a), we obtain a decomposition of a rhombic dodecahedron into four closed trajectories of tetrahedrons (Figure 8(b)). Then, each triplet of the four top vertices of
induces infinitely many closed trajectories outside the rhombic dodecahedron (grey polygonal lines).
3.3. Shape of Closed Trajectories of Tetrahedrons
To compute the surface (2-faces) of the region of
swept by a set of closed trajectories of flat tetrahedrons, we will consider another type of cones whose ridge lines are given by the “slopes” of slant tetrahedrons, i.e.,
,
,
, and
.
Definition 49 (Conjugate Lattice) The four-dimensional conjugate lattice
is defined by
Definition 50 (Cotangent Cones) Let
. The four-dimensional cotangent cone
is defined by
We denote the top vertices of a cotangent cone c by
.
Definition 51 (Cotangent Roofs) Let
. The four-dimensional cotangent roof
is defined by
Example 21 In the case of Figure 8,
Definition 52
. Let w be a four-dimensional cotangent cone. The surface lattice points
of w is the set of all the
lattice points included in the 3-faces of w, i.e.,
where
(For example,
and
).
Example 22 The surface lattice points of the four-dimensional cotangent cone
are given by
where
As in the case of slant triangles, all the slant tetrahedrons of the flow induced by a tangent cone are divided into three groups by a cotangent cone: 1) inside the cotangent cone, 2) outside the cotangent cone, and3) on the surface (3-faces) of the cotangent cone (Figure 9). Unlike the case of triangles, multiple types of slant tetrahedrons are on the surface (3-faces) of the cotangent cone (tetrahedrons B, C, D, E, F in Figure 9). Among them, only two types of tetrahedrons (B and F) flow through the surface (2-faces).
Definition 53
. Let
be a four-dimensional tangent cone. Suppose that
. The four-dimensional cotangent roof
associated with
is defined by
Definition 54
. Let
be a four-dimensional tangent cone. Suppose that
. The surface vertices
with respect to
is defined by
That is,
is the set of
lattice points on the intersection of the 3-faces of
and the 3-faces of
.
Definition 55
. Let
be a four-dimensional tangent cone. Suppose that
. Let
be the set of the polygonal lines obtained by joining the adjacent
lattice points of surface vertices
. Since all the points of
are included in the 3-faces of
, the points of
are connected along the 3-faces of the associated cotangent roof.
Definition 56
. Let
be a four-dimensional tangent cone. The two-dimensional surface mesh
with respect to
is defined by
We also call
(two-dimensional) surface vein with respect to
.
Definition 57 Let
be a four-dimensional tangent cone. Set
Definition 58
. Let
be a four-dimensional tangent cone. We define the region
of
by
Figure 9. Positional relationship of slant triangles of
and the 3-face
of the cotangent cone
. Slant triangles shown are A:
, B:
, C:
, D:
, E:
, F:
, and G:
. Shown above is a schematic diagram of the relationship between the four vertices of a slant tetrahedron and the 3-face of
. In the figure, the diagonal edges of slant tetrahedrons are drawn with thick line, where the diagonal edges included in the 3-face are colored black and the others are colored grey. Tetrahedron A is included in
. Tetrahedrons B, C, D, E, and F intersect the 3-face of
. Tetrahedron G is located outside
. Note that the diagonal edges of tetrahedrons B and F cross the 3-face of
.
In the case of flows of triangles,
corresponds to all the closed trajectories of
if
is finite and
(Theorem 1). In the case of flows of tetrahedrons, we have the following result.
Theorem 5 There exist a four-dimensional tangent cone c such that
does not contain all the closed trajectories of
.
Proof. For example, set
(Figure 8(a)). Then,
induces infinitely many closed trajectories of tetrahedrons. However, we can not construct a cotangent cone which covers all the closed trajectories because
(Note that more than three vertices are required to construct a “roof” on a tangent cone.) In particular,
does not contain all the closed trajectories of
. □
As in the case of flows of triangles, we can compute
as the intersection of
and c if
.
Example 23 In the case of Figure 8(b) (or Figure10(a)),
where
. Then,
Figure 10. Rhombic dodecahedrons: (a) Four closed trajectories of the flow induced by
(See also Figure 8 (b)); (b) The closed trajectory of length 24 induced by
; (c) The closed trajectory of length 24 induced by
. Thick polygonal lines (black and grey) indicate the diagonal edges of flat tetrahedrons, where the black lines indicate the polygonal lines included in
(
).
is the rhombic dodecahedron surrounded by the black thick lines, which consists of four closed trajectories of length six, i.e., consists of 24 tetrahedrons.
All the 24 tetrahedrons of
are type D of Figure 9:
1)
is inside
,
2)
and
are outside
,
3) all the diagonal edges of the tetrahedrons
,
where
. Other closed trajectories of the vector field are outside
.
In the case of flows of tetrahedrons, we should also consider the case of
.
Example 24 Putting more unit cubes on the tangent cone
of Figure10(a), we obtain rhombic dodecaherons consisting of a closed trajectory of length 24 (Figure 10(b) and Figure 10(c)). However, we can not compute the shape of the rhombic dodecaherons using cotangent roofs. Cotangent roofs are not defined because
Remark In the three-dimensional case,
implies the existence of loopholes on the contour, i.e., the existence of the triangles of type D (Figure 2(b)). On the other hand, in the four-dimensional case,
implies not only the existence of loopholes but also dents and bulges on the surface. That is, the tetrahedrons of type B and F correspond to loopholes, the tetrahedrons of type C to dents, and the tetrahedrons of type E to bulges (Figure 9).
To define a four-dimensional cotangent roof
for any
, we consider a set of the “closest
lattice points to a” for each
.
Definition 59 (STAND) Let
. The stand of a is defined by
where
. Note that
.
Let
. The stand of A is defined by
Definition 60 (Extended Cotangent Roofs) Let
such that
. The four-dimensional extended cotangent roof
is defined by
Definition 61 (Extended
) Let
be a four-dimensional tangent cone. The four-dimensional (extended) cotangent roof
associated with
is defined by
Note that
if
.
Definition 62 (Extended
) Let
be a four-dimensional tangent cone. The (extended) surface vertices
with respect to
is defined by
Example 25 In the case of Figure 10(b),
Then,
is the rhombic dodecahedron surrounded by the black and grey thick lines, which consists of a closed trajectories of length 24.
Note that
,
, and
are outside
. The rhombic dodecahedron consists of not only type D but also type E tetrahedrons of Figure 9. In the figure, the tetrahedron with the grey diagonal edge are type E. The tetrahedrons with the black diagonal edge are type D.
Example 26 In the case of Figure 10(c),
Then,
is the rhombic dodecahedron surrounded by the black and grey thick lines, which consists of a closed trajectories of length 24. In the figure, the tetrahedrons with the grey diagonal edge are type E. The tetrahedrons with the black diagonal edge are type D.
3.4. Constraints on the Shape of Protein Molecules
In this paper, we consider the shape of complexes of closed trajectories of tetrahedrons as a simplified geometrical model of protein molecules. As in the case of flows of triangles, we will specify the shape of regions of
using a pair of cotangent cones.
Definition 63 (Inverted Cotangent Cones) Let
. The four-dimensional inverted cotangent cone
is defined by
We denote the top vertices of an inverted cotangent cone iv by
.
Definition 64 (Inverted Cotangent Roofs) Let
. The four-dimensional inverted cotangent roof
is defined by
Let
. The four-dimensional extended inverted cotangent roof
is defined by
Example 27 In the case of Figure 10(a),
Definition 65
. Let iv be a four-dimensional inverted cotangent cone. The surface lattice points
of iv is the set of all the
lattice points included in the 3-faces of iv, i.e.,
Recall that
. For example,
and
.
Definition 66 (Surface Pairs) Let w be a three-dimensional cotangent cone. Let iv be a three-dimensional inverted cotangent cone. A pair
of w and iv is called a four-dimensional surface pair.
Definition 67
. Let
be a four-dimensional surface pair. The surface vertices
with respect to
is defined by
That is,
is the set of
lattice points on the intersection of the 3-faces of w and the 3-faces of iv.
Definition 68
. Let
be a four-dimensional surface pair. Let
be the set of the polygonal lines obtained by joining the adjacent
lattice points of
. That is,
is the set of all the diagonal edges (of slat tetrahedrons) whose end points are included in
. Since all the points of
are on the 3-faces of w (or iv), the points of
are connected along the 3-face of w (or iv).
Definition 69
. Let
be a four-dimensional surface pair. The two-dimensional surface mesh
with respect to
is defined by
We also call
(two-dimensional) surface vein with respect to
.
Definition 70
. Let
be a four-dimensional tangent cone. The four-dimensional surface pair
associated with
is a pair of the (extended) cotangent roof
associated with
and the (extended) inverted cotangent roof
associated with
which is defined by
Definition 71
. Let
be a four-dimensional surface pair. The region
of
is the region covered by the union of all the closed trajectories of flat tetrahedrons surrounded by
.
Example 28 In the case of Figure 10(a),
Then, the surface vein
corresponds to the set of the diagonal edges colored black.
is the rhombic dodecahedron consisting of four closed trajectories of length four.
Example 29 In the case of Figure 10(b),
Then, the surface vein
corresponds to the set of the diagonal edges colored black. Unlike the case of flows of triangles, some diagonal edges (colored grey) are not included in
.
is the rhombic dodecahedron consisting of a closed trajectories of length 24. In particular,
Example 30 In the case of Figure 10(c),
Then, the surface vein
corresponds to the set of the diagonal edges colored black. The diagonal edges colored grey are not included in
.
is also the rhombic dodecahedron consisting of another closed trajectories of length 24. In particular,
Example 31 In the case of Figure 8(a),
Then, the surface vein
is empty.
In the above examples, a tangent cone c is given first. Then, we compute the surface vein
for
(Figure 5(a)). Now, let us consider the case where a surface pair
is given first (Figure 5(b)).
Definition 72 Let
be a four-dimensional surface pair. The tangent cone
associated with
is defined by
Starting with some definitions, we will consider the vector field induced by the tangent cone
associated with the given surface pair
.
Definition 73 Sets of four-dimensional cones are defined by
Definition 74 (
and
) Sets of regions on
are defined by
Definition 75 (
and
) Maps between regions on
are defined by
Theorem 6
is not surjective.
Proof. Let us consider the case of Figure 11(a), where
On the other hand, shown in Figure 11(b) are the closed trajectories of
, where
Note that
dose not appear because
is buried beneath the surface of
due to the difference of slope inclination between tangent cones and cotangent cones. The flattened dodecahedron of (a) gets dented on the bottom and has vertical linear grooves on the side. That is, we obtain a garlic bulb-like structure as a result of the constraints.
Therefore,
It follows immediately that
. □
Corollary 3 (Self-eclipse of
) There exists a four-dimensional surface pair
such that
.
That is, there exist global geometrical constraints on the shape of complexes of closed trajectories of tetrahedrons.
Definition 76 (Self-eclipsed protein molecules (Toy model)) A surface pair
is called a self-eclipsed surface pair if
. The complex of closed trajectories induced by a tangent cone c is called a self-eclipsed protein molecule if there exists a self-eclipsed surface pair
such that
.
Example 32 In the case of the garlic bulb-like structure obtained in the proof of Theorem 6 (Figure 11(a) and Figure 11(b)),
Example 33 Shown in Figure 11(c) is a complex of closed trajectories of
, where
Figure 11. Self-eclipsed protein molecules: (a) The surface vein
with respect to
.
is indicated by the black thick polygonal lines, where
; (b) Closed trajectories of
. Shown above is the top view. Shown below is the bottom view.
is indicated by the black thick polygonal lines. The grey thick polygonal lines are the diagonal edges of type E tetrahedrons of Figure 9; (c) Closed trajectories of
, where
.
is indicated by the black thick polygonal lines. Note that all the tetrahedrons are type D. In the figure,
(
), where
,
,
,
,
,
,
,
,
,
,
,
,
,
,
, and
(
is the diametrically opposite point to
).
consists of 13 closed trajectories of length six, which sweep the same region as
considered in the proof of Theorem 6.
On the other hand,
where
,
, and
.
Then,
and
That is, The complex of closed trajectories included in
is not a self-eclipsed protein molecule.
4. Systems of Simultaneous Equations for Shape
Protein molecules interact each other and form an intermediate complex to perform their function. In high-throughput proteomics, proteins are characterized using a interaction network between proteins and intermediate protein complexes. Since the function of a protein is primarily determined by the three-dimensional shape, it is the shape of proteins that is characterized by the interaction network.
In this section, we will consider “interaction” between closed trajectories of triangles as a simplified geometrical description of protein interactions. Despite its simplicity, the closed trajectory model of protein interaction gives a novel geometrical interpretation of the difference between direct interactions of two proteins and cooperative interactions of three proteins (such as allosteric regulation).
4.1. Fusion and Fission of Closed Trajectories of Triangles
We have seen in the previous sections that vector fields of triangles are associated with three-dimensional tangent cones. Here we will define “fusion and fission” of closed trajectories of triangles using the tangent cone structure. For the sake of simplicity, we only consider the case of flows of triangles.
Let
and
be two vector fields of triangles induced by three-dimensional tangent cones
and
respectively. Then, the vector field
can be obtained from the other
by “putting unit cubes on” and/or “taking unit cubes from” the tangent cone
. Suppose that the closed trajectories of
and
sweep the same region, i.e.,
(See Definition 22). Then, the two vector fields
and
give two different decompositions of the same region into a set of closed trajectories of triangles.
Definition 77 (Addition of closed trajectories) Addition is defined between sets of all the closed trajectories of vector fields. Given two three-dimensional tangent cones
and
. Let
and
be the set of all the closed trajectories of the vector fields
and
respectively, where
and
is the numbers of the closed trajectories. Then, addition of closed trajectories of triangles is defined by
Example 34 Shown in Figure 12(a) is a flow of triangles consisting of 36 closed trajectories of length six and infinitely many open trajectories of various lengths, where each closed trajectory sweeps a hexagonal region. By putting unit cubes on the associated tangent cone, we obtain another decomposition of the same region into a set of closed trajectories as shown in Figure 12(b). Then, we have
By removing the common terms from both sides, we obtain
Figure 12. Addition of closed trajectories: (a) A flow of triangles consisting of 36 closed trajectories of length six. Shown below is the corresponding tangent cone (top view); (b) Closed trajectories of triangles obtained by putting unit cubes on the tangent cone of (a); (c) Closed trajectories of triangles obtained by putting unit cubes on the tangent cone of (b).
Note that m0 is the closed trajectory given in Figure 1. That is, we obtained m0 as a result of “fusion and fission” of 16 hexagons.
Example 35 By putting more unit cubes on the tangent cone of Figure 12(b), we obtain another equation
Then, m0 appears as a “factor” of a longer closed trajectory m6.
In the above examples, closed trajectories xis (of length six) are given first. Then, m0 is obtained as a result of interactions of the xis. The challenge we propose is to give a set of equations of m0 on variables xis first, and solve the system of simultaneous equations.
Open Problem 1 (Simultaneous equations for shape) Let
be a finite set of closed trajectories of length six, i.e., hexagons. Let
be a finite set of closed trajectories of length longer than six. Suppose that we are given a finite set of addition equations with respect to xis and mjs:
where fks and gks are finite sets of terms separated by addition sign (i.e., addition expressions with coefficients one).
Find three-dimensional tangent cones for the variables xis that make the addition equations true, where xis are assigned the closed trajectory induced by the corresponding tangent cone. Then, mis are obtained as intermediate products of the interactions between xis.
Since the interaction of closed trajectories is primarily determined by their contours, it is their contours which are characterized by a set of simultaneous equations. In the case of Open Problem 1, a closed trajectory m0 is characterized using interactions between closed trajectories of length six and other closed trajectories. Therefore, the set of equations is nothing but a specification of the shape of m0 if m0 is uniquely determined.
4.2. Allosteric Regulation of Interactions
Now let us consider the difference between direct interactions of two proteins and cooperative interactions of three proteins (such as allosteric regulation). In our closed trajectory model, allosteric regulation corresponds to the complex of self-eclipsed closed trajectories of triangles (Definition 36). We will start with a brief introduction to allosteric regulation.
4.2.1. Introduction to Allosteric Regulation
In biological systems, all proteins bind to other molecules to carry out their functions. For example, enzymes bind to one or more reactant molecules to catalyze chemical reactions in our body. The region on the surface to which other molecules bind is called the active site.
The binding of a molecule at an active site is often controlled by the binding of another molecule at a distant site other than the active site. This type of regulation of protein function is called allosteric regulation. The distant site is called an allosteric site.
Allosteric regulation, which is known as “the second secret of life”’, second only to the genetic code [9] [10] , is ubiquitous in biological processes. But we still lack general understanding of the mechanisms underlying the coupling between allosteric and active sites [11] [12] .
Allosteric regulation is typically triggered by the binding of a small molecule, but also triggered by the binding of another protein. When proteins bind to other molecules or proteins, changes in conformation and/or dynamics occur within the protein. Classically, allosteric regulation was considered to be induced through a change in conformation of the protein. Today, it is believed that allostery can take place through a change in the dynamic fluctuations (i.e., internal motions and vibrations) of the protein even without obvious conformational changes [13] [14] [15] .
Currently almost all the drugs modify the actions of proteins by directly binding to their active sites. On the other hand, gaining increasing attention recently in drug discovery is another type of drugs, called allosteric drugs, which bind to the allosteric sites on their target proteins [16] [17] [18] . This is because allosteric drugs have several advantages over traditional drugs, such as higher specificity, fewer side effects, and lower toxicity.
However, allosteric drug discovery is more challenging than traditional drug discovery due to difficulties in identification of allosteric sites, prediction of drug modulatory effects, and others. For example, allosteric sites may have features we are not yet aware of because of our insufficient understanding of how coupling between the active site and the allosteric site occurs.
In the past ten years, various computational approaches have been developed for identification and characterization of allosteric sites as the first step in allosteric drug discovery [19] [20] [21] . In a static geometry-based model, protein structures are transformed into residue interaction graphs (RIGs), where amino acid residues are graph nodes and their interactions are the graph edges [22] . Then, allosteric regulation and communication are characterized using a local centrality measure (local closeness) and other newly developed quantifiable measures (binding leverage and leverage coupling). In normal mode analysis (NMA)-based models, proteins are represented by a set of Ca atoms interconnected by a network of elastic springs. Then, the structural fluctuations of a protein are decomposed into harmonic orthogonal modes and the long-range nature of allosteric communication is often well-described by low-frequency modes. However, Molecular dynamics (MD) remains the standard computational tool for structural analysis when structures are available.
4.2.2. The SECT Model of Allosteric Regulation
In this paper, we propose a novel geometrical interpretation of the long-distance regulation of protein interactions (with no conformational change). In particular, we consider how the coupling between active and allosteric sites occurs using the simplified structural description. Analysis of this model has allowed us to characterize a novel geometrical aspect of the structural coupling between active and allosteric sites.
Definition 78 (The SECT model of allosteric regulation) The Self-Eclipsed Closed Trajectory (SECT) model is a simplified geometrical interpretation of protein interactions, where
Protein molecules correspond to a complex of closed trajectories of triangles,
Protein interactions are represented as additions of the corresponding complexes of closed trajectories,
Protein molecules with allosteric sites correspond to a complex of self-eclipsed closed trajectories,
An allosteric site is the region of the contour eclipsed by the active site.
Note that the SECT model is a purely theoretical model. The SECT model was devised in the process of searching the definition formula of the shape of proteins. In the model, the constraint on the contour and the coupling between two sites are two sides of the same coin as shown in the example below. Roughly speaking, active and allosteric sites are closely tied to each other as an entity and its shadow.
Remark. Recall that (slant) triangles are flowing on the slopes of a “tangent” cone. On the other hand, the contour of a closed trajectory is drawn on the slopes of a “cotangent” cone. Since the “slope inclination” of tangent cones is gentler than that of cotangent cones, the existence of a local trajectory of triangles at one region (active site) of the contour affect the existence of another local trajectory at another region (allosteric site) of the contour.
Example 36 Shown in Figure 13 is the interactions between the three closed trajectories m0, m2, and x22 of Figure 12(b). The interaction between m0 and x22
Figure 13. Allosteric regulation and complexes of self-eclipsed closed trajectories: (a) An active site and an allosteric site of a self-eclipsed closed trajectory m0. Shown below is the corresponding three-dimensional tangent cone (top view); (b) Interaction of m0 and x22, i.e.,
; (c) Interaction of m0, m2, and x22, i.e.,
.
is obtained by putting two unit cubes on the tangent cone of (a) (Figure 13(b)). We also obtain the interaction of the three closed trajectories m0, m2, and x22 by putting one more unit cube on the tangent cone of (b) (Figure 13(c)). However, m0 and m2 do not interact without the binding of x22 because of the overlap of the slopes of the tangent cone, i.e., self-eclipse. That is,
In this case, x22 activates the interaction between m0 and m2.
5. Conclusions
We have proposed a novel simplified geometrical description of the shape of protein molecules and their interactions. Using the model, we have identified not only global geometrical constraints on the shape of proteins, but also their influence on protein interactions. As an example of the global constraints, a “garlic-bulb like structure” was shown. As an example of their influence on interactions, the structural coupling between active and allosteric sites was considered. In particular, our model gives a novel geometrical interpretation of the long-distance regulation of protein interactions, which could be important for the understanding of the basic mechanisms of allosteric regulation of protein functions.
As for future research questions, we have already proposed an open problem in the text, i.e., the problem of simultaneous equations for shape. Just as the function (i.e., shape) of a protein is determined by its interaction with other molecules, the shape of a complex of closed trajectories may be determined uniquely by its interaction (i.e., fusion and fission) with other closed trajectories.
Another open problem is about the relationship between the shape of a complex of closed trajectories of tetrahedrons and the triangle flow induced on the surface. How far can we learn about the three-dimensional shape from the two-dimensional surface triangle flow? To answer the question, we should consider a patchwork of locally overlapping three-dimensional cones that cover the surface of the complex because the surface triangle flow has “singular points”.
From the viewpoint of computer engineering, development of a “protein description language” will be required if proteins are to be designed automatically. The model of the closed trajectories of tetrahedrons (or n-simplices) is expected to give the semantics of the language as in the case of mathematical semantics and the lambda calculus [23] .
List of Symbols
slant triangle defined by three points a,
and
(Def.2)
slant tetrahedron defined by four points a,
,
and
(Def.38)
set of all flat triangles/tetrahedrons (Def.5, Def.41)
set of slant triangles/tetrahedrons of
(Def.21, Def.57)
set of
-dimensional tangent cones (Def.33, Def.73)
three/four-dimensional tangent cone (Def.8, Def.44)
three/four-dimensional cotangent cone (Def.14, Def.50)
three/four-dimensional contour/surface pair (Def.26, Def.66)
three/four-dimensional tangent cone associated with
(Def.32, Def.72)
surface lattice points of
(Def.10, Def.46)
surface lattice points of
(Def.16, Def.52)
surface lattice points of
(Def.25, Def.65)
peaks on the boundary of
(Def.9, Def.45)
gradient of slant triangle/tetrahedron s (Def.3, Def.39)
set of all the slant triangles/tetrahedrons on the surface of
(Def.11, Def.47)
four-dimensional extended inverted cotangent cone (Def.64)
N-dimensional Eucledean space
four-dimensional extended cotangent roof (Def.60)
hyperplane in
(above Def.5, above Def.41)
set of slant triangles/tetrahedrons of
(Def.21, Def.57)
set of
-dimensional tangent cones (Def.33, Def.73)
three/four-dimensional inverted cotangent cone (Def.23, Def.63)
map from
to
(Def.35, Def.75)
three/four-dimensional inverted cotangent roof (Def.24, Def.64)
set of all the top vertices of
(Def.23, Def.63)
three/four-dimensional inverted cotangent roof associated with
(Def.31, Def.70)
N-dimensional standard lattice (Def.1, Def.37)
N-dimensional conjugate lattice (Def.13, Def.49)
contour/surface vein with respect to
(Def.29, Def.69)
contour/surface vein with respect to
(Def.20, Def.56)
set of all natural numbers
set of slant triangles/tetrahedrons of
(Def.21, Def.57)
convex hull of points p0, p1 and p2 (above Def.2)
convex hull of points p0, p1, p2 and p3 (above Def.38)
contour/surface vertices with respect to
(Def.27, Def.67)
contour/surface vertices with respect to
(Def.18, Def.54)
extended surface vertices with respect to
(Def.62)
polygonal line (or set of the polygonal lines) obtained by joining the adjacent
lattice points of
(Def.28, Def.68)
polygonal line (or set of the polygonal lines) obtained by joining the
adjacent
lattice points of
(Def.19, Def.55)
projection of
onto
(Def.7, Def.43)
projection of
onto
(Def.5, Def.41)
projection of
onto
(above Def.5, above Def.41)
+
addition of closed trajectories (Def.77)
set of all real numbers
region of
(Def.30, Def.71)
region of
(Def.22, Def.58)
three/four-dimensional cotangent roof (Def.15, Def.51)
region of
(Def.34, Def.74)
region of
(Def.34, Def.74)
self-eclipsed closed trajectory complexes (Def.36)
model of allosteric regulation (Def.78)
Self-eclipsed contour/surface pair
(Def.36, Def.76)
Self-eclipsed protein molecule
(Def.76)
set of all slant triangles/tetrahedrons (Def.2, Def.38)
slant triangle/tetrahedron adjacent to s (Def.4, Def.40)
slant triangle/tetrahedron adjacent to s (Def.4, Def.40)
slant triangle/tetrahedron adjacent to s (Def.4, Def.40)
slant triangle/tetrahedron adjacent to s (Def.4, Def.40)
stand of a (Def.59)
stand of A (Def.59)
group of all permutations of the N-elements set
map from
to
(Def.35, Def.75)