Related papers: Reinforced Generation of Combinatorial Structures:…

We introduce a statistical framework for estimating Ramsey numbers by embedding two-color Ramsey instances into a $Z_2 \times Z_2$-graded Majorana algebra. This approach replaces brute-force enumeration with two randomized spectral…

The multicolor Ramsey number problem asks, for each pair of natural numbers $\ell$ and $t$, for the largest $\ell$-coloring of a complete graph with no monochromatic clique of size $t$. Recent works of Conlon-Ferber and Wigderson have…

Let $F_n$ be the graph on $2n+1$ vertices consisting of $n$ triangles meeting at a single vertex. After a number of improvements over the years, it is currently known that the Ramsey number of $F_n$ is between $4.5n-5$ (Chen, Yu, Zhao) and…

Let $F$, $G$ and $H$ be simple graphs. We say $F \rightarrow (G, H)$ if for every $2$-coloring of the edges of $F$ there exists a monochromatic $G$ or $H$ in $F$. The Ramsey number $r(G, H)$ is defined as $r(G, H) = min\{|V (F)|: F…

For fixed $s \ge 3$, we prove that if optimal $K_s$-free pseudorandom graphs exist, then the Ramsey number $r(s,t) = t^{s-1+o(1)}$ as $t \rightarrow \infty$. Our method also improves the best lower bounds for $r(C_{\ell},t)$ obtained by…

In this paper, we consider a variant of Ramsey numbers which we call complementary Ramsey numbers $\bar{R}(m,t,s)$. We first establish their connections to pairs of Ramsey $(s,t)$-graphs. Using the classification of Ramsey $(s,t)$-graphs…

Recent advances in LLM-guided evolutionary computation, particularly AlphaEvolve, have demonstrated remarkable success in discovering novel mathematical constructions and solving challenging optimization problems. In this article, we…

Let $F_n$, $W_n$, and $\widehat{K}_n$ be the graphs obtained by joining a vertex to $n$ independent edges, a cycle and a path of order $n-1$, respectively. In this paper, we give new bounds for the Ramsey numbers $R(F_n,F_m)$ and…

Mathematical reasoning is a key benchmark for large language models. Reinforcement learning is a standard post-training mechanism for improving the reasoning capabilities of large language models, yet performance remains sensitive to the…

We analyze the performance of the 2-rate $(1+\lambda)$ Evolutionary Algorithm (EA) with self-adjusting mutation rate control, its 3-rate counterpart, and a $(1+\lambda)$~EA variant using multiplicative update rules on the OneMax problem. We…

This paper introduces a general methodology, based on abstraction and symmetry, that applies to solve hard graph edge-coloring problems and demonstrates its use to provide further evidence that the Ramsey number $R(4,3,3)=30$. The number…

Many open problems in combinatorics admit reformulations in which a global construction can be achieved by the repeated application of small, finite correcting steps. This paper presents three computational case studies of this principle,…

Ramsey's theorem, concerning the guarantee of certain monochromatic patterns in large enough edge-coloured complete graphs, is a fundamental result in combinatorial mathematics. In this work, we highlight the connection between this…

We focus on two hypergraph Ramsey problems. First, we consider the Erd\H{o}s-Hajnal function $r_k(k+1,t;n)$. In 1972, Erd\H{o}s and Hajnal conjectured that the tower growth rate of $r_k(k+1,t;n)$ is $t-1$ for each $2\le t\le k$. To finish…

We introduce MathConstraint, a hard, adaptive benchmark for evaluating the combinatorial reasoning capabilities of LLMs. We combine constraint satisfaction problems with rigorous solver-based verification and design an adaptive generator to…

For positive integers $n,r,s$ with $r > s$, the set-coloring Ramsey number $R(n;r,s)$ is the minimum $N$ such that if every edge of the complete graph $K_N$ receives a set of $s$ colors from a palette of $r$ colors, then there is guaranteed…

The Ramsey number $r_k(p, q)$ is the smallest integer $N$ that satisfies for every red-blue coloring on $k$-subsets of $[N]$, there exist $p$ integers such that any $k$-subset of them is red, or $q$ integers such that any $k$-subset of them…

Operator systems of matrices can be viewed as quantum analogues of finite graphs. This analogy suggests many natural combinatorial questions in linear algebra. We determine the quantum Ramsey numbers $QR(2,k)$ and the lower quantum Tur\'an…

For a function $g:\N\to \N$, the \emph{$g$-regressive Ramsey number} of $k$ is the least $N$ so that \[N\stackrel \min \longrightarrow (k)_g\] . This symbol means: for every $c:[N]^2\to \N$ that satisfies $c(m,n)\le g(\min\{m,n\})$ there is…

The online Ramsey number $\tilde r(G,H)$ is defined via a Builder--Painter game on an empty graph with countably many vertices. In each round, Builder reveals an edge, which Painter immediately colors either red or blue. Builder wins once a…