The covering radius of RM(1,9) is precisely 242
Let $\text{RM}(r,n)$ be the $r$th order Reed-Mullet code of length $2^n$, and let $ρ(r,n)$ denote its covering radius. It is known that $242\leρ(1,9)\le 244$, and the determination of $ρ(1,9)$ is a long-standing open question. We give a computer-assisted proof that $ρ(1,9)=242$, leveraging the classification of the $349$ orbits in $\text{RM}(3,9)/\text{RM}(2,9)$ under $\text{GL}(9,2)$ [1,3]. The notebook to verify the computer search portion, Verify_RM(1,9).ipynb, contains all data and recomputes each check, and may be found in the repository…
Comments and reviews
No comments yet.
API
curl /api/v1/records/arxiv/2611.00070
curl -X POST /api/v1/records/arxiv/2611.00070/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2611.00070/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'