The Szemerédi-Trotter Estimate in Finite Field with its Applications

Changxing Miao; Rui Xie

Home/Archive/arXiv

arXiv · 2609.35190

The Szemerédi-Trotter Estimate in Finite Field with its Applications

Changxing Miao·Rui Xie

View original source ↗Read source document ↗Export metadata ↓

Abstract

We prove a sharp Szemerédi-Trotter estimate \[\mathcal{I}(A,\mathcal{L})\lesssim \frac{|A||\mathcal{L}|}{p}+|A|^{2/3}|\mathcal{L}|^{2/3}+|A|+|\mathcal{L}|\] for prime finite field $\mathbb{F}=\mathbb{F}_p$ by a new polynomial decomposition theorem. As applications, we first prove the sharp Furstenberg set estimate in $\mathbb{F}^2$. Secondly, we improve sum-product estimate \[\max\{|A+A|,|A\cdot A|\}\gtrsim\min\{(p|A|)^{1/2},|A|^{5/4}\},\quad A\subset\mathbb{F}.\] Finally, we improve the Fourier restriction estimate $R^*(2\toα)$ holds for $α>\frac{10}{3}$ in $\mathbb{F}^3$ when $p\equiv 3\mod 4$.

Explore related subjects

math.CA math.CO

Keep this discovery

Explore connections, maps & timelines

BibTeX RIS

Changxing Miao, Rui Xie. 2026-09-28. The Szemerédi-Trotter Estimate in Finite Field with its Applications. https://arxiv.org/abs/2609.35190

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

KEEP EXPLORING

Related papers

arXiv2026

Exceptional sets for length under restricted families of projections onto lines in $\mathbb{R}^3$

It is shown that if $A \subseteq \mathbb{R}^3$ is a Borel set of Hausdorff dimension $\dim A>1$, and if $ρ_θ$ is orthogonal projection to the line spanned by $( \cos θ, \sin θ, 1 )$, then $ρ_θ(A)$ has positive length for all $θ$ outside a set of Hausdorff dimension at most $\frac{3-\dim A}{2}$.

math.CA↗

arXiv2026

Some one-dimensional elliptic problems with constraints

Given $m \in \mathbb{N} \setminus \{0\}$ and $ρ> 0$, we find solutions $(λ,u)$ to the problem \begin{equation*} \begin{cases} \bigl(-\frac{\mathrm{d}^2}{\mathrm{d} x^2}\bigr)^m u + λG'(u) = F'(u)\\ \int_{\mathbb{R}} K(u) \, \mathrm{d}x = ρ\end{cases} \end{equation*} in the following cases: $m=1$ or $2G(s) = K(s) = s^2$. In the former, we follow a bifurcation argument; in the latter, we use variational methods.

math.CA↗

arXiv2026

Besicovitch-Federer projection theorem for measures

In this paper we prove a Besicovitch-Federer type projection theorem for general finite Borel measures in $\mathbb{R}^n$. Assuming only that the conditional measures along typical affine $(n-m)$-planes are purely atomic, we characterize concentration on a purely $m$-unrectifiable set in terms of the singularity of the projected measure and the $μ$-almost everywhere injectivity of typical orthogonal projections. No regularity or absolute-continuity assumption on the projected measures is imposed, and the result is new even for measure of the form $μ=\mathcal H^m\llcorner E$. In this extended version, we further develop applications of the projection theorem to currents. First, we obtain a rectifiability criterion for Radon measures in terms of atomic disintegrations. We then use this criterion to prove that a finite-mass classical Federer-Fleming current satisfying the intrinsic integer-valued push-forward condition is rectifiable, and hence a real flat chain, without assuming any a priori flat-chain or metric-current structure. We also show that a Euclidean metric current is rectifiable whenever its slices are atomic along a set of projections of positive Grassmannian measure, with no assumption on the mass of its boundary. Finally, the projection theorem extends to separable locally compact metric spaces.

math.CA↗