Exponential density conjecture for matroids excluding an induced ItI_t-restriction

Let t2t\geq 2 and rtr\geq t be integers. A matroid M=(E,G)M=(E,G) is full-rank when G=cl(E)G=\operatorname{cl}(E); it is rr-dimensional when dim(G)=r\dim(G)=r. Let ItI_t denote the tt-dimensional matroid being excluded, and let ss be the remainder of rr on division by t1t-1. A flat is a projective subgeometry of GG.

Exponential density conjecture. If M=(E,G)M=(E,G) is a full-rank, rr-dimensional matroid with no induced ItI_t-restriction, then

Es2r/(t1)+(t1s)2r/(t1)(t1).|E|\geq s2^{\left\lceil r/(t-1)\right\rceil}+(t-1-s)2^{\left\lfloor r/(t-1)\right\rfloor}-(t-1).

Equality holds precisely when EE is the disjoint union of flats F1,,Ft1F_1,\dotsc,F_{t-1} whose dimensions sum to rr, with dim(Fi)dim(Fj)1|\dim(F_i)-\dim(F_j)|\leq 1 for all i,ji,j.

This generalises the proved density theorem for claw-free matroids. The paper says that even the case t=3t=3 is difficult and that the conjecture is not known in the supplied text.

Sources & referencesView supporting material

Primary source

Peter Nelson and Kazuhiro Nomoto, “The structure of claw-free binary matroids”, arXiv:1807.11543 (2018).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.