arXiv++ Combinatorics

Total quadratic ball discrepancy measures the deviation of codeword counts from uniformity over all Hamming balls. We prove that, whenever a Hamming space and cardinality admit a perfect code, the discrepancy minimizers among all subsets of that cardinality are precisely the perfect codes. This extends Barg's binary minimizing result and characterizes equality over arbitrary finite alphabets. At the necessary parameter sets for correcting one or two errors, we give explicit lower bounds whose attainment is equivalent to perfect tiling, even when existence is unresolved. For alphabets of size at least four, the numerical values follow from known universal energy bounds; we establish their discrepancy normalization and the attainment criterion. The ternary discrepancy potential falls outside the completely monotonic regime of those bounds, and separate exact certificates settle the ternary Hamming and Golay cases.