Une extension de Chernoff lié

13

Je cherche une référence (pas une preuve, que je peux faire) à l'extension suivante de Chernoff.

Laissez sont des variables aléatoires booléennes, pas nécessairement indépendantes . Au lieu de cela, il est garanti que P r ( X i = 1 | C ) < p pour chaque i et chaque événement C qui ne dépend que de { X j | j i } .X1,..,XnPr(Xi=1|C)<piC{Xj|ji}

Naturellement, je veux une borne supérieure sur .Pr(i[n]Xi>(1+λ)np)

Merci d'avance!

curieuse
la source

Réponses:

26

Ce que vous voulez, c'est la borne de Chernoff généralisée, qui ne suppose que pour tout sous-ensemble S d'indices variables. Cette dernière découle de votre hypothèse, car pour S = { i 1 , , i | S | } , P ( i S X i ) = P ( X i 1 = 1 ) P (P(iSXi)p|S|S={i1,,i|S|} Impagliazzo et Kabanets ont récemment donné une preuve alternative de la liaison de Chernoff, y compris celle généralisée. Dans leur article, vous pouvez trouver toutes les références appropriées aux travaux antérieurs:

P(iSXi)=P(Xi1=1)P(Xi2=1|Xi1=1)P(Xi|S|=1|Xi1,...,Xi|S|1=1)p|S|
http://www.cs.sfu.ca/~kabanets/papers/RANDOM2010.pdf
Dana Moshkovitz
la source
Merci pour la clarification! En fait, leur état est impliqué à la fois par ce que j'ai et par des corrélations négatives. Donc, c'est en effet qualitativement plus fort (j'ai en quelque sorte raté ce point quand j'ai entendu parler de Valentin). Maintenant, la preuve de ce dont j'ai besoin devient si courte, que je marque volontiers ma question comme répondue, merci beaucoup !!
curieux
3
Dans votre cas, vous pouvez simplement créer une sous-martingale à partir de vos variables et utiliser l'inégalité d'Azuma classique au même effet. Pour que cela fonctionne, il suffit que qui est impliqué par votre hypothèse. Pr[Xi=1|X1,,Xi1]<p
MCH
7

Les éléments les plus proches dont je suis conscient dans la littérature sont les extensions des limites de Chernoff à des variables aléatoires corrélées négativement, par exemple voir ceci ou cela . Formellement, votre condition pourrait être satisfaite sans la corrélation négative, mais l'idée est similaire.

Parce que votre généralisation n'est pas difficile à prouver, il se peut que personne n'ait pris la peine de l'écrire.

Lev Reyzin
la source
Vous avez raison, c'était aussi le plus proche que j'ai trouvé (dans "Concentration ... pour l'analyse des ... algorithmes"). Le fait est que mon manuscrit devient trop long, j'aimerais éviter encore un autre spin-off, si possible. Sinon, je n'aurai pas le choix ...
curieux
3
voici à
2
Hé, les gars, cela a été prouvé avant, et j'ai donné une référence dans ma réponse (où vous pouvez également trouver toutes les autres références pertinentes).
Dana Moshkovitz
Oups - génial. Je n'ai pas remarqué ta réponse!
Lev Reyzin
3

Une référence alternative pourrait être le lemme 1.19 dans B. Doerr, Analyse de l'heuristique de recherche aléatoire: outils de la théorie des probabilités, Théorie de l'heuristique de recherche aléatoire (A. Auger et B. Doerr, éd.), World Scientific Publishing, 2011, pp. 1- 20.

Xi=1piX1,,Xi1X1,,XnY1,,Ynp1,,pn, respectivement. La preuve est élémentaire et le résultat est naturel, donc je suppose que personne n'a ressenti le besoin de l'écrire.

Benjamin Doerr
la source