Un modelo probabilístico en el que un libro de códigos (conjunto de palabras‑código) se genera extrayendo palabras‑código de manera independiente según una distribución de probabilidad especificada; usado en teoría de la información para evaluar probabilidades medias de error y demostrar la existencia de códigos que alcanzan un rendimiento dado (por ejemplo, tasas por debajo de la capacidad del canal).

Principio

Si la probabilidad de error media (sobre la distribución del ensemble de códigos aleatorios) es pequeña para una longitud de bloque y un decodificador dados, entonces existe al menos un libro de códigos determinista con probabilidad de error no mayor que esa media (método probabilístico / argumento de existencia).

Demostración

Escenario ilustrativo → Para un canal sin memoria y una tasa objetivo R, generar M = 2^{nR} palabras‑código i.i.d.; evaluar el error medio de decodificación bajo un decodificador especificado; si la media tiende a cero cuando n crece, entonces algún libro de códigos concreto alcanzará baja probabilidad de error, estableciendo la alcanzabilidad de R.

Aplicación incorrecta

Tratar el argumento del ensemble como una afirmación constructiva: concluir que un libro de códigos obtenido al azar es directamente adecuado para uso práctico sin abordar la complejidad de codificación/decodificación, la variabilidad a longitudes finitas o la necesidad de estructura para una implementación eficiente.

Consecuencia

Permite pruebas no constructivas de alcanzabilidad (existencia de buenos códigos y teoremas de capacidad); separa la existencia de la constructibilidad algorítmica y enfatiza el rendimiento típico en lugar de garantías en el peor caso.

Inversión

Cuando existen restricciones adicionales — p. ej. límites en la complejidad del codificador/decodificador, requisitos de baja latencia o necesidad de estructura algebraica — el resultado de existencia del ensemble no garantiza un código práctico; se requieren otros ensembles o métodos constructivos.

Límite

Claramente dentro: pruebas de alcanzabilidad en teoría de la información para canales sin memoria y libros de códigos aleatorios. Caso límite: longitud de bloque finita donde los promedios del ensemble pueden no reflejar la variabilidad de realizaciones individuales. Claramente fuera: criterios de diseño deterministas que garantizan complejidad de codificación/decodificación aceptable o códigos para canales adversariales sin suposiciones estocásticas.

Tensión semántica

Existencia (prueba probabilística) ↔ Constructibilidad (diseño de códigos estructurados y eficientes): el ensemble prueba existencia sin resolver la cuestión de encontrabilidad o implementabilidad práctica.

Síntesis

Un ensemble de códigos aleatorios es una herramienta teórica que convierte un objetivo de rendimiento en una afirmación media; una media pequeña implica la existencia de al menos un código adecuado, pero convertir esa existencia en un sistema práctico requiere métodos constructivos distintos.