The Four-Color Ramsey Multiplicity of Triangles

Aldo Kiem,Sebastian Pokutta,Christoph Spiegel

2023-12-13

Abstract:We study a generalization of a famous result of Goodman and establish that asymptotically at least a $1/256$ fraction of all triangles needs to be monochromatic in any four-coloring of the edges of a complete graph. We also show that any large enough extremal construction must be based on a blow-up of one of the two $R(3,3,3)$ Ramsey-colorings of $K_{16}$. This result is obtained through an efficient flag algebra formulation by exploiting problem-specific combinatorial symmetries that also allows us to study some related problems.

Combinatorics,Optimization and Control

What problem does this paper attempt to address?

The problem that this paper attempts to solve is: in a complete graph with four - color edge - coloring, what is the minimum proportion of triangles that must be monochromatic. Specifically, the paper proves that in any complete graph with four - color edge - coloring, at least $\frac{1}{256}$ of the triangles are monochromatic, and for large enough extremal constructions, these constructions must be based on one of the two $R(3,3,3)$ Ramsey colorings of $K_{16}$.

### Background and Problem Description of the Paper

**1. Origin of the Problem**

- **Goodman's Result**: In 1959, Goodman [26] determined the minimum number of monochromatic triangles in a complete graph with two - color edge - coloring. He proved that as the number of vertices $n$ approaches infinity, at least $\frac{1}{4}$ of the triangles are monochromatic.
- **Extension to Multiple Colors**: Goodman also proposed extending this problem to cases with more than two colors. This problem was not solved until more than 50 years later by the flag algebra method.

**2. Three - Color Case**

- **Result of Cummings et al.**: Cummings et al. [11] proved that in any complete graph with three - color edge - coloring, at least $\frac{1}{25}$ of the triangles are monochromatic. They also precisely characterized large enough extremal constructions and found that these problems are closely related to the Ramsey number $R(3,3) = 6$.

**3. Four - Color Case**

- **Main Contribution of This Paper**: This paper studies the case of four - color edge - coloring and proves that in any complete graph with four - color edge - coloring, at least $\frac{1}{256}$ of the triangles are monochromatic. Moreover, for large enough extremal constructions, these constructions must be based on one of the two $R(3,3,3)$ Ramsey colorings of $K_{16}$.

### Main Results

**Theorem 1.1**

- **Asymptotic Lower Bound**: In any complete graph with four - color edge - coloring, at least $\frac{1}{256}$ of the triangles are monochromatic.
- **Extremal Constructions**: For large enough extremal constructions, these constructions must be based on one of the two $R(3,3,3)$ Ramsey colorings of $K_{16}$.

### Methods and Techniques

**1. Flag Algebra Framework**

- **Flag Algebra**: The flag algebra framework proposed by Razborov [45] allows obtaining bounds for classical graph theory and Ramsey theory problems by solving specific semi - definite programming (SDP).
- **Utilization of Symmetry**: This paper derives an efficient SDP expression by identifying and using combinatorial symmetries. This method not only improves computational efficiency but also provides new ideas for other similar problems.

**2. Stability Argument**

- **Stability Result**: This paper extends the stability argument developed previously in the three - color case to an arbitrary number of colors and establishes a strong connection between determining Ramsey numbers and Ramsey multiplicity problems.

### Conclusions and Future Research Directions

- **Conclusion**: This paper solves the problem of the minimum proportion of monochromatic triangles in four - color edge - coloring and provides the specific form of extremal constructions.
- **Future Research Directions**: The methods and techniques in this paper can be applied to other combinatorial optimization problems, especially in scenarios involving symmetry. Future research can further explore cases with more colors and non - diagonal Ramsey multiplicity problems.

Through these results and methods, this paper not only promotes the development of Ramsey theory but also provides new tools and perspectives for research in graph theory and combinatorial optimization fields.