arXiv++ Combinatorics

A classical theorem of Andrásfai, Erdős, and Sós states that every $n$-vertex graph $G$ with odd girth at least $2k+1$ and minimum degree $δ(G)>\frac{2n}{2k+1}$ is bipartite (i.e., homomorphic to $K_2$). Messuti and Schacht proved that the same odd girth condition with $δ(G)>\frac{3n}{4k}$ forces a homomorphism to $C_{2k+1}$. In this paper, we strengthen the above results by showing that every $n$-vertex graph $G$ with odd girth at least $2k+1$ and minimum degree $δ(G)>\frac{4n}{6k-1}$ is homomorphic to the Möbius ladder on $4k$ vertices. This answers a question of Messuti and Schacht and generalizes a result of Brandt and Ribe-Baumann.

In strengthening a result of Andrásfai, Erdős and Sós in 1974, Häggkvist proved that if $G$ is an $n$-vertex $C_{2k+1}$-free graph with minimum degree $δ(G)>\frac{2n}{2k+3}$ and $n>\binom{k+2}{2}(2k+3)(3k+2)$, then $G$ contains no odd cycle of length greater than $\frac{k+1}{2}$. This result has many applications.In this paper, we consider a similar problem by replacing minimum degree condition with edge number condition. We prove that for integers $n,k,r$ with $k\geq 2,3\leq r\leq 2k$ and $n \geq 2\left(r+2\right)\left(r+1\right)\left(r+2k\right)$, if $G$ is an $n$-vertex $C_{2k+1}$-free graph with $e(G) \geq \left\lfloor\frac{(n-r+1)^2}{4}\right\rfloor+\binom{r}{2}$, then $G$ contains no odd cycle of length greater than $r$. The construction shows that the result is best possible. This extends a result of Brandt [Discrete Applied Mathematics 79 (1997)], and a result of Bollobás and Thomason [Journal of Combinatorial Theory, Series B. 77 (1999)], and a result of Caccetta and Jia [Graphs Combin. 18 (2002)] and independently proving by Lin, Ning and Wu [Combin. Probab. Comput. 30 (2021)]. Recently, Ren, Wang, Yang, and the second author [SIAM J. Discrete Math. 38 (2024)] show that for $3\leq r\leq 2k$ and $n\geq 318(r-2)^2k$, every $n$-vertex $C_{2k+1}$-free graph with $e(G) \geq \left\lfloor\frac{(n-r+1)^2}{4}\right\rfloor+\binom{r}{2}$ can be made bipartite by deleting at most $r-2$ vertices or deleting at most $\binom{\lfloor\frac{r}{2}\rfloor}{2}+\binom{\lceil\frac{r}{2}\rceil}{2}$ edges. As an application, we derive this result and provide a simple proof.

Let $\mathcal{F}$ be a set of connected graphs, and let $G$ be a graph. We say that $G$ is \emph{$\mathcal{F}$-free} if it does not contain $F$ as an induced subgraph for all $F\in\mathcal{F}$, and we call $\mathcal{F}$ a forbidden pair if $|\mathcal{F}|=2$. A \emph{$\varTheta$-graph} is the graph consisting of three internally disjoint paths with the same pair of end-vertices. If the $\varTheta$-subgraph $T$ contains all vertices of $G$, then we call $T$ a \emph{spanning $\varTheta$-subgraph} of $G$. In this paper, we characterize all pairs of connected graphs $R,S$ such that every 2-connected $\{R,S\}$-free graph has a spanning $\varTheta$-subgraph. In order to obtain this result, we also characterize all minimal 2-connected non-cycle claw-free graphs without spanning $\varTheta$-subgraphs.

Let $G$ be an $n$-vertex triangle-free graph. The celebrated Mantel's theorem showed that $e(G)\leq \lfloor\frac{n^2}{4}\rfloor$. In 1962, Erdős (together with Gallai), and independently Andrásfai, proved that if $G$ is non-bipartite then $e(G)\leq \lfloor\frac{(n-1)^2}{4}\rfloor+1$. In this paper, we extend this result and show that if $G$ has chromatic number at least four and $n\geq 90$, then $e(G)\leq \lfloor\frac{(n-3)^2}{4}\rfloor+5$. The blow-ups of Grötzsch graph shows that this bound is best possible.

A graph $G$ is called $C_{2k+1}$-free if it does not contain any cycle of length $2k+1$. In 1981, Haggkvist, Faudree and Schelp showed that every $n$-vertex triangle-free graph with more than $\frac{(n-1)^2}{4}+1$ edges is bipartite. In this paper, we extend their result and show that for $1\leq t\leq 2k-2$ and $n\geq 318t^2k$, every $n$-vertex $C_{2k+1}$-free graph with more than $\frac{(n-t-1)^2}{4}+\binom{t+2}{2}$ edges can be made bipartite by either deleting at most $t-1$ vertices or deleting at most $\binom{\lfloor\frac{t+2}{2}\rfloor}{2}+\binom{\lceil\frac{t+2}{2}\rceil}{2}-1$ edges. The construction shows that this is best possible.

Let $F$ be an $(r+1)$-color critical graph with $r\geq 2$, that is, $χ(F)=r+1$ and there is an edge $e$ in $F$ such that $χ(F-e)=r$. Gerbner recently conjectured that every $n$-vertex maximal $F$-free graph with at least $(1-\frac{1}{r})\frac{n^2}{2}- o(n^{\frac{r+1}{r}})$ edges contains an induced complete $r$-partite graph on $n-o(n)$ vertices. Let $F_{s,k}$ be a graph obtained from $s$ copies of $C_{2k+1}$ by sharing a common edge. In this paper, we show that for all $k\geq 2$ if $G$ is an $n$-vertex maximal $F_{s,k}$-free graph with at least $n^{2}/4 - o(n^{\frac{s+2}{s+1}})$ edges, then $G$ contains an induced complete bipartite graph on $n-o(n)$ vertices. We also show that it is best possible. This disproves Gerbner's conjecture for $r=2$.

For any positive integer $k$, we show that every maximal $C_{2k+1}$-free graph with at least $n^2/4-o(n^{3/2})$ edges contains an induced complete bipartite subgraph on $(1-o(1))n$ vertices. We also show that this is best possible.