Capacity of Uniform Noise Channels Under Average Input Power Constraints

Resumen Técnico: Capacidad de Canales de Ruido Uniforme bajo Restricciones de Potencia de Entrada Promedio

Planteamiento del Problema
Este artículo aborda un problema de larga data en la teoría de la información referente a la capacidad de un canal de ruido aditivo $Y = X + Z$, donde el ruido $Z$ sigue una distribución uniforme sobre un intervalo centrado $[-v, v)$, sujeto a una restricción de potencia promedio de entrada $E[X^2] \le u$. Si bien el trabajo fundacional de Shannon estableció la capacidad para el ruido gaussiano, e investigaciones posteriores resolvieron el caso del ruido uniforme bajo restricciones de amplitud ($|X| \le u$), la capacidad bajo restricciones de potencia promedio para el ruido uniforme permanecía sin resolver. Los límites existentes para canales aditivos generales no son ajustados en este entorno, y las técnicas analíticas estándar que dependen de la regularidad del ruido (por ejemplo, positividad de la cola, analiticidad) fallan porque la distribución uniforme carece de estas propiedades.

Metodología
La innovación metodológica central es la identificación y explotación de una identidad de periodización específica para la densidad de salida de un canal de ruido uniforme. Los autores observan que para cualquier entrada $X$ independiente de $Z \sim \text{Unif}([-v, v))$, la periodización de la densidad de salida $f_Y$ con respecto a la red $\Lambda_v = 2v\mathbb{Z}$ es constante. Específicamente:
$$\sum_{k \in \mathbb{Z}} f_Y(s + 2kv) = \frac{1}{2v}, \quad \forall s \in [-v, v).$$
Esto implica que la salida módulo $2v$ está distribuida uniformemente, independientemente de la distribución de entrada.

Esta observación transforma el problema de maximización de la información mutua (que es equivalente a maximizar la entropía diferencial de la salida $h(Y)$ sujeta a una restricción de segundo momento) en un problema de optimización con una restricción de igualdad lineal sobre la densidad periodizada. Los autores utilizan técnicas de análisis de Fourier, específicamente la sumatoria de Poisson, para analizar la función $\Theta_{\lambda, v}(s)$, definida como una suma de núcleos gaussianos sobre la red. Definen una función $Q_v(\lambda)$ que representa el segundo momento de una distribución específica derivada de $\Theta_{\lambda, v}$ y demuestran su estricta monotonicidad para establecer un mapeo único entre la restricción de potencia y un multiplicador de Lagrange $\lambda$.

Contribuciones Clave y Resultados
El artículo proporciona una caracterización explícita de forma cerrada de la capacidad del canal y las distribuciones únicas que alcanzan la capacidad:

1. Expresión de la Capacidad: La capacidad $C(u, v)$ viene dada por:
   $$C(u, v) = \lambda(u + v^2/3) + \frac{1}{2v} \int_{-v}^{v} \log(\Theta_{\lambda, v}(s)) \, ds$$
   donde $\lambda = \lambda(u, v)$ es la solución positiva única a $Q_v(\lambda) = u + v^2/3$.

2. Distribución de Salida: La densidad de salida única que alcanza la capacidad $g_{\lambda, v}(y)$ es absolutamente continua y toma la forma:
   $$g_{\lambda, v}(y) = \frac{\exp(-\lambda y^2)}{2v \Theta_{\lambda, v}([y]_v)}$$
   donde $[y]_v$ denota el residuo de $y$ módulo $2v$ en $[-v, v)$.

3. Distribución de Entrada: El artículo deriva la densidad de entrada única que alcanza la capacidad $f_X$, la cual también es absolutamente continua (contrastando con las distribuciones discretas que suelen encontrarse bajo restricciones de amplitud); la densidad se expresa como una serie que involucra los parámetros de la distribución de salida.

4. Regularidad: Los autores demuestran que tanto la distribución de entrada como la de salida óptimas son absolutamente continuas con respecto a la medida de Lebesgue, resolviendo preguntas sobre la naturaleza estructural de la entrada óptima para este tipo específico de ruido.

Significancia
El artículo afirma resolver la cuestión específica de determinar la capacidad y las distribuciones óptimas para el ruido uniforme bajo restricciones de potencia promedio, un problema explícitamente etiquetado como abierto en la literatura previa. La significancia radica en:

• Caracterización Exacta: Proporcionar expresiones analíticas precisas para la capacidad y las distribuciones, en lugar de depender de límites laxos.
• Perspectiva Estructural: Demostrar que la entrada óptima es absolutamente continua, distinguiéndola de las soluciones discretas encontradas en escenarios con restricciones de amplitud.
• Avance Metodológico: Introducir una identidad de periodización que permite la aplicación de técnicas de análisis de Fourier a una distribución de ruido (uniforme) que típicamente resiste dicho análisis debido a su falta de suavidad y propiedades de cola.
• Relevancia Contextual: Aunque las densidades resultantes parecen visualmente similares a las gaussianas (consistente con los límites conocidos que establecen que las entradas gaussianas están a 0.254 bits de la capacidad para ruidos log-cóncavos), el artículo enfatiza la importancia de identificar las densidades no gaussianas precisas que alcanzan la capacidad.

Los autores señalan que estas distribuciones específicas parecen ser únicas para este problema y no surgen naturalmente en otras áreas de la teoría de la probabilidad. El trabajo se presenta como un paso hacia una comprensión cuantitativa más amplia de los canales aditivos, aunque los autores reconocen que una teoría general para todas las distribuciones de ruido simétricas log-cóncavas sigue siendo una cuestión abierta.