Manuscript Oai119-A@1 · Oai119-A.tex · abstract · fdff7292

Abstract

Front matter · lines 83–109

Back to manuscript

We complete the finite-certificate task proposed for Family 119, without assuming either of its all-dimensional contraction claims. For the uniform cube and independent symmetric noise of correlation , we give the complete stochastic matrix, classify all sixteen Boolean functions, and prove the Hellinger inequality by exact algebra. Equality holds precisely for the four signed coordinates. Every other Boolean function has Hellinger gap greater than . For parity the gap lies strictly between and ; for the nonconstant biased orbit it lies strictly between and . All comparisons reduce to displayed integer-square inequalities.

We prove the classical convexity argument that converts a Hellinger certificate into a Courtade–Kumar certificate. It yields, at the frozen instance, the sharp bound , the same equality cases, and a mutual-information gap greater than bit for every nonsigned-coordinate function. The rest of the manuscript freezes the distinct soft-information and Hellinger assertions, audits their proof interfaces, and separates arithmetic certification, sampling, implementation resources, and quantum recovery. The general Family 119 proofs remain unverified here. No quantum-channel, fidelity, gravitational, or spacetime conclusion is claimed.