log-concavity

Certified log-concavity of the Riemann-Jacobi kernel with Arb/FLINT ball-arithmetic certificates. Source-critical audit of the Polya-type real-zero criterion. No unconditional RH claim.

A floor under Newton's inequality: the sharp constant 4/5, and large parts of Sibuya's 1988 conjecture. Machine-checked, independently validated, reviews included.

AI-assisted mathematical research manuscripts with reproducible materials across combinatorics and words, matrix and coding theory, topology, order and discrete geometry, algebra, matroids, and continuous optimization.