Pinned Loading

1. turyn-converse turyn-converse Public

   A theorem program toward a converse of Turyn's theorem: composites q ≤ 2000 closed, plus unconditional theorems for infinite families.

   TeX

2. p1mod4 p1mod4 Public

   Hadamard matrices of order 2q(q+1) for prime powers q ≡ 1 (mod 4), built in closed form from the quadratic character.

   Python

3. extremal-eigenvalues extremal-eigenvalues Public

   Settles two conjectures about sparse divisor matrices and extends their analysis to extreme eigenvalues, singular values, and prime-number-theorem encodings.

   Python

4. geometric-difference-families geometric-difference-families Public

   RDS-coarsening lift for partitioned difference families: geometric-block PDF families and optimal constant-composition codes

   Python

5. sparse-mertens-singular-values sparse-mertens-singular-values Public

   The smallest singular value of a 2.6n-nonzero (0,1) matrix with determinant M(n): sigma_min = |M(n)| n^{-3/2+o(1)}, a two-sided Riemann-hypothesis criterion, via Alladi's estimates for the Mobius f…

   Python

6. convex-framework-cazac convex-framework-cazac Public

   Convergence theory for an iterated SOCP relaxation of CAZAC sequence feasibility: unconditional single-point convergence, exact regularity at Zadoff-Chu points, and a transfer to the elliptope of c…

   TeX