STFT with Gaussian window performs L²-local stable phase retrieval at the constant function, with Lean 4 autoformalization for an extension to Hermite windows and finite spans of basis vectors.
Title resolution pending
2 Pith papers cite this work. Polarity classification is still indexing.
2
Pith papers citing it
years
2026 2verdicts
UNVERDICTED 2representative citing papers
A new quantitative bound for the high-dimensional entropic central limit theorem is derived by extending the Johnson-Barron projection method and applying a Wang-type dimension-free Harnack inequality under the Poincaré inequality assumption.
citing papers explorer
-
$L^2$-Stability for STFT phase retrieval
STFT with Gaussian window performs L²-local stable phase retrieval at the constant function, with Lean 4 autoformalization for an extension to Hermite windows and finite spans of basis vectors.
-
Quantitative bounds for high dimensional entropic CLT
A new quantitative bound for the high-dimensional entropic central limit theorem is derived by extending the Johnson-Barron projection method and applying a Wang-type dimension-free Harnack inequality under the Poincaré inequality assumption.