Plunge bounds for Fourier concentration operators: geometry, smoothing, and wave packets

Abstract

We prove a single-logarithm bound for the eigenvalues in the plunge region of Fourier concentration operators, removing the extra logarithmic factor in the Kulikov--Dam Larsen bound for two general admissible sets throughout each fixed exponential window. For bounded spatial and frequency sets $A,B\subset\mathbb{R}^d$ of positive measure with finite upper codimension-one Minkowski boundary content, the number $Λ_\varepsilon(cA,B)$ of eigenvalues in $(\varepsilon,1-\varepsilon)$ satisfies $Λ_\varepsilon(cA,B)\le C(d,A,B,β)c^{d-1}D(1+\log_+(c/D))$, where $D=\log(1/(\varepsilon(1-\varepsilon)))$, for every fixed $β>0$, $c\ge2$, $0<\varepsilon<1/2$, and $D\leβc$, with $\log_+t=\max(0,\log t)$. The argument uses positive band-limited smoothing and requires no symmetry, convexity, or connectedness. In dimension two, the corresponding exponential-window estimate has a constant uniform in the window parameter. We also determine the optimal coordinate-Lipschitz constant $d-1$ for recursive decompositions of balls and standard simplices in every dimension, and obtain box-frequency estimates with explicit geometric constants. For $C^1$ convex bodies in three dimensions, the optimal infimum of recursive coordinate slopes is $2$. Uniform real-order Bessel estimates give independent disk and ball bounds at every spectral threshold, including an explicit deep-tail term. For smooth strictly convex planar frequency bodies with positive curvature, we prove correlation estimates for aligned Gaussian packets at arbitrary relative scales and quantitative lower bounds on the cost of estimating spatial blocks separately. Together these results connect the global spectral bound with sharp geometric constructions and the cancellation retained by grouping boundary interactions.