Abstract:We study the typical structure and the number of triangle-free graphs with $n$ vertices and $m$ edges where $m$ is large enough so that a typical triangle-free graph has a cut containing nearly all of its edges, but may not be bipartite. Erdős, Kleitman, and Rothschild showed that almost every triangle-free graph is bipartite. Osthus, Prömel, and Taraz later showed that for $m \ge (1+\epsilon)\frac{\sqrt{3}}{4}n^{3/2}\sqrt{\log n}$, almost every triangle-free graph on $n$ vertices and $m$ edges is bipartite. Here we give a precise characterization of the distribution of edges within each part of the max cut of a uniformly chosen triangle-free graph $G$ on $n$ vertices and $m$ edges, for a larger range of densities with $m=\Theta(n^{3/2} \sqrt{\log n})$. Using this characterization, we describe the evolution of the structure of typical triangle-free graphs as the density changes. We show that as the number of edges decreases below $\frac{\sqrt{3}}{4} n^{3/2}\sqrt{\log n}$, the following structural changes occur in $G$: -Isolated edges, then trees, then more complex subgraphs emerge as `defect edges', edges within parts of a max cut of $G$. The distribution of defect edges is first that of independent Erdős-Rényi random graphs, then that of independent exponential random graphs, conditioned on a small maximum degree and no triangles. -There is a sharp threshold for $3$-colorability at $m \sim \frac{\sqrt{2}}{4} n^{3/2}\sqrt{\log n}$ and a sharp threshold between $4$-colorability and unbounded chromatic number at $m\sim\frac{1}{4}n^{3/2}\sqrt{\log n}$. -Giant components emerge in the defect edges at $m\sim\frac{1}{4} n^{3/2}\sqrt{\log n}$. We use these results to prove asymptotic formulas for the number of triangle-free graphs at these densities. We also prove analogous results for $G(n,p)$ conditioned on triangle-freeness.

Toughness and Triangle-Free Graphs

The Toughness of Kneser Graphs

Minimal toughness in special graph classes

Triangle-free graphs with diameter 2

Toughness and spectral radius in graphs

Toughness, hamiltonicity and spectral radius in graphs

Toughness and Aα-spectral radius in graphs

On the evolution of structure in triangle-free graphs

Toughness and distance spectral radius in graphs involving minimum degree

Extremal triangle-free graphs with chromatic number at least four

Toughness and existence of $2$-factors

The spectrum and toughness of regular graphs

The minimum degree of minimally $t$-tough graphs

Explicit tough Ramsey graphs

Many Triangles in C5-free Graphs

Triangle-free triple systems

Tight toughness bounds for path-factor critical avoidable graphs

A spectral Erdős-Faudree-Rousseau theorem

On the minimum degree of minimally $ t $-tough, claw-free graphs

Triangle-free Graphs with Three Positive Eigenvalues

A lower bound on the saturation number and a strengthening for triangle-free graphs