arXiv++ Combinatorics

One of the toughest problems in Ramsey theory is to determine the existence of monochromatic arithmetic progressions in groups whose elements have been colored. We study the harder problem to not only determine the existence of monochromatic arithmetic progressions, but to also count them. We reformulate the enumeration in real algebraic geometry and then use state of the art computational methods in semidefinite programming and representation theory to derive sharp, or an explicit constant from sharp, lower bounds for the cyclic group of any order.

There are many extremely challenging problems about existence of monochromatic arithmetic progressions in colorings of groups. Many theorems hold only for abelian groups as results on non-abelian groups are often much more difficult to obtain. In this research project we do not only determine existence, but study the more general problem of counting them. We formulate the enumeration problem as a problem in real algebraic geometry and then use state of the art computational methods in semidefinite programming and representation theory to derive lower bounds for the number of monochromatic arithmetic progressions in any finite group.

Additive combinatorics is built around the famous theorem by Szemerédi which asserts existence of arithmetic progressions of any length among the integers. There exist several different proofs of the theorem based on very different techniques. Szemerédi's theorem is an existence statement, whereas the ultimate goal in combinatorics is always to make enumeration statements. In this article we develop new methods based on real algebraic geometry to obtain several quantitative statements on the number of arithmetic progressions in fixed density sets. We further discuss the possibility of a generalization of Szemerédi's theorem using methods from real algebraic geometry.

Many combinatorial problems can be formulated as a polynomial optimization problem that can be solved by state-of-the-art methods in real algebraic geometry. In this paper we explain many important methods from real algebraic geometry, we review several applications and discuss implementation and computational aspects.