The direct-sum extremality conjecture for matroids

Let M1,…,Ms\mathsf{M}_1,\ldots,\mathsf{M}_s be matroids, and let M1⊕⋯⊕Ms\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 M1⊕⋯⊕Ms\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.

References

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.