arXiv++ Combinatorics

We determine the higher weight spectra of $q$-ary Reed-Muller codes $C_q=RM_q(2,2)$ for all prime powers $q$. This is equivalent to finding the usual weight distributions of all extension codes of $C_q$ over every field extension of $F_q$ of finite degree. To obtain our results we will utilize well-known connections between these weights and properties of the Stanley-Reisner rings of a series of matroids associated to each code $C_q$. In the process, we are able to explicitly determine all the graded Betti numbers of matroids associated to $C_q$ and its elongations.

There are many similarities between the theories of matroids and $q$-matroids. However, when dealing with the direct sum of $q$-matroids many differences arise. Most notably, it has recently been shown that the direct sum of representable $q$-matroids is not necessarily representable. In this work, we focus on the direct sum of uniform $q$-matroids. Using algebraic and geometric tools, together with the notion of cyclic flats of $q$-matroids, we show that this is always representable, by providing a representation over a sufficiently large field.

In this paper, we prove the Chow ring and augmented Chow ring of a matroid is equivariant $γ$-positivity under the action of any group of automorphisms of the matroid. This verifies a conjecture of Angarone, Nathanson, and Reiner. Our method gives an explicit interpretation to the coefficients of the equivariant $γ$-expansion. Applying our theorem to uniform matroids, we extend and recover known results regarding the positivity of the equivariant Charney-Davis quantity of uniform matroids in the author's previous work and the Schur-$γ$-positivity of Eulerian and binomial Eulerian quasisymmetric functions first proved by Shareshian and Wachs. In the end, we answer a problem proposed by Athanasiadis about extending the $γ$-expansion of the binomial Eulerian polynomial.

Homogeneous matroids are characterized by the property that strength equals fractional arboricity, and arise in the study of base modulus [22]. For graphic matroids, Cunningham [9] provided efficient algorithms for calculating graph strength, and also for determining minimum cost reinforcement to achieve a desired strength. This paper extends this latter problem by focusing on two optimal strategies for transforming a matroid into a homogeneous one, by either increasing or decreasing element weights. As an application to graphs, we give algorithms to solve this problem in the context of spanning trees.

The \emph{Stanley--Yan} (SY) \emph{inequality} gives the ultra-log-concavity for the numbers of bases of a matroid which have given sizes of intersections with $k$ fixed disjoint sets. The inequality was proved by Stanley (1981) for regular matroids, and by Yan (2023) in full generality. In the original paper, Stanley asked for equality conditions of the SY~inequality, and proved total equality conditions for regular matroids in the case $k=0$. In this paper, we completely resolve Stanley's problem. First, we obtain an explicit description of the equality cases of the SY inequality for $k=0$, extending Stanley's results to general matroids and removing the ``total equality'' assumption. Second, for $k\ge 1$, we prove that the equality cases of the SY inequality cannot be described in a sense that they are not in the polynomial hierarchy unless the polynomial hierarchy collapses to a finite level.

We analyze a combinatorial rule satisfied by the signs of principal minors of a real symmetric matrix. The sign patterns satisfying this rule are equivalent to uniform oriented Lagrangian matroids. We first discuss their structure and symmetries and then study their asymptotics, proving that almost all of them are not representable by real symmetric matrices. We offer several conjectures and experimental results concerning representable sign patterns and the topology of their representation spaces.

We review the work of Dominic Welsh (1938-2023), tracing his remarkable influence through his theorems, expository writing, students, and interactions. He was particularly adept at bringing different fields together and fostering the development of mathematics and mathematicians. His contributions ranged widely across discrete mathematics over four main career phases: discrete probability, matroids and graphs, computational complexity, and Tutte-Whitney polynomials. We give particular emphasis to his work in matroid theory and Tutte-Whitney polynomials.

A result [The intersection of a matroid and a simplicial complex, Trans. Amer. Math. Soc. 358] from 2006 of Aharoni and the first author of this paper states that for any two positive integers $p,q$, where $p$ divides $q$, if a matroid $\mathcal{M}$ is $p$-colorable and a matroid $\mathcal{N}$ is $q$-colorable then $\mathcal{M} \cap \mathcal{N}$ is $(p+q)$-colorable. In this paper we show that the assumption that $p$ divides $q$ is in fact redundant, and we also prove that $\mathcal{M} \cap \mathcal{N}$ is even $p+q$ list-colorable. The result uses topology and relies on a new parameter yielding a lower bound for the topological connectivity of the intersection of two matroids.

We introduce the notion of power lattices that unifies and extends the equicardinal geometric lattices, Cartesian products of subspace lattices, and multiset subset lattices, among several others. The notions of shellability for simplicial complexes, q-complexes, and multicomplexes are then unified and extended to that of complexes in power lattices, which we name as P-complexes. A nontrivial class of shellable P-complexes are obtained via P-complexes of the independent sets of a matroid in power lattice, which we introduce to generalize matroids in Boolean lattices, q-matroids in subspace lattices, and sum-matroids in Cartesian products of subspace lattices. We also prove that shellable P-complexes in a power lattice yield shellable order complexes, extending the celebrated result of shellability of order complexes of (equicardinal) geometric lattices by Björner and also, a recent result on shellability of order complexes of lexicographically shellable q-complexes. Finally, we provide a construction of matroids on the lattice of multiset subsets from weighted graphs. We also consider a variation of Stanley-Reisner rings associated with shellable multicomplexes than the one considered by Herzog and Popescu and proved that these rings are sequentially Cohen-Macaulay.

It is known that in matroids the difference between the chromatic number and the fractional chromatic number is smaller than 1, and that the list chromatic number is equal to the chromatic number. We investigate the gap within these pairs of parameters for hypergraphs that are the intersection of a given number k of matroids. We prove that in such hypergraphs the list chromatic number is at most k times the chromatic number and at most 2k-1 times the maximum chromatic number among the k matroids. We study the relationship between three polytopes associated with k-sets of matroids, and connect them to bounds on the fractional chromatic number of the intersection of the members of the k-set. This also connects to bounds on the matroidal matching and covering number of the intersection of the members of the k-set. The tools used are in part topological.

A famous theorem of Galvin states that the list chromatic number of the intersection of two partition matroids equals its chromatic number. Kiraly and Berczi et. al. conjectured that this equality holds for any two matroids. We prove this conjecture and a conjecture by Aharoni--Berger for any two generalized partition matroids.

For a finite Abelian group $(Γ,+)$, let $n(Γ)$ denote the smallest positive integer $n$ such that for each labelling of the arcs of the complete digraph of order $n$ using elements from $Γ$, there exists a directed cycle such that the total sum of the arc-labels along the cycle equals $0$. Alon and Krivelevich initiated the study of the parameter $n(\cdot)$ on cyclic groups and proved that $n(\mathbb{Z}_q)=O(q\log q)$. Studying the prototypical case when $Γ=\mathbb{Z}_p^d$ is a power of a cyclic group of prime order, Letzter and Morrison recently showed that $n(\mathbb{Z}_p^d) \le O(pd(\log d)^2)$ and that $n(\mathbb{Z}_2^d)\le O(d \log d)$. They then posed the problem of proving an (asymptotically optimal) upper bound of $n(\mathbb{Z}_p^d)\le O(pd)$ for all primes $p$ and $d \in \mathbb{N}$. In this paper, we solve this problem for $p=2$ and improve their bound for all primes $p \ge 3$ by proving $n(\mathbb{Z}_2^d)\le 5d$ and $n(\mathbb{Z}_p^d)\le O(pd\log d)$. While the first bound determines $n(\mathbb{Z}_2^d)$ up to a multiplicative error of $5$, the second bound is tight up to a $\log d$ factor. Moreover, our result shows that a tight bound of $n(\mathbb{Z}_p^d)=Θ(pd)$ for arbitrary $p$ and $d$ would follow from a (strong form) of the well-known conjecture of Jaeger, Linial, Payan and Tarsi on additive bases in $\mathbb{Z}_p^d$. Along the way to proving these results, we establish a generalization of a hypergraph matching result by Haxell in a matroidal setting. Concretely, we obtain sufficient conditions for the existence of matchings in a hypergraph whose hyperedges are labelled by the elements of a matroid, with the property that the edges in the matching induce a basis of the matroid. We believe that these statements are of independent interest.

In this paper we present a smallest possible counterexample to the Numerical Terao's Conjecture in the class of line arrangements in the complex projective plane. Our example consists of a pair of two arrangements with $13$ lines. Moreover, we use the newly discovered singular matroid realization spaces to construct new examples of pairs of line arrangements having the same underlying matroid but different free resolutions of the Milnor algebras. Such rare arrangements are called Ziegler pairs in the literature.

Recently, several proofs of the Mason--Welsh conjecture for matroids have been found, which asserts the log-concavity of the sequence that counts independent sets of a given size. In this article we use the theory of Lorentzian polynomials, developed by Brändén and Huh, to prove a generalization of the Mason-Welsh conjecture to the context of valuated matroids. In fact, we provide a log-concavity result in the more general setting of valuated discrete polymatroids, or equivalently, M-convex functions. Our approach is via the construction of a generic extension of a valuated matroid or M-convex function, so that the bases of the extension are related to the independent sets of the original matroid. We also provide a similar log-concavity result for valuated bimatroids, which, we believe, might be of independent interest.

For a real affine hyperplane arrangement, we define an integer intersection matrix with a natural $q$-deformation related to the intersections of bounded chambers of the arrangement. By connecting the integer matrix to a bilinear form of Schechtman-Varchenko, we show that there is a closed formula for its determinant that only depends on the combinatorics of the underlying matroid. We conjecture an analogous formula for its $q$-deformation. Our work also applies more generally in the setting of affine oriented matroids. Additionally, we give a representation-theoretic interpretation of our $q$-intersection matrix using Braden-Licata-Proudfoot-Websters's hypertoric category $\mathcal{O}$ (or more generally Kowalenko-Mautner's category $\mathcal{O}$ for oriented matroid programs). This paper is part of a broader program to categorify matroidal Schur algebras defined by Braden-Mautner.

Every regular matroid is associated with a sandpile group, which acts simply transitively on the set of bases in various ways. Ganguly and the second author introduced the notion of consistency to describe classes of actions that respect deletion-contraction in a precise sense, and proved the consistency of rotor-routing torsors (and uniqueness thereof) for plane graphs. In this work, we prove that the class of actions introduced by Backman, Baker, and the fourth author, is consistent for regular matroids. More precisely, we prove the consistency of its generalization given by Backman, Santos and the fourth author, and independently by the first author. This extends the above existence assertion, as well as makes progress on the goal of classifying all consistent actions.

We investigate the tractability of a simple fusion of two fundamental structures on graphs, a spanning tree and a perfect matching. Specifically, we consider the following problem: given an edge-weighted graph, find a minimum-weight spanning tree among those containing a perfect matching. On the positive side, we design a simple greedy algorithm for the case when the graph is complete (or complete bipartite) and the edge weights take at most two values. On the negative side, the problem is NP-hard even when the graph is complete (or complete bipartite) and the edge weights take at most three values, or when the graph is cubic, planar, and bipartite and the edge weights take at most two values. We also consider an interesting variant. We call a tree strongly balanced if on one side of the bipartition of the vertex set with respect to the tree, all but one of the vertices have degree $2$ and the remaining one is a leaf. This property is a sufficient condition for a tree to have a perfect matching, which enjoys an additional property. When the underlying graph is bipartite, strongly balanced spanning trees can be written as matroid intersection, and this fact was recently utilized to design an approximation algorithm for some kind of connectivity augmentation problem. The natural question is its tractability in nonbipartite graphs. As a negative answer, it turns out NP-hard to test whether a given graph has a strongly balanced spanning tree or not even when the graph is subcubic and planar.

In this paper, we consider the tractability of the matroid intersection problem under the minimum rank oracle. In this model, we are given an oracle that takes as its input a set of elements and returns as its output the minimum of the ranks of the given set in the two matroids. For the unweighted matroid intersection problem, we show how to construct a necessary part of the exchangeability graph, which enables us to emulate the standard augmenting path algorithm. For the weighted problem, the tractability is open in general. Nevertheless, we describe several special cases where tractability can be achieved, and we discuss potential approaches and the challenges encountered. On the positive side, we present a solution for the case where no circuit of one matroid is contained within a circuit of the other. Additionally, we propose a fixed-parameter tractable algorithm, parameterized by the maximum size of a circuit of one matroid. We also show that a lexicographically maximal common independent set can be found by the same approach, which leads to a nontrivial approximation ratio for finding a maximum-weight common independent set. On the negative side, we prove that the approach employed for the tractable cases above involves an NP-hard problem in the general case. We also show that if we consider the generalization to polymatroid intersection, even the unweighted problem is hard under the minimum rank oracle.

The Goldman-Iwahori space of seminorms on a finite-dimensional vector space over a non-Archimedean field is a non-Archimedean analogue of a symmetric space. If, in addition, $K$ is real closed, we define a signed analogue of the Goldman-Iwahori space consisting of signed seminorms. This new space can be seen as the linear algebraic version of the real analytification of projective space over $K$. We study this space with methods from real tropical geometry by constructing natural real tropicalization maps from the signed Goldman-Iwahori space to all real tropicalized linear spaces. We prove that this space is the limit of all real tropicalized linear embeddings. We give a combinatorial interpretation of this result by showing that the signed Goldman-Iwahori space is the real tropical linear space associated to the universal realizable oriented matroid. In the constant coefficient case for $K = \mathbb{R}$, we describe this space explicitly and relate it to real Bergman fans.

We study the Hilbert series and the representations of $\mathfrak{S}_n$ and $GL_n(\mathbb{F}_q)$ on the (augmented) Chow rings of uniform matroids $U_{r,n}$ and $q$-uniform matroids $U_{r,n}(q)$. The Frobenius series for uniform matroids and their $q$-analogs are computed. As a byproduct, we recover Hameister, Rao, and Simpson's formula for the Hilbert series of Chow rings of $q$-uniform matroids in terms of permutations and further obtain their augmented counterpart in terms of decorated permutations. We also show that the equivariant Charney--Davis quantity of the (augmented) Chow ring of a matroid is nonnegative (i.e., a genuine representation of a group of automorphisms of the matroid). When the matroid is a uniform matroid and the group is $\mathfrak{S}_n$, the representation either vanishes or is a Foulkes representation (i.e., a Specht module of a ribbon shape). Specializing to the usual Charney--Davis quantities, we obtain an elegant combinatorial interpretation of Hameister, Rao, and Simpson's formula for Chow rings of $q$-uniform matroids and its augmented counterpart.