GATE D17

Tương quan nhanh support-4, đầy đủ inventory

passEvidence I2Kiểm: doubleClaim công khai: Không2026-07-18

Điều gì thay đổi

Một căn nguyên thủy biến tương quan support-4 nhân tính thành tương quan 4-điểm cyclic trên Z_{p-1}, cho một engine nhanh chính xác (thời gian O(p^3 log p), bộ nhớ O(p^2)) trong khi cách cũ là O(p^4). Danh tính cumulant bậc 4 liên thông và dạng Fourier-tensor được chứng minh chính xác. Điều này đóng support-4 trên TOÀN universe hoạt động gồm mọi (p-1)^3 cấu hình tỉ số tại từng prime trong 109 (đều exact-transform, không prime nào bỏ ngỏ): đuôi generic tệ nhất là 5/686 = 0.0072886 tại p=197, một prime nội quyết định bởi inventory, không phải hai đầu. Nó cũng thay hạng-không-gian-quan-hệ luôn-bằng-12 bằng một rank profile theo chiều cao chặn, đo tốc độ các quan hệ ngắn đơn giản làm cứng một vector (tight tại chiều cao 1, generic tại chiều cao 2). Support-5 vẫn mở.

Bằng chứng

kiểm 1Danh tính support-4 cyclic + tensor Fourier CHỨNG MINH chính xác (κ4_cyclic = κ4_occupancy, hữu tỷ)

kiểm 2Support-4 ĐẦY ĐỦ INVENTORY toàn 109 prime: max τ4 = 5/686 tại p=197, exact-transform, không prime mở

kiểm 3Rank chiều-cao-chặn r₄,H thay hạng-luôn-12; 2 verifier, 52/52 tấn công

Kiểm chứng: double · I2 · 22 artifact (report, verifier, bộ tấn công, manifest SHA-256)

← Tất cả gate