---
title: Quasi-Random Graphs
url: https://www.emergentmind.com/topics/quasi-random-graphs
type: topic
---

# Quasi-Random Graphs

Quasi-random graphs are deterministic graphs, or graph sequences, that reproduce the random-looking edge distribution, subgraph counts, and spectral behaviour of the binomial random graph \(G(n,p)\). The subject originates in the observation that several apparently different properties of \(G(n,p)\) are asymptotically equivalent in dense graphs, and it now encompasses forcing families, graphon formulations, cut properties, oriented and hypergraph analogues, explicit algebraic constructions, and even dynamical characterizations via interacting Markov processes. A central lesson is that some sparse-looking tests, such as edge and \(C_4\) counts, force full random-like structure, while other apparently strong data, including all clique densities, may fail to do so [2101.08173].

## 1. Classical dense quasi-randomness

Fix \(0<p<1\). For any fixed finite graph \(H=(V(H),E(H))\), standard probabilistic arguments show that with high probability \(G(n,p)\) contains
\[
(1+o(1))\,p^{|E(H)|}n^{|V(H)|}
\]
labelled copies of \(H\). Chung, Graham, and Wilson showed that this subgraph-count behaviour is equivalent to several other properties. In the formulation emphasized here, an \(n\)-vertex graph \(G\) is \(p\)-quasirandom if it satisfies any, hence all, of the following: it has \((1+o(1))pn^2\) labelled edges and \((1+o(1))p^4n^4\) labelled copies of \(C_4\); for every fixed graph \(H\), it has \((1+o(1))p^{|E(H)|}n^{|V(H)|}\) labelled copies of \(H\); and for every \(c>0\) and every \(S\subseteq V(G)\) with \(|S|\ge cn\), the number of edges inside \(S\) is \((1+o(1))p|S|^2\) [2101.08173].

This equivalence is the foundational phenomenon of quasi-random graph theory. It says that a weak local constraint, such as the correct edge density together with the correct number of \(4\)-cycles, already forces the full small-subgraph profile and uniform edge distribution. In a closely related formulation, Chung–Graham–Wilson properties \(\mathcal P_1\), \(\mathcal P_2(\alpha)\), and \(\mathcal P_3\) identify the same class of \(p\)-quasi-random graph sequences through edge counts in all subsets, edge counts in subsets of fixed density, and the joint control of total edges and \(C_4\)-counts [1009.2307].

## 2. Cut properties, restricted subgraph counts, and graphons

A major extension of the classical theory studies not just global counts of a fixed graph \(F\), but counts subject to geometric restrictions on where the vertices of \(F\) may lie. For a partition \(V_1,\dots,V_r\) of \(V(G)\) with \(|V_i|=\alpha_i n\), one may count copies of \(K_k\) that place at most one vertex in each part. Shapira and Yuster proved that for \(k\ge 3\), the property \(\mathcal C_k(\boldsymbol\alpha)\) is quasi-random when \(\boldsymbol\alpha\) is unbalanced, and Huang and Lee resolved the balanced case: for every \(r\ge k\ge 3\), the balanced \(K_k\)-cut property \(\mathcal C_k(1/r,\dots,1/r)\) is also quasi-random. This contrasts sharply with the edge case \(k=2\), where the perfectly balanced cut property is not quasi-random [1009.2307].

The graphon formalism translates such questions into analytic identities. For a graphon \(W:[0,1]^2\to[0,1]\) and a labelled graph \(F\) on \([m]\), one sets
\[
\Psi_{F,W}(x_1,\dots,x_m)=\prod_{ij\in E(F)}W(x_i,x_j).
\]
Restricted subgraph-count properties become statements about integrals of \(\Psi_{F,W}\) over product sets of prescribed measure, and \(p\)-quasi-randomness becomes the assertion that the only graphon satisfying the relevant identities is the constant graphon \(W\equiv p\). This graph-limit translation underlies both the Simonovits–Sós style subset-count characterizations and later refinements involving disjoint sets, repeated sets, and balanced versus unbalanced parameter regimes [1405.6808].

Recent work sharpens this analysis by decomposing the symmetric subspace of \(L^2([0,1]^m)\) into irreducible subspaces under the action of measure-preserving bijections of \([0,1]\). This makes it possible to isolate “bad” parameter values \(\alpha\) for which nontrivial symmetric components survive the integral constraints, and to separate the representation-theoretic part of the problem from the algebraic problem of deciding whether a given graph \(F\) can realize those components through \(\widetilde\Psi_{F,W}-p^{e(F)}\). This suggests that many of the exceptional cases are not accidental, but are controlled by a precise invariant-subspace structure [2606.20186].

## 3. Forcing families and the failure of clique counts

A family \(\mathcal F\) of finite graphs is called forcing if, for every \(0<p<1\), every graph sequence with asymptotically correct labelled counts of every \(F\in\mathcal F\) is \(p\)-quasi-random. The theorem of Chung–Graham–Wilson says that \(\{K_2,C_4\}\) is forcing. By contrast, \(\{K_2,H\}\) is not forcing for any non-bipartite \(H\), and infinite families such as all cycles, all stars, or all trees are also not forcing. The Skokan–Thoma conjecture asks whether \(\{K_2,H\}\) is forcing whenever \(H\) is a connected bipartite graph that is not a tree [2101.08173].

A particularly striking negative result is that the family of all cliques is not forcing. For finite clique families \(\{K_2,\dots,K_k\}\), one can construct complete \(k\)-partite graphs whose \(K_j\)-counts match those of \(G(n,p)\) for every \(2\le j\le k\), yet which have an independent set of size at least \(n/2\), and hence are far from quasirandom. More strongly, for every \(0<p<1\), there exists a graph sequence \((G_n)\) such that for every \(j\ge 2\),
\[
\#\{\text{labelled }K_j\subset G_n\}=(1+o(1))p^{\binom j2}n^j,
\]
but \((G_n)\) is not \(p\)-quasirandom [2101.08173].

The analytic mechanism behind this counterexample passes through the pantograph equation
\[
y'(x)=y(px),\qquad y(0)=1,
\]
whose solution is the deformed exponential
\[
f_p(x)=\sum_{j=0}^{\infty}\frac{x^j}{j!\,p^{\binom j2}}.
\]
The zeros of \(f_p\) yield positive coefficients \(c_i\) such that the complete infinite-partite graphon with parts of measures \(c_i\) satisfies
\[
t(K_k,W)=p^{\binom k2}\qquad\text{for every }k\ge 2,
\]
while still containing an interval of length at least \(1-p\) on which \(W(x,y)=0\). The misconception that “matching every clique density should force randomness” is therefore false: clique densities do not detect large multipartite or independent-block structure [2101.08173].

## 4. Directed and hypergraph analogues

The quasi-random paradigm extends beyond simple undirected graphs, but the equivalence pattern becomes subtler. For oriented graphs with arbitrary underlying graph \(G\), Griffiths proved that nine natural random-orientation conditions are equivalent, including balanced edge counts across cuts, correct counts of all small oriented graphs, and spectral conditions on the skew-adjacency matrix. Among the four orientation types of a \(4\)-cycle, exactly two—Type II and Type IV—yield quasi-randomness tests: if their counts are close to the random-orientation expectation, then the same is true for every small oriented graph [1101.5421].

For \(k\)-uniform hypergraphs, quasi-randomness is typically phrased through \((p,\mu)\)-denseness. In the \(k\)-partite setting this means
\[
e_H(X_1,\dots,X_k)\ge p|X_1|\cdots |X_k|-\mu n^k
\]
for all \(X_i\subseteq V_i\). Unlike the graph case, different hypergraph quasi-randomness notions are not generally equivalent. In the factor problem, however, a powerful reduction is available: for every \(k\ge 2\),
\[
FACTOR_k = COVER_k,
\]
so perfect \(F\)-tilings in quasi-random \(k\)-graphs with minimum degree \(\Omega(n^{k-1})\) are controlled by the apparently weaker problem of covering every vertex by some copy of \(F\). This yields a characterization for \(k\)-partite \(k\)-graphs and, separately, a complete characterization of \(FACTOR_3\) using the Reiher–Rödl–Schacht description of \(3\)-graphs with vanishing Turán density in quasi-random \(3\)-graphs [2108.10731].

A complementary partite theory shows that if \(p>1/2\) and \(F\) is a fixed balanced \(k\)-partite \(k\)-graph, then any sufficiently large \((\tfrac12+\varepsilon,\mu)\)-dense \(k\)-partite \(k\)-graph with partite minimum codegree \(\Omega(n)\) contains an \(F\)-factor, and that \(1/2\) is best possible. Moreover, \(n/2\) is the asymptotic partite minimum codegree threshold for all fixed balanced \(k\)-partite \(k\)-graph factors even without quasi-randomness, while lower partite minimum \(\ell\)-degree conditions with \(1\le \ell\le k-2\) do not suffice [2306.10539].

The hypergraph setting also exhibits a sharp contrast with graphs in Hamiltonian counting. For graphs, it remains open whether a quasi-random graph of density \(p\) can exceed the random expectation \(E(n,p)=p^n(n-1)!/2\) by a polynomial factor. For \(r\)-uniform hypergraphs with \(r\ge 3\), by contrast, there exist quasi-random \(r\)-graphs with density \(p\) whose number of Hamiltonian cycles is larger than \(E(n,p)\) by an exponential factor. This shows that weak hypergraph quasi-randomness does not control Hamilton cycle counts in the way graph quasi-randomness often controls spanning structure [2201.00165].

## 5. Quantitative quasi-randomness and explicit constructions

One quantitative viewpoint encodes graph and hypergraph discrepancy through multilinear Littlewood polynomials. In degree \(2\), the polynomial associated with a graph \(G\) is
\[
h_G(x)=\sum_{\{u,v\}\in E}x_ux_v-\sum_{\{u,v\}\notin E}x_ux_v.
\]
The Chung–Graham–Wilson cut-discrepancy condition becomes the requirement that \(\|h_G((\pm1)^n)\|_\infty=o(n^2)\). More generally, for a \(d\)-bounded multilinear Littlewood family \(U\), the extremal sup norm is controlled by
\[
\inf_h \|h((\pm1)^n)\|_\infty
\]
between a lower and upper bound of order \(\sum_i \sqrt{u_i}\) for fixed \(d\), where \(u_i\) is the degree of vertex \(i\) in the support hypergraph. In the graph case \(U=\binom{[n]}2\), this gives \(\Theta(n^{3/2})\), and the Paley graph attains the correct order [1804.04828].

A second quantitative framework is the bi-jumbled condition \(QR(\theta)\), defined by
\[
\left|e(S,T)-\frac{|S||T|}{2}\right|\le c\,n^\theta\sqrt{|S||T|}
\]
for all \(S,T\subseteq V(G)\). No family can satisfy \(QR(\theta)\) with \(\theta<1/2\). Paley graphs and Paley sum graphs satisfy \(QR(1/2)\), and recent polynomial constructions produce broader “Paley-like” families that are neither Cayley graphs nor Cayley sum graphs. For admissible polynomials \(f\in\mathbb F_q[x,y]\), the graphs \(X_{f,q}\) form families \(\mathcal X_d\) with \(QR(3/4)\); a substantial subfamily \(\mathcal H_d\), obtained from admissible \(f\) that are linear in each variable and compositions \(h(x,y)=f(g(x),g(y))\), has \(QR(1/2)\). These families include Paley graphs, Paley sum graphs, and Diophantine graphs \(D_q\) defined by the rule that \(x\) and \(y\) are adjacent iff \(xy+1\) is a square [2405.09319].

The \(QR(\theta)\) framework also yields logarithmic lower bounds on clique and independence numbers. In particular, if a family has \(QR(1/2)\) and satisfies the sufficient condition used there, then the clique number is at least
\[
(1-o(1))\log_{3.008} n.
\]
This applies to many classical quasi-random graphs, including Paley graphs and Paley sum graphs, as well as to the new polynomial constructions [2405.09319].

## 6. Dynamics and recent structural directions

Quasi-randomness also admits a dynamical characterization. For Markov population processes on graph sequences, with local transition rates affine in the neighborhood state vector, the homogeneous mean-field approximation is the ODE
\[
\frac{d}{dt}u(t)=f(u(t)).
\]
It is accurate on every finite time horizon if and only if the underlying graph sequence is quasi-random in the discrepancy sense
\[
\partial^n=\max_{A,B\subset[N]}\left|\frac{e(A,B)}{N\bar d^n}-\frac{|A|}{N}\frac{|B|}{N}\right|\to 0.
\]
Moreover, the approximation error is of order \(\frac1{\sqrt N}\) plus the largest discrepancy of the graph, and for Erdős–Rényi and random regular graphs it is of order the inverse square root of the average degree. Diverging average degree is therefore a necessary condition for HMFA accuracy in this framework [2105.13446].

A recent structural development revisits regularity-type decomposition itself. For approximately degree-regular bipartite graphs, one can partition the vertex set into a bounded number of large vertex-disjoint quasi-random pairs, called bundles, together with a small exceptional set, without invoking Szemerédi’s Regularity Lemma. An \((\varepsilon,\delta)\)-bundle is an \(\varepsilon\)-regular pair in which every vertex has degree \(\delta m\pm \varepsilon m\). The resulting decomposition remains effective even as the density tends to zero and for vertex sizes far smaller than those usually required by the Regularity Method. This suggests a narrower but quantitatively milder route to quasi-random structure, especially for bipartite packing problems [2605.24940].

Quasi-random graph theory is therefore best understood not as a single theorem, but as a network of equivalences, forcing phenomena, exceptions, and transfer principles. In graphs, \(C_4\)-counts, subset counts, cut properties, spectral gaps, and graphon constancy are deeply interchangeable; in oriented graphs and hypergraphs, some of that equivalence survives but new obstructions appear; and in recent work, algebraic constructions, dynamical limits, and alternative decomposition methods continue to enlarge both the scope and the boundaries of the subject.

Source: https://www.emergentmind.com/topics/quasi-random-graphs