Skip to content

Paired cubes at p = 11 with physical frames and a paired-cube bit word: conditional κ = 5.508074e-4 #155

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Closed
eumemic wants to merge 1 commit into from
Closed

Paired cubes at p = 11 with physical frames and a paired-cube bit word: conditional κ = 5.508074e-4 #155

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
1 commit
Select commit
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
48 changes: 48 additions & 0 deletions SOURCES.json
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -500,5 +500,53 @@
],
"scope": "Conditional on retained analytic, uniform-recursion and fixed-tape contracts; complete local paired-cube schedule, exact core sharing and scalar charge supplied in the proof.",
"curation": "Selected paired-coordinate cube only, compact frozen carrier arcs and bit subset, exact suppliers and assembly. Excludes fallback shared_core results, paired-five motifs, other candidate graphs, search screens and PDFs."
},
"paired_cube_physical_bit_extension": {
"contributor": "eumemic",
"assistance": "Prepared with Anthropic Claude assistance.",
"predecessor_pr": 144,
"predecessor_commit": "c8b22bc5c10dba497ac25804e27d9647d818e2ff",
"kappa": "5508074/10000000000",
"proof": "notes/paired-cube-note.tex",
"certificate": "certificates/paired-cube-network.json",
"change": "PR144 paired cubes at p=11 with modules restricted from two pinned searched complex DAGs, physical frame descent and compensated late-read reuse on the complex word (scripts/paired_cube_physical.py), and a paired-cube bit word with partner-pair source mixing (research/paired-cube-bit); PR144 checks and assembly otherwise unchanged.",
"adopted": [
{
"pr": 144,
"contributor": "icekylinx",
"commit": "c8b22bc5c10dba497ac25804e27d9647d818e2ff",
"role": "Paired-cube decoder, modules, shared cores, bit ledger, finite bridge and assembly."
},
{
"pr": 131,
"contributor": "eumemic",
"role": "Physical frame descent and compensated reuse on Cayley covers (method)."
},
{
"pr": 124,
"contributor": "jamesyc",
"role": "Compensated birth-read reuse."
},
{
"pr": 143,
"contributor": "eumemic",
"role": "Deadline (late) compensation reads."
},
{
"pr": 128,
"contributor": "an664",
"role": "Completed-core sharing."
},
{
"pr": 97,
"contributor": "Zhihao Chen (jacklightChen)",
"role": "Bit-side compile conventions (deferred readouts, plain or lifted frames)."
},
{
"contributor": "Swapnil Jain",
"role": "Round-seven bit lineage (PR62 interval strips) from which the bit pair modules are cut."
}
],
"scope": "Conditional on the retained PR144 analytic, uniform-recursion and fixed-tape contracts."
}
}
134 changes: 65 additions & 69 deletions certificates/paired-cube-complex-input.json
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,86 +1,82 @@
{
"R": 26417,
"W_per_vertex": 29937,
"c": 24767,
"R": 18035,
"W_per_vertex": 20675,
"c": 16019,
"child_histogram": {
"1": 79374,
"10": 5829,
"11": 3261,
"12": 3291,
"13": 2028,
"14": 6972,
"15": 2478,
"16": 6789,
"17": 4794,
"18": 1194,
"19": 11760,
"2": 81787,
"20": 11880,
"21": 2640,
"22": 2712,
"23": 0,
"24": 0,
"3": 34704,
"4": 29763,
"5": 22455,
"6": 8535,
"60": 4840,
"7": 7929,
"8": 7881,
"9": 3603
"1": 59274,
"10": 2256,
"11": 1038,
"12": 4167,
"13": 1479,
"14": 5091,
"15": 3012,
"16": 852,
"17": 9570,
"18": 8910,
"19": 1980,
"2": 57705,
"20": 2046,
"21": 0,
"22": 0,
"3": 22920,
"4": 22389,
"5": 18105,
"54": 3630,
"6": 5235,
"7": 3261,
"8": 4641,
"9": 1935
},
"copied_centers_already": true,
"deficit_per_vertex": 1936,
"h": 24,
"loss": 528,
"m": 72,
"matched": 6074,
"deficit_per_vertex": 1320,
"h": 22,
"loss": 440,
"m": 66,
"matched": 3781,
"matching_frames": "coordinate",
"phase1_operations": 13616,
"q": 7724,
"rank_per_vertex": 2153528,
"phase1_operations": 10114,
"q": 5797,
"rank_per_vertex": 1363230,
"remaining_internal_histogram": [
11459,
19418,
24329,
11568,
9921,
7485,
2845,
2643,
2627,
1201,
1943,
6723,
14478,
17035,
7640,
7463,
6035,
1745,
1087,
1097,
676,
2324,
826,
2263,
1598,
398,
3920,
440,
880,
904,
1547,
645,
752,
346,
1389,
493,
1697,
1004,
284,
3190,
330,
660,
682,
0,
0
],
"selected_rank_histogram": {
"20": 4840
"18": 3630
},
"selected_roles": 4840,
"selected_roles": 3630,
"source_data_histogram": {
"1": 1760,
"2": 1760,
"20": 1760
"1": 1320,
"18": 1320,
"2": 1320
},
"target_data_histogram": {
"0": 12760,
"1": 5280,
"20": 1760
"0": 9570,
"1": 3960,
"18": 1320
},
"total_M_operations": 49424,
"untouched_non_source_roles": 15417,
"v": 1760
"total_M_operations": 32734,
"untouched_non_source_roles": 9879,
"v": 1320
}
109 changes: 50 additions & 59 deletions certificates/paired-cube-input.json
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,66 +1,57 @@
{
"absorption_gap": "49772927594887408131062764367/500461342287379865539365770570000000000",
"assembly_minimum": "23067114022986563163422943/50046134228737986553936577057",
"absorption_gap": "5323922596359196350940436338057/62568926867539146964511563142695000000000",
"assembly_minimum": "6892686650524395659387371461/12513785373507829392902312628539",
"bit_child_multiplicities": {
"1": 193950,
"10": 474,
"11": 1365,
"12": 585,
"13": 1059,
"14": 330,
"15": 2580,
"16": 3180,
"17": 4935,
"18": 3246,
"19": 9987,
"2": 200588,
"20": 7161,
"21": 1242,
"22": 75,
"3": 40116,
"4": 33642,
"48": 72,
"5": 18126,
"51": 131,
"54": 806,
"57": 3871,
"6": 4875,
"60": 1307,
"63": 1596,
"66": 1760,
"7": 2250,
"8": 3489,
"9": 1482
"1": 120468,
"10": 2016,
"11": 2664,
"12": 3528,
"13": 1944,
"14": 2736,
"15": 1152,
"16": 4104,
"17": 6192,
"18": 5832,
"19": 4536,
"2": 68080,
"20": 7260,
"21": 8580,
"22": 15912,
"3": 28824,
"4": 7200,
"5": 11952,
"6": 3312,
"60": 5720,
"7": 6120,
"8": 4464,
"9": 1440
},
"bit_moment_gap": "9683053551624097783276572314019807322107841/67308782636558677514166530014945948467200000000000000",
"bit_moment_gap": "83109342696947467626096369441937672377169591/1134932247338542623044195887640928583680000000000000000",
"complex_child_multiplicities": {
"1": 79374,
"10": 5829,
"11": 3261,
"12": 3291,
"13": 2028,
"14": 6972,
"15": 2478,
"16": 6789,
"17": 4794,
"18": 1194,
"19": 11760,
"2": 81787,
"20": 11880,
"21": 2640,
"22": 2712,
"3": 34704,
"4": 29763,
"5": 22455,
"6": 8535,
"60": 4840,
"7": 7929,
"8": 7881,
"9": 3603
"1": 80901,
"10": 1959,
"11": 960,
"12": 3516,
"13": 3432,
"14": 3405,
"15": 7293,
"16": 3162,
"17": 2724,
"18": 7920,
"19": 312,
"2": 51567,
"20": 5844,
"3": 21225,
"4": 14802,
"5": 15525,
"6": 5367,
"7": 2421,
"8": 4653,
"9": 1827
},
"complex_group_order": 18646466226026462592952011788951531754110931481867826045386715225513339911071134170601952718216417488289150428632052202980863033609242977381747250264990084715296201847651908198681766675753160791649285107510691238985963706255089989456699920961342595095228775420538279717562788772643958616644258216248819271553295126895131993564379512367852197664617342277934678865080413621612751262266453859055432749295232782952753053108052418519375708005607816485667984223061786810719121526682978029691520838623314161409960947186213220855798991391576957539912643800234313922722815599751095827998877881904497464356201696239917156093128550867728502903876632148399699575860894114797305318253105534652030783324407335764468260764573859627847585742189622249940283054201241600000000000000000000,
"complex_moment_gap": "35983219312333093839004994137969/179068943294158619192045723836257040072704",
"kappa": "4609169/10000000000",
"row_coefficient": 20445,
"complex_group_order": 3525886442745164056544063644145716736004044180364723200424782744512582104634391857878947474919000911664177132185103526533556870749183073596734571342973795793383290849303191539662953799849547227737400544457729391514661713176468240351330298583217125220869576729661326266259024901649005584114421035252391760900092184489369973370724377894349644301151172572225522957784648909234781611948223712944954177723427440753012339451839407462242698998122862136268155486957700758485307238973641035062973415368109606762999662774702118665848434384838590914531021276158042617166069588021894697108433312726842277534281982740181708602162296504975360000000000000000000,
"complex_moment_gap": "8088981229645815691480461897371/45313382376307782107290782684956946595840",
"kappa": "2754037/5000000000",
"row_coefficient": 12320,
"row_degree": 70000
}
Loading