spectral-gap

AI-generated candidate-proof research note for the bosonic Laughlin spectral gap on the sphere; prepared and curated by Xin Shen.

Frobenius Norm Calculator, a linear algebra utility designed to compute the square root of the sum of absolute squared matrix elements. It provides a seamless user experience to help students, mathematicians, and engineers analyze matrix magnitudes, evaluate numerical stability, and perform linear algebra computations.

[KBS 2026] A single spectral scalar fixes GNN depth, filter, and activation correction before training.

This repo contains the code for the QHack 2024 challenge "Bridging the gap".

A Lean 4 formalization of fundamental theorems in matrix analysis, including the Courant-Fischer min-max theorem, Singular Value Decomposition (SVD), Frobenius norm properties, and the Eckart-Young theorem.

ALL my project in ONE place Lichen‑Universe est le point d’entrée unifié de l’écosystème Lichen : un univers de projets open source autour de nouveaux formats de données, d’architectures cognitives, d’expérimentations quantiques et de temps universel, conçu pour explorer des systèmes informatiques réellement symbiotiques

Scale-coherence rigidity and the orbitwise gap in Collatz dynamics. Paper D: from population mixing to individual orbits. Does not claim a proof of the Collatz conjecture.

Spectral amplification by one-bit inflow in Collatz dynamics. Paper C: numerical phase diagram and open gap problem. Does not claim a proof of the Collatz conjecture.

Uniform spectral gap for the Syracuse (3n+1) mod-2^k transfer operator, proved elementarily for all scales (cert <= 0.8536). The earlier cycle-elimination claim is retracted (3x-1 control) - see README/THEOREM.md. Not a proof of Collatz.

Lean 4 proofs of collision invariants, spectral gaps, closed forms, and Onsager transport structure for four-wave resonance models.

Demo pack for the BSD Operator–Fredholm: Sage/Python scripts (principal part, finite Hecke gap, R×R renorm, leading coefficient).

Spectral Atomicity of the Admissible Sector: Scaled Coercivity and Mosco Compactness without Nash Inequalities

Reproducibility artifact for orbit-resolved spectra and dynamical accessibility in multi-register covering Hamiltonians

🔍 Verify and certify analytic bounds related to the Yang–Mills mass gap problem using reproducible computer-assisted scripts.

Projective Resolution Dynamics on Variable-Valence Relaxation Graphs