Hegedüs' conjecture on non-exceptional q-ary equidistant codes
Let be the Hamming space over an alphabet of size , and let be an equidistant code with distance . Hegedüs' conjecture. If
then
This conjecture generalizes Hegedüs' sharper upper bound in the binary case, where the corresponding result is known for distances different from ; the general -ary case remains open.
References
Primary source
Sihuang Hu, Hexiang Huang and Wei-Hsuan Yu, “Hegedus' Conjecture and Tighter Upper Bounds for Equidistant Codes in Hamming Spaces”, arXiv:2504.07036 (2025).
Progress summary
The stated conjecture is false, but a corrected version with a different exceptional distance was proved in 2025 and independently reproved in 2026.
The 2024 formulation asserts the bound for all non-exceptional distances using . Hu, Huang, and Yu showed that this threshold is incorrect for general : for and , all words form a counterexample.
April 2025 correction; June 2026 independent proof
- Hu, Huang, and Yu prove the corrected theorem: if , then ; at the corrected exceptional distance, is tight for prime-power .
- A June 2026 preprint gives an eigenvalue proof of the same corrected result and explicitly identifies it as the corrected -ary form of Hegedüs’ conjecture.
- No retrieved source reports a standing objection, withdrawal, or retraction.
Current status (as of August 2026): The original statement is disproved for general , while the corrected assertion with exceptional distance is proved and independently reproved.
Solutions 0
No solutions have been posted yet.