The central result of this paper is a precise upper bound on how many "induced pentagons" a graph can contain, given a fixed number of edges. An induced pentagon is a set of five vertices that form a five-cycle with no extra edges connecting them. The authors prove that the maximum possible count follows a specific formula, and they completely characterize which graphs actually achieve this maximum: they are so-called balanced blow-ups of a particular graph called the Clebsch graph, which is a well-known symmetric structure with 16 vertices. This resolves a clean extremal problem in combinatorics and extends the result to weighted graphs and continuous graph-like objects called graphons.
Beyond just finding the maximum, the paper establishes a stability result. This means that any graph coming close to the maximum must itself be close in structure to a Clebsch blow-up. Specifically, if a graph falls short of the maximum by a small amount, only a proportionally small number of edge changes are needed to convert it into an exact Clebsch blow-up. The authors also carefully distinguish between two different sources of imperfection: having some edges in the wrong places versus having unevenly sized groups of vertices, and they show these two types of error contribute differently to how far a graph is from the maximum.
The paper also explores a finer arithmetic question: for a graph with exactly a specific number of edges, what is the precise largest induced pentagon count? The answer turns out to eventually be a polynomial in a natural parameter, computable in principle through finite checks. The proof strategy combines optimization arguments, density estimates, and verification on small graphs using exact integer arithmetic, making all the key steps independently checkable. The overall work sits at the intersection of extremal graph theory, stability analysis, and careful combinatorial enumeration.