Exponential density conjecture for matroids excluding an induced ItI_t-restriction

About 8 years old · traced to

Let t≥2t\geq 2 and r≥tr\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 t−1t-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

∣E∣≥s2⌈r/(t−1)⌉+(t−1−s)2⌊r/(t−1)⌋−(t−1).|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,…,Ft−1F_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.

References

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.