{"id":"arxiv/2610.10649","url":"https://arxiv.org/abs/2610.10649","tags":["math.CO","math.HO"],"score":0,"title":"Two proofs and a tight Szemerédi--Trotter theorem","domain":"math.CO","source":"arxiv","authors":["Hung-Hsun Hans Yu"],"reviews":0,"subject":"math.CO","summary":"The Szemerédi--Trotter theorem, a fundamental theorem in incidence geometry, states that $n$ points and $m$ lines in $\\mathbb{R}^2$ form at most $O(m+n+m^{2/3}n^{2/3})$ incidences. Recently, Lewko and independently Miao--Xie extended the Szemerédi--Trotter theorem to arbitrary fields with a correction term $O(\\frac{mn}{\\mathfrak{p}})$ if the field has positive characteristic $\\mathfrak{p}$. In this paper, we provide some geometric intuition for the two proofs and compare them. Moreover, we show how both proofs can be improved using Hasse derivatives. As a consequence, we obtain a tight upper…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-10-07","reactions":{}}