2.1. Ramsey theory and geometry of closed curves
Consider the closed curve depicted in
Figure 1 with a solid black line. Let us choose six points placed on the curve and number them
as shown in
Figure 1.
We connect each pair of points in pairs with the straight colored segments, as shown in
Figure 1. The equations of these straight lines are given by Equation (1):
where
is the equation of the straight line connecting points numbered
i and
k correspondingly;
is the slope of the straight line and
is its
y-intercept. It is always possible to choose six points laying in a closed 2D curve in such a way that
holds.
Proof: Jordan’s theorem holds for any closed simple curves in the plane including exotic ones like the Warsaw circle. Nevertheless, for simplicity let restrict ourselves to well behaved piecewise-polynomial curves F over an algebraically closed field. Since the curve {y=0} and F do not share a common factor F ∩ {y=0} is a finite set of points (a generalized case is provided in ref. [
13]). Thus, for any piecewise-polynomial curve excluding a finite number of points will do for the above statement to hold.
Thus, two kinds of slope, namely
and
are possible (
is assumed). Lets color the edges connecting the points, numbered
i an k for which
holds with red, and the edges for which
with green color, as shown in
Figure 1. Thus, the complete bi-color graph is created, and according to the Ramsey theorem, at least one (red or green) monochromic triangle should necessarily appear within the graph; due to the fact that the Ramsey number is
. Indeed, the triangle “456” appearing in
Figure 1 is built of green edges only. And this will be true for any closed contour.
2.2. Ramsey theory and dynamical billiards
The aforementioned theorem enables re-shaping of the problem of dynamical billiards in a spirit of the Ramsey theory. Consider the dynamical billiard depicted in
Figure 2.
In the dynamical billiard, a particle moves along a straight line and is reflected from the boundaries. Billiards are Hamiltonian idealizations of known billiard game, in which the boundaries have general geometric shape (rather than the rectangular shape). In
Figure 2A a particle alternates between free motion (presupposed to be a straight line, depicted with violet arrows) and specular reflections from a boundary. This class of systems is called a dynamical billiard [
10]. Dynamical billiards are described by mathematical models which appear in a diversity of physical phenomena. The dynamical properties of such models are determined by the shape of the walls of the container, and they may vary from completely regular (integrable) to fully chaotic [
10,
11,
12]. Thus, consider the simplest system in which the particles moves in a 2D container and collide with its walls/boundary, as shown in
Figure 2A. The reflection points are shown with green circles. The boundary is supposed to be a closed curve, shown with a blue sold line. Consider the set of first six reflections from the boundary shown with green circles in
Figure 2A and numbered
. We connect the points in pairs with straight line segments, as shown in
Figure 2B. The equations of these straight lines again are provided by Equation 1. Following the Ramsey procedure and approach discussed in
Section 2.1 we color the edges connecting the reflection points, numbered
i an
k for which
holds with red, and the links for which
with green color, as shown in
Figure 2B. Again,
is presumed. Thus, the complete bi-color graph emerges, and according to the Ramsey theorem, at least one (red or green) monochromic triangle should necessarily appear within the graph (the Ramsey number
). Indeed, triangle “123” appearing in
Figure 2B is built of red edges only, and triangles “245” and “345” are built from the green edges only, i.e. two monochromatic triangles are recognized in
Figure 2B. This result will be true for any closed boundary, for any starting point of the body moving within the billiard. Moreover, the reflections may be not exactly specular. We also do not specify Hamiltonian, representing the energy of the particle. Any set of six reflection points located on the closed boundary will generate the complete graph, which fulfils the Ramsey theorem, and at least one monochromatic triangle will necessary appear in the graph.
Dynamic billiards are of much interest in a view of deterministic chaos, revealed for these mechanical systems [
10,
11,
12]. Ramsey theorem states that this chaos will never be complete, substructures built of the segments of the trajectory of the particle will necessary appear, as illustrated in
Figure 2B.
2.3. Transitive Ramsey numbers and differential geometry of closed curves
Consider now the closed curve, shown in
Figure 3. The curvature of this curve is positive at the black segment of the curve and negative at the violet segment of the curve. Recall that the signed curvature
is given by Equation (2):
Consider a set of
n points placed on the curve. Some of the points are placed on the segments with the positive curvature (they are denoted with symbol “+” in
Figure 3), and some are placed on the segments with negative curvature (they are denoted with symbol “-“ in
Figure 3). According to the Ramsey approach, we connect with the green edge the points, with the same sign; and differently signed points we connect with the red edge, as shown in
Figure 3. This procedure gives rise to the complete graph. Let us answer the following question: what it the minimal number of points which necessarily provides formation of the monochromatic triangle in the aforementioned complete graph? It also seems from first glance, that the answer is supplied by the Ramsey theorem and
is kept. However, this answer is wrong, due to the fact, that the presented relations between the vertices of the graph are transitive/intransitive in their nature.
Consider first the equally signed vertices. When points numbered “
n”, “
k” and “
l” are of the same sign, i.e. if the links
and
are of the same color, link
is necessarily of the same color. Thus, the vertices in the addressed case are connected with the transitive relation (see
Figure 4A).
Now consider differently signed vertices, When the pairs of vertices numbered “
n” and “
k” and “
k” and “
l” are differently signed, vertices “
n” and “
l” are necessarily of the same sign (see
Figure 4B). This kind of relations is called in mathematical logic “intransitivity”. Let us illustrate this property with the following logical example, involving three groups of experts, labeled “
A”, “
B” and “
C” correspondingly. Consider the situation when group of experts “
A” recognizes group “
B”, and group “
B” recognizes group “
C”, but group
A does not recognize group
C. In this case, the recognition relation among the expert groups is defined as “intransitive”. This is exactly the situation inherent for the relation between three vertices of different signs, shown in
Figure 4B. It should be emphasized, that no monochromatic triangle will appear when points of various signs of the curvature are located in its vertices; however, the clique built of two monochromic edges will be necessarily present, as shown in
Figure 4B. On the other hand, the monochromatic triangle will necessarily appear when the three points of the same sign of the curvature are placed in the vertices, as depicted in
Figure 4A. Using the notions of the Ramsey theory we conclude that
is true for the vertices of the graph connected by transitive/intransitive relations.
2.4 Ramsey approach and the Jordan curves
Consider one more property of closed curves emerging from the Jordan curve theorem and the Ramsey approach. According to the Jordan theorem every Jordan curve (a plane simple closed curve) divides the plane into an "interior" region bounded by the curve and an "exterior" region containing all of the nearby and far away exterior points. Let us choose six points some of which belong to the interior region and some of which belong to the exterior region as shown in
Figure 5 (the closed curve is shown with the black solid line).
In the case, illustrated with
Figure 5, the points numbered “1” and “2” are chosen within the interior region, i.e. within the contour, whereas, the points numbered “2”, “4”, “5” and “6” are located in the exterior region of the plane, i.e. out of the contour. Let us connect the points located within the same region (whatever interior or exterior) with green edges and the points placed within the different regions with the red eedges, as shown in
Figure 5. No monochromatic, red triangle is possible in this case. Indeed, if vertices “
n” and “
k” and “
k” and “
l” are located in different regions, thus, necessarily vertices “
n” and “
l” are located in the same region. No monochromatic, red triangle is possible in this case, as it is recognized from the
Figure 5, and we return for the intransitive logical relations for the points located in different regions, which were already discussed in detail in the previous Section. In turn, the logical relation between the points located in the same region are transitive. Thus, monochromatic green triangle will necessarily appear when the three points are placed in the same region of the plane, as it is shown in
Figure 5. Using the notions of the Ramsey theory we derive
for the graph, shown in
Figure 5.
Now consider three Jordan curves (numbered “
I”, “
II” and “
III” in
Figure 6) dividing the plane in four regions, as depicted in
Figure 6. Six points labeled “1”… “6” are placed on the plane, as shown in
Figure 6.
Let us connect the points located within the same region (whatever its) with green edges and the points placed within the different regions with the red edges, as shown in
Figure 6. Less than three points are located within the same region (this makes transitive/intransitive relations between vertices impossible for the situation depicted in
Figure 6). Thus, according to the Ramsey theorem, the monochromatic triangle will necessarily appear in the complete graph, depicted in
Figure 6. Indeed, triangles “136”, “236”, “346”, “356”, “234” and “156” are monochromatic (red). No monochromatic green triangles are recognized in the graph, shown in
Figure 6.
Consider one more possible configuration when Jordan curve “
I” is located within Jordan curve “
II” as shown in
Figure 7. In this case, two Jordan curves divide the plane into three distinguishable regions. Consider the set of six points labeled “1”… “6”, which are located as shown in
Figure 7. Again, we connect the points located within the same region (whatever its) with green edges and the points placed within the different regions with the red edges; thus, the complete graph, shown in
Figure 7 emerges.
Three monochromatic triangles, namely green “126” and red “456” and “234” ones, are recognized in the complete graph, shown in
Figure 7. Green monochromatic triangle “126” should necessarily appear due to the transitivity of logical relations between points “1”, “2” and “6”, located in the same region; whereas, the red triangles emerge from the Ramsey construction depicted in
Figure 7.