Informe de investigación (agente especializado). Complementa el
mapa general en
claude/fisica-cuantica-implicaciones-filosoficas.md.
Un teorema no-go tiene la forma: el conjunto de supuestos {A₁…Aₙ} es inconsistente con las predicciones de la MC (y/o con los datos experimentales). Un teorema nunca refuta un supuesto aislado: refuta la conjunción. Toda lectura filosófica que diga “Bell refutó el realismo” o “Bell refutó la localidad” está, estrictamente, cometiendo un salto lógico salvo que se argumente independientemente por qué los demás supuestos son irrenunciables. Ésta es la fuente de casi toda la disputa que sigue.
Einstein, Podolsky y Rosen, “Can Quantum-Mechanical Description of Physical Reality Be Considered Complete?” (Phys. Rev. 47, 777, 15 de mayo de 1935), no son un argumento contra la MC sino un dilema: dado el criterio de realidad (si puedo predecir con certeza el valor de una magnitud sin perturbar el sistema, existe un elemento de realidad correspondiente), o bien la MC es incompleta, o bien hay acción a distancia. Bohr responde (Phys. Rev. 48, 696, 15 de octubre de 1935) atacando la ambigüedad de “sin perturbar de ningún modo el sistema”: para Bohr hay “una influencia sobre las mismas condiciones que definen los tipos posibles de predicción” — un cambio en el marco semántico, no una interacción física. La respuesta es notoriamente oscura y hoy se lee más como una redefinición del criterio de realidad que como una refutación.
Punto crítico de atribución (Howard, “Einstein on Locality and Separability”, 1985; Fine, The Shaky Game, 1986): el argumento del propio Einstein — en su correspondencia y en su versión de 1948 en Dialectica — no es el del paper de 1935 (redactado sobre todo por Podolsky, y del que Einstein se distanció en carta a Schrödinger de junio de 1935). Einstein separa dos principios: separabilidad (sistemas espacialmente separados poseen estados reales independientes: “un ser-así independiente”) y localidad/acción por contacto (lo que se hace a A no afecta inmediatamente a B). La separabilidad es una condición de individuación ontológica, previa y más fundamental; la localidad es una condición dinámica. Howard sostiene que el verdadero compromiso metafísico de Einstein era la separabilidad, y que el fracaso del holismo cuántico ataca ahí. Esta lectura es influyente pero disputada (Norsen, entre otros, considera que en Bell separabilidad y localidad no se separan limpiamente).
En “On the Einstein Podolsky Rosen Paradox” (Physics 1, 195–200, 1964), Bell no asume el realismo como premisa adicional: lo deriva de la conjunción de localidad más las correlaciones perfectas EPR. Este es el punto que Norsen y Maudlin insisten machaconamente: el argumento de Bell es de dos partes — EPR muestra que localidad + correlaciones perfectas ⟹ variables ocultas deterministas; Bell muestra que esas variables ocultas violan la desigualdad. Conclusión: localidad ⟹ contradicción con la MC. No hay premisa “realista” independiente que sacrificar.
En “The theory of local beables” (1976) y en “La nouvelle cuisine” (1990, publicado póstumamente en la 2.ª ed. de Speakable and Unspeakable), Bell formula la causalidad local (local causality) sobre beables locales: dado un corte completo del cono de luz pasado de la región 1 (región 3, que “apantalla”), la probabilidad de un beable en 1 no depende de nada en la región 2 espacialmente separada. Bell añade allí la distinción entre “beables” y “observables” y la exigencia de especificación completa de la región apantalladora.
Jarrett (1984) y Shimony (1986) descomponen la factorizabilidad P(a,b|A,B,λ) = P(a|A,λ)·P(b|B,λ) en:
La MC viola la independencia de resultado pero respeta la de parámetro. Shimony explotó esto para su famosa “pasión a distancia” (passion at a distance): la violación de OI no permitiría señalización, sería una no-localidad “benigna”, compatible con una “coexistencia pacífica” con la relatividad. Bohm y GRW-flash, en cambio, violan PI.
Esto es intensamente disputado. Maudlin (Quantum Non-Locality and Relativity, 1994; 3.ª ed. 2011) y Norsen (“Local Causality and Completeness: Bell vs. Jarrett”, Found. Phys. 39, 2009, arXiv:0808.2178) sostienen que la descomposición de Jarrett malinterpreta a Bell: la causalidad local de Bell no es la conjunción de dos condiciones metafísicamente heterogéneas, y la etiqueta “completitud” para OI es engañosa — OI es un requisito causal, no epistémico. Para Norsen, la lectura Jarrett–Shimony ha permitido la ilusión de que se puede “salvar la localidad sacrificando la completitud/el realismo”.
Síntesis honesta: lo que la violación experimental refuta es la factorizabilidad (dada la independencia de medición). Si además se acepta el argumento EPR de la primera mitad, entonces cae la localidad sin más supuesto. Si uno rechaza el criterio de realidad de EPR o niega que las mediciones tengan resultados únicos y absolutos, puede conservar la localidad — pero al precio de una ontología muy poco convencional. No es cierto ni que “Bell refutó el realismo” ni que “Bell demostró la no-localidad” sin más; ambas son conclusiones condicionadas.
Las tres escapatorias clásicas: detección (muestreo justo), localidad/comunicación (separación tipo espacio de elecciones y resultados) y libertad de elección (los ajustes no correlacionados con λ).
Estos experimentos no cierran la escapatoria de libertad de elección; solo la desplazan: obligan a que la correlación entre λ y los ajustes tenga origen en un pasado cada vez más remoto.
Hossenfelder & Palmer, “Rethinking Superdeterminism” (Front. Phys. 8:139, 6 de mayo de 2020; arXiv:1912.06462): definen superdeterminismo como la violación de la independencia estadística ρ(λ|A,B) = ρ(λ), y argumentan que la objeción estándar (“elimina la ciencia”, “conspiración”) es un prejuicio: la independencia estadística no es un principio fundamental sino un supuesto de “no ajuste fino” heredado del pensamiento estadístico clásico. Palmer propone modelos de “invariant set theory” en que los estados admisibles viven en un conjunto fractal invariante, y las combinaciones contrafácticas de ajustes simplemente no están en el conjunto (una negación del contrafáctico definido, no una conspiración causal).
Coste filosófico: (i) socava la validez de la aleatorización, que es el fundamento de la inferencia causal en toda la ciencia experimental — la respuesta de Hossenfelder es que la violación sería mínima y solo detectable en regímenes cuánticos concretos; (ii) exige una ontología de “bloque restringido” en que la noción usual de intervención libre no tiene tracción; (iii) el precio de ajuste fino (fine-tuning) señalado por Wood & Spekkens (New J. Phys. 17, 033002, 2015): cualquier modelo causal que reproduzca las correlaciones cuánticas debe estar ajustado finamente para no permitir señalización. Este argumento golpea también al superdeterminismo y a la retrocausalidad.
Línea que arranca en Costa de Beauregard (1953), retomada por Price (Time’s Arrow and Archimedes’ Point, 1996; “Does time-symmetry imply retrocausality?”, 2012), Wharton (modelos lagrangianos “all-at-once”, con condiciones de contorno futuras en lugar de evolución dinámica), Sutherland (modelo bohmiano causalmente simétrico con estado final ψ_f, 2008/2017) y Argaman (Am. J. Phys. 78, 1007, 2010, sobre el “zigzag” en el espacio-tiempo).
La retrocausalidad viola también la independencia de medición, pero con una diferencia estructural respecto al superdeterminismo: la correlación λ–ajuste no procede de una causa común pasada sino de una influencia del futuro. Beneficio prometido: recuperar la localidad de acción por contacto y la invariancia de Lorentz genuina.
Contrapesos:
Kochen & Specker, “The Problem of Hidden Variables in Quantum Mechanics” (J. Math. Mech. 17, 59–87, 1967). Supuestos:
No-colorabilidad: no existe función v: proyectores → {0,1} que asigne exactamente un 1 por cada base ortonormal. La prueba original usa 117 direcciones en ℝ³; hoy se conocen conjuntos de 18 vectores en dimensión 4 (Cabello, Estebaranz & García-Alcaine, 1996) y de 31 rayos en dimensión 3 (Conway–Kochen). Requiere dim ≥ 3.
Antecedente: teorema de Gleason (1957) — toda medida de probabilidad sobre el retículo de subespacios de un Hilbert de dim ≥ 3 tiene la forma tr(ρP). Un corolario inmediato es la imposibilidad de medidas 0/1, es decir, KS. Bell (1966, Rev. Mod. Phys. 38, 447, escrito antes de 1964 pero publicado después) ya lo notó y — crucialmente — señaló que la moraleja no es la imposibilidad de variables ocultas, sino la imposibilidad de variables ocultas no contextuales: una limitación mucho más débil de lo que von Neumann (1932) había pretendido.
El cuadrado de Peres–Mermin (Peres 1990, Mermin 1990): nueve observables de dos qubits en una matriz 3×3; el producto de cada fila y de las dos primeras columnas es +I, el de la última columna es −I. Una asignación de valores ±1 no contextual exige que el producto global sea a la vez +1 y −1. Es la demostración más limpia: independiente del estado, sin desigualdades, sin probabilidades.
KS refuta que las propiedades preexistan de forma no contextual. No refuta que preexistan: Bohm es una teoría de valores definidos, pero contextual (el resultado depende del aparato completo). La respuesta ontológica más natural es: lo que llamamos “medición” no es la lectura pasiva de un valor previo sino un proceso que involucra sistema y contexto conjuntamente. Alternativamente, negar que todos los operadores autoadjuntos representen observables genuinas.
Contextualidad generalizada (Spekkens, Phys. Rev. A 71, 052108, 2005): reformula la no-contextualidad sin presuponer definitud de valor, como un principio leibniziano — procedimientos operacionalmente indistinguibles deben tener representaciones ontológicas idénticas. Esto la hace aplicable a preparaciones, transformaciones y mediciones no proyectivas, y es hoy el marco estándar. Bajo esta definición, la no-localidad de Bell resulta ser un caso particular de contextualidad generalizada, lo que da fuerza a la tesis de que la contextualidad es la noción más fundamental — la no-localidad es la sombra de la contextualidad cuando el contexto está espacialmente distribuido. (Tesis defendida por Spekkens, Cabello y Abramsky–Brandenburger desde el enfoque de haces; no universalmente aceptada: Maudlin y Norsen replican que la no-localidad de Bell tiene un contenido causal-espaciotemporal irreducible que la contextualidad genérica no captura.)
Contextualidad como recurso: Howard, Wallman, Veitch & Emerson, “Contextuality supplies the ‘magic’ for quantum computation” (Nature 510, 351, 11 de junio de 2014): para qudits de dimensión impar, la contextualidad (equivalente a la negatividad de la función de Wigner discreta) es condición necesaria para la ventaja computacional vía magic state distillation. Consecuencia filosófica notable: lo que era una anomalía metafísica se convierte en una magnitud operacionalmente cuantificable y en el motor de la ventaja cuántica — un cambio de estatus que invita a leer la contextualidad como propiedad estructural del mundo, no como defecto de nuestras representaciones.
Pusey, Barrett & Rudolph (Nature Physics 8, 475, 2012): bajo independencia de preparación (los estados ónticos de sistemas preparados independientemente son independientes), la función de onda no puede ser epistémica en sentido ψ-epistémico; debe ser ψ-óntica. La relación con lo anterior: PBR cierra la vía “salvar la localidad haciendo de ψ mero conocimiento” al estilo de Einstein-como-lo-leía-Ballentine. Junto con Bell y KS, delimita el espacio: la no-localidad no puede disolverse como mera actualización epistémica dentro del marco de modelos ónticos. QBismo y neocopenhaguismo escapan negando el marco de modelos ónticos entero.
“Quantum theory cannot consistently describe the use of itself” (Nature Communications 9, 3711, 18 de septiembre de 2018; arXiv desde 2016 con varias revisiones sustantivas). Cuatro agentes, dos “amigos” en laboratorios medidos por dos “Wigners”. Supuestos:
Los tres son inconsistentes (contradicción con probabilidad 1/12 en el protocolo). Los autores subrayan que el teorema es neutral: no dice cuál abandonar. Su mapa: colapso objetivo y Bohm (aplicado a subsistemas) violan (Q); Copenhague, historias consistentes, QBismo violan (C); Everett viola (S).
Estatus disputado: se ha discutido intensamente si (C) está bien formulado, si el argumento presupone contrafácticos ilegítimos entre ramas, y si “el amigo mide” es compatible con que el laboratorio se reinterfiera coherentemente. Críticas notables de Ćwikliński, Bub, Healey, Lazarovici & Hubert, Drezet, y análisis de Nurgalieva & del Rio en lógica modal.
Bong, Utreras-Alarcón, Ghafari, Liang, Tischler, Cavalcanti, Pryde & Wiseman, “A strong no-go theorem on the Wigner’s friend paradox” (Nature Physics 16, 1199–1205, 17 de agosto de 2020; arXiv:1907.05607), sobre el escenario de dos amigos entrelazados de Brukner (2018, “A no-go theorem for observer-independent facts”, Entropy 20, 350).
Supuestos (“Local Friendliness”):
Por qué es estrictamente más fuerte que Bell: no asume ninguna forma de “realismo”, determinismo, ni la existencia de un modelo óntico λ. El conjunto de correlaciones LF está estrictamente contenido en el conjunto local de Bell en general, y para el escenario más simple coincide con él, pero para escenarios con más ajustes las desigualdades LF son estrictamente más restrictivas que las de Bell. Un modelo puede satisfacer los supuestos de Bell-locales y aun así violar LF. Se realizó una demostración experimental con fotones (el “amigo” es un fotón que codifica un resultado — lo cual es, obviamente, el punto débil filosófico: ¿es un fotón un observador?).
Qué obliga a abandonar: al menos uno de {hechos absolutos del observador, localidad, libre elección}. Everett y las interpretaciones relacionales (Rovelli 1996) y QBismo abandonan AOE: los hechos son relativos al observador. Ésta es la novedad ontológica más radical del programa: no una revisión de la causalidad, sino la negación de un mundo de hechos compartidos. Cavalcanti & Wiseman, “Implications of Local Friendliness violation for quantum causality” (Entropy 23, 925, 2021; arXiv:2106.04065) analizan qué queda del modelado causal si AOE cae.
Adlam ha argumentado (en varios trabajos sobre “absoluteness of observed events”) que estos teoremas se leen mejor como argumentos a favor de ontologías no localmente-temporales que como refutaciones de la objetividad, y ha criticado la interpretación estándar de la “relatividad de los hechos” por su coste en inteligibilidad intersubjetiva. Disputado.
Tras Bell + KS + PBR + LF, las combinaciones consistentes son (esencialmente) éstas:
| Salida | Qué conserva | Qué abandona | Precio metafísico |
|---|---|---|---|
| Bohm / de Broglie–Bohm | Hechos absolutos, determinismo, valores definidos (posición) | Localidad (viola independencia de parámetro), invariancia de Lorentz fundamental | Marco preferido oculto; conflicto no resuelto con la relatividad y la TCC |
| Colapso objetivo (GRW, CSL, Penrose) | Hechos absolutos, un solo mundo | Localidad; linealidad de la MC (viola Q de FR) | Modificación empírica de la MC — falsable, y crecientemente acorralada por los experimentos |
| Everett / muchos mundos | Localidad (en sentido dinámico), linealidad, universalidad | Unicidad de resultados (viola S de FR y AOE de LF) | Ontología de ramas; problema de la probabilidad (Deutsch–Wallace vs. críticos) |
| Relacional (Rovelli) / QBismo (Fuchs) / neocopenhaguismo (Healey) | Localidad, un mundo sin ramas | Hechos absolutos observador-independientes (AOE); en FR, la premisa (C) | La objetividad intersubjetiva se convierte en un problema; riesgo de solipsismo o de instrumentalismo puro |
| Superdeterminismo (Hossenfelder, Palmer, ’t Hooft) | Localidad, hechos absolutos, determinismo | Independencia estadística / libertad de elección | Erosiona la inferencia causal; exige ajuste fino cósmico; ausencia de un modelo completo |
| Retrocausalidad (Price, Wharton, Sutherland) | Localidad de acción por contacto, invariancia de Lorentz, hechos absolutos | Independencia de medición; asimetría temporal | Ontología de bloque con condiciones de contorno bidireccionales; sigue siendo contextual; ajuste fino |
| Historias consistentes (Griffiths, Omnès) | Localidad, un formalismo | Familia única de historias; contrafácticos entre marcos incompatibles | La lógica se vuelve dependiente de marco; proliferación incontrolada de marcos |
| Operacionalismo / álgebras (Werner) | Localidad algebraica | Elementos de realidad preexistentes, modelos ónticos | Renuncia explícita a la pregunta ontológica |
Tres observaciones finales.
Primera: no existe ninguna salida gratuita. Cada casilla del mapa paga con una moneda distinta — el espacio-tiempo relativista, la unicidad del mundo, la objetividad de los hechos, o la eficacia de la aleatorización experimental. La lección estructural de los no-go es que estas cuatro cosas no son co-satisfacibles.
Segunda: la evolución histórica va de la localidad a la absolutidad de los hechos. Bell puso en cuestión la estructura causal; KS, la preexistencia de las propiedades; PBR, el estatus epistémico de ψ; Frauchiger–Renner y Local Friendliness ponen en cuestión algo previo a todo eso: que exista un único conjunto de hechos compartido por todos los observadores. Ésa es hoy la frontera.
Tercera: cuidado con las lecturas de titular. Las atribuciones más frecuentes y más falsas son “Bell refutó el realismo local” (impreciso: refuta la factorizabilidad, y bajo EPR, la localidad), “KS refuta las variables ocultas” (falso: refuta las no contextuales), “Colbeck–Renner excluye Bohm” (disputado y probablemente falso), y “Leggett–Garg refuta el realismo macroscópico” (débil: NIM es el eslabón frágil).