---
title: 'Degeneracy Graphs: Concepts and Insights'
url: https://www.emergentmind.com/topics/degeneracy-graphs
type: topic
---

# Degeneracy Graphs: Concepts and Insights

Degeneracy is a hereditary sparsity parameter that measures the largest minimum degree attained by a subgraph. A graph $G$ is $d$-degenerate when every subgraph of $G$ contains a vertex of degree at most $d$; equivalently, $d(G)=\max_{H\subseteq G}\delta(H)$, and this quantity is the largest $k$ for which the $k$-core is non-empty [1602.00180][1902.02526]. Around this classical notion, a substantial literature studies spectral degeneracy, weak degeneracy, strict and fractional variants, and applications to extremal graph theory, coloring, random graph models, and exponential random graph models [1010.3367][2111.05908].

## 1. Classical degeneracy, cores, and hereditary sparsity

For a simple graph $G=(V,E)$, the $k$-core is the unique maximal subgraph whose minimum degree is at least $k$, equivalently obtained by iteratively deleting vertices of degree less than $k$ until all remaining vertices have degree at least $k$. The degeneracy is
\[
d(G)=\max\{\delta(H):H\subseteq G\}=\max\{k:\text{$G$ has a non-empty $k$-core}\},
\]
and $G$ is $d$-degenerate precisely when every subgraph has a vertex of degree at most $d$ [1602.00180]. This is equivalent to the existence of a degeneracy ordering $v_1,\dots,v_n$ such that each $v_i$ has at most $d$ neighbors among $\{v_{i+1},\dots,v_n\}$, or, after reversing the order, at most $d$ earlier neighbors [1010.3367][1902.02526].

The parameter is closely tied to peeling and orientation. A $d$-degenerate graph admits an orientation with maximum indegree $d$, and a uniform indegree orientation with maximum indegree $d$ implies $2d$-degeneracy [1010.3367]. Degeneracy also bounds density: if $G$ is $d$-degenerate, then for every subgraph $H$ one has $|E(H)|\le d|V(H)|$, so the average degree of $H$ is at most $2d$, and $\mathrm{mad}(G)\le 2d$ [1010.3367]. The coloring number satisfies $\mathrm{col}(G)=d(G)+1$ [2603.06747].

These formulations make degeneracy a canonical hereditary sparsity measure. It is hereditary because it is defined by quantifying over all subgraphs; it is algorithmically tractable because the peeling process computes the full core decomposition in linear time in practice, namely $O(n+m)$ for $m=|E(G)|$ [1602.00180][1902.02526]. This explains why degeneracy orderings underlie sparse graph routines for coloring, ordering, and subgraph listing.

## 2. Spectral and extremal formulations

A central spectral variant is spectral degeneracy. Writing $\rho(G)$ for the spectral radius and $\Delta(G)$ for the maximum degree, a graph $G$ is spectrally $d$-degenerate if every subgraph $H$ satisfies
\[
\rho(H)\le \sqrt{d\,\Delta(H)}.
\]
This notion is hereditary by definition and is motivated by a common pattern in classical upper bounds: if a tree has maximum degree $D$, then $\rho(T)\le 2\sqrt{D-1}$; if $G$ is planar with maximum degree $D$, then $\rho(G)\le \sqrt{8D}+10$; and if $G$ is $d$-degenerate with maximum degree $D$, then $\rho(G)\le \sqrt{4dD}$ [1010.3367].

The converse is only partial. If $G$ is spectrally $d$-degenerate and $D=\Delta(G)\ge 2d$, then $G$ contains a vertex of degree at most
\[
4d\log_2(D/d),
\]
more precisely at most $\max\{4d,4d\log_2(\Delta(G)/d)\}$ [1010.3367]. The same paper shows that the dependence on $D$ cannot be eliminated if the dependence on $d$ is subexponential, and that deciding whether a graph is spectrally $d$-degenerate is co-NP-complete [1010.3367]. Spectral degeneracy therefore enforces low-degree structure, but more weakly than classical degeneracy.

Degeneracy also supports sharp spectral extremal results. For $k$-degenerate graphs of order $n$, the split graph
\[
S_{n,k}=K_k\vee \overline{K}_{\,n-k}
\]
simultaneously maximizes the adjacency spectral radius $\mu(G)$ and the signless Laplacian spectral radius $q(G)$. Explicitly,
\[
\mu(S_{n,k})=\frac{1}{2}\Big[(k-1)+\sqrt{(k-1)^2+4k(n-k)}\Big],
\]
and
\[
q(S_{n,k})=\frac{1}{2}\Big[(n+2k-2)+\sqrt{(n+2k-2)^2-8(k^2-k)}\Big],
\]
with equality only for $G=S_{n,k}$ [1309.4837]. In the same direction, a general upper bound for $q(G)$ in terms of $n,m,\Delta,\delta$ yields exact equality criteria involving regular graphs or components of order $\Delta+1$ whose degrees are $\delta$ or $\Delta$ [1309.4837].

A non-spectral extremal manifestation appears in layout theory. If $cw(G)$ denotes cutwidth, then every graph satisfies
\[
cw(G)\ge \frac{1}{4}d(G)^2+\frac{1}{2}d(G),
\]
and if $G$ is triangle-free, then
\[
cw(G)\ge \frac{1}{2}d(G)^2.
\]
More generally, $K_{k+1}$-free graphs satisfy
\[
cw(G)\ge \frac{k}{k-1}\frac{d(G)^2}{4}-\frac{k-1}{k}
\]
[0907.5138]. Degeneracy thus controls not only coloring and density but also spectral growth and linear layout complexity.

## 3. Weak, strict, local, and fractional variants

Weak degeneracy replaces pure deletion by a deletion-with-saving operation. Given a budget function $f:V(G)\to\mathbb{Z}$, `Delete` removes a vertex and decreases the budgets of all neighbors by $1$, whereas `DelSave` removes a vertex $u$ and spares one adjacent vertex $w$ from the decrement, provided $f(u)>f(w)$ and the updated budget remains nonnegative. A graph is weakly $f$-degenerate if all vertices can be removed by a legal sequence of these operations, and the weak degeneracy $\mathrm{wd}(G)$ is the least constant $d$ such that $G$ is weakly $d$-degenerate [2111.05908][2303.07901]. Every $d$-degenerate graph is weakly $d$-degenerate, but the converse fails in general [2111.05908].

Weak degeneracy is tailored to coloring. If $G$ is weakly $d$-degenerate, then
\[
\chi(G)\le \chi_\ell(G)\le \chi_{DP}(G)\le \chi_{DPP}(G)\le d+1,
\]
and Bernshteyn–Lee proved that planar graphs are weakly $4$-degenerate [2111.05908]. A corrected proof of this planar bound was later given, together with a strengthened boundary-induction theorem for plane graphs [2406.02792]. The same framework sharpens in special families: planar graphs of girth at least $5$ are weakly $2$-degenerate, and locally planar graphs are weakly $4$-degenerate [2303.07901]. A local refinement uses the vertex-wise girth parameter $g(v)$, the length of a shortest cycle containing $v$, and proves that every planar graph is weakly $f$-degenerate whenever
\[
f(v)\ge \max\{7-g(v),2\},
\]
which in turn implies the corresponding local correspondence-coloring theorem [2504.21821].

Weak degeneracy also admits structural analogues of Brooks-type phenomena. A connected graph of maximum degree $d\ge 3$ is weakly $(d-1)$-degenerate unless it is $K_{d+1}$, and more generally, if $\mathrm{wd}(G)\ge d$, then either $G$ contains a $(d+1)$-clique or
\[
\mathrm{mad}(G)\ge d+\frac{d-2}{d^2+2d-2}
\]
[2111.05908]. For regular graphs, the lower bound is exact in a different direction: every $d$-regular graph satisfies
\[
\mathrm{wd}(G)\ge \lfloor d/2\rfloor+1,
\]
and this is tight for every $d$ [2309.12670].

A further extension replaces unweighted deletions by arc-weighted acyclic orientations. In the type-$2$ strict variant, $G$ is $ST^{(2)}$-$f$-degenerate if it has an arc-weighted orientation $(D,w)$ with weighted outdegree $d_{(D,w)}^+(v)<f(v)$ for every vertex and such that every nonempty sub-digraph contains a dominating arc $e=(u,v)$ with
\[
w(e)>d_{(D',w)}^+(v).
\]
This implies that $G$ is $f$-paintable and $f$-AT [2308.15853].

Fractional analogues transfer these ideas to fractional DP-coloring. The parameters $ST^{(3)*}(G)$ and $ST^{(4)*}(G)$ are defined via the `ShadeSave` process and satisfy
\[
\chi^*_{DP}(G)\le ST^{(3)*}(G)\le ST^{(4)*}(G).
\]
For cycles,
\[
ST^{(4)*}(C_{2r})=2,\qquad ST^{(4)*}(C_{2r+1})=2+\frac1r,
\]
and for unicyclic graphs one has $ST^{(4)*}(G)=\chi^*(G)$ [2604.13212]. These results show that degeneracy-type control persists even in fractional DP-coloring.

## 4. Algorithmic consequences and restricted planar families

Classical degeneracy is computationally simple: the smallest-last or peeling procedure computes $d(G)$ and the core decomposition in linear time [1902.02526]. That tractability makes degeneracy a natural parameter for above-guarantee algorithms. If $d=d(G)$, then every graph contains a cycle of length at least $d+1$ by the Erdős–Gallai argument, but deciding whether a graph contains a cycle of length at least $d+2$ is NP-complete, even for connected graphs. The complexity changes on 2-connected graphs: deciding whether such a graph contains a cycle of length at least $d+k$ is solvable in time
\[
2^{O(k)}|V(G)|^{O(1)},
\]
and for connected graphs the analogous longest-path problem is solvable in time $2^{O(k)}n^{O(1)}$ [1902.02526].

Weak and strict degeneracy have been especially productive on sparse surface families. For planar graphs without any configuration from Fig. 2 of Wang–Wang–Yang, toroidal graphs without any configuration from Fig. 5, and planar graphs without intersecting $5$-cycles, the graphs are weakly $3$-degenerate; moreover, they admit strictly $f$-degenerate transversals, have DP-paint number at most four, and have list vertex arboricity at most two [2112.09334]. A different planar theorem shows that planar graphs without $4$- and $6$-cycles satisfy weak $2$-degeneracy under two separate additional hypotheses: either no $7$-cycles are normally adjacent to $5$-cycles, or no $3$-cycles are normally adjacent to $9$-cycles. In each case the consequence is $3$-DP-colorability, $3$-DP-paintability, and near-bipartiteness [2303.13267].

Other local restrictions produce the same threshold. Planar graphs with distance of $3$-cycles greater than $2$ and no cycles of lengths $5,6,7$ are weakly $2$-degenerate, and they admit a partition $V(G)=A\cup B$ in which $A$ is independent and $G[B]$ is a forest [2502.18090]. Planar graphs of girth at least $5$ are weakly $2$-degenerate, while locally planar graphs are weakly $4$-degenerate [2303.07901]. These are stronger structural conclusions than merely $3$-choosable or $5$-choosable.

Arc-weighted strict degeneracy leads to truncated-degree choosability. A graph is $k$-truncated-degree-choosable when it is $f$-choosable for $f(v)=\min\{k,d_G(v)\}$. Here the picture is mixed. There exists a $3$-connected non-complete planar graph that is not $7$-truncated-degree-choosable, answering a question of Richter in the negative, but every $3$-connected non-complete planar graph is $ST^{(2)}$-$16$-truncated-degree-degenerate and hence $16$-truncated-degree-choosable [2308.15853].

Taken together, these results show that degeneracy variants are not merely abstract refinements of peeling. They furnish constructive reduction schemes, parameterized algorithms, and stronger coloring consequences on graph classes where ordinary $5$-degeneracy or $3$-degeneracy is too coarse.

## 5. Statistical, probabilistic, and compositional settings

Degeneracy also appears as a sufficient statistic in network models. The edge-degeneracy ERGM is the two-parameter exponential family
\[
\mathbb{P}_\theta(G)=\exp\big(\theta_1E(G)+\theta_2d(G)-\psi_n(\theta)\big),
\]
with sufficient statistics $E(G)$ and $d(G)$ [1602.00180]. Its convex support is the polytope
\[
\mathcal{P}_n=\operatorname{conv}\{(E(G),d(G)):G\in\mathcal{G}_n\},
\]
whose extremal edge counts at fixed degeneracy are
\[
U_n(d)=\binom{d+1}{2},\qquad
L_n(d)=\binom{d+1}{2}+(n-d-1)d.
\]
Every lattice point in $\mathcal{P}_n$ is realizable, the boundary has exactly $2n-2$ realizable lattice points and all of them are vertices, and the normalized limit shape is the lens
\[
\{(x,y)\in[0,1]^2:1-\sqrt{1-x}\le y\le \sqrt{x}\}
\]
[1602.00180]. This geometry explains when the model concentrates on the empty graph, the complete graph, or nontrivial extremal core structures.

In random graph theory, degeneracy undergoes a sharp trichotomy in random intersection graphs. For the model $G(n,m,p)$ with
\[
m=\beta n^\alpha,\qquad p=\gamma n^{-(1+\alpha)/2},
\]
one has, with high probability,
\[
k(G)=\Omega\!\big(\gamma n^{(1-\alpha)/2}\big)\quad\text{if }\alpha<1,
\]
\[
k(G)=\Omega\!\Big(\frac{\log n}{\log\log n}\Big)\quad\text{if }\alpha=1,
\]
and bounded expansion, hence $k(G)=O(1)$, if $\alpha>1$ [1409.8196]. Under the condition $\beta\gamma^2>1$, the same model has hyperbolicity at least $\xi\log n$ asymptotically almost surely [1409.8196]. Degeneracy therefore separates the structurally sparse regime from the somewhere-dense regime in this model.

Compositional graph operations exhibit further controlled behavior. For the $F$-sum operations $S,R,Q,T$, if $G$ is $k$-degenerate and $H$ is $l$-degenerate, then the resulting degeneracies satisfy explicit formulas:
\[
d(G{+}_{R}H)=k+l,
\]
\[
d(G{+}_{Q}H)=\max\{2\Delta(G)-2,\;k+l\},
\]
\[
d(G{+}_{T}H)=\max\{2\Delta(G),\;k+l\},
\]
while for $S$-sums, $G{+}_{S}H$ is $2$-degenerate when $l=1$ or $2$, and $l$-degenerate when $l\ge 3$ [2603.06747]. Through the inequality $AT(G)\le d(G)+1$, these formulas immediately imply upper bounds on the Alon–Tarsi number of the corresponding constructions [2603.06747].

These lines of work enlarge degeneracy from a static graph invariant into a modeling coordinate. In ERGMs it describes core intensity; in random intersection graphs it marks a phase transition in structural sparsity; in $F$-sum operations it predicts coloring behavior through explicit compositional rules.

## 6. Terminological boundaries, family-level notions, and open directions

A recurring source of confusion is that several nearby terms are not equivalent. In hereditary classes defined by a finite forbidden induced set $S$, bounded degeneracy occurs if and only if $S$ includes a complete graph, a complete bipartite graph, and a forest [2206.09252]. This is a theorem about the classical parameter $d(G)$ on every graph in the class. By contrast, in the spectral extremal paper of Wu, Kang, and Ni, a family $\mathcal{F}$ is called **degenerate** when it contains at least one bipartite graph; the associated parameters are the covering number $\beta(\mathcal{F})$ and the independent covering number $\beta'(\mathcal{F})$, and the spectral extremizers are characterized by joins with a core of size $\beta'(\mathcal{F})-1$ [2507.12014]. That usage is family-theoretic and unrelated to a peeling bound on individual graphs.

A second terminological divergence appears in work on graphs realized by finite abelian groups. There, **degeneration** is a homomorphism-based relation: an edge or a graph degenerates to another if a graph homomorphism maps the former to the latter, and group homomorphisms induce such graph homomorphisms on annihilator graphs [2205.08795]. This notion produces partial orders, threshold graphs, and Young-diagram lattices, but it is not the same as $k$-degeneracy.

Current open problems are concentrated in recognition, locality, and sharp constants. For spectral degeneracy, natural questions include improving the rough converse
\[
\deg(v)\le 4d\log_2(D/d),
\]
understanding whether the logarithmic dependence on $D$ can be improved under additional assumptions, and deciding whether polynomial-time approximate recognition exists for spectrally $(1+\varepsilon)d$-degeneracy [1010.3367]. For weak degeneracy, open directions include the complexity of computing $\mathrm{wd}(G)$ and the conjectural behavior for clique-free or triangle-free graphs of large maximum degree [2111.05908]. In local weak degeneracy, one explicit conjecture asks for a universal constant $c>1$ such that every planar graph with a local girth function admits a legal sequence with average availability at least $c$, which would imply exponentially many local-girth correspondence colorings [2504.21821].

The modern study of degeneracy graphs is therefore best understood as a family of related but non-identical theories. Classical degeneracy supplies hereditary sparsity, cores, and greedy orderings; spectral degeneracy translates sparse structure into eigenvalue control; weak and strict degeneracy sharpen coloring and online coloring; probabilistic and statistical models use degeneracy as a phase parameter; and family-level or algebraic uses of “degenerate” and “degeneration” require separate interpretation. The common thread is structural control by recursive low-complexity subgraphs, but the mechanisms and consequences differ substantially across these settings.

Source: https://www.emergentmind.com/topics/degeneracy-graphs