Trabajos
Preprints, artículos e informes. Cuando una versión corrige a otra lo digo, y cuando un resultado es una conjetura o una extrapolación, también.
Tipo
Año
AURA: An Uncertainty-Aware Architecture for Verifiable Decisions in Critical Infrastructure
Sustituye a la v1 (octubre de 2025), que describía resultados de despliegue, validaciones y evaluaciones externas que no se habían realizado. La v3 solo reporta lo implementado y reproducible.
Arquitectura de tres capas, que desarrollé en Ineco, para decisiones operativas ante predicciones meteorológicas contradictorias. Fusiona fuentes heterogéneas en conjuntos credales con la teoría de Dempster y Shafer, propaga la incertidumbre por un modelo causal estructural con cotas de error declaradas por ecuación y certifica las decisiones frente a especificaciones de seguridad. Bajo cuatro hipótesis explícitas y falsables (H0 a H3), los conjuntos calculados contienen el estado real de extremo a extremo.
- El artefacto de verificación incluye el código y 546 tests.
Quantum walks on configuration matroids revisited, with a corrected speedup and a rigorous classical comparison
Corrige y sustituye a la v1, de diciembre de 2025. Retira la afirmación de una mejora que crecía como √n con el tamaño de la red e incluye un apéndice con 14 erratas.
Reformula el marco sobre la cadena down-up del dual cográfico, con un coste corregido T_Q = O(√(k|T|/|M|)) frente a T_C = O(k|T|/|M|). Frente a competidores clásicos en 22 conjuntos marcados operativos, el método cuántico no resulta más barato en resoluciones de flujo de cargas AC en ninguna de las 44 comparaciones. Lo que se mantiene es una separación en complejidad de consultas frente al propio paseo aleatorio de la cadena, con un oráculo ejecutable a nivel de puertas.
Exact spectral gap of the down-up walk on matroids with parallel elements
Para un matroide de rango r, el paseo down-up tiene hueco espectral en [1/r, 2/r]. La nota demuestra que cualquier par de elementos paralelos fija el hueco exactamente en 1/r, lo que en matroides cográficos abarca todo grafo con un vértice de grado dos, y que los matroides uniformes U(r, 2r−2) alcanzan la cota 2/r. Los dos extremos del intervalo se realizan.
Placement is a Primitive
Identifica una palanca de diseño posicional para funciones hash orientadas a aritmetización con estructura SPN sobre el cuerpo Goldilocks. Integrar un acoplamiento cuadrático en la entrada de la S-box añade un bit de grado ideal CICO por ronda, mientras que situarlo en la capa lineal o tras la S-box no añade nada. Las mediciones con msolve indican que el efecto es genuino y genérico. El principio se instancia en Alaniz-AO, una esponja sobre Goldilocks.
- El número de rondas y las cifras de coste son extrapolaciones de la ley de grado medida, bajo un modelo de coste explícito (ω = 2). No son mediciones.
Calibrated-Uncertainty Detection for Counter-UAS: Order-Invariant Evidential Fusion with Guaranteed-Containment Tracking
Preprint de AEGIS, un sistema contra drones que desarrollé en Ineco y que solo detecta. Distingue drones de aves, ecos y escenas vacías con evidencia ruidosa y a veces contradictoria, y ante un conflicto real se abstiene en lugar de dar una respuesta equivocada con confianza.
- Lo desarrollé en Ineco. Solo detección, con una persona en el bucle y sin capacidad de contramedida.
The Alaniz Cipher v3: Sheaf-Based Post-Quantum Encryption via Vector-Valued Finite Field Permutations
Corrige la v1 (rota por A. Rodríguez Langa con un ataque de escalado) y muestra la ruptura de la v2.
Esquema de cifrado de clave pública construido a partir de haces celulares sobre grafos con morfismos de restricción no lineales sobre cuerpos de extensión. El cifrado pasa a ser probabilístico con un flujo derivado de nonce (SHAKE-256) y σ opera de forma vectorial en F_{p^d}. El artículo presenta además un ataque de recuperación de clave con texto claro elegido contra la v2.
- No aporta una reducción formal del peor caso al caso medio para NL-SMIP, una limitación común a los esquemas multivariables.
- La estimación de seguridad PQ-128 del artículo se revisó después en el repositorio de la v4, y no se sostiene.
Projection-Valued Lorentzian Polynomials and an Operator Hodge–Riemann Theory for Matroids
Introduce los polinomios de Lorentz con valores en proyecciones, una extensión con valores operadores de los polinomios de Lorentz de Brändén y Huh. Para matroides de rango 2 sin lazos enuncia un teorema de Hodge-Riemann operatorial con una fórmula universal de signatura para el hessiano operatorial, y añade una identidad de normalización diagonal, una correspondencia espectral de tipo Szegedy y la reducción por contracción a rango 2.
- La fórmula de signatura solo está demostrada en el caso regular (todos los c_i iguales). El resultado general es una conjetura.
AURA Port – Sistema de Verificación Formal para Operaciones Portuarias
Extensión del marco AURA a operaciones portuarias críticas. Combina fusión bayesiana multifuente, detección de anomalías contextualizada y verificación formal con PVS, e integra datos meteorológicos y oceanográficos (AEMET, NASA POWER, Copernicus, boyas REDEXT) para calcular índices de riesgo y emitir certificados de seguridad auditables.
- Deriva de AURA v1. Las afirmaciones de validación operacional de este informe quedan superadas por AURA v3, que solo reporta lo implementado y reproducible.
AURA Wildfire – Autonomous Resilience System for Forest Fire Scenarios
Extensión del marco AURA a incendios forestales, con una arquitectura de tres capas de fusión probabilística, modelado causal y verificación formal de decisiones bajo incertidumbre meteorológica extrema. Integra observación remota (NASA FIRMS, Copernicus Sentinel-2/3, ERA5, AEMET), modelos físicos del fuego (FWI, Rothermel, Byram) y demostración automática de teoremas con PVS.
- Evaluación conceptual mediante simulación con datos sintéticos. Muestra viabilidad teórica, no resultados operativos.
Modelado de algoritmos cuánticos para la simulación de redes neuronales biológicas
Metrópolis | Revista de Estudios Universitarios Globales, vol. 5, n.º 1, pp. 102-114
Explora el potencial de los algoritmos cuánticos para simular redes neuronales biológicas, usando computación cuántica en la nube de IBM Quantum y técnicas de inteligencia artificial para optimizar los parámetros del circuito. Trabaja con datos de conectividad y expresión génica del Allen Brain Atlas, procesados para su uso en simulaciones cuánticas, y detalla los pasos, los resultados y las conclusiones del proceso.