Furstenberg sets in finite fields: explaining and improving the Ellenberg-Erman proof

DOI10.1007/S00454-023-00585-YMaRDI QIDQ6191438zbMATH OpenOpenAlexFDO

Authors Manik Dhar, Zeev Dvir, Ben Lund

Publication date 9 February 2024

Published in Discrete \& Computational Geometry (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1909.02431

zbMATH Keywords

finite fieldsFurstenbergKakeyapolynomial method

Mathematics Subject Classification ID

Combinatorial aspects of finite geometries (05B25) Gröbner bases; other bases for ideals and modules (e.g., Janet and border bases) (13P10) Finite ground fields in algebraic geometry (14G15) Maximal functions, Littlewood-Paley theory (42B25) Combinatorial structures in finite projective spaces (51E20) Packing and covering in (n) dimensions (aspects of discrete geometry) (52C17)

Abstract: A $(k,m)$-Furstenberg set is a subset $Ssubsetmathbb{F}_q^n$ with the property that each $k$-dimensional subspace of $mathbb{F}_q^n$ can be translated so that it intersects $S$ in at least $m$ points. Ellenberg and Erman proved that $(k,m)$-Furstenberg sets must have size at least $C_{n,k}{m}^{n/k}$, where $C_{n,k}$ is a constant depending only $n$ and $k$. In this paper, we adopt the same proof strategy as Ellenberg and Erman, but use more elementary techniques than their scheme-theoretic method. By modifying certain parts of the argument, we obtain an improved bound on $C_{n,k}$, and our improved bound is nearly optimal for an algebraic generalization the main combinatorial result. We also extend our analysis to give lower bounds for sets that have large intersection with shifts of a specific family of higher-degree co-dimension $n-k$ varieties, instead of just co-dimension $n-k$ subspaces.

Recommendations

• Simple proofs for Furstenberg sets over finite fields
• Furstenberg sets and Furstenberg schemes over finite fields
• An improved bound for the dimension of (,2)-Furstenberg sets
• An improved lower bound on the size of Kakeya sets over finite fields
• Improving dimension estimates for Furstenberg-type sets

Cites work

• An improved lower bound on the size of Kakeya sets over finite fields
• Comparison of symbolic and ordinary powers of ideals.
• Extensions to the method of multiplicities, with applications to Kakeya sets and mergers
• Furstenberg sets and Furstenberg schemes over finite fields
• scientific article; zbMATH DE number 3651744 (Why is no real title available?)
• scientific article; zbMATH DE number 3664349 (Why is no real title available?)
• scientific article; zbMATH DE number 1303711 (Why is no real title available?)
• scientific article; zbMATH DE number 704831 (Why is no real title available?)
• Incidence theorems and their applications
• Kakeya-type sets in finite vector spaces
• On the size of Kakeya sets in finite fields
• Sharp density bounds on the finite field Kakeya problem
• Simple proofs for Furstenberg sets over finite fields
• The Kakeya set and maximal conjectures for algebraic varieties over finite fields

Cited in

(1)

• Linear hashing with \(\ell_\infty\) guarantees and two-sided Kakeya bounds

This page was built for publication: Furstenberg sets in finite fields: explaining and improving the Ellenberg-Erman proof

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6191438)