diff --git a/research/asymmetric-hypercube-decoder/BLOCK-RESULTS.json b/research/asymmetric-hypercube-decoder/BLOCK-RESULTS.json new file mode 100644 index 0000000000..cebb011d25 --- /dev/null +++ b/research/asymmetric-hypercube-decoder/BLOCK-RESULTS.json @@ -0,0 +1,200 @@ +{ + "cases": [ + { + "accepted_supports": 4, + "all_accepted_slices_unsigned": true, + "all_codewords_enumerated": true, + "all_rank3_support14_spaces_in_one_block": true, + "allowed_ports": 16, + "codewords": 8, + "constant_weight8_planes": 4, + "geometry": "complementary", + "global_stars": 51, + "k": 3, + "logical_4_plus_4_supports": 4900, + "negative_controls": [ + "projected two-point star is not shortened codeword", + "even 4+4 affine slices with varying core rejected" + ], + "p": 5, + "ports": 80, + "quadruples_per_block": [ + 70, + 70 + ], + "rank3_support14_spaces": 0, + "shortened_dimension": 3, + "universal_pair_histogram": { + "1": 4, + "3": 2 + }, + "weight_eight_words": 6, + "weight_histogram": { + "0": 1, + "8": 6, + "16": 1 + } + }, + { + "all_codewords_enumerated": true, + "all_rank3_support14_spaces_in_one_block": true, + "allowed_ports": 32, + "codewords": 64, + "constant_weight8_planes": 8, + "fixed_core_per_block_supports": 512, + "geometry": "four_cycle", + "global_stars": 51, + "includes_both_3_4_orientations": true, + "k": 3, + "negative_controls": [ + "rank3 constant-weight8 four-cycle passes block parity but fails full code" + ], + "p": 5, + "ports": 80, + "rank3_support14_candidates_admitted": 0, + "rank3_support14_spaces": 0, + "shortened_dimension": 6, + "shortened_dimension_histogram": { + "1": 512 + }, + "universal_pair_histogram": { + "1": 8, + "3": 4 + }, + "weight_eight_words": 12, + "weight_histogram": { + "0": 1, + "8": 12, + "16": 38, + "24": 12, + "32": 1 + } + }, + { + "accepted_supports": 16, + "all_accepted_slices_unsigned": true, + "all_codewords_enumerated": true, + "all_rank3_support14_spaces_in_one_block": true, + "allowed_ports": 32, + "codewords": 2048, + "constant_weight8_planes": 328, + "geometry": "complementary", + "global_stars": 233, + "k": 4, + "logical_4_plus_4_supports": 3312400, + "negative_controls": [ + "projected two-point star is not shortened codeword", + "even 4+4 affine slices with varying core rejected" + ], + "p": 6, + "ports": 240, + "quadruples_per_block": [ + 1820, + 1820 + ], + "rank3_support14_spaces": 240, + "shortened_dimension": 11, + "universal_pair_histogram": { + "2": 16, + "4": 60 + }, + "weight_eight_words": 76, + "weight_histogram": { + "0": 1, + "8": 76, + "12": 192, + "16": 1510, + "20": 192, + "24": 76, + "32": 1 + } + }, + { + "all_codewords_enumerated": true, + "all_rank3_support14_spaces_in_one_block": true, + "allowed_ports": 64, + "codewords": 4194304, + "constant_weight8_planes": 656, + "fixed_core_per_block_supports": 8192, + "geometry": "four_cycle", + "global_stars": 233, + "includes_both_3_4_orientations": true, + "k": 4, + "negative_controls": [ + "rank3 constant-weight8 four-cycle passes block parity but fails full code" + ], + "p": 6, + "ports": 240, + "rank3_support14_candidates_admitted": 0, + "rank3_support14_spaces": 480, + "shortened_dimension": 22, + "shortened_dimension_histogram": { + "1": 8192 + }, + "universal_pair_histogram": { + "2": 32, + "4": 120 + }, + "weight_eight_words": 152, + "weight_histogram": { + "0": 1, + "8": 152, + "12": 384, + "16": 8796, + "20": 29568, + "24": 266536, + "28": 609024, + "32": 2365382, + "36": 609024, + "40": 266536, + "44": 29568, + "48": 8796, + "52": 384, + "56": 152, + "64": 1 + } + }, + { + "accepted_supports": 64, + "all_accepted_slices_unsigned": true, + "all_codewords_enumerated": false, + "allowed_ports": 64, + "geometry": "complementary", + "global_stars": 939, + "k": 5, + "logical_4_plus_4_supports": 1293121600, + "negative_controls": [ + "projected two-point star is not shortened codeword", + "even 4+4 affine slices with varying core rejected" + ], + "p": 7, + "ports": 672, + "quadruples_per_block": [ + 35960, + 35960 + ], + "shortened_dimension": 33 + }, + { + "all_codewords_enumerated": false, + "allowed_ports": 128, + "fixed_core_per_block_supports": 131072, + "geometry": "four_cycle", + "global_stars": 939, + "includes_both_3_4_orientations": true, + "k": 5, + "negative_controls": [ + "rank3 constant-weight8 four-cycle passes block parity but fails full code" + ], + "p": 7, + "ports": 672, + "rank3_support14_candidates_admitted": 0, + "shortened_dimension": 66, + "shortened_dimension_histogram": { + "1": 131072 + } + } + ], + "scope": "Full-generator complementary-block and four-cycle shortenings for k=3,4,5 at q=2. Full word enumeration only when dimension<=22. Complementary 4+4 candidates use exact syndrome meet-in-the-middle; cycle support candidates have fixed core signs separately in each block. Case counts overlap and are not global distinct-subcode counts.", + "status": "PASS" +} diff --git a/research/asymmetric-hypercube-decoder/BOUNDARY-RESULTS.json b/research/asymmetric-hypercube-decoder/BOUNDARY-RESULTS.json new file mode 100644 index 0000000000..68b8611a1a --- /dev/null +++ b/research/asymmetric-hypercube-decoder/BOUNDARY-RESULTS.json @@ -0,0 +1,106 @@ +{ + "arithmetic": "exact F2 integer bitsets", + "extended_minimum_word_masks": [ + 15, + 240, + 3840, + 61440, + 983040, + 15728640 + ], + "extended_quotient_rank": 2, + "extended_rank": 10, + "extended_weight_distribution": { + "0": 1, + "10": 288, + "12": 340, + "14": 288, + "16": 15, + "18": 32, + "20": 6, + "24": 1, + "4": 6, + "6": 32, + "8": 15 + }, + "extended_words": 1024, + "global_degree_at_most_two_generators": 51, + "global_nonempty_rank": 40, + "global_ports": 80, + "global_rank": 40, + "negative_controls": [ + "the graph-only slice space rejects valid shortened words", + "every weight-four E word is a single unsigned block", + "distinct weight-four E words have disjoint supports", + "the k=3 global empty star is already in the nonempty span" + ], + "residual_graph_rank": 8, + "residual_graph_words": 256, + "residual_ports": 24, + "scope": "Complete finite linear-space audit of the k=3,p=5 shortening at all five original pairs. Every shortening basis vector is checked; linearity extends containment and quotient agreement to its full span. All residual E words are enumerated. This is not an enumeration of every global codeword or rank-three subcode; the proof in HIGHER-WEIGHTS.md supplies the third-weight conclusion.", + "shortening_cases": [ + { + "avoidance_rank": 22, + "avoided_port_count": 32, + "selected_pair": 0, + "shortening_basis_sha256": "583dd87859755b8839ebf64fc4791401708060c93235586b5988cbfc9041da92", + "shortening_rank": 18, + "slice_basis_sha256": "898105a106a456c8756c2cb8bc7933fa9fe95a416908b80d840a559ce6af5a4d", + "slice_projection_ranks": [ + 10, + 10 + ] + }, + { + "avoidance_rank": 22, + "avoided_port_count": 32, + "selected_pair": 1, + "shortening_basis_sha256": "5b799813e6e3005ec41e287b55afabd32e8705df9809ea727a143f9b4fee6423", + "shortening_rank": 18, + "slice_basis_sha256": "935a684e5de50c1ff0328ceacecc2b96b6f9fdfb26afc3cdfc4f617b1a950c3c", + "slice_projection_ranks": [ + 10, + 10 + ] + }, + { + "avoidance_rank": 22, + "avoided_port_count": 32, + "selected_pair": 2, + "shortening_basis_sha256": "61753ecabc8e0aac1482fbc6a4c23f6e7090209940c5056ea138a1875b23b74f", + "shortening_rank": 18, + "slice_basis_sha256": "2ff8a65de9f350a47db24db117a5f9b95e5fa4f0662c187d433406c4f0549066", + "slice_projection_ranks": [ + 10, + 10 + ] + }, + { + "avoidance_rank": 22, + "avoided_port_count": 32, + "selected_pair": 3, + "shortening_basis_sha256": "c3f2f744b45df7ec5aa26112084c5b7b54000dbbf5ad30e123f286b10ad9b209", + "shortening_rank": 18, + "slice_basis_sha256": "ffc2f874bea8e4a7d1c2d0e615188cb4b1745c338bab8ce1a9c56a8eff197ab8", + "slice_projection_ranks": [ + 10, + 10 + ] + }, + { + "avoidance_rank": 22, + "avoided_port_count": 32, + "selected_pair": 4, + "shortening_basis_sha256": "97fc780bf5a73c052c38bc09e5fd48e0d32febd16fab0f77f040fb1b273ad038", + "shortening_rank": 18, + "slice_basis_sha256": "ae2121fa4c42049fcfdf757fb8d0f870837d32480ee4aa98ce9a6991dd784dd2", + "slice_projection_ranks": [ + 10, + 10 + ] + } + ], + "status": "PASS", + "unsigned_block_rank": 6, + "unsigned_graph_intersection_rank": 4 +} diff --git a/research/asymmetric-hypercube-decoder/CAMPAIGN-18H.json b/research/asymmetric-hypercube-decoder/CAMPAIGN-18H.json new file mode 100644 index 0000000000..1f712a3fea --- /dev/null +++ b/research/asymmetric-hypercube-decoder/CAMPAIGN-18H.json @@ -0,0 +1,170 @@ +{ + "status": "active", + "assignment_seed": 48, + "track": "Structural decoder research; sustained higher-rank and supplier-interface continuation", + "base_commit": "7d526020fc368ce4157cd436995c2f4fcf683318", + "current_main_snapshot": "91a2094f2e022930069e8cfdc810a3ea1b81cd09", + "selected_kappa_at_start": "1661634653669567/1000000000000000000", + "selected_review": "docs/research/community-frontier799-review.md", + "source_refresh": { + "recorded_at": "2026-10-13T23:28:46+09:00", + "main_commit": "007664306fff84fbb1c9a1b4053b69f439764034", + "selected_kappa": "1661957774647029/1000000000000000000", + "selected_review": "docs/research/community-frontier890-review.md", + "audited_source_head": "4b3bd8cbe8e3e81c44161017c9b72c905a8040a8", + "bit_supplier": "PR589 on PR555, unchanged by the refreshed composition", + "scope": "Read-only inspection of selected certificate and actual integration review; no new cold supplier replay claimed.", + "overlap": [ + { + "pr": 938, + "head": "df645942469e6a739ec94010a6068c398f4a6c86", + "distinction": "Dirty-fanout connector-query star census; a different object from signed proper-star evaluation codes." + }, + { + "pr": 939, + "head": "3a8ec54d62fb8824c658dc7ed356f99423cac8cf", + "distinction": "E8 binary-root star-reader COPY obstruction; E8 lies outside our integral odd-diagonal paired-port theorem." + }, + { + "pr": 954, + "head": "a98219aa708e1bd2ae4ca90e720e66569f7f0147", + "distinction": "E8 fixed-star first-decoder rank drops on 56 punctures; outside the odd-diagonal paired-port hypothesis." + }, + { + "pr": 958, + "head": "28d68c88f0184835d8c8a7266ab8d0dad3f18a8a", + "distinction": "Read the actual proof: five-port point-only decoder uses quadratic labels and overlap-one plus overlap-three corrections. Our literal odd-star theorem uses incidence labels, additional copied proper stars, and only overlap-one corrections." + } + ] + }, + "started_at": "2026-10-13T22:16:53+09:00", + "minimum_duration_hours": 18, + "earliest_completion_at": "2026-10-14T16:16:53+09:00", + "research_phase_minimum_hours": 13.5, + "verification_phase_minimum_hours": 4.5, + "candidate_tasks": [ + "Uniform fourth and higher generalized weights, starting with the q>=3 d4=8q+2 hypothesis and its unresolved q=3 boundary.", + "Exact geometry of exceptional q=2 subcodes and prescribed multi-target deletion budgets.", + "Physical realization and complete recursive pricing of simultaneous proper-star decoders under the selected supplier interfaces." + ], + "objective": "Develop a general, physically accountable multi-target decoder theory: higher-rank theorems and exact certificates, plus either a verified complete supplier improvement or a rigorous obstruction for a clearly defined enlarged decoder class.", + "success_standard": "An early theorem is a milestone, not campaign completion. Continue substantive unresolved work for the minimum period and independently verify the final claims. Do not manufacture a kappa improvement, idle to consume time, or label unresolved central obligations complete.", + "publication": "https://github.com/CrocSwap/integer-mult-bounds/pull/669", + "constraints": [ + "Preserve upstream and selected frontier.", + "Only update existing PR669; do not merge.", + "Record exact sources and predecessor credit.", + "No finite replay promoted to a uniform proof.", + "No unpriced helper/source/frame/copy/restoration/recursive work." + ], + "first_assignments": { + "geometry": "Fourth-weight theorem and higher-rank structure, initially scratch only.", + "supplier": "Actual physical supplier interface and optimistic complete invoice, initially scratch only.", + "lead": "Refresh overlap, coordinate exact experiments, maintain checkpoints and independently review all proposed results." + }, + "attribution": "Sam Sung with substantial OpenAI Codex assistance, including independent AI-assisted review.", + "checkpoint": { + "recorded_at": "2026-10-14T00:08:33+09:00", + "phase": "research and construction; the reserved final verification phase has not begun", + "campaign_status": "active; minimum duration and remaining research obligations are not complete", + "reviewed_milestones": [ + { + "claim": "Uniform fourth generalized weight d4=8q+2 and complete four-star optimizer classification for k>=2,q>=3.", + "proof": "FOURTH-WEIGHT.md", + "review": "Independent AI-assisted review of theorem, q>=4 equality, q=3 equality, and final text; lead reviewed boundary argument." + }, + { + "claim": "Exact ordinary-cube shortening and all q2 rank3/4/5 optimizers; prescribed target criterion for eleven deletions.", + "proof": "CUBE-OPTIMIZERS.md", + "review": "Separate AI-assisted proof review, finite implementation independent of reduction, and exact-text drift review." + }, + { + "claim": "Integral separating-pairing weighted COPY obstruction, including chronological copy-to-zero innovations and even paired-port corollary.", + "proof": "COPY-OBSTRUCTION.md", + "review": "Lead independently checked rank decomposition, integral specialization, source-column invariant, and template scope; separate checker review and replay." + }, + { + "claim": "Uniform fifth generalized weight d5=10q and all second-weight words for k>=2,q>=3; all fifth-weight optimizers and prescribed-target criterion for q>=4.", + "proof": "FIFTH-WEIGHT.md", + "review": "Independent AI-assisted proof and final-text reviews; lead checked boundary kernels, low-word span, Fourier contradiction, induction and optimizer cases." + }, + { + "claim": "Exact unrestricted original-core shortening filtration at q3, its dimension formula, and sharp weight16 barrier for extra layers.", + "proof": "CORE-SHORTENING.md", + "review": "Two separate AI-assisted mathematical reviews plus lead review; full-generator finite checker independently authored and integrated with failure controls." + }, + { + "claim": "Native literal odd-star decoder ceiling c<107/66606 for all odd k>=5 in the inherited L>=5 template; conditional L3 extension c<53/32958 for odd k>=7.", + "proof": "ODD-NATIVE-COST.md", + "review": "Independent derivation and lead audit of source/idle schedule, hosting refinement and actual bank denominator; both ran exact rational log and discriminant checks." + }, + { + "claim": "Exact prescribed-target partition formulas for every paired two-port target set, a matching formula for every forest, and complete three-target budgets.", + "proof": "GRAPH-TARGETS.md", + "review": "Independent AI-assisted proof review and full checker review, lead review of complete proof and code, independent optimized self-test with byte-identical receipt." + } + ], + "verification": [ + { + "script": "shortening_verify.py", + "script_sha256": "99f969307eb7c120a32aff6503c8787c768d3e7cc79551427ecc23ea421c22e1", + "receipt": "SHORTENING-RESULTS.json", + "receipt_sha256": "b4eb4a08ab3ac033eb460756fa6f40f267725a2197a19b20cf4a00f279a88829", + "command": "python3 -I -O -B research/asymmetric-hypercube-decoder/shortening_verify.py --self-test", + "status": "PASS including isolated optimized relocation, corruption rejection and failure output preservation" + }, + { + "script": "optimizer_verify.py", + "script_sha256": "2ab6fe919c4af03b0f13941685604d5f51c5ef8f1c9857f8a1c6fdf1e82ecd5a", + "receipt": "OPTIMIZER-RESULTS.json", + "receipt_sha256": "8b116c4e79d51ea38e239e66396eba083fdf420bddc2b710e8330dcf5fa8921d", + "command": "python3 -I -O -B research/asymmetric-hypercube-decoder/optimizer_verify.py --self-test", + "status": "PASS including isolated optimized relocation, corruption rejection and failure output preservation" + }, + { + "script": "block_verify.py", + "script_sha256": "f6663116d672d7bdc78fc4ff4a3ab84818337c3c9639959ed16261f36e03d66b", + "receipt": "BLOCK-RESULTS.json", + "receipt_sha256": "9fbca06918ff2c41ce25c10ff09dcc4f28b8d276723cc106d80b650305c6f603", + "command": "python3 -I -O -B research/asymmetric-hypercube-decoder/block_verify.py --self-test", + "status": "PASS including isolated optimized relocation, corruption rejection and failure output preservation" + }, + { + "script": "copy_obstruction_verify.py", + "script_sha256": "f23ae7783bbbef4171da3c153393af3f4d95b0493a738c021893d21d549eb366", + "receipt": "COPY-OBSTRUCTION-RESULTS.json", + "receipt_sha256": "b166a48db0cfbb7fe8b9929a248e73018f7d535f0b71757ae4553255d62b2ce1", + "command": "python3 -I -O -B research/asymmetric-hypercube-decoder/copy_obstruction_verify.py --self-test", + "status": "PASS including isolated optimized relocation, corruption rejection and failure output preservation" + }, + { + "script": "core_shortening_verify.py", + "script_sha256": "050c05331014c4c08446dbbc90a9a13bc969b4e1363d6d682eba51a51d37d2de", + "receipt": "CORE-SHORTENING-RESULTS.json", + "receipt_sha256": "d6d33689671a0506e7da1f4928044807010657590848ab886302bf5d742b72b4", + "command": "python3 -I -O -B research/asymmetric-hypercube-decoder/core_shortening_verify.py --self-test", + "status": "PASS including isolated optimized relocation, corruption rejection and failure output preservation" + }, + { + "script": "graph_targets_verify.py", + "script_sha256": "8b0816e6f5b3e4fcc0d904846cc3e27a12af12f11c940c0055dee8c812845d6d", + "receipt": "GRAPH-TARGETS-RESULTS.json", + "receipt_sha256": "9c457657cfa21ad903e31d3592c79557653661a0cc6d253c18a39a880e477f52", + "command": "python3 -I -O -B research/asymmetric-hypercube-decoder/graph_targets_verify.py --self-test", + "status": "PASS: 4112 complete target sets, 73 p4 target orbits covering 12650 sets, 4329472 direct decoder assignments; isolated optimized relocation, corruption rejection, failure output preservation and atomic replacement failure cleanup." + } + ], + "next_unresolved_work": [ + "Classify q3 fifth-weight optimizers and resolve the rank6 boundary, where ordinary-cube constructions already beat the star-clique upper bound for k>=5.", + "Extend prescribed-target geometry beyond two-ports and the classified optimal higher-rank subcodes; the all-r forest matching theorem is now integrated.", + "Complete independent finite verification of the proved native odd-three point-space recoding invoice and its complete-template ceilings; investigate remaining physical helper/source costs.", + "Construct or exclude remaining odd-size physical schedules with complete source/helper/frame/copy/restoration and recursive accounting; the native-cost ceilings exclude only their stated classes.", + "Continue the full minimum research period, then perform the reserved independent verification, source/overlap refresh and publication through PR669." + ], + "publication_status": "First local checkpoint is commit 697e4d36a6a8c34727677ffdfc4164929fb7c870; additional reviewed milestones remain local. Published PR head is still 7d526020fc368ce4157cd436995c2f4fcf683318 at this checkpoint.", + "environment": { + "python": "3.14.5", + "arithmetic": "Python integers, exact F2 elimination, and Fraction rational elimination; standard library only" + } + } +} diff --git a/research/asymmetric-hypercube-decoder/CLAIM.json b/research/asymmetric-hypercube-decoder/CLAIM.json new file mode 100644 index 0000000000..e2c6d713f5 --- /dev/null +++ b/research/asymmetric-hypercube-decoder/CLAIM.json @@ -0,0 +1,37 @@ +{ + "track": "Structural decoder research", + "assignment_seed": 48, + "randomness": "Python secrets.randbelow(100), operating-system randomness", + "base_commit": "66849e1475c930fd7732b1a0067ffee7e1e95f60", + "object": "Arbitrary target-dependent coefficients on global stars of degree less than k; exact fixed-target puncture threshold for the target-local subfamily, focusing on k=4 and k=8", + "method": "Boolean-lattice coefficient equations and exact F2 linear algebra; quantify the fixed-target puncture threshold", + "deliverable": "Scoped negative result with written proof, deterministic exact checker, source pins and negative controls; no kappa claim", + "expected_finish": "2026-10-13T12:53:00+09:00", + "coordination": "GitHub pinnedIssues query returned none; local claim only, no reservation issue opened", + "candidates_considered": [ + { + "task": "E8 deeper star punctures", + "decision": "Not selected: overlaps pending PR631 exact flat census" + }, + { + "task": "P120 ten-total non-star decoder", + "decision": "Not selected: PR620 already records an unresolved 40-minute SAT run; no distinct bounded method ready" + }, + { + "task": "Nonuniform stars on paired hypercube ports", + "decision": "Selected: removes the coefficient symmetry assumption of PR231 and quantifies fixed-target erasure robustness" + } + ], + "seed_use": "48 selects structural track and prioritizes k=4 and k=8 power-of-two cases; finite sampling, if used, is seeded 48", + "prior_work": { + "231": "Merged hypercube-decoder-parity note by Joel Pulikkan / GamingPuzzled; symmetric coefficient family", + "631": "E8 root-line punctures, different geometry; reviewed at fb893b5ee1317c2da3b297e6fe78eca0857d1a76", + "620": "E8 decoder research; partially reviewed in current ledger; head e9cf03bbdf7094b5a83f6dbd1d74bfd77a05fb87", + "231_head": "3c11e696a2fb2c454585d72710de27cd6bd3be68" + }, + "status": "completed; submitted for review", + "result": "Proved the global proper-star obstruction and exact local missing-cell characterization with sharp threshold 2(p-k)+1; no new kappa.", + "pull_request": "https://github.com/CrocSwap/integer-mult-bounds/pull/669", + "completed_at": "2026-10-13T12:28:03+09:00", + "verification": "9 compressed systems, 11 physical port systems, 131336 coefficient vectors, 3413 deletion sets, 2 global-star certificates and 5 negative-control categories. Python 3.11.13, 3.14.5 and optimized mode produce identical receipts; independent proof/code review completed." +} diff --git a/research/asymmetric-hypercube-decoder/COPY-OBSTRUCTION-RESULTS.json b/research/asymmetric-hypercube-decoder/COPY-OBSTRUCTION-RESULTS.json new file mode 100644 index 0000000000..fe5eab2fad --- /dev/null +++ b/research/asymmetric-hypercube-decoder/COPY-OBSTRUCTION-RESULTS.json @@ -0,0 +1,150 @@ +{ + "cases": [ + { + "k": 2, + "observations": 4, + "p": 3, + "ports": 12, + "term_types": { + "(1, 2, 4, 4)": 2, + "(1, 4, 4, 4)": 2 + }, + "tight_individual_copy_cost": 12, + "total_literal_frame_rank": 16, + "total_term_rank": 12 + }, + { + "k": 2, + "observations": 6, + "p": 4, + "ports": 24, + "term_types": { + "(1, 2, 6, 6)": 2, + "(1, 4, 6, 6)": 2, + "(1, 6, 6, 6)": 2 + }, + "tight_individual_copy_cost": 24, + "total_literal_frame_rank": 36, + "total_term_rank": 24 + }, + { + "k": 2, + "observations": 8, + "p": 5, + "ports": 40, + "term_types": { + "(1, 2, 8, 8)": 2, + "(1, 4, 8, 8)": 2, + "(1, 6, 8, 8)": 2, + "(1, 8, 8, 8)": 2 + }, + "tight_individual_copy_cost": 40, + "total_literal_frame_rank": 64, + "total_term_rank": 40 + }, + { + "k": 2, + "observations": 10, + "p": 6, + "ports": 60, + "term_types": { + "(1, 10, 10, 10)": 2, + "(1, 2, 10, 10)": 2, + "(1, 4, 10, 10)": 2, + "(1, 6, 10, 10)": 2, + "(1, 8, 10, 10)": 2 + }, + "tight_individual_copy_cost": 60, + "total_literal_frame_rank": 100, + "total_term_rank": 60 + }, + { + "k": 4, + "observations": 38, + "p": 4, + "ports": 16, + "term_types": { + "(1, 2, 4, 4)": 2, + "(2, 2, 3, 3)": 12, + "(3, 2, 2, 2)": 24 + }, + "tight_individual_copy_cost": 16, + "total_literal_frame_rank": 92, + "total_term_rank": 76 + }, + { + "k": 4, + "observations": 104, + "p": 5, + "ports": 80, + "term_types": { + "(1, 4, 8, 8)": 2, + "(1, 8, 8, 8)": 2, + "(2, 3, 6, 6)": 12, + "(2, 5, 6, 6)": 16, + "(3, 2, 4, 4)": 24, + "(3, 4, 4, 4)": 48 + }, + "tight_individual_copy_cost": 80, + "total_literal_frame_rank": 488, + "total_term_rank": 380 + }, + { + "k": 4, + "observations": 206, + "p": 6, + "ports": 240, + "term_types": { + "(1, 10, 10, 10)": 2, + "(1, 4, 10, 10)": 2, + "(1, 8, 10, 10)": 2, + "(2, 3, 8, 8)": 12, + "(2, 6, 8, 8)": 16, + "(2, 7, 8, 8)": 20, + "(3, 2, 6, 6)": 24, + "(3, 4, 6, 6)": 48, + "(3, 6, 6, 6)": 80 + }, + "tight_individual_copy_cost": 240, + "total_literal_frame_rank": 1356, + "total_term_rank": 1036 + }, + { + "k": 4, + "observations": 352, + "p": 7, + "ports": 560, + "term_types": { + "(1, 10, 12, 12)": 2, + "(1, 12, 12, 12)": 2, + "(1, 4, 12, 12)": 2, + "(1, 8, 12, 12)": 2, + "(2, 3, 10, 10)": 12, + "(2, 6, 10, 10)": 16, + "(2, 8, 10, 10)": 20, + "(2, 9, 10, 10)": 24, + "(3, 2, 8, 8)": 24, + "(3, 4, 8, 8)": 48, + "(3, 6, 8, 8)": 80, + "(3, 8, 8, 8)": 120 + }, + "tight_individual_copy_cost": 560, + "total_literal_frame_rank": 2992, + "total_term_rank": 2256 + } + ], + "negative_controls": [ + "odd-k diagonal vanishes", + "overlap-zero correction survives certificate", + "overlap-two correction survives certificate", + "missing observation loses identity rank" + ], + "scope": "Exact finite rank-certificate and anchored decoder checks; not a physical supplier replay or a substitute for the uniform proof.", + "sequential_copy_fragment": { + "charged_native_rank": 12, + "copy_episodes": 12, + "raw_copies_exceeding_native_frame_rank": 11, + "scope": "Chronological source-row invariant on a copy-reuse fragment; not a complete restored supplier schedule." + }, + "status": "PASS" +} diff --git a/research/asymmetric-hypercube-decoder/COPY-OBSTRUCTION.md b/research/asymmetric-hypercube-decoder/COPY-OBSTRUCTION.md new file mode 100644 index 0000000000..b032d93931 --- /dev/null +++ b/research/asymmetric-hypercube-decoder/COPY-OBSTRUCTION.md @@ -0,0 +1,353 @@ +# A weighted COPY obstruction from an integral separating pairing + +The scalar decoder can be enlarged to permit arbitrary copied linear +observations, arbitrary target-dependent readable corrections, and exact +nonlinear decoding. For the even-size paired-port geometry, this enlargement +still requires total COPY frame rank at least the number of live targets. +The same bound survives chronological reuse of previous copies in a specified +monotone, copy-to-zero protocol. Under the inherited odd-stage rank ledger, +this already prevents a positive saving, before any scalar or restoration +costs are added. + +This is a conditional obstruction for an explicitly stated physical model. +It does not exclude the selected E8 supplier, whose primitive integral labels +have even self-pairing. The source values below are independent scalar inputs; +geometric dependencies among their address labels do not identify those values. + +## 1. Fixed observations and a general pairing + +Let \(P\) be a finite set of \(v\) source/target indices. The source vector +\(x\in\mathbb F_2^P\) is arbitrary. Give source \(S\) a rational label +\(u_S\) in a common rational vector space \(U\). For each target \(T\), fix +a rational linear functional \(\ell_T:U\to\mathbb Q\) and a set \(R_T\) +of individually readable sources. Suppose + +\[ + M_{TS}=\ell_T(u_S)\in\mathbb Z,\qquad + M_{TT}\text{ is odd},\qquad + M_{TS}=0\quad(S\in R_T). \tag{1} +\] + +Let \(H_1,\ldots,H_b\in\mathbb F_2^P\) be any fixed linear observations. +Every target receives all \(H_i x\) and all individual \(x_S\) with +\(S\in R_T\). Observation \(i\) has support \(A_i\), is sourced from a +frame \(F_i\subseteq U\) containing every \(u_S\), \(S\in A_i\), and is +charged \(r_i=\dim_{\mathbb Q}F_i\). The observations may be repeated, +dependent, nonsymmetric, globally shared, or obtained by arbitrary recoding. + +**Theorem 1.** If every target recovers its own \(x_T\) exactly on every input, +even using nonlinear postprocessing, then + +\[ + \sum_{i=1}^b r_i\ge v. \tag{2} +\] + +**Proof.** A linear coordinate recoverable from fixed linear observations +must lie in their row span. Indeed, two inputs with the same observations +differ by a vector in their common kernel. Exact recovery says that the +desired coordinate vanishes on this kernel, and the kernel's annihilator is +the observation row space. Apply this separately at each target, including +its readable individual coordinates. There are binary matrices \(A,B\) with + +\[ + I_v=AH+B,\qquad + B_{TS}=0\quad(S\notin R_T), \tag{3} +\] + +where the rows of \(H\) are the observations. Write \(\overline M\) for the +reduction of the integer matrix \(M\) modulo two. Its diagonal is one and +\(B\circ\overline M=0\), where \(\circ\) is entrywise multiplication. +Taking the entrywise product of (3) with \(\overline M\) gives + +\[ + I_v=\sum_{i=1}^b + \operatorname{diag}(A_{:i})\,\overline M\, + \operatorname{diag}(H_{i:}). \tag{4} +\] + +For each summand, deleting its zero columns and then bounding its rank gives + +\[ +\begin{aligned} + \operatorname{rank}_{\mathbb F_2} + (\operatorname{diag}(A_{:i})\overline M + \operatorname{diag}(H_{i:})) + &\le \operatorname{rank}_{\mathbb F_2}\overline M_{:,A_i}\\ + &\le \operatorname{rank}_{\mathbb Q}M_{:,A_i}\\ + &\le \dim_{\mathbb Q}\operatorname{span}\{u_S:S\in A_i\} + \le r_i. +\end{aligned} \tag{5} +\] + +The second inequality holds because a nonzero integer minor modulo two is +nonzero over \(\mathbb Q\). The third follows by factoring the matrix through +the source labels and the linear map \(u\mapsto(\ell_T(u))_T\). Rank +subadditivity in (4) proves (2). \(\square\) + +Symmetry, positivity, and a common Gram form are unnecessary. An integral +Gram matrix with odd diagonal is a sufficient special case. A common +injective rational change of source coordinates, with the corresponding +change of functionals, preserves the hypotheses and frame dimensions. +Unrelated per-source relabellings are not such a change. Arbitrary rational +matrix entries cannot simply be reduced modulo two: the integral matrix and +odd diagonal in (1) are substantive requirements. + +The bound is sharp at this observation/frame level. Copying each source +separately from its line has total rank \(v\). This says nothing about the +additional cost of completing that implementation as a supplier. + +## 2. Sequential reuse through copy-to-zero innovations + +Direct support containment need not hold for a later copied row: some of its +data may already have descended through an earlier COPY. The following +separate protocol theorem accounts for that reuse. + +Use the labels and readable relation in (1). Consider a fixed binary linear +protocol with these rules: + +1. Source \(x_S\) begins at frame \(\operatorname{span}(u_S)\). The source + coefficient rows of helpers and targets are initially zero at frame zero. +2. Ordinary operations are binary ADDs at a common frame and climbs through + nested frames. A climb never shrinks the frame. +3. COPY episode \(i\) reads a row \(w_i\) at frame \(F_i\) into a fresh + frame-zero readable register and costs \(\dim F_i\). All earlier copied + values may be reused and shared without further charge in this lower bound. +4. The final source coefficient row at target \(T\) is \(e_T\), at a frame + contained in \(\ker\ell_T\). Any native source label in that frame is + individually readable; enlarging \(R_T\) to all such labels is allowed. + +Arbitrary initial helper dirt and target values are projected away when +tracking source coefficients. A valid arbitrary-input supplier must still +satisfy this necessary source-column condition. We also retain erased copies +as free observations, thereby giving the protocol additional power. + +**Theorem 2.** Every protocol with these rules satisfies +\(\sum_i\dim F_i\ge v\). + +**Proof.** Let \(W_i\) be the binary span of source coefficient rows copied +through episode \(i\). Maintain the invariant that every register at frame +\(F\), modulo \(W_i\), has a representative supported on labels contained +in \(F\). Initially this is immediate. A common-frame ADD sums two such +representatives, and a climb preserves containment. + +Just before copy \(i\), choose such a representative \(h_i\) for \(w_i\). +Then + +\[ + w_i=h_i+\sum_{j=4" + ], + "residual_spectra": { + "0": { + "0": 1, + "14": 40, + "16": 45, + "18": 280, + "20": 272, + "22": 280, + "24": 45, + "26": 40, + "32": 10, + "40": 1, + "8": 10 + }, + "2": { + "0": 1, + "12": 600, + "14": 1280, + "16": 1410, + "18": 8960, + "20": 7996, + "22": 8960, + "24": 1410, + "26": 1280, + "28": 600, + "32": 125, + "36": 10, + "4": 10, + "40": 1, + "8": 125 + } + }, + "scope": "Exact full-generator q3 shortening for k3..6, elementary unsigned ladder, residual spaces and finite low-weight checks; uniform proof is separate.", + "status": "PASS", + "unsigned_shortening_ladder": [ + { + "degree_bound": 2, + "dimension": 15, + "excluded_vertices": 0, + "remaining_coordinates": 20 + }, + { + "degree_bound": 1, + "dimension": 5, + "excluded_vertices": 1, + "remaining_coordinates": 10 + }, + { + "degree_bound": 0, + "dimension": 1, + "excluded_vertices": 2, + "remaining_coordinates": 4 + }, + { + "degree_bound": -1, + "dimension": 0, + "excluded_vertices": 3, + "remaining_coordinates": 1 + } + ] +} diff --git a/research/asymmetric-hypercube-decoder/CORE-SHORTENING.md b/research/asymmetric-hypercube-decoder/CORE-SHORTENING.md new file mode 100644 index 0000000000..36c67d47b8 --- /dev/null +++ b/research/asymmetric-hypercube-decoder/CORE-SHORTENING.md @@ -0,0 +1,222 @@ +# q=3 shortening to a common original-pair core + +**Uniform shortening theorem; no new κ.** Let p=k+3, let K be k−2 original pairs, and +shorten C+_(p,k) to ports containing every pair in K, with their signs +unrestricted. Put c=k−2. The remaining five original pairs carry a signed +two-port, identified with an edge of the ten-vertex cocktail-party graph. +Write s∈F2^c for the core signs, and expand a shortened word uniquely as + + f(s,e) = sum_(S subset K) s_S g_S(e), + s_S = product_(i in S) s_i. + +## Exact filtration + +Define nested residual spaces V0⊂V2⊂V3⊂V4 on the forty residual ports: + +* V0 is C+_(5,2), dimension 10, minimum nonzero weight 8. +* V2 adds arbitrary functions of the unsigned residual original-pair edge + to V0. It has dimension 15 and minimum weight 4. +* V3 consists of arbitrary affine functions of the two residual signs on + each of the ten unsigned pair-edge blocks. Dimension 30, minimum weight 2. +* V4 is the full forty-coordinate space. Dimension 40, minimum weight 1. + +Then the exact shortened code is the following direct sum, with completely +independent choices for every core ANF coefficient: + + g_S ∈ V0 if c−|S| = 0 or 1; + g_S ∈ V2 if c−|S| = 2; + g_S ∈ V3 if c−|S| = 3; + g_S ∈ V4 if c−|S| ≥ 4. (1) + +Its dimension, with binomial coefficients outside their range set to zero, +is + + 40·2^c − 30(1+c) − 25 binom(c,2) − 10 binom(c,3). + +For c=0,1,2,3,4 this gives 10,20,45,115,300. The naive tensor space of +arbitrary core-sign functions with V0 has dimension 10·2^c, so it is exact +only for c≤1 and is strictly too small for every c≥2. + +## Sign coefficients reduce the proof to an unsigned shortening ladder + +For original pair i, use occupancy z_i=x_(i,0)+x_(i,1) and sign coordinate +x_i=x_(i,1). Products x_A z_B with A and B disjoint, total degree at most +k−1, span exactly the proper-star observations (including the empty star). +On the occupancy block I, x_A contributes the sign monomial indexed by A. +Its coefficient is an arbitrary degree-at-most k−1−|A| polynomial in the +remaining occupancies, evaluated on subsets of size k−|A|. + +These sign-ANF components are independent: vanishing on any occupancy block +means that every sign coefficient vanishes separately on that block. +Consequently shortening also separates over A. On our allowed ports write +A=S union B, where S⊆K, B consists of b residual sign indices, and b≤2. +Let t=c−|S|. The remaining occupancy problem has + + n=t+5−b vertices, + m=t+2−b occupied vertices, + degree bound d=t+1−b. + +There are exactly three absent vertices. Replacing occupancies by one plus +absence indicators preserves degree, so the coefficient code is the +polynomial code of degree at most d on the three-subsets of n=d+4 vertices, +shortened to subsets avoiding the t core vertices. + +For d≥3 this unsigned code is full: each individual absence triple is the +evaluation of its degree-three monomial. For d<0 it is zero. The remaining +three cases follow from the ladder + + degree≤2 on triples of 6 --avoid one vertex--> degree≤1 on triples of 5 + --avoid one vertex--> constants on triples of 4 + --avoid one vertex--> zero on triples of 3. (2) + +Here is a direct proof of the first arrow. Write a quadratic as Q(y)+x L(y), +where x is the avoided vertex and y comprises five others. Vanishing at +x=1 on every two-subset of y means R=Q+L vanishes on every two-subset. +Writing + + R(y)=a + sum_i b_i y_i + sum_(i