The high-dimensional point-line induced matching conjecture

Let IM(d,q)\mathrm{IM}(d,q) denote the maximum size of an induced matching in the point-line incidence graph of Fqd\mathbb{F}_q^d. High-dimensional induced matching conjecture. For every fixed d3d\ge 3,

IM(d,q)=o(qd)as q.\mathrm{IM}(d,q)=o(q^d)\qquad\text{as }q\to\infty.

Beyond the planar case, essentially no nontrivial upper bounds are known for point-line induced matchings in Fqd\mathbb{F}_q^d when d3d\ge 3; even a qualitative improvement over the trivial bound IM(d,q)qd\mathrm{IM}(d,q)\le q^d would be significant.

Sources & referencesView supporting material

Primary source

Zach Hunter, Cosmin Pohoata, Jacques Verstraete and Shengtong Zhang, “Large point-line matchings and small Nikodym sets”, arXiv:2601.19879 (2026).

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.