El teorema de No Free Lunch para sistemas políticos: por qué la ideología óptima es una función del tiempo

Ningún algoritmo de aprendizaje es universalmente óptimo. Este resultado formal —el teorema de No Free Lunch— tiene un análogo directo en filosofía política que raramente se formula con precisión: ninguna ideología es universalmente óptima porque el espacio de problemas sociales no es estacionario. La prescripción política correcta es, formalmente, una función del estado histórico del sistema. Este texto desarrolla ese argumento y extrae su corolario más incómodo: que formular los propios ideales desde cero tiende a producir liberalismo procedimental, no por sesgo, sino por necesidad lógica.

1. El teorema

En aprendizaje automático, Wolpert y Macready (1997) demostraron que para cualquier par de algoritmos de optimización, sus rendimientos promediados sobre todos los problemas posibles son idénticos. Un algoritmo que supera a otro en una clase de problemas lo hace a costa de rendir peor en otra. No existe el algoritmo universalmente superior: la ventaja es siempre relativa al problema.

La demostración depende de una condición: que el espacio de problemas sea suficientemente heterogéneo. Si todos los problemas tuvieran la misma estructura, el NFL no se sostendría. La pregunta relevante es entonces si los problemas políticos comparten estructura suficiente como para que una sola ideología los resuelva todos. La respuesta es no, y no es difícil verlo.

2. El espacio de problemas sociales no es estacionario

Definamos formalmente. Sea $S_t$ el estado de una sociedad en el período $t$, caracterizado por variables como desigualdad, concentración de poder, capacidades institucionales, cohesión social, nivel de desarrollo económico y trayectoria histórica reciente. Sea $I$ una ideología, entendida como una función de prescripción $I \colon \mathcal{S} \to \mathcal{A}$ que mapea estados del mundo a acciones políticas. Sea $U(I, S_t)$ el bienestar producido por aplicar $I$ en el estado $S_t$.

La tesis del ideólogo es que existe $I^*$ tal que

Es decir, que hay una ideología óptima con independencia del estado del sistema. Esta tesis falla por dos razones independientes.

Primera: $S_t$ no es estacionario. Las sociedades atraviesan regímenes distintos —períodos de alta desigualdad, de concentración autoritaria, de anomia institucional, de abundancia redistributiva— y las propiedades del problema cambian con el régimen. Una política óptima bajo alta desigualdad puede ser subóptima bajo desigualdad baja, exactamente como un modelo entrenado en una distribución falla bajo distributional shift.

Segunda: los valores políticos fundamentales son irreduciblemente plurales e incompatibles entre sí, como argumentó Berlin. Libertad, igualdad, seguridad y comunidad no se maximizan simultáneamente. Cualquier ideología que pretenda hacerlo está resolviendo un problema mal especificado.

3. La prescripción correcta como serie temporal

Si la tesis anterior es correcta, la prescripción política óptima no es una constante sino una función:

La pregunta políticamente relevante no es ¿cuál es la ideología correcta? sino ¿en qué punto de la serie estamos y qué intervención tiene rendimientos más altos dado ese punto?

Esta reformulación recupera intuiciones dispersas en la literatura. La ingeniería social fragmentaria de Popper es la versión procedimental: intervenir en problemas concretos, medir, corregir, sin pretender transformar el sistema completo de una vez. El enfoque de capacidades de Sen es la versión normativa: la pregunta relevante es qué pueden hacer y ser las personas en esta situación concreta, no qué prescribe el sistema en abstracto. La teoría del cambio institucional de North es la versión histórica: las instituciones son path-dependent, y la misma reforma produce resultados opuestos según la trayectoria previa. Ninguno de los tres lo formuló como serie temporal con coeficientes variables. Pero es lo que los tres están describiendo.

Un corolario técnico importante: en sistemas dinámicos, la varianza importa tanto como la media. Un sistema que produce buenos resultados promedio con alta volatilidad puede ser peor en términos de bienestar que uno con resultados algo menores pero estables. Esto explica por qué las sociedades eligen aparente ineficiencia a cambio de seguridad —no por irracionalidad, sino por aversión a la varianza perfectamente racional. Las instituciones liberales —constituciones, separación de poderes, revisión judicial— operan formalmente como regularización: acotan el espacio de hipótesis para evitar soluciones extremas que minimizan el error a corto plazo pero generalizan mal.

4. Por qué esto no es equidistancia

El argumento anterior se confunde frecuentemente con relativismo político o equidistancia. Es un error categorial.

5. Corolario: por qué escribir los propios ideales produce liberalismo

Queda una observación que merece tratamiento explícito. Cuando se intenta formular desde cero qué condiciones deberían cumplirse para que una sociedad sea buena, el resultado tiende a converger en algo reconocible: que las personas sean respetadas, que tengan lo necesario para vivir, que puedan desarrollar sus capacidades, que nadie concentre poder suficiente para suprimir a otros. Esto no es liberalismo como ideología de contenido. Es liberalismo como meta-marco procedimental.

La razón es formal. Los ideales enumerados son condiciones de posibilidad del propio proceso de deliberación. No puedes razonar honestamente sobre qué sistema político es mejor si los participantes en ese razonamiento no están protegidos, no tienen capacidades básicas cubiertas, o están sometidos a poder arbitrario. El liberalismo procedimental no emerge porque sea la conclusión favorita, sino porque es el conjunto mínimo de condiciones bajo las cuales tiene sentido hacerse la pregunta en primer lugar.

En términos formales: el liberalismo procedimental no es una ideología entre otras en el espacio $\mathcal{I}$. Es la condición de posibilidad de que el proceso $\arg\max_I \, U(I, S_t)$ pueda ejecutarse sin estar predeterminado por quien concentra el poder de definir $U$.

Esto explica también por qué el NFL político no produce parálisis. No dice que no puedas elegir. Dice que la elección debe ser informada, revisable y no estar blindada contra la evidencia. Que es, precisamente, lo que ninguna ideología totalizante acepta.