arXiv++ Combinatorics

The problem of finding the minimum rank of a matrix with a given zero-nonzero pattern has been generalized to a class of matroids associated to the pattern. The fundamental lower bound known as the triangle number still holds in this generalized setting. But the matroid minimum rank of a pattern need not match that of its transpose. We associate to each pattern $X$ a lattice $L(X)$. We define the fundamental pattern of a matroid $M$ to be the complement of its hyperplane-point incidence pattern and note that when $X$ is the fundamental pattern of $M$, the lattice of flats of $M$ is $L(X)$. We then prove that, for every pattern $X$, the dual lattice of $L(X)$ is isomorphic to $L(X^T)$. We show that a matroid $M'$ of the same rank as $M$ is an adjoint of $M$ if and only if $M'$ is associated with the transpose of the fundamental pattern of $M$. Our main result ties together the notion of a matroid adjoint with the phenomenon of a gap between the triangle number $k$ and the matroid minimum rank of a pattern. Namely, we show that, if any matroid of rank $k$ associated with a pattern has an adjoint, then there is no such gap for the pattern's transpose. We show that the matroid of minimum rank associated with the fundamental pattern is unique. Using this, we prove that the matrix minimum rank of the fundamental pattern of a matroid over different fields depends on the representability of the matroid over those fields. This allows us to recover and improve upon a construction of Berman et al. We also give a smaller example than any previously known of a pattern with a matroid minimum rank smaller than its matrix minimum rank over every field. Finally, we establish that, for the fundamental pattern, a converse holds to our main result. In particular, a matroid with fundamental pattern $X$ has an adjoint if and only if the matroid minimum rank of $X^T$ is equal to its triangle number.

If $M$ is a matroid, then a simple matroid $M'$ with the same rank as $M$ is an adjoint of $M$ if there is an inclusion-reversing embedding $φ$ of the lattice of flats of $M$ into the lattice of flats of $M'$ such that $φ$ maps the hyperplanes of $M$ bijectively onto the points of $M'$. In this note, we provide a proof that the class of matroids with an adjoint is minor-closed.

We consider matroids with the property that every subset of the ground set of size $s$ is contained in a $2s$-element circuit and every subset of size $t$ is contained in a $2t$-element cocircuit. We say that such a matroid has the \emph{$(s,2s,t,2t)$-property}. A matroid is an \emph{$(s,t)$-spike} if there is a partition of the ground set into pairs such that the union of any $s$ pairs is a circuit and the union of any $t$ pairs is a cocircuit. Our main result is that all sufficiently large matroids with the $(s,2s,t,2t)$-property are $(s,t)$-spikes, generalizing a 2019 result that proved the case where $s=t$. We also present some properties of $(s,t)$-spikes.

The smallest possible number of distinct eigenvalues of a graph $G$, denoted by $q(G)$, has a combinatorial bound in terms of unique shortest paths in the graph. In particular, $q(G)$ is bounded below by $k$, where $k$ is the number of vertices of a unique shortest path joining any pair of vertices in $G$. Thus, if $n$ is the number of vertices of $G$, then $n-q(G)$ is bounded above by the size of the complement (with respect to the vertex set of $G$) of the vertex set of the longest unique shortest path joining any pair of vertices of $G$. The purpose of this paper is to commence the study of the minor-monotone floor of $n-k$, which is the minimum of $n-k$ among all graphs of which $G$ is a minor. Accordingly, we prove some results about this minor-monotone floor.

We study varieties associated to hypergraphs from the point of view of projective geometry and matroid theory. We describe their decompositions into matroid varieties, which may be reducible and can have arbitrary singularities by the Mnëv--Sturmfels universality theorem. We focus on various families of hypergraph varieties for which we explicitly compute an irredundant irreducible decomposition. Our main findings in this direction are threefold: (1) we describe minimal matroids of such hypergraphs; (2) we prove that the varieties of these matroids are irreducible and their union is the hypergraph variety; and (3) we show that every such matroid is realizable over real numbers. As corollaries, we give conceptual decompositions of various, previously-studied, varieties associated with graphs, hypergraphs, and adjacent minors of generic matrices. In particular, our decomposition strategy gives immediate matroid interpretations of the irreducible components of multiple families of varieties associated to conditional independence (CI) models in statistical theory and unravels their symmetric structures which hugely simplifies the computations.

One characterization of binary matroids is that the symmetric difference of every pair of intersecting circuits is a disjoint union of circuits. This paper considers circuit-difference matroids, that is, those matroids in which the symmetric difference of every pair of intersecting circuits is a single circuit. Our main result shows that a connected regular matroid is circuit-difference if and only if it contains no pair of skew circuits. Using a result of Pfeil, this enables us to explicitly determine all regular circuit-difference matroids. The class of circuit-difference matroids is not closed under minors, but it is closed under series minors. We characterize the infinitely many excluded series minors for the class.

For a matroid $M$ having $m$ rank-one flats, the density $d(M)$ is $\tfrac{m}{r(M)}$ unless $m = 0$, in which case $d(M)= 0$. A matroid is density-critical if all of its proper minors of non-zero rank have lower density. By a 1965 theorem of Edmonds, a matroid that is minor-minimal among simple matroids that cannot be covered by $k$ independent sets is density-critical. It is straightforward to show that $U_{1,k+1}$ is the only minor-minimal loopless matroid with no covering by $k$ independent sets. We prove that there are exactly ten minor-minimal simple obstructions to a matroid being able to be covered by two independent sets. These ten matroids are precisely the density-critical matroids $M$ such that $d(M) > 2$ but $d(N) \le 2$ for all proper minors $N$ of $M$. All density-critical matroids of density less than $2$ are series-parallel networks. For $k \ge 2$, although finding all density-critical matroids of density at most $k$ does not seem straightforward, we do solve this problem for $k=\tfrac{9}{4}$.

Subject to announced results by Geelen, Gerards, and Whittle, we completely characterize the highly connected members of the classes of dyadic, near-regular, and sixth-root-of-unity matroids.

Subject to hypotheses based on the matroid structure theory of Geelen, Gerards, and Whittle, we completely characterize the highly connected members of the class of golden-mean matroids and several other closely related classes of quaternary matroids. This leads to a determination of the eventual extremal functions for these classes. One of the main tools for obtaining these results is the notion of a frame template. Consequently, we also study frame templates in significant depth.

We consider matroids with the property that every subset of the ground set of size $t$ is contained in both an $\ell$-element circuit and an $\ell$-element cocircuit; we say that such a matroid has the $(t,\ell)$-property. We show that for any positive integer $t$, there is a finite number of matroids with the $(t,\ell)$-property for $\ell<2t$; however, matroids with the $(t,2t)$-property form an infinite family. We say a matroid is a $t$-spike if there is a partition of the ground set into pairs such that the union of any $t$ pairs is a circuit and a cocircuit. Our main result is that if a sufficiently large matroid has the $(t,2t)$-property, then it is a $t$-spike. Finally, we present some properties of $t$-spikes.

Geelen, Gerards, and Whittle [3] announced the following result: let $q = p^k$ be a prime power, and let $\mathcal{M}$ be a proper minor-closed class of $\mathrm{GF}(q)$-representable matroids, which does not contain $\mathrm{PG}(r-1,p)$ for sufficiently high $r$. There exist integers $k, t$ such that every vertically $k$-connected matroid in $\mathcal{M}$ is a rank-$(\leq t)$ perturbation of a frame matroid or the dual of a frame matroid over $\mathrm{GF}(q)$. They further announced a characterization of the perturbations through the introduction of subfield templates and frame templates. We show a family of dyadic matroids that form a counterexample to this result. We offer several weaker conjectures to replace the ones in [3], discuss consequences for some published papers, and discuss the impact of these new conjectures on the structure of frame templates.

The classes of even-cycle matroids, even-cycle matroids with a blocking pair, and even-cut matroids each have hundreds of excluded minors. We show that the number of excluded minors for these classes can be drastically reduced if we consider in each class only the highly connected matroids of sufficient size.

A binary frame template is a device for creating binary matroids from graphic or cographic matroids. Such matroids are said to conform or coconform to the template. We introduce a preorder on these templates and determine the nontrivial templates that are minimal with respect to this order. As an application of our main result, we determine the eventual growth rates of certain minor-closed classes of binary matroids, including the class of binary matroids with no minor isomorphic to PG(3,2). Our main result applies to all highly-connected matroids in a class, not just those of maximum size. As a second application, we characterize the highly-connected 1-flowing matroids.