一様に離れた標本点からの位相復元
Phase retrieval from a uniformly discrete point set
この論文をやさしく読む
ひとことで言うと
短時間フーリエ変換の大きさを、互いに一定以上離れた点で測れば、元の関数を全体の位相差を除いて復元できると証明した研究です。
何に役立つ？
位相情報のない測定から信号を復元するための標本点集合を設計する理論的な手掛かりになります。
この研究の面白いところ
標本点の分離距離を多項式hの次数に依存させず、次元の平方根に比例させられると示し、主結果のLean 4による形式化も提示しています。
どこまで分かった？
定理の窓関数はガウス関数に多項式を掛けた形で、復元の一意性は一定の位相因子を除いたものです。要旨に実測データでの検証はありません。
v1のアブストラクトに基づくAI解説。日本語訳とは別に、用途の解釈を含みます。
アブストラクトの日本語訳
w(x)=e^(−π|x|²)h(x)という形の任意の窓関数について、ここでhが多項式であるとき、R^(2d)内に一様に離散的な点集合Sが存在し、その点上で測った短時間フーリエ変換V_w fの大きさから、すべてのf∈L²(R^d)を一定の位相因子を除いて一意に定められることを証明する。点の最小分離距離はhの次数に依存しないように選べ、次元の平方根に比例する。証明は、多次元のレメズ不等式とVC次元の上界に基づく離散的なノルム評価不等式を、再生核の裾の評価と組み合わせる。また、主結果をLean 4で形式化したものも提供する。
v1の要旨から自動生成。本文の精読・人による確認は未実施。
- 初稿
- 2026-09-23（UTC）
- 最新改訂
- 2026-09-23 · v1
- 査読・掲載
- 査読状況未確認
更新履歴
- v1 2026-09-23 この版を読む
取得できた版を表示。版の更新は査読済みを意味しません。過去版の本文差分は未解析です。
原文の要旨
We prove that for every window $w$ of the form $w(x) = e^{-\pi |x|^2} h(x)$, where $h$ is a polynomial, there exists a uniformly discrete set of points $\mathcal{S} \subset \mathbb R^{2d}$ such that the magnitude of the short-time Fourier transform $V_w f$ on $\mathcal{S}$ determines every $f \in L^2(\mathbb R^d)$ up to a constant phase factor. The separation distance can be chosen independent of the degree of $h$ and proportional to the square root of the dimension. The proof combines a discrete norming inequality, based on a multidimensional Remez inequality and VC-dimension bounds, with tail estimates for the reproducing kernel. A formalization of our main result in Lean 4 is also provided.
著者のコメント
14 pages, 1 figure, Lean code available at https://github.com/josefgreilhuber/DiscretePhaseRetrieval
arXiv ID: 2609.28341 ／ 要約の誤りについて