GATE D10
Đối ngẫu moment & triệt tiêu có dấu
Điều gì thay đổi
Mã hóa triệt tiêu có dấu thành moment giai thừa của N (số runner trong vùng cấm): u proper khi có thời điểm N=0. Một dual moment hữu tỉ chính xác chứng nhận proper theo từng vector (đóng 60/60 vector proper). Định lý cặp chứng minh một chiều: lệch tương quan cặp lớn ép chiều cao tỉ số hữu tỉ thấp. Nhưng dual generic đồng đều bị bác, một spike thời-gian-nhỏ nội tại (mọi runner cụm lại) làm phồng moment bậc cao 15-95 lần, độc lập chiều cao tỉ số, mã hóa lại rào D9.
Bằng chứng
kiểm 1Dual moment giai thừa chính xác: dual LP theo vector đóng 60/60 vector proper (Bonferroni hệ số nguyên hợp lệ)
kiểm 2Định lý cặp chứng minh một chiều: lệch > 0,03 ⟹ chiều cao tỉ số ≤ 2 (chồng lấp khoảng/lưới)
kiểm 3Dual generic đồng đều BỊ BÁC (spike nội tại phồng μ4~15x, μ5~95x), hai verifier, 30/30 tấn công
Kiểm chứng: double · I2 · 14 artifact (report, verifier, bộ tấn công, manifest SHA-256)