arXiv++ Combinatorics

For a set $G$ of points in $\PG(m-1,q)$, let $\ex_q(G;n)$, denote the maximum size of a collection of points in $\PG(n-1,q)$ not containing a copy of $G$, up to projective equivalence. We show that \[\lim_{n\rightarrow \infty} \frac{\ex_q(G;n)}{|\PG(n-1,q)|} = 1-q^{1-c},\] where $c$ is the smallest integer such that there is a rank-$(m-c)$ flat in $\PG(m-1,q)$ that is disjoint from $G$. The result is an elementary application of the density version of the Hales-Jewett Theorem.

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$.

For each proper minor-closed subclass $\cM$ of the $\GF(q^2)$-representable matroids containing all simple $\GF(q)$-representable matroids, we give, for all large $r$, a tight upper bound on the number of points in a rank-$r$ matroid in $\cM$, and construct a rank-$r$ matroid in $\cM$ for which equality holds. As a consequence, we give a tight upper bound on the number of points in a $\GF(q^2)$-representable, rank-$r$ matroid with no $\PG(k,q^2)$-minor.

For any positive integer $l$ we prove that if $M$ is a simple matroid with no $(l+2)$-point line as a minor and with sufficiently large rank, then $|E(M)|\le \frac{q^{r(M)}-1}{q-1}$, where $q$ is the largest prime power less than or equal to $l$. Equality is attained by projective geometries over GF$(q)$.