On minor-closed classes of matroids with exponential growth rate

Let \cM be a minor-closed class of matroids that does not contain arbitrarily long lines. The growth rate function, h:\bN\rightarrow \bN of \cM is given by h(n) = \max(|M|\, : \, M\in \cM, simple, rank-$n$). The Growth Rate Theorem shows that there is an integer $c$ such that either: $h(n)\le c\, n$, or ${n+1 \choose 2} \le h(n)\le c\, n^2$, or there is a prime-power $q$ such that $\frac{q^n-1}{q-1} \le h(n) \le c\, q^n$; this separates classes into those of linear density, quadratic density, and base-$q$ exponential density. For classes of base-$q$ exponential density that contain no $(q^2+1)$-point line, we prove that $h(n) =\frac{q^n-1}{q-1}$ for all sufficiently large $n$. We also prove that, for classes of base-$q$ exponential density that contain no $(q^2+q+1)$-point line, there exists k\in\bN such that $h(n) = \frac{q^{n+k}-1}{q-1} - q\frac{q^{2k}-1}{q^2-1}$ for all sufficiently large $n$

The densest matroids in minor-closed classes with exponential growth rate

The $\mathit{growth\ rate\ function}$ for a nonempty minor-closed class of matroids $\mathcal{M}$ is the function $h_{\mathcal{M}}(n)$ whose value at an integer $n \ge 0$ is defined to be the maximum number of elements in a simple matroid in $\mathcal{M}$ of rank at most $n$. Geelen, Kabell, Kung and Whittle showed that, whenever $h_{\mathcal{M}}(2)$ is finite, the function $h_{\mathcal{M}}$ grows linearly, quadratically or exponentially in $n$ (with base equal to a prime power $q$), up to a constant factor. We prove that in the exponential case, there are nonnegative integers $k$ and $d \le \tfrac{q^{2k}-1}{q-1}$ such that $h_{\mathcal{M}}(n) = \frac{q^{n+k}-1}{q-1} - qd$ for all sufficiently large $n$, and we characterise which matroids attain the growth rate function for large $n$. We also show that if $\mathcal{M}$ is specified in a certain `natural' way (by intersections of classes of matroids representable over different finite fields and/or by excluding a finite set of minors), then the constants $k$ and $d$, as well as the point that `sufficiently large' begins to apply to $n$, can be determined by a finite computation

Exponentially Dense Matroids

This thesis deals with questions relating to the maximum density of rank-n matroids in a minor-closed class. Consider a minor-closed class M of matroids that does not contain a given rank-2 uniform matroid. The growth rate function is defined by h_M(n) = max(|N| : N ∈ M simple, r(N) ≤ n). The Growth Rate Theorem, due to Geelen, Kabell, Kung, and Whittle, shows that the growth rate function is either linear, quadratic, or exponential in n. In the case of exponentially dense classes, we conjecture that, for sufficiently large n, h_M(n) = (q^(n+k) − 1)/(q-1) − c, where q is a prime power, and k and c are non-negative integers depending only on M. We show that this holds for several interesting classes, including the class of all matroids with no U_{2,t}-minor. We also consider more general minor-closed classes that exclude an arbitrary uniform matroid. Here the growth rate, as defined above, can be infinite. We define a more suitable notion of density, and prove a growth rate theorem for this more general notion, dividing minor-closed classes into those that are at most polynomially dense, and those that are exponentially dense

On the density of matroids omitting a complete-graphic minor

We show that, if $M$ is a simple rank-$n$ matroid with no $\ell$-point line minor and no minor isomorphic to the cycle matroid of a $t$-vertex complete graph, then the ratio $|M| / n$ is bounded above by a singly exponential function of $\ell$ and $t$. We also bound this ratio in the special case where $M$ is a frame matroid, obtaining an answer that is within a factor of two of best-possible.Comment: 25 page

On perturbations of highly connected dyadic matroids

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.Comment: Version 3 has a new title and a few other minor corrections; 38 pages, including a 6-page Jupyter notebook that contains SageMath code and that is also available in the ancillary file

The algebraic combinatorial approach for low-rank matrix completion

We propose an algebraic combinatorial framework for the problem of completing partially observed low-rank matrices. We show that the intrinsic properties of the problem, including which entries can be reconstructed, and the degrees of freedom in the reconstruction, do not depend on the values of the observed entries, but only on their position. We associate combinatorial and algebraic objects, differentials and matroids, which are descriptors of the particular reconstruction task, to the set of observed entries, and apply them to obtain reconstruction bounds. We show how similar techniques can be used to obtain reconstruction bounds on general compressed sensing problems with algebraic compression constraints. Using the new theory, we develop several algorithms for low-rank matrix completion, which allow to determine which set of entries can be potentially reconstructed and which not, and how, and we present algorithms which apply algebraic combinatorial methods in order to reconstruct the missing entries

Non-crossing frameworks with non-crossing reciprocals

We study non-crossing frameworks in the plane for which the classical reciprocal on the dual graph is also non-crossing. We give a complete description of the self-stresses on non-crossing frameworks whose reciprocals are non-crossing, in terms of: the types of faces (only pseudo-triangles and pseudo-quadrangles are allowed); the sign patterns in the self-stress; and a geometric condition on the stress vectors at some of the vertices. As in other recent papers where the interplay of non-crossingness and rigidity of straight-line plane graphs is studied, pseudo-triangulations show up as objects of special interest. For example, it is known that all planar Laman circuits can be embedded as a pseudo-triangulation with one non-pointed vertex. We show that if such an embedding is sufficiently generic, then the reciprocal is non-crossing and again a pseudo-triangulation embedding of a planar Laman circuit. For a singular (i.e., non-generic) pseudo-triangulation embedding of a planar Laman circuit, the reciprocal is still non-crossing and a pseudo-triangulation, but its underlying graph may not be a Laman circuit. Moreover, all the pseudo-triangulations which admit a non-crossing reciprocal arise as the reciprocals of such, possibly singular, stresses on pseudo-triangulation embeddings of Laman circuits. All self-stresses on a planar graph correspond to liftings to piece-wise linear surfaces in 3-space. We prove characteristic geometric properties of the lifts of such non-crossing reciprocal pairs.Comment: 32 pages, 23 figure