Sull'entropia di una somma


12

Sto cercando un balzo sul entropia della somma di due variabili aleatorie discrete indipendenti X e Y . Naturalmente, H ( X + Y ) ≤ H ( X ) + H ( Y ) ( ∗ ) Tuttavia, applicato alla somma di n variabili casuali indipendenti di Bernoulli Z 1 , … , Z n , questo dà H ( Z 1 +H(X+Y)XY

H(X+Y)≤H(X)+H(Y)      (∗)
nZ1,…,Zn In altre parole, il limite cresce linearmente con n quando applicato ripetutamente. Tuttavia, Z 1 + ⋯ Z n è supportato su un set di dimensioni n , quindi la sua entropia è al massimo log n . In realtà, per il teorema del limite centrale, sto cercando di indovinare che H ( Z 1 + ⋯ + Z n ) ≈ ( 1 / 2 ) log
H(Z1+Z2+⋯+Zn)≤nH(Z1)
nZ1+⋯Znnlog⁡n poiché è essenzialmente supportato su un set di dimensioni √H(Z1+⋯+Zn)≈(1/2)log⁡n .n

In breve, il limite supera di un bel po 'in questa situazione. Dando un'occhiata a questo post del blog , raccolgo tutti i tipi di limiti su H ( X + Y ) sono possibili; esiste un limite che dia gli asintotici giusti (o, almeno, asintotici più ragionevoli) se applicato ripetutamente alla somma delle variabili casuali di Bernoulli?(∗)H(X+Y)


2
Non sono sicuro di cosa tu stia davvero chiedendo. Se si desidera un limite superiore su H (X + Y) in termini di H (X) e H (Y) applicabile a due variabili casuali discrete indipendenti X e Y, quindi H (X + Y) ≤H (X ) + H (Y) è chiaramente il migliore che puoi ottenere; si consideri il caso in cui le somme x + y sono tutte distinte quando x si estende sul supporto di X e y si estende sul supporto di Y. Se si applica questo limite generale a un caso molto speciale, è naturale che si ottenga un vincolato.
— Tsuyoshi Ito,

1
H(X+Y)≤H(X)+H(Y)−…n

1
H(X+Y)≤3H(X−Y)−H(X)−H(Y)

2
Ciò significa che ciò che stai cercando non è un limite superiore su H (X + Y) in termini di H (X) e H (Y) . Modifica la domanda
— Tsuyoshi Ito,

1
Zin

Risposte:


19

XA2H(X)YB2H(Y)

|A+B||A||B||A+B|∼|A|⋅|B|H(X+Y)∼H(X)+H(Y)

|A+B|≪|A|⋅|B|AB|A+B|(G,+)|A+B|=O(|A|+|B|)A,BG

A[a..b]B[0..c](1/2)log⁡nc=1a=0b=kk=1,...,n−1a∼k−kb∼k+k|A+B|≤|A|+c


5

nZ1,Z2,...,ZnpZ1+Z2+...+Znnpnp12log⁡n+O(log⁡n)


0

Forse potresti usare l'equazione:

H(Z1+Z2+⋯+Zn)=H(Z1)+H(Z2)+⋯+H(Zn)−H(Z1|Z1+Z2+⋯+Zn)−H(Z2|Z2+Z3+⋯+Zn)−⋯−H(Zn−1|Zn−1+Zn)

Sembrerebbe un termine che hai menzionato nei commenti, purtroppo non conosco i risultati sulla cardinalità dei termini negativi o dei limiti penetranti su di essi.

Utilizzando il nostro sito, riconosci di aver letto e compreso le nostre Informativa sui cookie e Informativa sulla privacy.
Licensed under cc by-sa 3.0 with attribution required.