arXiv論文メモ
新着一覧
math.PR · 査読状況未確認

ガウス型位相回復の臨界条件での不安定性

Gaussian Critical-Threshold Instability in Real Phase Retrieval

Christian E. Häggblom

この論文をやさしく読む

ひとことで言うと

位相回復が一意に解けるぎりぎりのガウス行列で、解の安定性がどの程度小さくなるかを確率的に定めた。

何に役立つ?

位相回復で測定数が臨界値にある場合の安定性を理論的に評価する基準になる。

この研究の面白いところ

安定性パラメータを部分行列の最小特異値へ結び付け、確率的な上下限を一致させている。

どこまで分かった?

結果は独立な標準ガウス成分を持つ指定サイズの行列に関する漸近的な定理であり、任意の測定行列に対する保証ではない。

v1のアブストラクトに基づくAI解説。日本語訳とは別に、用途の解釈を含みます。

アブストラクトの日本語訳

実数のガウス型位相回復がちょうど一意性を持つ臨界条件において、不安定性の自然な大きさを示す。A を独立な標準ガウス成分を持つ (2M−1)×M 行列とし、K_M を二項係数 C(2M−1,M) とする。w_M が無限大へ発散し、log w_M=o(M) を満たす任意の列について、Balan–Wang の安定性パラメータ ω(A) が 1/(w_M√M K_M) 以上、w_M/(√M K_M) 以下となる確率が1へ収束することを証明する。したがって −log ω(A)/M は確率収束の意味で log 4 へ近づく。この臨界条件のフルスパーク行列では、ω(A) は写像 x↦|Ax| の最良の下側リプシッツ定数であると同時に、全ての正方行部分行列にわたる最小特異値の最小値でもある。上限には、重なりのある小行列式の二次モーメント解析を用いる。重み付きガウス逆尾部の漸近式と逆ウィシャート分布の集中性から、中央の重なりについて漸近的独立性を得て、残る重なりは長方形行列のハードエッジ境界で扱う。一致する下限は、和集合による上界と正方ガウス行列のハードエッジ評価から導く。

v1の要旨から自動生成。本文の精読・人による確認は未実施。

初稿
2026-09-23(UTC)
最新改訂
2026-09-23 · v1
査読・掲載
査読状況未確認
arXivで読むPDF

更新履歴

取得できた版を表示。版の更新は査読済みを意味しません。過去版の本文差分は未解析です。

原文の要旨

We establish the natural scale of instability in real Gaussian phase retrieval at the critical injectivity threshold. Let $A$ be a $(2M-1)\times M$ matrix with independent standard Gaussian entries and let $K_M=\binom{2M-1}{M}$. For every $w_M\to\infty$ with $\log w_M=o(M)$, we prove that $\mathbb{P}\{(w_M\sqrt{M}K_M)^{-1}\le\omega(A)\le w_M/(\sqrt{M}K_M)\}\to1$, where $\omega(A)$ is the Balan--Wang stability parameter. Consequently, $-M^{-1}\log\omega(A)\to\log4$ in probability. For full-spark matrices at this threshold, $\omega(A)$ equals both the optimal lower Lipschitz constant of $x\mapsto|Ax|$ and the minimum least singular value over all square row submatrices. The upper bound follows from a second-moment analysis of overlapping minors. A weighted Gaussian inverse-tail asymptotic and inverse-Wishart concentration yield asymptotic independence for central overlaps; rectangular hard-edge bounds control the remaining overlaps. The matching lower bound follows from a union bound and a square Gaussian hard-edge estimate.

著者のコメント

38 pages, no figures

arXiv ID: 2609.28198 / 要約の誤りについて