The climb problem for $4$-general sets in PG(n,4)
Abstract: A $4$-general set of PG(n,q) is a point set with no four coplanar,and Mb{n}{q} is the largest such size. The climb problem asks, at each , whether the constructions of Pavese (2025) can be improved by one point. We show that the answer is governed by the code tables: contains an -point $4$-general set exactly when a projective code exists. Over this settles the first two rungs: Mb{3}{4}=5 and Mb{4}{4}=11, each with two independent proofs, so Pavese's constructions are optimal at both. Over the same reduction gives Mb{4}{5}=12, one more than the near-MDS lower bound. At the tables fall silent; we state the verified position rather than the tabulated , which rests on a private communication. Any $22$-point $4$-general set of , if one exists, shares at most $12$ points with Pavese's extremal $21$-point set; the proof of this rigidity statement is a finite computation, with certificates in Appendix~A.
Paper Prompts
Sign up for free to create and run prompts on this paper.