[论文解读] Estimates of the Discrepancy Function in Exponential Orlicz Spaces

Gagik Amirkhanyan, Dmitriy Bilyk+1 more|arXiv (Cornell University)|Jun 7, 2013

Mathematical Approximation and Integration参考文献 9被引用 3

一句话总结

该论文为高维单位立方体 $[0,1]^n$（$n \geq 3$）中的点集在指数 Orlicz 空间中建立了差异函数的最优估计。通过一种基于 Littlewood-Paley 不等式和 dyadic 结构上的 Rademacher 型函数的创新方法，作者证明了存在一个大小为 $N$ 的点分布 $\

ABSTRACT

We prove that in all dimensions n at least 3, for every integer N there exists a distribution of points of cardinality $ N$, for which the associated discrepancy function D_N satisfies the estimate an estimate, of sharp growth rate in N, in the exponential Orlicz class exp)L^{2/(n+1)}. This has recently been proved by M.~Skriganov, using random digit shifts of binary digital nets, building upon the remarkable examples of W.L.~Chen and M.~Skriganov. Our approach, developed independently, complements that of Skriganov.

研究动机与目标

• 在高维立方体中的点集中，建立差异函数在指数 Orlicz 范数下的精确估计。
• 为 $n \geq 3$ 维中差异函数的 $\operatorname{exp}(L^{2/(n+1)})$-范数提供一个全新的、独立的最优界证明。
• 与 Skriganov 早期使用数字网随机数字移位的工作进行补充和对比。
• 探讨差异理论、Littlewood-Paley 不等式与调和分析中小球问题之间的联系。
• 确认猜想：在指数 Orlicz 空间中，$L^q$-范数的衰减速率 $(\log N)^{(n-1)/2}$ 是最优的。

提出的方法

• 作者在有限域 $\mathbb{F}_2$ 上使用 dyadic 结构，将点分布建模为 $[0,1]^n$ 中的线性集合，其中 $N = 2^s$。
• 将 Littlewood-Paley 不等式应用 $n-1$ 次，每次在 $q$-范数中引入一个平方根因子，以控制差异函数 $L^q$-范数的增长。
• 该方法依赖于等价关系 $\|f\|_{\operatorname{exp}(L^\alpha)} \simeq \sup_{q \geq 1} q^{-\alpha} \|f\|_q$，从而可通过 $L^q$-范数进行估计。
• 分析基于 dyadic 区间上的 Rademacher 函数和标准正交阶梯函数，实现了对指数矩的精确控制。
• 在关键阶段，该证明结构累积了额外一重 $q$ 的幂次，与 Skriganov 使用 $n$ 次 Khinchin 型不等式的做法形成区别。
• 通过标准的缩放论证，将结果从 $N = 2^s$ 扩展到一般 $N$，将 $N$ 个点嵌入一个缩放后的立方体 $[0,a]^n$（其中 $a < 2$）中。

实验结果

研究问题

• RQ1 在 $n \geq 3$ 维中，差异函数的 $\operatorname{exp}(L^{2/(n+1)})$-范数的猜想最优界是否可实现？
• RQ2 Littlewood-Paley 不等式如何促进对差异函数指数 Orlicz 范数的估计？
• RQ3 dyadic 结构和 Rademacher 函数在构造低差异点集中的作用是什么？
• RQ4 所提出的方法与 Skriganov 使用数字网随机数字移位的方法相比有何异同？
• RQ5 在 $n \geq 3$ 时，$L^q$-范数衰减速率 $(\log N)^{(n-1)/2}$ 在指数 Orlicz 尺度中是否最优？

主要发现

• 该论文证明了对所有 $n \geq 3$ 和所有 $N \geq 1$，存在一个大小为 $N$ 的点集 $\mathcal{P} \subset [0,1]^n$，使得 $\|\mathcal{D}_N\|_{ \operatorname{exp}(L^{2/(n+1)})} \lesssim (\log N)^{(n-1)/2}$。
• 该界与已知的 $q \geq 1$ 时最优的 $L^q$-范数衰减速率一致，从而在指数 Orlicz 尺度中确认了该猜想。
• 该结果通过 Littlewood-Paley 不等式的创新应用实现，共应用 $n-1$ 次，并对常数和 $q$ 的幂次进行了精确追踪。
• 该方法为 Skriganov 的随机数字移位构造提供了一种替代方案，采用确定性的 dyadic 结构和标准正交函数。
• 作者确认，差异函数的 $L^q$-范数对移位的选择不敏感，支持了该界具有鲁棒性。
• 该界在意义上是紧的，即不可能存在更优的衰减速率，这与高维中 $L^q$-范数的先前结果一致。