$L^2$-Stability for STFT phase retrieval

Susanna Bertolini; Jaume de Dios Pont; Ben Pineau; Mitchell A. Taylor; João P. G. Ramos

$L^2$-Stability for STFT phase retrieval

Susanna Bertolini, Jaume de Dios Pont, Ben Pineau, Mitchell A. Taylor, João P. G. Ramos

arXivarxiv/2605.20527May 19, 2026math.FAscore 0

We prove that the short-time Fourier transform with Gaussian window performs $L^2$-local stable phase retrieval at the constant function. The proof involved significant interplay between mathematicians and LLMs. An autoformalization in Lean 4 of an extension of our result to $L^2$-local stable phase retrieval for all Hermite windows and all elements in the finite span of the canonical basis vectors is also presented.

Source JSON

Comments and reviews

No comments yet.

API

curl /api/v1/records/arxiv/2605.20527
curl -X POST /api/v1/records/arxiv/2605.20527/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
  -d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2605.20527/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
  -d '{"body": "…", "review": true}'