List colouring of two matroids through reduction to partition matroids

In the list colouring problem for two matroids, we are given matroids $M_1=(S,\mathcal{I}_1)$ and $M_2=(S,\mathcal{I}_2)$ on the same ground set $S$, and the goal is to determine the smallest number $k$ such that given arbitrary lists $L_s$ of $k$ colours for $s\in S$, it is possible to choose a colour from each list so that every monochromatic set is independent in both $M_1$ and $M_2$. When both $M_1$ and $M_2$ are partition matroids, Galvin's celebrated list colouring theorem for bipartite graphs gives the answer. One of the main open questions is to decide if there exists a constant $c$ such that if the colouring number is $k$ (i.e., the ground set can be partitioned into $k$ independent sets), then the list colouring number is at most $c\cdot k$. In the present paper, we consider matroid classes that appear naturally in combinatorial and graph optimization problems, namely graphic matroids, paving matroids and gammoids. We show that if both matroids are from these fundamental classes, then the list colouring number is at most twice the colouring number. The proof is based on a novel approach that reduces a matroid to a partition matroid, and might be of independent combinatorial interest. In particular, we show that if $M=(S,\mathcal{I})$ is a matroid in which $S$ can be partitioned into $k$ independent sets, then there exists a partition matroid $N=(S,\mathcal{J})$ with $\mathcal{J}\subseteq\mathcal{I}$ in which $S$ can be partitioned into (A) $\lceil kr/(r-1)\rceil$ independent sets if $M$ is a paving matroid of rank $r$, (B) $2k-1$ independent sets if $M$ is a graphic matroid, (C) $k$ independent sets if $M$ is a transversal matroid, and (D) $2k-2$ independent sets if $M$ is a gammoid. We also show how the reduction technique can be extended to strongly base orderable matroids that might serve as a useful tool in problems related to packing bases of two matroids.

[1]  Colin McDiarmid,et al.  Disjoint Common Transversals and Exchange Structures , 1976 .

[2]  Daniel Kotlar,et al.  On partitioning two matroids into common independent subsets , 2005, Discret. Math..

[3]  Juris Hartmanis,et al.  Lattice Theory of Generalized Partitions , 1959, Canadian Journal of Mathematics.

[4]  Douglas R. Woodall,et al.  Menger and könig systems , 1978 .

[5]  C. Nash-Williams Decomposition of Finite Graphs Into Forests , 1964 .

[6]  A. Ingleton,et al.  Gammoids and transversal matroids , 1973 .

[7]  L. Lovász A generalization of Kónig's theorem , 1970 .

[8]  Rudi Pendavingh,et al.  On the Number of Matroids Compared to the Number of Sparse Paving Matroids , 2014, Electron. J. Comb..

[9]  H. Whitney On the Abstract Properties of Linear Dependence , 1935 .

[10]  D. R. Fulkerson,et al.  On edge-disjoint branchings , 1976, Networks.

[11]  Jack Edmonds,et al.  Submodular Functions, Matroids, and Certain Polyhedra , 2001, Combinatorial Optimization.

[12]  Paul D. Seymour A Note on List Arboricity , 1998, J. Comb. Theory, Ser. B.

[13]  A. Schrijver,et al.  On Packing Connectors , 1998, J. Comb. Theory, Ser. B.

[14]  D. Lucas,et al.  Weak maps of combinatorial geometries , 1975 .

[15]  D. R. Fulkerson,et al.  Transversals and Matroid Partition , 1965 .

[16]  Kenjiro Takazawa,et al.  A generalized-polymatroid approach to disjoint common independent sets in two matroids , 2019, Discret. Math..

[17]  A. Frank Connections in Combinatorial Optimization , 2011 .

[18]  H. Crapo,et al.  A catalogue of combinatorial geometries , 1973 .

[19]  Dillon Mayhew,et al.  On the asymptotic proportion of connected matroids , 2011, Eur. J. Comb..

[20]  Tommy R. Jensen,et al.  Graph Coloring Problems , 1994 .

[21]  Michal Lason,et al.  List coloring of matroids and base exchange properties , 2014, Eur. J. Comb..

[22]  Ron Aharoni,et al.  The intersection of a matroid and a simplicial complex , 2006 .

[23]  Fred Galvin,et al.  The List Chromatic Index of a Bipartite Multigraph , 1995, J. Comb. Theory B.

[24]  D. König Über Graphen und ihre Anwendung auf Determinantentheorie und Mengenlehre , 1916 .

[25]  Emeric Gioan,et al.  Combinatorial geometries: Matroids, oriented matroids and applications. Special issue in memory of Michel Las Vergnas , 2015, Eur. J. Comb..

[26]  V. G. Vizing The chromatic class of a multigraph , 1965 .

[27]  D. de Werra,et al.  Graph Coloring Problems , 2013 .

[28]  Kirk Pruhs,et al.  The matroid intersection cover problem , 2021, Oper. Res. Lett..

[29]  D. Lucas Properties of rank preserving weak maps , 1974 .

[30]  P. Hall On Representatives of Subsets , 1935 .

[31]  G. Rota,et al.  On The Foundations of Combinatorial Theory: Combinatorial Geometries , 1970 .

[32]  Gian-Carlo Rota,et al.  On the relations of various conjectures on Latin squares and straightening coefficients , 1994, Discret. Math..

[33]  Kristóf Bérczi,et al.  Complexity of packing common bases in matroids , 2019, Math. Program..

[34]  Hirokazu Nishimura,et al.  A lost mathematician, Takeo Nakasawa : the forgotten father of matroid theory , 2009 .