L'ensemble non-couvert dans le recouvrement de Dvoretzky est un ensemble de multiplicité

Informations de base

• ID de l'article: 2511.09726
• Titre: L'ensemble non-couvert dans le recouvrement de Dvoretzky est un ensemble de multiplicité
• Auteur: Mingjie Tan (LAREMA, UMR 6093 CNRS, Université d'Angers)
• Classification: math.PR (Théorie des probabilités)
• Date de soumission: 12 novembre 2024
• Lien de l'article: https://arxiv.org/abs/2511.09726v1

Résumé

Cet article démontre que l'ensemble non-couvert dans le recouvrement aléatoire de Dvoretzky est un ensemble de multiplicité (set of multiplicity), en prouvant que sa mesure de chaos multiplicatif naturelle est une mesure de Rajchman.

Contexte et motivation de la recherche

Problème de recherche

Cet article étudie les propriétés d'analyse harmonique de l'ensemble non-couvert dans le problème de recouvrement aléatoire de Dvoretzky. Le problème central à résoudre est : l'ensemble non-couvert $E = \mathbb{T} \setminus (\bigcup_{n=1}^{\infty} I_n)$ est-il un ensemble de multiplicité (M-ensemble) ?

Importance du problème

1. Extension d'un problème classique de recouvrement: Le problème de recouvrement aléatoire proposé par Dvoretzky en 1956 est un problème classique en théorie des probabilités. Shepp a donné en 1972 une condition nécessaire et suffisante pour que le cercle soit complètement couvert. Cet article étudie l'ensemble non-couvert du point de vue de l'analyse harmonique, ouvrant une nouvelle perspective de recherche.
2. Problème fondamental en analyse harmonique: Déterminer si un ensemble est un ensemble d'unicité (U-ensemble) ou un ensemble de multiplicité (M-ensemble) est l'une des questions centrales de l'analyse harmonique. Cela concerne la théorie de l'unicité des séries trigonométriques et possède une profonde signification théorique.
3. Lien avec la théorie du chaos multiplicatif: Cet article établit un lien entre le problème de recouvrement de Dvoretzky et la théorie des mesures de chaos multiplicatif, fournissant un nouvel outil pour comprendre le comportement asymptotique des coefficients de Fourier de ces mesures aléatoires.

Limitations des recherches existantes

1. Kahane en 1985 a étudié la dimension de Hausdorff de l'ensemble couvert fini, en particulier lorsque $\ell_n = \alpha/n$, on a $\dim_H F = 1-\alpha$
2. Les propriétés d'analyse harmonique (U-ensemble ou M-ensemble) de l'ensemble non-couvert $E$ n'ont pas été étudiées auparavant
3. Les recherches existantes sur les coefficients de Fourier des mesures de chaos multiplicatif se concentrent principalement sur le Chaos Multiplicatif Gaussien, avec peu d'études sur la mesure de Dvoretzky

Motivation de la recherche

Inspiré par le travail de Garban et Vargas (2024) montrant que le Chaos Multiplicatif Gaussien est une mesure de Rajchman, l'auteur souhaite prouver que la mesure de Dvoretzky possède également des propriétés similaires, établissant ainsi la multiplicité de l'ensemble non-couvert.

Contributions principales

1. Théorème principal: Preuve que sous des conditions appropriées, la d-ième convolution de la mesure de Dvoretzky $\mu_D$ est presque sûrement absolument continue (Théorème 1.1)
2. Caractérisation en analyse harmonique: Établissement que l'ensemble non-couvert $E$ est un $M_0$-ensemble (Corollaire 1.2), c'est-à-dire qu'il existe une mesure de Rajchman non-nulle supportée sur $E$
3. Exemples concrets: Pour le cas classique $\ell_n = \alpha/n$ ($\alpha \in (0,1)$), preuve que $E$ est presque sûrement un $M_0$-ensemble; en particulier, lorsque $0 < \alpha \leq 1/2$, $\mu_D$ elle-même est une mesure de Rajchman
4. Contribution méthodologique: Application réussie de la méthode de convolution de Garban-Vargas pour traiter le Chaos Multiplicatif Gaussien au problème de recouvrement de Dvoretzky

Explication détaillée de la méthode

Formulation du problème

Recouvrement aléatoire de Dvoretzky:

• Soit $\{\omega_n\}_{n\geq 1}$ une suite de variables aléatoires indépendantes et identiquement distribuées, uniformément distribuées sur le cercle $\mathbb{T} = \mathbb{R}/\mathbb{Z} \cong [0,1)$
• Soit $\{\ell_n\}_{n\geq 1}$ une suite de nombres réels positifs décroissant vers zéro
• Intervalles aléatoires: $I_n := (\omega_n, \omega_n + \ell_n) \mod 1$
• Ensemble non-couvert: $E := \mathbb{T} \setminus (\bigcup_{n=1}^{\infty} I_n)$

Construction de la mesure de Dvoretzky: Pour tout $t \in [0,1)$ et $n \geq 1$, définissons: $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)$

Suite de mesures: $\mu_n(dt) := M_n(t)dt$

Kahane a prouvé que $\mu_n$ converge presque sûrement faiblement vers une mesure aléatoire $\mu_D$ (mesure de Dvoretzky).

Hypothèses clés

Les résultats principaux de cet article nécessitent les trois hypothèses suivantes:

(A) L'ensemble non-couvert a mesure nulle: $\sum_{n=1}^{\infty} \ell_n = \infty$ Combiné avec le lemme de Borel-Cantelli, cela garantit que $E$ a presque sûrement mesure de Lebesgue nulle.

(B) L'ensemble non-couvert est non-vide: $\sum_{n=1}^{\infty} (\ell_n - \ell_{n+1}) \exp\left(\sum_{k=1}^n \ell_k\right) < \infty$ Cela viole la condition de recouvrement complet de Shepp (1.1), garantissant que $E$ est presque sûrement non-vide.

(C) Condition d'intégrabilité de la convolution: Il existe un entier $d \geq 1$ tel que $\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$ où $K(t) := \exp(\sum_{n=1}^{\infty} (\ell_n - |t|)_+)$.

Stratégie technique principale

Étape 1: Stratégie de convolution L'estimation directe des coefficients de Fourier $\hat{\mu}_D(n)$ est extrêmement difficile. L'idée centrale est de considérer la d-ième convolution de $\mu_D$: $\ast^d \mu_D(dt) = \mu_D \ast \mu_D \ast \cdots \ast \mu_D(dt)$

Si on peut prouver que $\ast^d \mu_D$ est presque sûrement absolument continue, alors par le lemme de Riemann-Lebesgue, ses coefficients de Fourier tendent vers 0, d'où $\mu_D$ est une mesure de Rajchman.

Étape 2: Convergence de la fonction densité Pour la d-ième convolution de $\mu_n$, la densité est: $\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$

Introduisons la notation: $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$

Étape 3: Estimation probabiliste de la convergence $L^1$ En utilisant le Lemme 2.1, il suffit de prouver: $\lim_{n,m\to\infty} \mathbb{E}\left[\|\ast^d M_n - \ast^d M_m\|_1^{1/2}\right] = 0$

Cela se décompose en deux propositions:

Proposition 2.3 (Contrôle à petite échelle): Pour tout $\delta > 0$, définissons $A_\delta(t) = \bigcup_{1\leq i \neq j \leq d+1} \{(\hat{t}) \in \mathbb{T}^d : \|t_i - t_j\| \leq \delta\}$

Il faut prouver: $\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$

Points clés de la preuve:

• Utilisation du résultat de Fan (1995): $\mu_n(\mathbb{T})$ converge dans tous les espaces $L^p$
• Utilisation de l'estimation clé (Lemme 2.2): $\frac{1}{C} K_n(t-t') \leq \mathbb{E}[M_n(t)M_n(t')] \leq C K_n(t-t')$
• Lorsque $\|t_i - t_j\| \leq \delta$, l'intégrale peut être contrôlée par $K(t_i - t_j)$, qui peut être rendu arbitrairement petit par l'hypothèse (C)

Proposition 2.4 (Convergence $L^2$): Preuve que $\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$

Stratégie de preuve:

1. Invariance par translation (Lemme 2.5): Preuve que l'espérance est indépendante de $t$, il suffit de considérer $t=0$
2. Bornitude $L^2$ (Lemme 2.7):
   • Décomposition de $\mathbb{T}^d$ en au plus $K = [2/\delta] + 1$ sous-intervalles de longueur au plus $\delta/2$
   • Pour $(t_1, \ldots, t_d) \in A_\delta(0)^c$, il existe $d+1$ sous-intervalles disjoints $B_{j_1}, \ldots, B_{j_{d+1}}$ tels que $t_i \in B_{j_i}$ et mutuellement à distance au moins $\delta/2$
   • Utilisation de l'indépendance et de l'estimation (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})$
   • Obtention de la bornitude $L^2$ par l'hypothèse (C)
3. Convergence $L^2$ (Lemme 2.8):
   • Définition de la fonction limite: $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]$
   • Décomposition de région: $S_\eta := \{(\hat{t}, \hat{t}') : \|t_i - t_i'\| \leq \eta \text{ pour un certain } i\}$
   • Sur $S_\eta$: par le théorème de convergence dominée, l'intégrale tend vers 0
   • Sur $S_\eta^c$: lorsque $\ell_k < \eta$, les intervalles $(t_i - \ell_k, t_i)$ et $(t_i' - \ell_k, t_i')$ sont disjoints, la valeur attendue est indépendante de $t, t'$, donc $\mathbb{E}[F_n(\hat{t}, 0)F_n(\hat{t}', 0)]$ converge uniformément vers $H(\hat{t}, \hat{t}')$

Points d'innovation technique

1. Adaptation de la méthode de convolution: Application réussie de la technique de convolution de Garban-Vargas pour les champs Gaussiens au recouvrement discret de Dvoretzky, surmontant les différences essentielles de structure entre les deux
2. Décomposition fine de région: Décomposition astucieuse de $A_\delta(t)$ et $S_\eta$ en deux cas "points proches" et "points séparés" traités séparément
3. Utilisation complète de l'indépendance: Dans la région $S_\eta^c$, lorsque $\ell_k$ est suffisamment petit, les différents intervalles aléatoires se chevauchent à peine, rendant la valeur attendue d'une structure produit simple
4. Établissement d'estimations clés: Le Lemme 2.2 établit une estimation bilatérale entre $\mathbb{E}[M_n(t)M_n(t')]$ et la fonction noyau $K_n(t-t')$, qui est la pierre angulaire de toute la preuve

Résultats expérimentaux (résultats théoriques)

Résultats principaux

Théorème 1.1 (Théorème principal): Supposons que la suite $(\ell_n)$ satisfait les conditions (A), (B) et (C). Alors la d-ième convolution $\ast^d \mu_D$ de $\mu_D$ est presque sûrement absolument continue.

Corollaire 1.2: Sous les hypothèses du Théorème 1.1, $\mu_D$ est une mesure de Rajchman et l'ensemble non-couvert $E$ est un $M_0$-ensemble.

Applications concrètes

Cas classique: $\ell_n = \alpha/n$, $\alpha \in (0,1)$

1. Vérification des conditions:
   • (A): $\sum_{n=1}^{\infty} \alpha/n = \infty$ ✓
   • (B): Peut être vérifiée ✓
   • (C): Satisfaite lorsque $d \geq \alpha/(1-\alpha)$ (voir GV24, Lemme 2.3)
2. Cas particuliers:
   • Lorsque $0 < \alpha \leq 1/2$, on peut prendre $d=1$
   • Dans ce cas, $\mu_D$ elle-même (plutôt que sa convolution) est une mesure de Rajchman
   • Cela est dû au fait que lorsque $d=1$, la condition (C) devient: $\int_{\mathbb{T}} K(t)K(-t) dt = \int_{\mathbb{T}} K^2(t) dt < \infty$ cette intégrale converge lorsque $\alpha \leq 1/2$
3. Contraste avec la dimension de Hausdorff:
   • Kahane a prouvé que la dimension de Hausdorff de l'ensemble couvert fini $F$ est $\dim_H F = 1-\alpha$
   • L'ensemble non-couvert $E \subset F$, donc $\dim_H E \leq 1-\alpha$
   • Cet article prouve que bien que $E$ puisse avoir une dimension très petite, il supporte toujours une mesure de Rajchman non-nulle

Signification théorique

1. Perspective d'analyse harmonique: Première caractérisation du point de vue de l'analyse harmonique de l'ensemble non-couvert du recouvrement de Dvoretzky, complétant les recherches existantes en théorie des mesures et théorie des dimensions
2. Théorie du chaos multiplicatif: Fourniture d'une preuve complète de la propriété de Rajchman de la mesure de Dvoretzky en tant que classe de mesure de chaos multiplicatif
3. Universalité de la méthode: La technique de preuve peut s'appliquer à d'autres types de mesures de chaos multiplicatif

Travaux connexes

Problème de recouvrement de Dvoretzky

1. Dvoretzky (1956): Proposition du problème de recouvrement aléatoire
2. Shepp (1972): Condition nécessaire et suffisante pour le recouvrement complet (1.1)
3. Kahane (1985): Étude de la dimension de Hausdorff de l'ensemble couvert fini et construction de la mesure de Dvoretzky
4. Fan (1989, 1991, 1995): Établissement de l'orthogonalité, l'équivalence et la convergence $L^p$ des mesures

Ensembles d'unicité et de multiplicité

1. Kahane & Lemarié-Rieusset (1995): Traitement systématique de la théorie de l'unicité des séries trigonométriques
2. Lyons (2020): Synthèse de 70 ans de recherche sur les mesures de Rajchman
3. Kechris & Louveau (1985): Structure des ensembles d'unicité en théorie descriptive des ensembles

Mesures de chaos multiplicatif

1. Kahane (1985): Introduction de la théorie du chaos multiplicatif
2. Berestycki (2017): Approche élémentaire du Chaos Multiplicatif Gaussien
3. Garban & Vargas (2024): Preuve que GMC est une mesure de Rajchman, dont cet article s'inspire directement de la méthode de convolution

Originalité de cet article

• Première établissement du lien entre le recouvrement de Dvoretzky et l'analyse harmonique
• Application réussie de la technique GMC au chaos multiplicatif discret
• Fourniture d'une preuve complète que l'ensemble non-couvert est presque sûrement un $M_0$-ensemble

Conclusion et discussion

Conclusions principales

1. Théorème central: Sous des hypothèses appropriées, la d-ième convolution de la mesure de Dvoretzky $\mu_D$ est presque sûrement absolument continue
2. Caractérisation en analyse harmonique: L'ensemble non-couvert $E$ est presque sûrement un $M_0$-ensemble, c'est-à-dire qu'il existe une mesure de Rajchman non-nulle supportée sur $E$
3. Exemple classique: Pour $\ell_n = \alpha/n$ ($\alpha \in (0,1)$), $E$ est presque sûrement un $M_0$-ensemble; lorsque $\alpha \leq 1/2$, $\mu_D$ elle-même est une mesure de Rajchman

Limitations

1. Restrictivité des conditions:
   • L'hypothèse (C) exige que la d-ième convolution de la fonction noyau $K$ soit intégrable, ce qui limite la vitesse de décroissance de $\ell_n$
   • Pour $\ell_n = \alpha/n$ avec $\alpha > 1/2$, on a besoin de $d \geq 2$, ce qui ne permet pas de prouver directement que $\mu_D$ est une mesure de Rajchman
2. Limitations de la méthode:
   • Bien que la méthode de convolution soit efficace, elle nécessite des conditions d'intégrabilité assez fortes
   • La question de savoir s'il existe une méthode plus directe pour estimer les coefficients de Fourier reste ouverte
3. Généralité:
   • Les résultats s'appliquent principalement aux suites $\{\ell_n\}$ satisfaisant des conditions de décroissance spécifiques
   • Pour les suites plus générales, la vérification de la condition (C) peut être difficile

Directions futures

1. Généralisation à des suites plus générales: Étude de catégories plus larges de $\{\ell_n\}$, relâchement de l'hypothèse (C)
2. Estimation directe des coefficients de Fourier: Recherche de méthodes ne dépendant pas de la convolution pour prouver directement que $\hat{\mu}_D(n) \to 0$
3. Comportement asymptotique précis: Étude du taux de décroissance précis de $\hat{\mu}_D(n)$
4. Généralisation en dimension supérieure: Extension des résultats aux recouvrements aléatoires en espace de dimension supérieure
5. Lien avec d'autres chaos multiplicatifs: Exploration des connexions profondes entre la mesure de Dvoretzky et d'autres mesures de chaos multiplicatif comme GMC

Évaluation approfondie

Avantages

1. Originalité théorique:
   • Première étude du problème de recouvrement de Dvoretzky du point de vue de l'analyse harmonique, ouvrant une nouvelle direction de recherche
   • Établissement d'un lien profond entre la théorie des probabilités (recouvrement aléatoire) et l'analyse harmonique (théorie de l'unicité)
   • Technique de preuve ingénieuse, adaptation réussie de la méthode de Garban-Vargas
2. Rigueur mathématique:
   • Preuve complète et rigoureuse, logique claire
   • Énoncé et preuve des lemmes clés (Lemmes 2.2, 2.5, 2.7, 2.9) très détaillés
   • Traitement très soigné des difficultés techniques (décomposition de région, convergence uniforme)
3. Profondeur des résultats:
   • Révélation que l'ensemble non-couvert, bien que de mesure de Lebesgue nulle, possède une structure d'analyse harmonique riche
   • Preuve que $E$ est un $M_0$-ensemble, ce qui est plus fort que simplement un M-ensemble
   • Caractérisation complète pour l'exemple classique $\ell_n = \alpha/n$
4. Qualité de la rédaction:
   • Structure claire de l'article, introduction excellente du contexte et de la motivation
   • Explication détaillée de la stratégie de preuve, facile à comprendre pour le lecteur
   • Bon équilibre entre détails techniques et explications intuitives

Insuffisances

1. Non-optimalité des conditions:
   • L'hypothèse (C) peut ne pas être la condition la plus faible, en particulier pour $\alpha > 1/2$ nécessitant $d \geq 2$
   • Peut-on aussi prouver pour $\alpha > 1/2$ que $\mu_D$ elle-même ($d=1$) est une mesure de Rajchman?
2. Indirectivité de la méthode:
   • Preuve de la propriété de Rajchman via l'absolue continuité de la convolution, sans pouvoir donner d'estimation précise des coefficients de Fourier
   • Absence d'information sur le taux de décroissance de $\hat{\mu}_D(n)$
3. Limitation des exemples:
   • L'exemple principal est seulement $\ell_n = \alpha/n$
   • Manque de discussion concrète sur d'autres suites satisfaisant les conditions (A)(B)(C)
4. Comparaison avec les résultats existants:
   • Pourrait discuter plus en détail la relation avec les résultats de Kahane sur l'ensemble couvert fini
   • Les différences et similitudes avec la propriété de Rajchman de GMC pourraient être explorées plus profondément

Impact

1. Contribution théorique:
   • Ajout d'une dimension d'analyse harmonique à la théorie du recouvrement de Dvoretzky
   • Enrichissement de la théorie des mesures de chaos multiplicatif
   • Fourniture d'une nouvelle construction probabiliste pour la théorie des ensembles d'unicité
2. Valeur méthodologique:
   • Vérification supplémentaire de l'efficacité de la méthode de convolution dans le traitement des mesures de chaos multiplicatif
   • Technique d'analyse de décomposition de région et de convergence uniforme d'applicabilité générale
3. Applications potentielles:
   • Peut inspirer l'étude d'analyse harmonique d'autres modèles de recouvrement aléatoire
   • La technique peut s'appliquer à d'autres types de mesures aléatoires
4. Reproductibilité:
   • Preuve entièrement basée sur l'analyse théorique, sans calcul numérique
   • Les résultats principaux peuvent être vérifiés indépendamment par les lecteurs spécialisés
   • Les résultats existants utilisés (comme la convergence $L^p$ de Fan) ont des références claires

Domaines d'application

1. Recherche théorique:
   • Problèmes de recouvrement aléatoire en théorie des probabilités
   • Théorie de l'unicité en analyse harmonique
   • Théorie des mesures de chaos multiplicatif
2. Domaines connexes:
   • Géométrie fractale (structure géométrique de l'ensemble non-couvert)
   • Analyse de Fourier des mesures singulières (théorie des mesures)
   • Théorie des processus aléatoires (théorie de convergence des martingales)
3. Généralisations potentielles:
   • Recouvrements aléatoires en dimension supérieure
   • Autres types d'ensembles aléatoires
   • Systèmes de chaos multiplicatif plus généraux

Références bibliographiques (références clés)

1. Shepp (1972): "Covering the circle with random arcs" - Condition nécessaire et suffisante pour le recouvrement complet
2. Kahane (1985b): "Some random series of functions" - Étude systématique de la mesure de Dvoretzky
3. Garban & Vargas (2024): "Harmonic analysis of Gaussian multiplicative chaos on the circle" - Méthodologie principale inspirant cet article
4. Fan (1995): "Sur la $L^p$ convergence des martingales liées au recouvrement" - Résultat clé de convergence $L^p$
5. Kahane & Lemarié-Rieusset (1995): "Fourier Series and Wavelets" - Traitement systématique de la théorie de l'unicité

Évaluation globale: Cet article est un travail mathématique théorique de haute qualité qui établit avec succès un pont entre le recouvrement aléatoire de Dvoretzky et l'analyse harmonique. Les résultats principaux sont novateurs et profonds, la technique de preuve est ingénieuse et rigoureuse. Bien qu'il y ait encore de la place pour amélioration concernant l'optimalité des conditions et la directivité de la méthode, l'article fournit une perspective entièrement nouvelle sur ce problème classique et possède une valeur théorique importante et un impact de recherche potentiel significatif.