Tôi đang đọc bài khảo sát xuất sắc của Watpy trên giấy về lý thuyết phức tạp lượng tử. Trong đó, ông tuyên bố rằng sẽ rất ngạc nhiên nếu một vấn đề hoàn chỉnh của QMA được phát hiện có một lời hứa trống rỗng (Ie Be a Language). Tại sao cái này rất?
Liệu nó có liên quan đến thực tế rằng vấn đề Hamilton-k là một vấn đề hứa hẹn?
Ngoài ra, điều này dẫn tôi đến một câu hỏi liên quan: có những vấn đề hoàn chỉnh QMA vốn không phải là "lượng tử" trong tự nhiên?
3
Tôi đoán đó sẽ là một điều thú vị bởi vì QMA được định nghĩa là một lớp ngữ nghĩa, một vấn đề hoàn chỉnh như vậy sẽ đưa ra một đặc điểm cú pháp. Kiểm tra các câu hỏi liên quan về các lớp phức tạp cú pháp / ngữ nghĩa trên cstheory / Mathoverflow.
—
Kaveh
Hơn nữa, hiện tượng này không đặc trưng cho QMA nói riêng. Các lớp được định nghĩa ngữ nghĩa khác như MA là BPP cũng không được biết là có ngôn ngữ hoàn chỉnh.
—
Robin Kothari
Tôi tự hỏi những điều kiện cần và đủ trong thực tế cho một vấn đề là "không lượng tử". Tôi cho rằng bất kỳ vấn đề nào gọi bản đồ hoàn toàn tích cực ( ví dụ: bản đồ CP đã cho là không thể đảo ngược hoặc xa cấu trúc sản phẩm tenor ( ví dụ: toán tử semidefinite dương tính, được đưa ra trong bản trình bày k-local, có giá trị bản địa nhỏ hơn delta, hoặc tất cả chúng đều lớn hơn delta?) sẽ là ví dụ về các vấn đề lượng tử đáng ngờ, cho dù chúng có được trình bày dưới dạng kênh lượng tử / tiến hóa hay không gian trạng thái của một hệ thống tổng hợp ...
—
Niel de Beaudrap