---
title: Weak Fat Minor Conjecture in Graph Theory
url: https://www.emergentmind.com/topics/weak-fat-minor-conjecture
type: topic
---

# Weak Fat Minor Conjecture in Graph Theory

Searching arXiv for the cited papers and related items to ground the article in current arXiv records.
The **Weak Fat Minor Conjecture** is a coarse-graph-theoretic conjectural principle asserting that exclusion of a sufficiently separated copy of a fixed graph should force quasi-isometric proximity to an ordinary minor-excluding class. In its form explicitly described in the literature, it asks whether for every \(K\in\mathbb N\) and every graph \(H\), there exist \(M,A\in\mathbb N\) and a graph \(H'\) such that every graph \(G\) with no \(K\)-fat \(H\)-minor is \((M,A)\)-quasi-isometric to a graph with no \(H'\)-minor [2508.15342]. This sits between the original Georgakopoulos–Papasoglu fat minor conjecture, which keeps the same target graph \(H\), and weaker separator- or width-theoretic consequences of fat-minor exclusion. The conjecture is now known to be false in general [2508.15342], but the surrounding theory remains active because several important special cases are positive, several related weakenings survive, and the current frontier is sharply concentrated around a small set of unresolved graphs [2601.05761].

## 1. Definition and formal setting

A **\(K\)-fat minor** of a graph \(H\) in a graph or length space \(G\) is modeled by connected pieces for vertices and edges of \(H\) that must be far apart except at the incidences forced by \(H\). In the graph formulation used in the fat-minor literature, a model \((\mathcal U,\mathcal E)\) of \(J\) in \(G\) consists of pairwise disjoint connected branch sets \(U_x\subseteq V(G)\) for \(x\in V(J)\), and internally disjoint branch paths \(E_e\) for \(e\in E(J)\), where \(E_e\) joins the relevant branch sets and avoids all nonincident branch sets. The model is \(K\)-fat if
\[
\dist_G(Y,Z)\ge K
\]
for every two distinct members \(Y,Z\in \mathcal U\cup\mathcal E\), except when one is a branch path and the other is an incident endpoint branch set [2601.05761]. In the length-space formulation, the same principle is expressed via path-connected vertex-pieces \(B_v\) and edge-pieces \(P_e\), again requiring \(K\)-separation for all nonincident pairs [2405.09383].

The original conjecture of Georgakopoulos and Papasoglu asked, for every finite graph \(J\) and every \(K\in\mathbb N\), whether there exist \(M,A\in\mathbb N\) such that every graph with no \(K\)-fat \(J\)-minor is \((M,A)\)-quasi-isometric to a graph with no \(J\)-minor [2601.05761]. The weak variant described later replaces the target obstruction \(J\) by some possibly larger graph \(H'\) [2508.15342]. Thus the weak conjecture preserves the philosophy that coarse exclusion of a fat minor should imply coarse proximity to an ordinary minor-closed class, while relaxing the identity of the forbidden minor in the target.

A graph \(H\) is an **asymptotic minor** of a space \(X\) if \(X\) contains a \(K\)-fat \(H\)-minor for every \(K\ge 1\), and \(X\) is **asymptotically minor-excluded** if some finite \(H\) fails to be an asymptotic minor [2408.10748]. This vocabulary is closely related but not identical to the weak fat minor conjecture; it is the language in which the group-theoretic and coarse-structural literature often formulates the same large-scale phenomenon.

## 2. Historical development and conjectural variants

The fat-minor program was motivated by the idea that ordinary minor theory should have a coarse analogue, with quasi-isometry replacing exact graph isomorphism and \(K\)-fat minors replacing ordinary minors. Early positive results for specific graphs supported this viewpoint. In particular, there are affirmative cases for \(K_3\), more generally cycles, \(K_{1,t}\), \(K_4^{-}\), \(K_{2,3}\), \(K_4\), and, subsequently, all \(K_{2,t}\) [2408.15335], [2510.14644]. These results made it plausible that at least some weak form of the general program might survive after failures of the full conjecture.

A separate but related formulation appears in the asymptotic-minor language of Georgakopoulos–Papasoglu. There the conjectural statement recalled in the finitely presented group setting is that a connected, locally finite, quasi-transitive graph \(X\) is asymptotically minor-excluded if and only if it is quasi-isometric to a planar graph [2408.10748]. This is not identical to the weak fat minor conjecture as formulated in terms of an arbitrary \(H'\), but it belongs to the same conceptual family: exclusion of sufficiently fat finite obstructions should characterize a large-scale structural class.

The literature also distinguishes a much weaker positive statement proved for graphs: if a graph has no \(K\)-fat \(H\)-minor, then it is quasi-isometric to a graph with no \(3\)-fat \(H\)-minor [2405.09383]. This is not the weak fat minor conjecture in the sense of quasi-isometry to an ordinary minor-free class, but it is the principal surviving universal thinning theorem after the strong conjectures failed.

This suggests a three-level hierarchy. At the strongest level is the original fat minor conjecture, keeping the same graph \(H\). At an intermediate level is the weak fat minor conjecture, permitting a different ordinary forbidden minor \(H'\). At the weakest universal level currently proved is the passage from exclusion of a \(K\)-fat \(H\)-minor to exclusion of a \(3\)-fat \(H\)-minor after quasi-isometry [2405.09383].

## 3. Refutation in general form

The weak fat minor conjecture is explicitly refuted by the construction of Davies, Hickingbotham, Illingworth, and McCarty. They prove that for every \(M,A,n\in\mathbb N\), there exists a graph \(G\) that does not contain the \((154\times154)\)-grid as a \(3\)-fat minor and is not \((M,A)\)-quasi-isometric to a graph with no \(K_n\) minor [2508.15342]. Since the target class “graphs with no \(K_n\) minor” is a canonical ordinary minor-closed class, this directly contradicts the weak conjectural principle that forbidding a fat minor should force quasi-isometry to some ordinary minor-free class.

The same paper frames the weak fat minor conjecture as the hope that for every \(K\in\mathbb N\) and every graph \(H\), there exist \(M,A\in\mathbb N\) and a graph \(H'\) such that every graph \(G\) with no \(K\)-fat \(H\)-minor is \((M,A)\)-quasi-isometric to a graph with no \(H'\)-minor [2508.15342]. Their counterexample uses \(H\) equal to a fixed planar grid, already at \(K=3\). The construction is a slight modification of the Nguyen–Scott–Seymour graphs used to disprove weak coarse Menger-type conjectures, and it simultaneously refutes the conjectured coarse grid theorem of Georgakopoulos and Papasoglu [2508.15342].

A related, earlier negative result shows that fat minors cannot generally be thinned all the way down to ordinary minors by quasi-isometries. There exists a finite graph \(H\) such that for every \(q\in\mathbb N\), there is a graph \(G_q\) with no \(3\)-fat \(H\)-minor that is not \(q\)-quasi-isometric to any graph with no \(2\)-fat \(H\)-minor, and not \(q\)-quasi-isometric to any length space with no \(2^{-13q^2}\)-fat \(H\)-minor [2405.09383]. That result disproves the original Georgakopoulos–Papasoglu thinning conjecture and establishes that even very weak target exclusions cannot be forced universally.

The negative picture was subsequently sharpened by much smaller counterexamples. The paper "Small counterexamples to the fat minor conjecture" proves incompressibility for \(K_t\) for all \(t\ge 6\), for \(K_{s,t}\) with \(s,t\ge 4\), and for \(K_{2,2,2}\) [2601.05761]. It also shows, for example, that there are graphs with no \(3\)-fat \(K_{2,2,2}\)-minor such that every \((M,A)\)-quasi-isometric graph has a \(2\)-fat \(K_7\)-minor [2601.05761]. These results directly refute many restricted “weak” variants if those variants include complete graphs \(K_t\) with \(t\ge 6\), complete bipartite graphs \(K_{s,t}\) with \(s,t\ge 4\), or the planar octahedral graph \(K_{2,2,2}\).

## 4. Surviving positive results and exact special cases

Although the weak fat minor conjecture is false in general, a substantial positive theory survives for specific families. One major example is the \(K_4\) case: every graph with no \(K\)-fat \(K_4\)-minor is \(f(K)\)-quasi-isometric to a graph with no \(K_4\)-minor [2408.15335]. The proof proceeds through an honest bounded radial decomposition over a \(K_4\)-minor-free graph, giving explicit parameters such as an honest \((25235K+71,22)\)-radial decomposition and a resulting quasi-isometry with explicit constants [2408.15335]. The same framework also yields a new short proof of the corresponding \(K_4^{-}\) case [2408.15335].

A second major positive family is \(K_{2,t}\). For every \(t\in\mathbb N\), the graph \(K_{2,t}\) satisfies the fat minor conjecture of Georgakopoulos and Papasoglu: for every \(K\in\mathbb N\), there exist \(M,A\in\mathbb N\) such that every graph with no \(K\)-fat \(K_{2,t}\)-minor is \((M,A)\)-quasi-isometric to a graph with no \(K_{2,t}\)-minor [2510.14644]. The stronger structural theorem produces an honest bounded graph-partition over a graph \(H\) such that every \(2\)-connected multigraph minor of \(H\) lifts to a fat minor upstairs, forcing \(H\) itself to be \(K_{2,t}\)-minor-free [2510.14644]. The paper states an explicit distortion bound of \((9t^{12}K+204t^9K,1)\) [2510.14644].

A third positive direction concerns trees. For every finite tree \(H\) and every \(c\), there exist \(k,L,C\) such that every graph that does not contain \(H\) as a \(c\)-fat minor admits an \((L,C)\)-quasi-isometry to a graph with line-width at most \(k\); conversely, for all \(k,L,C\) there exist \(c\) and a finite tree \(H\) such that every graph containing \(H\) as a \(c\)-fat minor admits no \((L,C)\)-quasi-isometry to a graph with line-width at most \(k\) [2509.09035]. This does not literally conclude quasi-isometry to an \(H\)-minor-free graph, but it gives the tree-case coarse analogue of the Robertson–Seymour path-width characterization, with line-width replacing path-width in the infinite setting.

There is also a strong positive result in geometric group theory. A finitely presented group is asymptotically minor-excluded if and only if some finite index subgroup admits a planar Cayley graph [2408.10748]. This is presented as a partial affirmative answer to a conjecture of Georgakopoulos and Papasoglu in the finitely presented group setting. It suggests that the failure of the weak fat minor conjecture in general graphs does not preclude exact characterizations in important quasi-transitive subclasses.

The following table summarizes the status of representative families.

| Family or setting | Status | Source |
|---|---|---|
| General weak fat minor conjecture | False | [2508.15342] |
| Original thinning to ordinary minors | False in general | [2405.09383] |
| \(K_4\) | Positive | [2408.15335] |
| \(K_{2,t}\) for all \(t\ge 1\) | Positive | [2510.14644] |
| Finite trees | Positive width-theoretic analogue | [2509.09035] |
| Finitely presented groups | Positive planar Cayley characterization | [2408.10748] |

These positive cases show that the general failure is not merely a uniform obstruction to all coarse-minor classification. Rather, it indicates that the correct formulation is family-dependent.

## 5. Structural replacements for the failed conjecture

After the failure of the weak fat minor conjecture, one central direction is to seek structural consequences weaker than quasi-isometry to an ordinary minor-free class. A notable general theorem is a coarse separator result: for every graph \(H\), integer \(d\in\mathbb N\), and real \(\varepsilon>0\), every \(n\)-vertex weighted graph that excludes \(H\) as a \(d\)-fat minor has a balanced separator that is
\[
\bigl(O(\|H\|^2\cdot n^{1/2+\varepsilon}),\,O(d/\varepsilon)\bigr)\text{-coverable},
\]
and there is a randomized polynomial-time algorithm that either finds such a separator or a \(d\)-fat model of \(H\) [2604.11318]. This gives a coarse analogue of separator theorems for ordinary minor-free graphs, though with an \(n^\varepsilon\) loss and with coverability by bounded-radius balls rather than direct cardinality bounds.

The same paper formulates a conjectural sharper separator statement: for every graph \(H\) and \(d\in\mathbb N\), there should exist constants \(c,r\) such that every \(n\)-vertex weighted graph excluding \(H\) as a \(d\)-fat minor has a \((c\sqrt n,r)\)-coverable balanced separator [2604.11318]. This is best understood as a structural replacement for the false weak fat minor conjecture: rather than quasi-isometric equivalence to a minor-closed class, one asks for coarse separator theory, coarse treewidth bounds, and algorithmic decomposability.

Another universal structural replacement is the power-graph theorem. If a graph \(G\) has no \(K\)-fat \(H\)-minor, then \(G\) is \(K\)-quasi-isometric to the power graph \(G^K\), and \(G^K\) has no \(3\)-fat \(H\)-minor [2405.09383]. This gives a canonical thinning operation that is universally valid, albeit only to the level of \(3\)-fat exclusion. The same paper explicitly poses the open problem of whether some \(2\)-fat version might still characterize ordinary minor-free classes up to quasi-isometry [2405.09383].

A plausible implication is that the correct post-counterexample theory is not a single replacement conjecture but a menu of weaker coarse invariants: coarse separators, coarse treewidth, bounded line-width for trees, and family-specific quasi-isometric classifications. The existing theorems support that interpretation, but it remains an inference rather than a formal theorem.

## 6. Boundary cases, unresolved families, and common misconceptions

A common misconception is that the general disproof renders the positive cases uninformative. The current literature indicates the opposite. The positive \(K_4\), \(K_{2,t}\), tree, and finitely presented group theorems are exact structural theorems in their own domains [2408.15335], [2510.14644], [2509.09035], [2408.10748]. Their proofs use distinct mechanisms—radial decompositions, bounded graph-partitions, century societies and superfat trees, and group accessibility plus splittings—so they are not simple fragments of a failed general argument.

Another misconception is that all natural weak variants were disproved at once. The paper on small counterexamples makes clear that some cases remain open. Its methods do not refute compressibility of \(K_5\), \(K_{3,3}\), or, more generally, \(K_{3,t}\), because the Nguyen–Scott–Seymour-based graphs themselves contain \(K_{3,t}\) and \(K_5\) as arbitrarily fat minors [2601.05761]. The paper explicitly identifies the Kuratowski graphs
\[
K_5,\qquad K_{3,3}
\]
as the essential remaining boundary cases for the coarse planarity program [2601.05761]. Thus any “weak fat minor conjecture” focused on coarse planarity or on \(K_{3,t}\) remains genuinely unresolved.

The relationship with planarity is likewise nuanced. One paper proves that finitely presented groups are asymptotically minor-excluded exactly when some finite index subgroup admits a planar Cayley graph [2408.10748]. Another disproves a conjectured coarse grid theorem and the weak fat minor conjecture by excluding a fixed fat planar grid while remaining far from every \(K_n\)-minor-free class [2508.15342]. These results are not contradictory: the first is a positive theorem in a highly structured quasi-transitive group setting, whereas the second constructs arbitrary graphs with pathological coarse connectivity.

The present frontier may therefore be summarized as follows. The weak fat minor conjecture is false as a universal theorem. Many natural restricted versions are also false, including those covering \(K_t\) for \(t\ge 6\), \(K_{s,t}\) for \(s,t\ge 4\), and \(K_{2,2,2}\) [2601.05761]. Yet several specific families admit full affirmative theorems, and the unresolved strip is concentrated around \(K_5\), \(K_{3,3}\), and perhaps \(K_{3,t}\) [2601.05761].

In that sense, the weak fat minor conjecture now functions less as a live universal conjecture than as a historical organizing idea. Its failure clarified the limits of coarse minor thinning, while the surviving theorems delineate the graph families and ambient settings where a coarse-to-classical transfer principle still holds.

Source: https://www.emergentmind.com/topics/weak-fat-minor-conjecture