Sensing with Random Signals: The Role of Time Sharing

Resumen Técnico: Detección con Señales Aleatorias: El Papel del Reparto de Tiempo (Time Sharing)

Planteamiento del Problema
Este artículo aborda la caracterización de la teoría de la información de la Detección e Integración de Comunicaciones (ISAC, por sus siglas en inglés) en entornos donde el receptor de detección es "desconocedor de los símbolos" (symbol-unaware). En las formulaciones tradicionales de ISAC monotáticas o con ayuda de decisiones, se asume que el receptor de detección conoce la forma de onda o la realización del símbolo transmitido, lo que permite medir el rendimiento de la detección mediante la información mutua condicional $I(S; V | X)$. Sin embargo, en escenarios pasivos, bistáticos o distribuidos, el receptor de detección puede conocer la regla de señalización pero no los símbolos específicos transmitidos. En tales casos, la señal de comunicación permanece como parte de la incertidumbre de la detección, lo que requiere el uso de la información mutua no condicionada $I(S; V)$ como métrica de detección. La cuestión central es si una única distribución de entrada (un único modo de señalización) es suficiente para caracterizar el compromiso óptimo entre comunicación y detección, o si el reparto de tiempo explícito es fundamentalmente necesario para convexificar la región alcanzable.

Metodología
Los autores modelan el sistema como un canal sin memoria dependiente del estado donde se transmite un mensaje $W$ a través de $n$ usos del canal, generando una salida de comunicación $Y$ y una salida de detección $V$ que dependen de una secuencia de estados i.i.d. $S$. El rendimiento de la detección se cuantifica mediante la información mutua promedio símbolo por símbolo $D_n = \frac{1}{n}\sum I(S_i; V_i)$, sin condicionar a los símbolos de entrada.

El análisis procede en dos etapas principales:

1. Caracterización General: Los autores derivan la región de capacidad-detección de una sola letra para canales sin memoria de alfabeto finito. Introducen una variable de reparto de tiempo auxiliar $Q$ para caracterizar la región alcanzable. Utilizando el fortalecimiento de Fenchel–Eggleston del teorema de Carathéodory, demuestran que el límite superior óptimo de la región es la envolvente cóncava superior de la "frontera de un solo modo" (el conjunto de puntos alcanzables por una única distribución de entrada $P_X$).
2. Análisis de Modelos Específicos: El marco teórico se aplica a modelos de BPSK (Desplazamiento de Fase Binaria) con desvanecimiento de Rayleigh y SIMO (Entrada Única Múltiples Salidas). Los autores analizan la curvatura de la frontera de un solo modo $C_0(D)$ examinando el ordenamiento estocástico de las distribuciones de la Relación Señal-Ruido (SNR) efectiva en los lados de comunicación y detección. Utilizan el concepto de ordenamiento de Razón de Verosimilitud Monótona (MLR) y densidades de SNR sesgadas para determinar si la frontera es cóncava, convexa o lineal.

Contribuciones Clave y Resultados

• Caracterización de la Región de Capacidad–Detección: El artículo establece que, para ISAC con desconocimiento de símbolos, la región alcanzable es el cierre hacia abajo de la envolvente convexa de la frontera de un solo modo. Crucialmente, el límite superior óptimo es la envolvente cóncava superior de la frontera de un solo modo. Esto implica que el reparto de tiempo explícito no es necesario únicamente si la frontera de un solo modo ya es cóncava; de lo contrario, el reparto de tiempo es estrictamente beneficioso y estructuralmente necesario para alcanzar el compromiso óptico.
• Criterio de Curvatura para BPSK con Desvanecimiento de Rayleigh: Para el caso escalar de BPSK con desvanecimiento de Rayleigh, los autores derivan una condición precisa que determina la geometría de la frontera basada en las SNR efectas promedio del lado de la comunicación ($\bar{\gamma}_c$) y del lado de la detección ($\bar{\gamma}_s$):
  • Dominancia del Lado de la Comunicación ($\bar{\gamma}_c > \bar{\gamma}_s$): La frontera de un solo modo es estrictamente cóncava. El reparto de tiempo no proporciona ganancia; la estrategia óptima consiste en sesgar continuamente la distribución de entrada desde símbolos de datos equiprobables hacia símbolos deterministas tipo piloto.
  • Dominancia del Lado de la Detección ($\bar{\gamma}_c < \bar{\gamma}_s$): La frontera de un solo modo es estrictamente convexa. El reparto de tiempo produce una ganancia estricta, lo que significa que el límite óptimo es la cuerda que conecta el modo de datos puro y el modo de piloto puro, en lugar de cualquier modo sesgado intermedio.
  • Igualdad ($\bar{\gamma}_c = \bar{\gamma}_s$): La frontera es lineal.
• Extensión a SIMO-BPSK: Los resultados se extienden a sistemas SIMO i.i.d. La curvatura está determinada por el ordenamiento de las distribuciones de SNR tras la combinación. Si el lado de la comunicación tiene un mayor número de antenas ($N_c$) o un mayor parámetro de escala ($\theta_c$) en comparación con el lado de la detección, la frontera es cóncava. Por el contrario, si el lado de la detección domina tanto en diversidad como en escala, la frontera es convexa, lo que requiere reparto de tiempo. Las condiciones mixtas pueden resultar en razones de verosimilitud no monotónicas, impidiendo una regla de dominancia simple.

Significancia
El artículo sostiene que, bajo la métrica de detección con desconocimiento de símbolos $I(S; V)$, el reparto de tiempo no es meramente una opción de diseño secundaria o un artefacto de implementación, sino que puede ser un componente intrínseco del límite óptimo de ISAC. Los hallazgos explican las condiciones fundamentales bajo las cuales un sistema debe transicionar de la transmisión continua de símbolos de datos a una estrategia de reparto de tiempo que involucre modos de detección tipo piloto. Específicamente, cuando la SNR efectiva del lado de la detección domina al lado de la comunicación, la estrategia óptima se aleja de las entradas sesgadas intermedias hacia una alternancia estricta entre modos de comunicación pura y de detección pura. Este trabajo proporciona una comprensión geométrica rigurosa de los compromisos en escenarios de ISAC pasivos y distribuidos, distinguiéndolos de las formulaciones de formas de onda conocidas.