# Lines in Euclidean Ramsey Theory

- 49 Downloads

## Abstract

Let \(\ell _m\) be a sequence of *m* points on a line with consecutive points of distance one. For every natural number *n*, we prove the existence of a red/blue-coloring of \({\mathbb {E}}^n\) containing no red copy of \(\ell _2\) and no blue copy of \(\ell _m\) for any \(m \ge 2^{cn}\). This is best possible up to the constant *c* in the exponent. It also answers a question of Erdős et al. (J Comb Theory Ser A 14:341–363, 1973). They asked if, for every natural number *n*, there is a set \(K \subset {\mathbb {E}}^1\) and a red/blue-coloring of \({\mathbb {E}}^n\) containing no red copy of \(\ell _2\) and no blue copy of *K*.

## Keywords

Euclidean Ramsey theory Probabilistic method## Mathematics Subject Classification

05D10 52C10## 1 Introduction

Let \({\mathbb {E}}^n\) denote the *n*-dimensional Euclidean space, that is, \({\mathbb {R}}^n\) equipped with the Euclidean distance. Following Erdős, Graham, Montgomery, Rothschild, Spencer and Straus [4], we study the following question.

## Question 1.1

For which subsets \(K \subset {\mathbb {E}}^n\) does every red/blue-coloring of \({\mathbb {E}}^n\) contain a red pair of points of distance one or a blue isometric copy of *K*?

In what follows, we will write \(\ell _m\) for a sequence of *m* points on a line with consecutive points of distance one and \({\mathbb {E}}^n \longrightarrow (\ell _2,K)\) if every red/blue-coloring of \({\mathbb {E}}^n\) contains either a red copy of \(\ell _2\) or a blue copy of *K*, where a copy of a set will always mean an isometric copy. Conversely, Open image in new window expresses the fact that there is some red/blue-coloring of \({\mathbb {E}}^n\) which contains neither a red copy of \(\ell _2\) nor a blue copy of *K*.

The problem of determining which *n* and *K* satisfy the relation \({\mathbb {E}}^n \longrightarrow (\ell _2,K)\) has received considerable attention, with a particular focus on small values of *n*. For example, Erdős et al. [4] showed that \({\mathbb {E}}^2 \longrightarrow (\ell _2,\ell _4)\) and \({\mathbb {E}}^2 \longrightarrow (\ell _2,K)\) for any three-point set *K*. Juhász [8] later improved the latter result to cover all four-point planar sets, while just recently Tsaturian [16] improved the former result by showing that \({\mathbb {E}}^2 \longrightarrow (\ell _2,\ell _5)\). In three dimensions, Iván [7] showed that \({\mathbb {E}}^3 \longrightarrow (\ell _2,K)\) for any five-point set \(K \subset {\mathbb {E}}^3\). The particular case where \(K = \ell _5\) was recently improved by Arman and Tsaturian [1], who showed that \({\mathbb {E}}^3 \longrightarrow (\ell _2,\ell _6)\).

On the other hand, Csizmadia and Tóth [2] identified a set *K* of 8 points in the plane, namely, a regular heptagon with its center, such that Open image in new window . This improved a result of Juhász [8], who had previously identified a set *K* of 12 points with the same property. Our chief concern in this paper will be with extending these results to higher dimensions by studying the smallest possible size of a set \(K \subset {\mathbb {E}}^n\) such that Open image in new window .

In general, |*K*| can be unbounded in terms of *n* and still satisfy \({\mathbb {E}}^n \longrightarrow (\ell _2,K)\). For example, any subset *K* of the unit sphere in \({\mathbb {E}}^n\) satisfies \({\mathbb {E}}^n \longrightarrow (\ell _2,K)\). Indeed, in a red/blue-coloring of \({\mathbb {E}}^n\), if there is no red point, then we clearly get a copy of *K*, while if there is a red point, then the sphere of radius one around that point must be blue, so we again get a blue copy of *K*.

However, our main result shows that under some mild conditions a set \(K \subset {\mathbb {E}}^n\) such that \({\mathbb {E}}^n \longrightarrow (\ell _2,K)\) can have size at most exponential in *n*. To state the result, we say that a point set \(S \subset {\mathbb {E}}^n\) is *t-separated* if any two points in *S* have distance at least *t*. Here and throughout, we use \(\log \) to denote log base 2.

## Theorem 1.2

If \(R>2\) and *K* is a 1-separated set of points in \({\mathbb {E}}^n\) with diameter at most \(R-1\) and \(|K| > 10^{4n} \log R\), then Open image in new window .

In particular, for \(m = 10^{5n}\), we see that Open image in new window . This simple corollary is already enough to answer a problem raised by Erdős et al. [4], namely, whether, for every natural number *d*, there is a natural number *n* depending only on *d* such that \({\mathbb {E}}^n \rightarrow (\ell _2, K)\) for every \(K \subset {\mathbb {E}}^d\). Erdős et al. state that they expect the answer to this question to be negative and our result confirms this already for \(d = 1\), a special case stressed in [4], showing that *n* must grow logarithmically in the size of |*K*|.

The exponential dependence in Theorem 1.2, and hence the logarithmic dependence above, is also necessary. In fact, Szlam [14] proved the stronger result that every red/blue-coloring of \({\mathbb {E}}^n\) contains either a red copy of \(\ell _2\) or a blue *translate* of any set *K* of size at most \(2^{c'n}\). For the sake of completeness, we include his short proof here. We will need the seminal result of Frankl and Wilson [6] that there exists a positive constant \(c'\) such that any coloring of \({\mathbb {E}}^n\) with at most \(2^{c'n}\) colors contains a pair of points of distance one with the same color (see [13] for the current best estimate on \(c'\)).

Suppose now that \(K = \{k_1, \dots , k_t\} \subset {\mathbb {E}}^n\) is a set of size at most \(2^{c' n}\) and there is a red/blue-coloring of \({\mathbb {E}}^n\) with no blue copy of *K*. Then, for each \(p \in {\mathbb {E}}^n\), there is at least one *i* such that \(p + k_i\) is red, since otherwise the set \(p + K\) would be a blue translate of *K*. We may therefore color the points of \({\mathbb {E}}^n\) in \(t \le 2^{c'n}\) colors, giving the point *p* the color *i* for some *i* such that \(p + k_i\) is red, always choosing the minimum such *i*. By the result of Frankl and Wilson, there must then exist two points *p* and \(p'\) of distance one which receive the same color, say *j*. But then \(p + k_j\) and \(p' + k_j\) are two points of distance one both of which are colored red. This gives the required result. In particular, we have the following counterpart to Theorem 1.2, which we again stress is due to Szlam [14].

## Theorem 1.3

There exists a positive constant \(c'\) such that \({\mathbb {E}}^n \longrightarrow (\ell _2,K)\) for any set \(K \subset {\mathbb {E}}^n\) of size at most \(2^{c'n}\).

## 2 Proof of Theorem 1.2

We will prove the existence of a periodic red/blue-coloring of \({\mathbb {E}}^n\) (with period *R* in the standard coordinates) such that no two red points have distance one and there is no blue copy of *K*.

Let \({\mathbb {T}}_R^n=({\mathbb {E}}/R {\mathbb {Z}})^n\) be the *n*-dimensional torus with period *R* in each direction. Let *P* be any maximal 1 / 3-separated subset of \({\mathbb {T}}_R^n\). One can simply construct such a set *P* greedily. Consider the Voronoi decomposition of \({\mathbb {T}}_R^n\) with respect to *P*. This partitions \({\mathbb {T}}_R^n\) into cells \(V_p\), one for each point \(p \in P\), where \(V_p\) consists of the set of points closer to *p* than any other point in *P*. From the maximality of *P*, every point in \(V_p\) has distance at most 1 / 3 from *p*. In particular, each \(V_p\) has diameter at most 2 / 3.

## Lemma 2.1

\(|P| \le (4n^{1/2}R)^n\).

## Proof

Since each pair of points in *P* have distance at least 1 / 3, the balls of radius \(r=1/6\) around each point are disjoint. A ball in *n*-space of radius *r* has volume \(r^n \pi ^{n/2}/\Gamma (n/2 + 1)\), where the gamma function satisfies \(\Gamma (n/2+1)=(n/2)!\) if *n* is even and \(\Gamma (n/2+1)=\sqrt{\pi } \cdot n!!/2^{(n+1)/2}\) if *n* is odd. In either case, we have \(\Gamma (n/2 + 1) \le n^{n/2}\), so the volume of the *n*-dimensional ball is at least \((r^2\pi /n)^{n/2}\). The balls of radius 1 / 6 around the points of *P* are disjoint and the volume of the torus \({\mathbb {T}}_R^n\) is \(R^n\), so the number of points in *P* is at most \(R^n/((1/6)^2\pi /n)^{n/2} = (36nR^2/\pi )^{n/2} < (4n^{1/2}R)^n\). \(\square \)

## Lemma 2.2

If \(S \subset {\mathbb {E}}^n\) is *t*-separated, then, for any point \(p \in {\mathbb {E}}^n\) and any \(s \ge 0\), the number of points of *S* within distance *s* of *p* is at most \((2s/t + 1)^n\).

## Proof

The balls of radius *t* / 2 around each point of *S* are disjoint and, for each point \(p' \in S\) with distance at most *s* from *p*, the ball of radius \(s+t/2\) around *p* contains the ball of radius *t* / 2 around \(p'\). Hence, by a volume argument, there are at most \(\bigl (\frac{s+t/2}{t/2}\bigr )^n = (2s/t + 1)^n\) points of distance at most *s* from *p*. \(\square \)

## Lemma 2.3

Each copy in \(\mathbb {E}^n\) of the Voronoi cell \(V_p\) is a convex body defined by the intersection of at most \(5^n\) half-spaces.

## Proof

A point *q* on the boundary of \(V_p\) is on the hyperplane equidistant to *p* and some other point \(p' \in P\), where this distance is at most 1 / 3. This implies that \(p'\) has distance at most 2/3 from *p*. Since the points in *P* are 1 / 3-separated, Lemma 2.2 implies that there are at most \(5^n\) points of *P* of distance at most 2 / 3 from *p*. Therefore, since the Voronoi cell \(V_p\) is the intersection of half-spaces that are defined by hyperplanes which are equidistant from *p* and \(p'\) for some \(p'\) of distance at most 2 / 3 from *p*, the result follows. \(\square \)

## Lemma 2.4

If *K* is a 1-separated point set in \({\mathbb {E}}^n\) and \(s \ge 1\), then there is a set \(K' \subset K\) that is *s*-separated and has size at least \(|K|/(2s+1)^n\).

## Proof

By Lemma 2.2 with \(t=1\), for each point *p*, there are at most \((2s+1)^n\) points of *K* within distance *s* of *p* (including *p* itself). We can then greedily construct the set \(K'\), getting at least one point in \(K'\) for every \((2s+1)^n\) points from *K*, giving the desired bound. \(\square \)

Let *Q* be a random subset of *P* formed by picking each point in *P* with probability \(x=20^{-n}\) independently of the other points. Let *S* be the subset of *Q* where \(s \in S\) if and only if there is no other point \(s' \in Q\) of distance at most 5 / 3 from *s*. By Lemma 2.2, there are at most \((2(5/3)/(1/3)+1)^n = 11^n\) points of *P* of distance at most 5 / 3 from any point. For a given point \(p \in P\), the probability that \(p \in S\) is therefore at least \(x(1-x)^{11^n} > x/2\) as \(x=20^{-n}\).

Let \(V_1,\ldots ,V_m\) be the Voronoi cells of points in *S*. We will color the points in these Voronoi cells red, including the boundaries, and everything else blue. We consider the periodic coloring of \({\mathbb {E}}^n\) given by the coloring of \({\mathbb {T}}_R^n\). Observe that there is a pair of red points of distance one in \({\mathbb {T}}_R^n\) if and only if there is a pair of red points of distance one in the periodic coloring of \({\mathbb {E}}^n\) and there is a blue copy of *K* in \({\mathbb {T}}_R^n\) if and only if there is a blue copy of *K* in \({\mathbb {E}}^n\).

We first claim that there are no two red points *q* and \(q'\) at distance one. Indeed, if *q* and \(q'\) are in the same Voronoi cell, then, as the diameter of each Voronoi cell is at most 2 / 3, we have a contradiction. If *q* and \(q'\) are in copies of the same cell in the periodic tiling, then their distance is at least \(R-2/3 > 1\). If *q* and \(q'\) are in different cells, with \(q \in V_p\) and \(q' \in V_{p'}\), then, since *q* has distance at most 1 / 3 from *p* and \(q'\) has distance at most 1 / 3 from \(p'\), *p* and \(p'\) have distance at most 5 / 3. However, by construction, if \(p \in S\), then \(p'\) is not in *S*, so these Voronoi cells are not both red and *q* and \(q'\) cannot both be red.

To finish the proof, we need to show that with positive probability, there is no blue copy of *K*. Observe that since the points of *K* have distance at most \(R-1\) from each other, if there is a blue copy of *K* in the coloring of \({\mathbb {E}}^n\), then we already have a blue copy in the axis-aligned box with one corner at the origin and side length 3*R*. This box contains \(3^n|P|\) Voronoi cells, which we label \(U_1,\ldots ,U_{3^n|P|}\).

Let \(K'\) be a maximum subset of *K* which is 5-separated, so \(|K'| \ge 11^{-n} |K|\) by Lemma 2.4. Denote the points of \(K'\) by \(K'=\{k_0, k_1,\ldots ,k_{|K'| - 1}\}\), where we may assume that \(k_0\) is the origin and \(k_1,\ldots ,k_d\) with \(d \le n\) form a basis for the vector space spanned by \(K'\), so each element of \(K'\) is a linear combination of \(k_1,\ldots ,k_d\). It suffices to show that with positive probability there is no blue copy of \(K'\). For a map \(f: \{0,1, \dots , |K'|-1\} \rightarrow \{1, 2, \dots , 3^n|P|\}\), consider the bad event \(B_f\) that there is a blue copy of \(K'\) with the copy of \(k_i\) in \(U_{f(i)}\). As each pair of points from \(K'\) have distance at least 5, the Voronoi cells \(V_p\) and \(V_{p'}\) that they map to under an isometry have centers of distance at least \(5-2/3 = 13/3> 2 \cdot 5/3\) apart. Moreover, since *K* has diameter at most \(R -1\), the centers have distance at most \(R - 1 + 2/3 < R\), so points from two copies of the same cell are never used. Hence, the probability that *p* and \(p'\) are in *S* are independent. Therefore, for any fixed *f*, the probability that \(B_f\) happens is at most \((1-x/2)^{|K'|}<e^{-x|K'|/2}\).

We next estimate the number of bad events \(B_f\) that are realizable. That is, the number of *f* for which there is a copy of \(K'\) with the copy of \(k_i\) in \(U_{f(i)}\). Given a copy of \(K'\) in \({\mathbb {E}}^n\) where \(k_i\) maps to \(g(i) \in {\mathbb {E}}^n\) for each *i*, we map the copy of \(K'\) to the point \((g(0), g(1),\ldots ,g(d)) \in {\mathbb {E}}^{(d+1)n}\). This is an injective map from the copies of \(K'\) in \({\mathbb {E}}^n\) to \({\mathbb {E}}^{(d+1)n}\) since the copy of \(K'\) is determined by which points \(k_0,k_1,\ldots ,k_d\) map to.

Let *U* be one of the Voronoi cells \(U_1,\ldots ,U_{3^n|P|}\), with center *p*. The Voronoi cell *U* is given as the intersection of half-spaces \(H_{pp'}\) which contain *p* and whose boundary is the hyperplane equidistant from *p* and \(p'\). By Lemma 2.3, there are at most \(5^n\) such half-spaces. The linear inequality defining whether a point \((x_1,\ldots ,x_n)\) is in a half-space *H* is of the form \(a_1x_1+\cdots +a_nx_n \le b\) for some \(a_1,\ldots ,a_n,b \in {\mathbb {E}}^1\). As \(k_i\) is a linear combination of \(k_1, \dots , k_d\), these observations show that, for any copy of \(K'\) in \({\mathbb {E}}^n\) and any *i* and *j*, we can determine whether \(k_i\) is mapped into \(U_j\) by considering a system of at most \(5^n\) linear inequalities in the \((d+1)n\) coordinates of the point \((g(0), g(1),\ldots ,g(d)) \in {\mathbb {E}}^{(d+1)n}\) that \(K'\) is mapped to. Since the number of pairs (*i*, *j*) is \(|K'| \cdot 3^n|P|\), we can therefore tell which \(B_f\) are feasible (i.e., which mappings of the points of \(K'\) to Voronoi cells are actually realizable by a copy of \(K'\)) by the sign patterns of a sequence of \(5^n |K'| \cdot 3^n|P|\) linear equations.

We can now bound the number of feasible \(B_f\) by using an appropriate version of the Milnor–Thom theorem [11, 12, 15]. For a discussion of this theorem and its history, as well as the statement we present below, we refer the interested reader to Sect. 6.2 of Matoušek’s book [10].

## Theorem 2.5

For \(M \ge N \ge 2\), the number of sign patterns of *M* polynomials in *N* variables, each of degree at most *D*, is at most \(\big (\frac{50DM}{N}\big )^N\).

## 3 Concluding remarks

Let us say that a set \(X \subset {\mathbb {E}}^d\) is *f-Ramsey* for a function \(f : {\mathbb {N}} \rightarrow {\mathbb {N}}\) if any coloring of \(\mathbb {E}^n\), \(n \ge d\), with at most *f*(*n*) colors contains a monochromatic copy of *X*. For instance, the result of Frankl and Wilson [6] used to prove Theorem 1.3 was the statement that \(\ell _2\) is \(2^{c'n}\)-Ramsey. By substituting any *f*-Ramsey set *X* for \(\ell _2\) in the proof of that theorem, we can easily deduce the following result.

## Theorem 3.1

For any *f*-Ramsey set *X*, \({\mathbb {E}}^n \longrightarrow (X,K)\) for any set \(K \subset {\mathbb {E}}^n\) of size at most *f*(*n*).

When *X* is a rectangular parallelepiped or a non-degenerate simplex, results of Frankl and Rödl [5] show that one may take \(f(n) = 2^{c'n}\), where \(c'\) may depend on the given configuration *X*. For all such *X*, Theorem 1.2 easily implies that the estimate on the size of *K* in Theorem 3.1 is best possible up to the constant \(c'\) in the exponent.

Following [3], we say that a set \(X \subset {\mathbb {E}}^d\) is *Ramsey* if it is *f*-Ramsey for some function \(f : {\mathbb {N}} \rightarrow {\mathbb {N}}\) with the property that \(f(n) \rightarrow \infty \) as \(n \rightarrow \infty \). Theorem 3.1 then says that for any Ramsey set *X* and any finite set \(K \subset {\mathbb {E}}^m\), there exists *n* such that \({\mathbb {E}}^n \longrightarrow (X,K)\). In particular, by a beautiful result of Kříž [9], this holds when *X* is a regular polygon. The following result gives a converse.

## Theorem 3.2

Assuming the axiom of choice, if \(X \subset {\mathbb {E}}^d\) is a finite set which is not Ramsey, there exists a natural number *m* and a finite set \(K \subset {\mathbb {E}}^m\) such that Open image in new window for all *n*.

## Proof

Since *X* is not Ramsey, there exists a least natural number *r* such that Open image in new window for all *n*. By the minimality of *r*, there is an *m* such that every \((r-1)\)-coloring of \({\mathbb {E}}^m\) contains a monochromatic copy of *X*. But then, by the De Bruijn–Erdős theorem (and it is here that we invoke the axiom of choice), there must be a finite set \(K \subset {\mathbb {E}}^m\) such that every \((r-1)\)-coloring of *K* contains a monochromatic copy of *X*.

Suppose now that \(\chi : {\mathbb {E}}^n \rightarrow \{1, 2, \dots , r\}\) is an *r*-coloring of \({\mathbb {E}}^n\) containing no monochromatic copy of *X*. We claim that the red/blue-coloring of \({\mathbb {E}}^n\) where a point is colored red if it received color 1 under \(\chi \) and blue otherwise contains no red copy of *X* and no blue copy of *K*. Indeed, a red copy of *X* would yield a copy of *X* in color 1 under \(\chi \), while a blue copy of *K* would yield an \((r-1)\)-colored copy of *K* under \(\chi \), which, by the choice of *K*, would contain a monochromatic copy of *X*. In either case, this would contradict the definition of \(\chi \). \(\square \)

Being more particular about our choice of *K*, we were unable to decide whether, for every natural number *m*, there exists a natural number *n* such that \({\mathbb {E}}^n \longrightarrow (\ell _3, \ell _m)\). It seems unlikely that this holds for large *m*, but we were at a loss to exhibit a coloring which confirms our suspicion. A first step in the right direction was made by Erdős et al. [3], who showed that Open image in new window for all *n*.

As a final note, we mention another problem of Erdős et al. [4]: for any natural number *n*, does there exist a natural number *m* depending only on *n* such that for every set \(K \subset {\mathbb {E}}^n\) of size *m* there is a two-coloring of \({\mathbb {E}}^n\) with no monochromatic copy of *K*? By rescaling, we may assume that the smallest distance between any two points in *K* is equal to one and, therefore, that \(\ell _2 \subset K\) and *K* is 1-separated. Theorem 1.2 then implies that if the diameter of *K* is at most \(R-1\) and \(m \ge 10^{4n} \log R\), there is indeed a two-coloring of \({\mathbb {E}}^n\) with no monochromatic copy of *K*. This partially answers the question of Erdős et al. and a complete answer would follow if we could remove the dependence on *R* in Theorem 1.2 (a problem which is also interesting in its own right).

## Notes

### Acknowledgements

This paper was written while both authors were visiting the Simons Institute for the Theory of Computing in Berkeley and we are grateful for their generous support. The authors would also like to thank Noga Alon and Ben Green for helpful discussions. Finally, we wish to thank David Ellis, Ron Graham and an anonymous referee for a number of useful comments and corrections. In particular, the anonymous referee was the one to point us to the paper by Szlam [14], helping us to greatly improve the results in the concluding remarks.

## References

- 1.Arman, A., Tsaturian, S.: A result in asymmetric Euclidean Ramsey theory. arXiv:1702.04799 (2017)
- 2.Csizmadia, G., Tóth, G.: Note on a Ramsey-type problem in geometry. J. Comb. Theory Ser. A
**65**(2), 302–306 (1994)MathSciNetCrossRefMATHGoogle Scholar - 3.Erdős, P., Graham, R.L., Montgomery, P., Rothschild, B.L., Spencer, J., Straus, E.G.: Euclidean Ramsey theorems I. J. Comb. Theory Ser. A
**14**, 341–363 (1973)MathSciNetCrossRefMATHGoogle Scholar - 4.Erdős, P., Graham, R.L., Montgomery, P., Rothschild, B.L., Spencer, J., Straus, E.G.: Euclidean Ramsey theorems II. In: Hajnal, A., Rado, R., Sós, V. (eds.) Infinite and Finite Sets. Vol. I. Colloquia Mathematica Societatis János Bolyai, vol. 10, pp. 529–557. North-Holland, Amsterdam (1975)Google Scholar
- 5.Frankl, P., Rödl, V.: A partition property of simplices in Euclidean space. J. Am. Math. Soc.
**3**(1), 1–7 (1990)MathSciNetCrossRefMATHGoogle Scholar - 6.Frankl, P., Wilson, R.M.: Intersection theorems with geometric consequences. Combinatorica
**1**(4), 357–368 (1981)MathSciNetCrossRefMATHGoogle Scholar - 7.Iván, L.: Monochromatic Point Sets in the Plane and in Space. Master’s thesis, University of Szeged (1979)Google Scholar
- 8.Juhász, R.: Ramsey type theorems in the plane. J. Comb. Theory Ser. A
**27**(2), 152–160 (1979)MathSciNetCrossRefMATHGoogle Scholar - 9.Kříž, I.: Permutation groups in Euclidean Ramsey theory. Proc. Am. Math. Soc.
**112**(3), 899–907 (1991)MathSciNetCrossRefMATHGoogle Scholar - 10.Matoušek, J.: Lectures on Discrete Geometry. Graduate Texts in Mathematics, vol. 212. Springer, New York (2002)Google Scholar
- 11.Milnor, J.: On the Betti numbers of real varieties. Proc. Am. Math. Soc.
**15**, 275–280 (1964)MathSciNetCrossRefMATHGoogle Scholar - 12.Oleĭnik, O.A., Petrovskiĭ, I.B.: On the topology of real algebraic surfaces. Am. Math. Soc. Transl.
**70**, 399–417 (1952)MathSciNetGoogle Scholar - 13.Raigorodskii, A.M.: On the chromatic number of a space. Russ. Math. Surv.
**55**(2), 351–352 (2000)MathSciNetCrossRefMATHGoogle Scholar - 14.Szlam, A.D.: Monochromatic translates of configurations in the plane. J. Comb. Theory Ser. A
**93**(1), 173–176 (2001)MathSciNetCrossRefMATHGoogle Scholar - 15.Thom, R.: Sur l’homologie des variétés algébriques réelles. In: Cairns, S.S. (ed.) Differential and Combinatorial Topology, pp. 255–265. Princeton University Press, Princeton (1965)Google Scholar
- 16.Tsaturian, S.: A Euclidean Ramsey result in the plane. arXiv:1703.10723 (2017)

## Copyright information

**Open Access**This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.