GATE D9
Đóng đuôi Fourier & cấu trúc nghịch đảo
Điều gì thay đổi
Một kết quả rào chắn chặt chẽ: tuyến đuôi trị-tuyệt-đối là KHÔNG ĐỦ. Khối lượng quan hệ tuyệt đối gần như độc lập với vector, xấp xỉ chuẩn L1 của hệ số Fourier lũy thừa k chia p, khoảng 10.000 lần số hạng chính tại k=13. Nên obstruction improper qua triệt tiêu CÓ DẤU, không phải số hạng nhỏ. Đổi lại, một extractor nghịch đảo đã kiểm biến mọi obstruction thành chứng thư cấu trúc cộng bị chặn, lớp tight thu về hạng cộng 1 (neo D5).
Bằng chứng
kiểm 1Tuyến đuôi tuyệt đối chứng minh KHÔNG ĐỦ (khối lượng ABS ~ ||Ghat||1^k/p, ~10^4x chính, độc lập vector)
kiểm 2Extractor nghịch đảo đã kiểm: mọi obstruction ⟹ chứng thư cấu trúc bị chặn, lớp tight = hạng 1
kiểm 3Hai verifier CHẤP NHẬN, 24/24 tấn công bị từ chối, mở: đóng triệt tiêu có dấu
Kiểm chứng: double · I2 · 14 artifact (report, verifier, bộ tấn công, manifest SHA-256)