The uncertainty principles of random signals related to the linear canonical transform

Sintesi Tecnica: Principi di Incertezza di Segnali Casuali Relativi alla Trasformata Canonica Lineare

Definizione del Problema
I principi di incertezza sono strumenti fondamentali nell'analisi armonica e nell'elaborazione dei segnali, caratterizzando il compromesso tra la localizzazione di un segnale nel dominio del tempo e nel suo dominio della frequenza. Mentre il Principio di Incertezza di Heisenberg (HUP) e il Principio di Incertezza di Donoho-Stark (DSUP) sono ben stabiliti per i segnali deterministici e sono stati estesi ai segnali casuali all'interno del dominio della Trasformata di Fourier (FT), esiste una lacuna nel quadro teorico riguardante i segnali casuali nel dominio della Trasformata Canonica Lineare (LCT). I segnali del mondo reale spesso esibiscono sia non stazionarietà che variazioni casuali dovute a perturbazioni ambientali o rumore di misura. La LCT, che generalizza la FT e la Trasformata di Fourier Frazionaria (FrFT), offre una maggiore flessibilità attraverso la selezione dei parametri per l'analisi di tali segnali. Tuttavia, i limiti di incertezza per i segnali casuali specificamente all'interno del framework LCT non erano stati rigorosamente formulati.

Metodologia
Gli autori affrontano questo problema formulando la LCT di segnali casuali su uno spazio di probabilità $(\Omega, \mathcal{F}, P)$. Un segnale casuale è definito come $f(t, \eta) = \psi(t, \eta)e^{j\theta(t, \eta)}$, dove $\eta$ rappresenta il parametro casuale. La metodologia procede in tre fasi principali:

1. Formulazione Matematica: Il documento definisce la LCT, la FrFT e la FT per segnali casuali, stabilendo le definizioni necessarie per i valori medi e le varianze (durata) nel dominio LCT.
2. Derivazione di HUP: Utilizzando le proprietà del kernel LCT e il teorema di Parseval, gli autori derivano un'identità per la varianza della frequenza LCT. Applicando la disuguaglianza di Cauchy-Schwarz alle varianze nel dominio del tempo e nel dominio LCT, stabiliscono il Principio di Incertezza di Heisenberg per i segnali casuali.
3. Derivazione di DSUP: Gli autori utilizzano la teoria degli operatori, definendo specificamente operatori di limitazione temporale e di limitazione in frequenza nel dominio LCT. Calcolano la norma di Hilbert-Schmidt della composizione di questi operatori. Utilizzando la relazione tra la norma dell'operatore e la norma di Hilbert-Schmidt, derivano il Principio di Incertezza di Donoho-Stark, che mette in relazione le misure degli insiemi temporali e di frequenza con la probabilità della loro intersezione.

Contributi Chiave e Risultati

• Principio di Incertezza di Heisenberg (HUP) per Segnali Casuali in LCT:
  Il documento stabilisce che il prodotto della varianza temporale attesa e della varianza della frequenza LCT attesa è limitato da:
  $$E_\eta[\sigma^2_t(\eta)]E_\eta[\sigma^2_u(\eta)] \geq \frac{b^2}{4} + \left[ \int_\Omega \int_{-\infty}^{\infty} |(t - \mu_t)(at + b\partial_t\theta(t, \eta) - \mu_u)| \psi^2(t, \eta) dt dP \right]^2$$
  Qui, $a$ e $b$ sono parametri dalla matrice LCT $A = \begin{bmatrix} a & b \\ c & d \end{bmatrix}$. Il risultato mostra esplicitamente che il limite di incertezza dipende dal parametro LCT $b$ e dal gradiente di fase del segnale casuale.

• Principio di Incertezza di Donoho-Stark (DSUP) per Segnali Casuali in LCT:
  Gli autori dimostrano che un segnale casuale non può essere simultaneamente concentrato su insiemi arbitrariamente piccoli sia nel dominio del tempo che in quello della frequenza LCT. Specificamente, se un segnale è $\epsilon$-concentrato sugli insiemi $T$ e $U$ con associati insiemi di eventi casuali $B_T$ e $B_U$, la seguente disuguaglianza è soddisfatta:
  $$\frac{1}{2\pi|b||U||T|P(B_T \cap B_U)} \geq (1 - \epsilon_{B_T \times T} - \epsilon_{B_U \times U})^2$$
  Questo risultato indica che la concentrazione simultanea è vincolata non solo dalle misure di Lebesgue degli insiemi, ma anche dalla probabilità dell'intersezione degli eventi casuali e dal parametro LCT $b$.

• Casi Speciali:
  Il documento dimostra che i risultati derivati per il dominio LCT si riducono naturalmente ai risultati noti nel dominio FrFT (impostando specifici parametri LCT) e nel dominio FT (impostando $A = \begin{bmatrix} 0 & 1 \\ -1 & 0 \end{bmatrix}$).

• Recupero del Segnale:
  Sulla base del DSUP, il documento presenta risultati di stabilità per il recupero di segnali casuali da osservazioni incomplete o mancanti nel dominio LCT. Stabilisce le condizioni sotto le quali è possibile una ricostruzione univoca e stabile, a condizione che il prodotto delle misure degli insiemi e la probabilità di intersezione soddisfi specifici limiti rispetto al parametro LCT $b$.

Significato e Rivendicazioni
Il documento afferma che le sue scoperte forniscono un quadro teorico unificato per l'analisi di segnali casuali con caratteristiche sia non stazionarie che casuali. Il significato primario risiede nella dipendenza esplicita dei limiti di incertezza dai parametri LCT. Gli autori affermano che questa dipendenza indica che la LCT offre maggiore flessibilità rispetto alla trasformata di Fourier standard nel controllare l'equilibrio tra la localizzazione temporale e quella in frequenza.

Il lavoro è presentato come avente sia un significato teorico che pratico, in particolare per:

1. Caratterizzare la localizzazione tempo-frequenza dei segnali casuali.
2. Facilitare il recupero di segnali casuali da osservazioni incomplete o parzialmente mancanti.

Il documento non propone nuovi setup sperimentali o scenari di applicazione specifici oltre a queste caratterizzazioni teoriche e garanzie di recupero, mantenendo il focus sulla generalizzazione matematica dei principi di incertezza al dominio LCT stocastico.