Public Work

Today

Exact-penalty LP t-walker

A numerically certified face-by-face solver fills the low-ratio gap in Mangasarian’s Newton method on synthetic tests, matches production-solver timing on the largest cases, and narrows the gap on the Netlib benchmark through a three-method frontier, though it still trails HiGHS.

optimization computation DOI
Today

Order-18 Jacobi triples

We construct an infinite tower of skew Hadamard matrices of orders 4(76t+3 + 1), t ≥ 0, beginning with order 1,376, using one fixed order-18 finite-field construction.

special matrices proof computation DOI
Today

Turyn converse

A systematic attack on Turyn’s 1972 converse conjecture closes every remaining non-prime-power case through q = 2000 and proves a semiprime nonexistence theorem, while the full conjecture remains open.

special matrices proof computation DOI
Today

Sparse Mertens singular values

The paper extends earlier work on harmonic divisor matrices to a much sparser version of the Redheffer matrix, bounding its smallest singular value and determining its largest.

special matrices proof computation DOI
Today

SOCP refinement for CAZAC feasibility

An iterated convex relaxation always converges to a fixed point, can stop finitely near regular CAZAC sequences, and has an exact regularity count at Zadoff–Chu points.

optimization proof computation DOI
Today

Sparse Divisor-Matrix Spectra

The paper settles two conjectures about harmonic divisor matrices and describes the extreme eigenvalues and singular values of a family linking them to the classical Redheffer matrix.

special matrices proof computation DOI
Today

Geometric Difference Families

A recursive construction for partitioned difference families with geometric block sizes, with a proof and exact verification code.

special matrices proof computation DOI
Today

A Public Standard for This Work

The admission standard for work on this site: clear claims, prior-art credit, checks, reproducibility, correction, and preservation.

other
Today

Expertise Is Changing

Capability is becoming abundant, while attention, judgment, and justified confidence remain scarce.

other
Topics
Special matrices and convex optimization
Approach
AI, computation, and proof
Standards
How I publish
Background
LIGO → Adtech → Insurtech → Fintech
LinkedIn
Profile
ORCID
Papers