Search arXivSearch

arXiv · 2109.09205

Ramsey goodness of books revisited

Abstract

The Ramsey number $r(G,H)$ is the minimum $N$ such that every graph on $N$ vertices contains $G$ as a subgraph or its complement contains $H$ as a subgraph. For integers $n \geq k \geq 1$, the $k$-book $B_{k,n}$ is the graph on $n$ vertices consisting of a copy of $K_k$, called the spine, as well as $n-k$ additional vertices each adjacent to every vertex of the spine and non-adjacent to each other. A connected graph $H$ on $n$ vertices is called $p$-good if $r(K_p,H)=(p-1)(n-1)+1$. Nikiforov and Rousseau proved that if $n$ is sufficiently large in terms of $p$ and $k$, then $B_{k,n}$ is $p$-good. Their proof uses Szemerédi's regularity lemma and gives a tower-type bound on $n$. We give a short new proof that avoids using the regularity method and shows that every $B_{k,n}$ with $n \geq 2^{k^{10p}}$ is $p$-good. Using Szemerédi's regularity lemma, Nikiforov and Rousseau also proved much more general goodness-type results, proving a tight bound on $r(G,H)$ for several families of sparse graphs $G$ and $H$ as long as $|V(G)| < δ|V(H)|$ for a small constant $δ> 0$. Using our techniques, we prove a new result of this type, showing that $r(G,H) = (p-1)(n-1)+1$ when $H =B_{k,n}$ and $G$ is a complete $p$-partite graph whose first $p-1$ parts have constant size and whose last part has size $δn$, for some small constant $δ>0$. Again, our proof does not use the regularity method, and thus yields double-exponential bounds on $δ$.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Jacob Fox, Xiaoyu He, Yuval Wigderson. 2023-07-14. Ramsey goodness of books revisited. https://doi.org/10.19086/aic.2023.4

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