Một câu hỏi về GCT


8

Trong bài báo 'Về việc biến mất các hệ số Kronecker' ở đây trong http://arxiv.org/pdf/1507.02955v1.pdf , cho thấy việc quyết định tính tích cực của các hệ số kronecker nói chung là khó khăn. Tuy nhiên, có một cảnh báo rằng chỉ có tính tích cực của 'hệ số Kronecker hình chữ nhật' là cần thiết trong GCT . Hàm ý của GCT là gì nếu điều này cũng biến thành NP cứng?

Một câu hỏi liên quan là hậu quả của GCT là gì nếu không có công thức tích cực chung gần giống với một trường hợp đặc biệt của các hệ số LR?

Câu trả lời:


10

Ngay cả khi quyết định mức độ tích cực của các hệ số Kronecker là NP-hard, hoặc ngay cả khi không có công thức tích cực chung cho chúng, thì GCT vẫn hoàn toàn có thể "hoạt động". Ngay cả theo giả định trước đó, vẫn có thể có một công thức dương (và thậm chí là một thủ tục quyết định thời gian đa thức) cho một số hệ số Kronecker hình chữ nhật. Nếu người ta có thể tìm thấy một công thức như vậy, và sau đó chỉ ra rằng các biểu diễn không thể thay đổi tương ứng xuất hiện với bội số khác không trong vòng tọa độ của việc đóng quỹ đạo của một vĩnh viễn có kích thước phù hợp, nó vẫn sẽ chứng minh Giả thuyết vĩnh viễn (Mạnh) so với Xác định.

Cập nhật 30/8/15 : Tôi nên thêm rằng, độc lập với các công thức tổ hợp tích cực, tôi nghĩ cách tiếp cận hình học về độ phức tạp, như trong GCT, là một cách rất hữu ích để hiểu cấu trúc của các lớp phức tạp và sử dụng lý thuyết biểu diễn một cách tự nhiên phát sinh (chẳng hạn như ở đây) luôn luôn là một ý tưởng tốt. Công việc của Landsberg trong lĩnh vực này là đáng chú ý theo hướng này (nghĩa là sử dụng các kỹ thuật hình học kết hợp với lý thuyết biểu diễn, ngay cả khi không có các công thức kết hợp tích cực). [cập nhật kết thúc]

[Bây giờ trở lại công thức tổ hợp tích cực ...] Ngay cả khi ngày càng nhiều hệ số Kronecker kết thúc là NP-hard để quyết định sự biến mất của chúng, hoặc nếu không có công thức kết hợp tích cực cho chúng, (a) nó chỉ đơn giản là một minh chứng chỉ là những vấn đề này khó đến mức nào (xét cho cùng, trong khi GCT vượt qua các rào cản đã biết, nó vẫn đang nhắm đến việc chứng minh một số vấn đề rất khó mở), và / hoặc (b) gợi ý nơi thu hẹp trọng tâm của một người để có được GCT công việc (ví dụ như trên).

Ngoài ra, mặc dù NP-độ cứng là "tin xấu" nói chung, nó không nhất thiết là kết thúc của con đường. Ví dụ, mặc dù Chu kỳ Hamilton là NP-hard, nhưng vẫn còn rất nhiều định lý và hiểu biết lý thuyết xung quanh các chu kỳ Hamilton. Độ cứng NP chỉ khiến một (hoặc ít nhất là tôi) hy vọng rằng sẽ không bao giờ có một "lý thuyết hoàn chỉnh về chu kỳ Hamilton". Nhưng người ta không cần một "lý thuyết hoàn chỉnh về các hệ số Kronecker" như vậy để chứng minh ràng buộc thấp hơn thông qua GCT - người ta chỉ cần một gia đình đại diện biến mất trên quỹ đạo đóng của định thức nhưng không phải là đóng quỹ đạo vĩnh viễn.

(Câu trả lời này cũng áp dụng cho bài báo gần đây của Kahle và Michalek , cho thấy có những họ của bội số plethysm không được đưa ra bởi số lượng điểm nguyên trong một họ đa giác tự nhiên.)


PNPVNPVP

2
Ngay cả khi hóa ra rằng đối với mọi gia đình irreps xuất hiện với bội số khác không trong vòng tọa độ của quỹ đạo đóng vĩnh viễn, thì vấn đề quyết định Kronecker tương ứng là NP-hard, (a) vẫn có thể xảy ra. kết hợp. công thức và (b) đoạn thứ ba trong câu trả lời của tôi vẫn được áp dụng. Một điều khác là: nếu chúng ta biết thực tế này, có lẽ chúng ta sẽ biết nhiều hơn về sự bất ổn trên quỹ đạo của perm so với hiện tại chúng ta có thể giải quyết perm v det anyways .... PS - Gửi thư điện tử cho tôi.
Joshua Grochow

Điều gì nếu không có công thức kết hợp tích cực nào cả?
T ....

2
Nếu không có công thức kết hợp dương cho Kronecker (hoặc bội số trong việc đóng quỹ đạo của det) cho bất kỳ irreps nào xuất hiện trong việc đóng quỹ đạo của perm, điều đó vẫn không loại trừ GCT. Nó chỉ có nghĩa là người ta sẽ phải chứng minh điều gì đó về các bội số này theo một cách khác, ví dụ như về mặt hình học.
Joshua Grochow

1
Ý tưởng sơ bộ là cần có một số loại tương tự của Giả thuyết Riemann đối với các trường hữu hạn (còn gọi là phỏng đoán Weil), nhưng liên quan đến các nhóm lượng tử không chuẩn (như trong GCT IV / VII / VIII). Theo như tôi biết, ngay cả khi đưa ra tuyên bố về điều tương tự này vẫn nên mở ...
Joshua Grochow
Khi sử dụng trang web của chúng tôi, bạn xác nhận rằng bạn đã đọc và hiểu Chính sách cookieChính sách bảo mật của chúng tôi.
Licensed under cc by-sa 3.0 with attribution required.