GATE D19
Phủ tuần hoàn chính xác, bác tách theo từng prime
Điều gì thay đổi
D19 quay từ không gian moment về đối tượng nguồn chính xác. Cố định một prime và một căn nguyên thủy, một vector tốc độ thành một vector bội trên nhóm cyclic cỡ p trừ 1, và một vector improper (không thời điểm cô đơn) tồn tại đúng khi mười ba phép dịch tuần hoàn của tập bad phủ toàn nhóm. Số phủ phân số đúng bằng cỡ nhóm chia cỡ tập bad, khoảng 7 tại mọi prime, thấp hơn nhiều ngân sách 13, nên nới lỏng tuyến tính không đóng gì. Kết quả quyết định là âm và được công bố đầy đủ. Phủ mười ba phép dịch tường minh thực sự hiện hữu tại 48 trong 109 prime, và một vector improper non-tight chính xác được trưng ra tại p=197 với mười ba tốc độ phân biệt, không thời điểm cô đơn, và chặn thích ứng đúng bằng 0. Điều này sửa lại công trình moment trước đó, dual bậc-5 thích ứng cũng thất bại tại một prime đơn, và tìm kiếm hai mươi nghìn vector trước đó không thấy phản ví dụ là do giới hạn mẫu, không phải định lý. Vậy cả hai phương pháp theo từng prime đều không đủ. Các phủ đơn-prime này chính là thứ liệt kê thượng nguồn tìm ra và không phải phản ví dụ thật, chúng chỉ bị loại bởi lift tích-các-prime buộc một cấu hình phủ qua nhiều prime cùng lúc. Lift đó là đường còn lại duy nhất. LRC(13) vẫn mở và không bị bác bỏ.
Bằng chứng
Kiểm chứng: double · I2 · 12 artifact (report, verifier, bộ tấn công, manifest SHA-256)