Large point-degrees in intersecting families of finite vector spaces

Abstract

Let \(V\) be an \(n\)-dimensional vector space over the finite field \(\), and let \(Vk\) denote the family of all \(k\)-dimensional subspaces of \(V\). A family \(⊂eqVk\) is called intersecting if \((F F')1\) for all \(F,F'∈\). For a point \(P V\), let \(dP()\) denote the number of members of \(\) that contain \(P\), and order the point-degrees as \(d1() d2()·s dn()\), where \(m=(qm-1)/(q-1)\) is the number of points in an \(m\)-dimensional subspace. Recent work of Frankl and Wang~FW2025 and of Huang and Rao~HR2026 established that for \(k\)-uniform intersecting families \(⊂eq[n]k\) with \(n2k+1\), the bound \(n-2k-2\) governs the order statistic \(d2k+1()\). We prove that every intersecting family \(⊂eqVk\) with \(n2k+1\) satisfies \(dk2()n-2k-2\). The naive \(q\)-analog of the Huang--Rao \((k+2)\)-th degree theorem fails, as a vector-space Hilton--Milner construction has \(k+1\) points of degree larger than \(n-2k-2\); we prove the corrected bound \(d1+k+1()n-2k-2\) for fixed \(q\), sufficiently large \(k\), and \(n>3k\), using a structural theorem of Ihringer and Kupavskii~IK2026. For larger degree indices \(i\), a saturated Frankl--Hilton--Milner family of Ihringer and Kupavskii identifies the conjectural sharp bound on \(di+1()\), and we prove two necessary conditions that any strict counterexample to this conjecture must satisfy.

0

Turn this paper into a lesson

ArcXiv compiles a structured reading guide from this paper's metadata: plain-English importance, contributions, prerequisite concepts, which sections to read first, flashcards, and a quiz. Grounded in the abstract, never invented.

Discussion (0)

Sign in to join the discussion.

Loading comments…