Search arXivSearch

arXiv · 2507.09235

Explicit geometric construction of Ramsey graphs

Abstract

We present an explicit geometric construction of a large parametrized family of graphs with no $k$-cliques and with bounded independence number, generalizing the triangle-free Ramsey graphs of Codenotti, Pudlák, and Resta and revisiting the previous generalization by Kostochka, Pudlák and Rödl. Within this framework, we provide a new combinatorial proof of the upper bound on the independence number for their constructions, offering additional insight into the structure of its independent sets. For our generalized family, we establish lower bounds on the independence number and identify necessary constraints on the parameters under which these graphs could yield improved constructive asymptotic lower bounds on $R(s,t)$, with particular emphasis on $R(3,t)$. As a byproduct, we provide a linear-time approximation algorithm for finding the largest independent set within this parametrized family. For a substantial subfamily, this algorithm achieves a $\frac{1}{2}$-approximation ratio. Special attention is given to the case of triangle-free graphs: we describe explicit constructions on $n$ vertices with independence number $O(n^{\frac{2}{3}})$, giving a constructive asymptotic lower bound of $Ω(t^{\frac{3}{2}})$ for the Ramsey numbers $R(3,t)$, matching the best known constructive bound.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Matija Kocbek. 2025-11-17. Explicit geometric construction of Ramsey graphs. https://arxiv.org/abs/2507.09235

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

Rooted Spider Embeddings and the Erd\H os-Sós Conjecture

Under a local density condition, we prove that every $k$-edge spider embeds at any prescribed center of degree at least $k$, unless all legs are even and the host graph has one of two specified structures. These structures contain complete bipartite subgraphs with prescribed neighborhoods. The proof uses path rerouting and three exchange lemmas that describe equality in neighborhood estimates. As a consequence, we recover the Erd\H os-Sós bound for all spiders.

math.CO

Generalized Goulden-Yong duals and signed minimal factorizations

In this paper, we give two combinatorial ways to study signed exceptional sequences. First, we show the equivalence between one-way reflections and relatively projective representations. Secondly, we construct generalized Goulden-Yong duals using reverse Garside element actions and folded chord diagrams. We then give two applications of the generalized Goulden-Yong duals: constructing generalized Prüfer codes and counting signed factorizations using the matrix-tree theorem.

math.CO

Explicit expressions for iterates of power series

We present several formulas for both the discrete and fractional iterates of an invertible power series $f$, using a new unifying approach based on umbral calculus. Known formulas are extended, and their proofs simplified, while new expressions are introduced. In particular, by employing $q$-calculus identities, we eliminate the requirement for $f'(0)$ to equal $1$ and the resulting general expressions for the iterative logarithm are obtained as well.

math.CO