Approximation Algorithms for Matroid-Intersection Coloring with Applications to Rota's Basis Conjecture

2026-04-04

AI Summary

This work addresses the coloring problem for the intersection of multiple matroids: assigning colors to elements such that each color class is independent in all $k$ given matroids, while minimizing the number of colors used. We present the first polynomial-time approximation algorithm whose approximation ratio depends solely on the number $k$ of matroids and is independent of the ground set size $n$. The key innovation lies in introducing a “flexible decomposition” framework that reduces the problem to graph coloring, thereby circumventing non-constructive topological arguments. Specifically, we achieve a tight 2-approximation for two matroids, obtain a $(k^2 - k)\chi_{\max}$-coloring for general $k$ matroids, and provide the first constructive polynomial-time algorithm for the asymptotic version of Rota’s basis conjecture.

Abstract

We study algorithmic matroid intersection coloring. Given $k$ matroids on a common ground set $U$ of $n$ elements, the goal is to partition $U$ into the fewest number of color classes, where each color class is independent in all matroids. It is known that $2χ_{\max}$ colors suffice to color the intersection of two matroids, $(2k-1)χ_{\max}$ colors suffice for general $k$, where $χ_{\max}$ is the maximum chromatic number of the individual matroids. However, these results are non-constructive, leveraging techniques such as topological Hall's theorem and Sperner's Lemma. We provide the first polynomial-time algorithms to color two or more general matroids where the approximation ratio depends only on $k$ and, in particular, is independent of $n$. For two matroids, we constructively match the $2χ_{\max}$ existential bound, yielding a 2-approximation for the Matroid Intersection Coloring problem. For $k$ matroids we achieve a $(k^2-k)χ_{\max}$ coloring, which is the first $O(1)$-approximation for constant $k$. Our approach introduces a novel matroidal structure we call a \emph{flexible decomposition}. We use this to formally reduce general matroid intersection coloring to graph coloring while avoiding the limitations of partition reduction techniques, and without relying on non-constructive topological machinery. Furthermore, we give a \emph{fully polynomial randomized approximation scheme} (FPRAS) for coloring the intersection of two matroids when $χ_{\max}$ is large. This yields the first polynomial-time constructive algorithm for an asymptotic variant of Rota's Basis Conjecture. This constructivizes Montgomery and Sauermann's recent asymptotic breakthrough and generalizes it to arbitrary matroids.

Problem

• matroid intersection coloring
• approximation algorithms
• Rota's Basis Conjecture
• chromatic number
• polynomial-time algorithm

Innovation

• matroid intersection coloring
• approximation algorithm
• flexible decomposition
• FPRAS
• Rota's Basis Conjecture