Matroid products via submodular coupling

Bérczi, Kristóf, Gehér, Boglárka, Imolay, András, Lovász, László, Maga, Balázs and Schwarcz, Tamás (2025) Matroid products via submodular coupling. In: Koucký, Michal and Bansal, Nikhil, (eds.) STOC '25: Proceedings of the 57th Annual ACM Symposium on Theory of Computing. Proceedings of the Annual ACM Symposium on Theory of Computing (57). Association for Computing Machinery, New York, NY, 2074 - 2085. ISBN 9798400715105

Text (3717823.3718152) - Published Version Available under License Creative Commons Attribution. Download (744kB)

Abstract

The study of matroid products traces back to the 1970s, when Lovász and Mason studied the existence of various types of matroid products with different strengths. Among these, the tensor product is arguably the most important, which can be considered as an extension of the tensor product from linear algebra. However, Las Vergnas showed that the tensor product of two matroids does not always exist. Over the following four decades, matroid products remained surprisingly underexplored, regaining attention only in recent years due to applications in tropical geometry, information theory, and the limit theory of matroids. In this paper, inspired by the concept of coupling in probability theory, we introduce the notion of coupling for matroids – or, more generally, for submodular set functions. This operation can be viewed as a relaxation of the tensor product. Unlike the tensor product, however, we prove that a coupling always exists for any two submodular functions and can be chosen to be increasing if the original functions are increasing. As a corollary, we show that two matroids always admit a matroid coupling, leading to a novel operation on matroids. Our construction is algorithmic, providing an oracle for the coupling matroid through a polynomial number of oracle calls to the original matroids. We apply this construction to derive new necessary conditions for matroid representability and establish connection between tensor products and Ingleton’s inequality. In addition, we verify the existence of set functions that are universal with respect to a given property, meaning any set function over a finite domain with that property can be obtained as a quotient.

Item Type:	Book Section
Additional Information:	© 2025 Copyright held by the owner/author(s)
Divisions:	Mathematics
Subjects:	Q Science > QA Mathematics
Date Deposited:	03 Jul 2025 08:06
Last Modified:	03 Jul 2025 08:06
URI:	http://eprints.lse.ac.uk/id/eprint/128619

Actions (login required)

View Item