Restricciones Acopladas sin Tiempo: Relojes de Wheeler–DeWitt, Muros de Torsión a 33 µm, Ecos Bilaterales y Prueba sin Sorry

I · Evolución sin Evolución: El Núcleo Nulo de Wheeler–DeWitt de 64 × 64 y los Relojes Ópticos

La relatividad general canónica y la mecánica cuántica escolar discrepan sobre el estatuto del símbolo t. En la dinámica de Schrödinger, t es un parámetro clásico externo que avanza fuera del laboratorio; en la gravedad cuántica canónica, la invariancia por difeomorfismos obliga a la restricción hamiltoniana total a anular los estados físicos, Ĉ|Ψ⟩⟩ = 0. Page y Wootters (1983) mostraron cómo reaparece el cambio dentro de un universo estacionario: divídase el espacio compuesto en un reloj H_C y un sistema H_S acoplados por Ĉ = H_C ⊗ I_S − I_C ⊗ H_S. Aunque |Ψ⟩⟩ es fijo, proyectarlo sobre estados temporales |t_n⟩ produce estados relacionales |ψ(t_n)⟩ = √d ⟨t_n|Ψ⟩⟩ que siguen una evolución unitaria paso a paso.

Coloquemos ahora un reloj cuántico interno de dos niveles a bordo de una partícula masiva en superposición espacial entre dos alturas separadas por Δh, la geometría interferométrica de Zych et al. (2011). Nuestro espacio compuesto es H_C^(16) ⊗ H_path^(2) ⊗ H_tick^(2), de dimensión compleja 16 × 2 × 2 = 64. En lugar de evaluar cosenos a mano, el núcleo construye la matriz hermítica densa Ĉ de 64 × 64 en la base física no diagonal |t_n⟩ ⊗ H_4|b⟩ (donde H_4 es la matriz de Hadamard de 4 × 4 que mezcla ruta y pulso, con norma de Frobenius fuera de la diagonal de 43.8), la incrusta en una matriz real simétrica de 128 × 128 [[Re Ĉ, −Im Ĉ], [Im Ĉ, Re Ĉ]] y diagonaliza los 128 modos con rotaciones de Jacobi en Python puro. El estado |Ψ⟩⟩ arroja residuo ‖Ĉ|Ψ⟩⟩‖ = 1.36 × 10⁻¹⁴ < 10⁻¹³ y proyección 1.0000000000 sobre el núcleo nulo, recuperando V(t_n) = |cos(Δω t_n / 2)| con error máximo de 8.88 × 10⁻¹⁶.

El modelado numérico honesto exige declarar aquí una advertencia explícita de escala. En una red cíclica de Pegg–Barnett de 16 pulsos con k ∈ {−8, …, +7}, el cierre periódico exacto de Fourier requiere modos enteros: nuestra matriz usa [−3, −1, 1, 5], un modelo adimensional reescalado con α_grav = 1 donde la rama inferior tiene brecha (−1) − (−3) = 2 y la superior 5 − 1 = 4, completando un batido Δω = 2 en 16 pasos. En un laboratorio terrestre (g = 9.80665 m/s²), el corrimiento adimensional en Δh = 1.0 m es α_grav = g Δh / c² = 1.091 × 10⁻¹⁶. Al acoplar ese núcleo con un reloj óptico de estroncio-87 a 429.228 THz (ω_Sr = 2.70 × 10¹⁵ rad/s), el retraso propio es Δτ = 1.091 × 10⁻¹⁶ s en T = 1.0 s, la visibilidad es V = 0.9892 a 1.0 m · s, el primer nulo V = 0 ocurre en Δh · T = π c² / (g ω_Sr) = 10.68 m · s y el parámetro cuántico de Eötvös cumple η = 0 entre ambos niveles internos.

II · Cerrando la Vía de Gravedad Difuminada: El Límite de 33 µm y el Techo de Par de Oppenheim

Pasemos de 1 partícula con reloj interno a 2 microesferas en superposición acopladas solo por gravedad. Una segunda restricción Ĉ_2M de 64 × 64 sobre H_C^(16) ⊗ H_A^(2) ⊗ H_B^(2) sitúa el estado conjunto en ker(Ĉ_2M) con proyección de Jacobi 1.0000000000, generando entrelazamiento siempre que la fase cruzada Δφ = φ_LR + φ_RL − φ_LL − φ_RR ≠ 0 mod 2π. Sin embargo, Trillo y Navascués (2025) señalaron un resquicio: si la gravedad clásica se acopla a una densidad difuminada con ancho gaussiano σ en la dinámica híbrida de Diósi–Penrose, su ecuación maestra entrelaza transitoriamente dos masas bajo d_c ≈ 0.8509 σ. ¿Podría un campo híbrido clásico imitar el canal cuántico en geometrías reales de mesa?

Acoplar cuatro muros experimentales y ambientales cierra ese resquicio en todas las geometrías publicadas. El Muro 1 (radiación espontánea subterránea) exige σ > 4.9 Å. El Muro 2 proyecta el déficit de par erf(r / 2σ) / r en el péndulo de 120 cuñas de Fourier–Bessel de Lee et al. (2020) contra las 66 filas con signo al 95% entre 5 µm y 8.9 mm. Como el ajuste experimental se inclina ligeramente hacia valores positivos entre 5 µm y 100 µm, esta proyección completa excluye σ > 33 µm al 95% (σ_95 = 33.08 µm: σ = 33 µm queda apenas permitido con −7.3 frente a −7.4, mientras σ = 35 µm cae excluido con −10.2), superando comparaciones puntuales a 52 µm. Este muro de 33 µm descarta a Bose et al. (σ_c = 524.5 µm), Chevalier et al. (405.7 µm), Van De Kamp et al. (82.0 µm y 54.9 µm) e incluso la geometría paralela apantallada z = 30 µm de Schut et al. (2024) con σ_c = 39.4 µm > 33 µm.

Solo trampas paralelas más estrechas de Schut et al. (2024) —como z = 10 µm (separación d = 21 µm, división Δx = 1.7 µm, sobre el piso de Casimir–Polder de 16.5 µm del Muro 3 a 10⁻¹⁵ kg) con σ_c = 13.6 µm ≤ 33 µm— superan el Muro 2. Allí el Muro 4 (desfase ambiental) cierra la prueba: en σ = 33.1 µm, la autodecoherencia híbrida limita su tolerancia a γ_crit = 7.87 × 10⁻⁵ s⁻¹ (2.17 × 10⁻⁴ s⁻¹ en σ = 20 µm), de modo que a γ = 10⁻³ s⁻¹ la negatividad híbrida cae a 0.0 mientras el canal cuántico unitario (γ_crit = 9.83 × 10⁻³ s⁻¹) alcanza 0.337. En paralelo, Oppenheim et al. (2023) probaron que toda gravedad clásica markoviana consistente exige difusión de momento con ℓ_P² D_2 ≤ T σ_a² N r_N³ / G². Al insertar el residuo de par de 0.0054 fN · m de Lee et al. (2020) en el brazo de 18 mm de la lámina de platino (N = 6.02 × 10²¹ átomos, σ_a = 1.53 × 10⁻¹³ m/s²) con T = 10³ s y r_N = 1 fm, el techo cae a 3.02 × 10⁻²⁶ kg² · s · m⁻¹: una supresión de 3.31 × 10¹⁶× bajo la referencia de Cavendish de 10⁻⁹ kg² · s · m⁻¹ (y 9.65 × 10¹³× con r_N = 7 fm), estrechando la ventana sobre el piso interferométrico de 10⁻⁴⁰ kg² · s · m⁻¹.

III · Ecos de Espín Bilaterales: Conservar Z_A Z_B Separando Deriva 1/f y Ruido de Lindblad

Superar el Muro 4 en la práctica exige mantener el desfase efectivo por debajo de 9.83 × 10⁻³ s⁻¹ durante decenas de segundos. Los experimentalistas suelen acudir a trenes de pulsos π de Carr–Purcell–Meiboom–Gill (CPMG) introducidos por Meiboom y Gill (1958) y generalizados al desacoplamiento dinámico por Viola, Knill y Lloyd (1999). Pero trasladar a ciegas la intuición de un solo qubit a un interferómetro gravitatorio de dos masas comete dos errores físicos fatales: uno de paridad y otro de memoria.

Escribamos el hamiltoniano efectivo de dos qubits como H_eff = −(ħ ω_ent / 4) Z_A ⊗ Z_B + (ħ / 2)(g_A(t) Z_A ⊗ I + g_B(t) I ⊗ Z_B), donde g_A(t) y g_B(t) describen derivas locales lentas de carga superficial, campo magnético o gradiente sísmico. Si se aplica un pulso π unilateral X_A ⊗ I solo sobre la masa A a mitad del vuelo, conjugar por X_A ⊗ I invierte Z_A ⊗ I → −Z_A ⊗ I, deja g_B intacto y —peor aún— invierte el acoplamiento gravitatorio bilineal Z_A ⊗ Z_B → (−Z_A) ⊗ (+Z_B) = −Z_A ⊗ Z_B. En semiperíodos iguales, J_grav + (−J_grav) = 0: el eco unilateral borra la fase gravitatoria exactamente a 0. En cambio, los pulsos π bilaterales síncronos X_A ⊗ X_B invierten ambos brazos al mismo instante, aplicando (−Z_A) ⊗ (−Z_B) = +Z_A ⊗ Z_B: la fase gravitatoria se suma mientras g_A Z_A + g_B Z_B se cancelan.

Incluso los pulsos bilaterales síncronos obedecen una frontera estricta de memoria dictada por el generador de semigrupos de Lindblad (1976). Una secuencia bilateral CPMG de N_dd pulsos filtra fluctuaciones no markovianas, cuasiestáticas o de baja frecuencia 1/f cuyo tiempo de correlación τ_c supera T / N_dd: con N_dd = 4 en T = 80.0 s, una deriva lenta γ_low-f = 5.0 × 10⁻³ s⁻¹ cae por N_dd² = 16 hasta γ_eff = 3.125 × 10⁻⁴ s⁻¹, elevando la negatividad cuántica de 0.123 a 0.308. En cambio, el desfase markoviano blanco sin memoria —como colisiones de helio a 4.0 K o fotones térmicos— tiene τ_c → 0: su disipador D[Z](ρ) = Z ρ Z − ρ es par en Z, por lo que X Z X = −Z deja D[−Z](ρ) = D[Z](ρ) idéntico (diferencia 0.0 a 10⁻¹⁶). Esta misma separación entre fase reversible y disipación irreversible rige las cotas variacionales en procesadores cuánticos (Peruzzo et al., 2014) y la precisión termodinámica de relojes alostéricos multisitio como CFTR en investigación biofísica de fibrosis quística (Barato y Seifert, 2016).

IV · Lean 4 sin Sorry y No Tautológico: Certificar la Columna Deductiva sin Suplantar a la Naturaleza

Los programas en punto flotante evalúan mallas finitas, pero errores algebraicos sutiles —términos cruzados omitidos, fallos dimensionales o definiciones vacuas— pueden ocultarse tras cifras exitosas. Siguiendo el programa de física formalizada de HepLean / PhysLean (Tooby-Smith, 2025), nuestro archivo IRUG_Unification.lean codifica 10 teoremas en Lean 4 puro (usando solo Int, Nat y Bool sin bibliotecas externas) con exactamente 0 apariciones de sorry, sorryAx, admit o axiom fuera de comentarios.

De modo crucial, una especificación formal es tan honesta como sus definiciones. Definir f(α) := α − α y probar f(α) = 0 no demuestra nada físico, solo que un entero menos sí mismo se anula. Nuestra especificación elimina todo atajo vacuo y demuestra 9 cuantificadores universales ∀ sobre funciones multivariables genuinas: (1) 8 ecuaciones dimensionales SI exactas en SIDim ∈ ℤ⁷; (2) igualdad universal del Principio de Equivalencia Cuántico para todo (m_0, w, s, α_num ∈ ℤ) a partir de e_low(q) = m_0 + q w y e_high(q) = (m_0 + q w)(s + α_num) por distributividad en Int; (3) invariancia universal en 8 variables de cross_phase(ll, lr, rl, rr) = lr + rl − ll − rr frente al giro no local −4 λ; (4) paridad universal bilateral (−z_A)(−z_B) = z_A z_B frente a la unilateral J_grav + (−J_grav) = 0 y cancelación de gradientes; (5) exclusión de 4 muros actualizada a σ_95 = 33 µm en las 7 filas de propuestas; y (6) la identidad universal de Maxwell–Calladine (d_dof − r) − (e_constraints − r) = d_dof − e_constraints que fija los 9 generadores no locales de su(4) en rango r = 9.

V · El Registro de Verificación Acoplada: Cuatro Pilares, Una Compuerta de Falla Cerrada

Reunir los cuatro pilares en un mismo verificador ejecutable revela por qué los cálculos aislados suelen hablar sin escucharse. El tiempo relacional (Page y Wootters, 1983; Zych et al., 2011) fija cómo emergen visibilidad y fase dentro de ker(Ĉ); la torsión submilimétrica (Lee et al., 2020) y la difusión post-cuántica (Oppenheim et al., 2023) acotan alternativas clásicas en σ ≤ 33 µm y 3.02 × 10⁻²⁶ kg² · s · m⁻¹; el eco bilateral (Meiboom y Gill, 1958; Viola, Knill y Lloyd, 1999) separa derivas 1/f reversibles del piso markoviano (Lindblad, 1976); y Lean 4 sella la deducción.

Ejecuta localmente verify_essay_coupled_constraints.py —y añade --planted-defect— para correr cada matriz, integral de torsión, trayectoria de eco y auditoría AST en menos de 5 segundos sin red. Cuando los cuatro defectos plantados saltan con --planted-defect, el verificador sale con error: precisión al servicio de la honestidad para los experimentos que vienen.

Fuentes Primarias y Registro DOI sin Conexión