English

Goldberg's Conjecture is true for random multigraphs

Combinatorics 2019-02-07 v2 Probability

Abstract

In the 70s, Goldberg, and independently Seymour, conjectured that for any multigraph GG, the chromatic index χ(G)\chi'(G) satisfies χ(G)max{Δ(G)+1,ρ(G)}\chi'(G)\leq \max \{\Delta(G)+1, \lceil\rho(G)\rceil\}, where ρ(G)=max{e(G[S])S/2SV}\rho(G)=\max \{\frac {e(G[S])}{\lfloor |S|/2\rfloor} \mid S\subseteq V \}. We show that their conjecture (in a stronger form) is true for random multigraphs. Let M(n,m)M(n,m) be the probability space consisting of all loopless multigraphs with nn vertices and mm edges, in which mm pairs from [n][n] are chosen independently at random with repetitions. Our result states that, for a given m:=m(n)m:=m(n), MM(n,m)M\sim M(n,m) typically satisfies χ(G)=max{Δ(G),ρ(G)}\chi'(G)=\max\{\Delta(G),\lceil\rho(G)\rceil\}. In particular, we show that if nn is even and m:=m(n)m:=m(n), then χ(M)=Δ(M)\chi'(M)=\Delta(M) for a typical MM(n,m)M\sim M(n,m). Furthermore, for a fixed ε>0\varepsilon>0, if nn is odd, then a typical MM(n,m)M\sim M(n,m) has χ(M)=Δ(M)\chi'(M)=\Delta(M) for m(1ε)n3lognm\leq (1-\varepsilon)n^3\log n, and χ(M)=ρ(M)\chi'(M)=\lceil\rho(M)\rceil for m(1+ε)n3lognm\geq (1+\varepsilon)n^3\log n.

Keywords

Cite

@article{arxiv.1803.00908,
  title  = {Goldberg's Conjecture is true for random multigraphs},
  author = {Penny Haxell and Michael Krivelevich and Gal Kronenberg},
  journal= {arXiv preprint arXiv:1803.00908},
  year   = {2019}
}

Comments

26 pages

R2 v1 2026-06-23T00:39:37.307Z