The direct-sum extremality conjecture for matroids

Let M1,,Ms\mathsf{M}_1,\ldots,\mathsf{M}_s be matroids, and let M1Ms\mathsf{M}_1\oplus\cdots\oplus\mathsf{M}_s denote their direct sum. A matroid is extremal if its associated point is an extremal point of the matroid polytope under consideration.

Direct-sum extremality conjecture. If M1,,Ms\mathsf{M}_1,\ldots,\mathsf{M}_s are extremal matroids, then M1Ms\mathsf{M}_1\oplus\cdots\oplus\mathsf{M}_s is extremal.

The preceding theorem proves the converse implication: an extremal direct sum has extremal direct summands. The source describes this converse as subtle, and no resolution is supplied here.

Sources & referencesView supporting material

Primary source

Luis Ferroni and Alex Fink, “The polytope of all matroids”, arXiv:2502.20157 (2025).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.