{"id":"arxiv/2608.18769","url":"https://arxiv.org/abs/2608.18769","tags":["math.OC","cs.DM"],"score":0,"title":"An Integer Programming Approach to Compute Lower Bounds for Ramsey Numbers Using Circulant Graphs","domain":"math.OC","source":"arxiv","authors":["Stefano Coniglio","Fabio Furini","Ivana Ljubić","Pablo San Segundo","Johannes Thüerauf","Emiliano Traversi"],"reviews":0,"subject":"math.OC","summary":"The Ramsey number $R(m,n)$ is the smallest order at which every red-blue edge coloring of a complete graph must contain a blue clique (a complete subgraph) of size $m$ or a red clique of size $n$. Determining these numbers exactly is extremely hard, and even certifying a lower bound requires exhibiting an explicit coloring that avoids both cliques. We develop an integer programming framework for certifying such lower bounds, restricting the search to circulant graphs, whose rotational symmetry lets us reformulate the problem in a projected distance space, reducing the number of binary…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-08-19","reactions":{}}