GATE D14
Thuần khiết support liên thông, TRUE_RELATION vs đục-lỗ
Điều gì thay đổi
Tương quan liên thông của mỗi tập support được tách bằng một danh tính CHÍNH XÁC: một quan hệ cộng nguyên thủy (tín hiệu cấu trúc thật) cộng số hạng đục-lỗ F_p* xác định -(1/(p-1))(1-β)^s. Các mẫu tần số phân tách được triệt tiêu trong cumulant, nên các hyperedge quan hệ là thuần khiết. Mỗi bộ-ba liên thông khi đó hoặc là quan hệ nguyên thủy chiều-cao-thấp, hoặc có đuôi chiều-cao-lớn nhỏ đều (< 9/1000), audit tại các prime inventory đại diện 191/439/877 với đuôi 0.0080/0.0047/0.0048 và giảm dần. Support-4/5 vẫn là phần dư mở, ngân sách tổng toàn 109 prime là bước còn lại để pass hoàn toàn.
Bằng chứng
kiểm 1Bổ đề thuần khiết chứng minh là danh tính chính xác: κ_direct = κ_fourier tại p=191/439/877 (hữu tỷ)
kiểm 2TRUE_RELATION tách sạch khỏi đục-lỗ chính xác -(1/(p-1))(1-β)^s, phân tách được triệt tiêu
kiểm 3Đuôi support-3 audit 191/439/877 (D15 sau đó thay bằng 1/100 toàn 109), 2 verifier, 40/40 tấn công
Kiểm chứng: double · I2 · 13 artifact (report, verifier, bộ tấn công, manifest SHA-256)