arXiv++ Combinatorics

The theory of submodular flows, introduced by Edmonds and Giles, is a cornerstone of combinatorial optimization, unifying network flows, matroid intersections and directed cut coverings. In this paper, we establish a measurable-space version of this framework, addressing the structural existence and duality questions raised as part of Problem~10.6 by Lovász in \textit{Submodular setfunctions on sigma-algebras, version 2}. We develop a theory of submodular flows on standard Borel spaces and establish the measurable analogues of the existence and optimality theorems. Furthermore, we introduce a measurable notion of the residual graph and characterize extreme flows by combining a base-polytope intersection condition with an acyclicity condition for the measurable residual graph, generalizing the discrete geometric intuition to the infinite-dimensional setting. Finally, we apply the theory to constrained supply-demand problems on measurable bipartite graphs and to fractional measurable orientations.

We study the extremality properties of rays generated by tautological Chern classes of matroids in the polyhedral nef cones of the permutohedral variety. Our main result provides necessary and sufficient conditions a matroid has to meet for its tautological Chern classes to generate extremal rays. Our approach yields a new and large family of extremal rays that interpolates between two previously known classes coming from rank functions and Bergman classes of matroids. We further discuss how this theorem extends to the stellahedral variety through augmented tautological Chern classes.

We define almost affine vector rank-metric codes as subsets $\mathcal{C}\subseteq \mathbb{F}_{q^m}^n$ whose canonical projections have cardinalities that are powers of $q^m$, and prove that they naturally induce $q$-matroids. We establish that the operations of puncturing and shortening correspond to restriction and contraction of the $q$-matroid, and show that the rank-weight and formal dual distance distributions are determined by the induced $q$-matroid. We briefly discuss applications to perfect $q$-matroid ports in linear network coding, and show that disconnected $q$-matroids need not induce disconnected ports. Finally, we show that certain Additive Generalized Twisted Gabidulin codes yield direct examples of strictly almost affine rank-metric codes, alongside a separate construction derived from proper finite semifields.

We introduce and study dual Chow functions associated to kernels in incidence algebras of weakly ranked posets. Given a kernel, its dual Chow function is defined as the Chow function associated to the sign-twisted reverse kernel. For kernels satisfying a natural skew-symmetry condition, such as the Eulerian kernel of an Eulerian poset or the kernel given by R-polynomials on Bruhat intervals, this construction recovers the ordinary Chow function. In contrast, when this skew-symmetry fails, the dual Chow function gives a genuinely different invariant. The main example considered in this paper is the dual Chow function associated to the characteristic function. We develop the basic theory of these dual Chow functions, with particular emphasis on posets arising from matroids. We prove chain formulas, unimodality and gamma-positivity results, formulas under standard poset operations, and deletion formulas for matroids. Along the way, we also obtain a general deletion formula for the ab-index of matroids, which leads to new formulas for extended ab-indices and, in turn, specializes to several deletion formulas appearing in the literature.

We study generic $d$-dimensional rigidity in sparse random graphs. Our main result is that for every $d\ge 2$, the Erdős--Rényi random graph $G\sim G(n,c/n)$ undergoes a $d$-rigidity phase transition at the known, explicit, $d$-orientability threshold $c_d$: If $c<c_d$, then $G$ is asymptotically almost surely (a.a.s.) independent in the generic $d$-rigidity matroid. Moreover, in this regime $G$ has no linear-size rigidity components: it contains no induced $d$-rigid subgraphs with more than $3$ vertices, and the largest clique in its $d$-rigidity closure has size at most $o(\sqrt n)$. If $c>c_d$, then the $d$-rigidity closure of $G$ a.a.s. has a giant clique of linear size, which contains all but at most $o(n)$ vertices of the $((d+1)+d)$-core of the graph. We also give a sharp asymptotic estimate for the generic $d$-rigidity rank of $G$ in the supercritical regime. More generally, we compute, up to a $1+o(1)$ factor, the generic $d$-rigidity rank of random graphs with a given degree distribution. For example, we show that the uniform $n$-vertex $k$-regular graph a.a.s. has rank $\min(k/2,d)n+o(n).$ Our approach is to estimate the rigidity rank of a random graph from its Galton--Watson local weak limit, using a parameter that we call {\em local flexibility}.

Motivated by Kontsevich's graph complexes, this paper gives a systematic study of matroid complexes. We construct deletion and contraction bicomplexes on the vector space spanned by matroid classes equipped with ground-set orientations, organizing the several naturally arising variants into a single unified framework. We show that direct sum and restriction-contraction make this space into a connected graded Hopf algebra extending Schmitt's matroid Hopf algebra, and use the resulting dg-algebra structure to prove broad acyclicity results. We compute the total, simple, loopless, regular, binary, and ternary matroid complexes through ground-set size $9$, and the connected quotient of the simple loopless regular complex through ground-set size $15$. These computations detect nontrivial homology and lead to a conjectural description in terms of odd-wheel matroids.

The aim of this paper is to develop a $(q,m)$-polymatroidal approach to higher supports and higher rank-weight enumerators of rank-metric codes. In this framework, we establish analogs of several fundamental results known for matroids and linear codes, including the description of minimal supports in terms of cocircuits of truncations and a Greene-type identity relating higher rank-weight enumerators to rank generating functions. We also show that the associated $(q,m)$-polymatroid and the higher support distributions determine each other. As a further application, we derive MacWilliams-type identities for higher rank-weight enumerators.

Let $M$ be a matroid on a finite ground set $E$, and suppose that the automorphism group of $M$ acts transitively on $E$. We show the following: if $X_1,\ldots,X_K$ are sampled independently from a distribution $p$ on $E$, then the probability that the samples are distinct and that $\{X_1,\ldots,X_K\}$ is an independent set in $M$ is quasi-concave in $p$ and maximized when $p$ is uniform. As a corollary, for a random $K\times N$ matrix over a finite field whose rows are sampled independently from an arbitrary distribution on nonzero projective row classes, the uniform distribution on projective space maximizes the probability of full row rank. In this particular case we also establish the uniqueness of the maximizer and global quadratic stability, while a simple example illustrates that uniqueness and stability need not hold for arbitrary transitive matroids.

We prove that every 0/1-polytope has a unique Minkowski decomposition into indecomposable polytopes, up to translation of summands. The summands lie in pairwise orthogonal subspaces. Thus, every 0/1-polytope is the Cartesian product of indecomposable 0/1-polytopes. As applications, we obtain uniform combinatorial indecomposability criteria for order and chain polytopes, matroid polytopes, stable set and clique polytopes, edge polytopes, flow polytopes, and 2-level/compressed polytopes. We also show that every nontrivial factorization of a multi-affine polynomial is a product of multi-affine polynomials in disjoint sets of variables.

We prove that all lattice path matroids are Ehrhart positive. This unifies and generalizes numerous results on the Ehrhart positivity of matroids developed over the last two decades. We rely on our previous work on the positivity of order polynomials of fences. Our main result supports the conjecture by Ferroni, Jochemko, and Schröter (2022) on the Ehrhart positivity of positroids. Furthermore, our main result implies that all Schubert matroids are Ehrhart positive, which thus settles a conjecture by Fan and Li (2024), and supports a conjecture by Monical, Tokcan, and Yong (2019) on the Ehrhart positivity of Schubitopes.

We define a matroid invariant called the three-cosystole that is related to higher notions of cogirth for weighted matroids, and we prove an optimal upper bound for it in the class of regular matroids of rank at most six. To accomplish this, we show that it is increasing under matroid extensions and then estimate it for each of the maximal simple regular matroids of rank at most six.

A linearly constrained framework in $\mathbb{R}^d$ is a bar-joint framework where, in addition, vertices with loops are constrained to lie in given affine subspaces. In the generic case, when each vertex is incident to sufficiently many loops, a characterisation of rigidity was obtained by Jackson, Nixon and Tanigawa for all $d\geq 3$. By extending this to characterise the rank function of the linearly constrained rigidity matroid (under the same loop hypothesis), sufficient conditions for a looped simple graph to be (globally) rigid in $\mathbb{R}^d$ are obtained. In the 2-dimensional case generic rigidity was characterised by Streinu and Theran, and we obtain a sharper sufficient condition in this case. A key technique is the application of the discharging method.

Multilinear representability extends classical linear representability of matroids by assigning subspaces, rather than vectors, to ground elements. This notion is closely related to almost affine codes. In this paper, we introduce and study a $q$-analogue of multilinear representability for $q$-matroids, motivated by known connections between $q$-matroids, classical matroids, and rank-metric codes. We define $m$-multilinear representability in terms of almost affine matrix rank-metric codes satisfying a natural divisibility condition. We prove that nontrivial uniform $q$-matroids admit no purely multilinear representations, and we derive necessary conditions for multilinear representations of almost uniform $q$-matroids. We further show that the non-Pappus $q$-matroid, if multilinearly representable, must have block size at least $9$. Finally, we prove that no rank-$2$ $q$-matroid on $\mathbb{F}_2^4$ admits a purely $m$-multilinear representation for $1<m<4$, and we classify pure multilinearity for all $q$-matroids on $\mathbb{F}_2^3$ and $\mathbb{F}_2^4$ in the corresponding ranges. At present, no example is known of a purely multilinear $q$-matroid.

For an $n$-element matroid $M$ given by an $n \times n$ matrix representation over a finite field $\mathbb F$ and an integer $k$, we present an $(O_{k,\mathbb F}(n^2)+O(n^ω))$-time algorithm that either finds a branch-decomposition of $M$ of width at most $k$, or confirms that the branch-width of $M$ is more than $k$, where $ω< 2.3714$ is the matrix multiplication exponent, and the $O_{k,\mathbb F}(\cdot)$-notation hides factors that depend on $k$ and $\mathbb F$ in a computable manner. All previous algorithms including Hliněný and Oum [SIAM J. Comput. (2008)] and Jeong, Kim, and Oum [SIAM J. Discrete Math. (2021)] run in at least $Ω(n^3)$ time. Moreover, if the input matrix representation is given by a standard form, our algorithm runs in $O_{k,\mathbb F}(n^2)$-time, since $O(n^ω)$-time is only needed for finding a standard form of the input matrix. When $M$ is given by an $m \times n$ matrix, the overhead for finding a standard form is $O(mn \min(m,n)^{ω-2})$. As corollaries, we obtain faster algorithms for rank-width of directed graphs and path-width of matroids represented over a fixed finite field. Furthermore, we also present an approximation algorithm for finding branch-width that works on infinite fields provided that the input matrix is of a standard form and contains a bounded number of distinct values of entries. To suggest that our algorithm is optimal, we observe that for every field $\mathbb F$, deciding whether the branch-width of a matroid represented over $\mathbb F$ is $0$ is as hard as deciding whether a square matrix over $\mathbb F$ is singular. Under the assumption that singularity testing requires $Ω(n^ω)$-time, this implies that the overhead of $O(n^ω)$ is unavoidable. We also show strengthenings of this observation to rule out some approximations under this assumption.

The theory of log concave polynomials has recently been developed to study objects and problems in combinatorics and other subfields in mathematics. Particular classes of log concave polynomials called Lorentzian polynomials and denormalized and dually Lorentzian polynomials have been used to prove log concavity statements for various combinatorial sequences. This includes the strongest form of Mason's log concavity conjecture on the independent sets of matroids and the log concavity of sequences of Kostka numbers. In this paper, we develop an analogous class of power series called denormalized Lorentzian (DL) Laurent series. This class is the natural generalization of DL polynomials to homogeneous power series with the benefit of capturing a number of combinatorial generating series including the Kostant partition function for integer flows of directed graphs. We then analyze specific DL Laurent series to obtain new bounds for integral flows on general directed acyclic graphs and new bounds for the dimensions of weight spaces of parabolic $\mathfrak{sl}_{n+1}(\mathbb{C})$ Verma modules.

A matroid M is unbreakable if it is connected and M/F is connected for every flat F of M . Oxley and Pfeil characterized the unbreakable graphic matroids, and Fife, Mayhew, Oxley, and Semple characterized the graphs underlying 3-connected unbreakable frame matroids. We extend the latter result by giving a complete characterization of the 3-connected unbreakable quasi-graphic matroids. As a special case we obtain a characterization of the 3-connected lifted-graphic matroids.

We give explicit recursive constructions for the polytope of all matroids $Ω_{r,n}$ in ranks 2 and 3 for all ground set sizes. This polytope was introduced in recent work by Ferroni and Fink as a tool for checking positivity conjectures for valuative invariants. We supplement our theoretical construction by an implementation, which allows for the computation of $Ω_{2,n}$ for $n\leq 33$ and $Ω_{3,n}$ for $n\leq 10$. Further, we compute Schubert expansions for all isomorphism classes of matroids of rank $2$ up to $n = 80$, and for rank $3$ up to $n = 11$.

The Mayhew--Newman--Welsh--Whittle conjecture predicts that asymptotically almost all matroids are sparse paving. We study the gap between paving and sparse paving matroids at the logarithmic scale. Let \(p_n\) be the number of paving matroids on \([n]\), let \(sp_n\) be the number of sparse paving matroids on \([n]\), and let \(sp_{n,r}\) be the number of rank-\(r\) sparse paving matroids on \([n]\). We prove that \[ p_n-sp_n\ge sp_{n,\lfloor n/2\rfloor}^{1-o(1)}. \] Thus the paving matroids that are not sparse paving are themselves logarithmically large. The construction prescribes one hyperplane larger than the rank and then counts stable sets in an induced subgraph of a Johnson graph. We also give amplified versions obtained by varying the large hyperplane and by prescribing distance-six families of large hyperplanes.

In this paper, we provide a simple criterion for the Schubitope $\mathcal{S}_{D}$ associated to a diagram $D$ to be lattice-free. We further show that $\mathcal{S}_{D}$ is lattice-free if and only if its Ehrhart polynomial is equal to the product of Ehrhart polynomials of the Schubert matroid polytopes corresponding to each column of $D$. As applications, we obtain that the Newton polytopes of the Schubert polynomial $\mathfrak{S}_w(x)$ and the Grothendieck polynomial $\mathfrak{G}_w(x)$ are lattice-free if and only if $w$ avoids the patterns 1423, 1432, 13254, and confirm several conjectures by Mészáros, Setiabrata, and St.Dizier on the support of Grothendieck polynomials for this class of permutations.

Grothendieck weights, introduced by Shah, are $K$-theoretic analogues of Minkowski weights on smooth toric varieties. We study Grothendieck weights on the permutohedral fan and prove two main results: a $K$-balancing condition that characterizes Grothendieck weights by a finite system of linear equations, and an explicit product rule for the ring structure. We apply this framework to matroids, giving a combinatorial characterization of Grothendieck weights on matroidal fans. As the main application, we compute the motivic Chern class of the hyperplane arrangement complement in its wonderful compactification and show that the result depends only on the matroid, not on the realization. This allows us to extend the definition of the motivic Chern class to all loopless matroids.