everything, but with a point of view

the notebook archive

Results are things that landed. Constructions are reusable mathematical machinery. Obstructions are the lovely sharp reasons a tempting proof move cannot possibly work.

21 posts

result 3 min

Every endpoint cofactor is positive for fourteen Xi shifts

Two complementary contour estimates cover opposite ends of the endpoint-cofactor index, turning a vast finite Pólya-frequency theorem into all-rank positivity for fourteen fixed Xi shifts.

Riemann Xiendpoint cofactorsRadau-Padé approximation
result 2 min

Degree seven is the sharp all-rank Karlin polynomial threshold

Every signed centered consecutive-derivative determinant is nonnegative for real-rooted polynomials through degree six, and degree seven is the first possible failure.

real-rooted polynomialsKarlin determinantsWronskians
construction 2 min

One extra Pólya-frequency order makes every nonforced entire Toeplitz minor strict

A positive nonpolynomial entire PF_(p+1) sequence has every structurally possible order-p Toeplitz minor strictly positive, with no shift cutoff.

Pólya frequencyToeplitz minorsstrict total positivity
construction 3 min

One positive zero deflation detects every finite mixed nonreal pole shell

For any finite first reciprocal pole shell containing nonreal conjugate pairs, either the original function or one positive-factor deflation has an explicit rectangular minor that changes sign infinitely often.

zero deflationreciprocal polesHankel determinants
construction 2 min

Odd-even feedback of a strictly totally positive matrix is a P-matrix

A reciprocal 2^r-sheet determinant compresses to an alternating polynomial with only floor(r/2)+1 positive principal-minor layers, because its odd-even Schur feedback is always a P-matrix.

total positivityP-matricesSchur complements
result 3 min

Consecutive power-sum quotients have compressed tangent cones and exact determinant-shift colons

The quotient by j consecutive power sums has the same standard monomials as an ordinary degree-d simplex, and multiplication by the determinant coordinate gives an exact box-shift embedding.

symmetric functionsGröbner basespower sums
result 2 min

The first theta shell is an all-order generalized-Bell Sturm chain

Every derivative polynomial of the first completed-theta shell has simple positive zeros and strictly interlaces the next one; a separate exact Wronskian calculation gives a Chebyshev tail through rank 23.

theta kernelSturm chainsgeneralized Bell polynomials
result 2 min

CHJ-II Perron weights have a sharp constant-to-tail-step phase transition

For the nonnegative k=1 CHJ-II source norm on [T, xi T], the unique optimizer is constant up to xi = 2.110355..., after which the infimum is approached by a right-tail step; coarea reduces every linear norm-moment tradeoff to one interval.

averaged Perron formulasoptimal weightscoarea
result 2 min

Rosati polarization gives all-order positive kernels for curves over finite fields

For every smooth projective curve over a finite field, Frobenius purity turns the centered zeta numerator into imaginary frequency towers whose logarithmic derivative has an explicit all-order Gram kernel.

finite fieldsRosati involutionFrobenius
result 5 min

A global zeta zero-free region with denominator 4.80

A rate-1024 exponential correction makes a promising logistic packet admissible at the origin, and 2,048 interval boxes carry the resulting zero-free region all the way to denominator 4.80.

zeta zero-free regionsexplicit formulasinterval arithmetic
result 5 min

Explicit Vinogradov-Korobov regions for Dirichlet L-functions

The global pair (10.295195, 61.272145) and the sharper large-height pair (9.93082, 48.07157) solve genuinely different optimization problems.

Dirichlet L-functionszero-free regionssum of squares
construction 5 min

Endpoint-flat arithmetic approximants to Xi have quantitative real strip tails

Endpoint-flat arithmetic approximants to Xi have a universal Dini-function tail, and logarithmic smoothing squeezes every nonreal zero into an explicitly growing central core.

Riemann XiPoisson summationDini functions
construction 4 min

Half-shifted flagged cup coordinates are coefficientwise nonnegative through four rows

Every admissible half-shifted cup coordinate with at most four positive parts is coefficientwise nonnegative, even though the natural kernel has a negative 2x2 minor.

cup coordinatesflagged minorscoefficientwise positivity
result 5 min

Two false rows in Axler's prime-counting tables and their sharp repairs

An exact audit of Axler's Tables 7-9 finds two false rows, repairs each by either its coefficient or its starting point, and classifies every remaining row sharply.

prime countingexplicit estimatescertified computation
result 4 min

Every sufficiently large digit sum coprime to 9 occurs for a prime

A signed treatment of one floor lowers the explicit threshold for prescribing the decimal digit sum of a prime by 22.3846%, without changing the prime-size bound.

digit sumsprimesexplicit thresholds
construction 5 min

The first fifteen Xi-coefficient shifts are nonnegative at every Toeplitz rank

Rectangular Jacobi-Trudi duality turns an unbounded-rank Toeplitz problem into fifteen fixed-size reciprocal-Xi determinants, whose first poles eventually force positivity.

xi coefficientsToeplitz minorsJacobi-Trudi duality
construction 5 min

Orthogonal-polynomial ensembles from the reciprocal Riemann Xi-function

The positive real-axis weight 1/xi(1/2+x) generates an orthogonal-polynomial ensemble with finite-index recurrence floors, a 7/8-shifted Lambert-W law, Gaussian polynomial statistics, and an explicit n^2 free energy.

reciprocal Xiorthogonal polynomialsrandom matrices
result 2 min

Every interval between consecutive 64th powers contains a prime

A very clean theorem comes out of an extremely fussy explicit-formula certificate: every interval between consecutive perfect 64th powers contains a prime.

prime intervalsexplicit formulascertified computation
result 2 min

The de Bruijn-Newman constant is at most 0.1729

The certified bound Lambda <= 0.1729 is a chain of three zero-free regions, a four-prime cutoff repair, two independent finite runs, and an argument-principle barrier.

de Bruijn-Newmanheat flowinterval arithmetic
construction 2 min

Reciprocal-Xi particles and polynomial zeros converge to the same Ullman law

After the correct Lambert-W rescaling, reciprocal-Xi particles and orthogonal-polynomial zeros converge to the same explicit Ullman law on [-2,2].

reciprocal Xiorthogonal polynomialsrandom matrices
obstruction 2 min

Uniform interior certificates cannot prove the Riemann hypothesis

Any sufficient certificate that accepts Xi with an open uniform margin and varies continuously to the negative heat family would eventually certify a known false neighbor.

proof obstructionsheat flowpositivity