Sự khác biệt giữa mô hình tính toán lượng tử ủ và lượng tử là gì?

Từ những gì tôi hiểu, dường như có một sự khác biệt giữa mô hình tính toán lượng tử ủ và lượng tử đáng tin cậy nhưng điều duy nhất tôi tìm thấy về chủ đề này ngụ ý một số kết quả kỳ lạ (xem bên dưới).

Câu hỏi của tôi là như sau: chính xác sự khác biệt / mối quan hệ giữa ủ lượng tử và tính toán lượng tử đáng tin cậy là gì?

Các quan sát dẫn đến một kết quả "lạ":

• Trên Wikipedia , tính toán lượng tử đáng tin cậy được mô tả là "một lớp con của ủ lượng tử".
• Mặt khác, chúng ta biết rằng:
  1. Tính toán lượng tử đáng tin cậy tương đương với mô hình mạch lượng tử ( arXiv: quant-ph / 0405098v2 )
  2. Máy tính DWave sử dụng ủ lượng tử.

Vì vậy, bằng cách sử dụng 3 sự thật ở trên, máy tính lượng tử DWave phải là máy tính lượng tử phổ quát. Nhưng từ những gì tôi biết, máy tính DWave bị hạn chế ở một loại vấn đề rất cụ thể nên chúng không thể phổ biến (các kỹ sư của DWave xác nhận điều này trong video này ).

Như một câu hỏi phụ, vấn đề với lý luận ở trên là gì?

Vinci và Lidar có một lời giải thích hay trong phần giới thiệu về người Hamilton không kiên định trong việc ủ lượng tử (cần thiết cho một thiết bị ủ lượng tử để mô phỏng tính toán mô hình cổng).

https://arxiv.org/abs/1701,07494

Người ta biết rằng giải pháp cho các vấn đề tính toán có thể được mã hóa thành trạng thái cơ bản của lượng tử Hamilton phụ thuộc thời gian. Cách tiếp cận này được gọi là tính toán lượng tử tính toán (AQC) và là phổ biến cho điện toán lượng tử (để đánh giá về AQC, xem arXiv: 1611.04471). Ủ lượng tử (QA) là một khung kết hợp các thuật toán và phần cứng được thiết kế để giải quyết các vấn đề tính toán thông qua quá trình tiến hóa lượng tử hướng tới trạng thái cơ bản của người Hamilton cuối cùng mã hóa các vấn đề tối ưu hóa cổ điển, mà không nhất thiết phải nhấn mạnh vào tính phổ quát hoặc tính phổ biến.

$H$$H$chỉ có các phần tử ma trận lệch hướng không có chủ đích thực sự trong cơ sở đó, có nghĩa là trạng thái cơ bản của nó có thể được biểu diễn dưới dạng phân phối xác suất cổ điển. Thông thường, người ta chọn cơ sở tính toán, tức là cơ sở trong đó Hamiltonian cuối cùng là đường chéo. Sức mạnh tính toán của người Hamilton kiên định đã được xem xét kỹ lưỡng và bị nghi ngờ là bị hạn chế trong môi trường AQC ở mặt đất. Ví dụ, không chắc rằng AQC stoquastic trạng thái mặt đất là phổ quát. Ngoài ra, theo các giả định khác nhau, AQC trạng thái cơ bản có thể được mô phỏng hiệu quả bằng các thuật toán cổ điển như lượng tử Monte Carlo, mặc dù đã biết một số ngoại lệ nhất định.