Skip to content
Preprint

Sharp refined-direction Kakeya estimates in finite Heisenberg groups

Aug 2026 · 0 citations · 15 references
Mathematics

Abstract

Let $n\geq 2$ and let $q$ be an odd prime power. The first aim of this paper is to prove that, for every $E\subset \mathbb{H}_n(\mathbb{F}_q)$ and every $\lambda>0$, the following sharp rich-direction estimate holds \[ \left| \left\{ \vartheta\in D_n: M^{\mathrm{rd}}_{\mathbb{H}_n}\mathbf{1}_E(\vartheta)\geq\lambda \right\} \right| \lesssim_n q^{2n-1}|E|\lambda^{-2n}. \] The second aim is to determine, for every $1\leq u,v\leq\infty$, the sharp exponent of $q$ in the corresponding $\ell^u\to\ell^v$ estimate. More precisely, we prove that \[ A_n^{\mathrm{rd}}(u,v) = \max\left\{ \frac{2n-1}{v},\ 1-\frac1u,\ \frac{2n}{v}-\frac1u,\ 1+\frac{2n}{v}-\frac{2n+1}{u} \right\}. \] The proof combines the polynomial method with multiplicities and a probabilistic covering argument based on the action of the affine symplectic group.

View source

Similar papers

Preprint Sep 2026

On the exponential sum over squarefree integers

Let $\mu$ be the M\"obius function and $e(t)=e^{2\pi it}$. We prove that if $N\ge2$, $\alpha\in\mathbb{R}$, $(a,q)=1$, and $|\alpha-a/q|\le q^{-2}$, then \[\bigg|\sum_{n\le N}\mu^2(n)e(\alpha n)\bigg|\ll\left(\frac Nq+q\right)(\log 2N)^5, \] with an absolute implied constant, and we deduce the corresponding estimate on...

Nicolas Robles, Alexandru Zaharescu, Dirk Zeindler · 0 citations
Preprint Sep 2026

A Lang-Trotter Problem for Non-Geometric Quadratic Inductions

Let $K/\mathbb Q$ be an imaginary quadratic extension and $p$ an odd prime. Write $\rho=\operatorname{Ind}_{G_K}^{G_{\mathbb Q}}\chi$, where $E/\mathbb Q_p$ is a finite extension and $\chi:G_K\to\mathcal O_E^\times$ is a continuous character. For a fixed $r\in\mathbb Z\setminus\{0\}$, let $\pi_{\rho,r}(X)$ denote the n...

Hao-Yang Yuan · 0 citations
#machine learning Preprint Aug 2026

An algebraic proof of Colombo's difference-power determinant conjecture

Let $n\ge2$ be even, let $\lambda=(\lambda_1,\ldots,\lambda_n)\in\mathbb{R}^n$ have pairwise distinct coordinates, and define the difference-power matrix \[ A_d(\lambda) := \bigl[(\lambda_r-\lambda_s)^d\bigr]_{r,s=1}^n, \qquad d\in\mathbb{N}. \] In 1928, Colombo proved that $\det A_{n-1}(\lambda)\ne0$---and hence $\det...

Kun-Yue Li, Tie Li, Peng Wang et al. · 0 citations
Preprint Sep 2026

Endpoint Estimates for Stein's Purely Quadratic Carleson Operator

We study the near $L^1$ behavior of the maximally quadratically modulated Hilbert transform \[ \mathcal{C}_2f(x) := \sup_{\lambda} \left|\operatorname{p.v.} \int_{\mathbb{R}}f(x-y)e^{2 \pi i \lambda y^2} \frac{\mathrm{d} y }{y} \right| \] and its lacunary counterpart obtained by restricting $\lambda$ to $2^{\mathbb{Z}}...

A. Fragkos, Ben Krause, Michael T. Lacey · 0 citations
Preprint Aug 2026

Nondegeneracy and regularity of polynomial pushforwards

Let $\mu$ be a log-concave probability measure on $\mathbb R^n$ and let $f\colon\mathbb R^n\to\mathbb R^k$ be a polynomial mapping of degree at most $d$. We show that \[ \mu(f\in A) \le C\bigl(\lambda_k(A)\bigr)^{\frac{1}{k(d-1)+1}} \] for every Borel set $A\subset\mathbb R^k$ whenever the image measure $\mu\circ f^{-1...

Egor D. Kosov, A. Zhukova · 1 citation · ⚡1
Preprint Aug 2026

Hausdorff dimension of $\tau$-approximable points on self-similar sets in $\mathbb R^d$

Let $d\geq 1$. Let $K\subset\mathbb{R}^d$ be a non-singleton self-similar set generated by a finite strongly irreducible iterated function system satisfying the open set condition, and let $\delta=\dim_{\mathrm H} K$. For $\tau>1/d$, set \[ W_d(\tau) = \left\{ \mathbf{x}\in\mathbb{R}^d: |q\mathbf{x}-\mathbf{p}|<q^{-\ta...

Yu-Bin He, Ling-Min Liao · 0 citations

We use cookies to run the site and, with your consent, for analytics and to show ads. See our Cookie Policy.