---
title: Ore-Degree in Graph Theory
url: https://www.emergentmind.com/topics/ore-degree
type: topic
---

# Ore-Degree in Graph Theory

Ore-degree denotes a family of degree-sum parameters derived from Ore’s theorem, rather than a single universally fixed invariant. In one common graph-theoretic usage, the Ore-degree of a graph is the maximum of \(d(x)+d(y)\) over edges \(xy\); in another, Ore-type conditions are expressed through the minimum degree sum over nonadjacent pairs. Later work extends the same idea to oriented graphs, hypergraphs, shadow graphs of hypergraphs, and rainbow graph families on a common vertex set, so the term is best understood as a degree-sum paradigm whose exact definition depends on the ambient category [1707.07216] [2504.04493] [2507.04273] [2603.06415].

## 1. Terminology and principal definitions

The literature uses several closely related Ore-type parameters. The following table records the main variants that have become standard.

| Context | Parameter | Definition |
|---|---|---|
| Undirected graphs, edge-based | \(\theta(G)\) or \(\sigma(G)\) | \(\max_{xy\in E(G)}(\deg(x)+\deg(y))\) |
| Undirected graphs, nonedge-based | \(\sigma_2(G)\) | \(\min\{d_G(u)+d_G(v):u\nsim v\}\) |
| Oriented graphs, missing arc | directed Ore threshold | \(\min\{\deg^+(x)+\deg^-(y):xy\notin E(G)\}\) |
| \(r\)-uniform hypergraphs | \(\sigma_r(\mathcal H)\) | \(\min\{\sum_{v\in S}\deg(v): S\notin E(\mathcal H), |S|=r\}\) |

For embedding problems, the edge-based form is explicit: the Ore-degree of an edge \(xy\) is \(\theta(x,y)=\deg(x)+\deg(y)\), and the Ore-degree of a graph \(G\) is \(\theta(G)=\max_{xy\in E(G)}(\deg(x)+\deg(y))\) [1707.07216]. For Hamiltonicity, pancyclicity, and related spanning questions, the dominant parameter is instead \(\sigma_2(G)\), the minimum degree sum over nonadjacent pairs [2504.04493]. In oriented graphs, the natural analogue for a missing directed edge \(xy\) is \(\deg^+(x)+\deg^-(y)\), reflecting the directional asymmetry of Hamilton cycles in digraphs [2507.04273]. In \(r\)-uniform hypergraphs, the corresponding Ore-degree is taken over non-edge \(r\)-sets and sums the degrees of all \(r\) vertices in the set [2603.06415].

A persistent source of confusion is the assumption that “Ore-degree” always means one of these formulas. The papers show instead that the phrase is contextual: some authors use it for an edge-maximum, others for a nonedge-minimum, and still others for a directed or hypergraph generalization. The unifying idea is always the same: a local obstruction is measured by a degree sum rather than by a single vertex degree.

## 2. Nonadjacent-pair Ore conditions and spanning structure

The classical Ore framework concerns nonadjacent vertices. In the Hamiltonian setting, one formulation is Ore’s theorem \(\sigma_2(G)\ge n\Rightarrow G\) is hamiltonian, together with the Hamiltonian-connected analogue \(\sigma_2(G)\ge n+1\Rightarrow G\) is hamiltonian-connected [2504.04493]. A path version also appears in later work: if every nonadjacent pair satisfies \(d(u)+d(v)\ge n-1\), then the graph contains a Hamiltonian path [1203.0757]. These results motivate a large family of “Ore-type” theorems in which the threshold \(n\) is replaced by a more refined structural quantity.

A notable refinement replaces the order \(n\) by the bipartite-hole-number \(\widetilde{\alpha}(G)\). If \(G\) is \(2\)-connected and \(\sigma_2(G)\ge 2\widetilde{\alpha}(G)\), then \(G\) is hamiltonian; if \(G\) is \(3\)-connected and \(\sigma_2(G)\ge 2\widetilde{\alpha}(G)+1\), then \(G\) is hamiltonian-connected [2504.04493]. Here \(\widetilde{\alpha}(G)\) measures the largest size of a forced bipartite hole across all splittings, so the Ore threshold becomes structural rather than purely order-based.

The same nonadjacent-pair template also governs sparse spanning trees. For a \(k\)-connected graph \(G\) with \(V(G)=\{w_1,\dots,w_n\}\) and prescribed bounds \(2\le d_1\le \cdots \le d_n\le n-1\), Rivera-Campo proved that
\[
d(u)+d(v)\ge n-1-\sum_{j=1}^{k}(d_j-2)
\]
for every nonadjacent \(u,v\) guarantees a spanning tree \(T\) with at most
\[
2+\sum_{j=1}^{k}(d_j-2)
\]
leaves and \(d_T(w_j)\le d_j\) for all \(j\) [1203.0757]. This theorem interpolates between Ore’s Hamilton-path condition and bounded-degree spanning tree problems.

Ore-type conditions also interact with additional global hypotheses. For \(t\)-tough graphs, the condition
\[
\sigma_2(G)>\frac{2n}{t+1}+t-2
\]
forces Hamiltonicity for every \(t>0\) [2103.05146]. For the square of a Hamiltonian cycle, an asymptotically exact Ore threshold is
\[
\delta_2(G)\ge \frac{4n-1}{3}\quad\text{and}\quad \delta(G)>\frac n3+2,
\]
which implies \(C_n^2\subseteq G\) for all sufficiently large \(n\) [1403.0776]. For bootstrap percolation with threshold \(2\), the weakened condition \(\sigma_2(G)\ge n-2\) forces \(m(G,2)=2\) except for explicit exceptional families \(G_0,G_1,G_2,G_3\) and a finite exceptional set \(X\) [1610.04499]. In each case, Ore-type degree sums are being used as a surrogate for local expansion.

## 3. Edge-based Ore-degree as a graph invariant

A second major usage defines Ore-degree on edges rather than nonedges. In this sense,
\[
\theta(G)=\max_{xy\in E(G)}(\deg(x)+\deg(y)).
\]
This parameter is structurally stricter than a maximum-degree bound because it controls which high-degree vertices may be adjacent [1707.07216].

The paper “Embedding graphs having Ore-degree at most five” gives the clearest illustration. For sufficiently large \(n\), every \(n\)-vertex graph \(H\) with \(\theta(H)\le 5\) embeds into every \(n\)-vertex graph \(G\) with minimum degree at least \(2n/3\) [1707.07216]. The restriction \(\theta(H)\le 5\) does not forbid degree-\(4\) vertices outright, but it forces them to be adjacent only to degree-\(1\) vertices. The same paper shows that when \(\theta(H)=5\), there exists an independent dominating set \(I\subseteq V(H)\) with \(|I|>n/3\), every \(x\in I\) has \(\deg_H(x)\le 2\), and the connected components of \(H-I\) are paths of length at most \(2\) [1707.07216]. This decomposition is the central structural reason the threshold \(5\) is tractable.

Edge-based Ore-degree also appears in graph coloring and criticality. For 4-critical graphs, the graphs of Ore-degree at most \(7\) are exactly the 4-Ore graphs, that is, the graphs obtained from \(K_4\) by repeated Ore-compositions [1409.5116]. In strong edge-coloring, sparse graphs with Ore-degree \(7\) and \(\operatorname{mad}(G)<34/11\) satisfy \(\chi'_s(G)\le 13\), while Ore-degree \(8\) together with \(\operatorname{mad}(G)<113/31\) yields \(\chi'_s(G)\le 20\) [2602.03862]. In the planar setting, every planar graph with \(\theta(G)\le 7\) has strong chromatic index at most \(13\), settling the Chen–Huang–Yu–Zhou conjecture in the planar case [2509.06808].

The parameter is also natural for line graphs. If
\[
\sigma(G)=\max_{uv\in E(G)}(d(u)+d(v)),
\]
then
\[
\omega(L(G)^2)\le \frac{\sigma(G)^2}{3}\le \frac{4}{3}\Delta(G)^2,
\]
and in bipartite graphs the stronger bound \(\omega(L(G)^2)\le \sigma(G)^2/4\) holds [1708.02264]. Here the edge-based Ore-degree aligns directly with the local degree of a vertex in the line graph, which explains its effectiveness.

## 4. Directed, coloured, and hypergraph extensions

Ore-type ideas extend naturally beyond simple undirected graphs. For oriented graphs, the exact asymptotic threshold for a Hamilton cycle is: if \(G\) is an oriented graph of sufficiently large order \(n\) and
\[
\deg^+(x)+\deg^-(y)\ge \frac{3n-3}{4}
\quad\text{whenever }xy\notin E(G),
\]
then \(G\) contains a Hamilton cycle [2507.04273]. The bound is best possible, and the extremal construction uses a four-part orientation \(A\to B\to C\to D\to A\) with \(|B|>|D|\) [2507.04273]. A different oriented variant studies discrepancy rather than mere existence: if an oriented graph satisfies \(\sigma_2(G)\ge n\), then it contains a Hamilton cycle \(C\) with
\[
\sigma_{\max}(C)\ge \max\left\{\frac n2,\frac{\sigma_2(G)}2-\gamma n\right\}
\]
for every \(\gamma>0\) and sufficiently large \(n\) [2603.18915].

In rainbow graph families, the Ore-type parameter becomes family-valued. For a family \(\mathcal G=\{G_i:i\in[n]\}\) on a common \(n\)-vertex set,
\[
\sigma(\mathcal G)=\min\{d_p(u)+d_q(v)\mid uv\notin E(G_i)\text{ for some }i,\ \text{and for all }p,q\in[n]\}.
\]
If \(\sigma(\mathcal G)\ge n\), then either \(\mathcal G\) is \([4,n]\)-rainbow vertex-pancyclic or \(G_1=\cdots=G_n=K_{n/2,n/2}\); if
\[
\sigma(\mathcal G)\ge \frac{4n}{3}-1,
\]
then \(\mathcal G\) is rainbow vertex-pancyclic [2604.27535]. This is an Ore-type family analogue of Bondy’s pancyclicity theorem.

Hypergraph versions bifurcate according to the Hamiltonicity model. For \([3]\)-graphs, the relevant condition is imposed on the \(2\)-shadow \(\partial\mathcal H\): there exists a constant \(d_0\) such that if every nonadjacent pair \(u,v\) in \(\partial\mathcal H\) satisfies
\[
d_{\partial\mathcal H}(u)+d_{\partial\mathcal H}(v)\ge n+d_0,
\]
then \(\mathcal H\) contains a Hamiltonian Berge cycle, with the proved value \(d_0=65\) and conjectured optimal value \(d_0=1\) [2505.12035]. For \(r\)-uniform hypergraphs, the Ore-degree is
\[
\sigma_r(\mathcal H)=\min\{\deg(S):S\notin E(\mathcal H), |S|=r\},
\]
and if
\[
\sigma_r(\mathcal H)>r\left(\binom{n-1}{r-1}-\binom{n-s}{r-1}\right),
\]
then \(\mathcal H\) contains \(s\) pairwise disjoint edges, provided \(s\ge 2\) and \(n\ge 3r^2(s-1)\) [2603.06415]. These extensions show that Ore-type degree sums can be transferred from edges and nonedges to shadow adjacency, missing arcs, and non-edge \(r\)-sets.

## 5. Structural role and proof methods

Ore-degree conditions are typically not used in isolation; they are converted into overlap statements on neighborhoods, rigid decompositions, or reducible configurations. In bounded-degree spanning tree theory, the Ore hypothesis is fed into a maximal constrained subtree argument, combined with Menger’s theorem and edge exchanges that reduce the number of leaves [1203.0757]. In the bipartite-hole-number Hamiltonicity theorem, the proof proceeds through a maximal-edge counterexample, Hamilton-path rerouting, and forbidden bipartite-hole counting [2504.04493].

In dense embedding theory, Ore-degree bounds often serve as the structural input to regularity methods. For \(\theta(H)\le 5\), the spanning embedding theorem uses Szemerédi regularity, triangle factors in the reduced graph, proportional and strong proportional matchings, Csaba’s modified Blow-up Lemma, and an extremal analysis around triangle-rich targets [1707.07216]. For the exact oriented Hamiltonicity threshold, the proof combines an absorbing path, a reservoir lemma, a reduced oriented graph inheriting an approximate Ore condition, and a stability analysis of near-extremal four-part structures [2507.04273]. In oriented discrepancy, a two-step absorption method is paired with a reduced-graph Ore bound and an Ore-type Hajnal–Szemerédi-style tournament tiling [2603.18915].

In sparse graph coloring, Ore-degree restrictions drive discharging. The strong edge-coloring results for Ore-degree \(7\) or \(8\) use minimal counterexamples, partial colorings, Hall’s marriage theorem, and carefully tuned discharging rules indexed by local degree types [2602.03862]. For planar graphs with \(\theta(G)\le 7\), the proof adds reducible configurations certified by Combinatorial Nullstellensatz to a discharging argument based on the fact that only degrees \(2,3,4\) can occur, that every \(2\)-vertex is adjacent to two \(4\)-vertices, and that short faces have tightly constrained degree patterns [2509.06808].

A common pattern across these arguments is that the degree-sum hypothesis collapses many potential local configurations. In edge-based settings, it suppresses adjacency among high-degree vertices; in nonedge-based settings, it forces overlap between structured neighborhood sets. This suggests that Ore-degree is best viewed as a local incompatibility bound: it excludes sparse separators in some problems and excludes dense local clashes in others.

## 6. Extremality, sharpness, and scope

A striking feature of Ore-degree theory is the frequency of exact or near-exact thresholds. Rivera-Campo’s spanning-tree theorem is sharp: a complete bipartite graph \(K_{|X|,|Y|}\) with \(|X|=k\) and \(|Y|=2-k+d_1+\cdots+d_k\) meets the degree-sum threshold minus one, yet every spanning tree violates at least one prescribed degree bound [1203.0757]. In the toughness setting, the conjectural bound
\[
\sigma_2(G)\ge \frac{2n}{t+1}-2
\]
would be best possible if true, with complete bipartite and join constructions furnishing equality examples [2103.05146].

The exact oriented Hamiltonicity threshold \((3n-3)/4\) is also best possible: the four-part construction \(A\to B\to C\to D\to A\) with \(|B|>|D|\) has no Hamilton cycle, yet one can tune the sizes and internal tournaments so that some missing arc \(xy\) satisfies
\[
\deg^+(x)+\deg^-(y)=\left\lceil\frac{3n-3}{4}\right\rceil-1
\]
[2507.04273]. In rainbow pancyclicity, the unique obstruction at threshold \(\sigma(\mathcal G)\ge n\) is the family \(G_1=\cdots=G_n=K_{n/2,n/2}\), exactly paralleling Bondy’s classical extremal graph [2604.27535]. In oriented discrepancy, blow-ups of transitive tournaments show that the coefficient \(1/2\) in the lower bound \(\sigma_{\max}(C)\ge \sigma_2(G)/2-o(n)\) cannot be improved [2603.18915]. For bootstrap percolation, the threshold \(\sigma_2(G)\ge n-2\) is accompanied by explicit infinite exceptional classes \(G_0,G_1,G_2,G_3\) and a finite set \(X\) [1610.04499].

The scope of the term also has a negative aspect: it should not be conflated with degree in the algebraic theory of Ore extensions or Ore operators. In work on graded iterated Ore extensions and Ore operators, “degree” refers to internal grading, coefficient degree, or order-degree tradeoffs, not to graph-theoretic degree sums [1512.03378] [1301.0917]. In combinatorics proper, however, Ore-degree has become a flexible language for expressing local density through degree sums, and its most successful applications occur precisely where such sums reveal a hidden structural rigidity.

Source: https://www.emergentmind.com/topics/ore-degree