arXiv++ Combinatorics

A strong majority edge colouring of a graph $G$ is an edge colouring in which, for every edge $e$ and every colour $α$, at most half the edges adjacent to $e$ receive colour $α$. Like many related colouring notions, it admits a natural interpretation as a colouring problem for an associated hypergraph. Somewhat surprisingly, although the corresponding hypergraph may have arbitrarily large vertex degrees, a universal finite upper bound on the sufficient number of colours in a strong majority edge colouring exists under a natural modest minimum degree assumption, unlike in several other closely related majority concepts. We in particular prove that every graph $G$ with minimum degree $δ\ge5$ admits a strong majority edge colouring with three colours, improving both the previously known bound $δ\ge9$ for three colours and the result showing that four colours suffice whenever $δ\ge5$. Our result is best possible with respect to the number of colours and nearly best possible with respect to the minimum degree assumption, as we exhibit the latter cannot be decreased below $4$. We also introduce a more general framework of strong $1/k$-majority edge colourings and establish corresponding bounds for this setting.

We investigate possible list extensions of generalised majority edge colourings of graphs and provide several results concerning these. Given a graph $G=(V,E)$, a list assignment $L:E\to 2^C$ and some level of majority tolerance $α\in(0,1)$, an $α$-majority $L$-colouring of $G$ is a colouring $ω:E\to C$ from the given lists such that for every $v\in V$ and each $c\in C$, the number of edges coloured $c$ which are incident with $v$ does not exceed $α\cdot d(v)$. We present a simple argument implying that for every integer $k\geq 2$, each graph with minimum degree $δ\geq 2k^2-2k$ admits a $1/k$-majority $L$-colouring from any assignment of lists of size $k+1$. This almost matches the best result in a non-list setting and solves a conjecture posed for the basic majority edge colourings, i.e. for $k=2$, from lists. We further discuss restrictions which permit obtaining corresponding results in a more general setting, i.e. for diversified $α=α(c)$ majority tolerances for distinct colours $c\in C$. Consider a list assignment $L:E\to 2^C$ with $\sum_{c\in L(e)}α(c)\geq 1+\varepsilon$ for each edge $e$, and suppose that $α(c)\geq a$ for every $c$ or $|L(e)|\leq\ell$ for all edges $e$, where $a\in(0,1)$, $\varepsilon>0$, $\ell\in\mathbb{N}$ are any given constants. Then we in particular show that there exists an $α$-majority $L$-colouring of $G$ from any such list assignment, provided that $δ(G)=Ω(a^{-1}\varepsilon^{-2}\ln(a\varepsilon)^{-1})$ or $δ=Ω(\ell^2\varepsilon^{-2})$, respectively. We also strengthen these bounds within a setting where each edge is associated to a list of colours with a fixed vector of majority tolerances, applicable also in a general non-list case.

A $\frac{1}{k}$-majority $l$-edge-colouring of a graph $G$ is a colouring of its edges with $l$ colours such that for every colour $i$ and each vertex $v$ of $G$, at most $\frac{1}{k}$'th of the edges incident with $v$ have colour $i$. We conjecture that for every integer $k\geq 2$, each graph with minimum degree $δ\geq k^2$ is $\frac{1}{k}$-majority $(k+1)$-edge-colourable and observe that such result would be best possible. This was already known to hold for $k=2$. We support the conjecture by proving it with $2k^2$ instead of $k^2$, which confirms the right order of magnitude of the conjectured optimal lower bound for $δ$. We at the same time improve the previously known bound of order $k^3\log k$, based on a straightforward probabilistic approach. As this technique seems not applicable towards any further improvement, we use a more direct non-random approach. We also strengthen our result, in particular substituting $2k^2$ by $(\frac{7}{4}+o(1))k^2$. Finally, we provide the proof of the conjecture itself for $k\leq 4$ and completely solve an analogous problem for the family of bipartite graphs.