# Sharp logarithmic exponents for off-diagonal Ramsey numbers > For every fixed s ≥ 5, the Ramsey number r(s,t) now has its exact power of log t, up to a vanishing error. Canonical: https://closedform.nishachay.tech/e/openai-math-2026-170/ Last updated: 2026-10-14 **For every fixed s ≥ 5, the Ramsey number r(s,t) now has its exact power of log t, up to a vanishing error.** **Trust:** Formal proof listed · **Papers:** 2 · **First paper:** September 24, 2026 · **Field:** Combinatorics · **Entry:** 170 *Explained by AI.* Drafted by one AI model and checked sentence by sentence against the paper by a different one. Spot a mistake? Report an error. The Ramsey number r(s,t) is the fewest people at a party that guarantees s mutual friends or t mutual strangers. For fixed s, an upper bound of order t^(s−1)/(log t)^(s−2) has stood since 1980. Lower bounds matched the power of t only recently, and still lost a larger power of log t. These two papers prove the upper bound's power of log t is right, up to an error that shrinks as t grows. ## At a glance - **First step:** 1935 (Paul Erdős and George Szekeres, the first general upper bound) - **Significance:** Major. It closes the logarithmic gap between lower and upper bounds for a central family of Ramsey numbers. - **Trust:** Formal proof listed - **Field:** Combinatorics (2 papers) ## The explanation Six people meet at a party. Any two are either friends or strangers. However the friendships fall, some three are all friends, or some three are all strangers. With five people this can fail. Seat them in a ring, make each person friends with the two beside them, and no such trio appears. So the Ramsey number r(3,3) is 6. In general, r(s,t) is the fewest people that forces s mutual friends or t mutual strangers. In graph terms, a clique is a set of vertices all linked to each other. An independent set has no links at all. Ramsey's theorem from 1930 says these numbers are always finite[1]. This entry is about the off-diagonal case: s stays fixed while t grows large. Upper bounds came first. Erdős and Szekeres gave one in 1935, which grows like t^(s−1). In 1980 Ajtai, Komlós and Szemerédi divided that by (log t)^(s−2)[2]. That upper bound is where the target power s − 2 comes from[3]. For s = 3, Kim showed in 1995 that this upper bound is right up to a constant[4]. For larger s, lower bounds lagged far behind. For s = 5, random constructions could not even reach the right power of t[5]. Finite geometry changed this. In 2026 Bradač built graphs that match the power t^(s−1) for every fixed s[6]. But his bound divides by (log t)^(2s−4), not (log t)^(s−2). That leftover is the gap these papers close[7]. Put numbers on that gap for s = 5. The upper bound is about t⁴/(log t)³ and Bradač's lower bound is about t⁴/(log t)⁶. Take t equal to one million, so log t is about 13.8. Then (log t)³ is about 2,637 and (log t)⁶ is about 6.95 million. The two bounds differ by a factor of about 2,637. The first paper proves that for s = 5 the true power of log t is 3[8]. For every small ε above zero, r(5,t) is at least t⁴/(log t)^(3+ε) once t is large enough. It is at most a constant times t⁴/(log t)³. The second paper proves the same pattern for every fixed s of at least 6, with power s − 2[9]. The constant factor in front stays open[10]. The papers build graphs from geometry over a finite field. Each vertex gets a random point and a random hyperplane through it. A hyperplane is a flat slice one dimension lower than the space. Links depend on which points lie on which hyperplanes. Linear algebra then rules out the forbidden clique[11]. The hard part is the other side: showing no large independent set exists. Picking out one long independent sequence can skew its statistics badly[12]. The first paper's main new tool describes pairs of point sets and hyperplane sets that meet far less often than expected[13]. The second paper gives all its own arguments, including new steps for higher dimensions[14]. How sure is this? A computer proof checker called Lean has checked formal versions of both theorems, with their lower and upper bounds. No specialist review of either paper has been published. **What it doesn't show.** This does not cover s = 4, and it does not find the constant factor in front of t^(s−1)/(log t)^(s−2). ## Where it came from This result comes from an unreleased OpenAI model, published in the openai/math release on 6 October 2026. ## Hype check Major. Lean checks formal versions of both theorems. The constant factor stays open, s = 4 is not covered, and no specialist review is published. ## Words used - **Ramsey number r(s,t):** The smallest number of vertices that forces either s vertices all linked to each other or t vertices with no links among them. - **Clique:** A set of vertices in a graph that are all linked to each other. - **Independent set:** A set of vertices in a graph with no links among them. - **Off-diagonal:** The case where s stays fixed while t grows, instead of both growing together. - **Logarithmic exponent:** The power of log t in a formula like t⁴/(log t)³; here it is 3. - **o(1):** An error term that shrinks toward zero as t grows. ## The original papers (2) - [The sharp logarithmic exponent of r(5,t)](https://github.com/openai/math/blob/main/preprints/The-Sharp-Logarithmic-Exponent-of-r-5-t-September-24-2026/paper.pdf) - September 24, 2026 - [Sharp logarithmic exponents for fixed off-diagonal Ramsey numbers](https://github.com/openai/math/blob/main/preprints/Sharp-Logarithmic-Exponents-for-Fixed-Off-Diagonal-Ramsey-Numbers-September-24-2026/paper.pdf) - September 24, 2026 - [Lean notes](https://github.com/openai/math/blob/main/lean/docs/170.md) ## Quoted lines from the paper (14) [1] From [Sharp logarithmic exponents for fixed off-diagonal Ramsey numbers](https://github.com/openai/math/blob/main/preprints/Sharp-Logarithmic-Exponents-for-Fixed-Off-Diagonal-Ramsey-Numbers-September-24-2026/paper.pdf): > Ramsey's finite partition theorem, developed in his work on a problem of formal logic, guarantees that these numbers are finite. [2] From [Sharp logarithmic exponents for fixed off-diagonal Ramsey numbers](https://github.com/openai/math/blob/main/preprints/Sharp-Logarithmic-Exponents-for-Fixed-Off-Diagonal-Ramsey-Numbers-September-24-2026/paper.pdf): > Ajtai, Koml\'os, and Szemer\'edi obtained the logarithmic improvement $O_s(t^{s-1}/(\log t)^{s-2})$. [3] From [Sharp logarithmic exponents for fixed off-diagonal Ramsey numbers](https://github.com/openai/math/blob/main/preprints/Sharp-Logarithmic-Exponents-for-Fixed-Off-Diagonal-Ramsey-Numbers-September-24-2026/paper.pdf): > The logarithmic power $s-2$ thus comes from the classical upper-bound side of the problem. [4] From [Sharp logarithmic exponents for fixed off-diagonal Ramsey numbers](https://github.com/openai/math/blob/main/preprints/Sharp-Logarithmic-Exponents-for-Fixed-Off-Diagonal-Ramsey-Numbers-September-24-2026/paper.pdf): > For $s=3$, Kim's lower bound established $r(3,t)=\Theta(t^2/\log t)$. [5] From [The sharp logarithmic exponent of r(5,t)](https://github.com/openai/math/blob/main/preprints/The-Sharp-Logarithmic-Exponent-of-r-5-t-September-24-2026/paper.pdf): > Thus even the power of \(t\) in the upper bound remained out of reach by these methods. [6] From [Sharp logarithmic exponents for fixed off-diagonal Ramsey numbers](https://github.com/openai/math/blob/main/preprints/Sharp-Logarithmic-Exponents-for-Fixed-Off-Diagonal-Ramsey-Numbers-September-24-2026/paper.pdf): > Brada\v{c}'s projective construction then established \[ r(s,t)\ge c_s\frac{t^{s-1}}{(\log t)^{2s-4}} \qquad(s\ge3,\ t\ge2) \], determining the polynomial exponent for every fixed $s$. [7] From [Sharp logarithmic exponents for fixed off-diagonal Ramsey numbers](https://github.com/openai/math/blob/main/preprints/Sharp-Logarithmic-Exponents-for-Fixed-Off-Diagonal-Ramsey-Numbers-September-24-2026/paper.pdf): > The remaining difference between the powers $2s-4$ and $s-2$ is the logarithmic gap addressed here. [8] From [The sharp logarithmic exponent of r(5,t)](https://github.com/openai/math/blob/main/preprints/The-Sharp-Logarithmic-Exponent-of-r-5-t-September-24-2026/paper.pdf): > The theorem resolves the sharp logarithmic-exponent question for \(r(5,t)\). [9] From [Sharp logarithmic exponents for fixed off-diagonal Ramsey numbers](https://github.com/openai/math/blob/main/preprints/Sharp-Logarithmic-Exponents-for-Fixed-Off-Diagonal-Ramsey-Numbers-September-24-2026/paper.pdf): > The theorem determines the logarithmic exponent. [10] From [The sharp logarithmic exponent of r(5,t)](https://github.com/openai/math/blob/main/preprints/The-Sharp-Logarithmic-Exponent-of-r-5-t-September-24-2026/paper.pdf): > It leaves open a constant-factor asymptotic for \(t^4/(\log t)^3\). [11] From [Sharp logarithmic exponents for fixed off-diagonal Ramsey numbers](https://github.com/openai/math/blob/main/preprints/Sharp-Logarithmic-Exponents-for-Fixed-Off-Diagonal-Ramsey-Numbers-September-24-2026/paper.pdf): > Linear independence excludes $K_{d+1}$. [12] From [Sharp logarithmic exponents for fixed off-diagonal Ramsey numbers](https://github.com/openai/math/blob/main/preprints/Sharp-Logarithmic-Exponents-for-Fixed-Off-Diagonal-Ramsey-Numbers-September-24-2026/paper.pdf): > Selecting such a sequence can heavily bias its distribution. [13] From [The sharp logarithmic exponent of r(5,t)](https://github.com/openai/math/blob/main/preprints/The-Sharp-Logarithmic-Exponent-of-r-5-t-September-24-2026/paper.pdf): > The principal additional ingredient is a description theorem for sparse point--hyperplane pairs. [14] From [Sharp logarithmic exponents for fixed off-diagonal Ramsey numbers](https://github.com/openai/math/blob/main/preprints/Sharp-Logarithmic-Exponents-for-Fixed-Off-Diagonal-Ramsey-Numbers-September-24-2026/paper.pdf): > The present paper supplies all the required arguments locally. ## Other sources - [P. Erdős and G. Szekeres, “A combinatorial problem in geometry”, Compositio Mathematica 2 (1935), 463–470](https://www.numdam.org/item/CM_1935__2__463_0/) - [M. Ajtai, J. Komlós and E. Szemerédi, “A note on Ramsey numbers”, Journal of Combinatorial Theory, Series A 29(3) (1980), 354–360](https://doi.org/10.1016/0097-3165(80)90030-8) - [J. H. Kim, “The Ramsey number R(3,t) has order of magnitude t²/log t”, Random Structures & Algorithms 7(3) (1995), 173–207](https://doi.org/10.1002/rsa.3240070302) - [T. Bohman and P. Keevash, “The early evolution of the H-free process”, Inventiones Mathematicae 181(2) (2010), 291–336](https://doi.org/10.1007/s00222-010-0247-x) - [S. Mattheus and J. Verstraëte, “The asymptotics of r(4,t)”, Annals of Mathematics 199(2) (2024), 919–941](https://doi.org/10.4007/annals.2024.199.2.8) - [D. Bradač, “Off-diagonal Ramsey numbers”, arXiv:2605.28793 (2026)](https://arxiv.org/abs/2605.28793v3) - [openai/math release notes (2026): model provenance and review status](https://github.com/openai/math/blob/main/README.md): “manuscripts and supporting proof artifacts produced by an internal OpenAI model” ## Related - [The hypercube Ramsey conjecture](https://closedform.nishachay.tech/e/openai-math-2026-171/) - Combinatorics - [Classification of finite Euclidean Ramsey configurations](https://closedform.nishachay.tech/e/openai-math-2026-172/) - Combinatorics - [Superexponential van der Waerden numbers](https://closedform.nishachay.tech/e/openai-math-2026-160/) - Combinatorics - [Cycle–clique Ramsey numbers](https://closedform.nishachay.tech/e/openai-math-2026-189/) - Combinatorics - [Shareshian–Wachs elementary positivity](https://closedform.nishachay.tech/e/openai-math-2026-169/) - Combinatorics - [Combinatorics](https://closedform.nishachay.tech/science/mathematics/combinatorics/) - Field · 37 results - [Ramsey theory](https://closedform.nishachay.tech/topic/ramsey-theory/) - Topic · 5 results - [Graph theory](https://closedform.nishachay.tech/topic/graph-theory/) - Topic · 40 results - [Open since before 1940](https://closedform.nishachay.tech/open-since/before-1940/) - Era · 16 results - [Lean-checked results](https://closedform.nishachay.tech/trust/lean-checked/) - Trust · 242 results - [Report an error](https://github.com/nishachay/closed-form/issues/new?template=report-error.yml&labels=entry-error&title=%5Bentry%20170%5D%20)