exact_figure_data.json
Paper IX: Arithmetic Packets, Dyadic Towers, and Local Polynomial Deformation
exact_figure_data.json
This is the original source text. Reading it does not run or verify the program.
1 {
2 "scope": "Exact finite illustration data; theorem-derived curves are not numerical evidence for universal proofs.",
3 "coefficient_definition": "C_N,j(n)=(Nn)/(Nq+j)!)^(-1)",
4 "modular_precision_bits": 256,
5 "modular_rows": 255,
6 "rational_crosscheck_rows": 12,
7 "assertion_counts": {
8 "complete_residue_permutation": 4,
9 "finite_period_repeat": 296,
10 "finite_scaled_isometry": 56,
11 "first_row_benchmark": 1,
12 "independent_rational_inversion": 52,
13 "mixed_counterexample_valuation": 1,
14 "mixed_counterexample_value": 1,
15 "odd_source_denominator": 1024,
16 "plotted_original_metric": 4,
17 "rational_modular_crosscheck": 52,
18 "sampled_address_two_filtration": 340,
19 "sampled_address_two_power_order_exact": 30,
20 "sampled_factorial_bound": 864,
21 "sampled_first_difference_exact": 288,
22 "sampled_homogeneous_equality": 432,
23 "sampled_mixed_factorial_bound": 1360,
24 "sampled_mixed_parity_rule": 680,
25 "stencil_exact_valuation": 1,
26 "stencil_offsets": 1,
27 "upper_half_counterexample": 3
28 },
29 "total_assertions": 5490,
30 "rational_first_rows": {
31 "0": [
32 "1",
33 "-1",
34 "69",
35 "-33661",
36 "60376809"
37 ],
38 "1": [
39 "1",
40 "-1/5",
41 "121/45",
42 "-16593/65",
43 "68164277/765"
44 ],
45 "2": [
46 "1",
47 "-1/15",
48 "13/45",
49 "-4009/455",
50 "151129/153"
51 ],
52 "3": [
53 "1",
54 "-1/35",
55 "59/1155",
56 "-407/637",
57 "15330979/522291"
58 ]
59 },
60 "mixed_stencil": {
61 "steps": [
62 1,
63 2,
64 4
65 ],
66 "offset_weights": [
67 [
68 0,
69 -1
70 ],
71 [
72 1,
73 1
74 ],
75 [
76 2,
77 1
78 ],
79 [
80 3,
81 -1
82 ],
83 [
84 4,
85 1
86 ],
87 [
88 5,
89 -1
90 ],
91 [
92 6,
93 -1
94 ],
95 [
96 7,
97 1
98 ]
99 ],
100 "value": "-60924841253875487872",
101 "valuation": 7
102 },
103 "mixed_order_two": [
104 {
105 "steps": [
106 1,
107 1
108 ],
109 "lower": 3,
110 "actual": 3,
111 "value": "72"
112 },
113 {
114 "steps": [
115 1,
116 2
117 ],
118 "lower": 4,
119 "actual": 6,
120 "value": "-33728"
121 },
122 {
123 "steps": [
124 2,
125 2
126 ],
127 "lower": 5,
128 "actual": 5,
129 "value": "60376672"
130 },
131 {
132 "steps": [
133 1,
134 4
135 ],
136 "lower": 5,
137 "actual": 6,
138 "value": "-288354427328"
139 },
140 {
141 "steps": [
142 2,
143 4
144 ],
145 "lower": 6,
146 "actual": 6,
147 "value": "3019098102225472"
148 },
149 {
150 "steps": [
151 3,
152 4
153 ],
154 "lower": 5,
155 "actual": 10,
156 "value": "-60921822444127689728"
157 }
158 ],
159 "residue_permutations": [
160 {
161 "j": 0,
162 "modulus": 256,
163 "B": 1,
164 "period": 128,
165 "Euler_residues": [
166 1,
167 255,
168 69,
169 131,
170 233,
171 39,
172 109,
173 107,
174 81,
175 207,
176 21,
177 211,
178 57,
179 247,
180 61,
181 187,
182 161,
183 159,
184 229,
185 35,
186 137,
187 199,
188 13,
189 11,
190 241,
191 111,
192 181,
193 115,
194 217,
195 151,
196 221,
197 91,
198 65,
199 63,
200 133,
201 195,
202 41,
203 103,
204 173,
205 171,
206 145,
207 15,
208 85,
209 19,
210 121,
211 55,
212 125,
213 251,
214 225,
215 223,
216 37,
217 99,
218 201,
219 7,
220 77,
221 75,
222 49,
223 175,
224 245,
225 179,
226 25,
227 215,
228 29,
229 155,
230 129,
231 127,
232 197,
233 3,
234 105,
235 167,
236 237,
237 235,
238 209,
239 79,
240 149,
241 83,
242 185,
243 119,
244 189,
245 59,
246 33,
247 31,
248 101,
249 163,
250 9,
251 71,
252 141,
253 139,
254 113,
255 239,
256 53,
257 243,
258 89,
259 23,
260 93,
261 219,
262 193,
263 191,
264 5,
265 67,
266 169,
267 231,
268 45,
269 43,
270 17,
271 143,
272 213,
273 147,
274 249,
275 183,
276 253,
277 123,
278 97,
279 95,
280 165,
281 227,
282 73,
283 135,
284 205,
285 203,
286 177,
287 47,
288 117,
289 51,
290 153,
291 87,
292 157,
293 27
294 ],
295 "scaled_residues": [
296 0,
297 127,
298 34,
299 65,
300 116,
301 19,
302 54,
303 53,
304 40,
305 103,
306 10,
307 105,
308 28,
309 123,
310 30,
311 93,
312 80,
313 79,
314 114,
315 17,
316 68,
317 99,
318 6,
319 5,
320 120,
321 55,
322 90,
323 57,
324 108,
325 75,
326 110,
327 45,
328 32,
329 31,
330 66,
331 97,
332 20,
333 51,
334 86,
335 85,
336 72,
337 7,
338 42,
339 9,
340 60,
341 27,
342 62,
343 125,
344 112,
345 111,
346 18,
347 49,
348 100,
349 3,
350 38,
351 37,
352 24,
353 87,
354 122,
355 89,
356 12,
357 107,
358 14,
359 77,
360 64,
361 63,
362 98,
363 1,
364 52,
365 83,
366 118,
367 117,
368 104,
369 39,
370 74,
371 41,
372 92,
373 59,
374 94,
375 29,
376 16,
377 15,
378 50,
379 81,
380 4,
381 35,
382 70,
383 69,
384 56,
385 119,
386 26,
387 121,
388 44,
389 11,
390 46,
391 109,
392 96,
393 95,
394 2,
395 33,
396 84,
397 115,
398 22,
399 21,
400 8,
401 71,
402 106,
403 73,
404 124,
405 91,
406 126,
407 61,
408 48,
409 47,
410 82,
411 113,
412 36,
413 67,
414 102,
415 101,
416 88,
417 23,
418 58,
419 25,
420 76,
421 43,
422 78,
423 13
424 ]
425 },
426 {
427 "j": 1,
428 "modulus": 256,
429 "B": 1,
430 "period": 128,
431 "Euler_residues": [
432 1,
433 51,
434 253,
435 111,
436 25,
437 11,
438 213,
439 135,
440 177,
441 99,
442 45,
443 31,
444 201,
445 59,
446 5,
447 55,
448 97,
449 147,
450 93,
451 207,
452 121,
453 107,
454 53,
455 231,
456 17,
457 195,
458 141,
459 127,
460 41,
461 155,
462 101,
463 151,
464 193,
465 243,
466 189,
467 47,
468 217,
469 203,
470 149,
471 71,
472 113,
473 35,
474 237,
475 223,
476 137,
477 251,
478 197,
479 247,
480 33,
481 83,
482 29,
483 143,
484 57,
485 43,
486 245,
487 167,
488 209,
489 131,
490 77,
491 63,
492 233,
493 91,
494 37,
495 87,
496 129,
497 179,
498 125,
499 239,
500 153,
501 139,
502 85,
503 7,
504 49,
505 227,
506 173,
507 159,
508 73,
509 187,
510 133,
511 183,
512 225,
513 19,
514 221,
515 79,
516 249,
517 235,
518 181,
519 103,
520 145,
521 67,
522 13,
523 255,
524 169,
525 27,
526 229,
527 23,
528 65,
529 115,
530 61,
531 175,
532 89,
533 75,
534 21,
535 199,
536 241,
537 163,
538 109,
539 95,
540 9,
541 123,
542 69,
543 119,
544 161,
545 211,
546 157,
547 15,
548 185,
549 171,
550 117,
551 39,
552 81,
553 3,
554 205,
555 191,
556 105,
557 219,
558 165,
559 215
560 ],
561 "scaled_residues": [
562 0,
563 25,
564 126,
565 55,
566 12,
567 5,
568 106,
569 67,
570 88,
571 49,
572 22,
573 15,
574 100,
575 29,
576 2,
577 27,
578 48,
579 73,
580 46,
581 103,
582 60,
583 53,
584 26,
585 115,
586 8,
587 97,
588 70,
589 63,
590 20,
591 77,
592 50,
593 75,
594 96,
595 121,
596 94,
597 23,
598 108,
599 101,
600 74,
601 35,
602 56,
603 17,
604 118,
605 111,
606 68,
607 125,
608 98,
609 123,
610 16,
611 41,
612 14,
613 71,
614 28,
615 21,
616 122,
617 83,
618 104,
619 65,
620 38,
621 31,
622 116,
623 45,
624 18,
625 43,
626 64,
627 89,
628 62,
629 119,
630 76,
631 69,
632 42,
633 3,
634 24,
635 113,
636 86,
637 79,
638 36,
639 93,
640 66,
641 91,
642 112,
643 9,
644 110,
645 39,
646 124,
647 117,
648 90,
649 51,
650 72,
651 33,
652 6,
653 127,
654 84,
655 13,
656 114,
657 11,
658 32,
659 57,
660 30,
661 87,
662 44,
663 37,
664 10,
665 99,
666 120,
667 81,
668 54,
669 47,
670 4,
671 61,
672 34,
673 59,
674 80,
675 105,
676 78,
677 7,
678 92,
679 85,
680 58,
681 19,
682 40,
683 1,
684 102,
685 95,
686 52,
687 109,
688 82,
689 107
690 ]
691 },
692 {
693 "j": 2,
694 "modulus": 256,
695 "B": 5,
696 "period": 8,
697 "Euler_residues": [
698 2,
699 34,
700 194,
701 226,
702 130,
703 162,
704 66,
705 98
706 ],
707 "scaled_residues": [
708 0,
709 1,
710 6,
711 7,
712 4,
713 5,
714 2,
715 3
716 ]
717 },
718 {
719 "j": 3,
720 "modulus": 256,
721 "B": 3,
722 "period": 32,
723 "Euler_residues": [
724 6,
725 190,
726 118,
727 46,
728 230,
729 158,
730 86,
731 14,
732 198,
733 126,
734 54,
735 238,
736 166,
737 94,
738 22,
739 206,
740 134,
741 62,
742 246,
743 174,
744 102,
745 30,
746 214,
747 142,
748 70,
749 254,
750 182,
751 110,
752 38,
753 222,
754 150,
755 78
756 ],
757 "scaled_residues": [
758 0,
759 23,
760 14,
761 5,
762 28,
763 19,
764 10,
765 1,
766 24,
767 15,
768 6,
769 29,
770 20,
771 11,
772 2,
773 25,
774 16,
775 7,
776 30,
777 21,
778 12,
779 3,
780 26,
781 17,
782 8,
783 31,
784 22,
785 13,
786 4,
787 27,
788 18,
789 9
790 ]
791 }
792 ],
793 "upper_half_counterexamples": [
794 {
795 "N": 16,
796 "j": 9,
797 "first_valuation": 5,
798 "step_two_valuation": 7,
799 "naive_prediction": 6,
800 "C0": "1",
801 "C1": "-1/2042975",
802 "C2": "319118897/2215923048625"
803 },
804 {
805 "N": 32,
806 "j": 18,
807 "first_valuation": 6,
808 "step_two_valuation": 6,
809 "naive_prediction": 7,
810 "C0": "1",
811 "C1": "-1/18053528883775",
812 "C2": "187347588441574511/33319533660275387449299375"
813 },
814 {
815 "N": 32,
816 "j": 19,
817 "first_valuation": 5,
818 "step_two_valuation": 7,
819 "naive_prediction": 6,
820 "C0": "1",
821 "C1": "-1/48459472266975",
822 "C2": "47098222049108039/60351555833951953390194375"
823 }
824 ],
825 "theorem_derived_unit_step_exponents": {
826 "orders": [
827 1,
828 2,
829 3,
830 4,
831 5,
832 6,
833 7,
834 8,
835 9,
836 10,
837 11,
838 12,
839 13,
840 14,
841 15,
842 16,
843 17,
844 18,
845 19,
846 20,
847 21,
848 22,
849 23,
850 24,
851 25,
852 26,
853 27,
854 28,
855 29,
856 30,
857 31,
858 32
859 ],
860 "Euler_j01": [
861 1,
862 3,
863 4,
864 7,
865 8,
866 10,
867 11,
868 15,
869 16,
870 18,
871 19,
872 22,
873 23,
874 25,
875 26,
876 31,
877 32,
878 34,
879 35,
880 38,
881 39,
882 41,
883 42,
884 46,
885 47,
886 49,
887 50,
888 53,
889 54,
890 56,
891 57,
892 63
893 ],
894 "Euler_j2": [
895 5,
896 7,
897 9,
898 14,
899 16,
900 20,
901 22,
902 28,
903 30,
904 34,
905 36,
906 41,
907 43,
908 47,
909 49,
910 56,
911 58,
912 62,
913 64,
914 69,
915 71,
916 75,
917 77,
918 83,
919 85,
920 89,
921 91,
922 96,
923 98,
924 102,
925 104,
926 112
927 ],
928 "Euler_j3": [
929 3,
930 5,
931 6,
932 9,
933 10,
934 12,
935 13,
936 17,
937 18,
938 20,
939 21,
940 24,
941 25,
942 27,
943 28,
944 33,
945 34,
946 36,
947 37,
948 40,
949 41,
950 43,
951 44,
952 48,
953 49,
954 51,
955 52,
956 55,
957 56,
958 58,
959 59,
960 65
961 ]
962 },
963 "known_exactness": "j0/j1 all homogeneous orders; j2 powers of two; no complete higher-order j3 formula claimed"
964 }
Other PDFs for this work
- Read PDF
- Visual guide (PDF)
- Lean guide (PDF)
- normalization.pdf
- threshold.pdf
- mixed_stencil.pdf
- final_exponents.pdf
- address_two_envelope.pdf
- mixed_cancellation.pdf
- metric.pdf
- periods.pdf
- residue_permutations.pdf
- isometry_matrices.pdf
- rank_scales.pdf
- analytic_slopes.pdf
- reciprocal_rows.pdf
- normalization_loss.pdf
- odd_prime_sign.pdf
- newton_cutoff.pdf
- smooth_tower.pdf
- singular_block.pdf
- shared_obstruction.pdf
- weighted_motion.pdf
Original file and source record
This copy matches the recorded source file. Its publication here does not change the work’s review status.
SHA-256: 94d3bfe1f928bf4f9f7cc56b85ac58e134404113342fe746621d7de896562e58
Back to Paper IX: Arithmetic Packets, Dyadic Towers, and Local Polynomial Deformation