Esempio del sistema di comunicazione binario simmetrico

Template:Risorsa Questo è un esempio di applicazione della probabilità condizionata.

Si ha un sistema di comunicazione binario simmetrico

Sistema sorgente-canale-ricevitore

dove $m$ sono i simboli emessi dalla sorgente, $\hat{m}$ i simboli ricevuti dal destinatario. Nel caso ideale, $m=\hat{m}$; nel caso reale, abbiamo che il messaggio originale $m$ che transita sul canale è, in generale, alterato a causa di diversi fattori quali la presenza di rumore termico, interferenze con altri sistemi di trasmissione, non idealità del canale. Consideriamo il caso in cui il canale può assumere solo due valori: $m=0$ ed $m=1$ (sorgente binaria).

Lo spazio di probabilità ha come insieme degli esiti

$F=(0,0),(0,1),(1,0),(1,1)$

Come al solito, la $\sigma$-algebra è l'insieme delle parti, $|F|=2^{\mathrm{\Omega }}$. Si definiscono gli eventi

• $A_0=(0,0),(0,1)\Rightarrow m=0$
• $B_0=(1,0),(1,1)\Rightarrow m=1$

Le probabilità a priori sono

• $P(m=0)=q$
• $P(m=1)=p$

dove $q+p=1$.

Ipotizziamo che il canale sia simmetrico, cioè la probabilità di crossover è

$P(\hat{m}=1|m=0)=P(\hat{m}=0|m=1)=ϵ$

Si ha

• $P((1,0)|A_0)=P((1,1)|A_0)=0$
• $P((0,1)|A_0)=ϵ$
• $P((0,0)|A_0)=1-ϵ$ è la probabilità che non vi siano errori, data la trasmissione $m=0$
• $P((0,1)|A_1)=P((0,0)|A_1)=0$
• $P((1,0)|A_1)=ϵ$
• $P((1,1)|A_1)=1-ϵ$

A questo punto, possiamo ridisegnare il canale usando il modello con le probabilità di transizione

TFA_modello_probabilità_transizione_canale_simmetrico

Dal teorema della probabilità totale segue che

$P((0,0))=P((0,0)|A_0)\cdot P(A_0)+P((0,0)|A_1)\cdot P(A_1)$

da cui

• $P((0,0))=(1-ϵ)\cdot q$
• $P((0,1))=ϵ\cdot q$
• $P((1,0))=ϵ\cdot p$
• $P((1,1))=(1-ϵ)\cdot p$

Calcoliamo la prob di ricevere “0” e “1”; in termini elementari

• $\hat{m}=0\to B_0=(0,0),(1,0)$
• $\hat{m}=1\to B_1=(0,1),(1,1)$

Allora, calcoliamo

• $P(B_0)=P((0,0))+P((1,0))=1-ϵ\cdot q+ϵ\cdot p$ (perché i due eventi sono disgiunti)
• $P(B_1)=P((1,0))+P((1,1))=ϵ\cdot q-1-ϵ\cdot q$

La probabilità di errore è data dall'evento errore $E=(0,1),(1,0)$ è

$P(E)=P(\{(0,1)\})+P(\{(1,0)\})=ϵ\cdot (p+q)=ϵ$

Quindi, in termini di probabilità di errore rispetto alla probabilità dei singoli, per un canale binario simmetrico, l'errore è indipendente dalla distribuzione di probabilità degli ingressi.

$P(E|\hat{m}=1)$

Definiamo l'evento

$C=(0,1),(1,1)=\hat{m}=1=B_1$

che indica che abbiamo ricevuto $1$. Allora

$P(E|C)=\frac{P(E\cap C)}{P(C)}=\frac{P((0,1))}{P(C)}=\frac{ϵ\cdot q}{ϵ\cdot q+(1-ϵ)\cdot p}$

Casi limite:

• $q=1$, allora $P(E|C)=1$
• $q=0$, allora $P(E|C)=0$
• $p=q=\frac{1}{2}$, allora $P(E|C)=ϵ$

Probabilità a posteriori

Dato $\hat{m}=1$, qual è la probabilità di $m=0$ e $m=1$?

• $P_{01}=P(m=0|\hat{m}=1)=\frac{P(m=0\cap \hat{m}=1)}{P(\hat{m}=1)}=\frac{P((0,1))}{P((0,1),(1,1))}=\frac{ϵ\cdot q}{ϵ\cdot q+(1-ϵ)\cdot p}$
• $P_{11}=P(m=1|\hat{m}=1)=\frac{P(m=1\cap \hat{m}=1)}{P(\hat{m}=1)}=\frac{(1-ϵ)\cdot q}{ϵ\cdot q+(1-ϵ)\cdot p}$
• $P_{00}=\cdots$
• $P_{10}=\cdots$

Se $ϵ\ll 1/2$ (canale affidabile), allora

$P_{11}\simeq \frac{p}{ϵ\cdot q+p}$ e $P_{01}\simeq \frac{p}{ϵ\cdot q}$

Questo implica che $P_{11}\gg P_{01}$, cioè osservare $\hat{m}=1$ aumenta significativamente la probabilità che $m=1$. Notate che per $ϵ$ molto piccolo,

$P_{11}\to 1$

dove

$P_{11}>P\left(\text{ probabilita a priori }\right)$

cioè la probabilità a posteriori è molto maggiore rispetto alla probabilità a priori. Questo è intuitivo: se così non fosse, allora non servirebbe avere il canale: potremmo dedurre tranquillamente il risultato della trasmissione, meglio che osservando la trasmissione stessa.

La condizione di massima incertezza si ha quando $ϵ=1/2$, cioè

$\{\begin{array}{ccccc}{P}_{01}=P_{11}& \to & ϵq=(1-ϵ)q& \to & ϵ=p\\ P_{10}=P_{00}& \to & ϵp=(1-ϵ)p& \to & ϵ=q\end{array}$

In questo particolare caso è inutile l'osservazione della trasmissione sul canale: basta tirare a caso e si ottiene la stessa probabilità di sbagliare.

Dipendenza sorgente e ricevitore

In termini di indipendenza statistica, in un canale ideale c'è dipendenza totale tra la sorgente ed il ricevitore. Ad una data realizzazione della sorgente corrisponde una sola realizzazione del ricevitore, che coincide con quella della sorgente. Nel caso di massima incertezza, al contrario, sorgente e ricevitore sono statisticamente indipendenti tra loro; infatti, guardando il risultato del ricevitore non posso dire assolutamente nulla sulla sorgente, e viceversa.