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.

Well-edge-dominated graphs containing triangles

Properly Edge-colored Theta Graphs in Edge-colored Complete Graphs

Graphs whose vertices of degree at least 2 lie in a triangle

Sufficient Conditions for Properly Colored C3’s and C4’s in Edge-Colored …

Counting Rainbow Triangles in Edge-Colored Graphs

On the evolution of structure in triangle-free graphs

Minimal Regular graphs with every edge in a triangle

Directed graphs without rainbow triangles

On tripartite common graphs

The minimal density of triangles in tripartite graphs

Connected Dominating Sets in Triangulations

Triangle-free Graphs with Large Minimum Common Degree

Eigenvalues and Triangles in Graphs

Maximum Bipartite vs. Triangle-Free Subgraph

C O ] 2 7 D ec 2 01 2 Heterochromatic triangles in edge-colored graphs ∗

A spectral Erdős-Faudree-Rousseau theorem

A tamed family of triangle-free graphs with unbounded chromatic number

Identifying codes in triangle-free graphs of bounded maximum degree

Triangle-free graphs with diameter 2

Proper Cycles and Rainbow Cycles in 2-Triangle-free Edge-Colored Complete Graphs