Bellotti--Wong's six-parameter zero-count pair sharpens exactly

The sharpened pair

Set $c=22077/125000=0.176616$ and $D=3161/200-c\log(2\pi)$. The full-plane zero-count error has leading coefficient $c$ and additive coefficient $D$, with $15.4804<D<15.4805$.

Both coefficients are strictly below Bellotti--Wong's published six-parameter Table 6 pair $(0.1767,15.805)$ on the identical $T\ge1$ range.

Exact leading coefficient

The source's symmetric zero-count construction has $C_1=da_1/4$. Its printed six-parameter tuple gives $d=18/25$ and $a_1=2453/2500$, so the exact product is $22077/125000$.

The additional higher-derivative operators in the six-parameter construction do not alter the conductor coefficient: higher derivatives of the logarithmic derivative of $A^s$ vanish, while their gamma contributions remain in the bounded remainder represented by $C_2$.

Retaining the normalization

Table 6 supplies $C_2=15.805$ in a formula containing $\log(T/(2\pi))$, not $\log T$. Expanding that logarithm preserves the exact leading coefficient and subtracts $c\log(2\pi)$ from the additive term.

The improvement is therefore an exact normalization consequence of the certified source tuple and Table 6 constant, not a new numerical optimization of the six-parameter admissibility problem.

1. Read the exact rational values behind the printed six-parameter tuple.
2. Compute the source coefficient $C_1=da_1/4$ exactly.
3. Keep the source's $\log(T/(2\pi))$ normalization when rewriting the bound in conductor form.

Specializations and Pareto position

The same pair applies unconditionally to nontrivial finite-order Hecke $L$-functions. For imprimitive Dirichlet characters, the conductor is that of the inducing primitive character because the added Euler-factor zeros lie on $\Re s=0$, outside the counted strip.

The Dedekind bound retains the source constant $2.033$. Exact halving under the source's upper-half Riemann convention gives the pair $(0.088308,8.7567007520\ldots)$. This has a smaller leading but larger additive coefficient than C-0082, so it is an additional Pareto point rather than a uniform replacement.

What the certificate establishes

The verifier hash-pins the Bellotti--Wong v1 PDF, source archive, extracted TeX, metadata, and the C-0082 dependency. It checks the literal source anchors for the symmetric normalization, the exact coefficient formula, the printed tuple, Table 6, the source's certification statement, and the exploratory eight-parameter caveat.

Exact rational arithmetic and 256-bit Arb then certify the coefficient gap, both additive constants, exact Riemann halving, conductor correction, and the Pareto comparison. Counterfeit checks reject mixing the rounded coefficient with the exact subtraction, omitting half the Dedekind constant, or retaining the ambient Dirichlet modulus.