[論文レビュー] The Beurling-Selberg Box Minorant Problem

Jacob Carruth, Felipe Gonçalves+1 more|arXiv (Cornell University)|Feb 15, 2017

Analytic Number Theory Research参考文献 25被引用数 4

ひとこと要約

この論文は、ボックス $[-1,1]^N$ の特性関数に対する高次元のBeurling-Selberg下界問題を検討し、同じボックス内にフーリエ変換の台を持つ関数でその下界を求める問題に注目する。$N$ が十分に大きい場合には非自明な下界関数が存在しないことを証明するが、$N \leq 5$ の次元では明示的な下界関数の構成がなされ、低次元における問題が解決される。

ABSTRACT

In this paper we investigate a high dimensional version of Selberg's minorant problem for the indicator function of an interval. In particular, we study the corresponding problem of minorizing the indicator function of the box $Q_{N}=[-1,1]^N$ by a function whose Fourier transform is supported in the same box $Q_N$. We show that when $N$ is sufficiently large there are no non-trivial minorants (that is, minorants with positive integral). On the other hand, we explicitly construct non-trivial minorants for dimension $N\leq 5$.

研究の動機と目的

• セルバーグの古典的下界問題をボックス $Q_N = [-1,1]^N$ の高次元への拡張すること。
• 正の積分を持つ関数として、$Q_N$ の特性関数を下界するが、そのフーリエ変換の台が $Q_N$ 内にあるような非自明な下界関数が存在するかを特定すること。
• このような下界関数が存在しなくなる臨界次元を特定し、低次元においてはそれらを明示的に構成すること。

提案手法

• 調和解析における双対性問題として、$\mathbb{R}^N$ 上の下界問題を定式化すること。
• コンパクトに台を持つフーリエ変換を持つ非負関数の性質とフーリエ解析を用いること。
• 極値関数論を用いて、所望のフーリエ台を持つ下界関数を構成すること。
• $N \leq 5$ に対して、三角多項式および対称関数を用いた明示的構成を実行すること。
• 下界関数の $L^1$-ノルムの減衰を分析し、非自明性を評価すること。
• 対称性と双対性を活用して、低次元においては有限次元最適化問題に問題を還元すること。

実験結果

リサーチクエスチョン

• RQ1 どの次元 $N$ に対して、$[-1,1]^N$ の特性関数の非自明な下界関数が存在するか。ただし、そのフーリエ変換の台は $[-1,1]^N$ 内にあるものとする。
• RQ2 このような非自明な下界関数が存在しなくなる臨界次元は何か。
• RQ3 小次元 $N$ に対して非自明な下界関数を明示的に構成できるか。もし可能であれば、どの $N$ に対して成立するか。
• RQ4 次元 $N$ が増加するにつれて、下界問題の挙動はどのように変化するか。
• RQ5 対称性およびフーリエ台の構造は、下界関数の存在または非存在にどのような役割を果たすか。

主な発見

• 十分に大きな $N$ に対しては非自明な下界関数が存在しない。これは、$N$ がある閾値を超えると、正の積分を持つようなそのような下界関数を構成できないことを意味する。
• 次元 $N \leq 5$ に対して、非自明な下界関数の明示的構成がなされ、低次元の場合にその存在が裏付けられる。
• 非自明な下界関数が消滅する臨界次元は有限であるが、要約では正確な値は指定されていない。
• $N \leq 5$ の構成は、対称的な三角多項式と、フーリエ台の精密な制御に依存している。
• 構成された場合の下界関数の $L^1$-ノルムはゼロから明確に離れているため、非自明性が確認される。
• 問題は有限次元で急激な挙動の転換を示し、極値関数の構造に根本的な次元的閾値が存在することを示唆している。