Uniqueness and shape of simplex ground states for aggregation--diffusion energies with mild repulsion

技術的要約：緩やかな反発を伴う集積・拡散エネルギーにおける単体基底状態の一意性と形状

問題設定
本論文は、ボレル確率測ルの空間 $\mathcal{P}(\mathbb{R}^d)$ 上で定義された自由エネルギー汎関数 $E_\kappa = W + \kappa U$ の大域的最小化子（基底状態）を調査するものである。相互作用エネルギー $W$ は、べき乗型のポテンシャル $W_{\alpha,\beta}(x) = |x|^\alpha/\alpha - |x|^\beta/\beta$（緩やかな反発 $\alpha > \beta \ge 2$）であり、$U$ は指数 $m > 1$ のポアソン・ミディアム内部エネルギーである。パラメータ $\kappa > 0$ は拡散の強さを表す。

拡散がない場合（$\kappa = 0$）、先行研究（Lim–McCann および Davies–Lim–McCann）により、「厳密な単体レジーム」（特定の指数の範囲 $\alpha, \beta$）においては、相互作用エネルギー $W$ が、正則な単位 $d$-単体の頂点における等質量点質量の集合によって（剛体運動を除いて）一意に最小化されることが確立されている。しかし、拡散（$\kappa > 0$）が加わると、点質量は無限の内部エネルギーを持つため、このような原子的な最小化子は排除される。本研究が扱う中心的な問いは、$\kappa > 0$ が小さい場合に一意性が維持されるのか、そしてもしそうであれば、結果として得られる拡散した最小化子の幾何学的構造と対称性はどのようなものか、ということである。

手法
著者らは、変分法と $\kappa \to 0$ における漸近解析を組み合わせた手法を用いている。そのプロセスは以下の主要なステップからなる。

1. 存在性と局在化: 標準的なコンパクト性議論を用いて大域的最小化子の存在を確立する。著者らは、相互作用コスト（$r^2$）と拡散コスト（$\kappa r^{-d(m-1)}$）のバランスをとるスケーリング因子 $r_\kappa = \kappa^{1/(d(m-1)+2)}$ を導入する。十分小さな $\kappa$ に対して、中心化された最小化子は、正則単体の頂点の近くに幅 $O(r_\kappa)$ の $d+1$ 個のクラスターへと集中することを証明する。
2. 整列と正規化: 剛体運動（並進および回転）に起因する非一意性を扱うため、参照単体の頂点に対するクラスターの一次モーメントに関する整列条件を課すことで、「正規化された」最小化子を定義する。これにより、クラスターの質量が事前に等しいと仮定することなく、剛体運動の自由度を固定する。
3. 第一変分による一意性: 二つの整列された最小化子を比較することが証明の核心である。エネルギーの第一変分を分析することで、密度差に関する不等式を導出する。その際、以下の手法を用いる：
   • 単体の幾何学と整列条件に依存する、密度の一次モーメントに作用する特定の二次形式 $B(p)$ の非負性。
   • 再スケーリングされた圧力の凹性に由来する、拡散重みの逆数に関する一様有界性（これにより密度の $L^1$ 差を制御する）。
   • 相互作用誤差を吸収するための重み付きコーシー・シュワルツ評価。
4. 漸近解析: 一意性を確立した後、最小化子を $r_\kappa$ で再スケーリングし、$\kappa \to 0$ の極限を分析する。各クラスターが、単体のヘッセ行列によって決定される明示的なプロファイルへと収束することを示す。

主な貢献と結果

• 剛体運動を除いた一意性: 主要な結果（定理 1.1）は、すべての $m > 1$ および十分小さな $\kappa > 0$（厳密な単体レジーム内）において、自由エネルギー $E_\kappa$ が剛体運動を除いて一意な大域的最小化子を持つことを証明している。極めて重要な点は、この一意性がクラスターの質量が等しい（$1/(d+1)$）という仮定なしに証明されていることである。質量の等価性（$1/(d+1)$）および単体の完全な対称性は、一意性の帰結として導かれる。
• クラスター構造と対称性: 一意な最小化子は、$d \ge 2$ においては半径方向に対称ではない。その支持集合は $d+1$ 個の明確なクラスターに分裂し、それぞれが正則単体の頂点の近くに位置し、質量は正確に $1/(d+1)$ である。最小化子は単体のあらゆる対称性に対して不変である。
• スケーリングと極限プロファイル: クラスターの幅は $r_\kappa = \kappa^{1/(d(m-1)+2)}$ でスケールする。$r_\kappa$ によって再スケーリングされると、クラスターは単体のヘッセ行列によって決定される楕円体上の明示的なバレンブラット型プロファイルに $L^1$ および $L^\infty$ で収束する。
  • $d \ge 2$ の場合、これらの楕円体は頂点方向に向かって扁平な回転楕円体（スフェロイド）となる。
  • 反発指数 $\beta > 2$ のとき、これらの楕円体のアスペクト比は他のパラメータに依存せず $(d+1)^{-1/2}$ である。
  • $\beta = 2$ のとき、アスペクト比は $\alpha$ に依存し、$\alpha \downarrow 4$ のとき $0$ に収束する。
• ワッサースタイン距離: 最小化子と原子的な単体測度との間の二次ワッサースタイン距離は、正確に $r_\kappa$ のオーダーであることが示されている。
• 退化ケースの選択: $(\alpha, \beta) = (4, 2)$ かつ $d \ge 2$ の境界領域において、ゼロ拡散の最小化子は一意ではなく（一様な球面殻を含む）、単体クラスターを含む。著者らは、消失する拡散が、厳密なレジームで見られる単体クラスターとは異なる、一様な球面殻を一意な極限として選択することを示す。

意義と主張
本論文は、半径方向の相互作用カーネルを持ち、外部ポテンシャルが存在しない $\mathbb{R}^d$ 上の集積・拡散自由エネルギーの大域的最小化子のうち、剛体運動を除いた一意性を確立した最初の結果を提供すると主張している。

著者らは、単体の対称性とクラスター質量の正確な一致が、摂動的な構成（クラスターの質量や中心をあらかじめ規定するもの）とは異なり、最小化原理と一意性の証明の「帰結」であることを強調している。さらに、本研究は、最小化子が離散的な原子から分離した拡散クラスターへとどのように移行するかという、小拡散極限の特異な性質を明らかにしている。これは、相互作用カーネル自体が半径方向であっても、クラスターの具体的な形状が相互作用ポテンシャルのヘッセ行列の異方性によって決定されることを示している。

最後に、これらの静的な結果は動力学的安定性解析（随伴論文で扱われる）には依存しないことを述べ、すべての $\kappa > 0$ に対する一意性と、不均一な質量を持つ局所的最小化子の挙動に関する未解決の問いを残している。