The View from Within: What Can Embedded Observers (Not) Learn?

Resumen Técnico: "La visión desde el interior: ¿Qué pueden (no) aprender los observadores embebidos?"

Planteamiento del problema
La física clásica adopta tradicionalmente una perspectiva de tercera persona, asumiendo una realidad independiente del observador donde las propiedades son precisamente medibles y las perturbaciones son corregibles. Sin embargo, los observadores son, en sí mismos, sistemas físicos embebidos dentro del mundo que observan. Este artículo investiga la tensión entre la descripción de tercera persona de las leyes físicas y la perspectiva de primera persona de un observador embebido. Específicamente, se pregunta: ¿Qué limitaciones al aprendizaje (horizontes epistémicos) surgen para un observador que es un sistema físico interactuando con otro sistema, incluso dentro de un marco clásico totalmente determinista? Los autores buscan determinar si pueden emerger límites fundamentales al conocimiento, análogos a la incertidumbre cuántica, a partir de las restricciones físicas del proceso de observación en sí mismo, en lugar de a partir de restricciones epistémicas postuladas.

Metodología
Los autores emplean una "teoría de juguete nómica", un modelo clásico determinista de partículas con coordenadas de posición y momento definidas en un espacio vectorial simpléctico. El marco formaliza cuatro aspectos clave del aprendizaje (Figura 1):

1. Teoría Física Fundamental: La cinemática y dinámica de las partículas clásicas (mapas simplécticos y operaciones de descarte).
2. Variable Manifiesta: La variable física del sujeto (observador) que constituye su registro empírico. Los autores consideran tres tipos:
   • Trivial: El registro no porta información.
   • Poisson: El registro distingue solo un gran de grano de la configuración del estado del sujeto (por ejemplo, una proyección de posición), lo que representa un conocimiento parcial de sí mismo.
   • Completa: El registro es el estado óntico completo del sujeto, lo que representa un conocimiento completo de sí mismo.
3. Estados de Preparación (Ready States): Los recursos informacionales iniciales disponibles para el sujeto (el "sistema de preparación" $R$). Estos se definen por la variabilidad del estado inicial:
   • Trivial: Sin restricción sobre el estado inicial ($V=R$).
   • Poisson: El estado inicial está restringido a un subespacio coisotrópico (información parcial).
   • Completa: El estado inicial es fijo ($V=\{0\}$).
4. Tipo de Aprendizaje: La dirección temporal y la repetibilidad de la interacción:
   • Retrodicción: Aprender sobre el estado pasado del objeto.
   • Predicción: Aprender sobre el estado futuro del objeto.
   • Mediciones Repetibles: Interacciones donde la información retrodictiva persiste en el objeto, permitiendo el aprendizaje simultáneo del pasado y el futuro.

El aprendizaje se modela como una interacción física (medición) $M: B \oplus R \to B \oplus S$, donde $B$ es el objeto, $R$ es el sistema de preparación y $S$ es el sujeto. Los autores analizan el "subespacio retodictivamente inaccesible" ($I_{ret}$) y el "subespacio predictivamente inaccesible" ($I_{pre}$) para determinar qué variables del objeto pueden ser inferidas a partir del registro del sujeto.

Contribuciones Clave y Resultados
El artículo mapea sistemáticamente los horizontes epistémicos para todas las combinaciones de variables manifiestas, estados de preparación y tipos de aprendizaje (resumidos en las Tablas 2–4). Los principales hallazgos son:

1. Emergencia de Horizontes Epistémicos en el Determinismo: Incluso en una teoría clásica determinista, los observadores embebidos enfrentan limitaciones fundamentales sobre lo que pueden aprender. Estos horizontes no son postulados, sino derivados de las restricciones físicas de la interacción y de los recursos del observador.
2. El Principio de Equilibrio del Conocimiento: Para sujetos con variables manifiestas Poisson y estados de preparación Poisson, el artículo recupera el principio de equilibrio del conocimiento de Spekkens: un sujeto puede aprender como máximo la mitad de los grados de libertad del objeto. Específicamente, solo se pueden aprender las variables Poisson (aquellas con núcleos coisotrópicos). Esto recupera las características epistémicas de la teoría de juguete de Spekkens y, por extensión, de la subteoría de estabilizadores de la mecánica cuántica para sistemas de dimensión impar.
3. La Necesidad de Restricciones en el Estado de Preparación: Los autores demuestran que el conocimiento parcial de sí mismo (variables manifiestas Poisson) por sí solo es insuficiente para generar un horizonte epistémico.
   • Si un sujeto tiene una variable manifiesta Poisson pero acceso a estados de preparación completos, puede retrodictar el estado óntico completo de cualquier objeto (sin horizonte epistémico).
   • Sin embargo, si el sujeto tiene una variable manifiesta completa (conocimiento total de sí mismo) pero solo estados de preparación Poisson, un horizonte epistémico no trivial persiste si y solo si la medición debe ser repetible. En este caso, solo las variables Poisson pueden ser retrodictadas de forma repetible.
4. Asimetría entre Retrodicción y Predicción:
   • La Retrodicción es generalmente menos restringida que la predicción. Por ejemplo, un sujeto con una variable manifiesta completa y estados de preparación Poisson puede retrodictar cualquier variable (Corolario 3.4) pero enfrenta un horizonte de equilibrio de conocimiento para la retrodicción repetible (Teorema 3.8).
   • La Predicción es sensible a la perturbación de la medición. Con estados de preparación triviales, la predicción es imposible (horizonte epistémico total) porque los mapas suryectivos no pueden crear correlaciones a partir de entradas no restringidas. Con estados de preparación Poisson, la predicción se limita a las variables Poisson (Teorema 3.11).
5. La Repetibilidad como una Restricción Fuerte: Las mediciones repetibles imponen límites más estrictos que la retrodicción o la predicción por sí solas. Requieren que la información retrodictada sea preservada en el objeto, descartando efectivamente las interacciones que simplemente intercambian estados o perturban al objeto para codificar información. El artículo prueba que, para las mediciones repetibles, el horizonte epistémico está determinado enteramente por los estados de preparación disponibles, no solo por la variable manifiesta.

Significancia y Reivindicaciones
El artículo afirma proporcionar un lenguaje y herramientas formales para estudiar cómo la perspectiva de primera persona difiere de la de tercera persona más allá de los simples modelos de juguete. Su significancia radica en:

• Derivar la Incertidumbre desde el Fisicalismo: Muestra que las limitaciones de tipo incertidumbre (horizontes epistémicos) pueden surgir naturalmente de la constitución física del observador y de la naturaleza de las interacciones físicas, sin necesidad de invocar el principio de equilibrio del conocimiento como un postulado fundamental.
• Clarificar el Rol de los Recursos: Desentraña los roles del conocimiento de sí mismo (variables manifiestas) y de la información inicial (estados de preparación). Los autores argumentan que el horizonte epistémico derivado en su trabajo anterior [26] no se debió únicamente al conocimiento parcial de sí mismo, sino que dependía críticamente de la suposición de una información inicial imperfecta (estados de preparación Poisson).
• Conexión con la Teoría Cuántica: Los resultados sugieren que las características de tipo cuántico (específicamente la subteoría de estabilizadores) pueden emerger en una ontología determinista cuando los observadores están restringidos a estados de preparación Poisson. Esto ofrece una vía potencial para explicar la incertidumbre inherente en la teoría cuántica desde el punto de vista de los observadores embebidos.
• Perspectivismo: El marco respalda un "perspectivismo físico moderado", donde existe una descripción neutral a la perspectiva, pero la apariencia del sistema (estado epistémico) depende de los recursos físicos y las interacciones específicas del sujeto.

Los autores mantienen la modestia, señalando que extender estos resultados a la teoría cuántica completa es no trivial debido a problemas interpretativos respecto a los estados ónticos y la separabilidad de sujetos y objetos. No pretenden derivar la mecánica cuántica completa, sino identificar las condiciones estructurales bajo las cuales emergen las restricciones epistémicas de tipo cuántico en un entorno clásico.