Search arXivSearch

arXiv · 2607.23016

Scale-free Hankel factorization and explicit one-dimensional plunge bounds for time-frequency localization operators

Abstract

The plunge region records the spectral transition of a time-frequency localization operator. Let $A_0,B_0\subset\mathbb{R}$ be bounded measurable sets of positive measure with finite boundaries, and let $S_{cA_0,B_0}=P_{cA_0}Q_{B_0}P_{cA_0}$. We prove that, for every $c>0$ and $0<\varepsilon<1/2$, $Λ_\varepsilon\le C(A_0,B_0)\widetilde L[1+\ln_+(ca/\widetilde L)]$, where $\widetilde L=\ln(1/[\varepsilon(1-\varepsilon)])$, and $\ln_+x=\max(0,\ln x)$. If $M$ and $K$ count the interval components and $a$ and $b$ are their maximal lengths, one may take $C(A_0,B_0)=63MK(1+b)$. The estimate is uniform in $c$ and $\varepsilon$ and becomes $O(\widetilde L)$ when $\widetilde L\ge ca$. On the range $c\ge2$ and $α^{-c}<\varepsilon<1/2$ covered by the parallelepiped theorem of Kulikov and Dam Larsen (2026), this recovers its $d=1$ order; their complementary very-small-threshold result is sharper. We give an independent direct proof with explicit geometry dependence and a single formulation for all $c$ and $\varepsilon$. It acts on the off-diagonal factor of the localization operator: an exact one-dimensional oscillation factorization reduces each far-field piece to two modulated copies of the scale-free Hankel kernel $1/[2π(s+r)]$, Bernstein-ellipse approximation gives uniform singular-value decay, and a Taylor-rank estimate controls the boundary layer. Choosing this width at the spectral depth absorbs finer scales and leaves only $\ln_+(ca/\widetilde L)$ dyadic scales, yielding the self-improving logarithm. It also identifies tangential phase dependence as an obstruction to this factorization in nonproduct higher-dimensional geometry.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Ahmadreza Azimifard. 2026-08-31. Scale-free Hankel factorization and explicit one-dimensional plunge bounds for time-frequency localization operators. https://arxiv.org/abs/2607.23016

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

KEEP EXPLORING

Related papers

Conditional expectation operators on $C(X)$

At the COSAEF conference in 2021, several participants asked the question whether a conditional expectation operator in the sense of Kuo, Labaushagne and Watson could be constructed in vector lattices other than $\mathcal{L}_p$ spaces and in particular in $C(X)$. This work answers positively to this question and participates in an old discussion on integrals in $C(X)$ space.

math.FA

Hypercontractivity for a family of quantum Ornstein-Uhlenbeck semigroups

We show that a family of quantum Ornstein-Uhlenbeck semigroups is hypercontractive. We also obtain the optimal order of the optimal time up to a constant. The main ingredient of our proof is Meixner polynomials. The goal of this paper is twofold: to provide more examples of hypercontractive quantum Markov semigourps on non-tracial von Neumann algebras, and to determine the optimal order of the optimal time for quantum Ornstein-Uhlenbeck semigroups.

math.FA

Fixed Point Rigidity of the Operator $Γ_pΠ_p^\ast$ and the LYZ Conjecture

We characterize the fixed points of the operator $Γ_pΠ_p^\ast$ for $n\geq 3$ and $1 0$ if and only if $K$ is an origin-centered ellipsoid, thereby settling the Lutwak--Yang--Zhang fixed-point conjecture in this range. Our proof is based on a variational analysis along linear reflection shadow systems. To address the nonlinear structure of the $L_p$ setting, we introduce the $L_p$-Projection Rolodex, which provides a dimensional reduction of the volume of the polar $L_p$-projection body to weighted lower-dimensional sectional functionals. A suitable change of variables, together with Ball's harmonic Prékopa--Leindler inequality, yields the convexity needed along the shadow system. Under the fixed-point condition, a first-variation identity then forces $\operatorname{vol}_n(Π_p^\ast K_t)$ to remain constant throughout the deformation. The rigidity statement follows from the equality characterization under Steiner symmetrization.

math.FA