GATE D16
Sửa hạng modular, tính đầy đủ support-3, support-4
Điều gì thay đổi
Một chỉnh sửa cốt yếu: hạng quan hệ phải tính trên F_p, không phải Q, vì mọi quan hệ thỏa R·u ≡ 0 (mod p) với u khác 0, nên hạng tối đa là 12 và chiều cộng luôn ít nhất 1. 'Chiều cộng generic = 0' của D15 là nhiễu do Q-rank và bị rút. Support-3 sau đó được làm thực sự đầy đủ bằng cách quét TOÀN BỘ universe gồm mọi (p-1)^2 tỉ số bộ-ba mỗi prime (không phải một relation line): đuôi tệ nhất thật là 0.010377 tại p=353, nên chặn là 11/1000, sửa cả 9/1000 của D14 lẫn 1/100 của D15 (đều từ họ chưa đầy đủ). Phương pháp xạ ảnh/lattice mở rộng sang quan hệ support-4 nguyên thủy (danh tính quỹ đạo, lattice định thức p, cumulant bậc 4 liên thông), chính xác tại bốn prime nhỏ, inventory support-4 và support-5 vẫn mở.
Bằng chứng
Kiểm chứng: double · I2 · 27 artifact (report, verifier, bộ tấn công, manifest SHA-256)