Symmetry breaking in the liquid drop model with screened interactions

技術要約：遮蔽相互作用を伴う液滴モデルにおける対称性の破れ

問題設定
本論文は、以下のエネルギー汎関数によって定義される一般化されたガモウ（Gamow）液滴モデルを調査する：
$$E_G(E) = P(E) + \int_{E \times E} G(x-y) \, dx \, dy$$
ここで、$P(E)$ は固定された質量 $|E|=m$ を持つ集合 $E \subset \mathbb{R}^n$ の周囲長であり、$G$ は径方向、非負、かつ局所可積分な相互作用カーネルである。本研究は、相互作用を「遮蔽（スクリーニング）」することの効果、具体的には古典的なクーロンの場合（$\mathbb{R}^3$ における $G(x) = |x|^{-1}$）と、以下の遮蔽された変種との比較に焦点を当てている：

1. 切断クーロンポテンシャル: $R_{1,\kappa}(x) = \mathbb{1}_{|x|<\kappa}|x|^{-1}$
2. ユカワ（Yukawa）ポテンシャル: $Y_{1,\kappa}(x) = e^{-|x|/\kappa}|x|^{-1}$

中心となる問いは、遮蔽が対称性の破れを引き起こし、非球形の最小値へと導くのか、あるいは、ChodoshおよびGianocca (2026) が古典的なクーロンの場合に確立したように、最小値が（小質量において）依然として球体であるのかという点である。

手法
著者らは、異なる幾何学的形状の「質量あたりのエネルギー比率（$\rho$）」を比較する変分アプローチを用いる。コアとなる戦略は以下の通りである：

1. 一般化された最小値: 著者らは、総質量 $m$ を持つ互いに素な集合の列 $(E_i)$ を考える。もしエネルギーの質量あたりの比率の全域的下限が、球（または球の和集合）以外の形状によって達成されるならば、球ではない真の最小値が存在することを彼らは確立している。
2. 形状比較: 著者らは、3つの特定の幾何学的形状に対する最適なエネルギー・質量比率を定義し、計算する：
   • 球（Balls, $\rho_{ball}$）: 最小値の標準的な候補。
   • 無限円柱（Infinite Cylinders, $\rho_{cyl}$）: 対称性の破れを検出するためのテストケース。著者らは、円柱の長さ $L \to \infty$ としたときのエネルギー・質量比率の極限を計算する。
   • コア・シェル（Core-shells, $\rho_{shell}$）: 球殻状の領域 $B_R \setminus B_r$。これは径方向の対称性の破れをテストするために用いられる。
3. スライシング公式: 著者らは、凸集合の非局所的な相互作用エネルギーを、その一次元スライス上の積分として表現するスライシング公式（命題 1.12）を主要な技術的ツールとして用いる。これにより、著者らは $n$ 次元の相互作用積分を1次元の問題へと還元することができ、球や円柱のエネルギー計算を容易にしている。
4. 数値的および記号的検証: 遮蔽されたポテンシャルに対して、得られるエネルギー式は特殊関数（切断クーロンの場合は不完全ベータ関数、$K_0$ を含む修正ベッセル関数）を含む。著者らは、記号計算ライブラリ（SymPy）および高精度数値積分（特異点除去を伴うシンプソンの法則）を用いて、計算された比率を厳密に比較している。

主な貢献と結果

• 非球形最小値の存在（定理 B）:
  著者らは、遮蔽されたモデルの特定のパラメータにおいて、大域的最小値が球ではないことを証明する。

  • 切断クーロン: $n=3$ かつ $\kappa = 11/10$ のとき、最小値は連結であるが球ではない質量 $m$ が存在する。さらに、大域的最小値は球でもなく、球の互いに素な和集合でもない。
  • ユカワ: $n=3$ かつ $\kappa = 28/5$ のとき、同様の結果が得られる：連結な非球形最小値が存在する。
  • メカニズム: これは、これらのパラメータにおいて、長い円柱のエネルギー・質量比率が球よりも厳密に低い（$\rho_{cyl} < \rho_{ball}$）ことを示すことにより実証される。

• 非径方向最小値の存在（定理 C）:
  切断クーロンポテンシャル（$\kappa = 11/10$）に焦点を当て、著者らはより強力な結果、すなわち最小値が球ではないだけでなく、**非径方向（non-radial）**でもあることを証明する。

  • 彼らは、円柱のエネルギー・質量比率がコア・シェルの比率よりも厳密に低い（$\rho_{cyl} < \rho_{shell}$）ことを示す。
  • このパラメータにおける最適なコア・シェルの比率が球の比率と一致するため（$\rho_{shell} = \rho_{ball}$）、円柱は非径方向であり、したがって最小値は球でも、コア・シェルでも、あるいはそのような径方向の集合の互いに素な和集合でもない。
  • 意義: 著者らは、これが、任意の径方向カーネル（以前は、異方性カーネルまたは2次元における非単調カーネルにおいてのみ非径方向の最小値が知られていた）における一般化された液滴モデルにおける、最初の非径方向最小値の証拠を提供すると主張している。

• リースのポテンシャルとの対比（命題 G）:
  論文は、古典的なリースのケース（$G(x) = |x|^{-\alpha}$）とこれらの知見を対比させている。整数 $\alpha \in (1, n)$ に対して、著者らは $\rho_{ball} < \rho_{cyl}$ であることを証明している。これは、球がリースの相互作用における一意の最小値であるという予想を支持しており、対称性の破れが相互作用カーネルの急速な減衰（遮蔽）の特異な帰結であることを浮き彫りにしている。

意義と主張
本論文は、3次元における径方向カーネルを用いた液滴モデルにおける対称性の破れの最初の厳密な証拠を提供すると主張している。具体的には：

1. クーロン相互作用を遮蔽することが球形の形状を不安定化させ、細長い（円柱のような）構造がエネルギー的に有利になることを示している。
2. 径方向で、かつ径方向に単調減少するカーネルに対して、非径方向の最小値が存在することを確立している。これは、等方的な問題においても径方向の対称性が保持されるという直感に異を唱えるものである。
3. これらの結果は遮蔽されたポテンシャルに特有のものである。著者らは、遮蔽されていないクーロンの場合、球が依然として一意の最小値であること（Chodosh–Gianoccaによる）に注意を払っている。

著者らは、非径方向の最小値に関するユカワのケースについての主張については、控えめな姿勢をとっている（予想 D）。彼らは、この現象が保持されると予想しているものの、ベッセル関数を伴う計算は現在のところ厳密な解析的証明には「手に負えない（untractable）」としており、それは未解決の予想として残されている。論文は、ユカワのケースにおける非径方向の最小値の存在を支持するために数値的証拠と記号計算に依存しているが、非径方向の結果は現在、切断クーロンポテンシャルの場合にのみ厳密に証明されている。