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.
Lean LSP MCP: Tools for agentic interaction with the Lean theorem prover, 3 2025
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
math.FA 1years
2026 1verdicts
ACCEPT 1representative citing papers
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.