A note on the Littlewood-Offord problem for discrete log-concave distributions
Marsiglietti, Melbourne
We present an extension of the famous Littlewood-Offord problem when Bernoulli distributions are replaced with discrete log-concave distributions. A variant of the Littlewood-Offord problem for arithmetic progressions, as well as an entropic version, is also discussed. Along the way, we recover and extend a result of Madiman and Woo (2015) on the entropy power inequality for discrete uniform distributions.
academic
Une note sur le problème de Littlewood-Offord pour les distributions discrètes log-concaves
Cet article généralise le célèbre problème de Littlewood-Offord des distributions de Bernoulli aux distributions discrètes log-concaves. L'article traite d'une variante du problème de Littlewood-Offord pour les progressions arithmétiques ainsi que d'une version entropique. Ce faisant, les auteurs retrouvent et étendent les résultats de Madiman et Woo (2015) concernant l'inégalité de puissance entropique pour les distributions uniformes discrètes.
Le problème de Littlewood-Offord est un problème classique en théorie des probabilités et en mathématiques combinatoires. Étant donné un vecteur a=(a1,…,an)∈(R∖{0})n et des variables aléatoires de Rademacher indépendantes X1,…,Xn (c'est-à-dire P(Xk=±1)=1/2), le problème consiste à estimer:
supx∈RP(a1X1+⋯+anXn=x)
Le résultat classique de Littlewood-Offord et Erdős montre que cette borne supérieure est O(1/n).
Besoin d'extension théorique: Les résultats classiques concernent principalement la distribution de Bernoulli avec paramètre 1/2. Fox et al. (2018) ont proposé de savoir si le problème pouvait être étendu aux distributions de Bernoulli avec paramètres arbitraires
Généralisation de la classe de distributions: Les distributions discrètes log-concaves constituent une classe importante de distributions, incluant les distributions uniformes, de Bernoulli, binomiales, de Poisson, géométriques, etc.
Applications pratiques: Ce problème est étroitement lié aux inégalités d'anti-concentration, à la théorie combinatoire additive et à d'autres domaines
Unification théorique: Tentative de fournir un cadre théorique unifié pour une classe plus large de distributions
Généralisation du théorème principal: Extension du problème de Littlewood-Offord à toutes les distributions discrètes log-concaves à support fini (Théorème 1.1), prouvant que:
supa∈(R∖{0})nsupx∈RP(a⋅X=x)≤1+c∑k=1nVar(Xk)1
où c=1, et c=2 pour les distributions symétriques par rapport à un point
Version entropique: Présentation d'une version de puissance entropique de Rényi du problème de Littlewood-Offord (Théorème 1.2), établissant une borne inférieure pour la puissance entropique
Variante pour progressions arithmétiques: Résolution du problème de Littlewood-Offord sur les progressions arithmétiques (Théorème 1.3), donnant une borne supérieure pour P(a⋅X∈Al,m(x))
Inégalité de puissance entropique: Retrouver et étendre l'inégalité de puissance entropique de Madiman et Woo pour les distributions uniformes discrètes (Théorème 1.4)
Analyse d'optimalité: Preuve que les bornes obtenues sont serrées au sens des constantes
Étant donné des variables aléatoires discrètes log-concaves indépendantes X1,…,Xn et des coefficients a=(a1,…,an)∈(R∖{0})n, l'objectif est de trouver:
Borne supérieure de probabilité ponctuelle: La borne supérieure optimale de supa,xP(a⋅X=x)
Borne inférieure de puissance entropique: La borne inférieure optimale de infaNα(a⋅X)
Probabilité de progression arithmétique: Une borne supérieure pour supxP(a⋅X∈Al,m(x))
où Al,m(x)={x+mj}j=1l est une progression arithmétique.
L'outil technique clé du document est la théorie de la majorisation. Pour les distributions de probabilité p,q, si:
∑i=1kqi≥∑i=1kpi,∀k
alors on dit que p est majorisée par q, noté p≺q.
Lemme clé 2.2: Si Y est une variable aléatoire à valeurs finies et f est une fonction déterministe, alors Y≺f(Y).
Pour une variable aléatoire à valeurs entières X, on définit son réarrangement comprimé X#: le support est comprimé en entiers consécutifs, en préservant l'ordre des valeurs de la fonction de masse de probabilité.
Théorème 2.3 (résultat clé): Si X1,…,Xn sont indépendants et X1#,…,Xn# sont log-concaves, alors:
X1+⋯+Xn≺X1#+⋯+Xn#
Théorème 3.1 (théorème technique central): Pour les coefficients ai∈R∖{0} et les variables aléatoires indépendantes à valeurs entières log-concaves Xi, il existe des signes vi∈{±1} tels que:
a⋅X≺v⋅X
Esquisse de la preuve:
D'abord, réduire les coefficients réels aux coefficients entiers via une transformation linéaire T:R→Q
Utiliser le réarrangement comprimé, (T(ai)Xi)#=viXi, où vi=sign(T(ai))
Appliquer le théorème 2.3 pour compléter la réduction
L'architecture de preuve du document peut être résumée par la structure hiérarchique suivante:
Distribution discrète log-concave → Réduction de signe → Problème de type Bernoulli
↓ ↓ ↓
Théorie de majorisation ← Concavité de Schur ← Bornes de variance/entropie
↓
Inégalité finale
Étape de réduction: Par le théorème 3.1, pour tout a, il existe un signe v tel que a⋅X≺v⋅X
Application de bornes connues: Utiliser le théorème 2.1 (résultat d'Aravinda et Bobkov et al.):
M(X)≤1+Var(X)1
pour les variables aléatoires log-concaves
Calcul de variance: Var(v⋅X)=∑i=1nVar(Xi) (car vi=±1)
Cadre unifié: Par la théorie de la majorisation et la réduction de signe, unifier le problème des distributions discrètes log-concaves générales en un problème de signe
Technique de réarrangement comprimé: Utilisation astucieuse du réarrangement comprimé pour transformer le problème de coefficients arbitraires en problème de signe, c'est l'innovation clé
Double perspective probabilité-entropie: Établir le lien entre l'estimation de probabilité ponctuelle et l'estimation de puissance entropique, via M(X)=e−H∞(X)
Traitement des progressions arithmétiques: Transformer le problème de progression arithmétique en problème de convolution avec une distribution uniforme:
P(Y∈Al,m(x))=l⋅P(Y−mUl=x)
où Ul est la distribution uniforme sur {1,…,l}
Application de l'analyse de Fourier (Section 5): Pour la distribution de Bernoulli, utiliser l'inégalité de Hausdorff-Young et l'inégalité de Hölder pour obtenir des bornes plus fines
Note: Cet article est un article de mathématiques pures théoriques et ne contient pas d'expériences numériques. Tous les résultats sont des preuves mathématiques rigoureuses.
Utilisant l'analyse de Fourier, pour la distribution de Bernoulli et les progressions arithmétiques:
supxP(a⋅X∈Al)≤1+2∑k=1nVar(Xk)+12l2−1⋅4πA2(2A)1/pl
où A est déterminé par une équation implicite. La Remarque 5.1 indique que quand l=2, 4πA2≥1, donc cette borne est toujours meilleure que le théorème 1.3.
Construction de borne inférieure (Remarque 3.2):
Via la borne supérieure connue Nα(X)≤1+α−14(3α−1)Var(X) (pour α>1), on obtient:
infaNα(a⋅X)≤1+α−14(3α−1)∑i=1nVar(Xi)
Cela montre que la borne du théorème 1.2 est optimale au sens des constantes.
Théorème central: Généralisation réussie du problème de Littlewood-Offord à toutes les distributions discrètes log-concaves à support fini, avec borne:
1+c∑Var(Xk)1
où c∈{1,2} dépend de la symétrie
Contribution méthodologique: Établissement de la technique de réduction de signe, outil clé pour traiter les problèmes de coefficients généraux
Unification théorique: Via le cadre de puissance entropique de Rényi, unification de l'estimation de probabilité ponctuelle, des inégalités entropiques et des problèmes de progressions arithmétiques
Récupération de résultats existants: Récupération comme cas particuliers de plusieurs résultats importants connus
Généralisation importante: Extension du problème classique de la distribution de Rademacher/Bernoulli à toute la classe discrète log-concave, c'est un progrès théorique substantiel
Méthode élégante: La technique de réduction de signe (théorème 3.1) est très élégante, simplifiant les problèmes complexes à l'essentiel
Cadre unifié: Fourniture d'une méthode de traitement unifiée via la théorie de la majorisation, avec une forte beauté théorique
Synthèse multi-outils: Combinaison astucieuse de la théorie de la majorisation, du réarrangement comprimé, de la concavité de Schur, de l'analyse de Fourier et d'autres outils
Preuves rigoureuses: Tous les résultats ont des preuves mathématiques complètes et rigoureuses
Analyse de serrage: Non seulement des bornes supérieures sont données, mais aussi l'analyse de serrage des bornes, montrant que les résultats sont optimaux au sens des constantes
Fondations théoriques: Fourniture de résultats fondamentaux pour la théorie d'anti-concentration des distributions discrètes log-concaves
Méthodologie: Application de la réduction de signe et de la théorie de la majorisation fournissant de nouvelles perspectives pour les problèmes connexes
Recherche ultérieure: Ouverture de directions pour l'optimisation des constantes, la généralisation en dimension supérieure, etc.
Ceci est un article de mathématiques théoriques de haute qualité, réalisant un progrès substantiel sur le problème classique de Littlewood-Offord. En introduisant la théorie de la majorisation et la technique de réduction de signe, les auteurs généralisent élégamment le problème à toute la classe des distributions discrètes log-concaves. La valeur principale de l'article réside dans:
Profondeur théorique: Fourniture d'un cadre unifié pour traiter les distributions log-concaves générales
Innovation méthodologique: La réduction de signe est l'innovation clé pour traiter les coefficients généraux
Complétude des résultats: Traitement simultané de plusieurs aspects: probabilité, entropie et progressions arithmétiques
Rigueur: Tous les résultats ont des preuves complètes, avec analyse de serrage
Les limitations principales concernent la non-optimalité des facteurs constants et l'hypothèse de support fini. Cependant, celles-ci n'affectent pas les contributions principales de l'article. Ce travail fournit des outils théoriques importants pour la théorie des probabilités discrètes et la théorie d'anti-concentration, avec un impact durable attendu sur les domaines connexes.
Indice de recommandation: ⭐⭐⭐⭐⭐ (5/5)
Lecteurs appropriés: Chercheurs en théorie des probabilités, mathématiques combinatoires, théorie de l'information