Stable phase retrieval holds for L2-spans of independent centered real random variables iff all but at most one coordinate obeys a uniform two-sided L1 bound.
The Lean Mathematical Library
2 Pith papers cite this work. Polarity classification is still indexing.
2
Pith papers citing it
fields
math.FA 2years
2026 2representative citing papers
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.
citing papers explorer
-
Stable Phase Retrieval for Spans of Independent Random Variables
Stable phase retrieval holds for L2-spans of independent centered real random variables iff all but at most one coordinate obeys a uniform two-sided L1 bound.
-
$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.