Sensing with Random Signals: The Role of Time Sharing

Resumo Técnico: Sensoriamento com Sinais Aleatórios: O Papel do Compartilhamento de Tempo

Definição do Problema
Este artigo aborda a caracterização teórica da informação para o Sensoriamento e Comunicação Integrados (ISAC) em cenários onde o receptor de sensoriamento é "desconhecedor de símbolos" (symbol-unaware). Nas formulações tradicionais de ISAC monoestáticas ou com auxílio de decisão, assume-se que o receptor de sensoriamento conhece a forma de onda ou a realização do símbolo transmitido, permitindo que o desempenho do sensoriamento seja medido pela informação mútua condicional $I(S; V | X)$. No entanto, em cenários passivos, bistáticos ou distribuídos, o receptor de sensoriamento pode conhecer a regra de sinalização, mas não os símbolos específicos transmitidos. Nesses casos, o sinal de comunicação permanece como parte da incerteza do sensoriamento, tornando necessário o uso da informação mútua não condicionada $I(S; V)$ como métrica de sensoriamento. A questão central é se uma única distribuição de entrada (um único modo de sinalização) é suficiente para caracterizar o tradeoff ideal entre comunicação e sensoriamento sob esta métrica, ou se o compartilhamento de tempo (time sharing) explícito é fundamentalmente necessário para convexificar a região alcançável.

Metodologia
Os autores modelam o sistema como um canal sem memória dependente de estado, onde uma mensagem $W$ é transmitida ao longo de $n$ usos do canal, gerando uma saída de comunicação $Y$ e uma saída de sensoriamento $V$ dependentes de uma sequência de estados i.i.d. $S$. O desempenho do sensoriamento é quantificado pela informação mútua média símbolo a símbolo $D_n = \frac{1}{n}\sum I(S_i; V_i)$, sem condicionamento aos símbolos de entrada.

A análise procede em duas etapas principais:

1. Caracterização Geral: Os autores derivam a região de capacidade-sensoriamento de uma única letra para canais sem memória de alfabeto finito. Eles introduzem uma variável de compartilhamento de tempo auxiliar $Q$ para caracterizar a região alcançável. Utilizando o fortalecimento de Fenchel–Eggleston do teorema de Carathéodory, eles provam que a fronteira superior ótima da região é o envelope côncavo superior da "fronteira de modo único" (o conjunto de pontos alcançáveis por uma única distribuição de entrada $P_X$).
2. Análise de Modelo Específico: O arcabouço teórico é aplicado a modelos de BPSK (Modulação por Deslocamento de Fase Binária) com desvanecimento de Rayleigh e SIMO (Single-Input Multiple-Output). Os autores analisam a curvatura da fronteira de modo único $C_0(D)$ examinando a ordenação estocástica das distribuições de Razão Sinal-Ruído (SNR) efetiva nos lados de comunicação e de sensoriamento. Eles utilizam o conceito de ordenação de Razão de Verossimilhança Monotônica (MLR) e densidades de SNR inclinadas para determinar se a fronteira é côncava, convexa ou linear.

Principais Contribuições e Resultados

• Caracterização da Região Capacidade–Sensoriamento: O artigo estabelece que, para o ISAC desconhecedor de símbolos, a região alcançável é o fechamento para baixo do envelope convexo da fronteira de modo único. Crucialmente, a fronteira ótima é o envelope côncavo superior da fronteira de modo único. Isso implica que o compartilhamento de tempo explícito só é desnecessário se a fronteira de modo único já for côncava; caso contrário, o compartilhamento de tempo é estritamente benéfico e estruturalmente necessário para atingir o tradeoff ideal.
• Critério de Curvatura para BPSK com Desvanecimento de Rayleigh: Para o BPSK escalar com desvanecimento de Rayleigh, os autores derivam uma condição precisa que determina a geometria da fronteira baseada nas SNRs efetivas médias do lado da comunicação ($\bar{\gamma}_c$) e do lado do sensoriamento ($\bar{\gamma}_s$):
  • Dominância do Lado da Comunicação ($\bar{\gamma}_c > \bar{\gamma}_s$): A fronteira de modo único é estritamente côncava. O compartilhamento de tempo não oferece ganho; a estratégia ideal envolve o enviesamento contínuo da distribuição de entrada de símbolos de dados equiprobáveis para símbolos determinísticos do tipo piloto.
  • Dominância do Lado do Sensoriamento ($\bar{\gamma}_c < \bar{\gamma}_s$): A fronteira de modo único é estritamente convexa. O compartilhamento de tempo gera um ganho estrito, o que significa que a fronteira ótima é a corda que conecta o modo de dados puro e o modo de piloto puro, em vez de qualquer modo enviesado intermediário.
  • Igualdade ($\bar{\gamma}_c = \bar{\gamma}_s$): A fronteira é linear.
• Extensão para SIMO-BPSK: Os resultados são estendidos para sistemas i.i.d. SIMO. A curvatura é determinada pela ordenação das distribuições de SNR pós-combinação. Se o lado da comunicação possui um número maior de antenas ($N_c$) ou um parâmetro de escala maior ($\theta_c$) em comparação ao lado do sensoriamento, a fronteira é côncava. Por outro lado, se o lado do sensoriamento dominar tanto em diversidade quanto em escala, a fronteira é convexa, necessitando de compartilhamento de tempo. Condições mistas podem resultar em razões de verossimilhança não monotônicas, impedindo uma regra de dominância simples.

Significância
O artigo afirma que, sob a métrica de sensoriamento desconhecedor de símbolos $I(S; V)$, o compartilhamento de tempo não é meramente uma opção de design secundária ou um artefato de implementação, mas pode ser um componente intrínseco da fronteira ideal de ISAC. As descobertas explicam as condições fundamentais sob as quais um sistema deve transitar de uma transmissão contínua de símbolos de dados para uma estratégia de compartilhamento de tempo envolvendo modos de sensoriamento do tipo piloto. Especificamente, quando a SNR efetiva do lado do sensoriamento domina o lado da comunicação, a estratégia ideal afasta-se de entradas enviesadas intermediárias em direção a uma alternância estrita entre modos puros de comunicação e de sensoriamento. Este trabalho fornece uma compreensão geométrica rigorosa dos tradeoffs em cenários de ISAC passivos e distribuídos, distinguindo-os das formulações de forma de onda conhecidas.