The stronger q-analogue of the reverse oddtown theorem

About 1 year old · traced to

Let nn be an even positive integer and let FqnF_q^n be an nn-dimensional vector space over the finite field with qq elements. Write sub(Fqn)\mathrm{sub}(F_q^n) for its subspaces, and let [n−1]q[n-1]_q denote the qq-integer. Let F⊆sub(Fqn)\mathcal{F} \subseteq \mathrm{sub}(F_q^n) satisfy that dim⁡(A)\dim(A) is even for every A∈FA \in \mathcal{F} and dim⁡(A∩B)\dim(A \cap B) is odd for every distinct A,B∈FA,B \in \mathcal{F}. The stronger q-analogue of the reverse oddtown theorem. If qq is an odd prime power, then

∣F∣≤[n−1]q.|\mathcal{F}| \leq [n-1]_q.

The preceding reverse oddtown q-analogue gives the weaker bound ∣F∣≤[n]q−1|\mathcal{F}| \leq [n]_q-1 when nn is even, while the family of codimension-one subspaces inside a fixed (n−1)(n-1)-dimensional subspace has size [n−1]q[n-1]_q. The conjecture asserts that this construction is optimal; its status is open based on the information provided.

References

Primary source

Hiranya Kishore Dey, “q-analogues of Fisher's inequality and oddtown theorem”, arXiv:2505.15664 (2025).

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.