[論文レビュー] An observation on the Tur\'an-Nazarov inequality

Omer Friedland, Yosef Yomdin|arXiv (Cornell University)|Jun 30, 2011

Mathematical Dynamics and Fractals参考文献 4被引用数 4

ひとこと要約

この論文は、指数多項式の周波数と次数に依存する幾何的不変量であるメトリックスパンに、サンプリング集合のLebesgue測度を置き換えることで、Turán-Nazarovの不等式を一般化している。メトリックスパンはLebesgue測度よりもタイトな境界を与えるとともに、離散的または有限集合に対しても正のまま保たれ、スパースな集合における多項式および準多項式近似のためのより強い不等式を可能にする。

ABSTRACT

The main observation of this note is that the Lebesgue measure $\\mu$ in the Tur\\'an-Nazarov inequality for exponential polynomials can be replaced with a certain geometric invariant $\\omega \\ge \\mu$, which can be effectively estimated in terms of the metric entropy of a set, and may be nonzero for discrete and even finite sets. While the frequencies (the imaginary parts of the exponents) do not enter in the original Tur\\'an-Nazarov inequality, they necessarily enter the definition of $\\omega$.

研究の動機と目的

• Lebesgue測度の代わりに、測度を越えた構造を捉える幾何的不変量を用いて、古典的Turán-Nazarov不等式を強化すること。
• 周波数に依存する新しい不変量、すなわちメトリックスパン ω_D(Ω) を定義し、その集合 Ω の有効サイズを、メトリックエントロピーと周波数内容に基づいて定量化すること。
• Lebesgue測度が有用な境界を提供できない離散的または有限な集合 Ω に対しても不等式を拡張すること。
• Khovanskii型の零点集合に関する境界を用いて、1次元および多次元設定に適用可能な統一的な枠組みを提供すること。
• 単位立方体上での準多項式に対するBrudnyiの不等式を、体積の代わりにメトリックスパンを用いて一般化すること。

提案手法

• メトリックスパン ω_D(Ω) を、sup_ε>0 ε[M(ε,Ω) - M_D] として定義する。ここで M(ε,Ω) は Ω を被覆する ε-区間の数を数え、M_D はレベル集合の成分数に対する周波数依存の上限である。
• Khovanskiiの定理を用いて、|p(t)| = ρ の解の数を、次数 m、最大周波数 λ、区間長 l で評価し、M_D = ⌊d/2⌋ + 1 とし、d ≈ C(m)lλ となるようにする。
• 任意の Ω ⊂ A に対して μ_n(A) ≥ ω_D(Ω) が成り立つことを示し、メトリックスパンが測度の下界であることを保証する。
• 元のTurán-Nazarov不等式を部分集合 A_ρ に適用し、μ(Ω) を ω_D(Ω) に置き換えることで、より強い不等式を導出する。
• n次元の準多項式にこの枠組みを拡張するため、M_D(ε) を n, k, d_j, λ に依存する 1/ε の多項式として定義する。
• 可測な Ω に対して ω_D(Ω) ≥ μ_n(Ω) を証明し、メトリックスパンが古典的不等式を一般化・強化することを示す。

実験結果

リサーチクエスチョン

• RQ1 離散集合に対しても正の値をとる幾何的不変量に置き換えることで、Turán-Nazarov不等式におけるLebesgue測度を置き換えることは可能か？
• RQ2 指数多項式の周波数コンテンツは、近似不等式におけるサンプリング集合の有効サイズにどのように影響するか？
• RQ3 集合のメトリックエントロピーと、指数多項式の最大値を制御する能力の関係は何か？
• RQ4 周波数依存の不変量を用いて、多次元の準多項式に対する古典的Turán-Nazarov不等式を一般化できるか？
• RQ5 スパースまたは有限な集合に対して、Remez型不等式におけるLebesgue測度の意味のある代替は存在するか？

主な発見

• メトリックスパン ω_D(Ω) は、常にLebesgue測度 μ_1(Ω) 以上であり、Ω が p の部分集合である場合に等しくなる。
• 任意の可測な Ω ⊂ ℝ に対して、絶対定数 c を用いて、sup_B |p| ≤ e^{μ_1(B)·max|Re λ_k|} · (c μ_1(B)/ω_D(Ω))^{m} · sup_Ω |p| が成り立つ。
• 十分に稠密な離散集合に対して、メトリックスパン ω_D(Ω) は正の値をとるため、μ_1(Ω) = 0 の場合でも非自明な境界が得られる。
• Khovanskiiの推定を用いて明示的な境界を導出し、d ≈ C(m)lλ とし、C(m) = n(2n+1)^{2n}2^{2n²}、n = ((m+1)(m+2))/2 + 1 とすることで、計算可能な ω̃_D(Ω) を得る。
• n次元では、メトリックスパンを ω_D(Ω) = sup_ε>0 ε^n [M(ε,Ω) - M_D(ε)] として定義する。ここで M_D(ε) は、周波数と次数に依存する 1/ε の多項式である。
• 一般化されたBrudnyiの不等式が成り立つ：sup_{Q^n_1} |p| ≤ (c n μ_n(Q^n_1)/ω_D(Ω))^ℓ · sup_Ω |p| であり、分母で体積の代わりにメトリックスパンが使われる。