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.

Decompositions of Triangle-Dense Graphs

Finding Dense Subgraphs with Maximum Weighted Triangle Density

Simplifying Social Networks Via Triangle-Based Cohesive Subgraphs

The minimal density of triangles in tripartite graphs

Covering a Graph with Dense Subgraph Families, via Triangle-Rich Sets

Graphical Fermat's Principle and Triangle-Free Graph Estimation

Sampling and counting triangle-free graphs near the critical density

Path Decompositions of Triangle-Free Graphs

On the evolution of structure in triangle-free graphs

Triangle Finding and Listing in CONGEST Networks

Triangle-free subcubic graphs with minimum bipartite density

Towards Efficient K-Tripeak Decomposition On Large Graphs

Triangle minimization in large networks

Constructing Triangle Decomposable Multigraphs with Minimum Multi-edges

Triangle Centrality

On Distributed Computation of the Minimum Triangle Edge Transversal

Privacy-Preserving Triangle Counting In Large Graphs

An efficient asymmetric removal lemma and its limitations

Eigenvalues and Triangles in Graphs

Graph Clustering Using Triangle-Aware Measures in Large Networks.

Differentially Private Triangle Counting in Large Graphs