Constrained Ramsey Numbers

Abstract: For two graphs S and T, the constrained Ramsey number f(S, T) is the minimum n such that every edge coloring of the complete graph on n vertices, with any number of colors, has a monochromatic subgraph isomorphic to S or a rainbow (all edges differently colored) subgraph isomorphic to T. The Erdos-Rado Canonical Ramsey Theorem implies that f(S, T) exists if and only if S is a star or T is acyclic, and much work has been done to determine the rate of growth of f(S, T) for various types of parameters. When S and T are both trees having s and t edges respectively, Jamison, Jiang, and Ling showed that f(S, T) <= O(st^2) and conjectured that it is always at most O(st). They also mentioned that one of the most interesting open special cases is when T is a path. In this work, we study this case and show that f(S, P_t) = O(st log t), which differs only by a logarithmic factor from the conjecture. This substantially improves the previous bounds for most values of s and t.

\section{Introduction}

The Erd\H{o}s-Rado Canonical Ramsey Theorem \cite{ER} guarantees that for any $m$, there
is some $n$ such that any edge coloring of the complete graph on the vertex set $\{1, \ldots,
n\}$, with arbitrarily many colors, has a complete subgraph of size $m$ whose coloring is
one of the following three types: monochromatic, rainbow, or lexical.
Here, a subgraph is rainbow if all edges receive distinct colors, and it
is lexical when there is a total order of its vertices such that two
edges have the same color if and only if they share the same larger endpoint.

Since the the first two types of colorings are somewhat more natural,
it is interesting to study the cases when we can guarantee the existence of either
monochromatic or rainbow subgraphs.
This motivates the notion of constrained Ramsey number $f(S, T)$, which is
defined to be the minimum $n$ such that every edge coloring of the complete graph on $n$
vertices (with any number of colors) has a monochromatic subgraph isomorphic to $S$ or a
rainbow subgraph isomorphic to $T$.  It is an immediate consequence of the Canonical
Ramsey Theorem that this number exists if and only if $S$ is a star or $T$ is acyclic,
because stars are the only graphs that admit a simultaneously lexical and monochromatic
coloring, and forests are the only graphs that admit a simultaneously lexical and rainbow
coloring.

The constrained Ramsey number has been studied by many researchers \cite{AJMP, BV, CSW,
 E-matchings, E-star-matching, GLS, JJL, JW, W}, and the bipartite case in \cite{BGLS}.
In the special case when $H=K_{1,k+1}$ is a star with $k+1$ edges, colorings with no
rainbow $H$ have the property that every  vertex is incident to edges of at most $k$ different
colors, and such colorings are called $k$-local. Hence  $f(S, K_{1,k+1})$
corresponds precisely to the local $k$-Ramsey numbers, $r^k_\text{loc} (S)$, which were
introduced and studied by Gy\'arf\'as, Lehel, Schelp, and Tuza in \cite{GLST}.
These numbers were shown to be within a
constant factor (depending only on $k$) of the classical $k$-colored Ramsey numbers $r(S;
k)$, by Truszczy\'nski and Tuza \cite{TT}.

When $S$ and $T$ are both trees having $s$ and $t$ edges respectively, Jamison, Jiang, and Ling
\cite{JJL} conjectured that $f(S, T) = O(st)$, and
provided a construction which showed that the conjecture, if true, is best
possible up to a multiplicative constant.
Here is a variant of such construction, which we present for the sake of completeness, which
shows that in general the upper bound on $f(S, T)$ cannot be
brought below $(1+o(1))st$.  For a prime power $t$ let $\mathbb{F}_t$ be the finite field
with $t$ elements. Consider the
complete graph with vertex set equal to the affine plane $\mathbb{F}_t
\times \mathbb{F}_t$, and color each edge based on
the slope of the line between the corresponding vertices in the affine
plane.  The number of different slopes (hence colors) is $t+1$, so
there is no rainbow graph with $t+2$ edges.  Also, monochromatic
connected components are cliques of order $t$, corresponding to affine lines.
Therefore if $\Omega(\log t) < s < t$,  we can take a random subset of the
construction (taking each vertex independently with probability $s/t$) to obtain a coloring of the
complete graph of order $(1+o(1))st$ with $t+1$ colors in which
all monochromatic connected components have size at most $(1+o(1))s$.

Although Jamison, Jiang, and Ling were unable to prove their conjecture,
they showed that $f(S, T) = O(st \cdot d_T) \leq O(st^2)$, where
$d_T$ is the diameter of $T$. Since this bound clearly gets weaker as the
diameter of $T$ grows, they asked whether a pair of paths maximizes $f(S,T)$,
over all trees with $s$ and $t$ edges, respectively. This generated much
interest in the special case when $T$ is a path $P_t$. In \cite{W},
Wagner proved that $f(S, P_t) \leq O(s^2 t)$. This bound grows linearly in $t$ when
$s$ is fixed but still has order of magnitude $t^3$ for trees of similar size. Although
Gy\'arf\'as, Lehel, and Schelp \cite{GLS} recently showed that for small $t$ (less than 6),
paths are not the extremal example, they remain one of the most interesting
cases of the constrained Ramsey problem.

In this paper we prove the following theorem which agrees with the conjecture,
up to a logarithmic factor and the fact that $T$ is a path. It significantly improves
the previous bounds for most values of $s$ and $t$, and in particular gives the first
sub-cubic bound for the case when the monochromatic tree and rainbow
path are of comparable size.

\begin{theorem}
  \label{thm:main}
  Let $S$ be any tree with $s$ edges, and let $t$ be a positive integer.  Then, for any $n
  \geq 3600st \log_2 t$, every coloring of the edges of the complete graph $K_n$ (with any
  number of colors) contains a monochromatic copy of $S$ or a rainbow
  $t$-edge path.
\end{theorem}

This supports the conjectured upper bound of $O(st)$ for the constrained Ramsey
number of a pair of trees.  With Oleg Pikhurko, the second author obtained another
result which provides further evidence for the conjecture. This result
studies a natural relaxation of the above problem, in which one wants
to find  either a monochromatic copy of a tree $S$ or a properly colored copy of a tree $T$.
It appears that in this case the logarithmic factor can be removed, giving
an $O(st)$ upper bound.
We view this result as complementary to our main
theorem, and therefore have included its short proof in the appendix to our paper.

\vspace{4mm}

We close this section by comparing our approach to Wagner's, as the two proofs share some
similarities.  This will also lead us to introduce one of the the main tools that we will
use later.  Both proofs find a structured subgraph $G' \subset G$ in which one may direct
some edges in such a way that directed paths correspond to rainbow paths.  Wagner's
approach imposes more structure on $G'$, which simplifies the task of finding directed
paths, but this comes at the cost of substantially reducing $|G'|$.  In particular, his $|G'|$ is
$s$ times smaller than $|G|$, which contributes a factor of $s$ to his ultimate bound
$O(s^2 t)$.  We instead construct a subgraph with weaker properties, but of order which is
a constant fraction of $|G|$ (hence saving a factor of $s$ in the bound).  This
complicates the problem of finding the appropriate directed paths, which we overcome by
using the following notion of \emph{median order}:

\begin{definition*}
  Let $G$ be a graph, some of whose edges are directed.  Given a linear ordering $\sigma =
  (v_1, \ldots, v_n)$ of the vertex set, a directed edge $\overrightarrow{v_i v_j}$ is
  said to be \textbf{forward} if $i < j$, and \textbf{backward} if $i > j$.  If $\sigma$
  maximizes the number of forward edges, it is called a \textbf{median order}.
\end{definition*}

Median orders were originally studied for their own sake; for example, finding a median
order for a general digraph is known to be NP-hard. More recently,  Havet and Thomass\'e
\cite{HT} discovered that they are a powerful tool for inductively building directed paths in
tournaments (complete graphs with all edges directed).  Their paper
used this method to produce a short proof of Dean's conjecture (see
\cite{DL}) that every tournament has a vertex whose second
neighborhood is at least as large as the first. Havet and Thomass\'e
also used a median order to attack Sumner's conjecture (see
\cite{W-Sumner}) that every tournament of order $2n-2$ contains every
oriented tree of order $n$. They succeeded in proving this conjecture
precisely for arborescences (oriented trees where every vertex except the
root has indegree one) and within a factor-2 approximation for
general oriented trees.

The only property that they used is the so-called \emph{feedback property}: if $\sigma =
(v_1, \ldots, v_n)$ is a median order, then for any pair $i < k$, the number of forward
edges $\overrightarrow{v_i v_j}$ with $i < j \leq k$ is at least the number of backward
edges $\overleftarrow{v_i v_j}$ with $i < j \leq k$.  This property is easily seen to be
true by comparing $\sigma$ to the linear order $\sigma' = (v_1, v_2, \ldots, v_{i-1},
v_{i+1}, v_{i+2}, \ldots, v_k, v_i, v_{k+1}, v_{k+2}, \ldots, v_n)$, which was obtained
from $\sigma$ by moving $v_i$ to the position between $v_k$ and $v_{k+1}$.
As an illustration of the simple power of this property, consider the following well-known
result, which we will in fact use later in our proof.

\begin{claim*}
   Every tournament has a directed Hamiltonian path.
\end{claim*}

\noindent {\bf Proof.}\, Let $\sigma = (v_1, \ldots, v_n)$ be a median
order.  For each $i$, the edge $v_i v_{i+1}$ is directed in
some way because we have a tournament, and so the feedback property
applied with $k=i+1$ implies that it is in fact a forward edge
$\overrightarrow{v_i v_{i+1}}$.  Therefore, $(v_1, \ldots, v_n)$ is
already a directed path, so we are done. \hfill $\Box$

\section{Proof of Theorem \ref{thm:main}}

Let us assume for the sake of contradiction that $n \geq 3600st \log_2 t$, but there is no
monochromatic copy of $S$ and no rainbow $t$-edge path.  In the past papers on
the constrained Ramsey numbers of trees \cite{JJL, W}, and in this work, the following
well-known crude lemma is the only method used to exploit the nonexistence of a
monochromatic $S$. Its proof follows from the observation that every graph with average degree
$\geq 2s$ has an induced subgraph with minimum degree $\geq s$.

\begin{lemma}
  \label{lem:no-mono-edge-bound}
  Let $S$ be a tree with $s$ edges, and let $G = (V, E)$ be a simple graph, edge-colored
  with $k$ colors, with no monochromatic subgraph isomorphic to $S$.  Then $|E| < ks|V|$.
\end{lemma}

The rest of the proof of our main theorem roughly separates into two
main steps.  First, we find a structured subgraph $G' \subset G$ whose
order is within a constant factor of $|G|$.  We aim to
arrive at a contradiction by using $G'$ to construct a rainbow
$t$-edge path.  The structure of $G'$ allows us to direct many of its
edges in such a way that certain directed paths are automatically
rainbow.  In the second step, we use the median order's feedback
property to find many directed paths, which we then connect into a single long rainbow
path using the structure of $G'$.

\subsection{Passing to a directed graph}
\label{sec:structured-subgraph}

In this section, we show how to find a nicely structured subset of our
original graph, at a cost of a constant factor reduction of the size
of our vertex set.  We then show how the search for a rainbow path
reduces to a search for a particular collection of directed paths.

\begin{lemma}
  \label{lem:star-color-set} Let $S$ be a tree with $s$ edges and $t$
  be a positive integer.  Let $G$ be a complete graph on $n \geq
  310st$ vertices whose edges are colored (in any number of colors)
  in such a way that $G$ has no monochromatic copy of $S$ and no
  rainbow $t$-edge path.

  Then there exists a set $R$ of ``rogue colors'', a subset $U \subset V(G)$ with a
  partition $U = U_1 \cup \cdots \cup U_r$, an association of a distinct color $c_i \not \in
  R$ to each $U_i$, and an orientation of some of the edges of the induced subgraph $G[U]$, which satisfy the
  following properties:

  \begin{description}
  \item[(i)] $|U| > \frac{n}{10}$, $|R| < t$, and each $|U_i| < 2s$.
  \item[(ii)] For any edge between vertices $x \in U_i$ and $y \in U_j$ with $i \neq j$,
    if it is directed $\overrightarrow{xy}$, its color is $c_i$, if it is directed
    $\overrightarrow{yx}$, its color is $c_j$, and if it is undirected, its color is in $R$.
  \item[(iii)] For any pair of vertices $x \in U_i$ and $y \in U_j$ (where $i$ may equal $j$),
    there exist at least $t$ vertices $z \not \in U$ such that the
    color of the edge $xz$ is $c_i$ and the color of $yz$ is $c_j$.
  \end{description}
\end{lemma}

\noindent {\bf Proof.}\, Let us say that a vertex $v$ is
\emph{$t$-robust}\/ if for every set $F$ of $t$ colors, there are at
least $n/5$ edges adjacent to $v$ that are not in any of the colors in
$F$.  Let $V_1 \subset V$ be the set of $t$-robust vertices.
We will need a lower bound on $|V_1|$, but this is just a special case
of Lemma \ref{lem:local-constraints} (whose short proof appears in the appendix).
Substituting the values $a=n/5$ and $b=t$ into this lemma gives
$|V(G) \setminus V_1| \leq 2(ts+n/5) <4n/5$ and so $|V_1| \geq n/5$.

Now, let $P$ be a rainbow path of maximal length in $G$ such that at least one of its endpoints is
in $V_1$, and let $R$ be the set of colors of the edges of $P$.  $|R| < t$ by the
assumption that $G$ contains no rainbow $t$-edge path.  Let $B$ be the set of
vertices that have at least $n/15$ adjacent edges in a color in $R$.  Then $G$ contains at least $|B|n/30$ edges with colors in $R$.
On the other hand, by applying Lemma
\ref{lem:no-mono-edge-bound} to the subgraph of $G$ determined by taking only the edges
with colors in $R$, we see that the total number of edges in $G$ with color in $R$ is
less than $|R| s n < tsn$, and so $|B| < 30st$.

Let $v$ be an endpoint of $P$ which is in $V_1$. Define the sets
$U_i$ as follows. Let $\{c_1, \ldots, c_r\}$ be the non-$R$ colors
that appear on edges adjacent to $v$. For each such $c_i$, let $U_i$ be the
set of vertices that are not in $B$ or $P$, and are adjacent to $v$ via an edge of color $c_i$.
Set $U = U_1 \cup \ldots \cup U_r$.  We
claim that these designations will satisfy the desired properties.

Consider arbitrary vertices $x \in U_i$ and $y \in U_j$, where $i$ may
equal $j$.  Since $n \geq 30t$, we have $|V_1 \setminus P| \geq
(2/15)n + t$, so $x, y \not \in B$ imply that there are at least $t$
choices for $z \in V_1 \setminus P$ such that both of the edges $xz$
and $yz$ have colors not in $R$.  Each such $xz$ must be in color
$c_i$, or else the extension of $P$ by the path $vxz$ would contradict
maximality of $P$, and similarly each $yz$ must be in color $c_j$.
Finally, $U \cap V_1 = \emptyset$, because any $w \in U \cap V_1$
would allow us to extend $P$ by the edge $vw$.  Therefore, we have
property (iii).

For property (ii), let $x \in U_i$ and $y \in U_j$, with $i \neq j$.  By property (iii),
there exists some vertex $z \in V_1 \setminus P$ such that $yz$ is in color $c_j$.  Then
the color of the edge $xy$ must be in $\{c_i, c_j\} \cup R$, or else the extension of $P$
by the path $vxyz$ would contradict its maximality.  Therefore, we can leave it undirected
if the color is in $R$, and direct it according to property (ii) otherwise.

It remains to show property (i).  We already established that $|R|<t$ and we can obtain the first inequality
from the construction of $V_1$ as follows.
Since $v \in V_1$, it is $t$-robust and so is adjacent to at least $n/5$ edges in non-$R$ colors.
Therefore, using that $n \geq 310st$ we get
$$|U| \geq n/5-|B|-|P| > n/5- 30st - t \geq n/10.$$
For the last part, assume for
the sake of contradiction that $|U_i| \geq 2s$.  Arbitrarily select a
subset $U_i' \subset U_i$ of size $2s$, and consider the subgraph $G'$
formed by the edges of color $c_i$ among vertices in $U_i' \cup V_1$.  By the
argument that showed property (iii), every edge between $U_i'$ and
$V_1$ has color in $R \cup \{c_i\}$.  So, since $U_i \cap
B = \emptyset$, every $x \in U_i'$ is adjacent to at least $|V_1| -
n/15 \geq (2/3)|V_1|$ vertices in $V_1$ via edges of color $c_i$.
Therefore, using that $|V_1|/3 \geq 2s =|U_i'|$, we have
$$e(G') \geq |U_i'| \cdot (2/3)|V_1| = (4/3)s|V_1| =
s(|V_1| + (1/3)|V_1|) \geq s \cdot v(G').$$
Then Lemma \ref{lem:no-mono-edge-bound} implies that $G'$
has a copy of tree $S$, which is monochromatic by construction of
$G'$. This contradiction completes the proof of the last part of property (i), and the proof
of the lemma. \hfill $\Box$

\vspace{4mm}

The partially directed subgraph of Lemma \ref{lem:star-color-set}
allows us to find rainbow paths by looking for certain types of
directed paths.  For example, if Lemma \ref{lem:star-color-set}
produces $U = U_1 \cup \ldots \cup U_m$, and we have found a directed
path $\overrightarrow{v_1 \ldots v_t}$ with each $v_i$ from a distinct
$U_j$, then it must be rainbow by property (ii) of the construction of $U$.  Unfortunately,
the following simple construction of a set with no monochromatic $S$
that satisfies the structure conditions of Lemma
\ref{lem:star-color-set} shows that we cannot hope to obtain our
rainbow path by searching for a single (long) directed path:
re-index $\{U_i\}$ with ordered pairs as
$\{U_{ij}\}_{i=1,j=1}^{h,t-1}$, let all $|U_{ij}| = s/3$, for all $1
\leq i < j \leq h$ direct all edges between any $U_{i,*}$ and
$U_{j, *}$ in the direction $U_{i, *} \rightarrow U_{j, *}$,
and for all $1 \leq i \leq j < t$ and $1 \leq k \leq h$
color all edges between $U_{k, i}$ and $U_{k, j}$ in color $r_i$,
where $R = \{r_1, \ldots, r_{t-1}\}$.  Although it is clear that this
construction has no directed paths longer than $h =
O\big(\frac{|U|}{st}\big)$, it is also clear that one could build a
long rainbow path by combining undirected edges and directed paths.
The following lemma makes this precise.

\begin{lemma}
  \label{lem:linking}
  Let $U = U_1 \cup \ldots \cup U_m$ be a subset of $V(G)$ satisfying
  the structural conditions of Lemma \ref{lem:star-color-set}, and let
  $R$ be the associated set of rogue colors.  Suppose we have a
  collection of $r < t$ edges $\{u_iv_i\}_{i=1}^r$ in $G[U]$ whose colors are
  distinct members of $R$, and a collection of directed paths
  $\{P_i\}_{i=0}^r$, with $P_i$ starting at $v_i$ for $i \geq 1$.
  Then, as long as all of the vertices in $\{u_1, \ldots, u_r\} \cup
  P_0 \cup \ldots \cup P_r$ belong to distinct sets $U_j$, there exists a
  rainbow path in $G$ that contains all of the paths $P_i$ and all of
  the edges $u_iv_i$.  In short, one can link all of the fragments
  together into a single rainbow path.
\end{lemma}

\noindent {\bf Proof.}\, For each $i$, let $w_i$ be the final vertex
in the directed path $P_i$.  For a vertex $v \in U$, let $c(v)$ denote
the color associated with the set $U_i$ that contains $v$.  Since $r<t$, by
property (iii) of Lemma \ref{lem:star-color-set}, for each $0 \leq i < r$, there exists a distinct
vertex $x_i \not \in U$ such that the color of the edge $w_ix_i$ is
$c(w_i)$ and the color of the edge $x_iu_{i+1}$ is $c(u_{i+1})$. These vertices $x_i$ together with paths
$P_i$ form a
path $P$ of distinct vertices, which we will now prove is rainbow.

Note that our linking process only adds edges with non-rogue colors.
Since we assumed that the $u_iv_i$ have distinct colors, and the edges
of the $P_i$ are directed paths (hence with non-rogue colors), it is
immediate that $P$ has no duplicate rogue colors.  Also note that
among all directed edges in $\{P_i\}$, no pair of edges has initial
endpoint in the same $U_j$ by assumption.  Therefore, they all have
distinct colors by property (ii) of Lemma \ref{lem:star-color-set}.  Furthermore, none of these directed
edges originates from any point in any $U_j$ that intersects $\{u_1,
\ldots, u_r, w_1, \ldots, w_r\}$, so they share no colors with $C' =
\{c(u_1), \ldots, c(u_r), c(w_1), \ldots, c(w_r)\}$; finally the
colors in $C'$ are themselves distinct because of our assumption that
all vertices in $\{u_1, \ldots, u_r\} \cup P_0 \cup \ldots \cup P_r$
come from distinct $U_j$.  This proves that $P$ is a rainbow
path. \hfill $\Box$

\subsection{Finding directed paths}
\label{sec:build}

Now apply Lemma \ref{lem:star-color-set}, and let us focus on $U = U_1
\cup \ldots \cup U_m$, which is of size at least $n/10 \geq 360st
\log_2 t$.  Let us call the edges which have colors in $R$ ``rogue
edges.''  Note that if all edges were directed (i.e., we have a
tournament), then the existence of a long directed
path follows from the fact that every tournament has a Hamiltonian
path.  The main issue is the presence of undirected edges.  We treat
these by observing that each undirected edge must have one of $|R|<t$ rogue
colors. Then, we use the machinery of median orders to
repeatedly halve the number of rogue colors, at the expense of losing
only $O(st)$ vertices each time.  This is roughly the source
of the $\log_2 t$ factor in our final bound.

Now we provide the details to make the above outline rigorous.
Applying Lemma \ref{lem:no-mono-edge-bound} to the subgraph consisting
of all rogue edges, we see that the average rogue degree (number of
adjacent rogue edges) in $G[U]$ is at most $2s|R| \leq 2st$.  So, we
can delete all vertices in $U$ with rogue degree at least $4st$ at a
cost of reducing $|U|$ by at most half.  Let us also delete all edges
within each $U_i$ for the sake of clarity of presentation.  Note that
the reduced $U$ still has size at least $180st \log_2 t$.  Let
$\sigma$ be a median order for this partially directed graph induced
by $U$.  We will use the feedback property to find directed paths (and
this is the only property of median orders that we will use).

We wish to apply Lemma \ref{lem:linking}, so let us inductively build
a matching of distinct rogue colors, and accumulate a bad set that we
call $B$ and which we will maintain and update through the entire proof in this
section.  Let $v_1$ be the first vertex according to $\sigma$, and
start with $B = U_\ell$, where $U_\ell \ni v_1$.  Proceed through the
rest of the vertices in the order of $\sigma$.  For the first stage,
stop when we first encounter a vertex not in $B$ that is adjacent to a
rogue edge (possibly several) whose other endpoint is also not in $B$,
and call the vertex $v_2$.  Arbitrarily
select one of those rogue edges adjacent to $v_2$, call it $e_2$, and
call its color $r_2$.  Since we deleted all edges inside $U_i$, $e_2$
links two distinct $U_i$ and $U_j$.  Add all vertices of $U_i$ and
$U_j$ to $B$.  In general, if we already considered all vertices up to
$v_k$, continue along the median order (starting from the vertex
immediately after $v_k$) until we encounter a vertex not in $B$ that
is adjacent to an edge of a new rogue color which is not in $\{r_2,
\ldots, r_k\}$, again with other endpoint also not in $B$.  Call
that vertex $v_{k+1}$, the edge $e_{k+1}$, and
its color $r_{k+1}$.  Add to $B$ all the vertices in the two sets
$U_i$ which contain the endpoints of $e_{k+1}$.  Repeat this procedure
until we have gone through all of the vertices in the order.  Suppose
that this process produces vertices $v_1, v_2,
\ldots, v_f$.  Then, to simplify the statements of our lemmas, also
let $v_{f+1}$, $v_{f+2}$, \ldots $v_{2f}$ refer to the final vertex in
the median order.  Our goal will be to find directed paths from
$\{v_i\}_{i=1}^f$, which via Lemma \ref{lem:linking}, will then extend
to a rainbow path.

Note that if $|B| \geq 2st$, then the number of vertices in $\{v_1\} \cup e_2 \cup \ldots
\cup e_f$ is at least $t$ by property (i).  Thus, applying Lemma \ref{lem:linking}  with
$P_i = \{v_i\}$, we can produce a rainbow path with at least $t$ edges.
Therefore, we may assume for the rest of this proof that $|B| < 2st$.  Also observe
that this argument implies that $f \leq t/2$.

The following technical lemma will help us to build the directed paths
$\{P_i\}$.

\begin{lemma}
  \label{lem:median-order-always-extend-if-st} Let $v$ be a vertex in
  $U$, and let $B$ be a set of size at most $2st$.  Then, among the
  $8st$ vertices immediately following $v$ in the median order, there is always
  some $w \not \in B$ such that there is a directed edge from $v$ to
  $w$.
\end{lemma}

\noindent {\bf Proof.}\, First, note that since we deleted all
vertices with rogue degree at least $4st$, more than $4st$ of the
$8st$ vertices immediately after $v$ are connected to $v$ by a
directed edge.  Since we have a median order, the feedback property
implies that only at most half of those edges can be directed back towards
$v$; therefore, there are more than $2st$ vertices there that have a
directed edge from $v$.  Since $|B| < 2st$, at least one of these
vertices will serve as our $w$.  \hfill $\Box$

\vspace{4mm}

Consider the vertices $v_1, v_2, v_4, \ldots, v_{2^{\lfloor \log_2 2f
\rfloor}}$.  Since we already established that $f \leq t/2$, this
is a list of at most $t+1$ vertices, the first and last
    of which are also the first and last vertices in the
    median order.  Since $U$ still has at least $180st\log_2 t$ vertices,
the pigeonhole principle implies that there must be
    some pair of vertices $\{v_\ell, v_{2\ell}\}$ in that list such
    that the number of vertices between them in the median order is at
    least $180st-2$.  Thus, the following lemma will provide the desired
    contradiction.

\begin{lemma}
  \label{lem:dyadic-build} If there is any $1 \leq \ell \leq f$ such
  that there are at least $176st$ vertices between $v_\ell$ and
  $v_{2\ell}$ in the median order, then $G$ has a rainbow $t$-edge
  path.
\end{lemma}

\noindent {\bf Proof.}\, Suppose we
have an $\ell$ that satisfies the conditions of the lemma.  Let $S_1$
be the first $8st$ vertices immediately following $v_\ell$ in the median
order, and let $S_2$ be the next $168st$ vertices in the median order.

Let us first build for every $i \leq \ell$ a
directed path $P_i$ from $v_i$
to $S_1$ by repeatedly applying Lemma
\ref{lem:median-order-always-extend-if-st}. Start with each such $P_i
= \{v_i\}$, and as long as one of those $P_i$ does not reach $S_1$,
apply the lemma to extend it forward to a new vertex $w$, and add the
set $U_k$ containing $w$ to the set of bad vertices $B$.  If at any stage we have
$|B| \geq 2st$,
we can immediately apply Lemma \ref{lem:linking} to find a rainbow
path with at least $t$ edges, just as in the argument directly
preceding the statement of Lemma
\ref{lem:median-order-always-extend-if-st}.  So, suppose that does not
happen, and let $\{w_i\}_1^\ell \subset S_1$ be the endpoints of these
paths.  We will show that we can further extend these paths into $S_2$
by a total amount of at least $t$, in such a way that we never use
two vertices from the same set $U_k$.  This will complete our proof
because Lemma \ref{lem:linking} can link them into a rainbow path
with at least $t$ edges.

Recall that all of the sets $U_i$ had size at most $2s$.  Therefore,
we can partition $S_2$ into  disjoint sets $U_j'$ with
$2s \leq |U_j'| \leq 4s$, where each $U_j'$ is obtained by taking a union of
some sets $U_i \cap S_2$.
We will design our path extension process such that it uses at most one vertex from
each $U_j'$, and hence it will also intersect each $U_k$ at most
once.  We use the probabilistic method to accomplish this.

Perform the following randomized algorithm, which will build a
collection of sets $\{T_i\}_{i=1}^\ell$.  First, activate each $U_j'$ with
probability $1/8$.  Next, for each activated $U_j'$, select one of its
vertices uniformly at random, and assign it to one of the $T_i$, again
uniformly at random.  For each $i \leq \ell$, let $T_i'$ be
obtained from $T_i$ by deleting every vertex in $B$, and every vertex
that is not pointed to by a directed edge from $v_i$.  Finally, let $T_i''$ be
derived from $T_i'$ by (arbitrarily) deleting one vertex from every
rogue edge with both endpoints in $T_i'$.  Observe that now each
$T_i''$ spans a tournament, so as we saw at the end of the introduction,
it contains a directed Hamiltonian path $P_i'$.  Since
$w_i$ has a directed edge to every vertex in $T_i''$, this $P_i'$ can
be used to extend $P_i$.  Therefore, if we can construct sets $T_i''$ such
that $|T_1''| + \cdots +
|T_\ell''| \geq t$, we will be done.

Fix an $i \leq \ell$, and let us compute $\E{|T_i'|}$.  By the
feedback property of a median order, the number of (backward) directed
edges from $S_2$ to $\{w_i\}$ is at most half of the number of
directed edges between $w_i$ and the vertices in $S_1 \cup S_2$ which
follow it in the median order.  Since the latter number is bounded by
$|S_1 \cup S_2| = 176st$, the number of directed edges from $S_2$ to
$w_i$ is at most $88st$.  Also, the number of rogue edges between
$S_2$ and $\{w_i\}$ is at most $4st$ because by construction all rogue
degrees are bounded by $4st$.  Therefore, the number of (forward) directed edges
from $w_i$ to $S_2$ is at least $168st - 88st - 4st = 76st$.  Since we
will delete up to $2st$ vertices which were from $B$, the number of
directed edges from $w_i$ to vertices in $S_2 \setminus B$ is at least
$74st$.  Suppose $\overrightarrow{w_ix}$ is one of these directed
edges, and suppose that $x \in U_k'$.  The probability that $x$ is
selected for $T_i$ is precisely $\frac{1}{8 \cdot \ell \cdot |U_k'|}
\geq \frac{1}{8 \cdot \ell \cdot 4s}$, and by construction of $x$,
we know that if it is selected for $T_i$, it will also remain in
$T_i'$.  Therefore, by linearity of expectation,
\begin{displaymath}
  \E{|T_i'|} \geq 74st \cdot \frac{1}{8 \cdot \ell \cdot 4s} = \frac{37}{16} \frac{t}{\ell}
\end{displaymath}
To bound $\E{|T_i'| - |T_i''|}$, observe that the number of rogue
colors in the graph spanned by $S_2 \setminus B$ is less than $2\ell$,
by construction of the sequence $\{v_i\}$.  Therefore, Lemma
\ref{lem:no-mono-edge-bound} implies that there are less than $2\ell
\cdot s \cdot 168st$ rogue edges spanned by $S_2 \setminus B$.  Consider
one of these rogue edges $xy$.
If we select both of its endpoints for $T_i$,
it will contribute at most 1 (possibly 0) to $|T_i'| - |T_i''|$;
otherwise it will contribute 0.  Above, we already explained
that the probability that the vertex $x \in U_j'$ is selected for
$T_i$ is precisely $\frac{1}{8 \cdot \ell \cdot |U_k'|} \leq
\frac{1}{8 \cdot \ell \cdot 2s}$.  If $x$ and $y$ come from distinct
$U_j'$, then the probabilities that they were both selected for $T_i$
are independent, and otherwise it is
impossible that they both were selected.  Hence
\begin{displaymath}
  \E{|T_i'| - |T_i''|} \leq 2\ell \cdot s \cdot 168st \cdot \left( \frac{1}{8 \cdot \ell \cdot 2s} \right)^2 = \frac{21}{16} \frac{t}{\ell}
\end{displaymath}
Therefore, by linearity of expectation, $\E{|T_i''|} \geq t/\ell$, and
thus $\E{|T_1''| + \cdots + |T_\ell''|} \geq t$.  This implies that
there exists an instance of
our random procedure for which $|T_1''| + \cdots + |T_\ell''| \geq t$, so we are
done. \hfill
$\Box$

\section{Concluding remarks}

In our proof, we apply Lemma \ref{lem:star-color-set} to produce a
structured set $U = U_1 \cup \ldots \cup U_m$ of size $\Omega(st \log
t)$.  The argument in Section \ref{sec:build} is quite wasteful
because, in particular, Lemma \ref{lem:dyadic-build} attempts to build
a collection of directed paths with total length $\geq t$, but
essentially using only the vertices in the median order between
$v_{\ell}$ and $v_{2 \ell}$.  This dissection of the vertex set into
dyadic chunks incurs the logarithmic factor in our bound.  We believe that
with a better argument, one might be able to complete the proof using
a structured set $U = U_1 \cup \ldots \cup U_m$ of size only
$\Omega(st)$.  If this were indeed possible, then Lemma
\ref{lem:star-color-set} would immediately imply that $f(S, P_t) =
O(st)$, because one loses only a constant factor in passing from
$V(G)$ to $U$.

It would be very interesting to obtain a better bound on $f(S, T)$ for
general trees $T$.  Our approach, based on the median order, seems
particularly promising here since it might be combined with the
following result of Havet and Thomass\'{e} \cite{HT} on Sumner's
conjecture: every tournament of order $4n$ contains every directed tree
of order $n$ as a subgraph.

Constrained Ramsey Numbers


Orthogonal colorings of the sphere

Abstract: An orthogonal coloring of the two-dimensional unit sphere $\mathbb{S}^2$, is a partition of $\mathbb{S}^2$ into parts such that no part contains a pair of orthogonal points, that is, a pair of points at spherical distance $\pi/2$ apart. It is a well-known result that an orthogonal coloring of $\mathbb{S}^2$ requires at least four parts, and orthogonal colorings with exactly four parts can easily be constructed from a regular octahedron centered at the origin. An intriguing question is whether or not every orthogonal 4-coloring of $\mathbb{S}^2$ is such an octahedral coloring. In this paper we address this question and show that if every color class has a non-empty interior, then the coloring is octahedral. Some related results are also given.

\section{Introduction} \label{intro}

Let $\mb{S}^2$ denote the unit sphere centered at the origin in $\mathbb{R}^3$. A partition of $\mb{S}^2$ into $k$ non-empty parts is called a \df{$k$-coloring} and we refer to the parts as \df{color classes}. We call a $k$-coloring, $\mb{S}^2 = \ess 1 \cup \cdots \cup \ess k$, \df{orthogonal} if $u \cdot v \neq 0$ for any pair $u$ and $v$ which belong to the same color class $\ess i$. Here $u \cdot v$ denotes the standard dot product in $\mathbb{R}^3$.

It is a well-known result that an orthogonal coloring of $\mb{S}^2$ requires at least {\em four} parts\footnote{Further remarks and historical notes will be given at the end of this section}, and a typical orthogonal 4-coloring of $\mb{S}^2$ can be obtained as follows. Define subsets
\[\def1.4{1.4}
\begin{array}[h]{cccccc}
A_1 & \coloneqq & \{(x,y,z) \in \mb{S}^2 \: : &  x> 0, & y\geq 0, &  z \geq 0 \}, \\
A_2 & \coloneqq & \{(x,y,z) \in \mb{S}^2 \: : & x\leq 0, & y> 0, & z\geq 0\}, \\
A_3 &  \coloneqq & \{(x,y,z) \in \mb{S}^2 \: : & x\leq 0,&  y\leq 0, & z >0\}, \\
A_4 &  \coloneqq & \{(x,y,z) \in \mb{S}^2 \: : & x> 0,  &y < 0, & z > 0\},
\end{array}
\] and set $\ess i \coloneqq  A_i \cup (-A_i)$. It is easily seen that this gives us an orthogonal 4-coloring of $\mb{S}^2$. Moreover, this 4-coloring can be modified in (uncountably) many ways by carefully moving some boundary points from one color class to another, but we would like to consider all of these colorings to be ``equivalent'' in some sense.

A \df{regular octahedron} is the convex hull of the set of vectors $\{\raisebox{.25ex}{\small $\pm$} u_1,\raisebox{.25ex}{\small $\pm$} u_2,\raisebox{.25ex}{\small $\pm$} u_3\}$, where $u_1, u_2, u_3$ is an orthonormal basis for $\mathbb{R}^3$. Given a subset $S\subset \mb{S}^2$, let $\ell(S)$ denote the set of lines which  pass through the origin and a point from $S$. We call the set $S$ \df{octahedral} if all lines in $\ell(S)$ pass through the closure of two opposite faces of a  regular octahedron. We can now give a characterization of the type of 4-colorings described in the previous paragraph: A 4-coloring of $\mb{S}^2$ is \df{octahedral} if and only if each color class is octahedral. Notice that an octahedral coloring is not necessarily orthogonal, and that in any octahedral coloring, each color class is octahedral with respect to the same fixed regular octahedron.

Now the following natural and intriguing question presents itself.

\begin{sprm*}
Does there exist an orthogonal 4-coloring of $\:\mb{S}^2$ which is not octahedral ?
\end{sprm*}

We are not able to answer this question, but we find it believable that such colorings exist. The goal of this paper is to give some alternative characterizations of orthogonal 4-colorings of $\mb{S}^2$ which {\em are} octahedral. These will be in terms of certain local conditions on the color classes, and may therefore provide further insights into orthogonal 4-colorings of $\mb{S}^2$.

Our first condition is a topological one. Let $S$ be an arbitrary subset of $\mb{S}^2$. We say that a non-empty open subset $D\subset \mb{S}^2$ is a \df{dominating set} of $S$, or that $D$ dominates $S$, if every great circle in $\mb{S}^2$ which intersects $D$ also intersects $S$. Notice that if $D$ dominates $S$, then $-D$ also dominates $S$. Notice also that if $D$ is an open set contained in $S$, then $D$ dominates $S$, but the converse does not hold in general. In particular, a zero-measure set $S$ can have a dominating set $D$, which is not contained in $S$ since $D$ must have positive measure. We may now state our first result.

\begin{theorem}\label{domination}
  An orthogonal 4-coloring of $\:\mb{S}^2$ is octahedral if and only if every color class $\ess i$ has a dominating set $D_i$.
\end{theorem}

Our second condition is a combinatorial one. Let $S$ be an arbitrary subset of $\mb{S}^2$. We say that $S$ is \df{locally octahedral} if every subset $S'\subset S$ such that $|S'| \leq 3$ is octahedral. Equivalently, this means that $(u \cdot v) (u \cdot  w) (v \cdot  w) \geq 0$ for any $u,v,w \in S$. We have the following.

\begin{theorem}\label{weak}
An orthogonal 4-coloring of $\:\mb{S}^2$ is octahedral if and only if each color class is locally octahedral.
\end{theorem}

The proof of Theorem \ref{domination} uses elementary methods and is given in Section \ref{P1}. Our proof of Theorem \ref{weak} is given in Section \ref{P2}  and relies on Theorem \ref{domination}. We conclude with some final remarks in Section \ref{C}.

\bigskip

{\bf {\em Remarks and historical notes.}}
The study of orthogonal colorings of $\mb{S}^2$ implicitly dates back to the 1960's and the celebrated theorem  of Kochen and Specker \cite{kochen}. They presented a finite subconfiguration $X\subset \mb{S}^2$ which is {\em KS-uncolorable}, which in particular implies that  there are no orthogonal 3-colorings of $\mb{S}^2$. Kochen and Specker's original configuration consisted of 117 vectors, and more recently Peres \cite{peres} found a configuration of 33 vectors. The following configuration of 13 vectors was communicated to us by Evan DeCorte \cite{edc}, and the reader is invited to check that it results in a graph with chromatic number 4.
\[
\begin{array}{ccccc}
  (1,0,0) \; ,  & & (0,1,0) \; ,  &  & (0,0,1) \; ,   \\
  (0,1,1) \; , & & (1,0,1) \; , &  & (1,1,0)  \; , \\
   (0,1,-1) \; , &  & (1,0,-1) \; ,   &  & (1,-1,0) \; ,  \\
   (-1,1,1) \; ,  &  & (1,-1,1) \; , &  & (1,1,-1)  \; , \\
& & (1,1,1) \; . & &
\end{array}
\]

Around the same time as the Kochen--Specker theorem was discovered, Erd{\H o}s made several conjectures regarding colorings of $\mb{S}^2$ (and other spaces as well). An elementary proof that an orthogonal coloring of $\mb{S}^2$ requires at least 4 colors was given by Simmons \cite{simmons} where an explicit octahedral coloring is also described.

From another point of view, Hales and Straus \cite{hales} studied colorings of the projective plane $\mathbb{F}P^2$ in which any line contains at most two distinct colors. They showed that such colorings are in one-to-one correspondence with the non-Archimedean valuations on $\mathbb{F}$. By setting $\mathbb{F} = \mathbb{R}$, Godsil and Zaks \cite{godsil} used this result to give a different proof of the fact that $\mb{S}^2$ does not admit an orthogonal 3-coloring. In addition, they showed that the 2-adic valuation on $\mathbb{Q}$ produces an orthogonal 3-coloring of the {\em rational unit sphere}, $\mb{S}^2 \cap {\mathbb{Q}^3}$, in which each color class is dense in $\mb{S}^2$.

Colorings of the $d$-dimensional unit sphere $\mathbb{S}^d$ have also been considered for $d>2$. It was shown by Lov{\'a}sz \cite{lov}, using topological techniques, that for any $-1 < \alpha < 1$ and any $d$-coloring of $\mathbb{S}^d$ there is a color class that contains a pair of vectors $u$ and $v$ such that $u\cdot v = \alpha$. This result was significantly improved by Raigorodskii \cite{raig} who showed, using linear algebra techniques, that the same conclusion holds for $k$-colorings of $\mathbb{S}^d$ where $k=k(d)$ grows exponentially.

The problems on orthogonal colorings of $\mb{S}^2$ (and $\mb{S}^d$) belong to a larger class of questions concerning colorings of graphs arising from metric spaces. Among these,  the arguably most famous one is the Hadwiger--Nelson problem which asks for the minimum number of colors needed to color the points of $\mathbb{R}^2$ such that no two points at distance 1 apart have the same color. It is known that this number is at least 4 and at most 7, but the exact value may depend on the choice of axioms for set theory, as was demonstrated by Shelah and Soifer \cite{soifer1, soifer2}. Several variations of this problem have been considered, and by imposing additional conditions on the color classes the lower bound can be improved. For instance, Falconer \cite{falconer} showed that if every color class is Lebesgue measurable, then at least 5 colors are needed, while Woodall \cite{woodall} showed that if the color classes are bounded by Jordan curves, then at least 6 colors are needed. For more information about recent results, developments, and further directions of research we refer the reader to Raigorodskii's survey articles \cite{raiS1, raiS2} as well as Soifer's colorful book \cite{soifs}.

\section{Proof of Theorem \ref{domination}}\label{P1}

Before we get to the proof let us recall the notion of spherical convexity. Any pair of non-antipodal points $u$ and $v$ in $\mb{S}^2$ are connected by a unique \df{geodesic arc} contained in a unique \df{great circle} passing through $u$ and $v$. This allows us to define convexity for subsets of $\mb{S}^2$ which are contained in an open hemisphere $H\subset \mb{S}^2$. In fact, central projection into an affine plane parallel to the boundary of $H$ provides a homeomorphism between $H$ and $\mathbb{R}^2$ which preserves convexity. Thus a set $S\subset \mb{S}^2$ is convex if and only if it does not contain antipodal points and it contains, with each pair of its points, the small arc of the great circle determined by them. {(The reader may consult for instance \cite[Section 9]{dgk} for more about spherical convexity, where our type of convex sets are called {\em strongly convex}.)}

\bigskip
We now start the proof of Theorem \ref{domination}. Let $\mb{S}^2 = \ess 1 \cup \ess 2 \cup \ess 3 \cup \ess 4$ be an orthogonal coloring where each color class has a dominating set. Our goal is to show that the coloring is octahedral. (The other direction is trivial.) Here is an obvious observation which will be used several times in our argument.

\begin{obs}\label{4c}
There is no great circle which intersects every color class.
\end{obs}

\subsection{The connected components of dominating sets}
Let $R_k$ denote the union of all sets $D_k$ which dominate $\ess k$, that is, the inclusion-maximal set which dominates $\ess k$. By our hypothesis and the definition of dominating sets, $R_k$ is a non-empty open set. The first basic observation is the following.
\begin{claim}
Every connected component of $R_k$ is an open convex set.
\end{claim}
\begin{proof} Notice that if $x$ and $y$ are distinct points which belong to the same connected component of $R_k$, then every great circle which separates $x$ from $y$ (that is, $x$ and $y$ are contained in opposite open hemispheres) must contain a point in $\ess k$.  In particular, $x$ and $y$ cannot be a pair of antipodal points: If this were the case, then {\em every} great circle must contain a point in $\ess k$, and it is easily seen that such a coloring can not be orthogonal.

We may therefore assume there is a unique geodesic arc $\alpha$ which connects the points $x$ and $y$. For a point $p \in \alpha$, every great circle which passes through $p$ must contain a point in $\ess k$, and it is easily seen that this also holds for any point in a sufficiently small $\varepsilon$-neighborhood of $p$. Thus $p$ is contained in a dominating set of $\ess k$, and consequently the entire segment $\alpha$ belongs to a dominating set of $\ess k$ which obviously belongs to the same connected component of $R_k$ as $x$ and $y$. \end{proof}

\subsection{The boundaries of dominating sets} For every $1 \leq k \leq 4$, consider a fixed connected component of $R_k$ and let $C_k$ denote its boundary. This gives us four convex curves $C_1$, $C_2$, $C_3$, and $C_4$. By definition, every great circle which intersects $C_k$ transversally contains a point of $\ess k$. The connected component of $R_k$ bounded by $C_k$ will be referred to as {\em the bounded region} of $C_k$.

We say that a point $p\in C_k$ has {\sc Type $j$} if every $\varepsilon$-neighborhood of $p$ contains a point $q\neq p$ such that $q \in\ess j$. Note that in general a point in $C_k$ can have more than one {\sc Type}, and since $C_k$ is the boundary of a connected component of $R_k$ we have the following.
\begin{obs} \label{j not k}
For every point $p\in C_k$, there exists a $j\neq k$ such that $p$ has {\sc Type $j$}.
\end{obs}

For every $j \neq k$ let $T_k(j)\subset C_k$ denote the set of points in $C_k$ of {\sc Type $j$}. By Observation \ref{j not k} we have $C_k = \bigcup_{j\neq k}T_k(j)$, and it is easily seen that each $T_k(j)$ is a closed subset of $C_k$. Therefore the following holds.

\begin{obs}\label{open arcs}
For any open arc $A\subset C_k$, there exists a $j\neq k$ such that the intersection $A\cap T_k(j)$ contains an open arc.
\end{obs}

We are now ready for the key step of the proof.

\begin{lemma} \label{crucial 1}
For every $j\neq k$, the set $T_k(j)\subset C_k$ has non-empty interior.
\end{lemma}
\begin{proof}
 For the sake of argument let us set $k=4$, and suppose, contrary to the claim, that the interior of $T_4(3)$ is empty. We split the argument into two cases.

{\em First case.} Suppose both $T_4(1)$ and $T_4(2)$ both have non-empty interiors. If there exists a point $p$ belonging to the bounded regions of $C_3$ and $C_4$, then we reach a contradiction as follows: Since $T_4(1)$ and $T_4(2)$ are both non-empty closed sets which cover $C_4$, there exists a point $q\in T_4(1)\cap T_4(2)$. The great circle which passes through $p$ and $q$, intersects $C_4$ in another point $r\neq q$ which we may assume has {\sc Type} 2. Thus there are points $q' \in \ess 1$ and $r' \in \ess 2$ sufficiently close to $q$ and $r$, respectively, such that the great circle which passes through $q'$ and $r'$ will intersect both $C_3$ and $C_4$ transversally. However, this great circle would intersect every color class, which contradicts Observation \ref{4c}.

We now assume the bounded regions of $C_3$ and $C_4$ are disjoint. Choose a point $p$ in the bounded region of $C_3$ such that the two great circles, $\gamma$ and $\gamma'$, which pass through $p$ and are tangent to $C_4$, each intersect $C_4$ in single points, say, $x$ and $x'$. Notice that the set of exceptional points where this property fails is contained in an  at most countable union of great circles. Thus the set of exceptional points has measure zero, so the existence of the point $p$ is guaranteed. The set $C_4\setminus \{x,x'\}$ consists of two disjoint open arcs, and any great circle through $p$ which intersects one of these arcs also intersects the other, and thus intersects $C_4$ transversally. If any of these two arcs contain a point of {\sc Type} 1 and {\sc Type} 2, then we may proceed as in the previous paragraph. The only other alternative is that one of the arcs consists only of points of {\sc Type} 1, while the other arc consists only of points of {\sc Type} 2, and again we may apply the argument from the previous paragraph. We can therefore conclude that it is impossible that both $T_4(1)$ {\em and} $T_4(2)$ have non-empty interiors (under the assumption that $T_4(3)$ has empty interior).

{\em Second case.} Suppose $T_4(2)$ has empty interior, which implies that $C_4 = T_4(1)$.  Choose a point $p$ which is orthogonal to both a point in the bounded region of $C_1$ {\em and} a point in the bounded region of $C_4$. Let $D$ be a sufficiently small open neighborhood of $p$ consisting of points which are simultaneously orthogonal to a point in the bounded region of $C_1$ {\em and} a point in the bounded region of $C_4$. Note that $D\subset \ess 2 \cup \ess 3$ since the orthogonal complement of a point in $D$ is a great circle which intersects $C_1$ and $C_4$ transversally. Without loss of generality we may assume that the point $p \in D$ belongs to  $\ess 2$, and we now show that this forces $D$ to contain a subset which dominates $\ess 2$.

To see why this is true, consider a great circle $\gamma$, which passes through $p$ and intersect $C_4$ transversally. By our assumption, $\gamma$ intersects $C_4$ in a point $q$ of {\sc Type} 1, and for any point $q'$ sufficiently close to $q$, the great circle passing through $p$ and $q'$ will intersect $C_4$ transversally. Therefore there exists a great circle $\gamma'$ passing through $p$ which contains points in $\ess 1$, $\ess 2$, and $\ess 4$. By Observation \ref{4c}, it follows that the open geodesic arc $\gamma'\cap D$ is contained in $\ess 2$. Applying this same argument to another great circle which passes through $p$ and intersects $C_4$ transversally, results in another open geodesic arc $\gamma''\cap D \subset \ess 2$. These two geodesic arcs cross at the point $p$, and the convex hull their union dominates $\ess 2$.

Without loss of generality we can assume that $C_2$ is the boundary of the connected component of $R_2$ which contains the point $p$. If $T_2(3)$ has non-empty interior, then we can find a point $q\in C_2$ of {\sc Type} 3, and a point $r\in C_4$ of {\sc Type 1}, such that the great circle passing through $q$ and $r$ intersects both $C_2$ and $C_4$ transversally. As before, if $q'$ and $r'$ are sufficiently close to $q$ and $r$, respectively, then the great circle through $q'$ and $r'$ will intersect both $C_2$ and $C_4$ transversally, and we could find a great circle which intersects every color class, contradicting Observation \ref{4c}. We may therefore assume that the interior of $T_2(3)$ is empty.

By applying the first case of the argument to the curve $C_2$, it follows that either $T_2(1)$ or $T_2(4)$  has empty interior. In other words, we may assume that either $C_2 = T_2(4)$ or $C_2 = T_2(1)$. Suppose $C_2 = T_2(4)$. Let $q$ denote a point in the bounded region of $C_4$ which is orthogonal to the point $p$ (which is in the bounded region of $C_2$). The orthogonal complement of $q$ is a great circle $\gamma$ which passes through $p$, and since $p$ is in the bounded region of $C_2$, it follows that $\gamma$ intersects $C_2$ transversally. Let $r$ be one of the intersection points between $\gamma$ and $C_2$. If a point $r'$ is sufficiently close to $r$, then its orthogonal complement is a great circle which intersects $C_4$ transversally, and therefore contains a point in $\ess 4$. However, since $r$ has {\sc Type} 4, this would result in a pair of orthogonal points in $\ess 4$.

The situation is symmetric if we suppose that $C_2 = T_2(1)$. In this case, we choose a point $q$ in the inner region of $C_1$ which is orthogonal to the point $p$. We may now proceed as in the previous paragraph, resulting in a pair of orthogonal points in $\ess 1$.\end{proof}

\subsection{The shape of dominating sets}
Let $V_k(j)$ denote the interior of $T_k(j) \subset C_k$. By Lemma \ref{crucial 1} we know that $V_k(j)\neq \emptyset$ for all $j\neq k$, and the following claim implies that all the sets $V_k(j)$ are contained in the union of three great circles.
\begin{claim} \label{all permutations}
For any permutation $\pi = (i,j,k,l)$ of $\{1,2,3,4\}$, there exists a great circle which contains the sets $V_i(j)$ and $V_k(l)$.
\end{claim}
\begin{proof} Note that it suffices to prove the claim for a single pair of open connected arcs $A\subset V_i(j)$ and $B \subset V_k(l)$. If $A\cup B$ is not contained in a great circle, then there must exist a great circle $\gamma$, which intersects $A$ and $B$ transversally. This implies that close to $\gamma$ we can find a great circle $\gamma'$ which contains points in $\ess j$ and $\ess l$ and intersect the arcs $A$ and $B$, and therefore also the curves $C_i$ and $C_k$ transversally. In this case $\gamma'$ intersects every color class, contradicting Observation \ref{4c}.
\end{proof}

Claim \ref{all permutations} imposes severe restrictions on the shape of the curves $C_k$, because Observation \ref{open arcs} implies that every open interval of $C_k$ is contained in one of the great circles described in Claim \ref{all permutations}. Moreover, Claim \ref{all permutations} implies that the sets $V_i(j)$ and $V_j(i)$ belong to the same great circle, and it follows that there are three great circles $\gamma_1$, $\gamma_2$, and $\gamma_3$ whose union contain every curve $C_k$:
\[\def1.4{1.4}
\begin{array}[h]{ccc}
V_1(2) \cup V_3(4) \cup V_2(1)  \cup V_4(3)  & \subset &  \gamma_1, \\
V_1(3)  \cup V_2(4)  \cup V_3(1) \cup V_4(2)  & \subset &  \gamma_2, \\
V_1(4) \cup V_2(3) \cup  V_4(1) \cup V_3(2)  & \subset &  \gamma_3.
\end{array}
\]
We are now ready to complete the proof of Theorem \ref{domination}. Let $n_i\in \mb{S}^2$ be a normal vector to the great circle $\gamma_i$. Our goal is to show that the vectors $n_1$, $n_2$, $n_3$ form an orthonormal basis for $\mathbb{R}^3$. Let us first show that $n_1$, $n_2$, $n_3$ are linearly independent. The great circles $\gamma_1$, $\gamma_2$, $\gamma_3$ divide $\mb{S}^2$ into regions, and each curve $C_k$ is the boundary of such a region. If the vectors $n_1$, $n_2$, $n_3$ are not linearly independent, then we can find a great circle $\gamma$ which intersects the interior of every region formed by $\gamma_1$, $\gamma_2$, $\gamma_3$. This implies that $\gamma$ intersects each curve $C_k$ transversally, and therefore intersects every color class. We may therefore conclude that $n_1$, $n_2$, $n_3$ are linearly independent, and consequently, the three great circles $\gamma_1$, $\gamma_2$, $\gamma_3$ divide $\mb{S}^2$ into eight triangular regions which come in antipodal pairs $\{ Q_1 , -Q_1 \}$, $\{Q_2,-Q_2\}$, $\{Q_3,-Q_3\}$, and $\{Q_4 ,-Q_4\}$. Notice that for any triple of regions $Q_{i_1}$, $Q_{i_2}$, $Q_{i_3}$ there exists a great circle which intersects the interior of each of the regions. Therefore, since $R_k$ is symmetric about the origin, we may assume (using Observation \ref{4c}, again) that each curve $C_k$ is the boundary of $Q_k$ or $-Q_k$ for $k = 1,2,3,4$.

It remains to show that $n_i \cdot n_j = 0$ for $i\neq j$. Let $T$ denote the interior of the spherical triangle with vertices $n_1$, $n_2$, $n_3$. The important observation is that every great circle which is orthogonal to a point in $T$ will intersect the same triple of regions, $Q_{i_1}$, $Q_{i_2}$, $Q_{i_3}$, and therefore every point in $T$ must belong to same color class. In other words, $T\subset \ess k$ where $k\neq i_1, i_2, i_3$. Consequently, if a pair of the normal vectors satisfy $n_i \cdot n_j < 0$, then $T$ would contain a pair of orthogonal points in the same color class. This shows that the normal vectors $n_1$, $n_2$, $n_3$ form an orthonormal basis for $\mathbb{R}^3$, and each color class $\ess k$ contains the interiors of an antipodal pair spherical triangles $Q_k$ and $-Q_{k}$ which have all right angles. In other words, the coloring is octahedral.

\section{Proof of Theorem \ref{weak}} \label{P2}

Clearly, in an octahedral 4-coloring of $\mb{S}^2$, every color class is locally octahedral, so it remains to show the other direction. This will be deduced from the following result which is of independent interest.

\begin{lemma} \label{3uniform}
  For any 3-coloring of $\:\mb{S}^2$ there exists points $u ,v, w$ in the same color class such that  $(u \cdot v) (u \cdot w) (v \cdot w) < 0$.
\end{lemma}

Before getting to the proof, let us show how Lemma \ref{3uniform} implies Theorem \ref{weak}.

\begin{proof}[Proof of Theorem \ref{weak}]
Consider an orthogonal 4-coloring which is locally octahedral. We want to show that it is an octahedral coloring.  If every color class contains an open set in $\mb{S}^2$, then the coloring is octahedral by Theorem \ref{domination}. So without loss of generality, we assume that $\ess 4$ has empty interior. This implies that $\mb{S}^2 = A_1 \cup A_2 \cup A_3$ where $A_i$ is the closure of $\ess i$.

By assumption, for any triple of points $u, v, w \in \ess i$ we have $(u \cdot v) (u \cdot w) (v \cdot w) \geq 0$. The important observation is that this inequality also holds for triples of points $u,v,w \in A_i$. If we set $T_1 = A_1$, $T_2 = A_2\setminus A_1$, and $T_3 = A_3\setminus (A_1\cup A_2)$, we obtain a 3-coloring, $\mb{S}^2 = T_1\cup T_2 \cup T_3$, which violates Lemma \ref{3uniform}. \end{proof}

For our proof of Lemma \ref{3uniform} we need the following.

\begin{obs} \label{circle2}
  Suppose the unit circle, $\mathbb{S}^1$, is covered by two closed sets $B_1$ and $B_2$ such that for any $u,v,w \in B_i$ we have $(u \cdot v) (u \cdot w) (v \cdot w) \geq 0$. Then each $B_i$ consists of a pair of closed antipodal arcs of length $\pi/2$, and $B_1\cap B_2$ consists of the vertices of a square inscribed in $\mathbb{S}^1$.
\end{obs}

\begin{proof}
Since $B_1$ and $B_2$ are closed and $\mathbb{S}^1 = B_1 \cup B_2$, it follows that $B_1\cap B_2\neq \emptyset$. Fix a point $p_0 \in B_1\cap B_2$, and for $\theta \geq 0$, let $p_\theta \in \mathbb{S}^1$ denote the point of $\mathbb{S}^1$ whose arc length from $p_0$ equals $\theta$ measured in counter-clockwise direction. Let $X_1$ be the open circular arc $(p_{\pi/2}, p_\pi)$, and let $X_2$ be the open circular arc $(p_{\pi}, p_{3\pi/2})$. For any $\pi/2 < \theta < 3\pi/2$ we have $p_0 \cdot p_{\theta} < 0$, so if we choose points $p_{\theta_1}\in X_1$ and $p_{\theta_2} \in X_2$ such that $\theta_2 - \theta_1 > \pi/2$, then we have $(p_0 \cdot p_{\theta_1}) (p_0 \cdot p_{\theta_2}) (p_{\theta_1} \cdot p_{\theta_2}) < 0$. Since $p_0\in B_1\cap B_2$, the hypothesis implies that $p_{\theta_1}$ and $p_{\theta_2}$ must belong to different $B_i$ so we may assume $p_{\theta_1}\in B_1$ and $p_{\theta_2}\in B_2$. We claim that this implies that $X_1\subset B_1\setminus B_2$ and $X_2\subset B_2\setminus B_1$. To see this, notice that for any $\pi/2 < \theta < \theta_1$, we have $p_\theta \cdot p_{\theta_2} < 0$, and therefore $p_\theta \in B_1 \setminus B_2$. Now, for any $\pi < \theta < 3\pi/2$, there exists an $\varepsilon > 0$ such that $\pi/2 < \theta - \pi/2 - \epsilon < \theta_1$, which shows that $X_2 \subset B_2 \setminus B_1$. The same reasoning shows that $X_1 \subset B_1 \setminus B_2$, and since $B_1$ and $B_2$ are closed it follows that $p_\pi \in B_1 \cap B_2$. Therefore we can apply the previous argument to the open intervals $Y_1 = (p_{3\pi/2},p_{2\pi})$ and $Y_2 = (p_0,p_{\pi/2})$, which implies that one of them is contained in $B_1\setminus B_2$ while the other is contained in $B_2\setminus B_1$. It is however easily seen that we must have $Y_1 \subset B_1\setminus B_2$ and $Y_2 \subset B_2\setminus B_1$, which shows that $B_1 = [\pi/2, \pi] \cup [3\pi/2,2\pi]$ and  $B_2 = [0, \pi/2] \cup [\pi,3\pi/2]$. \end{proof}

\begin{proof}[Proof of Lemma \ref{3uniform}]
Let $\mb{S}^2 = \ess 1 \cup \ess 2 \cup \ess 3$ be a 3-coloring and let $A_i$ be the closure of $\ess i$. Note that if there exists points $u,v,w \in A_i$ such that $(u \cdot v) (u \cdot w) (v\cdot w) < 0$, then we can also find points $u',v',w' \in \ess i$ which also satisfy this inequality.

At least one of the $A_i$ must have non-empty interior, and without loss of generality we may assume that the point $(0,0,1)$ is an interior point of $A_3$. Therefore there exists a (small) $\varepsilon>0$ such that every point in an $\varepsilon$-neighborhood of the equatorial great circle $\gamma_0 = \{(x,y,0) \: : \: x^2 + y^2 = 1\}$, denoted by $N_\varepsilon$, is orthogonal to a point in $A_3$.

Suppose there exists a point $u \in A_3 \cap N_\varepsilon$. By our assumption, there is a point $p$ in the interior of $A_3$ such that $u \cdot p = 0$. If we consider the great circle $\gamma$ passing through $u$ and $p$, it is easily seen that  we can find points $v, w \in \gamma \cap A_3$ which are close to $p$  such that $u \cdot v > 0$, $u\cdot w < 0$, and $v \cdot w > 0$.

Now suppose that $N_\varepsilon \subset A_1\cup A_2$. If $\gamma_0$ does not contain the three points we are looking for, then Observation \ref{circle2} can be applied, and after a suitable rotation we may assume that the points $(\raisebox{.25ex}{\small $\pm$} 1,0,0)$ and $(0,\raisebox{.25ex}{\small $\pm$} 1, 0)$ are contained in $A_1 \cap A_2$. Moreover, by slightly rotating $\gamma_0$ about the $x$-axis while staying within $N_\varepsilon$, we may refer to Observation \ref{circle2} again to see that the point $u = (0, \cos \alpha ,  \sin \alpha)$ is contained in $A_1\cap A_2$, where $\alpha>0$ is sufficiently small. Similarly, by rotating $\gamma_0$ about the $y$-axis we find that the points $v = (\cos \alpha, 0, \sin \alpha)$ and $w = (\cos \alpha, 0, -\sin \alpha)$ are also contained in $A_1\cap A_2$. Thus we have found points $u,v,w \in A_1\cap A_2$ such that $(u \cdot v) (u \cdot w) (v \cdot w) < 0$.
\end{proof}

\section{Final remarks} \label{C}

\subsection{Noel's conjecture} We want to point out that the condition of Theorem \ref{weak} was originally suggested to us by Noel \cite{noel} under the name {\em weakly octahedral}. In fact, Noel \cite{noel2} conjectured that any weakly octahedral coloring of $\mb{S}^2$ is octahedral, meaning that he does not require the coloring to be orthogonal. The full conjecture of Noel has been proven by the second author \cite{SHL}.

\subsection{Non-octahedral colorings} As we mentioned in the introduction,  we believe there exists orthogonal 4-colorings of $\mb{S}^2$ which are not octahedral, and our results give certain restrictions on such colorings. In contrast to the results of this paper (and as a possible candidate for a non-octahedral 4-coloring of $\mb{S}^2$) we would like to propose the following.

\begin{sprm*}
  What is the smallest integer $k$ for which there exists an orthogonal $k$-coloring of $\mb{S}^2$ where each color class is dense in $\mb{S}^2$ ?
\end{sprm*}

An example which shows that $k\leq 9$ was communicated to us by Jineon Baek \cite{jineon}. His argument is based on a non-Archimedean absolute value $\nu \colon \mathbb{R}\to \mathbb{R}$. (Take for instance, an extension of the 2-adic valutaion on $\mathbb{Q}$.) Here is a brief sketch of the construction, where the details are left to the reader.

For $i=1,2,3$ and $j=1,2$, define subsets
\[\def1.4{1.4}
\begin{array}[h]{cccc}
X_i & \coloneqq & \{(x_1,x_2,x_3) \in \mb{S}^2 \: : &  \nu(x_i) > \nu(x_k) \; , \; k\neq i \}, \\
Y_j & \coloneqq & \{(x_1,x_2,x_3) \in \mb{S}^2 \: : &  \nu(x_j) \geq \nu(x_k) \; , \; k\neq j \}.
\end{array}
\]
Notice that the union $X_1\cup X_2\cup X_3\cup Y_1\cup Y_2$ covers $\mb{S}^2$. Moreover, each subset is dense in $\mb{S}^2$ and none of the $X_i$ contain orthogonal pairs of points. On the other hand, each $Y_j$ may contain orthogonal pairs, but for any $x\in X_j$ and $y \in Y_j$, we have $x\cdot y \neq 0$. Let $A_1$, $A_2$, $A_3$, $A_4$ be an orthogonal 4-coloring of $\mb{S}^2$, and for $j = 1,2$ and $k =1,2,3,4$, let \[C_{jk} = (Y_j \cap A_k) \cup (X_j \setminus A_k).\] The sets $C_{jk}$ together with $X_3$ result in a {\em covering} of $\mb{S}^2$ by 9 sets where each set is dense in $\mb{S}^2$, and no set contains a pair of orthogonal points. Finally, a simple topological argument allows us to reduce this covering to an orthogonal {\em coloring} where each color class is dense in $\mb{S}^2$.

\section{Acknowledgements}
We are grateful to the anonymous referee who gave several insightful remarks. We also thank Jineon Baek, Evan DeCorte, and Jon Noel for their enlightening discussions and for letting us include their examples in this paper.

Combinatorics (math.CO); Metric Geometry (math.MG)

Orthogonal colorings of the sphere


Groups in which Squares and Cubes Commute

Abstract: If for all $a, b$ in a group $G$, we have that $a^2b^2 = b^2a^2$ and $a^3b^3 = b^3a^3$ then does the group necessarily have to be abelian? This paper shows that the answer is affirmative for finite groups as well as certain classes of infinite groups. In general we show that if $G$ is an infinite group in which squares commute and cubes commute then the set of torsion elements of $G$ denoted by $T(G)$ has to be an abelian normal subgroup of $G$.

\section{Introduction}

There are various conditions under which a group becomes abelian. It is a trivial exercise to show that in a group $G$ if ${(ab)}^2 = a^2b^2$ for all $a, b \in G$ then $G$ is abelian. Another condition which also results in the group being abelian is if for all $a, b \in G$ we have ${(ab)}^r = a^r b^r$ for three consecutive integers $r$.

It is natural to wonder about a group $G$ in which $a^2b^2$ = $b^2a^2$ for all $a, b \in G$. However this is not sufficient to ensure that $G$ is abelian. An example of such a group is $S_3$, the group of permutations on $3$ letters. The squares of elements in $S_3$ form a cyclic group generated by a $3$-cycle and so it is clear that squares of elements commute in $S_3$. However $S_3$ is not abelian. As a next step, one can ask what happens if in addition to squares commuting, cubes also commute.

We are able to prove using results from the theory of finite groups and Sylow subgroups that any finite group in which $a^2b^2 = b^2a^2$ and $a^3b^3 = b^3a^3$ has to be abelian. This is one of the main results of the paper.

It is also shown that the numbers $2, 3$ are not important and that there is a more general result. If $m,n$ are coprime natural numbers and if $a^mb^m = b^ma^m$ and $a^nb^n = b^n a^n$ for all $a, b$ in a finite group $G$, then $G$ must be abelian.

Some definitions and terminology that we shall use in the paper are given below.

Let $m, n$ be fixed coprime natural numbers and let us say that a group $G$ has property $\cal P$ if  $a^ib^i = b^ia^i$ for $i=m, n$ and for all $a, b \in G$. Note that if $G$ satisfies $\cal P$, then so do subgroups and quotients.

Let ${\cal X}$ be a class of groups. We say that $G$ is a $\cal X$-group if $G \in \cal X$. Some definitions: a group $G$ is {\bf locally $\cal{X}$} if every finitely generated subgroup of $G$ is in ${\cal X}$ and a group $G$ is {\bf residually $\cal X$} if for each non-identity element $g \in G$  there is a normal subgroup $N_g$ of $G$ such that $g \not \in N$ and ${G/ N_g \in \cal X}$.

The main results we prove are given below.

\vspace{.05in}
\noindent{\bf Theorem 2.1}
{\em Let ${\cal X} $ be a class of groups. Suppose that all $\cal{X}$-groups satisfying $\cal P$ are abelian.  Then the following statements hold.}
\begin{enumerate}
\item[(a)] {\em All locally $\cal X$-groups satisfying $\cal P$ are abelian.}
\item[(b)] {\em All residually $\cal X$-groups satisfying $\cal P$ are abelian.}
\end{enumerate}
\vspace{.05in}

\vspace{.05in}
\noindent{\bf Theorem 3.1}
{\em Let $G$ be a finite group satisfying $\cal P$. Then $G$ is abelian.}
\vspace{.05in}

\vspace{.05in}
\noindent{\bf Theorem 4.1}
{\em Let $G$ be an infinite group satisfying $\cal P$.}
\begin{enumerate}
\item[(a)] {\em Then $T(G)$ the set of all torsion elements of $G$ is a normal abelian subgroup of $G$.}
\item[(b)] {\em Any Sylow subgroup of $G$ is abelian and in particular, if $G$ is an infinite $p$-group then $G$ is abelian.}
\item[(c)] {\em If $G$ is locally finite or residually finite then $G$ is abelian.}
\item[(d)] {\em If $G$ is residually $p$ for a prime $p$ then $G$ is abelian.}

\end{enumerate}
\vspace{.05in}

The rest of the paper is organised as follows. The next section has the preliminary results required to prove the main results and the proof of Theorem 2.1. The third section has the proof for the finite case. The fourth section deals essentially with proving the main result concerning infinite groups. The last section has concluding remarks and discusses some open questions.

For proofs of well known theorems that are used here and terminology see \cite{djsr95} or \cite{jjr94}.

\section{Preliminary Results}

\begin{lemm}
Let $G$ be a group satisfying $\cal P$.  Let $k$ be a natural number that is coprime to at least one of $m$ or $n$. If $H = \{ x \in G \mid x^k =e\}$ then $H$ is a normal abelian subgroup of $G$.
\end{lemm}

\noindent{\bf Proof}{   } It is clear that if $H$ is a subgroup of $G$ then it will be a normal subgroup since for any $x \in H$ and $g \in G$, ${(gxg^{-1})}^k = gx^kg^{-1} =e$.

Note that $e \in H$ and that $H$ is closed under taking inverses. Thus we just have to show closure and we do so by first showing that elements of $H$ commute. Consider any $x, y \in H$. Without loss of generality let us assume that $k$ is coprime to $m$. Thus there exist integers $\lambda$ and $\mu$ such that $\lambda k + \mu m = 1$. So for any $h \in H$ we have $h = {(h^k)}^\lambda {(h^\mu)}^m = {(h^\mu)}^m$. So for any $x, y \in H$, using property $\cal P$, we have
\begin{eqnarray*}
xy & =& {(x^\mu)}^m {(y^\mu)}^m \\
     & = & {(y^\mu)}^m{(x^\mu)}^m \\
     & = & yx.
     \end{eqnarray*}
Consequently for any $x, y \in H$, we have ${(xy)}^k = x^ky^k = e$. Thus $H$ is an abelian normal subgroup of $G$. \ $\Box$

\begin{theo} Let ${\cal X} $ be a class of groups. Suppose that all $\cal{X}$-groups satisfying $\cal P$ are abelian.  Then the following statements hold.
\begin{enumerate}
\item[{\rm(a)}] All locally $\cal X$-groups satisfying $\cal P$ are abelian.
\item[{\rm(b)}]  All residually $\cal X$-groups satisfying $\cal P$ are abelian.
\end{enumerate}
\end{theo}

\noindent{\bf Proof}{   } Let ${\cal X} $ be a class of groups and suppose that all $\cal{X}$-groups satisfying $\cal P$ are abelian.

Let $G$ be a locally $\cal X$-group which satisfies $\cal P$. Thus $G$ satisfies $\cal P$ and every finitely generated subgroup of $G$ is in $\cal X$. Let $x, y \in G$ and consider $ H = \langle x, y \rangle$. Then $H$ is a finitely generated subgroup of $G$ and hence must be in $\cal X$ and clearly $H$ satisfies $\cal P$. Thus $H$ is abelian and so $xy =yx$. Thus $G$ is abelian.

Now let $K$ be a residually $\cal X$-group which satisfies $\cal P$. Thus $K$ satisfies $\cal P$ and for each non-identity element $x \in K$  there is a normal subgroup $N_x$ of $K$ such that $x \not \in N$ and ${K/ N_x\in \cal X}$. Now $K/ N_x$ is a member of $\cal X$ and satisfies $\cal P$. Thus $K/N_x$ is abelian.

Let ${\hat K} = \mbox{Cr}_{e \not = x \in K} K/N_x$ denote the group which is the cartesian product or unrestricted product of the groups $K/ N_x$ as $x$ varies over $K \setminus \{e\}$. Note that ${\hat K}$ is an abelian group. We can define a map $\iota: K \rightarrow {\hat K}$ as $\iota(y) = (yN_x)$. Then $\iota$ is a monomorphism and so $K$ is a subdirect product of a cartesian product of abelian groups and hence will be abelian. \ $\Box$

\section{Finite groups satisfying ${\cal P}$}

We begin by proving the following lemma.

\begin{lemm}

Let $G$ be a finite group and let $p$ be a prime such that $p^{\alpha}$ is the highest power of $p$ dividing $|G|$. Define $G_{p^{\alpha}} = \{x \in G \mid x^{p^{\alpha}} =e\}$. Then $G_{p^{\alpha}}$ is a subgroup of $G$ if and only if $G$ has a unique  Sylow $p$-subgroup, $P$. Further, in either case, $P = G_{p^{\alpha}}$.
\end{lemm}

\noindent{\bf Proof}{   } Let $G$ be a finite group and $p$ a prime such that $p^{\alpha}$ is the highest power of $p$ dividing $|G|$ and where $\alpha \in {\mathbb N}$. Let $G_{p^{\alpha}} = \{x \in G \mid x^{p^{\alpha}} =e\}$ be a subgroup of $G$. By the defining property of $G_{p^{\alpha}}$, it is clear that $G_{p^{\alpha}}$ must have order that is a power of $p$. For if $q$ is a different prime that divides $|G_{p^{\alpha}}|$ then by Cauchy's Theorem $G_{p^{\alpha}}$ will have an element $g$ of order $q$. Also $g^{p^{\alpha}} =e$. Thus $q|p^{\alpha}$ and we get that $q=p$, a contradiction. Thus $|G_{p^{\alpha}}| = p^{\beta}$ for some $\alpha \geq \beta \geq 0$. Since $p$ divides $|G|$, by Sylow's Theorem we know that a Sylow $p$-subgroup exist. Let $P$ be any Sylow $p$-subgroup of $G$. Then $|P|= p^{\alpha}$. Thus for all $x \in P$,  we will have $x^{p^{\alpha}} = e$ and so $P \subseteq G_{p^{\alpha}}$. Thus $\alpha \leq \beta$ and so we get that $G_{p^{\alpha}} = P$. This shows that there is a unique and hence a normal Sylow $p$-subgroup in $G$, namely, $ P = G_{p^{\alpha}}$.

Conversely let $G$ have a unique Sylow $p$-subgroup, say $P$ with $|P| = p^{\alpha}$. Let $G_{p^{\alpha}} = \{ x \in G \mid x^{p^{\alpha}} =e\}$. Then as seen above we must have $P \subseteq G_{p^{\alpha}}$. Now if $x \in G_{p^{\alpha}}$ then $x^{p^{\alpha}} =e$. So $x$ has $p$ power order. Thus $\langle x \rangle$ is a $p$-subgroup of $G$ and hence must be contained in a Sylow $p$-subgroup of $G$. Since $P$ is the unique Sylow $p$-subgroup of $G$, therefore $x \in P$ and so $G_{p^{\alpha}} \subseteq P$. Thus $G_{p^{\alpha}} = P$ and so is a subgroup of $G$. \ $\Box$

Now we are in a position to present our main result concerning finite groups.

\begin{theo}
Let $G$ be a finite group satisfying $\cal P$. Then $G$ is abelian.
\end{theo}

\noindent{\bf Proof}{   } Let $G$ be a finite group satisfying $\cal P$ and let $|G| = {p_1}^{\alpha_1} \cdots {p_r}^{\alpha_r}$ be the prime decomposition of $|G|$. For each $i = 1, \ldots , r$, let $P_i$ denote the Sylow $p_i$-subgroups of $G$.  Now $G$ satisfies $\cal P$, and for each $i$, the prime $p_i$ will be coprime to either $m$ or $n$. Thus by Lemma 2.1, we will have that $G_{{p_i}^{\alpha_i}} = \{ x \in G \mid x^{{p_i}^{\alpha_i}}=e\}$ is a normal abelian subgroup of $G$. Hence by Lemma 3.1, $P_i$ is the unique normal Sylow $p_i$-subgroup of $G$. Thus $G = P_1 \times \cdots \times P_r$ as a direct product and hence abelian.\ $\Box$

\section{Infinite Groups satisfying $\cal P$}

\begin{theo}
Let $G$ be an infinite group satisfying $\cal P$.
\begin{enumerate}
\item[{\rm(a)}]  Then $T(G)$ the set of all torsion elements of $G$ is a normal abelian subgroup of $G$.
\item[{\rm (b)}]  Any Sylow subgroup of $G$ is abelian and in particular if $G$ is an infinite $p$-group then $G$ is abelian.
\item[{\rm(c)}]  If $G$ is locally finite or residually finite then $G$ is abelian.
\item[{\rm(d)}]  If $G$ is residually $p$ for a prime $p$ then $G$ is abelian.
\end{enumerate}
\end{theo}

\noindent{\bf Proof}{   }Let $G$ be an infinite group satisfying $\cal P$.

\vspace{.05in}
\noindent{(a)}{   } Let $H = T(G)$ be the set of all torsion elements of $G$.  To show that $H$ is a subgroup we only need to show closure. If $H = \{e\} $ then the result is trivially true. So assume otherwise and let $x \in H \setminus \{e\}$ and let $o(x) =  r = p_1^{\alpha_1} \cdots p_k^{\alpha_k}$ be the prime decomposition for $r$. For each $i = 1, \ldots, k$, let $$q_i = \frac{r}{p_i^{\alpha_i}}.$$
Then since $\gcd(q_1, \ldots, q_k) =1$ we have  $\lambda_1q_1 + \cdots + \lambda_kq_k =1$ for some $\lambda_i \in {\mathbb Z}$ such tha. Thus we can write
\begin{eqnarray*}
x & = & x^{\lambda_1q_1 + \cdots + \lambda_kq_k } \\
  & = & x^{\lambda_1 q_1} \cdots x^{\lambda_k q_k} \\
  & = & x_1^{\lambda_1} \cdots  x_k^{\lambda_k}
  \end{eqnarray*}
where for each $i$, we define $x_i = x^{q_i}$. Then  $o(x_i) = p_i^{\alpha_i}$ and so $x_i \in H$.  Now given any $x, y \in H \setminus \{e\}$ we can write $x = x_1^{\lambda_1} \cdots x_k^ {\lambda_k}$ and $y = y_1^{\mu_1} \cdots y_t^{\mu_t}$ where $x_i$ and $y_j$ are elements of $H$ of prime power orders for all $i, j$. So if we show that elements of prime power order in $H$ commute then elements of $H$ will commute. Thus closure will hold in $H$. Consequently $H$ will be an abelian subgroup of $G$. It is obvious that if $T(G) \leq G$ then $T(G)$ is normal.

Now consider any $a, b \in H$ where $a$ and $b$ have prime power order say $p^\alpha$ and $q^\beta$ respectively. Let $s = p^\alpha q^\beta$. If $s$ is coprime to at least one of $m$ or $n$, then by Lemma 2.1,  $S = \{ g \in G \mid g^s =1\}$ is a (normal) abelian subgroup of $G$ and clearly $a, b  \in S$. Thus $ab =ba$.

So assume that $s$ is neither coprime to $m$ nor to $n$. Then since $\gcd(m, n) = 1$ we must have that $p \not = q$ and without loss of generality let us assume that $p |m$, $q|n$. Now let $S_a = \{ g \in G \mid g^{p^\alpha} =1\}$ and $S_b = \{ g \in G \mid g^{q^\beta} =1\}$. Then since $p^\alpha$ is coprime to $n$ and $q^\beta$ is coprime to $n$, by Lemma 2.1 we get that $S_a$ and $S_b$ are both normal abelian subgroups of $G$. Further $a \in S_a, b \in S_b$. Also since $p$ and $q$ are distinct primes $S_a \cap S_b = \{e\}$. But then normality of the subgroups ensures that $gh = hg$ for all $ g \in S_a$ and $h \in S_b$. Consequently $ab=ba$.

Since elements of prime power in $H$ commute we can conclude that $ T(G) = H$ is an abelian (normal) subgroup of $G$.

\vspace{.05in}
\noindent{(b)}{   }This is just a special case of (a), for if $P$ is a Sylow $p$-subgroup of $G$ for some prime $p$, then every element of $P$ has $p$-power order and hence finite order. It is equally clear for the case when $G$ is an infinite $p$-group.

\vspace{.05in}
\noindent{(c)}{   }Let ${\cal X}$ be the class of finite groups. Then by Theorem 3.1, all ${\cal X}$ groups satisfying $\cal P$ are abelian. Therefore by Theorem 2.1 all locally $\cal X$-groups and residually $\cal X$-groups satisfying $\cal P$ are abelian. Hence if $G$ is a locally finite group or a residually finite group then $G$ is abelian.

\vspace{.05in}
\noindent{(d)}{  }Let $p$ be a prime and let ${\cal X}$ be the class of $p$-groups. Then by Theorem 3.1 and part (b) above, all ${\cal X}$ groups satisfying $\cal P$ are abelian. Therefore by Theorem 2.1 all residually $\cal X$-groups satisfying $\cal P$ are abelian. Hence if $G$ is a residually $p$-group then $G$ is abelian. \ $\Box$.

\begin{rema}
{\rm
\begin{enumerate}
\item [(i)] The proof given for Theorem 4.1 (a) is another proof for the result that every finite group $H$ satisfying $\cal P$ is abelian. Indeed the proof also shows that if $G$ is any group satisfying $\cal P$ and $T$ is any subset of torsion elements of $G$ that contains identity and is closed with respect to inverses then it must be an abelian subgroup of $G$.
\item [(ii)] It can be shown independently that if $G$ is locally nilpotent then $T(G) \leq G$. Clearly by Theorem 4.1 (a), if such a $G$ satisfies $\cal P$ then $T(G)$ will be an abelian normal subgroup of $G$. However we include below a proof which discusses the special case of locally nilpotent groups.

Let $G$ be locally nilpotent group satisfying $\cal P$. Let $T(G)$ denote the set of torsion elements of $G$. Let $x, y \in T(G)$ and let $H = \langle x, y \rangle$. Note that $T(G)$ contains $e$ and is closed under taking inverses. Indeed if $T(G) \leq G$ then it has to be normal.

Since $G$ is locally nilpotent therefore $H$ is nilpotent and is generated by two elements of finite order. Hence $H$ is finite and so $xy \in T(G)$. So $T(G) \leq G$. Now $H$ is a finite group satisfying $\cal P$. Thus by Theorem 3.1, $H$ is abelian. So $xy =yx$. Therefore  $T(G)$ is also abelian.

\item [(iii)] Since every nilpotent group is locally nilpotent, if $G$ is a nilpotent group satisfying $\cal P$, then by the above remark (and also Theorem 4.1 (a)), $T(G)$ is an abelian normal subgroup of $G$.
\item [(iv)] Since every finitely generated torsion-free nilpotent group $G$ is a residually finite $p$-group for every prime $p$ by Theorem 4.1 (c) if $G$ also satisfies $\cal P$ then $G$ will be abelian.
\item [(v)] If $G$ is a polycyclic group then it is residually finite and so if $G$ satisfies $\cal P$ then by Theorem 4.1 (c), $G$ is abelian.
\end{enumerate}}
\end{rema}

\section{Conclusion}

From the earlier sections, we can see that a finite group satisfying $\cal P$ is abelian. However the question as to whether an infinite group satisying $\cal P$ is abelian still remains open.

It is clear from Theorem 4.1 (a) that if $G$ is an infinite group whose torsion elements do not form a group or form a non-abelian group then such a group cannot satisfy $\cal P$ for any choices of coprime $m, n$.

Thus far, however we have neither been able prove that an infinite group $G$ satisfying $\cal P$ is abelian nor provide a counter example. The counter example would have to be a non-abelian infinite group with an abelian torsion subgroup and which satisfies $\cal P$ for some coprime natural numbers $m, n$. One could also try to see if there are torsion free non-abelian infinite groups that satisfy $\cal P$ for some coprime natural numbers $m, n$.