Euclidean Ramsey theorems on the n-sphere
β Scribed by H. L. Graham
- Publisher
- John Wiley and Sons
- Year
- 1983
- Tongue
- English
- Weight
- 340 KB
- Volume
- 7
- Category
- Article
- ISSN
- 0364-9024
No coin nor oath required. For personal study only.
β¦ Synopsis
Abstract
Let us call a finite subset X of a Euclidean mβspace E^m^ Ramsey if for any positive integer r there is an integer n = n(X;r) such that in any partition of E^n^ into r classes C~1~,β¦, C~r~, some C~i~ contains a set X' which is the image of X under some Euclidean motion in E^n^. Numerous results dealing with Ramsey sets have been proved in recent years although the basic problem of characterizing the Ramsey sets remains unsettled. The strongest constraints currently known are: (i) Any Ramsey set must lie on the surface of some sphere; (ii) Any subset of the set of vertices of a rectangular parallelepiped is Ramsey. In this paper we examine the corresponding problem in the case that our underlying spaces are (unit) nβspheres S^n^ and the allowed motions are orthogonal transformations of S^n^ onto itself. In particular, we show that for subsets of S^n^ which are not too βlarge,β results similar to (i) and (ii) hold.
π SIMILAR VOLUMES
A triangulation is said to be even if each vertex has even degree. For even triangulations, define the N-flip and the P 2 -flip as two deformations preserving the number of vertices. We shall prove that any two even triangulations on the sphere with the same number of vertices can be transformed int
## Abstract Let 1 β€ __p__ < β and let __T__ be an ergodic measureβpreserving transformation of the finite measure space (__X__, __ΞΌ__). The classical __L^p^__ ergodic theorem of von Neumann asserts that for any __f__ Ο΅ __L^p^__ (__X__, __ΞΌ__), equation image When __X__ = π^__n__^ (the unit spher
## Abstract An upper bound on the Ramsey number __r__(__K__~2,__nβs__~,__K__~2,__n__~) where __s__ β₯ 2 is presented. Considering certain __r__(__K__~2,__nβs__~,__K__~2,__n__~)βcolorings obtained from strongly regular graphs, we additionally prove that this bound matches the exact value of __r__(__K