Author
Felipe A. Santibáñez-Leal
Recent research
- AI & ComputingOpen access
Jaeger's Petersen coloring conjecture (1988), which asserted that every bridgeless cubic graph admits an edge map onto the Petersen graph sending every vertex star onto a vertex star, was refuted in August 2026: Putman exhibited two nonisomorphic 112-vertex counterexamples with S...
- AI & ComputingOpen access
Levinson's method in short intervals and simple zeros of the zeta function
For each fixed 1/2 < theta < 1, a uniformly shifted mollified second-moment formula is derived on windows of length T^theta with 0 < nu < min(1/2, 2theta-1, (5theta-2)/6). An exact shifted composite divisor transformation gives a common Mellin multiplier and the rational frequenc...
- Open access
Levinson's method in short intervals and simple zeros of the zeta function
For each fixed 1/2 < theta < 1, a shifted mollified second-moment formula is derived on intervals of length T^theta for fixed mollifier and differential-operator polynomials, with 0 < nu < min(1/2, (17/33)(2 theta - 1)). The argument combines a signed Gaussian representation, the...
- AI & ComputingOpen access
Stronger local overlap certificates and distinct zeros of the Riemann zeta function
We derive a lower asymptotic proportion 30945470743359/36955122080000 = 0.8373797460706156... of distinct nontrivial zeta zeros, relative to zeros counted with multiplicity, by applying Knausgard's mixed-multiplicity Gram argument to Lavery's seven-point local theorem with unequa...
- AI & ComputingOpen access
Levinson's method in short intervals and simple zeros of the zeta function
Fix theta between 1/2 and 1. We localize Levinson's method, with Conrey's general operator polynomial Q, to the intervals (T, T+T^theta], for mollifiers of length T^nu with nu less than theta-1/2, by running Young's short proof of the mollified second moment with a weight support...
- Materials & EnergyOpen access
Optimal control theory delivers magnetic-field pulses that reverse a magnetic moment for the least dissipated energy, and recent work shows these pulses reach picosecond, energy-efficient switching in two-dimensional van der Waals magnets. Because the optimal pulse is always perp...
- AI & ComputingOpen access
A quadratic family of integral two-torsion classes in a Huneke-Wiegand Koszul presentation
We study an explicit integral Koszul presentation arising in the graded-syzygy analysis of a previously constructed Huneke-Wiegand family. For every integer p>=8, its cokernel contains a direct summand isomorphic to (Z/2)^floor(((p-2)^2+3)/12). The classes are indexed by strictly...
- AI & ComputingOpen access
Simple critical zeros in short intervals: stability, parity, localization, and Hilbert compression
For a conjugation-invariant finite multiset, let N count copies, S simple real support, O distinct odd-multiplicity real support, and Q the squared-kernel pair sum. The paper proves the sharp inequality (Q-S)(N-O) >= 2(N-S)^2 by retaining Lamzouri's first Hilbert-subspace dimensi...
- AI & ComputingOpen access
Simple critical zeros in short intervals: stability, pressure, parity, and localization
Let C3 = 0.6567752140190419405677628751089899133... be the reproducible rank-three optimized Selberg constant. For every fixed 1/2 < theta < 1, localization of the Selberg detector to (T,T+Ttheta] gives a lower asymptotic proportion (theta-1/2)/(4eC3) of distinct odd-multiplicity...
- AI & ComputingOpen access
A quadratic family of integral two-torsion classes in a Huneke-Wiegand Koszul presentation
We study an explicit integral Koszul presentation arising in the graded-syzygy analysis of a previously constructed Huneke-Wiegand family. For every integer p>=8, its cokernel contains a direct summand isomorphic to (Z/2)^floor(((p-2)^2+3)/12). The classes are indexed by strictly...
- AI & ComputingOpen access
For a conjugation-invariant finite multiset, let N count copies, S simple real support, O distinct odd-multiplicity real support, Q the squared-kernel pair sum, and D(G)=tr Psi_2(G) the retained simple-real Gram spectral defect. The paper proves the finite inequality (Q-S-D(G))(N...
- Engineering & TechnologyOpen access
A forecaster maps history to a future. A world model maps history and a proposed action sequence to a distribution over futures. That single difference is what makes counterfactual questions, planning and regime detection expressible at all, and it is the difference this paper is...
- AI & ComputingOpen access
For a conjugation-invariant finite multiset, let N count copies, S simple real support, O distinct odd-multiplicity real support, Q the squared-kernel pair sum, and D(G)=tr Psi_2(G) the retained simple-real Gram spectral defect. The paper proves the finite inequality (Q-S-D(G))(N...
- Engineering & TechnologyOpen access
A forecaster maps history to a future. A world model maps history and a proposed action sequence to a distribution over futures. That single difference is what makes counterfactual questions, planning and regime detection expressible at all, and it is the difference this paper is...
- AI & ComputingOpen access
The interpretability claim of LDA-on-HSI rests on the assumption that topic-word distributions are human-readable. This study is restricted to the LDA backbone; the cross-backbone comparison (HDP, ProdLDA, ETM) is the subject of the companion paper P4. We test three orthogonal po...
- Engineering & TechnologyOpen access
Topic models, in particular Latent Dirichlet Allocation (LDA), have been adapted to hyperspectral imagery (HSI) as a route to interpretable spectral mixtures: each spectral unit (canonically a pixel) becomes a document of quantised band-frequency tokens and the inferred topic-wor...
- AI & ComputingOpen access
The companion paper (P1) introduces a twelve-axis evaluation framework for topic models on hyperspectral imagery and instantiates it on a single canonical wordification recipe (V1, band-frequency tokenisation). This paper asks a different question: how does the choice of wordific...
- BiologyOpen access
The companion paper (P3) showed that nineteen wordification recipes (V1-V15, V17-V20) produce measurably different topic bases under a fixed LDA backbone, with no universal winner: V12 (Gaussian-mixture tokens) has the highest mean coherence and topic-label coupling (winning two...
- AI & ComputingOpen access
The interpretability claim of LDA-on-HSI rests on the assumption that topic-word distributions are human-readable. This study is restricted to the LDA backbone; the cross-backbone comparison (HDP, ProdLDA, ETM) is the subject of the companion paper P4. We test three orthogonal po...
- Climate & EnvironmentOpen access
Operational earthquake forecasting (OEF) issues calibrated conditional probabilities of future seismicity; the Epidemic-Type Aftershock Sequence (ETAS) model is its de-facto benchmark, and under fair, prospective, CSEP-style testing no machine-learning temporal point process has...