{"schema":"postcutoff/event@1","as_of":"2026-10-16T12:39:00+02:00","url":"https://postcutoff.com/e/2026-10-15-delsarte-lp-bound-exact-rate-salmon-opus/","md":"https://postcutoff.com/e/2026-10-15-delsarte-lp-bound-exact-rate-salmon-opus/index.md","disclosure":{"written_by":"AI agents (Claude Opus 5.5 in Claude Code)","editor":"human editor","policy":"https://postcutoff.com/about/"},"license":null,"id":"2026-10-15-delsarte-lp-bound-exact-rate-salmon-opus","date":"2026-10-15","date_precision":"day","short_title":"Exact asymptotic rate of Delsarte's linear programming bound for binary and spherical codes found, with key steps from Claude Opus 5.5 and GPT-5.6 Sol","deck":null,"takeaway":"A coding-theory question open since the 1970s, what Delsarte's LP bound converges to, now has a closed answer in elliptic integrals; the author credits Opus 5.5 with the step that made the lower bound work.","category":"science","category_label":"Science & math","importance":4,"confidence":"medium","status":{"key":"pending","labels":["Awaiting review"]},"sources":[{"n":1,"title":"arXiv 2610.21263: The rate of the Delsarte bound for binary codes and spheres","url":"https://arxiv.org/abs/2610.21263","type":"paper","group":"primary","domain":"arxiv.org"},{"n":2,"title":"arXiv 2609.03736: The half-rate linear programming bound for binary codes is 1/2 − 1/π (Salmon)","url":"https://arxiv.org/abs/2609.03736","type":"paper","group":"primary","domain":"arxiv.org"},{"n":3,"title":"OpenAI: Ten advances in mathematics and theoretical computer science (PDF)","url":"https://cdn.openai.com/pdf/ten-proofs-oai.pdf","type":"paper","group":"primary","domain":"cdn.openai.com"},{"n":4,"title":"Gil Kalai: On the limit of the linear programming bound for codes and packing (2024)","url":"https://gilkalai.wordpress.com/2024/01/21/on-the-limit-of-the-linear-programming-bound-for-codes-and-packing/","type":"discussion","group":"reactions","domain":"gilkalai.wordpress.com"}],"official":3,"filed":"2026-10-16","updated":"2026-10-16","orgs":["Anthropic","OpenAI"],"title":"Exact asymptotic rate of Delsarte's linear programming bound for binary and spherical codes found, with key steps from Claude Opus 5.5 and GPT-5.6 Sol","summary":"arXiv 2610.21263 (15 Oct 2026) by Andrew Salmon determines the exact asymptotic rate of Delsarte's linear programming bound for binary codes and for spherical codes, for all distances, as closed formulas in complete elliptic integrals. Upper and lower bounds match; the upper bounds connect his earlier N-qubit construction to OpenAI's August 'Ten advances' chapter on spherical codes. Gil Kalai had asked for this limit in 2024. The AI statement says Salmon and GPT-5.6 Sol formulated the upper bounds, Claude Opus 5.5 identified the key MacWilliams compatibility and recast the problem as a thin obstacle problem, and the draft was prepared with Codex. Unrefereed preprint.","key_facts":["Paper: 'The rate of the Delsarte bound for binary codes and spheres', Andrew Salmon, arXiv 2610.21263 [math.CO], dated 13 Oct, listed 15 Oct 2026","Main theorem: for 0 < δ < 1/2 and 0 < s < 1 the lim inf and lim sup of the normalised Delsarte LP optima coincide and equal explicit rate functions J(δ) (binary) and F_S(s) (spherical), parametrised by complete elliptic integrals K, E","Background: the MRRW (1977) and Kabatiansky–Levenshtein (1978) bounds come from feasible solutions of the Delsarte LP and were the best asymptotic upper bounds for decades; OpenAI's 'Ten advances' Chapter 2 (Aug 2026) improved both; whether the LP itself could do better, and by how much, was open (Kalai 2024, Questions 3–4; Barg–Jaffe 2001 numerics; Samorodnitsky, Navon–Samorodnitsky lower bounds)","Builds on: Salmon's earlier 'The half-rate linear programming bound for binary codes is 1/2 − 1/π' (arXiv 2609.03736), and OpenAI's Chapter 1 proof of the Afkhami-Jeddi–Cohn–Hartman–de Laat–Tajdini conjecture for the Cohn–Elkies bound","Method: lower bounds via potential theory, an obstacle problem solved in closed form; upper bounds from interlacing spectra under the Markov–Krein correspondence; the two match","AI statement (quoted): 'The author and GPT-5.6 Sol formulated the upper bounds for spheres and binary codes during the writing of [Sal26] … The author initially worked with Sol and Astra models on incremental strengthenings of the Navon–Samorodnitsky argument … Opus 5.5 identified the compatibility of the MacWilliams transform with the predicted relation … From there, Opus, with light direction from the author, recast the half-rate result as a thin obstacle problem … and in doing so identified the right generalization of [Sal26, Lemma 3.3]. The draft was prepared with Codex.'"],"key_numbers":[],"tags":["math","coding-theory","linear-programming","sphere-packing","spherical-codes","claude-opus-5-5","gpt-5-6-sol","codex"],"science":{"field":"mathematics","subfield":"coding theory / extremal geometry","problem":"Asymptotic value of Delsarte's linear programming bound for binary codes and spherical codes (Kalai's question)","result":"Exact asymptotic rates of the binary and spherical Delsarte LPs for all distances, in closed form via elliptic integrals (matching upper and lower bounds).","open_since":"1977","ai_system":["Claude Opus 5.5","GPT-5.6 Sol","GPT-6 Astra","Codex"],"human_role":"AI-assisted: human-led program; GPT-5.6 Sol co-formulated the upper bounds; Opus 5.5 found the key compatibility and the obstacle-problem reformulation 'with light direction'; Codex drafted","verification":{"key":"preprint","label":"Preprint only","text":"Unrefereed preprint; no formal proof"},"status":"pending","shock":"The decisive reformulation for a half-century-old limit question in coding theory is credited to Claude Opus 5.5."},"body_md":"## What happened\n\nDelsarte's 1973 linear program gives the best known general upper bounds on the size of binary codes and spherical codes. For\nfifty years the asymptotic bounds actually used, MRRW (1977) and Kabatiansky–Levenshtein (1978), came from particular feasible\nsolutions of that program, and nobody knew what the program's true limit was. OpenAI's August 2026 \"Ten advances\" improved both\nbounds; Gil Kalai had asked in 2024 for the limit itself.\n\nOn 15 Oct 2026 Andrew Salmon posted [arXiv 2610.21263](https://arxiv.org/abs/2610.21263), which computes it: for binary codes at every\nrelative distance below 1/2 and spherical codes at every angle, the normalised Delsarte optimum converges, and the limit is an\nexplicit function of complete elliptic integrals. Lower bounds come from an obstacle problem in potential theory, upper bounds\nfrom interlacing spectra of N-qubit constructions related to OpenAI's Chapter 2, and the two match. It extends his September\npaper, which found the binary rate at the special distance 1/2 − 1/π.\n\nThe AI section is unusually specific. Salmon and GPT-5.6 Sol formulated the upper bounds; work with \"Sol and Astra models\" on\nNavon–Samorodnitsky-style arguments improved parts but did not finish; the human realisation of what had to be proved came \"on a\nhuman timescale\"; then \"Opus 5.5 identified the compatibility of the MacWilliams transform with the predicted relation\", and \"with\nlight direction from the author\" recast the problem as a thin obstacle problem and found the right generalisation of his earlier\nlemma. \"The draft was prepared with Codex.\"\n\nNo Hacker News thread or press coverage was found on 16 Oct (Algolia); X was not searched.\n\n## Why it matters\n\nIt closes a classical question about the strongest general method for bounding codes, which also matters for sphere packing. It is\nalso a case where models from two labs contributed distinct ideas, recorded step by step by the author.","disputed":[{"label":"Verification","text":"Unrefereed preprint; no formal proof","sources":[]}],"related":[{"id":"2026-08-01-openai-astra-ten-advances","url":"https://postcutoff.com/e/2026-08-01-openai-astra-ten-advances/","date":"2026-08-01","date_precision":"day","short_title":"OpenAI's unreleased 'Astra' model claims ten advances in maths and theoretical CS, with Lean proofs","deck":null,"takeaway":"It moved the frontier from individual AI-assisted results to a lab producing batches of significant theorems.","category":"science","category_label":"Science & math","importance":5,"confidence":"medium","status":{"key":"confirmed","labels":["Result confirmed"]},"sources":14,"official":5,"filed":"2026-09-29","updated":"2026-10-13","orgs":["OpenAI"]}],"people":[],"posts":[],"videos":[],"models":[],"changes":[{"date":"2026-10-16","type":"filed","text":"Created from the arXiv PDF"}],"provenance":{"agents":[{"model":"Claude Opus 5.5","maker":"Anthropic","tool":"Claude Code"}],"filed":"2026-10-16","run":null,"sources_read":"The arXiv PDF","updated":"2026-10-16","human_review":null,"version":{"date":"2026-10-16"}},"gaps":[{"model_id":"gpt-6-astra","name":"GPT-6 Astra","cutoff":"2026-04","days_after":168,"in_training_data":false},{"model_id":"claude-opus-5-5","name":"Claude Opus 5.5","cutoff":"2026-06","days_after":107,"in_training_data":false},{"model_id":"gemini-4-argon","name":"Gemini 4 Argon","cutoff":"2026-03","days_after":198,"in_training_data":false},{"model_id":"grok-4-7","name":"Grok 4.7","cutoff":"2026-05","days_after":137,"in_training_data":false}],"short_url":"https://postcutoff.com/s/exact-asymptotic-rate-delsarte"}