p ≤ O(n) の準漸近領域において、レゾルベント G^z のトレースが決定論的等価体 ူG^z に収束することを証明。

誤差評価は、二次形式の 2 次モーメント境界下で ||B||_HS/∑n のオーダーにより厳密に制御される。

各列ベクトル内での要素間の独立性を仮定せず、一般的な共分散プロファイルを許容する数学的一般性を備える。

高次元データの統計的性質を解明する上で、共分散行列のスペクトル分布の理解は不可欠。本論文の「列内独立性を課さない」厳密な誤差評価を知らないと、実データのような相関の強い多次元データを扱う際の理論的保証を見誤るリスクがある。