riemann

evidence/v126/g2_schur_cancellation/

Manuscript v1.21 — CERTIFICATE bundle: finite-support K positivity for the complete lambda=4 quadratic form (768/896 bits, frozen witnesses) and the exact-source cancellation-subspace audit at lambda=3 (prop:v121-complement-cancellation, the “basis / sampling dominance” node of the research map). assembly_general.py here is also imported by ../../diag_circle_split/split.py.

The files here are byte-identical to evidence/v124/g2_schur_cancellation/.

Start here: REPRODUCE_v121.md, adversarial_cancellation_review.md, manuscript_integration_review.md

Subdirectories

• integration/ — v1.21 manuscript insertions
• visual_review/ — contact-sheet renders

Files

• RH_Cancellation_Claim_Audit.md (14 KB) — Audit of the “cancellation only on the source” claim
• SHA256SUMS.json (2 KB) — (no description in file)
• adversarial_cancellation_review.md (8 KB) — Adversarial review of the source-complement cancellation test
• assembly_general.py (3 KB) — Arb enclosures of the actual Weil Fourier coefficients at integer lambda.
• cancellation_subspace_b768.json (5 KB) — (no description in file)
• cancellation_subspace_b896.json (5 KB) — (no description in file)
• cancellation_two_mode_witness.json (12 KB) — (no description in file)
• certify_finite_K.py (2 KB) — Finite-support K positivity for the complete lambda4 quadratic form.
• check_cancellation_subspace.py (5 KB) — Audit uniqueness of cancellation using the actual lambda3 even Fourier form. Eigenvectors only propose exact dyadic witnesses. All assertions use Arb.
• finite_K_X_even.json.gz (368 KB) — (no description in file)
• finite_K_X_odd.json.gz (365 KB) — (no description in file)
• finite_K_certificate_b768.json (1 KB) — (no description in file)
• finite_K_certificate_b896.json (1 KB) — (no description in file)
• finite_K_replay_b896.txt (1 KB) — (no description in file)
• g2_finite_candidate.json (8 KB) — (no description in file)
• manuscript_integration_review.md (4 KB) — Adversarial review of the v1.21 insertions
• pswf_source_certificate.json (4 KB) — (no description in file)
• replay_b768.txt (5 KB) — (no description in file)
• replay_b896.txt (5 KB) — (no description in file)
• sequences_v3_l3_J64_b768_k96.json (41 KB) — (no description in file)
• sequences_v3_l3_J64_b896_k96.json (41 KB) — (no description in file)
• sequences_v3_l4_J256_b768_k96.json (189 KB) — (no description in file)
• sequences_v3_l4_J256_b896_k96.json (197 KB) — (no description in file)
• source_polynomial_intervals.json (12 KB) — (no description in file)

This site is open source. Improve this page.