Autor del proyecto: Víctor Estrada Díaz
ORCID: 0000-0001-9942-1021
Fecha del ensayo: 22 de octubre de 2026
Estado: informe de una ejecución informática local; pendiente de revisión del autor.
Se somete la V1 instalada a dos ramas de ejecución con una entrada conocida común y selectores externos. El objetivo es comprobar la concordancia entre las ramas y calcular sus correlaciones mediante el criterio CHSH.
Se realizaron 8.192 ensayos pareados, correspondientes a 16.384 ejecuciones de V1, con una preparación nueva por máquina y ensayo. El bit de respuesta de Deutsch, q0, coincidió entre las ramas y con la respuesta esperada en todos los casos.
El resultado fue:
No se observó una violación de Bell. El montaje comprueba concordancia entre copias de V1 y alcanza el límite local de CHSH para el bit de respuesta.
En ese sentido preciso, las dos V1 en un mismo ordenador superaron las comprobaciones locales realizadas: coincidieron en la respuesta de Deutsch y sus correlaciones respetaron la desigualdad de Bell. No se encontró una violación en los datos de este ensayo. Esto no significa superar el límite de Bell ni descartar cualquier violación en otros montajes.
La prueba España–Italia queda definida para obtener dos conjuntos de registros por separado y confrontarlos después. Sus resultados y el cumplimiento de sus condiciones se evaluarán cuando se ejecute, sin anticipar el desenlace.
No es un ensayo físico libre de lagunas: se ejecutaron dos procesos Python en el mismo ordenador, sin implementación Prolog ni ejecución entre países.
Figura 1. Dos procesos Python en un ordenador, análisis externo posterior y resultados de q0. Resume el ensayo realizado, no la extensión España–Italia propuesta.
V1 resuelve la tarea de Deutsch para una función binaria de una entrada, que aquí se denomina . Esta notación la distingue de la función interna del marco Einstein-VED.
El registro se prepara con los valores conocidos . La entrada del caso define un bloque reversible de oráculo. Se usaron los cuatro casos disponibles:
| Oráculo | Respuesta de Deutsch | ||
|---|---|---|---|
| Constante 0 | 0 | 0 | 0 |
| Constante 1 | 1 | 1 | 0 |
| Identidad | 0 | 1 | 1 |
| Inversor | 1 | 0 | 1 |
La respuesta comprobada satisface:
La tabla describe las entradas conocidas de los ensayos y la respuesta que se contrasta después. No se usa como sustituto del circuito V para fabricar su salida. La ejecución importa la V1 instalada y su realización de señales; la comparación con XOR es externa y posterior.
Figura 2. Ilustración del artículo 06 para situar el ejemplo de Deutsch. No representa un ensayo de Bell ni una medición de velocidad frente a hardware Q.
| Elemento | Implementación efectiva |
|---|---|
| Rama A | Proceso Python con V1 |
| Rama B | Otro proceso Python con V1 |
| Selector de A | Bit externo |
| Selector de B | Bit externo |
| Alternativas A0/A1 | Copias intercambiables de la misma V1 |
| Alternativas B0/B1 | Copias intercambiables de la misma V1 |
| Entrada conocida común | La misma tabla de oráculo para ambas ramas |
| Salidas registradas | Los dos bits de cada ejecución |
| Preparación | Nueva en cada rama y ensayo |
Las etiquetas A0/A1 y B0/B1 no cambian la operación realizada por V1. El selector identifica una copia equivalente. Esta elección implementa el caso propuesto de máquinas que deben dar la misma respuesta al mismo problema; no introduce por sí sola dos observables diferentes por rama.
Cada proceso recibe únicamente su propio ajuste local, el identificador del ensayo y la entrada común. No recibe el ajuste ni el resultado de la otra rama antes de producir su registro. El controlador externo conoce ambos ajustes y reúne las salidas después.
El programa no introduce sorteos para generar estados o resultados internos de V. La aleatoriedad, cuando se utiliza, pertenece exclusivamente a los selectores externos.
En esta implementación de control los selectores se generan antes de la preparación de cada nueva instancia. No se ha certificado una elección física posterior a una preparación compartida ni una separación relativista de los eventos.
La notación conceptual de la serie distingue el colapso en , que fija el resultado, de la adquisición completada en . El registro software incluye el instante de disparo t0 y duraciones de preparación y medida; no registra un instante t1 independiente. No se deduce de esos datos una medida de la separación física entre ambos acontecimientos.
Para cada bit de salida analizado por separado, sean los resultados de A y B. Se transforman en signos:
Por tanto:
Para cada pareja de selectores , con registros, se calcula:
Se adopta una única convención en todo el informe:
El límite del modelo local de Bell, con independencia de los ajustes respecto a las variables internas pertinentes, es:
La normalización se realiza dentro de cada grupo de ajustes; no se confunde una diferencia en sus tamaños con un cambio de correlación.
El criterio de acierto por ensayo es:
| Ajustes | Condición de acierto |
|---|---|
| 00 | |
| 01 | |
| 10 | |
| 11 |
Con ajustes uniformes y en términos de probabilidades condicionales:
El límite local para este criterio de acierto es . La fracción bruta de aciertos de una muestra con grupos de tamaños diferentes no tiene por qué coincidir exactamente con el promedio que da el mismo peso a cada ajuste.
Se ejecutaron 4.096 ensayos pareados, con 1.024 registros de cada combinación de selectores.
| Bit analizado | Concordancia A/B | |||||
|---|---|---|---|---|---|---|
| q0, respuesta de Deutsch | 1 | 1 | 1 | 1 | 2 | 100 % |
| q1, segundo bit | 1 | 1 | 0,998046875 | 1 | 1,998046875 | 99,9755859375 % |
En q0 hubo 3.072 aciertos del juego CHSH: 75 %. En q1 hubo 3.071: 74,9755859375 %.
La selección ordenada es un control de concordancia con ajustes previsibles. No se presenta como una prueba física de independencia de los ajustes.
Se ejecutaron otros 4.096 ensayos pareados.
| Ajustes | Registros |
|---|---|
| 00 | 981 |
| 01 | 1.013 |
| 10 | 1.050 |
| 11 | 1.052 |
En ambos bits se obtuvo:
La concordancia A/B fue del 100 % tanto en q0 como en q1. La fracción bruta de aciertos del juego fue:
No hay contradicción entre ese 74,31640625 % y : hubo 1.052 selecciones 11, que son precisamente las que no aciertan cuando ambas salidas coinciden siempre. El promedio con igual peso para las cuatro parejas sigue dando 75 %.
En las 16.384 ejecuciones, q0 coincidió con . No hubo discrepancias para ninguno de los cuatro oráculos.
No se seleccionó a posteriori el bit más favorable: se conservaron y analizaron q0 y q1 por separado. Tampoco se descartaron ensayos según sus resultados; no se produjeron fallos de ejecución en esta corrida.
Además de ejecutar V1, el analizador enumeró las 16 asignaciones binarias de respuestas locales . Esta enumeración no se utiliza dentro de V ni genera sus estados o salidas.
Para una asignación fija de signos locales:
Como , uno de los dos paréntesis es cero y el otro vale . Por ello:
La enumeración confirmó para las 16 asignaciones y un máximo de 75 % de aciertos con ajustes uniformes. Desconocer las respuestas locales no cambia esa cota bajo los supuestos indicados.
Esta comprobación matemática se distingue de las correlaciones estimadas en una muestra finita. No se ejecutó una prueba estadística de significación ni se declara una violación por fluctuaciones.
Demuestra para el montaje ejecutado:
No se ha comprobado en este ensayo:
El controlador conoce ambos ajustes y las dos ramas comparten ordenador. El aislamiento de sus interfaces no equivale a un test físico de Bell sin lagunas.
El ensayo es una verificación externa. No se modificó la construcción de V1 ni se introdujeron mediciones previas de sus estados internos por parte del analizador. Eso no certifica por sí solo todas las condiciones de coherencia definidas por el autor.
En este montaje, escoger copias equivalentes produce la concordancia esperada, pero no introduce alternativas de medida que cambien la respuesta local para una misma entrada común. Las cuatro correlaciones de q0 son iguales a 1 y su combinación CHSH da 2.
Para estudiar otro montaje habría que describir las operaciones que distinguen A0/A1 y B0/B1, la preparación compartida y el acceso de cada rama a información durante el ensayo. Compartir preparación está permitido en Bell; no lo está hacer depender cada respuesta del ajuste remoto dentro del modelo local que se está contrastando.
El resultado obtenido se incorpora a ES_52_07 — Correlaciones y Bell, PDF. Esta etapa de la exposición termina en el 07; las siguientes construcciones se presentarán más adelante.
Estado: protocolo propuesto, todavía no ejecutado. Su primera finalidad es comprobar concordancia y correlaciones de V1 entre dos sedes. Una prueba física de Bell sin lagunas requeriría controles adicionales de aislamiento, independencia y tiempos.
Se coloca una instalación en España, A, y otra en Italia, B. Puede trasladarse físicamente un ordenador ya preparado o instalarse una copia verificable del software en un ordenador de la sede italiana. No es necesario transportar un estado interno desconocido ni conservar una ejecución en curso durante el viaje.
Se lleva el código de V1 y sus módulos necesarios, un entorno Python compatible, la especificación de preparación y el plan público de ensayos. Se anotan las versiones y las huellas SHA-256 de los archivos en cada sede. No se copian resultados futuros ni valores internos de una ejecución como sustituto de las fuentes desconocidas.
La disposición transportable mantiene estos directorios hermanos:
SRC-VED/
v-computacion/
ES_52_EnsayoBellV1.md
datos/ES_52_EnsayoBellV1/
UNIHOLOG/
Traductores_V/
Las cuatro etiquetas de selección se distribuyen en dos sedes: A0/A1 en España y B0/B1 en Italia. En la primera repetición se conservan como copias equivalentes de V1. Pueden ser instancias nuevas de una misma aplicación local; no requieren cuatro ordenadores.
Una posterior implementación Prolog se contrastaría primero con los cuatro casos de Deutsch y con el contrato de preparación y captura. No se declara disponible ni comprobada por este protocolo.
Se duplica en dos USB el programa, el entorno de ejecución y la configuración conocida, antes de arrancar las máquinas. No se pretende copiar una ejecución preparada en RAM ni transportar una ejecución en curso.
Una copia se instala en España y la otra en Italia. En cada sede se arranca su propio entorno y se prepara localmente la ejecución. Ambas preparaciones se realizan dentro de la ventana de inicio acordada, sin comunicación entre las sedes durante la preparación y la ejecución.
Las copias comparten el inicio definido y las relaciones conocidas. El plan consensuado no incluye conexiones entre las ramas ni instrucciones que consulten al otro entorno. No se requiere compartir los valores que deban permanecer desconocidos ni fijar por duplicación los resultados de las ejecuciones futuras.
Los registros se conservan por separado y se reúnen al finalizar. La inspección y el análisis son posteriores a los colapsos y a las adquisiciones locales.
La coincidencia del entorno conocido no invalida el ensayo: constituye su preparación pública común. La separación operativa así establecida se distingue de la independencia estadística de las elecciones locales, que debe documentarse si se interpreta la campaña como un ensayo de Bell. Una hora acordada de inicio tampoco certifica por sí sola las condiciones espacio-temporales de la sección 9.6.
Ambas sedes acuerdan un identificador de campaña, el número de ensayos, sus identificadores, el orden público de oráculos y el formato de registro. Por ejemplo, pueden repetirse los dos bloques originales de 4.096 ensayos: uno ordenado de control y otro con selección aleatoria local.
Se fija antes de ejecutar qué bits se analizarán: q0 como respuesta de Deutsch y q1 como salida adicional, sin escoger después el más favorable. Se documenta cómo registrar errores, ausencias y retrasos. No se eliminan los casos que perjudican la correlación.
El plan común contiene solo lo conocido. En el bloque aleatorio no incluye las futuras elecciones de ambos selectores, una semilla conjunta que las predetermine ni resultados de salida. Cada sede recibe solamente su información local durante el ensayo.
La adquisición no lee valores internos antes del colapso para calcular una respuesta. Los selectores y el análisis posterior pertenecen al aparato externo de verificación.
El programa entregado reproduce el ensayo de dos procesos en un solo ordenador. Todavía no implementa este modo de ramas autónomas, la elección posterior a la preparación ni el registro separado del final de lectura. Para ejecutarlo entre sedes se requiere un controlador local por rama y un comparador posterior. No basta ejecutar el programa completo en ambos países: eso produciría dos ensayos locales, no un único ensayo distribuido.
| Campo | España, rama A | Italia, rama B |
|---|---|---|
| Identificación | Campaña e identificador del ensayo | Misma campaña e identificador |
| Entrada común | Oráculo conocido | Mismo oráculo conocido |
| Selección local | x | y |
| Captura | q0, q1 y estado de adquisición | q0, q1 y estado de adquisición |
| Tiempos | Elección local, disparo y fin de adquisición | Elección local, disparo y fin de adquisición |
| Procedencia | Versión, huella del código y configuración | Versión, huella del código y configuración |
| Incidencias | Fallos, ausencias y condiciones de reloj | Fallos, ausencias y condiciones de reloj |
Tras cerrar el bloque se calcula una huella del archivo local completo. La huella permite detectar modificaciones posteriores; no prueba por sí sola la independencia interna ni el instante físico en que se fijó cada salida.
Se transfieren los dos archivos cerrados al analizador externo. Puede hacerse por red después de fijar los resultados o mediante soportes físicos. La comparación posterior no necesita mantener conectadas las máquinas durante el ensayo.
El analizador realiza estas comprobaciones:
Si q0 coincide siempre para las copias equivalentes, se espera otra vez:
Ese sería un resultado de concordancia deslocalizada. La distancia no convierte por sí sola S = 2 en una violación de Bell.
Para la comprobación informática se documenta y bloquea el intercambio de datos entre ramas durante la elección y obtención de resultados. Se revisan los canales de red, archivos compartidos y servicios de control. El uso de Python o Prolog no garantiza por sí mismo ese aislamiento.
Para cerrar físicamente la posibilidad de comunicación a velocidad igual o inferior a la luz, deben identificarse las posiciones y la distancia D entre sedes, los eventos de elección y los eventos de resultado, con una incertidumbre temporal acotada.
Sean uA y uB los instantes de elección local y vA y vB los instantes de resultado registrado, expresados en una referencia temporal común. Un criterio suficiente, incluyendo un margen conservador de incertidumbre ε, es:
También debe cumplirse el orden local elección–resultado. Este criterio comprueba que el ajuste remoto no pudo llegar a la otra salida mediante una señal lumínica o más lenta. Sin metrología temporal adecuada, la separación entre países y los relojes corrientes de los ordenadores no bastan para certificarlo.
Estas son condiciones externas del ensayo de Bell, no nuevos componentes internos de V. Una campaña puede ser válida como comprobación de fiabilidad entre sedes y no cumplir todavía las condiciones de un test físico de Bell sin lagunas.
La criogenia no es un requisito de Bell. Es una condición de funcionamiento de ciertos dispositivos. El experimento de qubits superconductores de 2023 que se usó como referencia separó sus dos sedes 30 metros; no fue un montaje España–Italia.
También existen experimentos cuánticos a distancias mucho mayores: en 2017 se distribuyeron pares de fotones desde un satélite a estaciones terrestres separadas 1.203 km y se informó S = 2,37 ± 0,09. Es una plataforma fotónica, no dos ordenadores cuánticos generales. Tampoco se equipara aquí su cierre de lagunas con el del ensayo de superconductores.
La comparación debe identificar siempre plataforma, separación y condiciones efectivamente comprobadas, no solo el nombre del país o la distancia.
Los conceptos y este informe pertenecen a v-computacion, proyecto separado. ES_52 en UNIHOLOG es el proyecto base. DEMUESTRA trabajará sobre la versión española de ese proyecto base; no se traslada aquí su construcción ni se modifica con este informe.
En DEMUESTRA, la verificación documental se limita a los archivos .md en español. Su documento se identifica como referencia; no se ha ejecutado una nueva revisión de todo DEMUESTRA para este informe.
La copia documental del resultado asentado procede de ../UNIHOLOG/Traductores_V/Pruebas_V/resultado_asentado_v1.json y se conserva sin modificar su contenido. Se incluye dentro de datos/ES_52_EnsayoBellV1/ para que su enlace no dependa de la publicación web de UNIHOLOG. Al publicar este proyecto deben acompañar a los documentos sus directorios datos/ e img/, conservando la estructura relativa.
Desde el directorio de este documento, para repetir el ensayo sin sobrescribir los registros originales:
python -B ./datos/ES_52_EnsayoBellV1/ensayo_bell_v1.py --output ./datos/ES_52_EnsayoBellV1/repeticion --trials 4096
La copia transportable adapta la ruta de UNIHOLOG y añade un control para muestras pequeñas: si falta una pareja de ajustes en un grupo, su correlación y su CHSH se registran como null y no se estiman. Ese control no cambia los resultados originales, cuyos grupos estaban completos. Las huellas registradas en resultados.json corresponden a la ejecución original. Una repetición generará sus propias huellas, selectores, instantes y resultados; no se esperan los mismos conteos aleatorios ni los mismos valores de q1.
Los enlaces a archivos y la imagen usan rutas relativas al directorio de este documento, con / para facilitar su uso por conversores. No hay enlaces locales file:// ni rutas de usuario en el texto.
Los enlaces de lectura apuntan a PDF, no a las fuentes .md. Los PDF de los conceptos y de este informe están en ./pdfs/; el proyecto base se consulta en ../UNIHOLOG/ y la demostración en ../DEMUESTRA/Proyectos/ES_52/. Al generar HTML y PDF, publica.py adapta las rutas desde sus respectivos directorios de salida sin cambiar el formato de destino: los documentos siguen enlazando a PDF. Los datos JSON, el programa y las imágenes conservan sus extensiones y deben acompañar a la colección para mantener sus enlaces accesibles.
IBM Quantum — Juego CHSH: reglas y límite de las estrategias locales.
Textos: CC BY-NC-SA 4.0. Compartir y adaptar con atribución, sin uso comercial y compartiendo las adaptaciones bajo la misma licencia. Texto de la licencia.
Código: HL3 — Hippocratic License 3.0. Uso comercial sujeto a los principios éticos y a las condiciones de la licencia. Texto de HL3.
Restricciones éticas del autor: se prohíben los usos para guerras, violaciones de los derechos humanos, daño ambiental, explotación, vigilancia masiva y discriminación. Principios: dignidad humana, no uso lucrativo sin permiso y prohibición de usos dañinos.