arXiv++ Combinatorics

Let \(B_n\) denote the book graph consisting of \(n\) triangles sharing a common edge. Rousseau and Sheehan (1978) proved, using Paley graphs, that \(R(B_n,B_n)=4n+2\) whenever \(4n+1\) is a prime power. Since then, only a few additional exact values of \(R(B_n,B_n)\) have been obtained. In this paper, we obtain \(R(B_n,B_n)=4n+1\) for infinitely many \(n\) by constructing graphs from pseudo-cyclic strongly regular graphs (PC-graphs). To the best of our knowledge, this is the first new infinite family of exact diagonal book Ramsey numbers since 1978. We also prove that \(R(B_{n-2},B_n)\le 4n-3\) for every \(n\ge 3\) with \(n\ne 6\), removing the original condition \(n\equiv 2\pmod 3\) imposed by Rousseau and Sheehan. Moreover, equality \(R(B_{n-2},B_n)=4n-3\) holds if there exists a symmetric Hadamard matrix of order \(2n-2\) with all diagonal entries equal to \(1\). In particular, this equality holds for every \(n=2^{2\ell-1}+1\) with \(\ell\ge 1\).

Let \(F\) and \(G\) be \(r\)-uniform hypergraphs, and let \(f_{F,G}(n)\) be the largest integer \(m\) such that every \(n\)-vertex \(G\)-free \(r\)-graph contains an induced \(F\)-free subgraph on \(m\) vertices. We prove that, if \(r\ge3\), \(F\) is nonempty, \(G\) is \(2\)-tightly connected, and there is no homomorphism from \(G\) to \(F\), then \[ f_{F,G}(n)\le C(\log n)^{β_F}, \qquad β_F= \max_{\substack{\emptyset\ne P\subseteq\partial_2F}} \frac{e(P)}{v(P)-1}. \] For \(r=3\), this confirms a conjecture of He and Nie for tightly connected \(3\)-graphs, sharpening their earlier bound by replacing the exponent $ \max_{\substack{\emptyset\ne P\subseteq\partial_2F}} \frac{e(P)+1}{v(P)-1} $ with \(β_F\). When \(F=K_r^r\), our result recovers the Ramsey lower bound $r(G,K_n^r)\ge 2^{Ω(n^{2/r})}$ whenever \(G\) is \(2\)-tightly connected and non-\(r\)-partite.

For integers m >= 1, s >= 0, and t >= 1, let K_s + mK_t denote the join of a clique K_s and m vertex-disjoint copies of K_t. We prove that for fixed m >= 1, t >= 1, and s >= 0, R(K_s + mK_t, K_n) = O( n^{s+t-1} / (log n)^{s+t-2} ). This settles a problem proposed by Liu and Li (2026). Moreover, for (s,t) = (0,3) the bound is tight up to a constant factor, matching the classical result R(K_3, K_n) = Theta( n^2 / log n ) of Kim (1995).