---
title: 'Induced Ramsey Number: Theory & Bounds'
url: https://www.emergentmind.com/topics/induced-ramsey-number
type: topic
---

# Induced Ramsey Number: Theory & Bounds

The induced Ramsey number is a Ramsey-theoretic parameter in which the sought monochromatic copy must appear as an induced subgraph of the host graph. In one common two-color formulation, a graph \(F\) *strongly arrows* a pair \((G,H)\) if every red/blue coloring of \(E(F)\) contains either a red induced copy of \(G\) or a blue induced copy of \(H\); the induced Ramsey number \(IR(G,H)\) is the minimum order of such an \(F\) [1710.09850]. In the one-graph formulation, \(r_{\mathrm{ind}}(H)\) is the least \(N\) such that there exists a graph \(G\) on \(N\) vertices for which every two-coloring of \(E(G)\) contains an induced monochromatic copy of \(H\) [1002.0045]. A multicolor version \(R_{\mathrm{ind}}(H;r)\) replaces two colors by \(r\) colors [2509.22629]. The subject lies at the intersection of classical Ramsey theory, pseudorandomness, probabilistic constructions, regularity, and container methods, and it now includes sharp lower bounds for structured graph pairs, near-linear or linear bounds for special sparse families, and exponential general upper bounds [1710.09850, 2406.00352, 2509.22629].

## 1. Definitions, formulations, and notation

The basic two-graph definition used in several papers is the following. A graph \(F\) strongly arrows \((G,H)\), written \(F \rightarrow_{\mathrm{ind}} (G,H)\), if every red/blue coloring of \(E(F)\) yields either a red induced \(G\) or a blue induced \(H\). Then
\[
IR(G,H)=\min\{|V(F)|:F\rightarrow_{\mathrm{ind}}(G,H)\}.
\]
This is the formulation emphasized in work on lower bounds, multiple copies, and explicit asymmetric pairs [1710.09850, 1807.09376, 2002.01297].

A second formulation fixes a single graph \(H\). The induced Ramsey number \(r_{\mathrm{ind}}(H)\) is the least \(N\) such that there exists a graph \(G\) on \(N\) vertices with the property that every two-coloring of \(E(G)\) contains an induced monochromatic copy of \(H\) [1002.0045]. The multicolor extension is
\[
R_{\mathrm{ind}}(H;r),
\]
the minimum \(N\) such that there exists a graph on \(N\) vertices whose every \(r\)-edge-coloring contains a monochromatic induced copy of \(H\) [2509.22629].

The literature also studies edge-minimal host graphs. For a graph \(H\) and integer \(q\), the induced \(q\)-color size-Ramsey number
\[
\hat r_{\mathrm{ind}}(H;q)
\]
is the minimum number of edges of a graph \(G\) such that every \(q\)-edge-coloring of \(G\) contains a monochromatic induced copy of \(H\) [2406.00352]. Online variants replace the static host graph by a Builder–Painter game, producing the induced online Ramsey number \(\widetilde r_{\mathrm{ind}}(H)\) [1901.03671]. Hypergraph analogues are defined similarly for \(k\)-uniform hypergraphs [1601.01493].

This multiplicity of notations reflects genuinely different regimes: vertex-minimal host graphs, edge-minimal host graphs, fixed asymmetric pairs, multicolor variants, online forcing, and hypergraph generalizations. A plausible implication is that the field is best understood as a family of induced monochromatic embedding problems rather than a single scalar invariant.

## 2. General existence and asymptotic upper bounds

The existence of induced Ramsey numbers for graphs had been proved earlier by Deuber, Erdős–Hajnal–Pósa, and Rödl, but the main quantitative problem concerned the growth rate of \(r_{\mathrm{ind}}(H)\) as a function of \(|V(H)|\) [1002.0045]. Erdős conjectured that there exists a constant \(c\) such that every \(n\)-vertex graph \(H\) satisfies
\[
r_{\mathrm{ind}}(H)\le 2^{cn}.
\]
Before 2010, the best general bound cited in the data was that Kohayakawa, Prömel, and Rödl showed
\[
r_{\mathrm{ind}}(H)\le 2^{c n\log^2 n},
\]
using a random graph construction based on finite projective planes [1002.0045].

A major improvement was obtained by Conlon, Fox, and Sudakov, who proved that there exists a constant \(c\) such that every graph \(H\) with \(n\) vertices satisfies
\[
r_{\mathrm{ind}}(H)\le 2^{c n\log n}.
\]
Their method used \((p,\lambda)\)-pseudorandom graphs, color-symmetric embedding lemmas, bi-density arguments, and Lovász’s partitioning lemma [1002.0045]. The paper also stated a pseudorandom host criterion: for suitable constants, every \(n\)-vertex graph \(H\) appears as an induced monochromatic copy in every two-coloring of a \((1/2,\lambda)\)-pseudorandom graph \(G\) on \(N\) vertices with \(N=2^{c n\log n}\) and \(\lambda\le 2^{-c n\log n}N\) [1002.0045].

A further step was achieved in the multicolor setting. For every graph \(H\) on \(k\) vertices and every \(r\ge 2\), there exists a constant \(C>0\) such that
\[
R_{\mathrm{ind}}(H;r)\le r^{Crk}.
\]
In particular, for \(r=2\),
\[
R_{\mathrm{ind}}(H)\le 2^{Ck},
\]
which resolves the Erdős conjecture from 1975 in the affirmative [2509.22629]. The proof uses random host graphs \(G(N,1/2)\), a tailored induction, and a refined container framework for global properties, including a “novel global container lemma” and the Janson property for hypergraphs encoding induced copies [2509.22629].

The quantitative development is summarized below.

| Regime | General upper bound | Source |
|---|---:|---|
| Graphs, two colors | \(2^{c n\log n}\) | [1002.0045] |
| Graphs, \(r\) colors | \(r^{Crk}\) | [2509.22629] |
| \(3\)-uniform hypergraphs | \(2^{2^{ct}}\) | [1601.01493] |

This progression shows that the general graph case moved from superexponential bounds in \(n\) to exponential bounds, while the hypergraph setting remains tower-type in general [1601.01493, 2509.22629].

## 3. Lower bounds and sharpness for graph pairs

General upper bounds are complemented by structural lower bounds for asymmetric pairs \((G,H)\). If \(G\) is connected with independence number \(\alpha=\alpha(G)\ge 2\) and \(H\) has clique number \(\omega=\omega(H)\), then
\[
IR(G,H)>(\alpha-1)\omega(\omega-1)+\omega-1.
\]
The paper describes this as asymptotically roughly \(\frac{\omega^2\alpha}{2}\) [1710.09850]. The proof is inductive and proceeds by explicit colorings that avoid both a red induced \(G\) and a blue induced \(H\), repeatedly decomposing the host into red cliques and coloring the rest blue [1710.09850].

This bound is sharp for stars versus complete graphs:
\[
IR(S_k,K_n)=(k-1)n(n-1)+n.
\]
The same paper also states that the bound is nearly sharp for paths and cycles [1710.09850].

When \(G\) is isolates-free but not necessarily connected, with independence number \(\alpha\ge 2\), and \(H\) has clique number \(\omega\), one has the linear lower bound
\[
IR(G,H)\ge \alpha\omega.
\]
For \(\alpha=2\), the paper first proves \(IR(G,H)\ge 2\omega\), then uses induction for higher \(\alpha\) [1710.09850]. This lower bound is sharp for matchings:
\[
IR(kK_2,K_n)=kn,
\]
matching the \(\alpha\omega\) lower bound [1710.09850].

These results show that the induced setting can force distinctly different asymptotics from classical Ramsey lower bounds. The data explicitly contrasts them with the classical Chvátal–Harary lower bound \(R(G,H)\ge (|V(G)|-1)(\chi(H)-1)+1\), which is typically linear, whereas the induced setting can exhibit quadratic dependence through the interaction of \(\alpha(G)\) and \(\omega(H)\) [1710.09850].

## 4. Exact values and explicit families

A large part of the literature concerns explicit graph pairs for which induced Ramsey numbers can be computed exactly or confined to narrow ranges.

For stars versus a fixed graph, let \(r=\chi(H)\). Then for every \(c>0\) and sufficiently large \(n\),
\[
(r-1)n<IR(H,S_n)<(r-1)(r-1)n+cn.
\]
The lower bound is asymptotically tight for any fixed bipartite \(H\), and the upper bound is attained up to a constant factor, for example by a clique \(H\) [2002.01297]. The lower bound comes from partitioning the vertex set into \(r-1\) parts, coloring within-part edges blue and between-part edges red, thereby forbidding both a red induced \(H\) and a blue induced \(K_{1,n}\) [2002.01297]. For stars on both sides one has the exact formula
\[
IR(K_{1,\ell},K_{1,n})=n+\ell
\]
[Lemma 4, 2002.01297].

For fan graphs \(F_n\), defined as the union of \(n\) triangles sharing one central vertex, there is a quadratic upper bound: for every fixed graph \(G\), there exists a constant \(C=C(G)\) such that
\[
r_{\mathrm{ind}}(G,F_n)\le C n^2.
\]
This is proved using finite projective planes, random embeddings of a Ramsey graph for \((G,K_3)\), the Caro–Wei lemma, and a conflict analysis tailored to induced copies of the fan [2603.19638]. When \(G\) is a star \(K_{1,\ell}\) with \(\ell<n\),
\[
2n+2\ell-1\le r_{\mathrm{ind}}(K_{1,\ell},F_n)\le (\ell+n-1)(\ell+1)+1,
\]
and for \(\ell=2\),
\[
r_{\mathrm{ind}}(K_{1,2},F_n)=3n+4
\]
[2603.19638].

Multiple-copy phenomena show that induced Ramsey numbers are not simply additive. If \(sG\) denotes the disjoint union of \(s\) copies of \(G\), then
\[
IR(sG,tH)\le (s+t-1)\,IR(G,H).
\]
This upper bound comes from taking \(s+t-1\) disjoint copies of a host graph that arrows \((G,H)\) [1807.09376]. For many known examples equality holds, including
\[
IR(sK_2,tK_2)=2(s+t-1),\qquad IR(K_3,tK_3)=6t,
\]
and
\[
IR(P_3,tK_n)=t\Big(\binom{n}{2}+n\Big)
\]
[1807.09376]. However, strict inequality can occur: for \(n\ge 5\),
\[
IR(P_n,2K_2)=n+2<2n=2\cdot IR(P_n,K_2),
\]
and the gap can grow with \(n\) [1807.09376]. This suggests that induced structure can create efficiencies unavailable in the naive disjoint-union argument.

## 5. Induced size-Ramsey numbers and sparse graph classes

The edge-minimal analogue, the induced size-Ramsey number, asks for the minimum number of edges in a host graph that forces a monochromatic induced copy under every coloring. For fixed integers \(k,w,q\), if \(H\) is an \(n\)-vertex graph with maximum degree \(k\) and treewidth at most \(w\), then
\[
\hat r_{\mathrm{ind}}(H;q)=O_{k,w,q}(n).
\]
This linear bound covers all bounded-degree graphs of bounded treewidth, including trees and cycles, and is proved via a “novel reduction argument” that converts non-induced size-Ramsey constructions into induced ones through a pseudo-random blowup, cleaning, and embedding procedure [2406.00352].

For cycles, more explicit multicolor bounds are known. For all sufficiently large \(n\),
\[
\hat r_{\mathrm{ind}}^k(C_n)\le O(k^{102})\,n
\]
when \(n\) is even, and
\[
\hat r_{\mathrm{ind}}^k(C_n)\le e^{O(k\log k)}\,n
\]
when \(n\) is odd [2301.10160]. The odd-cycle result is close to the lower bound \(e^{\Omega(k)}n\), while the even-cycle result replaces the older tower-type dependence on \(k\) by a polynomial one [2301.10160]. The proof uses gadget graphs, random hypergraphs, local sparsity, expansion, and DFS-based methods to avoid the regularity lemma [2301.10160].

Long subdivisions of bounded-degree graphs also admit explicit linear induced size-Ramsey bounds. If \(H\) has maximum degree \(D\), \(H^\sigma\) is a subdivision in which every replaced edge has length greater than \(c\log_D n\), and \(n=|V(H^\sigma)|\), then
\[
\widehat R_{\mathrm{ind}}(H^\sigma,k)=e^{O(k\log k)}D^9\log(D)\,n.
\]
If every subdivision length is even and larger than \(c\log_D n\), this improves to
\[
\widehat R_{\mathrm{ind}}(H^\sigma,k)=O\!\left(k^{342}\log^9(k)\,D^9\log D\right)n
\]
[2602.05960]. The methods use sparse high-girth hypergraphs, gadget graphs for short cycles, expansion, and “reserved critical vertices,” explicitly avoiding Szemerédi’s regularity lemma [2602.05960].

These sparse-host results show that induced Ramsey forcing can be linear in \(|H|\) for broad structured classes even when the general vertex Ramsey problem is much harder.

## 6. Extensions: online and hypergraph settings, and structural context

The induced online Ramsey number \(\widetilde r_{\mathrm{ind}}(H)\) is defined in a Builder–Painter game on an infinite independent set of vertices: Builder presents edges one by one, Painter colors them red or blue, and Builder seeks to force an induced monochromatic copy of \(H\) after finitely many rounds [1901.03671]. For paths and cycles the bounds are linear:
\[
\widetilde r_{\mathrm{ind}}(P_n)\le 28n-27,
\]
\[
\widetilde r_{\mathrm{ind}}(C_n)\le 367n-27\quad\text{for even }n,
\]
and
\[
\widetilde r_{\mathrm{ind}}(C_n)\le 735n-27\quad\text{for odd }n
\]
[1901.03671]. For spiders \(\sigma_{k,\ell}\),
\[
\widetilde r_{\mathrm{ind}}(\sigma_{k,\ell})=\Theta(k^2\ell),
\]
while for centipedes \(S_{k,\ell}\),
\[
\widetilde r_{\mathrm{ind}}(S_{k,\ell})=O(k\ell)
\]
and there exists an infinite family of trees \(T_1,T_2,\dots\) such that
\[
\lim_{i\to\infty}\frac{\widetilde r_{\mathrm{ind}}(T_i)}{\overline r(T_i)}=0
\]
[1901.03671]. These comparisons show that online and size-based induced parameters can behave quite differently.

Hypergraph induced Ramsey numbers exhibit another direction of generalization. For a \(k\)-uniform hypergraph \(F\), the induced Ramsey number \(r_{\mathrm{ind}}(F)\) is the smallest \(n\) such that some \(k\)-uniform hypergraph \(G\) on \(n\) vertices has the property that every two-coloring of \(E(G)\) contains an induced monochromatic copy of \(F\) [1601.01493]. The main theorem bounds \(r_{\mathrm{ind}}(F;q)\) by a reasonable power of the classical hypergraph Ramsey number \(r(F;q)\), and in particular implies that for every \(3\)-uniform hypergraph \(F\) on \(t\) vertices,
\[
r_{\mathrm{ind}}(F)\le 2^{2^{ct}}
\]
for some constant \(c\) [1601.01493]. The proof relies on the hypergraph container method [1601.01493].

A related structural theme appears in work on Ramsey graphs. Every \(n\)-vertex \(C\)-Ramsey graph contains at least \(c n^{5/2}\) induced subgraphs with pairwise distinct \((v(H),e(H))\) pairs, proving the Erdős–Faudree–Sós conjecture [1712.05656]. Although this is not itself an induced Ramsey-number theorem, it reinforces the recurring principle that Ramsey-type host graphs exhibit strong induced-subgraph richness [1712.05656].

## 7. Methods, themes, and open directions

Several proof paradigms recur across the subject. Explicit coloring constructions yield lower bounds by forbidding red induced \(G\) through control of independence structure and blue induced \(H\) through clique obstructions or degree bounds [1710.09850, 2002.01297]. Pseudorandom graphs support dense general upper bounds, as in the \((p,\lambda)\)-pseudorandom framework used to prove \(r_{\mathrm{ind}}(H)\le 2^{c n\log n}\) [1002.0045]. Random host graphs and hypergraph containers underpin the exponential multicolor upper bound \(R_{\mathrm{ind}}(H;r)\le r^{Crk}\) [2509.22629]. Sparse induced size-Ramsey constructions rely on blowups, gadgets, expansion, local sparsity, and cleaning procedures [2406.00352, 2301.10160, 2602.05960]. Hypergraph container methods also extend the theory beyond graphs [1601.01493].

Several open problems are explicitly recorded in the data. Before the 2025 exponential upper bound, the main unresolved question for graphs was Erdős’s conjecture \(r_{\mathrm{ind}}(H)\le 2^{cn}\) [1002.0045]; the multicolor paper states that this is now resolved for \(r=2\), and more generally proves \(R_{\mathrm{ind}}(H;r)\le r^{Crk}\) [2509.22629]. In induced size-Ramsey theory, the “Absolute Constant Problem for Trees” asks whether \(\hat r_{\mathrm{ind}}(T)=O(n)\) can hold for all \(n\)-vertex trees with a universal constant independent of the maximum degree, though the data also notes that known lower bounds show some high-degree trees require much larger host graphs [2406.00352]. For fans, it remains open whether the quadratic upper bound \(r_{\mathrm{ind}}(G,F_n)\le C(G)n^2\) is asymptotically tight, and whether analogous methods extend to fans built from higher cycles [2603.19638]. For cycles and long subdivisions, improving the dependence on the number of colors \(k\) remains an explicit quantitative theme [2301.10160, 2602.05960].

Taken together, these results indicate that induced Ramsey theory has two contrasting faces. On one side, the unrestricted vertex Ramsey problem for arbitrary graphs requires sophisticated probabilistic and container methods and attains exponential-scale host sizes [2509.22629]. On the other, substantial structured classes—trees, bounded-treewidth graphs, cycles, matchings, long subdivisions, stars against fixed targets, and fans—admit linear, quadratic, or exact bounds driven by combinatorial structure [1710.09850, 2002.01297, 2406.00352, 2301.10160, 2603.19638]. This suggests that the central organizing principle of the subject is the tension between global universality and local induced constraints.

Source: https://www.emergentmind.com/topics/induced-ramsey-number