Investigación de fronteras: espectros, perfiles, anomalías y respuesta certificada
Pruebas separadas permiten investigar un mecanismo de frontera en GHU: raíces de un problema fermiónico plano, rango numérico de perfiles solapados, trazas espinoriales exactas con inserciones de paridad y una condición restringida para tensores SU(2) en seis dimensiones. La quinta compara dos perfiles de pared tras igualar polo y residuo, mediante certificados continuos verificables. La sexta cuenta las clases de un complejo neutro finito por estratos exactos. El apartado 6b añade un encierro continuo de masa y una prueba de aislamiento del vector neutro ligero en tres ángulos Wilson exactos.
Suplemento neutro y Z · 28 octubre
Los nombres de los controles se conservan tal como aparecen en la aplicación. Empieza con una referencia, cambia un parámetro cada vez y conserva las hipótesis junto al resultado.
Para qué sirve
Sirven para identificar qué requisito falla y por qué antes de construir el modelo completo. La brecha de masa aborda los modos emparejados no deseados; el rango de Gram comprueba independencia; las trazas con inserciones detectan términos de anomalía localizada; la condición tensorial comprueba un requisito restringido de cuantización. Superar estas pruebas no demuestra un encaje viable del Modelo Estándar ni una teoría cuántica completa. La respuesta tras matching permite preguntar si dos condiciones locales eliminan toda dependencia del perfil a espesor finito en el modelo cuadrático declarado.
Primeros pasos
- Abre Anomalies & proton y busca Investigación de fronteras. Elige Español en la tarjeta. Pulsa Referencia de investigación para restablecer todas las entradas; Demo recorre los ejemplos y termina con esta guía.
- Pon Acoplamiento de frontera en 0 y después en 1. Compara la primera raíz normal y la curva emparejada al mismo ángulo de Wilson impuesto.
- Pon Ejemplo de perfiles M en 0 y después en 1. Compara los autovalores de Gram y el rango numérico.
- Cambia la inserción de paridad entre C1, C0 y C0 W. Lee la tabla de trazas exactas atendiendo al grado y a la dimensión del soporte.
- Con quiralidad leptónica Opuesta a Q, compara una y tres familias idénticas de seis dimensiones. Lee el exceso firmado de dobletes y su residuo.
- Elige Sonda de respuesta certificada: t = 1/4 y después t = 1/2. Lee la sección 5 y la cota inferior positiva de uniforme menos triangular. Descarga la demostración y el certificado ZIP y sigue su README para repetir la verificación independiente con Sage.
- Elige Estrato neutro exacto: s ≠ 0 y s = 0. En la sección 6 el cociente pasa de dimensión 0 a 1. Descarga el ZIP y ejecuta python verify.py certificate.json con SymPy.
- Selecciona Ángulo neutro certificado: 1/10, 1/5 y 1/4. En el apartado 6b compara el intervalo racional de masa y la separación positiva del siguiente modo activo. Descarga la demostración continua y repítela con SymPy.
- Despliega las hipótesis y la procedencia. Fija una comparación, exporta el JSON de la tarjeta y guarda el enlace de la aplicación para repetir el cálculo.
Controles y parámetros
| Control | Significado | Prueba |
|---|---|---|
| Acoplamiento de frontera κ²L | Acoplamiento adimensional no negativo a de la acción plana uniforme de frontera, entre 0 y 100. L = πR. | Usa 0 y 1; el primer kR pasa de 0 a aproximadamente 0.273853. |
| Ángulo de Wilson impuesto θ [rad] | Ángulo impuesto entre 0 y π para la rama transversal periódica; no es un vacío calculado. | Con a = 1 compara θ = 0 y θ = 0.2; cambia la masa no emparejada, pero la raíz normal permanece fija. |
| Ejemplo de perfiles M | Parámetro de masa entre 0 y 2 en un rectángulo unidad separado. No es una masa de bulk añadida a la acción Spin(20). | Compara M = 0 y M = 1: el rango pasa de 2 a 3. |
| Inserción de paridad en Spin(20) | Inserción de signos C1, C0 o C0 W en la representación semiespinorial positiva de dimensión 512. La sonda de Cartan es fija y aparece en pantalla. | Compara C1 y C0 W. Las anomalías de seis dimensiones usan grados 4 y 2; las de cuatro dimensiones, grados 3 y 1. |
| Familias 6D idénticas | Entero entre 0 y 12 en un ejemplo separado de conteo de familias, suponiendo asignaciones idénticas de quiralidad en seis dimensiones. | Una familia falla; tres cumplen esta condición restringida. Seis también cumplen: no selecciona exactamente tres. |
| Quiralidad leptónica 6D | Igual que Q u Opuesta a Q, fijando positiva la quiralidad de los quarks y contando tres colores. | Cambia el signo y compara el exceso firmado de dobletes; mantén la hipótesis de familias idénticas. |
| Vista de las masas / Perspectiva 3D | El mapa 2D y la superficie 3D usan las mismas masas emparejadas y escala de color fija. La perspectiva es un ángulo de visualización, no un parámetro físico. | Arrastra en el mapa 2D y suelta para aplicar los valores. En 3D pulsa un nodo de la malla; ajusta la perspectiva entre 15 y 75 grados. Las flechas del teclado mueven el punto seleccionado. |
| Sonda de respuesta certificada | Selecciona una de las dos sondas certificadas, t = 1/4 o t = 1/2. Quedan fijos el modelo en el cuadrado unidad, la fuente, epsilon = 1/8, alpha = 1/20, c = 38, kL = 2, kT = 8, polo s = 1/100 y residuo R = 1/2. | Selecciona ambas sondas. Los intervalos de diferencia excluyen cero; no se permite editar parámetros sin certificar. |
| Estrato neutro exacto | Selecciona s ≠ 0 o s = 0 independientemente del deslizador de Wilson. | Compara rango M, estabilizador y cociente; ninguna tolerancia decide el estrato. |
| Ángulo neutro certificado | Consulta exacta del vector neutro, con L5 = L6 = muOmega = muPhi = 1 y eta = 0. Independiente del ángulo del mapa fermiónico y del estrato escalar finito. | En 1/5, el intervalo de mZ al cuadrado por L5 al cuadrado es [244/8425, 4/125]; la separación es al menos 337/4000. |
Cómo leer los resultados
| Resultado | Significado |
|---|---|
| Tabla de raíces y curvas de masa | Seis raíces de x tan(x) = a, con x = kL, y residuos escalados. Las curvas muestran las ramas emparejada y no emparejada más ligeras frente al ángulo impuesto; no son todo el espectro de Kaluza–Klein. |
| Autovalores y rango de Gram | Autovalores de la matriz de Gram hermítica compleja para ángulos de perfil 0, π/2 y π. El rango cuenta los autovalores mayores que el umbral numérico mostrado; el solapamiento no basta para afirmar dependencia. |
| Momentos exactos con inserción | Tr(λ Fᵈ) para grados de 0 a 4 en una sonda entera de Cartan, con aritmética racional exacta. Un valor no nulo refuta que el polinomio sea idénticamente cero; un cero en una sonda no lo demuestra. |
| Exceso de dobletes y residuos | El exceso firmado de dobletes complejos debe ser múltiplo de 6 en la prueba indicada para el sistema aislado de seis dimensiones. El doble de ese coeficiente cuenta semidobletes y debe ser múltiplo de 12. |
| JSON, comparación y enlace guardado | El JSON recoge versión, esquema, parámetros, raíces, resultados de Gram, momentos exactos, hipótesis, fuentes y requisitos pendientes. Una comparación fijada superpone la curva emparejada anterior; el enlace guardado restaura los controles. |
| Mapa 2D, superficie 3D y barras de Gram | El color de masa es lineal entre 0 y 0.7071 en mR. El corte rojo fija el acoplamiento actual; el punto blanco marca el cálculo seleccionado. Las celdas visualizan datos muestreados y el valor seleccionado se recalcula. Las barras de Gram tienen su propia escala lineal adaptable, etiquetada, y autovalores numéricos. |
| Respuesta certificada tras matching y ZIP | Los intervalos exteriores acotan cada respuesta continua y su diferencia. El ZIP contiene la demostración funcional, testigos polinómicos, informes mostrados, verificador autónomo y su recibo de 228 comprobaciones Sage 10.8. Es un certificado computacional con demostración escrita, no una formalización Lean. |
| Cociente neutro finito y certificado | Dimensiones exactas 0/1 y ZIP con testigos, demostración y verificador simbólico. Reducción continua y matching físico externos. |
| Intervalo continuo del autovalor neutro y separación certificada | El apartado 6b acota el autovalor continuo, incluidas las condiciones naturales de frontera. Las cotas inferiores positivas de masa y separación demuestran un modo simple aislado dentro del bloque activo. Las tres direcciones cero desacopladas se conservan aparte. |
Lee cada resultado con sus propias hipótesis. La brecha normal es kR, sin dimensiones; el rango de Gram es numérico y depende del umbral; las trazas son evaluaciones escalares exactas sin pesos locales; un residuo nulo solo satisface la condición indicada para el sistema aislado de seis dimensiones. La cancelación completa de anomalías sigue pendiente. En la sección 5, las cotas positivas de la diferencia establecen separación en los dos puntos admitidos para este modelo. No establecen una predicción GHU completa ni una tasa de capa delgada. En el apartado 6, dim ker A = 5 en ambos estratos; rango M = 5 o 4, y dim(ker A/im M) = 0 o 1. El estabilizador ker M es otro espacio. El selector exacto es independiente del deslizador de Wilson. El apartado 6b acota el autovalor continuo, incluidas las condiciones naturales de frontera. Las cotas inferiores positivas de masa y separación demuestran un modo simple aislado dentro del bloque activo. Las tres direcciones cero desacopladas se conservan aparte.
Ejemplo guiado
Identificar tres motivos distintos de fallo
- Carga Referencia de investigación y después Frontera sin acoplamiento: la primera raíz normal es cero.
- Restablece el acoplamiento de frontera en 1: el primer kR vale aproximadamente 0.273853.
- Carga Ejemplo de perfiles sin masa: los tres perfiles elegidos solo abarcan dos direcciones independientes.
- Restablece M = 1: los autovalores valen aproximadamente 0.172999, 2.783424 y 10.686355, y el rango numérico es tres.
- Selecciona Una familia 6D con Opuesta a Q: exceso 2 y residuo 2. Selecciona Tres familias 6D: exceso 6 y residuo 0.
- Cambia C1 a C0 W, examina la tabla de trazas y exporta el JSON.
- Selecciona cada sonda certificada, descarga el certificado y guarda el JSON y el enlace compartidos. La sonda, el modelo fijo y el identificador del certificado acompañan al resultado.
- Compara Estrato neutro exacto: s ≠ 0 y s = 0. Observa rango M = 5 y 4, y cociente de dimensión 0 y 1; descarga la demostración finita y su verificador.
- Selecciona Ángulo neutro certificado: 1/10, 1/5 y 1/4. En el apartado 6b compara el intervalo racional de masa y la separación positiva del siguiente modo activo. Descarga la demostración continua y repítela con SymPy.
Qué esperar: La brecha de frontera, la independencia de perfiles y la condición restringida de familias responden a cambios distintos. Ninguna resuelve la cancelación localizada o global de anomalías de la construcción completa. El salto del cociente es un resultado finito certificado; no determina modos continuos ni una masa del Higgs. La masa neutra continua permanece positiva y aislada en los tres ángulos admitidos; su respuesta Wilson e interpretación experimental siguen sin demostrarse.
Fórmulas y convenciones
Q(t) = F(t) - F(s) - (t-s) F′(s); C(t) = -1 / [(t-s)/R + Q(t)]
Identidad exacta de matching para F(t)=t/D(t), con la misma fuente y s,R fijos. Los denominadores certificados excluyen cero en las sondas seleccionadas.
rho = 4 theta²/5; beta = 5/32 - theta²; rho - (4 theta⁴/25)/(beta-rho) ≤ lambdaZ ≤ rho
Encierro de Temple del primer autovalor vectorial activo; beta acota el segundo. Válido con las paredes declaradas y 0 < theta <= 1/4. La interfaz ofrece tres consultas exactas.
Alcance y limitaciones
- El espectro plano supone acoplamiento uniforme, ausencia de términos cinéticos adicionales de frontera y rama transversal periódica. No determina un vacío de Wilson, sabor realista ni masas de neutrinos.
- El cálculo de perfiles es un ejemplo matemático separado, no una deducción de tres familias físicas. El rango numérico depende de la tolerancia; los modos cero exactos necesitan analizar el dominio de frontera.
- Las trazas omiten la normalización de proyectores y del espacio de recubrimiento, el descenso consistente, las contribuciones espejo y el flujo de anomalía. La sonda escalar no es el polinomio completo.
- El criterio SU(2) corresponde a un sistema tensorial aislado específico de seis dimensiones. No puede trasladarse automáticamente a una esquina de orbifold de ocho dimensiones acoplada al flujo del bulk.
- Siguen pendientes los coeficientes locales, la red integral de cargas tensoriales, el grupo gauge global, los nuevos modos cero bosónicos y la consistencia cuántica completa.
- La certificación se limita al dominio declarado del cuadrado unidad y dos sondas fijas a espesor finito. Cambiar fuente, formas, matching o espesor requiere otro certificado. Los tests de software y hashes por sí solos no son certificación matemática.
- El cociente finito del apartado 6 certifica las matrices A,M declaradas. El apartado 6b tiene su propia demostración continua para el bloque vectorial y las paredes fijadas. No certifica la derivada Wilson, RZW, el vacío, las corrientes ni la dirección física del Higgs. No derives los extremos del intervalo para inferir una cota de la derivada.
Si algo no queda claro
La primera raíz normal es cero.
Comprueba el acoplamiento de frontera. Si es nulo, ese modo cero es el resultado esperado, no un fallo del método numérico.
Los perfiles se solapan, pero el rango es tres.
Solaparse significa no ser ortogonales. La dependencia exige una dirección nula de Gram; examina autovalores y umbral.
Un momento con inserción es cero.
Comprueba el grado y la inserción. Evalúa el polinomio o más sondas antes de afirmar cancelación; esta interfaz solo muestra una sonda fija.
Tres familias cumplen, pero la cancelación completa sigue pendiente.
Es intencionado: la condición modular es necesaria en su contexto, pero no calcula todas las anomalías locales y globales.
Una entrada inválida conserva el resultado anterior.
Los controles muestran el error y mantienen el último cálculo válido. Restablece el intervalo permitido o pulsa Referencia de investigación.
¿Por qué no puedo cambiar el espesor o importar una respuesta?
Solo se admiten instancias certificadas independientemente. Los nuevos cálculos pertenecen al motor matemático externo hasta verificar sus testigos y premisas funcionales.
No encuentro el apartado 6 o no aparece en el vídeo.
Abre Anomalies & proton, usa el acceso a Investigación de fronteras y busca Estrato neutro exacto. La Demo actual incluye el apartado 6. Los vídeos del 17 de octubre no lo incluyen; consulta esta guía y la demo del 26 de octubre.
Cambiar el ángulo del mapa no modifica el encierro neutro.
Usa Ángulo neutro certificado. El mapa y el vector neutro describen problemas distintos declarados; sus controles son independientes.
Fuentes y atribución
- Fujimoto et al.: rectangle boundary conditions and profiles, sections 2–5
- Asaka, Buchmüller, Covi: localized orbifold anomalies, sections 2–4
- Dobrescu, Poppitz: identical six-dimensional generations
- Lee, Tachikawa: six-dimensional global anomalies and tensor quantization, sections 2–3
- Yano: continuous residual norm and stability, sections 2.1–2.2; wall/corner adaptation proved in the certificate
- Schoeberl: equilibrated fluxes, sections 29.1–29.2; methodological background
- Kuroda: Kato-Temple, Theorem A
Guía del instrumento actual. Las ediciones archivadas conservan su propio alcance.
Volver arriba