arXiv++ Combinatorics

We show that if the ground set of a matroid can be partitioned into $k\ge 2$ bases, then for any given subset $S$ of the ground set, there is a partition into $k$ bases such that the sizes of the intersections of the bases with $S$ may differ by at most one. This settles the matroid equitability conjecture by Fekete and Szabó (Electron. J. Comb. 2011) in the affirmative. We also investigate equitable splittings of two disjoint sets $S_1$ and $S_2$, and show that there is a partition into $k$ bases such that the sizes of the intersections with $S_1$ may differ by at most one and the sizes of the intersections with $S_2$ may differ by at most two; this is the best one can hope for arbitrary matroids. We also derive applications of this result into matroid constrained fair division problems. We show that there exists a matroid-constrained fair division that is envy-free up to one item if the valuations are identical and tri-valued additive. We also show that for bi-valued additive valuations, there exists a matroid-constrained allocation that provides everyone their maximin share.

Let $μ$ be a measure that samples a subset of a finite ground set, and let $\mathcal{A}_e$ be the event that element $e$ is sampled. The measure $μ$ is negatively correlated if for any pair of elements $e, f$ one has $μ(\mathcal{A}_e \cap \mathcal{A}_f) - μ(\mathcal{A}_e) μ(\mathcal{A}_f) \leq 0$. A measure is positively correlated if the direction of the inequality is reversed. For the random cluster model on graphs positive correlation between edges is known for $q \geq 1$ due to the FKG inequality, while the negative correlation is only conjectured for $0 \leq q \leq 1$. The main result of this paper is to give a combinatorial formula for the difference in question at $q=1$. Previously, such a formula was known in the uniform spanning tree case, which is a limit of the random cluster model at $q=0$.

We introduce a new matroid (graph) invariant, the arboricity polynomial. Given a matroid, the arboricity polynomial enumerates the number of covers of the ground set by disjoint independent sets. We establish the polynomiality of the counting function as a special case of a scheduling polynomial, i.e. both in terms of quasisymmetric functions and via Ehrhart theory of the normal fan of the matroid base polytope. We show basic properties of the polynomial and demonstrate that it is not a Tutte invariant. Namely, the arboricity polynomial does not satisfy a contraction / deletion recursion.

Frankl's conjecture, also known as the union-closed sets conjecture, can be equivalently expressed in terms of intersection-closed set families by considering the complements of sets. It posits that any family of sets closed under intersections, and containing both the ground set and the empty set, must have a ``rare vertex'' -- a vertex belonging to at most half of the members of the family. The concept of \emph{average rarity} describes a set family where the average degree of all the elements is at most half of the number of its members. Average rarity is a stronger property that implies the existence of a rare vertex. This paper focuses on ideal families, which are set families that are downward-closed (except the ground set) and include the ground set. We present a proof that the normalized degree sum of any ideal family is non-positive, which is equivalent to saying that every ideal family satisfies the average rarity condition. This proof is formalized and verified using the Lean 4 theorem prover.

The combinatorial discrepancy of arithmetic progressions inside $[N] := \{1, \ldots, N\}$ is the smallest integer $D$ for which $[N]$ can be colored with two colors so that any arithmetic progression in $[N]$ contains at most $D$ more elements from one color class than the other. Bounding the discrepancy of such set systems is a classical problem in discrepancy theory. More recently, this problem was generalized to arithmetic progressions in grids like $[N]^d$ (Valk{ó}) and $[N_1]\times \ldots \times [N_d]$ (Fox, Xu, and Zhou). In the latter setting, Fox, Xu, and Zhou gave upper and lower bounds on the discrepancy that match within a $\frac{\log |Ω|}{\log \log |Ω|}$ factor, where $Ω:= [N_1]\times \ldots \times [N_d]$ is the ground set. In this work, we use the connection between factorization norms and discrepancy to improve their upper bound to be within a $\sqrt{\log|Ω|}$ factor from the lower bound. We also generalize Fox, Xu, and Zhou's lower bound, and our upper bounds to arithmetic progressions in arbitrary convex bodies.

Determining the maximum number of edges in an intersecting hypergraph on a fixed ground set under additional constraints is one of the central topics in extremal combinatorics. In contrast, there are few results on analogous problems concerning the maximum order of such hypergraphs. In this paper, we systematically study these vertex analogues.

Given a finite poset $\mathcal P$, we say that a family $\mathcal F$ of subsets of $[n]$ is $\mathcal P$-saturated if $\mathcal F$ does not contain an induced copy of $\mathcal P$, but adding any other set to $\mathcal F$ creates an induced copy of $\mathcal P$. The saturation number of $\mathcal P$ is the size of the smallest $\mathcal P$-saturated family with ground set $[n]$. The saturation number for posets is known to exhibit a dichotomy: it is either bounded or it has at least $\sqrt n$ rate of growth. Determining which posets have bounded saturation number is a major open problem. In this paper we consider a `gluing' operation, formed from two finite posets $\mathcal P$ and $\mathcal Q$ by setting all elements of $\mathcal P$ to be below all elements of $\mathcal Q$. We show that (under some mild assumptions) this operation preserves bounded and unbounded saturation number. This is the first such `new from old' poset construction to be found. As an application, we show that for any poset $\mathcal P$ one may add at most 3 elements to $\mathcal P$ to obtain a poset whose saturation number growth is at most linear: this may be viewed as a step towards the other major open problem in the area, namely the conjecture that every finite poset has this growth at most linear. We also consider the poset equivalent of weak saturation for graphs: for each finite poset $\mathcal P$, we determine exactly the minimum size of a percolating family for $\mathcal P$.

In this article, we investigate the multi-parametric matroid problem. The weights of the elements of the matroid's ground set depend linearly on an arbitrary but fixed number of parameters, each of which is taken from a real interval. The goal is to compute a minimum weight basis for each possible combination of the parameters. For this problem, we propose an algorithm that requires a polynomial number of independence tests and discuss two useful applications. First, the algorithm can be applied to solve a multi-parametric version of a special matroid interdiction problem, and second, it can be utilized to compute the weight set decomposition of the multi-objective (graphic) matroid problem. For the latter, we asymptotically improve the current state-of-the-art algorithm by a factor that is almost proportional to the number of edges of the graphic matroid.

We study tropical subrepresentations of the Boolean regular representation $\mathbb{B}[G]$ of a finite group $G$. These are equivalent to the matroids on ground set $G$ for which left-multiplication by each element of $G$ is a matroid automorphism. We completely classify the tropical subrepresentations of $\mathbb{B}[G]$ for rank 3. When $G$ is an abelian group, our approach can be seen as a generalization of Golomb rulers. In doing so, we also introduce an interesting class of matroids obtained from equivalence relations on finite sets.

A new connection between two different necessary conditions for a polymatroid to be linearly representable is presented. Specifically, we prove that the existence of a tensor product with the uniform matroid of rank two on three elements implies the existence of a common information extension for every pair of subsets of the ground set.

Given two finite matroids on the same ground set, a celebrated result of Edmonds says that the ground set can be partitioned into two disjoint subsets in a manner that there is a common independent set in both matroids whose intersection with the first subset spans that subset in the first matroid, and whose intersection with the second subset spans that subset in the second matroid. There is a longstanding conjecture regarding the situation of two matroids defined on the same infinite ground set. Infinite matroids were only recently axiomatized in the early 2010s in the work of Bruhn et al., while the conjecture had been proposed during the 1990s for the class of structures that are now called finitary matroids, which are matroids all of whose circuits are finite sets. The packing/covering conjecture, due to Bowler and Carmesin, is a related conjecture in the sense that it is true in the class of all matroids if and only if the matroid intersection conjecture is true in the class of all matroids. Given any family of matroids on the same ground set, the conjecture asks if it is possible to partition the ground set into two disjoint subsets in a way such that the corresponding family of matroids restricted to the first subset admits a packing while the family of matroids contracted to the second subset admits a covering. We prove both of these conjectures in the class of finitary matroids. Our main tool is nonstandard analysis, specifically the technique of iterated nonstandard extensions. Roughly, we first embed any infinite matroid inside a hyperfinite matroid defined on a subset of the nonstandard extension of the original ground set, and we iteratively nonstandardly extend the hyperfinite structure again in order to prove results in the internal universe that can be directly transferred to obtain results about the matroid(s) we started with.

The Union-Closed Sets Conjecture, also known as Frankl's conjecture, asks whether, for any union-closed set family $\mathcal{F}$ with $m$ sets, there is an element that lies in at least $\frac{1}{2}\cdot m$ sets in $\mathcal{F}$. In 2022, Nagel posed a stronger conjecture that within any union-closed family whose ground set size is at least $k$, there are always $k$ elements in the ground set that appear in at least $\frac{1}{2^{k-1}+1}$ proportion of the sets in the family. Das and Wu showed that this conjecture is true for $k\geq 3$ and $k=2$ if $|\mathcal{F}|$ is outside a particular range. In this companion paper, we analyse further when $\mathcal{F}$ fails Nagel's conjecture for $k=2$ via linear programming.

In this paper, we present new objects, quilts of alternating sign matrices with respect to two given posets. Quilts generalize several commonly used concepts in mathematics. For example, the rank function on submatrices of a matrix gives rise to a quilt with respect to two Boolean lattices. When the two posets are chains, a quilt is equivalent to an alternating sign matrix and its corresponding corner sum matrix. Quilts also generalize the monotone Boolean functions counted by the Dedekind numbers. Quilts form a distributive lattice with many beautiful properties and contain many classical and well-known sublattices, such as the lattice of matroids of a given rank and ground set. While enumerating quilts is hard in general, we prove two major enumerative results, when one of the posets is an antichain and when one of them is a chain. We also give some bounds for the number of quilts when one poset is the Boolean lattice.

Given a connected graph $G=(V,E)$ and a crossing family $\mathcal{C}$ over ground set $V$ such that $|δ_G(U)|\geq 2$ for every $U\in \mathcal{C}$, we prove there exists a strong orientation of $G$ for $\mathcal{C}$, i.e., an orientation of $G$ such that each set in $\mathcal{C}$ has at least one outgoing and at least one incoming arc. This implies the main conjecture in Chudnovsky et al. (Disjoint dijoins. Journal of Combinatorial Theory, Series B, 120:18--35, 2016). In particular, in every minimal counterexample to the Edmonds-Giles conjecture where the minimum weight of a dicut is $2$, the arcs of nonzero weight must be disconnected.

Consider a matroid $M$ whose ground set is equipped with a labeling to an abelian group. A basis of $M$ is called $F$-avoiding if the sum of the labels of its elements is not in a forbidden label set $F$. Hörsch, Imolay, Mizutani, Oki, and Schwarcz (2024) conjectured that if an $F$-avoiding basis exists, then any basis can be transformed into an $F$-avoiding basis by exchanging at most $|F|$ elements. This proximity conjecture is known to hold for certain specific groups; in the case where $|F| \le 2$; or when the matroid is subsequence-interchangeably base orderable (SIBO), which is a weakening of the so-called strongly base orderable (SBO) property. In this paper, we settle the proximity conjecture for sparse paving matroids or in the case where $|F| \le 4$. Related to the latter result, we present the first known example of a non-SIBO matroid. We further address the setting of multiple group-label constraints, showing proximity results for the cases of two labelings, SIBO matroids, matroids representable over a fixed, finite field, and sparse paving matroids.

There is a long list of open questions rooted in the same underlying problem: understanding the structure of bases or common bases of matroids. These conjectures suggest that matroids may possess much stronger structural properties than are currently known. One example is related to cyclic orderings of matroids. A rank-$r$ matroid is called cyclically orderable if its ground set admits a cyclic ordering such that any interval of $r$ consecutive elements forms a basis. In this paper, we show that if the ground set of a split matroid decomposes into pairwise disjoint bases, then it is cyclically orderable. This result answers a conjecture of Kajitani, Ueno, and Miyano in a special case, and also strengthens Gabow's conjecture for this class of matroids. Our proof is algorithmic, hence it provides a procedure for determining a cyclic ordering in question using a polynomial number of independence oracle calls.

Generalizing a theorem of the first two authors and Geelen for planes, we show that, for a real-representable matroid $M$, either the average hyperplane-size in $M$ is at most a constant depending only on its rank, or each hyperplane of $M$ contains one of a set of at most $r(M)-2$ lines. Additionally, in the latter case, the ground set of $M$ has a partition $(E_{1}, E_{2})$, where $E_{1}$ can be covered by few flats of relatively low rank and $|E_{2}|$ is bounded. These results extend to complex-representable and orientable matroids. Finally, we formulate a high-dimensional generalization of a classic problem of Motzkin, Grünbaum, Erdős and Purdy on sets of red and blue points in the plane with no monochromatic blue line. We show that the solution to this problem gives a tight upper bound on $|E_{2}|$. We also discuss this high-dimensional problem in its own right, and prove some initial results.

Complements of union-closed families of sets, over a finite ground set, are known as simply rooted families of sets. Cubical sets are widely studied topological objects having applications in computational homology. In this paper, we look at simply rooted families of sets from the perspective of cubical sets. That is, for every family $\mathcal F$ of subsets of a finite set, we construct a natural cubical set $X(\mathcal F)$ (corresponding to it). We show that for every simply rooted family $\mathcal F$, containing the empty set, the cubical set $X(\mathcal F)$ is always acyclic (that is, it has trivial reduced cubical homology). As a consequence of this, using the Euler-Poincarè formula, we obtain a formula satisfied by all simply rooted families of sets which contain the empty set. We also provide an elementary proof of this formula.

Given a graph $G$ and two spanning trees $T$ and $T'$ in $G$, Spanning Tree Reconfiguration asks whether there is a step-by-step transformation from $T$ to $T'$ such that all intermediates are also spanning trees of $G$, by exchanging an edge in $T$ with an edge outside $T$ at a single step. This problem is naturally related to matroid theory, which shows that there always exists such a transformation for any pair of $T$ and $T'$. Motivated by this example, we study the problem of transforming a sequence of spanning trees into another sequence of spanning trees. We formulate this problem in the language of matroid theory: Given two sequences of bases of matroids, the goal is to decide whether there is a transformation between these sequences. We design a polynomial-time algorithm for this problem, even if the matroids are given as basis oracles. To complement this algorithmic result, we show that the problem of finding a shortest transformation is NP-hard to approximate within a factor of $c \log n$ for some constant $c > 0$, where $n$ is the total size of the ground sets of the input matroids.

In this article, we introduce the parametric matroid $\ell$-interdiction problem, where $\ell\in\mathbb{N}_{>0}$ is a fixed number of elements allowed to be interdicted. Each element of the matroid's ground set is assigned a weight that depends linearly on a real parameter from a given interval. The goal is to compute, for each possible parameter value, a set of $\ell$-most vital elements with corresponding objective value the deletion of which causes a maximum increase of the weight of a minimal basis. We show that such a set, which of course depends on the parameter, can only change polynomially often if the parameter varies. We develop several exact algorithms to solve the problem that have polynomial running times if an independence test can be performed in polynomial time.