Sensing with Random Signals: The Role of Time Sharing

Sintesi Tecnica: Rilevamento con Segnali Casuali: Il Ruolo del Time Sharing

Definizione del Problema
Questo articolo affronta la caratterizzazione informatico-teorica dell'Integrated Sensing and Communications (ISAC) in scenari in cui il ricevitore di rilevamento è "non consapevole dei simboli" (symbol-unaware). Nelle tradizionali formulazioni ISAC monostatiche o assistite da decisioni, si assume che il ricevitore di rilevamento conosca la forma d'onda o la realizzazione del simbolo trasmesso, permettendo di misurare le prestazioni di rilevamento tramite l'informazione mutua condizionata $I(S; V | X)$. Tuttavia, in scenari passivi, bistatici o distribuiti, il ricevitore di rilevamento può conoscere la regola di segnalazione ma non i simboli specifici trasmessi. In tali casi, il segnale di comunicazione rimane parte dell'incertezza del rilevamento, rendendo necessario l'uso dell'informazione mutua non condizionata $I(S; V)$ come metrica di rilevamento. La questione centrale è se una singola distribuzione di input (una singola modalità di segnalazione) sia sufficiente a caratterizzare il tradeoff ottimale comunicazione-rilevamento, o se il time sharing esplicito sia fondamentalmente necessario per convessificare la regione raggiungibile.

Metodologia
Gli autori modellano il sistema come un canale a memoria senza stato dipendente dove un messaggio $W$ viene trasmesso su $n$ utilizzi del canale, generando un output di comunicazione $Y$ e un output di rilevamento $V$ dipendenti da una sequenza di stati i.i.d. $S$. Le prestazioni di rilevamento sono quantificate dall'informazione mutua media simbolo per simbolo $D_n = \frac{1}{n}\sum I(S_i; V_i)$, senza condizionamento sui simboli di input.

L'analisi procede in due fasi principali:

1. Caratterizzazione Generale: Gli autori derivano la regione capacità-rilevamento a lettera singola per canali a memoria con alfabeto finito. Introducono una variabile di time sharing ausiliaria $Q$ per caratterizzare la regione raggiungibile. Utilizzando il potenziamento Fenchel–Eggleston del teorema di Carathéodory, dimostrano che il confine superiore ottimale della regione è l'inviluppo concavo superiore della "frontiera a modalità singola" (l'insieme di punti raggiungibili da una singola distribuzione di input $P_X$).
2. Analisi di un Modello Specifico: Il framework teorico viene applicato a modelli BPSK in fading di Rayleigh scalare e SIMO (Single-Input Multiple-Output). Gli autori analizzano la curvatura della frontiera a modalità singola $C_0(D)$ esaminando l'ordinamento stocastico delle distribuzioni del rapporto segnale-rumore (SNR) effettivo sui lati della comunicazione e del rilevamento. Utilizzano il concetto di ordinamento della Monotona Likelihood Ratio (MLR) e densità di SNR inclinate per determinare se la frontiera sia concava, convessa o lineare.

Contributi Chiave e Risultati

• Caratterizzazione della Regione Capacità–Rilevamento: L'articolo stabilisce che per l'ISAC symbol-unaware, la regione raggiungibile è la chiusura verso il basso dell'inviluppo convesso della frontiera a modalità singola. Fondamentalmente, il confine ottimale è l'inviluppo concavo superiore della frontiera a modalità singola. Ciò implica che il time sharing esplicito non è necessario solo se la frontiera a modalità singola è già concava; altrimenti, il time sharing è strettamente benefico e strutturalmente necessario per raggiungere il tradeoff ottimale.
• Criterio di Curvatura per BPSK in Fading di Rayleigh: Per il BPSK in fading di Rayleigh scalare, gli autori derivano una condizione precisa che determina la geometria della frontiera basandosi sugli SNR effettivi medi del lato comunicazione ($\bar{\gamma}_c$) e del lato rilevamento ($\bar{\gamma}_s$):
  • Dominanza del Lato Comunicazione ($\bar{\gamma}_c > \bar{\gamma}_s$): La frontiera a modalità singola è strettamente concava. Il time sharing non fornisce alcun guadagno; la strategia ottimale prevede di polarizzare continuamente la distribuzione di input dai simboli di dati equiprobabili verso simboli deterministici di tipo pilota.
  • Dominanza del Lato Rilevamento ($\bar{\gamma}_c < \bar{\gamma}_s$): La frontiera a modalità singola è strettamente convessa. Il time sharing produce un guadagno netto, il che significa che il confine ottimale è la corda che connette la modalità di puro dato e la modalità di puro pilota, piuttosto che qualsiasi modalità intermedia polarizzata.
  • Uguaglianza ($\bar{\gamma}_c = \bar{\gamma}_s$): La frontiera è lineare.
• Estensione a SIMO-BPSK: I risultati sono estesi a sistemi SIMO i.i.d. La curvatura è determinata dall'ordinamento delle distribuzioni di SNR post-combinazione. Se il lato comunicazione ha un numero maggiore di antenne ($N_c$) o un parametro di scala più grande ($\theta_c$) rispetto al lato rilevamento, la frontiera è concava. Al contrario, se il lato rilevamento domina sia in diversità che in scala, la frontiera è convessa, rendendo necessario il time sharing. Condizioni miste possono risultare in rapporti di verosimiglianza non monotoni, impedendo una semplice regola di dominanza.

Significatività
L'articolo sostiene che, sotto la metrica di rilevamento symbol-unaware $I(S; V)$, il time sharing non è semplicemente un'opzione di design secondaria o un artefatto di implementazione, ma può essere una componente intrinseca del confine ISAC ottimale. Le scoperte spiegano le condizioni fondamentali sotto le quali un sistema dovrebbe passare dalla trasmissione continua di simboli di dati a una strategia di time sharing che coinvolge modalità di rilevamento simili a piloti. Nello specifico, quando l'SNR effettivo del lato rilevamento domina il lato comunicazione, la strategia ottimale si allontana dagli input intermedi polarizzati verso un'alternanza rigorosa tra modalità di pura comunicazione e modalità di puro rilevamento. Questo lavoro fornisce una comprensione geometrica rigorosa dei tradeoff negli scenari ISAC passivi e distribuiti, distinguendoli dalle note formulazioni basate sulla forma d'onda.