2025-11-10T03:13:56.100421

The Turán and Delsarte problems and their duals

Kolountzakis, Lev, Matolcsi
We study two optimization problems for positive definite functions on Euclidean space with restrictions on their support and sign: the Turan problem and the Delsarte problem. These problems have been studied also for their connections to geometric problems of tiling and packing. In the finite group setting the weak and strong linear duality for these problems are automatic. We prove these properties in the continuous setting. We also show the existence of extremizers for these problems and their duals, and establish tiling-type relations between the extremal functions for each problem and the extremal measures or distributions for the dual problem. We then apply the results to convex bodies, and prove that the Delsarte packing bound is strictly better than the trivial volume packing bound for every convex body that does not tile the space.
academic

Turán問題とDelsarte問題およびそれらの双対

基本情報

  • 論文ID: 2510.10172
  • タイトル: The Turán and Delsarte problems and their duals
  • 著者: Mihail N. Kolountzakis, Nir Lev, Máté Matolcsi
  • 分類: math.CA（古典解析）、math.MG（距離幾何）
  • 発表日: 2025年10月11日
  • 論文リンク: https://arxiv.org/abs/2510.10172v1

要約

本論文は、ユークリッド空間上の正定値関数に関する2つの最適化問題、すなわちTurán問題とDelsarte問題を研究する。これらの関数は支持集合と符号に制限がある。これらの問題は、幾何学における敷き詰め（tiling）および充填（packing）問題との関連性から広く研究されている。有限群の設定では、これらの問題の弱および強線形双対性は自動的に成立する。著者らは連続設定においてこれらの性質を証明し、これらの問題およびそれらの双対の極値関数の存在性を示し、各問題の極値関数と双対問題の極値測度または分布との間に敷き詰め型関係を確立する。その後、結果を凸体に適用し、空間を敷き詰めることができない凸体に対して、Delsarte充填界が自明な体積充填界よりも厳密に優れていることを証明する。

研究背景と動機

問題の重要性

  1. Turán極値問題：支持集合が制限されたときの正定値関数の積分最大値問題を研究する。これは調和解析における古典的問題である
  2. Delsarte問題：球充填密度推定、接吻数問題などの幾何学的問題において重要な応用がある
  3. 双対理論：有限群の設定では双対性が自動的に成立するが、連続設定では深い理論的分析が必要である

既存手法の限界

  • 無限次元線形計画法では、双対性が成立しない可能性がある
  • 連続設定では極値関数の存在性が明らかではない
  • Turán問題とDelsarte問題を扱うための統一的な理論的枠組みが欠けている

研究動機

連続設定下におけるTurán問題とDelsarte問題の完全な理論的枠組みを確立し、弱強双対性、極値関数の存在性を含め、幾何学的敷き詰め問題との深い関連性を探求する。

核心的貢献

  1. 連続設定における強線形双対性の証明：適切な幾何学的条件下で、Turán問題とDelsarte問題は T(U)T′(U)=1T(U)T'(U) = 1 および D(U)D′(U)=1D(U)D'(U) = 1 を満たす
  2. 極値関数の存在性の確立：原問題と双対問題の両方が極値関数を持つことを証明
  3. 極値関数間の敷き詰め型関係の解明：f⋅α=δ0f \cdot \alpha = \delta_0 および f^⋅α^=δ0\hat{f} \cdot \hat{\alpha} = \delta_0 などの関係
  4. 凸体理論への応用：空間を敷き詰めることができない凸体のDelsarte界が体積界よりも厳密に優れていることを証明
  5. スペクトル性、敷き詰め性と最適化問題の連結：これらの概念間の深い関連性を確立

方法の詳細説明

問題の定義

Turán問題：開集合 U⊂RdU \subset \mathbb{R}^d が与えられたとき、Turán定数を次のように定義する T(U)=sup⁡{∫f:f(0)=1,f=0 on Uc,f^≥0}T(U) = \sup\left\{\int f : f(0) = 1, f = 0 \text{ on } U^c, \hat{f} \geq 0\right\}

Delsarte問題：Delsarte定数を次のように定義する D(U)=sup⁡{∫f:f(0)=1,f≤0 on Uc,f^≥0}D(U) = \sup\left\{\int f : f(0) = 1, f \leq 0 \text{ on } U^c, \hat{f} \geq 0\right\}

双対問題の構成

双対Turán問題： T′(U)=sup⁡{α^({0}):α=δ0+β,supp(β)⊂Uc,α^≥0}T'(U) = \sup\{\hat{\alpha}(\{0\}) : \alpha = \delta_0 + \beta, \text{supp}(\beta) \subset U^c, \hat{\alpha} \geq 0\}

双対Delsarte問題： D′(U)=sup⁡{α^({0}):α=δ0+β,β≥0,supp(β)⊂Uc,α^≥0}D'(U) = \sup\{\hat{\alpha}(\{0\}) : \alpha = \delta_0 + \beta, \beta \geq 0, \text{supp}(\beta) \subset U^c, \hat{\alpha} \geq 0\}

技術的革新点

  1. 境界条件の処理：「連続境界」の概念を導入し、局所的に連続関数のグラフとして表現可能であることを要求
  2. 近似技法：Schwartz関数による近似を使用して、連続関数と緩増分布の積を処理
  3. Hahn-Banach分離定理の応用：無限次元設定における双対性を確立
  4. 平移有界測度理論：Fourier変換が測度である緩増分布を処理

主要な理論的結果

弱線形双対性

定理 4.3, 5.3：適切な条件を満たす開集合 UU に対して、以下が成立する T(U)T′(U)≤1,D(U)D′(U)≤1T(U)T'(U) \leq 1, \quad D(U)D'(U) \leq 1

強線形双対性

定理 4.7, 5.4：より強い幾何学的条件下では、等号が成立する T(U)T′(U)=1,D(U)D′(U)=1T(U)T'(U) = 1, \quad D(U)D'(U) = 1

極値関数の存在性

定理 4.9, 5.6：原問題と双対問題の両方が極値関数を持つ。

極値関数間の関係

定理 4.10, 5.8：ff と α\alpha がそれぞれ原問題と双対問題の極値関数である場合、以下が成立する：

  • f^⋅α^=δ0\hat{f} \cdot \hat{\alpha} = \delta_0
  • f⋅α=δ0f \cdot \alpha = \delta_0（Delsarte場合）

幾何学的応用

充填密度推定

定理 6.1：任意の集合 AA の平移充填密度は D(Δ(A))−1D(\Delta(A))^{-1} を超えない。ここで Δ(A)\Delta(A) は本質的差集合である。

敷き詰めとスペクトル性の特性化

定理 6.2, 6.3：

  • AA が空間を敷き詰めることができる場合、D(Δ(A))=m(A)D(\Delta(A)) = m(A)
  • AA がスペクトル集合である場合、D(Δ(A))=m(A)D(\Delta(A)) = m(A)

凸体の完全な特性化

定理 6.4：凸体 AA に対して、等式 D(Δ(A))=m(A)D(\Delta(A)) = m(A) が成立することと AA が空間を敷き詰めることができることは同値である。

系 6.5：空間を敷き詰めることができない凸体のDelsarte界は体積界よりも厳密に優れている。

技術的詳細

主要補題

  1. 補題 4.4：連続境界条件下のSchwartz関数近似
  2. 補題 4.5：平移有界性の確立
  3. 補題 4.6：畳み込み関係 f^∗α^=1\hat{f} * \hat{\alpha} = 1 a.e.

証明戦略

  1. 分離定理を使用して双対性の必要条件を確立
  2. 近似とコンパクト性論証を通じて存在性を確立
  3. 極値条件の分析を利用して関数間の正確な関係を確立

関連研究

歴史的発展

  • Turán問題は三角級数理論に起源する
  • Delsarte問題は符号理論と球充填における応用
  • 有限群の場合の完全な理論（Matolcsi-Ruzsa 2014）

本論文との関係

本論文は有限群の理論を連続設定に成功裏に拡張し、長年存在していた技術的困難を解決する。

結論と考察

主要な結論

  1. 連続設定下におけるTurán問題とDelsarte問題の完全な双対理論を確立
  2. 極値関数の存在性とそれらの間の敷き詰め型関係を証明
  3. 凸体理論において深い幾何学的応用を獲得

限界

  1. 較強い幾何学的条件（連続境界など）が必要
  2. 一般的な開集合に対して、いくつかの結果は成立しない可能性がある
  3. 具体的な定数値の計算は依然として困難

今後の方向性

  1. 非Turán領域の例を探索
  2. より一般的な局所コンパクトアーベル群への拡張
  3. 他の幾何学的最適化問題との関連性の探求

深い評価

利点

  1. 理論的完全性：連続設定における完全な双対理論的枠組みを確立
  2. 技術的革新：無限次元線形計画法の技術的困難を巧妙に処理
  3. 幾何学的洞察：最適化問題と幾何学的性質の深い関連性を解明
  4. 応用価値：充填理論において新しいツールを提供

不足

  1. 幾何学的条件：開集合に対する幾何学的条件が較強く、適用範囲を制限
  2. 計算複雑性：理論的枠組みは確立されたが、具体的な計算は依然として困難
  3. 未解決問題：非Turán領域の存在性など、いくつかの重要な問題は未解決

影響力

これは調和解析、凸幾何学および最適化理論の交差領域における重要な進展であり、関連研究に強力な理論的ツールを提供する。

適用場面

  1. 球充填密度の理論的分析
  2. 凸体の幾何学的性質の研究
  3. 調和解析における極値問題
  4. 符号理論と離散幾何学

参考文献

論文は本分野の重要な文献を引用しており、以下を含む：

  • Delsarteの原始的業績 Del72, DGS77
  • Cohn-Elkiesの球充填への応用 CE03
  • Viazovska の8次元および24次元における革新的結果 Via17, CKMRV17
  • 著者らのFuglede予想に関する先行研究 LM22