The non-covered set in Dvoretzky covering is a set of multiplicity

基本信息

• 论文ID: 2511.09726
• 标题: The non-covered set in Dvoretzky covering is a set of multiplicity
• 作者: Mingjie Tan (LAREMA, UMR 6093 CNRS, Université d'Angers)
• 分类: math.PR (Probability Theory)
• 提交时间: 2024年11月12日
• 论文链接: https://arxiv.org/abs/2511.09726v1

摘要

本文证明了Dvoretzky随机覆盖中的非覆盖集是一个多重性集合(set of multiplicity)，通过证明其自然的乘性混沌测度是Rajchman测度来实现这一结果。

研究背景与动机

研究问题

本文研究Dvoretzky随机覆盖问题中的非覆盖集的调和分析性质，具体要解决的核心问题是：非覆盖集 $E = \mathbb{T} \setminus (\bigcup_{n=1}^{\infty} I_n)$ 是否为多重性集合(M-set)？

问题重要性

1. 经典覆盖问题的延伸：Dvoretzky在1956年提出的随机覆盖问题是概率论中的经典问题，Shepp于1972年给出了圆周被完全覆盖的充要条件。本文从调和分析角度研究非覆盖集，开辟了新的研究视角。
2. 调和分析的基本问题：判定一个集合是唯一性集(U-set)还是多重性集(M-set)是调和分析中的核心问题之一。这涉及三角级数的唯一性理论，具有深刻的理论意义。
3. 与乘性混沌理论的联系：本文将Dvoretzky覆盖问题与乘性混沌测度理论联系起来，为理解这类随机测度的Fourier系数渐近行为提供了新工具。

现有研究局限

1. Kahane在1985年研究了有限覆盖集的Hausdorff维数，特别是当 $\ell_n = \alpha/n$ 时，$\dim_H F = 1-\alpha$
2. 但非覆盖集 $E$ 的调和分析性质（U-set或M-set）此前未被研究
3. 现有关于乘性混沌测度Fourier系数的研究主要集中在Gaussian Multiplicative Chaos，对Dvoretzky测度的研究较少

研究动机

受Garban和Vargas (2024)关于Gaussian Multiplicative Chaos是Rajchman测度的工作启发，作者希望证明Dvoretzky测度也具有类似性质，从而建立非覆盖集的多重性。

核心贡献

1. 主要定理：证明了在适当条件下，Dvoretzky测度 $\mu_D$ 的d次卷积几乎必然绝对连续（定理1.1）
2. 调和分析刻画：建立了非覆盖集 $E$ 是 $M_0$-集合的结果（推论1.2），即存在非零Rajchman测度支撑在 $E$ 上
3. 具体例子：对于经典情形 $\ell_n = \alpha/n$ ($\alpha \in (0,1)$)，证明了 $E$ 几乎必然是 $M_0$-集；特别地，当 $0 < \alpha \leq 1/2$ 时，$\mu_D$ 本身就是Rajchman测度
4. 方法论贡献：将Garban-Vargas处理Gaussian Multiplicative Chaos的卷积方法成功应用于Dvoretzky覆盖问题

方法详解

问题设定

Dvoretzky随机覆盖：

• 设 $\{\omega_n\}_{n\geq 1}$ 是独立同分布的随机变量序列，在圆周 $\mathbb{T} = \mathbb{R}/\mathbb{Z} \cong [0,1)$ 上均匀分布
• $\{\ell_n\}_{n\geq 1}$ 是递减到零的正实数序列
• 随机区间：$I_n := (\omega_n, \omega_n + \ell_n) \mod 1$
• 非覆盖集：$E := \mathbb{T} \setminus (\bigcup_{n=1}^{\infty} I_n)$

Dvoretzky测度的构造： 对任意 $t \in [0,1)$ 和 $n \geq 1$，定义： $P_n(t) := \frac{1 - \mathbf{1}_{(0,\ell_n)}(t-\omega_n)}{1-\ell_n}, \quad M_n(t) := \prod_{k=1}^n P_k(t)$

测度序列：$\mu_n(dt) := M_n(t)dt$

Kahane证明了 $\mu_n$ 几乎必然弱收敛到随机测度 $\mu_D$（Dvoretzky测度）。

关键假设

本文的主要结果需要以下三个假设：

(A) 非覆盖集有零测度： $\sum_{n=1}^{\infty} \ell_n = \infty$ 结合Borel-Cantelli引理，这保证 $E$ 几乎必然有零Lebesgue测度。

(B) 非覆盖集非空： $\sum_{n=1}^{\infty} (\ell_n - \ell_{n+1}) \exp\left(\sum_{k=1}^n \ell_k\right) < \infty$ 这违反了Shepp的完全覆盖条件(1.1)，保证 $E$ 几乎必然非空。

(C) 卷积绝对连续性条件： 存在整数 $d \geq 1$ 使得 $\int_{\mathbb{T}^d} K(t_1) \cdots K(t_d) K\left(-\sum_{i=1}^d t_i\right) dt_1 \cdots dt_d < \infty$ 其中 $K(t) := \exp(\sum_{n=1}^{\infty} (\ell_n - |t|)_+)$。

核心技术路线

步骤1：卷积策略 直接估计Fourier系数 $\hat{\mu}_D(n)$ 非常困难。核心思想是考虑 $\mu_D$ 的d次卷积： $\ast^d \mu_D(dt) = \mu_D \ast \mu_D \ast \cdots \ast \mu_D(dt)$

如果能证明 $\ast^d \mu_D$ 几乎必然绝对连续，则由Riemann-Lebesgue引理，其Fourier系数趋于0，从而 $\mu_D$ 是Rajchman测度。

步骤2：密度函数的收敛性 对于 $\mu_n$ 的d次卷积，其密度为： $\ast^d M_n(t) = \int_{\mathbb{T}^d} M_n(t_1) \cdots M_n(t_d) M_n\left(t - \sum_{i=1}^d t_i\right) dt_1 \cdots dt_d$

引入记号： $F_n(\hat{t}, t) := M_n(t_1) \cdots M_n(t_d) M_n(t_{d+1}), \quad t_{d+1} = t - \sum_{i=1}^d t_i$

步骤3：$L^1$收敛性的概率估计 利用引理2.1，只需证明： $\lim_{n,m\to\infty} \mathbb{E}\left[\|\ast^d M_n - \ast^d M_m\|_1^{1/2}\right] = 0$

这分解为两个命题：

命题2.3（小尺度控制）：对任意 $\delta > 0$，定义 $A_\delta(t) = \bigcup_{1\leq i \neq j \leq d+1} \{(\hat{t}) \in \mathbb{T}^d : \|t_i - t_j\| \leq \delta\}$

需要证明： $\lim_{\delta \to 0^+} \sup_{n\geq 1} \mathbb{E}\left[\left(\int_{\mathbb{T}} \int_{A_\delta(t)} F_n(\hat{t}, t) d\hat{t} dt\right)^{1/2}\right] = 0$

证明要点：

• 利用Fan (1995)的结果：$\mu_n(\mathbb{T})$ 在所有 $L^p$ 空间中收敛
• 使用关键估计（引理2.2）： $\frac{1}{C} K_n(t-t') \leq \mathbb{E}[M_n(t)M_n(t')] \leq C K_n(t-t')$
• 当 $\|t_i - t_j\| \leq \delta$ 时，积分可被 $K(t_i - t_j)$ 控制，由假设(C)可使其任意小

命题2.4（$L^2$收敛性）：证明 $\lim_{n,m\to\infty} \mathbb{E}\left[\left(\int_{\mathbb{T}} \left|\int_{A_\delta(0)^c} [F_n(\hat{t}, 0) - F_m(\hat{t}, 0)] d\hat{t}\right| dt\right)^{1/2}\right] = 0$

证明策略：

1. 平移不变性（引理2.5）：证明期望与 $t$ 无关，只需考虑 $t=0$
2. $L^2$有界性（引理2.7）：
   • 分解 $\mathbb{T}^d$ 为至多 $K = [2/\delta] + 1$ 个长度不超过 $\delta/2$ 的子区间
   • 对 $(t_1, \ldots, t_d) \in A_\delta(0)^c$，存在 $d+1$ 个不相交子区间 $B_{j_1}, \ldots, B_{j_{d+1}}$ 使得 $t_i \in B_{j_i}$ 且相互距离至少 $\delta/2$
   • 利用独立性和估计(2.12)： $\mathbb{E}[F_n(\hat{t}, 0)F_n(\hat{t}', 0)] \leq C' K(t_1-t_1') \cdots K(t_{d+1}-t'_{d+1})$
   • 由假设(C)得到 $L^2$ 有界性
3. $L^2$收敛性（引理2.8）：
   • 定义极限函数： $H(\hat{t}, \hat{t}') := \prod_{k=1}^{\infty} \mathbb{E}\left[\prod_{i=1}^{d+1} P_k(t_i)P_k(t_i')\right]$
   • 区域分解：$S_\eta := \{(\hat{t}, \hat{t}') : \|t_i - t_i'\| \leq \eta \text{ for some } i\}$
   • 在 $S_\eta$ 上：由控制收敛定理，积分趋于0
   • 在 $S_\eta^c$ 上：当 $\ell_k < \eta$ 时，区间 $(t_i - \ell_k, t_i)$ 和 $(t_i' - \ell_k, t_i')$ 不相交，期望值独立于 $t, t'$，因此 $\mathbb{E}[F_n(\hat{t}, 0)F_n(\hat{t}', 0)]$ 一致收敛到 $H(\hat{t}, \hat{t}')$

技术创新点

1. 卷积方法的适配：成功将Garban-Vargas针对Gaussian场的卷积技术应用于离散型的Dvoretzky覆盖，克服了两者在结构上的本质差异
2. 精细的区域分解：通过 $A_\delta(t)$ 和 $S_\eta$ 的巧妙分解，将积分分为"点靠近"和"点分离"两种情形分别处理
3. 独立性的充分利用：在 $S_\eta^c$ 区域，当 $\ell_k$ 足够小时，不同的随机区间几乎不重叠，使得期望值具有简单的乘积结构
4. 关键估计的建立：引理2.2建立了 $\mathbb{E}[M_n(t)M_n(t')]$ 与核函数 $K_n(t-t')$ 的双边估计，这是整个证明的基石

实验结果（理论结果）

主要结果

定理1.1（主定理）： 假设序列 $(\ell_n)$ 满足条件(A)、(B)和(C)，则 $\mu_D$ 的d次卷积 $\ast^d \mu_D$ 几乎必然绝对连续。

推论1.2： 在定理1.1的假设下，$\mu_D$ 是Rajchman测度，非覆盖集 $E$ 是 $M_0$-集。

具体应用

经典情形：$\ell_n = \alpha/n$，$\alpha \in (0,1)$

1. 验证条件：
   • (A)：$\sum_{n=1}^{\infty} \alpha/n = \infty$ ✓
   • (B)：可验证满足 ✓
   • (C)：当 $d \geq \alpha/(1-\alpha)$ 时满足（参考GV24, Lemma 2.3）
2. 特殊情况：
   • 当 $0 < \alpha \leq 1/2$ 时，可取 $d=1$
   • 此时 $\mu_D$ 本身（而非其卷积）就是Rajchman测度
   • 这是因为 $d=1$ 时条件(C)变为： $\int_{\mathbb{T}} K(t)K(-t) dt = \int_{\mathbb{T}} K^2(t) dt < \infty$ 当 $\alpha \leq 1/2$ 时此积分收敛
3. Hausdorff维数的对比：
   • Kahane证明了有限覆盖集 $F$ 的Hausdorff维数 $\dim_H F = 1-\alpha$
   • 非覆盖集 $E \subset F$，$\dim_H E \leq 1-\alpha$
   • 本文证明 $E$ 虽然可能维数很小，但仍支撑非零Rajchman测度

理论意义

1. 调和分析视角：首次从调和分析角度刻画Dvoretzky覆盖的非覆盖集，补充了已有的测度论和维数理论研究
2. 乘性混沌理论：为Dvoretzky测度作为一类乘性混沌测度的Rajchman性质提供了完整证明
3. 方法的普适性：证明技术可能适用于其他类型的乘性混沌测度

相关工作

Dvoretzky覆盖问题

1. Dvoretzky (1956)：提出随机覆盖问题
2. Shepp (1972)：给出完全覆盖的充要条件(1.1)
3. Kahane (1985)：研究有限覆盖集的Hausdorff维数和Dvoretzky测度的构造
4. Fan (1989, 1991, 1995)：建立测度的正交性、等价性和 $L^p$ 收敛性

唯一性与多重性集合

1. Kahane & Lemarié-Rieusset (1995)：系统论述三角级数的唯一性理论
2. Lyons (2020)：Rajchman测度70年研究综述
3. Kechris & Louveau (1985)：描述集合论与唯一性集合的结构

乘性混沌测度

1. Kahane (1985)：引入乘性混沌理论
2. Berestycki (2017)：Gaussian Multiplicative Chaos的初等方法
3. Garban & Vargas (2024)：证明GMC是Rajchman测度，本文直接借鉴了其卷积方法

本文的创新性

• 首次建立Dvoretzky覆盖与调和分析的联系
• 将GMC的技术成功迁移到离散型乘性混沌
• 提供了非覆盖集几乎必然为 $M_0$-集的完整证明

结论与讨论

主要结论

1. 核心定理：在适当假设下，Dvoretzky测度 $\mu_D$ 的d次卷积几乎必然绝对连续
2. 调和分析刻画：非覆盖集 $E$ 几乎必然是 $M_0$-集，即存在支撑在 $E$ 上的非零Rajchman测度
3. 经典例子：对于 $\ell_n = \alpha/n$ ($\alpha \in (0,1)$)，$E$ 几乎必然是 $M_0$-集；当 $\alpha \leq 1/2$ 时，$\mu_D$ 本身是Rajchman测度

局限性

1. 条件的限制性：
   • 假设(C)要求核函数 $K$ 的d重卷积可积，这限制了 $\ell_n$ 的衰减速度
   • 对于 $\ell_n = \alpha/n$ 且 $\alpha > 1/2$，需要 $d \geq 2$，无法直接证明 $\mu_D$ 是Rajchman测度
2. 方法的局限：
   • 卷积方法虽然有效，但需要较强的可积性条件
   • 能否用更直接的方法估计Fourier系数仍是开放问题
3. 一般性：
   • 结果主要针对满足特定衰减条件的 $\{\ell_n\}$
   • 对于更一般的序列，条件(C)的验证可能困难

未来方向

1. 推广到更一般的序列：研究更广泛的 $\{\ell_n\}$ 类别，放松假设(C)
2. 直接估计Fourier系数：寻找不依赖卷积的方法直接证明 $\hat{\mu}_D(n) \to 0$
3. 精确渐近行为：研究 $\hat{\mu}_D(n)$ 的精确衰减速率
4. 高维推广：将结果推广到高维空间的随机覆盖
5. 与其他乘性混沌的联系：探索Dvoretzky测度与GMC等其他乘性混沌测度的深层联系

深度评价

优点

1. 理论创新性：
   • 首次从调和分析角度研究Dvoretzky覆盖问题，开辟了新的研究方向
   • 建立了概率论（随机覆盖）与调和分析（唯一性理论）的深刻联系
   • 证明技术巧妙，成功适配了Garban-Vargas的方法
2. 数学严谨性：
   • 证明完整严密，逻辑清晰
   • 关键引理（如引理2.2、2.5、2.7、2.9）的陈述和证明都很细致
   • 对技术难点的处理（如区域分解、一致收敛性）非常到位
3. 结果的深刻性：
   • 揭示了非覆盖集虽然Lebesgue测度为零，但仍具有丰富的调和分析结构
   • 证明了 $E$ 是 $M_0$-集，这比仅仅是M-集更强
   • 对经典例子 $\ell_n = \alpha/n$ 给出了完整的刻画
4. 写作质量：
   • 论文结构清晰，引言部分很好地介绍了背景和动机
   • 证明思路的解释详细，便于读者理解
   • 技术细节和直观解释平衡得当

不足

1. 条件的非最优性：
   • 假设(C)可能不是最弱条件，特别是对于 $\alpha > 1/2$ 的情形需要 $d \geq 2$
   • 能否在 $\alpha > 1/2$ 时也证明 $\mu_D$ 本身（$d=1$）是Rajchman测度？
2. 方法的间接性：
   • 通过卷积绝对连续性间接证明Rajchman性质，无法给出Fourier系数的精确估计
   • 缺少 $\hat{\mu}_D(n)$ 衰减速率的信息
3. 例子的有限性：
   • 主要例子只有 $\ell_n = \alpha/n$
   • 对其他满足条件(A)(B)(C)的序列缺少具体讨论
4. 与现有结果的比较：
   • 可以更详细地讨论与Kahane关于有限覆盖集结果的关系
   • 与GMC的Rajchman性质的异同可以更深入探讨

影响力

1. 理论贡献：
   • 为Dvoretzky覆盖理论增添了调和分析维度
   • 丰富了乘性混沌测度的理论
   • 为唯一性集合理论提供了新的概率构造
2. 方法论价值：
   • 卷积方法在处理乘性混沌测度时的有效性得到进一步验证
   • 区域分解和一致收敛性分析技术具有普适性
3. 潜在应用：
   • 可能启发其他随机覆盖模型的调和分析研究
   • 技术可能适用于其他类型的随机测度
4. 可复现性：
   • 证明完全基于理论分析，不涉及数值计算
   • 主要结果可由专业读者独立验证
   • 依赖的已有结果（如Fan的 $L^p$ 收敛性）都有明确出处

适用场景

1. 理论研究：
   • 概率论中的随机覆盖问题
   • 调和分析中的唯一性理论
   • 乘性混沌测度理论
2. 相关领域：
   • 分形几何（非覆盖集的几何结构）
   • 测度论（奇异测度的Fourier分析）
   • 随机过程（鞅收敛理论）
3. 潜在推广：
   • 高维随机覆盖
   • 其他类型的随机集合
   • 更一般的乘性混沌系统

参考文献（关键文献）

1. Shepp (1972): "Covering the circle with random arcs" - 给出完全覆盖的充要条件
2. Kahane (1985b): "Some random series of functions" - Dvoretzky测度的系统研究
3. Garban & Vargas (2024): "Harmonic analysis of Gaussian multiplicative chaos on the circle" - 本文主要借鉴的方法论
4. Fan (1995): "Sur la $L^p$ convergence des martingales liées au recouvrement" - $L^p$ 收敛性的关键结果
5. Kahane & Lemarié-Rieusset (1995): "Fourier Series and Wavelets" - 唯一性理论的系统论述

总体评价：这是一篇高质量的理论数学论文，成功建立了Dvoretzky随机覆盖与调和分析之间的桥梁。主要结果新颖且深刻，证明技术巧妙严谨。虽然在条件的最优性和方法的直接性上还有改进空间，但论文为这一经典问题提供了全新的视角，具有重要的理论价值和潜在的研究影响力。