Book Ramsey numbers conjecture

Prove or refute the identity \(R(B_{n-1},B_n)=4n-1\) for every positive integer n, equivalently establish the matching lower bound by constructing a red–blue coloring of \(K_{4n-2}\) containing neither a red \(B_{n-1}\) nor a blue \(B_n\).

Background

The book graph B_k consists of k triangles sharing a common edge. The paper states the general identity as a conjecture and notes that the upper bound 4n−1 is known for all n.

The unresolved part is the matching lower bound. The paper’s three infinite families prove the conjecture for additional parameter values, but do not establish it for every positive integer n.

References

An open problem is whether \begin{equation} R(B_{n-1},B_n)=4n-1 \label{eq:book-ramsey-value} holds for every positive integer $n$.

Autonomous Mathematical Discovery in an Open-World Multi-Agent Environment  (2608.23691 - Chung et al., 24 Aug 2026) in Section 3, subsection “Book Ramsey numbers”