Extremal bound for suboptimal (2d+1)(2d+1)-union antichains

Let VV be an nn-dimensional vector space over the finite field with qq elements, and let L(V)\mathcal{L}(V) denote its lattice of subspaces. A family FL(V)\mathcal{F}\subseteq\mathcal{L}(V) is a (2d+1)(2d+1)-union antichain if it is an antichain whose union of any 2d+12d+1 members is not a member of the family. Assume that F\mathcal{F} is not contained in any optimal (2d+1)(2d+1)-union antichain and that 2d+1<n2d+1<n. Let [nd]\left[n\atop d\right] denote the Gaussian binomial coefficient and let B[n,2d+1]\mathcal{B}[n,2d+1] be the family defined in the source. Extremal bound conjecture.

F[nd]q[d1].|\mathcal{F}|\leq \left[n\atop d\right]-q\left[d\atop 1\right].

Moreover, equality holds if and only if F=B[n,2d+1]\mathcal{F}=\mathcal{B}[n,2d+1]. This conjecture seeks the sharp size bound and equality characterization for suboptimal (2d+1)(2d+1)-union antichains; the notation B[n,2d+1]\mathcal{B}[n,2d+1] is not defined in the supplied context, and its structure and the conjecture's resolution require verification.

Sources & referencesView supporting material

Primary source

Yunjing Shan and Junling Zhou, “Suboptimal s-union familes and s-union antichains for vector spaces”, arXiv:2207.06727 (2022).

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.