arXiv Science⌕ Search
Home/Archive/arXiv

arXiv · 2610.03272

The climb problem for $4$-general sets in PG(n,4)

Liangdong Lu·Ruipan Yang·Qiang Fu·Hao Song
View original source ↗Read source document ↗Export metadata ↓

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 $n$, whether the constructions of Pavese (2025) can be improved by one point. We show that the answer is governed by the code tables: $PG(M-1,q)$ contains an $N$-point $4$-general set exactly when a projective $[N,N-M,\ge 5]_q$ code exists. Over $F_4$ 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 $F_5$ the same reduction gives Mb{4}{5}=12, one more than the near-MDS lower bound. At $n=5$ the tables fall silent; we state the verified position $21\le Mb{5}{4}\le 30$ rather than the tabulated $\le 29$, which rests on a private communication. Any $22$-point $4$-general set of $PG(5,4)$, 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.

Explore related subjects

math.CO

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Liangdong Lu, Ruipan Yang, Qiang Fu, Hao Song. 2026-10-02. The climb problem for $4$-general sets in PG(n,4). https://arxiv.org/abs/2610.03272

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

arXiv2026

Constructing Optimal Kobon Triangle Arrangements via Table Encoding, SAT Solving, and Heuristic Straightening

We present new methods and results for constructing optimal Kobon triangle arrangements. First, we introduce a compact table notation for describing arrangements of pseudolines, enabling the representation and analysis of complex cases, including symmetrical arrangements, arrangements with parallel lines, and arrangements with multiple-line intersection points. Building on this, we provide a simple heuristic method and tools for recovering straight-line arrangements from a given table, with the ability to enforce additional properties such as symmetries. The tool successfully recovers arrangements for many previously known optimal solutions. Additionally, we develop a tool that transforms the search for optimal Kobon arrangement tables into a SAT problem, allowing us to leverage modern SAT solvers (specifically Kissat) to efficiently find new solutions or to show that no other solutions exist (for example, confirming that no simple perfect arrangement with 33 triangles exists in the 11-line case). Using these techniques, we find new optimal Kobon arrangements for 23 and 27 lines, along with several other new results.

math.CO↗
arXiv2026

Marked multi-colorings and marked chromatic polynomials of hypergraphs and subspace arrangements

We introduce the concepts of marked multi-colorings, marked chromatic polynomials, and marked (multivariate) independence series for hypergraphs. We show that the coefficients of the q-th power of the marked independence series of a hypergraph coincide with its marked chromatic polynomials in q, thereby generalizing a corresponding result for graphs established in Chaithra et al. 2025 (arXiv:2503.11230). These notions are then naturally extended to subspace arrangements. In particular, we prove that the number of marked multi q-colorings of a subspace arrangement is a polynomial in q. We also define the (marked) independence series for subspace arrangements and prove that the (-q)-th power of the independence series of a hyperplane arrangement has non-negative coefficients. We further investigate the coefficientwise non-negativity of the (-q)-th power of the independence series of a hypergraph. We show that all edges must have even cardinality for this non-negativity to hold, and provide a counterexample demonstrating that this condition is not sufficient.

math.CO↗
arXiv2026

Robust ladders in the HLM tower construction for arithmetic regularity over ${\bf F}_2^{\,n}$

Green's arithmetic regularity lemma over ${\bf F}_2^n$ has tower-type lower bounds. We show that the large order properties in the Hosseini--Lovett--Moshkovitz--Shapira (HLM) construction survive sparse edits. If $d$ is the top block dimension, then changing at most $|G|/16$ points of the top HLM set $A_s$ still leaves a half-graph of height $d/8$. For a suitable choice of the HLM maps, changing at most $ε|G|$ points of a super-level set of the averaged witness still leaves a half-graph of height $d/(8\sqrt{s})\ge {\rm twr}(s-2)$. The proofs use the binary code formed by the top-level row traces and Sauer's lemma.

math.CO↗