[论文解读] An observation on the Tur\'an-Nazarov inequality

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

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

一句话总结

本文通过用依赖于频率和次数的几何不变量——度量跨度（metric span）取代采样集的勒贝格测度，推广了Turán-Nazarov不等式。度量跨度提供了比勒贝格测度更紧的界，且即使在离散或有限集合上仍保持正值，从而在稀疏集合上对多项式及准多项式逼近建立了更强的不等式。

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$.

研究动机与目标

• 通过用捕捉测度之外结构的几何不变量替代勒贝格测度，强化经典的Turán-Nazarov不等式。
• 定义一个新的不变量——度量跨度 ω_D(Ω)，用于量化集合 Ω 在度量熵与频率内容意义上的有效大小。
• 将不等式推广至 Ω 为离散或有限集的情形，此时勒贝格测度无法提供有用的界。
• 通过Khovanskii型零点集界，建立适用于一维与多维情形的统一框架。
• 使用度量跨度替代体积，推广Brudnyi关于单位立方体上准多项式的不等式。

提出的方法

• 将度量跨度 ω_D(Ω) 定义为 sup_ε>0 ε[M(ε,Ω) - M_D]，其中 M(ε,Ω) 表示覆盖 Ω 的 ε-区间数量，M_D 为频率相关且对分量数量的有界值。
• 利用Khovanskii定理，根据次数 m、最大频率 λ 和区间长度 l，对 |p(t)| = ρ 的解数进行有界，得到 M_D = ⌊d/2⌋ + 1，其中 d ≈ C(m)lλ。
• 证明对任意 Ω ⊂ A（A 为 p 的子水平集），有 μ_n(A) ≥ ω_D(Ω)，从而表明度量跨度是测度的下界。
• 对子水平集 A_ρ 应用原始的Turán-Nazarov不等式，将 μ(Ω) 替换为 ω_D(Ω)，从而导出更强的不等式。
• 通过定义 M_D(ε) 为关于 1/ε 的多项式（系数依赖于 n, k, d_j, λ），将框架扩展至 n 维准多项式。
• 证明对可测 Ω 有 ω_D(Ω) ≥ μ_n(Ω)，表明度量跨度推广并强化了经典不等式。

实验结果

研究问题

• RQ1 能否在Turán-Nazarov不等式中用一个在离散集合上仍为正的几何不变量替代勒贝格测度？
• RQ2 指数多项式的频率内容如何影响逼近不等式中采样集合的有效大小？
• RQ3 集合的度量熵与其控制指数多项式最大值的能力之间有何关系？
• RQ4 能否使用依赖频率的不变量，将经典Turán-Nazarov不等式推广至多维准多项式？
• RQ5 在稀疏或有限集合的Remez型不等式中，是否存在勒贝格测度的有意义替代？

主要发现

• 度量跨度 ω_D(Ω) 总是不小于勒贝格测度 μ_1(Ω)，当 Ω 为 p 的子水平集时取等。
• 对任意可测 Ω ⊂ ℝ，有不等式 sup_B |p| ≤ e^{μ_1(B)·max|Re λ_k|} · (c μ_1(B)/ω_D(Ω))^{m} · sup_Ω |p|，其中 c 为绝对常数。
• 对足够密集的离散集合，度量跨度 ω_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|，其中 ω_D(Ω) 取代了分母中的体积。