---
title: 1/k-Majority (k+1)-Edge-Colouring in Graphs
url: https://www.emergentmind.com/topics/1-k-majority-k-1-edge-colouring
type: topic
---

# 1/k-Majority (k+1)-Edge-Colouring in Graphs

A $\frac{1}{k}$-majority $(k+1)$-edge-colouring of a graph $G$ is an edge-colouring with $k+1$ colours such that, for every vertex $v$ and every colour $i$, at most $\left\lfloor \frac{d(v)}{k}\right\rfloor$ edges incident with $v$ receive colour $i$ [2309.16624]. Equivalently, no single colour may occupy more than a $\frac{1}{k}$-fraction of the edges incident with any vertex. This local density constraint generalizes the basic majority case $k=2$, and the modern theory concerns the degree thresholds, extremal obstructions, proof methods, and extensions that determine when $(k+1)$ colours suffice [2205.11125].

## 1. Definition and formal setting

The foundational notion is the **majority $k$-edge-colouring** introduced for graphs as an edge-colouring $c:E(G)\to [k]$ such that, for every vertex $u$ and every colour $a\in [k]$,
\[
\left|\{e\in E(G): e\text{ is incident with }u,\ c(e)=a\}\right|\le \frac{d_G(u)}{2}.
\]
This is the case $a=\frac12$ in the more general $\alpha$-majority formulation, where one requires
\[
\left|\{e\in E(G): e\text{ is incident with }u,\ c(e)=a\}\right|\le \alpha\, d_G(u)
\]
for every vertex $u$ and colour $a$ [2205.11125].

The specialized object of current interest is the case $\alpha=\frac1k$ together with exactly $k+1$ colours. In the notation of the generalized theory, a $\frac1k$-majority $l$-edge-colouring is an edge-colouring with $l$ colours such that for every colour $i$ and each vertex $v$, at most a $\frac1k$-fraction of the edges incident with $v$ have colour $i$; for integer degrees this is written as
\[
\#\{e\ni v : c(e)=i\}\le \left\lfloor \frac{d(v)}{k}\right\rfloor.
\]
The case $l=k+1$ is the first nontrivial colour budget beyond $k$, and it is the form around which the threshold conjecture and most sharp results are organized [2309.16624].

A basic structural feature of the problem is that the condition is entirely **vertexwise**. It controls each colour class locally at every vertex rather than globally across the graph. This makes the problem closer in spirit to discrepancy theory and balanced decompositions than to classical proper edge-colouring.

## 2. Threshold conjecture and extremal obstructions

The central conjecture states that for every integer $k\ge 2$, if
\[
\delta(G)>k^2,
\]
then $G$ is $\frac1k$-majority $(k+1)$-edge-colourable [2309.16624]. The same source observes that such a result would be best possible.

There are two distinct reasons for this sharpness. First, $k+1$ colours are necessary in general: with only $k$ colours, a vertex whose degree is not divisible by $k$ forces one colour to appear too many times, so no minimum-degree hypothesis can make $k$ colours sufficient for all graphs [2309.16624]. Second, the conjectured degree threshold cannot be lowered below $k^2$ in the general setting. For every $k\ge 2$, there exists a graph with minimum degree
\[
\delta(G)=k^2-1
\]
that is not $\frac1k$-majority $(k+1)$-edge-colourable; the construction starts with $K_{k^2+1}$, deletes the edges of a Hamilton cycle, and adds a new vertex adjacent to all remaining vertices [2309.16624].

The bipartite case has its own sharp obstruction. For every $k\ge 2$, there are bipartite graphs with minimum degree
\[
\delta(G)=k^2-k-1
\]
that are not $\frac1k$-majority $(k+1)$-edge-colourable; a concrete example is $K_{k^2-k,k^2-k}$ with one edge removed [2309.16624]. This yields the exact bipartite threshold $k(k-1)$.

For the original majority case $k=2$, the obstruction theory is more concrete. Any graph containing a vertex of degree $1$ cannot have a majority edge-colouring at all. Moreover, there are class 2 graphs with minimum degree at least $2$ and maximum degree $3$ that do not have a majority $3$-edge-colouring. A further obstruction is identified: if $G$ has minimum degree at least $2$ and contains an induced subgraph $H$ such that $H$ is class 2 with maximum degree $3$, and all vertices of $H$ have degree $2$ or $3$ in $G$, then $G$ has no majority $3$-edge-colouring [2205.11125].

These lower bounds place the subject in a narrow asymptotic window. The conjectural threshold is quadratic in $k$, and both the general and bipartite counterexamples show that this quadratic order is unavoidable.

## 3. Existence theorems for graphs

The principal graph-theoretic existence results form a progression from the basic majority case to the general $\frac1k$-majority $(k+1)$ setting [2205.11125; 2309.16624].

| Setting | Minimum-degree condition | Conclusion |
|---|---:|---|
| General graphs, $k=2$ | $\delta(G)\ge 2$ | majority $4$-edge-colouring |
| General graphs, $k=2$ | $\delta(G)\ge 4$ | majority $3$-edge-colouring |
| General graphs, arbitrary $k$ | $\delta(G)>2k^2$ | $\frac1k$-majority $(k+1)$-edge-colouring |
| General graphs, refined bound | $\delta(G)>\left(\tfrac74+o(1)\right)k^2$ | $\frac1k$-majority $(k+1)$-edge-colouring |
| Bipartite graphs | $\delta(G)\ge k(k-1)$ | $\frac1k$-majority $(k+1)$-edge-colouring |
| Small values | $\delta(G)>9$ for $k=3$, $\delta(G)>16$ for $k=4$ | exact conjectured form for $k=3,4$ |

In the basic majority case, the result that every graph with minimum degree at least $2$ admits a majority $4$-edge-colouring is stated to be best possible under the minimum-degree condition. Likewise, every graph with minimum degree at least $4$ has a majority $3$-edge-colouring, and this is again best possible under that hypothesis because a graph containing a vertex of odd degree at least $3$ cannot have a majority $2$-edge-colouring [2205.11125].

The 2023 advances substantially sharpen the general theory. They improve the previously known bound of order $k^3\log k$ to the direct non-random bound
\[
\delta(G)>2k^2 \implies G \text{ is }\frac1k\text{-majority }(k+1)\text{-edge-colourable},
\]
and then further to an asymptotic threshold of $\left(\frac74+o(1)\right)k^2$ [2309.16624]. The same work proves the conjecture itself for $k\le 4$: the case $k=2$ was already known, while $k=3$ and $k=4$ are established there.

The bipartite theorem is exact: if $G$ is bipartite and
\[
\delta(G)\ge k(k-1),
\]
then $G$ has a $\frac1k$-majority $(k+1)$-edge-colouring, and the lower-bound example at degree $k^2-k-1$ shows that this cannot be improved [2309.16624]. This sharp bipartite result is one of the cleanest parts of the theory.

## 4. Methods: Eulerian splits, rounding, and iterative decompositions

The earliest proofs already exhibit two important methodological themes. The strong $2$-edge-colouring statement in the majority setting is proved using Euler tours, while the theorem that every graph of minimum degree at least $4$ has a majority $3$-edge-colouring uses the Gallai–Edmonds decomposition [2205.11125]. These arguments establish that parity, local balance, and decomposition into structured subgraphs are central.

A later stage of the theory replaces probabilistic existence by a direct non-random mechanism. The key tool is **Lemma 6**, a refined decomposition lemma inspired by Alon–Wei. Given a graph $G=(V,E)$ and weights
\[
z:E\to [0,1],
\]
it produces a function
\[
x:E\to\{0,1\}
\]
such that, for every vertex $v$,
\[
\sum_{e\ni v} z(e)-1 < \sum_{e\ni v} x(e) < \sum_{e\ni v} z(e)+1.
\]
It also has a stability property: if for an edge $uv$ both endpoint sums fall below the corresponding $z$-targets, then necessarily $x(uv)=1$. Finally, vertices with excess $+1$ are confined to pairwise independent odd cycles with integral local sums [2309.16624].

This lemma is used iteratively to carve the edge set into $k+1$ colour classes while controlling the number of edges of each colour incident with every vertex. In bipartite graphs the odd-cycle complication disappears, which explains why the bipartite threshold can be solved exactly. In general graphs, the residual odd-cycle structure prevents exact control but still allows the quadratic bound $2k^2$ and the improved $\left(\frac74+o(1)\right)k^2$ bound [2309.16624].

The same paper supplements Lemma 6 with a flexible two-colouring tool derived from Eulerian structure. In one formulation, if a connected graph has an even number of edges or has a vertex of odd degree, then it admits a $2$-edge-colouring such that each vertex sees at most $\lfloor d(v)/2\rfloor$ edges of one colour; in the even-edge, all-even-degree case, one vertex may be exceptional and receive one extra edge of a colour. This mechanism is used to finish residual subgraphs after part of the decomposition has already been performed [2309.16624].

A notable conceptual point is the explicit limitation of straightforward probabilistic methods near the conjectured threshold. When $d\approx k^2$, each colour should appear about $\frac{d}{k+1}\approx k-1$ times around a vertex, while the allowed maximum is only $\left\lfloor \frac{d}{k}\right\rfloor<k$. This means the colouring must control every colour count with additive error at most $1$, and the 2023 paper argues that standard concentration tools appear too weak for that scale [2309.16624]. This observation motivates the shift from Lovász-local-lemma arguments to discrepancy-style iterative rounding.

## 5. List, infinite, and hypergraph extensions

The list version replaces a common colour set by an assignment $L:E\to 2^C$ and asks for an $\alpha$-majority colouring chosen from the prescribed lists. For every integer $k\ge 2$, every graph with minimum degree
\[
\delta(G)\ge 2k^2-2k
\]
admits a $\frac1k$-majority edge colouring from any list assignment with lists of size $k+1$. The same statement is extended to finite or infinite graphs [2502.12688].

The proof is based on vertex splitting, Euler tours, and a reduction to bipartite list edge-colouring. Each high-degree vertex is split into copies of degree at most $2(k+1)$, the resulting components are made Eulerian, the Euler tours are oriented, and from the orientation one constructs a bipartite graph $H$ of maximum degree at most $k+1$. Galvin’s theorem is then applied to colour $H$ from any lists of size $k+1$, and the colouring is transferred back to the original graph. The counting argument shows that each vertex $v$ is incident with at most
\[
2\left\lfloor \frac{d(v)}{2k+2}\right\rfloor
\]
edges of any fixed colour, which is at most $\frac{d(v)}{k}$ once $\delta(G)\ge 2k^2-2k$ [2502.12688]. For $k=2$, this settles the list version of the basic majority-edge-colouring conjecture.

The same work also studies more general list settings. If $l>2$ and $\alpha l>1$, then every graph with minimum degree
\[
\delta(G)\ge 2l-2
\]
has an $\alpha$-majority edge colouring from lists of size $l$. It then extends to diversified tolerances $\alpha(c)$ under the excessive condition
\[
\sum_{c\in L(e)} \alpha(c)\ge 1+\varepsilon \quad\text{for every edge }e,
\]
with probabilistic existence theorems under explicit minimum-degree hypotheses [2502.12688].

A further extension passes from graphs to hypergraphs. If $G$ is a hypergraph of rank
\[
r=\max_{e\in E}|e|,
\]
then for every integer $k\ge 2$ and $r\ge 2$, every hypergraph with minimum degree
\[
\delta(G)\ge 2rk^2
\]
admits a $\frac1k$-majority $(k+1)$-edge-colouring [2509.22157]. The proof first gives a weaker probabilistic threshold of order $\Omega(k^3\log(kr))$ via a weighted Lovász Local Lemma, and then improves it to $2rk^2$ by extending the Pękała–Przybyło rounding lemma to hypergraphs. In the hypergraph version, the discrepancy error at a vertex becomes $r$ rather than $1$, reflecting the fact that one hyperedge can affect up to $r$ vertex sums. The paper also proves that every linear hypergraph of maximum rank $r$ and minimum degree at least $k^2-k$ has a $\frac1k$-majority $(kr+1)$-edge-colouring [2509.22157].

## 6. Related notions and distinctions

A recurring source of confusion is that not every “majority edge-colouring” in the literature uses the same local neighbourhood. The standard $\frac1k$-majority $(k+1)$-edge-colouring problem is **vertex-based**: the local counts are taken among edges incident with a vertex. By contrast, **strong majority edge-colouring** is **edge-based**. In that setting, for every edge $e$ and every colour $i$, at most half of the edges adjacent to $e$ may have colour $i$ [2607.00212].

Formally, a strong majority edge-colouring of a graph $G$ is an edge-colouring $c:E(G)\to C$ such that for every edge $uv\in E(G)$ and every colour $i\in C$,
\[
\bigl|\{f\in E(G): |\{u,v\}\cap f|=1,\ c(f)=i\}\bigr| \le \frac{d(u)+d(v)}{2}-1.
\]
The 2026 paper immediately rephrases this as: for every edge $e$ and every colour $i$, at most half of the edges adjacent to $e$ have colour $i$. This is naturally a $\frac12$-majority condition, but it is not the same problem as the vertexwise $\frac1k$-majority $(k+1)$ theory [2607.00212].

The strong-majority setting has its own obstruction and colour bounds. Such a colouring exists only for **admissible** graphs, meaning graphs with no pendant path of length two. Kalinowski, Kamyczura, Pilśniak, and Woźniak proved that every admissible graph admits such a colouring with at most eight colours and conjectured that four colours always suffice; the 2026 result improves the general upper bound from $8$ to $5$. It also proves that every graph with no vertices of degree $2$ or $4$ satisfies the corresponding $4$-colour bound, implying the same for every graph with $\delta(G)\ge 5$. The proof uses the notion of being **balanced at a vertex**, equitable edge-colouring of Hilton and de Werra, and local recolouring on degree-$2$ paths [2607.00212].

Beyond graph edge-colouring, the broader majority paradigm includes vertex colourings of digraphs and majority partitions of $2$-edge-coloured graphs. In digraphs, the extremal number $m(k)$ for $\frac1k$-majority vertex colourings satisfies
\[
m(k)\in\{2k-1,2k\},
\]
and every digraph is $\frac1k$-majority $2k$-choosable [1701.03780]. In $2$-edge-coloured graphs, a majority partition requires that for each edge colour and each vertex, at least as many edges of that colour leave the vertex’s part as stay inside it; every such graph has a $4$-majority partition, while deciding the existence of a $3$-majority partition is NP-complete [2508.18957]. These frameworks are closely related in spirit, but they address different adjacency models and should not be conflated with $\frac1k$-majority $(k+1)$-edge-colouring of graphs.

Taken together, these results suggest a coherent picture. The vertexwise graph problem has a sharp quadratic threshold conjecture, exact bipartite behaviour, exact small-$k$ solutions through $k=4$, and strong list and hypergraph extensions. At the same time, related majority frameworks reveal that small changes in the local neighbourhood—vertices instead of edges, edges adjacent to an edge instead of edges incident with a vertex, or partitions instead of colourings—can change both the combinatorial obstructions and the optimal number of colours.

Source: https://www.emergentmind.com/topics/1-k-majority-k-1-edge-colouring