Balanced Supersaturation Conjecture

• Balanced supersaturation is defined via two key frameworks, with Morris–Saxton emphasizing uniform distribution of forbidden copies in extremal graph constructions.
• Mubayi’s formulation predicts a linear increase in forbidden copies per extra edge, yet counterexamples reveal significant deviations even with one added edge.
• The conjecture underscores structural and methodological contrasts between global supersaturation and balanced control, influencing modern extremal combinatorics.

Balanced supersaturation is a label used for two closely related extremal principles. In one formulation, developed by Morris and Saxton for bipartite graphs, it requires not only many copies of a forbidden configuration $H$ above the extremal threshold but also a family of such copies whose degrees and co-degrees are uniformly controlled in the auxiliary hypergraph of copies (Corsten et al., 2017). In the other, formulated by Mubayi for stable non-$r$-partite $r$-graphs, it predicts a local linear law

$h_{\mathcal F}(n,q)\ge q\,c(n,\mathcal F),$

where $h_{\mathcal F}(n,q)$ is the minimum number of copies of $\mathcal F$ in an $n$-vertex $r$-graph with $\ex(n,\mathcal F)+q$ edges, and $c(n,\mathcal F)$ is the minimum number of copies created by adding one edge to the unique extremal $r$0-free construction (Li et al., 25 Jun 2026). Recent work has sharply separated these two meanings: the Morris–Saxton programme has been verified for broad degenerate families, while the Mubayi formulation has been refuted by strong counterexamples, first in graphs and then in every uniformity (Jiang et al., 2022, Chen et al., 8 Jun 2026, Li et al., 25 Jun 2026).

1. Two principal formulations

The literature records two prominent balanced supersaturation frameworks.

Formulation	Host setting	Core statement
Morris–Saxton / Erdős–Simonovits $r$1-goodness	Bipartite graphs and $r$2-graphs above $r$3 by a multiplicative factor	There exists a large family of copies of $r$4 with uniform upper bounds on $r$5 for all non-empty $r$6
Mubayi local balanced supersaturation	Stable non-$r$7-partite $r$8-graphs at $r$9 edges	The minimum copy count satisfies $r$0

Classical supersaturation only asserts that exceeding the extremal threshold forces many copies of the forbidden configuration. Balanced supersaturation strengthens this by imposing a uniformity principle. In the Morris–Saxton setting, the copies must be “uniformly distributed” over edges and small edge sets (Corsten et al., 2017). In the Mubayi setting, the strengthening is local and exact: each extra edge is conjectured to incur at least the one-edge cost $r$1, independently of the others (Chen et al., 8 Jun 2026).

The distinction is substantive. The Morris–Saxton notion is tailored to hypergraph containers and counting problems, whereas Mubayi’s version is a fine-grained local statement about the structure of minimum supersaturation just above $r$2 (Jiang et al., 2022, Li et al., 25 Jun 2026).

2. Morris–Saxton balanced supersaturation and $r$3-goodness

For a family $r$4 of copies of a fixed graph or $r$5-graph $r$6 in a host $r$7, the key parameter is

$r$8

defined for $r$9. Balanced supersaturation demands lower bounds on $h_{\mathcal F}(n,q)\ge q\,c(n,\mathcal F),$0 together with upper bounds on $h_{\mathcal F}(n,q)\ge q\,c(n,\mathcal F),$1 for every small $h_{\mathcal F}(n,q)\ge q\,c(n,\mathcal F),$2 (Jiang et al., 2022).

Morris and Saxton encapsulated this via Erdős–Simonovits $h_{\mathcal F}(n,q)\ge q\,c(n,\mathcal F),$3-goodness. In the formulation used by later work, an $h_{\mathcal F}(n,q)\ge q\,c(n,\mathcal F),$4-graph $h_{\mathcal F}(n,q)\ge q\,c(n,\mathcal F),$5 is Erdős–Simonovits $h_{\mathcal F}(n,q)\ge q\,c(n,\mathcal F),$6-good for a scale $h_{\mathcal F}(n,q)\ge q\,c(n,\mathcal F),$7 if every $h_{\mathcal F}(n,q)\ge q\,c(n,\mathcal F),$8-graph $h_{\mathcal F}(n,q)\ge q\,c(n,\mathcal F),$9 with $h_{\mathcal F}(n,q)$0 edges contains a non-empty collection $h_{\mathcal F}(n,q)$1 of copies of $h_{\mathcal F}(n,q)$2 such that

$h_{\mathcal F}(n,q)$3

for every non-empty $h_{\mathcal F}(n,q)$4 with $h_{\mathcal F}(n,q)$5, for suitable constants $h_{\mathcal F}(n,q)$6 and $h_{\mathcal F}(n,q)$7 and a small parameter $h_{\mathcal F}(n,q)$8 (Corsten et al., 2017). This is a co-degree control statement in the auxiliary hypergraph of copies.

The prototype is the Morris–Saxton theorem for even cycles. For every $h_{\mathcal F}(n,q)$9, there exist constants $\mathcal F$0, $\mathcal F$1, and $\mathcal F$2 such that every graph $\mathcal F$3 with $\mathcal F$4 vertices and $\mathcal F$5 edges contains a collection $\mathcal F$6 of copies of $\mathcal F$7 satisfying

$\mathcal F$8

and

$\mathcal F$9

for every $n$0 with $n$1 (Jiang et al., 2022). The theorem is stronger than numerical supersaturation because it forbids concentration of most copies on a small fraction of edges.

Morris and Saxton then conjectured that every bipartite graph $n$2 containing a cycle should satisfy an analogous property: if $n$3 has $n$4 edges, then there should exist a non-empty collection $n$5 of copies of $n$6 such that

$n$7

for all $n$8 with $n$9, for some constants $r$0 depending on $r$1 (Jiang et al., 2022).

3. Verified cases and container-theoretic consequences

A major early verification was obtained for degenerate families. For every $r$2-graph $r$3 with $r$4, there are constants $r$5 such that every graph $r$6 with

$r$7

contains a family $r$8 of copies of $r$9 with

$\ex(n,\mathcal F)+q$0

and

$\ex(n,\mathcal F)+q$1

for every $\ex(n,\mathcal F)+q$2 with $\ex(n,\mathcal F)+q$3 (Corsten et al., 2017). The same paper proved an analogous theorem for complete $\ex(n,\mathcal F)+q$4-partite $\ex(n,\mathcal F)+q$5-graphs $\ex(n,\mathcal F)+q$6, with

$\ex(n,\mathcal F)+q$7

and

$\ex(n,\mathcal F)+q$8

for all $\ex(n,\mathcal F)+q$9 (Corsten et al., 2017). These results were described as confirming the Morris–Saxton conjecture for most theta graphs and the corresponding hypergraph statements for most complete $c(n,\mathcal F)$0-partite $c(n,\mathcal F)$1-graphs.

Jiang and Longbrake later proved a general quantitative theorem under a mild hypothesis on the Turán exponent. If $c(n,\mathcal F)$2 is an $c(n,\mathcal F)$3-partite $c(n,\mathcal F)$4-graph, $c(n,\mathcal F)$5, and $c(n,\mathcal F)$6, then every $c(n,\mathcal F)$7-vertex $c(n,\mathcal F)$8-graph $c(n,\mathcal F)$9 with $r$00 contains a non-empty family $r$01 of copies of $r$02 such that

$r$03

for every $r$04 with $r$05 (Jiang et al., 2022). Since $r$06, this yields the Morris–Saxton conjecture in a more explicit form whenever the mild exponent condition holds. In the graph case, this applies to bipartite $r$07 with cycles under the corresponding assumption on $r$08 (Jiang et al., 2022).

The primary reason for these bounds is methodological. If $r$09 is Erdős–Simonovits $r$10-good for $r$11, then the number of $r$12-free $r$13-graphs on $r$14 vertices is at most

$r$15

and the number of $r$16-free $r$17-graphs with $r$18 edges is $r$19 (Corsten et al., 2017). Jiang–Longbrake further used balanced supersaturation to obtain general upper bounds on $r$20 for bipartite $r$21 in random graphs, describing these as the first general results of this kind (Jiang et al., 2022).

4. Mubayi’s local balanced supersaturation conjecture

The second formulation begins with

$r$22

where $r$23 is the number of copies of $r$24 in $r$25, and with

$r$26

the minimum number of copies obtained by adding one edge to an extremal $r$27-free graph (Chen et al., 8 Jun 2026). For $r$28-graphs $r$29, the same notation is used in labelled form: $r$30 and

$r$31

where $r$32 is the unique extremal $r$33-free $r$34-graph when uniqueness holds (Li et al., 25 Jun 2026).

Mubayi’s conjecture is formulated for stable non-$r$35-partite $r$36-graphs. Stability means that, for all sufficiently large $r$37, the extremal $r$38-free $r$39-vertex $r$40-graph is unique, and every near-extremal $r$41-free $r$42-vertex $r$43-graph differs from it in only $r$44 edges (Li et al., 25 Jun 2026). Under this hypothesis, the conjecture states that for every positive integer $r$45 and all sufficiently large $r$46,

$r$47

(Li et al., 25 Jun 2026). In the graph case $r$48, this becomes: if $r$49 is a non-bipartite stable graph, then for any fixed $r$50, when $r$51 is large,

$r$52

(Chen et al., 8 Jun 2026).

The conjecture is motivated by positive cases. For cliques $r$53, classical results of Rademacher, Erdős, and Lovász–Simonovits show that minimum supersaturation just above $r$54 is achieved by adding edges to a Turán graph. Mubayi extended this principle to color-critical graphs, and Pikhurko and Yilma sharpened it to the exact identity

$r$55

for color-critical graphs whenever $r$56 (Chen et al., 8 Jun 2026). In these families, the balanced linear heuristic is accurate.

5. Graph counterexamples and the collapse of one-edge balance

Ma and Yuan constructed stable non-bipartite graph counterexamples to Mubayi’s conjecture for every fixed $r$57, leaving open the one-edge question

$r$58

for graphs $r$59 containing a cycle (Chen et al., 8 Jun 2026). Chen and Yuan gave a negative answer by building a family $r$60 for $r$61.

The graph $r$62 is the $r$63-book expansion of the path $r$64, written

$r$65

Starting from the path $r$66, each core edge $r$67 is replaced by a $r$68-page book: a set $r$69 of $r$70 vertices, each adjacent to both $r$71 and $r$72 (Chen et al., 8 Jun 2026). Since each book consists of triangles, $r$73 is non-bipartite.

For $r$74 with $r$75 large, the unique extremal $r$76-free graph is

$r$77

with one copy of $r$78 inside each side of the complete bipartite graph (Chen et al., 8 Jun 2026). Chen and Yuan compare two constructions: adding one missing edge to $r$79, which defines $r$80, and a modified graph $r$81 with $r$82 edges but fewer copies of $r$83. Their theorem yields

$r$84

where

$r$85

(Chen et al., 8 Jun 2026). Consequently,

$r$86

This has two immediate consequences. First, for each $r$87, there are infinitely many $r$88 with

$r$89

Second, by taking $r$90 large, the ratio $r$91 becomes arbitrarily small along infinitely many $r$92 (Chen et al., 8 Jun 2026). The paper therefore shows not only that the one-edge equality fails, but that no inequality of the form

$r$93

can hold uniformly for all cyclic graphs $r$94 with any positive constant $r$95 (Chen et al., 8 Jun 2026).

6. Counterexamples in every uniformity

The graph phenomenon extends to all uniformities. For every $r$96 and every $r$97, there exists a stable non-$r$98-partite $r$99-graph $r$00 and constants $r$01, $r$02 such that for every $r$03 and every integer $r$04 with $r$05,

$r$06

(Li et al., 25 Jun 2026). Thus Mubayi’s conjectured lower bound can already fail at $r$07, and the failure can be by an arbitrarily large constant factor in every uniformity.

The forbidden hypergraphs are semi-blowup fans $r$08. Their extremal theory is explicit: for all sufficiently large $r$09, the unique extremal $r$10-vertex $r$11-free $r$12-graph is

$r$13

and

$r$14

(Li et al., 25 Jun 2026). Here $r$15 has an exceptional set $r$16 of $r$17 full-degree vertices joined to a balanced complete $r$18-partite $r$19-graph on the remaining vertices.

The mechanism of failure is local overlap. A single added partite non-edge $r$20 creates

$r$21

copies, so $r$22 (Li et al., 25 Jun 2026). However, the copies created by many such added edges are extremely vulnerable to deleting an $r$23-star

$r$24

for a small partite set $r$25 (Li et al., 25 Jun 2026). The construction deletes $r$26, adds many partite non-edges inside $r$27, and balances the edge count so that the resulting hypergraph has exactly $r$28 edges. A star-deletion lemma shows that only a proportion

$r$29

of the one-edge copies survive, and $r$30 exponentially as $r$31 (Li et al., 25 Jun 2026). This is the structural source of the strong violation of linear balance.

For $r$32, $r$33 is $r$34-chromatic, so the construction also gives stable $r$35-chromatic graph counterexamples, complementing earlier stable examples of Ma and Yuan with arbitrary chromatic number at least four (Li et al., 25 Jun 2026).

7. Extensions, analogies, and present outlook

Balanced supersaturation has also been formulated outside the original graph and hypergraph settings. In forbidden subposet theory, a conjecture of the same flavour states that if

$r$36

then $r$37 contains at least $r$38 copies of $r$39, where $r$40 is the number of copies of $r$41 in the $r$42 middle levels of the Boolean lattice (Gerbner et al., 2020). This was verified for height-2 tree posets, monotone tree posets, and induced $r$43, with almost-balanced results for diamonds (Gerbner et al., 2020).

In balanced bipartite supersaturation near Zarankiewicz thresholds, the $r$44 problem exhibits a related uniformity phenomenon. Equality in the Jensen-type lower bound for $r$45 holds precisely when the graph is regular and every pair of vertices in the same class has the same number of common neighbors; for the improved bound, equality holds when degrees differ by at most $r$46 and all codegrees differ by at most $r$47 (Nagy, 2017). This is not a container-style balanced supersaturation theorem, but it shows that minimizing global supersaturation can force strong degree and codegree uniformity.

By contrast, some modern supersaturation results remain explicitly global rather than balanced. In clique supersaturation, lower bounds on $r$48 as a function of $r$49 are established, but the paper emphasizes that its results do not provide balanced supersaturation in the container-method sense, and its extremal constructions are often highly unbalanced unions of cliques (Dubroff et al., 2023). This contrast helps isolate what is genuinely special about balanced supersaturation: it is not merely a lower bound on the number of copies, but a structural anti-concentration statement about where those copies can lie.

The present landscape is therefore sharply bifurcated. For bipartite and degenerate families, balanced supersaturation in the Morris–Saxton sense has become a central tool in containers, enumeration, and random Turán theory (Corsten et al., 2017, Jiang et al., 2022). For stable non-$r$50-partite local supersaturation, stability alone is now known to be insufficient: the semi-blowup fan constructions show that even unique extremality and Erdős–Simonovits-type stability do not prevent dramatic failure of

$r$51

(Li et al., 25 Jun 2026). The main open structural problem, as formulated in the hypergraph counterexample paper, is to identify natural additional conditions under which an asymptotic lower bound of the form

$r$52

with $r$53 can still be recovered (Li et al., 25 Jun 2026).