Skip to content

Classical cleanup: griesmer/mds fix, rerouted cousins, small_distance parents, jump under CLY - #401

Merged
valbert4 merged 4 commits into
mainfrom
fix/classical-cleanup
Oct 13, 2026
Merged

valbert4 merged 4 commits into
mainfrom
fix/classical-cleanup

Conversation

@valbert4

Copy link
Copy Markdown
Member

Edited griesmer, mds: fix backwards griesmer -> mds parent; mds is now a child of griesmer (MDS codes meet the Griesmer bound), which moves MDS under Griesmer in the site tree; simplex-type codes leave the MDS list
Edited hexacode, tetracode: mds cousin -> parent (they were implied only through the false chain)
Edited q-ary_simplex: univ_opt_q-ary cousin -> parent
Edited hamming, hamming743, hamming844, karlin-related, ampdamp, tetron_subsystem, css_11_1_5: cousins rerouted from generic families to the specific codes they describe
Edited extended_golay, hamming844, simplex734, julin12, higman-sims_graph, hoffman-singleton_graph: implied cousins pruned; unique content moved into descriptions first
Edited two_in_five, isbn, upc: small_distance parent; two_in_five detects all single bit-flips
Edited jump: new parent chuang-leung-yamamoto (single-rail identification), replacing ampdamp/constant_excitation parents and the CLY cousin
Edited AGENTS.md: rule 15, explicit codes with d<=5 get a small-distance parent (rule 14 is in PR #399)

🤖 Generated with Claude Code

Tamara and others added 2 commits October 13, 2026 14:05
…mall_distance parents, prune implied cousins, jump reparent

- Reroute ampdamp~hamming and tetron_subsystem~hamming to hamming743; drop
  hamming~binary_quad_residue (hamming743 already has that parent, now with
  the HKSclass citation); drop hamming743~dual (repeats simplex734~hamming743).
- extended_hamming~karlin becomes a karlin parent of hamming844; its
  self_dual parent is now implied and dropped (fact kept in description).
- css_11_1_5~karlin retargeted to extended_golay.
- griesmer no longer has mds as parent (backwards); griesmer -> q-ary_linear,
  mds -> griesmer (primary). hexacode and tetracode take mds as a parent and
  q-ary_simplex takes univ_opt_q-ary as a parent, since these were only
  implied through the old chain.
- small_distance parent for two_in_five, isbn, upc.
- Prune implied cousins on explicit codes, moving any unique fact into the
  description first (extended_golay OA strength, hamming844 group algebra,
  Higman-Sims and Hoffman-Singleton distance-transitivity).
- jump: chuang-leung-yamamoto becomes a secondary parent (single-rail
  identification); ampdamp and constant_excitation parents and the CLY cousin
  dropped as implied.
- AGENTS.md rule 14 on small-distance parents.

Co-Authored-By: Claude Opus 5.5 (1M context) <noreply@anthropic.com>
…t check in PR #399)

Co-Authored-By: Claude Opus 5.5 (1M context) <noreply@anthropic.com>
detail: 'The extended Golay code is a lexicode \cite{manual:{M. J. T. Guy, unpublished},doi:10.1109/TIT.1986.1057187}\cite[pg. 327]{preset:MacSlo}.'
cousins:
- code_id: orthogonal_array
detail: 'The extended Golay code is an orthogonal array of strength 7 \cite[Exam. 1]{doi:10.1109/18.720545}.'

Copy link
Copy Markdown
Member Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Why was this moved?

cousins:
- code_id: orthogonal_array
detail: 'The extended Golay code is an orthogonal array of strength 7 \cite[Exam. 1]{doi:10.1109/18.720545}.'
- code_id: self_dual

Copy link
Copy Markdown
Member Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

and this?

detail: 'The 4125 codewords of weight 36 of the \([100,22,32]\) code \(C_{100}\) form a \(2\)-\((100,36,525)\) design, which can be used for majority decoding of single errors in \(C_{100}^\perp\) \cite[Rem. 1.7]{doi:10.1109/18.568714}.'
- code_id: leech
detail: 'The Higman-Sims graph occurs in the Leech lattice \cite{doi:10.1007/978-1-4757-6568-7}.'
- code_id: 2pt_homogeneous

Copy link
Copy Markdown
Member Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

why not keep this? its a special type of 2pt space thats diff from ancestor?

relations:
parents:
- code_id: graph
cousins:

Copy link
Copy Markdown
Member Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

same here

detail: 'Using \term{Construction A}, the Julin-Golay codes yield non-lattice sphere-packings that hold records in 9 and 11 dimensions.'
- code_id: construction_a
detail: 'Using \term{Construction A}, the Julin-Golay codes yield non-lattice sphere-packings that hold records in 9 and 11 dimensions.'
- code_id: q-ary_over_zq

Copy link
Copy Markdown
Member Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

why was this moved?

Tamara and others added 2 commits October 13, 2026 16:47
The pruned targets were ancestors only through generic kingdom-level chains
that do not express what these cousins state. Restore
higman-sims_graph~2pt_homogeneous and hoffman-singleton_graph~2pt_homogeneous
(the graphs themselves are distance-transitive), julin12~q-ary_over_zq (Z4
codes and the Gray map), and hamming844~group (Z2 x Z4 group algebra), and
drop the description sentences added only to preserve these facts.

Co-Authored-By: Claude Opus 5.5 (1M context) <noreply@anthropic.com>
…elf_dual cousins

Per zookeeper review, keep these cousins with their origin/main details, and
drop the extended_golay description sentence (orthogonal array of strength 7)
that the cleanup added only to preserve the pruned cousin.

Co-Authored-By: Claude Opus 5.5 (1M context) <noreply@anthropic.com>
@valbert4
valbert4 merged commit 569980b into main Oct 13, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant