arXiv++ Combinatorics

We provide a complete and explicit characterization of the exposed extreme rays of the cone of sums of nonnegative circuit (SONC) polynomials. The criterion we derive is purely combinatorial and depends only on the existence of certain circuits within the ground set and on the nature of the corresponding extreme ray. Our constructive proofs also yield explicit exposing functionals, offering a basis for algorithmic detection of exposed rays in SONC-based optimization.

Matroid interdiction problems are well-researched in the field of combinatorial optimization. In the matroid $\ell$-interdiction problem, an interdiction strategy removes a subset of cardinality $\ell$ from the matroid's ground set. The goal is to maximize the weight of a remaining optimal basis. We examine the multi-parametric generalization of this problem, where every weight is given by a linear function depending on a parameter vector. For every parameter value, we are interested in an optimal interdiction strategy and the weight of an optimally interdicted basis. We develop the first framework for lifting approximation algorithms for the non-parametric matroid $\ell$-interdiction problem to its multi-parametric variant. Whenever there exists a $β$-approximation algorithm for the non-parametric problem, we obtain an approximation algorithm for the multi-parametric problem with an approximation quality arbitrarily close to $β$. Our method yields an FPTAS for partition matroids and a $(1-\varepsilon)\frac{1}{4}$-approximation for graphic matroids. As part of the construction, we develop the first approximation algorithm for a conventional multi-parametric optimization problem in which the parameter vector varies in an arbitrary polytope.

This paper presents two new results on the theory of maximal left-compressed intersecting families (MLCIFs). First, we answer a question raised by Barber by showing that the number of $k$-uniform MLCIFs on a ground set of size $n$ grows as a doubly-exponential function of $k$, which we identify up to a log factor in the exponent. Among these MLCIFs we identify $k$ specific MLCIFs -- which we call the canonical MLCIFs -- as being in a meaningful way the most important MLCIFs. Specifically, our second main result shows that the canonical MLCIFs are precisely those which can have maximum weight among all $k$-uniform MLCIFs under a non-trivial increasing weight function, and moreover that each canonical MLCIF is the unique $k$-uniform MLCIF of maximum weight for some increasing weight function. This gives an interesting generalisation of the Erdős--Ko--Rado theorem to a notion of size which places greater significance on some elements of the ground set than others.

Let $\mathcal{M}$ and $\mathcal{N}$ be two matroids on the same ground set $V$. Let $A_1,\dots,A_{2n-1}$ be sets which are independent in both $\mathcal{M}$ and $\mathcal{N}$, satisfying $|A_i|\geq \textrm{min}(i,n)$ for all $i$. We show that there exists a partial rainbow set of size $n$, which is independent in both $\mathcal{M}$ and $\mathcal{N}$. This is a common generalization of rainbow matching results for bipartite graphs by Aharoni, Berger, Kotlar, and Ziv, and for the intersection of two matroid by Kotlar and Ziv.

Given a poset $P$, a family $\mathcal{S}=\{S_x:x\in P\}$ of sets indexed by the elements of $P$ is called an inclusion representation of $P$ if $x\leqslant y$ in $P$ if and only if $S_x\subseteq S_y$. The cube height of a poset is the least non-negative integer $h$ such that $P$ has an inclusion representation for which every set has size at most $h$. In turn, the cube width of $P$ is the least non-negative integer $w$ for which there is an inclusion representation $\mathcal{S}$ of $P$ such that $|\bigcup\mathcal{S}|=w$ and every set in $\mathcal{S}$ has size at most the cube height of $P$. In this paper, we show that the cube width of a poset never exceeds the size of its ground set, and we characterize those posets for which this inequality is tight. Our research prompted us to investigate related extremal problems for posets and inclusion representations. Accordingly, the results for cube width are obtained as extensions of more comprehensive results that we believe to be of independent interest.

Seymour's decomposition theorem is a hallmark result in matroid theory presenting a structural characterization of the class of regular matroids. Formalization of matroid theory faces many challenges, most importantly that only a limited number of notions and results have been implemented so far. In this work, we formalize the proof of the forward (composition) direction of Seymour's theorem for regular matroids. To this end, we develop a library in Lean 4 that implements definitions and results about totally unimodular matrices, vector matroids, their standard representations, regular matroids, and 1-, 2-, and 3-sums of matrices and binary matroids given by their standard representations. Using this framework, we formally state Seymour's decomposition theorem and implement a formally verified proof of the composition direction in the setting where the matroids have finite rank and may have infinite ground sets.

We investigate the asymptotic behavior of entropy polymatroids associated with algebraic matroids over finite fields. Given an algebraic matroid ${\sf M}:=(\mathcal{E},r)$ and the irreducible variety $V$ associated with ${\sf M}$, we consider the polymatroid $h_{\mathbb{F}}$ induced by the entropies of the projections of $V(\mathbb{F})$, where $\mathbb{F}$ is a finite extension of $\mathbb{G}$. Revisiting a construction of Matú$\check{\mathrm{s}}$, we show that the polymatroid $h_{\mathbb{F}}$ converges to the rank function $r$ of ${\sf M}$ as $q:=|\mathbb{F}|$ tends to infinity. Our main contribution is to make this convergence quantitative: we derive explicit uniform error bounds for the deviation $|h_\mathbb{F}-r|$, expressed in terms of the degree of $V$, the ground set size $|\mathcal{E}|$, the rank $r(\mathcal{E})$, and $q$. The proofs combine tools of algebraic geometry (effective Lang-Weil estimates and intrinsic degree bounds for annihilating polynomials of circuits) with information-theoretic arguments (submodularity of entropy and conditional entropy estimates). These results provide the first effective and uniform approximation bounds for algebraic matroids by entropy polymatroids, clarifying the quantitative link between algebraic independence (captured by matroid rank) and information-theoretic independence (captured by entropy).

In an abelian group $G$, a \emph{matching} is a bijection $f\colon A\to B$ between finite subsets $A,B\subseteq G$ such that $a+f(a)\notin A$ for all $a\in A$. We say that $G$ has the \emph{matching property} if every pair of finite subsets $A,B\subseteq G$ with $|A|=|B|$ and $0\notin B$ admits such a matching. This paper develops matroidal analogues of classical results on group matchings. By embedding matroid ground sets in $G$, we introduce base matchings between matroid bases, recovering the group-theoretic setting in the uniform case, and derive structural and combinatorial criteria for their existence. Our methods blend techniques from matroid theory, group theory, and additive number theory. Our main focus is on paving matroids, a class conjectured to constitute asymptotically almost all matroids. We prove symmetric self-matchability for all paving matroids, extend asymmetric results via the hyperplane-nullity parameter, and connect stressed hyperplanes to matchability through relaxation, bridging paving and uniform matroids. This paper continues a line of research initiated in [3,4], yet is written to be self-contained and may be read independently.

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 numbers have been shown to exhibit a dichotomy: for any poset, the saturation number is either bounded, or at least $2\sqrt n$. The general conjecture is that in fact, the saturation number for any poset is either bounded, or at least linear. The linear sum of two posets $\mathcal P_1$ and $\mathcal P_2$, dented by $\mathcal P_1*\mathcal P_2$, is defined as the poset obtained from a copy of $\mathcal P_1$ placed completely on top of a copy of $\mathcal P_2$. In this paper we show that the saturation number of $\mathcal P_1*\mathcal A_k*\mathcal P_2$ is always at least linear, for any $\mathcal P_1$, $\mathcal P_2$ and $k\geq2$, where $\mathcal A_k$ is the antichain of size $k$. This is a generalisation of the recent result that the saturation number for the diamond is linear (in that case $\mathcal P_1$ and $\mathcal P_2$ are both the single point poset, and $k=2$). We also show that, with the exception of chains which are known to have bounded saturation number, the saturation number for all complete multipartite posets is linear.

We consider a setting where we have a ground set $M$ together with real-valued set functions $f_1, \dots, f_n$, and the goal is to partition $M$ into two sets $S_1,S_2$ such that $|f_i(S_1) - f_i(S_2)|$ is small for every $i$. Many results in discrepancy theory can be stated in this form with the functions $f_i$ being additive. In this work, we initiate the study of the unstructured case where $f_i$ is not assumed to be additive. We show that even without the additivity assumption, the upper bound remains at most $O(\sqrt{n \log n})$. Our result has implications on the fair allocation of indivisible goods. In particular, we show that a consensus halving up to $O(\sqrt{n \log n})$ goods always exists for $n$ agents with monotone utilities. Previously, only an $O(n)$ bound was known for this setting.

This paper studies signed graphs with possible outer-edges. We introduce and investigate the chain group, the boundary operator, the co-boundary operator, the flow group, the tension group, the homology group, the cohomology group, with coefficients in an abelian group. We also introduce and investigate the bivariate flow polynomial for signed graphs. The guiding principle is the correspondence between representable matroids over $\mathbb{R}$ on a ground set $E$ of edges and the subspaces of the vector space of real-valued chains on the same ground set. The frame matroid of signed graph emerges naturally by defining circuits as minimal supports of nonzero flows, rather than listing circuit patterns abruptly. Likewise, bonds, or co-circuits, can be obtained as minimal supports of nonzero tensions. In addition to standardizing the concepts and their meanings of signed graphs, we update the following results: (1) Characterization of cuts and bonds of signed graph with outer-edges. (2) The structures of flow group, boundary group, and homology group, with coefficients in an arbitrary abelian group. (3) Introduction of bivariate flow polynomial of signed graph, revealing the mystery of inexistence of univariate flow polynomial of signed graph in the literature.

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.