{"id":"arxiv/2608.26365","url":"https://arxiv.org/abs/2608.26365","tags":["math.CV","math.AP","math.CA","math.FA"],"score":0,"title":"A complex-analytic proof of square-restricted stable phase retrieval in Fock space","domain":"math.CV","source":"arxiv","authors":["Cynthia Bortolotto","João P. G. Ramos"],"reviews":0,"subject":"math.CV","summary":"We give a short complex-analytic proof of a square-restricted form of local stable phase retrieval at the Gaussian in one-dimensional Fock space. The main estimate is a coercivity inequality for the map $F\\mapsto F^2$: \\[ \\|F^2-F(0)^2|_{\\mathcal{F}^2(\\mathbb{C})} \\lesssim \\inf_{c\\in\\mathbb{R}}\\||F|^2-c\\|_{L^2(d γ)}. \\] The proof uses a weighted derivative norm, two integrations by parts, and a weighted Cauchy inequality. The proof has been completely verified in Lean with the aid of Large Language Models.","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-08-26","reactions":{}}