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.

A note on transformations of edge colorings of chordless graphs and triangle-free graphs

A note on edge colorings distinguishing all triangles in a graph

A Sufficient Condition for Edge 6-Colorable Planar Graphs with Maximum Degree 6

The chromatic profile of locally colourable graphs

Directed graphs without rainbow triangles

On the evolution of structure in triangle-free graphs

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

Coloring minimal Cayley graphs

On graphs with chromatic number and maximum degree both equal to nine

Distinguishing colorings, proper colorings, and covering properties without the Axiom of Choice

Edge Coloring of Triangle-Free 1-Planar Graphs

Every Elementary Graph is Chromatic Choosable

New reducible configurations for graph multicoloring with application to the experimental resolution of McDiarmid-Reed's Conjecture (extended version)

Extremal triangle-free graphs with chromatic number at least four

Extending partial edge colorings of cartesian products of graphs

Coloring graphs with forbidden almost bipartite subgraphs

Acyclic Edge Coloring of Planar Graphs Without 3 Cycles

On a recolouring version of Hadwiger's conjecture

Total coloring graphs with large maximum degree

Proper Conflict-Free Coloring of Graphs with Large Maximum Degree

Achromatic colorings of polarity graphs