#### Abstract

A coloring of the edges of the -uniform complete hypergraph is a -coloring if there is no rainbow simplex; that is, every set of vertices contains two edges of the same color. The notion extends -colorings which are often called Gallai-colorings and originates from a seminal paper of Gallai. One well-known property of -colorings is that at least one color class has a spanning tree. J. Lehel and the senior author observed that this property does not hold for -colorings and proposed to study , the size of the largest monochromatic component which can be found in every -coloring of , the complete -uniform hypergraph. The previous remark says that and in this note, we address the case . We prove that and this determines for . We also prove that by excluding certain 2-factors from the middle layer of the Boolean lattice on seven elements.

#### 1. Introduction

Studying edge colorings of complete graphs without rainbow triangles (no triangles colored with distinct colors) originates from a famous paper of Gallai [1]; we will refer to such colorings as Gallai-colorings or -colorings. A well-known property of -colorings is that the edges of some color class span a connected subgraph containing all vertices. A natural extension of the concept is the -coloring, of , the complete -uniform hypergraph on vertices. In a -coloring the requirement is that no is colored with distinct colors; that is, there is no rainbow simplex. For , -colorings of do not necessarily contain spanning connected color classes, but they must contain large ones. To define how large, let be the size of the largest monochromatic component which can be found in every -coloring of . In terms of this function, , and in this note we address .

Theorem 1. *. *

*Proof. *The upper bound (an unpublished note of the senior author and J. Lehel) follows from taking first the -coloring of with five colors, where the vertex set is , and the edges , , and , , are colored with (using (mod 5) arithmetic). This coloring can be “blown up” by replacing each vertex by a set so that the five sets have sizes that differ by at most one and defining the following straightforward extension of the original 5-coloring. Triples with vertices from three different are colored according to the color of the triple of their indices. Triples inside and triples in or in (with at least one vertex in each) are colored with color .

The lower bound follows from the observation that every 4-set must contain two 3-sets of the same color. Thus the color of some 3-set is repeated on another triple inside at least
4-sets containing . This means that the monochromatic component containing has at least vertices.

In fact, for odd , the proof of the lower bound in Theorem 1 gives a condition for equality in terms of the bipartite graph defined by the inclusions of the 4- and 3-element sets of . A -factor in a bipartite graph is a subgraph with where is the degree of vertex .

Corollary 2. *If the lower bound of Theorem 1 is sharp for some odd then there is a -factor in , such that the union of the triples and quadruples in every component of has at most elements.*

Theorem 1 implies that and but gives only . Notice that, for , the upper bound construction of Theorem 1 is a (2, 1)-factor in required in Corollary 2, consisting of the shifts of the 3-vertex component 1234, 123, 134 modulo 5. Is it possible that for some there is a -factor providing a better upper bound for ? The first case to consider is , the “middle-layer graph” in the boolean lattice on seven elements. To decide whether , we will determine all possible 2-factors required by Corollary 2. In Lemma 3 we show that these are 2-factors in whose components are 6-, 8-, or 10-cycles of the following type which we call a -*factor*:(i) the 6-cycle , , , , , , , (ii) the 8-cycle , , , , , , , , ,(iii) the 10-cycle , , , , , , , , , , ,where . It is worth mentioning that the cycles of a -factor can be considered as subdivisions of certain triangles, quadrangles, and pentagons of the Johnson graph , where (sometimes referred to as the tetrahedral graph) is the graph whose vertices are the triples of an -element set and edges are between triples intersecting in two vertices. The speciality of these cycles is that the triples (and quadruples) are among five elements (, and ). The 2-factors of the middle layer graph are investigated before, primarily because of the middle level (or revolving door) conjecture; see [2] and its references.

Lemma 3. * if and only if has a -factor.*

*Proof. *If has a -factor, we have a -coloring of obtained by coloring the 3-sets with the same color if and only if they are in the same cycle in the -factor. The triples of each cycle determine a monochromatic component with five vertices; hence , and together with the lower bound of Theorem 1, we get .

Conversely, suppose that , and consider the -coloring of with all monochromatic components having at most five vertices. Let be the bipartite graph defined by selecting two 3-sets of the same color from each 4-element subset of . The graph must be 2-regular, otherwise some 3-set, say in color red, would be selected into at least three 4-sets, resulting in a red component of at least six vertices. Thus is a 2-factor in , and its components are cycles. But contains no since two 4-sets can share at most one 3-set. Also, cannot have a component with ; otherwise the corresponding coloring of has a monochromatic component with more than five vertices, since there are only five 4-sets on five elements. Thus the components of are elements of . However, these cycles have to form subdivisions of in the Johnson graph , such that the union of triples on the edges of a cycle forms different -sets. This means that the edges of which are to be subdivided must be in different main cliques of , where a main clique is the complete subgraph of determined by the triples of for some . The edge set of is partitioned into five main cliques, and we can label the edges in each main clique by , such that consists of edges with different labels. If two edges , meet, then the corresponding 3-set is . For a with edges labeled 3, 4, and 5, the corresponding 3-sets are 123, 124, and 125. One can similarly check for and that the only possibilities are the cycles in the definition of the -factor.

In Sections 2 and 3 we prove the following.

Theorem 4. * has no -factor.*

Lemma 3 and Theorems 1 and 4 give the following.

Corollary 5. *.*

Theorem 4 might be true in a stronger form.

*Question 1. *Is there a 2-factor in in which all cycles have length of at most 10?

It is worth mentioning that, in the family of 2-factors constructed in [2], all components are cycles with length divisible by 14; thus it does not answer Question 1.

The proof of Theorem 4 is based on properties of graphs shown in Figure 2. They are the graphs on seven vertices having 11, 10, or 9 edges with the property that every set of three vertices contains at least one edge (complements of triangle-free graphs that are close to the extremal Turán graphs). We need to analyze star-partitions of , where the star is the hypergraph having triples containing two fixed vertices, called the * base*. Note that is an interesting object to decompose. For example, can be partitioned into 5 “tight cycles” (consecutive triples in a cyclic permutation of ) but cannot be partitioned into 5 Fano planes. In fact, does not contain three edge disjoint Fano planes (Cayley [3]). However, can be partitioned into 6 linear hypergraphs (but not into 5) [4].

Decompositions of complete hypergraphs into stars (hyperclaws) have been investigated [5, 6], and this is strongly related to our subject. In particular, the following decomposition problem is related to the case . Let be a star with vertex set and with base . Define the * mate* of as the 4-uniform hypergraph with the six 4-element subsets where runs over the unordered pairs of 3, 4, 5, 6.

*Question 2. *Is it possible to partition into stars so that their mates partition ? (Star partition without the mate condition is possible [5].)

In fact, Question 2 is a very special case of the -factor problem arising from the question whether . Here should be the list of components of a (2, 3)-factor of that contain triples and quadruples of six elements (out of nine). Such components arise by subdividing the edges of several 3-regular subgraphs of . Question 2 came about by considering the component of a (2, 3)-factor from the subdivision of a . However, other components come from the subdivision of the following graphs: , the graph obtained from by subdividing two edges not in a triangle and connecting the subdivision points with an edge, the cube, and the Petersen graph—we checked with a computer that this list is exhaustive. For example, the cube in represented by and the Petersen graph in represented by generate components with 8 and 10 triples (and 12 and 15 quadruples) in . Thus there are five possible components of a (2, 3)-factor in , and this probably makes it difficult to decide whether .

#### 2. Special 2-Factors in and Star Decompositions of

We use , , and to denote the set of possible cycles of a -factor with different parameter choices from (e.g., ). Then , and a -factor is a 2-factor of such that each cycle in it belongs to .

The type of a -factor is the vector where , and denote the number of cycles of from , , and , respectively. One can easily determine the possible types of a -factor by determining the nonnegative integer solutions of . There are 14 types, and we will eliminate all of them.

First we reformulate the existence of a -factor as a decomposition problem of . We define , * the **-star*, as a 3-uniform hypergraph having edges containing a fixed pair of vertices, called the * base of the star*. A star partition of is a partition of all edges into stars; in particular means that is partitioned into copies of , for . Notice that the complements of the four-element sets in the cycles of a -factor provide a starpartition of . On the other hand, the three-element sets in the cycles of a -factor also give a partition of into copies of the hypergraphs , , and which we call the * complementary partition* ( is isomorphic to , has four triples containing a fixed vertex and consecutive pairs on a 4-cycle of pairs, and has five consecutive triples on a 5-cycle of pairs; these are illustrated in Figure 1). These considerations lead to the following.

Proposition 6. * has a -factor of type if and only if has a star partition together with the complementary partition .*

##### 2.1. Decomposing along Turán Graphs

We associate a weighted graph , * the base graph*, with a star partition on as follows. The vertex set of is , and the () edges are determined by the pairs of the bases of the stars in the partition. The graph obtained this way has no multiple edges because different stars must have different bases, since two stars have at least six edges. The weight of an edge is if is the base of an .

If is the base graph of a star partition on , then every triple of contains at least one edge of . By Turán’s theorem (complementary form), , and for , , the graphs or are unique: the vertex disjoint union of and , with an edge in between in the case of .

When , easy inspection reveals five possibilities for the base graph. Let be the disjoint union of and . Then , , and are disjoint unions of and plus two edges between them, with a common vertex in , a common vertex in , and no common vertex, respectively (see Figure 2). Finally, is the disjoint union of two -s plus one edge between them plus four edges from the seventh vertex to the vertices of degree two (complement of with a subdivided edge).

These considerations eliminate the vectors of types (0,0,7), (2,1,5), (1,3,4), and (0,5,3) and reduce the problem to the following cases.

Lemma 7. *Suppose that has a -factor of type . Then one has on a star partition with base graph together with a complementary partition with the following parameters. *(i)* and .*(ii)* and .*(iii)* and .*

The following lemma will eliminate six types of vectors.

Lemma 8. *Suppose that has a -factor of type with . Then the base graph has a 5-cycle.*

*Proof. *Suppose that has a cycle, , the 10-cycle 123, 1234, 234, 2345, 345, 3451, 451, 4512, 512, 5123, and 123, which generates an with base edge 67. Consider the remaining five 3-sets formed from the vertices 12345 which are not in : 124, 134, 135, 235, and 245. Observe that 124 is only contained in the 4-sets 1234, 1245, 1246, and 1247. Since 1234, 1245 are in , then 124 must be in the same cycle as 1246 and 1247. Hence we have a cycle on the vertices 12467. Similarly, we have four other cycles on 13467, 13567, 23567, and 24567. The base edges of the five stars generated by these five cycles are, respectively, 35, 25, 24, 14, 13, which form a 5-cycle in the base graph.

Since , , and do not contain 5-cycles, we have the following.

Lemma 9. *Suppose that has a -factor of type . Then one has on a star partition with base graph together with a complementary partition with the following parameters. *(i)* and .*(ii)* and .*(iii)* and .*

#### 3. Eliminating the Remaining Types

##### 3.1. (10,0,1)

Following the proof of Lemma 8, we can label the 10-cycle as , and we have 6-cycles on 12467, 13467, 13567, 23567, and 24567. In a 6-cycle, two vertices are repeated in every element. Since the five 6-cycles above contain, respectively, the 3-sets 124, 134, 135, 235, and 245, the two repeated vertices must be from these 3-sets. In particular, the 3-sets 167, 267, 367, 467, and 567 are not contained in any of these 6-cycles. There are ten 4-sets containing these five 3-sets. But each of the five 6-cycles contains one of these 4-sets. Hence there are five remaining 4-sets which contain five 3-sets, and the only possibility is that these ten elements form a 10-cycle. Then there are two 10-cycles, a contradiction.

##### 3.2. (1,8,0)

Label so that spans a and spans a .

One of the edges of the must generate the triple 567; say . must also generate the triples 156, 256, 356, and 456. But can generate at most 4 triples, a contradiction.

##### 3.3. (5,5,0)

Label so that spans a , spans a , and the tenth edge is (4, 5).(i)The edge of must be the base of a copy of since the triples for must be based on . Let (w.l.o.g) 1, 2, 3, 4 be the cyclic ordering of the 4-cycle in the copy of complementary to (the triples in ).(ii)Consider the four base edges of on the 4-cycle . We claim that all of them have weight 4. Suppose this is not the case, and is covered by a star in where are consecutive on . Observe that the triples and must be in . Therefore the triple is covered by the copy of complementary to . However, with (mod 4), addition thus it is also covered by the copy of complementary to , a contradiction.(iii)At this point, we know that the five base edges are of weight 4, and the rest of the edges have weight 3. In particular, 13 and 57 have weight 3, and both uniquely determine their stars in , namely, 135, 136, 137 and 571, 572, 573. But then the triple 246 is doubly covered by their complementary copies of -s, a contradiction, finishing the proof.

##### 3.4. (9,2,0)

The base graph cannot occur since the base edge must generate 5 triples.

*Case 1. *Base graph is , the union of edge 12, the triangles 1,3,4 and 2,5,6, and the star 37, 47, 57, 67.

The base edges and must generate the triples 234, 345, 346 and 156, 356, 456, respectively. They cannot both generate -s because then the triple 127 would be doubly covered by their complementary -s.

One of , , say generates an . Suppose first that generates an . Then 13 and 14 both generate -s; otherwise 247 or 237 would be doubly covered by their complementary -s. But this is a contradiction, having at least three -s in the star partition. Thus also generates an . Consequently, 25 and 26 both generate -s and their complementary -s contain the triples 167 and 157, respectively. However, at least one of these triples is also covered by the complementary of the generated by , a contradiction.

*Case 2. *Base graph is , labeled so that spans a and spans a , with two additional edges (4,5) (1,7).

The base edge must generate the triples 235, 236, and 237. Suppose that generates an ; then the complementary contains the triples 145, 146, and 147. This implies that the base edges 56, 57, and 67 must all generate -s. Otherwise, suppose that 56 generates an . Since 56 must generate the triples 256 and 356, the triple 147 is in the complementary , and it is doubly covered by the complementary of . Similarly, if 57 and 67 generate -s, then the triples 146 and 145 would be doubly covered. Thus must generate an .

Consider the complementary generated by , w.l.o.g. let it be . Then it contains at least two of the triples 145, 146, and 147, a contradiction.

*Case 3. *Base graph is , labeled so that spans a and spans a , with two additional edges (1,5) and (4,5).

The base edge must generate the triples 167, 267, 367, and 467 and must thus generate an . Consider the base edges 23, 56, and 57. 23 must generate the triples 235, 236, and 237; 56 must generate 526, 536; 57 must generate 527 and 537. If 23 generates an , then 56, 57 must both generate -s, otherwise the triples 147, 146 would be doubly covered. But then there would be three -s. Hence 23 generates an , and all the remaining edges generate -s.

Consider the base edges 12, 13, 14, 24, and 34. Since each of these generates two triples with 6 and 7, their complementary -s contain the triples 345, 245, 235, 135, and 125, respectively. However, the complementary of 67, which w.l.o.g. can be written as either or must contain at least three of these triples, a contradiction.

*Case 4. *Base graph is , labeled such that spans a and spans a , with two additional edges (4,5), (4,7).

The base edge 56 must generate the triples 156, 256, 356, and the base edge 23 must generate 235, 236, and 237. If both of them generate -s, then the complementary -s would doubly cover 147. Hence at least one of 56 or 23 must generate an . Similarly, if 67, 13 both generate -s, then 245 would be doubly covered by their complementary -s, and if 57, 12 both generate -s, then 346 would be doubly covered. Then we have at least three -s, a contradiction.

#### Acknowledgment

The authors would like to acknowledge the support of the Elective Undergraduate Research Program of the Budapest Semesters in Mathematics, 2013 Spring.