Tại sao không thể mô tả lượng tử được mô tả bằng mô hình cổng?


21

Đây là một câu hỏi tôi được truyền cảm hứng để hỏi dựa trên câu hỏi này , trong đó lưu ý rằng ủ lượng tử là một mô hình hoàn toàn khác để tính toán so với mô hình mạch thông thường. Tôi đã nghe điều này trước đây và tôi hiểu rằng mô hình cổng không áp dụng cho ủ lượng tử, nhưng tôi chưa bao giờ hiểu tại sao, hoặc làm thế nào để phân tích các tính toán mà một người thông báo có thể làm. Theo tôi hiểu từ một số cuộc nói chuyện (một số do chính D-wave!) Thực tế là những người ủ tóc bị giới hạn trong một Hamiltonian cụ thể chơi trong đó.

Câu trả lời:


18

Một Annealer Quantum, chẳng hạn như một máy D-Wave là một đại diện vật lý của mô hình Ising và như vậy có 'vấn đề' Hamiltonian của mẫu

HP= =ΣJ= =1nhjσjz+Σtôi,jJtôijσtôizσjz.

Về cơ bản, vấn đề cần giải quyết được ánh xạ tới Hamiltonian ở trên. Hệ thống bắt đầu với Hamilton và tham số ủ, s được sử dụng để lập bản đồ ban đầu Hamilton H Tôi cho vấn đề Hamilton H P sử dụng H ( s ) = ( 1 - s ) H I + s H P .Htôi= =ΣJ= =1nhj'σjxSHtôiHPH(S)= =(1-S)Htôi+SHP

Vì đây là một anneal, quá trình này được thực hiện đủ chậm để ở gần trạng thái cơ bản của hệ thống trong khi Hamiltonian khác với vấn đề, sử dụng đường hầm để ở gần trạng thái cơ bản như được mô tả trong câu trả lời của Nat .

Bây giờ, tại sao điều này không thể được sử dụng để mô tả một mô hình cổng QC? Trên đây là vấn đề tối ưu hóa nhị phân không giới hạn Quadratic (QUBO) , đó là NP-hard ... Thật vậy, đây là một bài viết ánh xạ một số vấn đề NP cho mô hình Ising . Bất kỳ vấn đề nào trong NP đều có thể được ánh xạ tới bất kỳ vấn đề NP-hard nào trong thời gian đa thức và hệ số nguyên thực sự là một vấn đề NP.

Chà, nhiệt độ là khác không, vì vậy nó sẽ không ở trạng thái cơ bản trong suốt quá trình ủ và kết quả là, giải pháp vẫn chỉ là gần đúng. Hoặc, theo các cách khác nhau, xác suất thất bại lớn hơn một nửa (không nơi nào có xác suất thành công cao so với những gì một QC phổ quát coi là 'đàng hoàng' - đánh giá từ các biểu đồ tôi đã thấy, xác suất thành công cho máy hiện tại là khoảng và điều này sẽ chỉ trở nên tồi tệ hơn khi tăng kích thước) và thuật toán anneal không bị giới hạn lỗi. Ở tất cả. Như vậy, không có cách nào để biết liệu bạn có giải pháp chính xác với thứ gì đó như hệ số nguyên hay không.0,2%

Những gì nó (về nguyên tắc) làm rất gần với kết quả chính xác, rất nhanh, nhưng điều này không giúp ích gì cho bất cứ điều gì mà kết quả chính xác được yêu cầu như chuyển từ 'gần đúng' sang 'chính xác' vẫn là một điều cực kỳ khó khăn ( tức là có lẽ vẫn còn NP nói chung, khi vấn đề ban đầu là vấn đề NP) trong trường hợp này, vì các tham số là / đưa ra giải pháp 'gần đúng' không nhất thiết phải được phân phối ở bất kỳ đâu gần các tham số được đưa ra giải pháp đúng.

Chỉnh sửa để làm rõ: điều này có nghĩa là một annealer lượng tử (QA) vẫn cần thời gian theo cấp số nhân (mặc dù có khả năng là thời gian theo cấp số nhân nhanh hơn) để giải quyết các vấn đề NP như hệ số nguyên, trong đó QC phổ biến tăng tốc theo cấp số nhân và có thể giải quyết tương tự vấn đề trong thời gian poly. Đây là những gì ngụ ý rằng QA không thể mô phỏng QC phổ quát trong thời gian poly (nếu không nó có thể giải quyết các vấn đề trong thời gian poly mà nó không thể). Như đã chỉ ra trong các bình luận, điều này không giống như nói rằng QA không thể tăng tốc tương tự trong các vấn đề khác, chẳng hạn như tìm kiếm cơ sở dữ liệu.


1
Nếu tôi hiểu chính xác, về cơ bản, bạn đang nói rằng một annealer lượng tử không thể mô tả một mạch lượng tử bởi vì vấn đề tìm tối thiểu của một Hamiltonian tùy ý là NP-hard. Tôi không hiểu hàm ý này. Mô phỏng các mạch lượng tử nói chung cũng khó mô phỏng theo kiểu kinh điển (xem ví dụ 1610.01808 )
glS 15/03/18

1
Ngoài ra, một số vấn đề có thể giải quyết được thông qua các thuật toán được thể hiện dưới dạng mạch lượng tử được biết là cũng có thể giải quyết được thông qua quá trình ủ lượng tử. Một ví dụ đáng chú ý là tìm kiếm cơ sở dữ liệu (xem ví dụ phần II của 1006.1696 ). Điều này có nghĩa là trong một số trường hợp, trong một số trường hợp, người ta có thể ánh xạ mạch aq vào một vấn đề ủ q. Không phải điều này cũng làm mất hiệu lực đoạn thứ ba của bạn (cụ thể, tuyên bố rằng điều này [không thể] được sử dụng để mô tả mô hình cổng QC )
glS 15/03/18

1
@glS không, hoàn toàn không - vẫn mất thời gian theo cấp số nhân để tìm min (theo bài viết trong bình luận thứ hai của bạn) về một vấn đề NP-hard, vì vậy trong khi có vấn đề trong P (ví dụ: tìm kiếm cơ sở dữ liệu) trong đó việc tăng tốc có thể có thể phù hợp với QC phổ quát, giải quyết vấn đề NP vẫn cần thời gian theo cấp số nhân trong phạm vi lỗi bị ràng buộc, trong đó QC phổ quát có thể giải quyết vấn đề tương tự trong thời gian poly, ví dụ như hệ số nguyên. Vì QA không thể làm điều này, QA không thể mô phỏng QC phổ quát trong nhiều thời gian
Mithrandir24601

Ok, nhưng đó không phải là những gì bạn đang nói trong câu trả lời (hoặc ít nhất, không rõ ràng). Từ câu trả lời, có vẻ như bạn đang nói rằng QA không bao giờ có thể được sử dụng để giải quyết vấn đề được giải quyết thông qua mô hình cổng QC. Điều này rất khác so với việc QA không thể giải quyết vấn đề NP-hard một cách hiệu quả ( đôi khi có thể được giải quyết bằng mạch lượng tử ... mặc dù tôi không nghĩ điều này đã được chứng minh, vì chúng ta không biết liệu Factoring có thực sự NP-hard, và hầu hết các vấn đề khác trong đó lợi thế lượng tử đã được thể hiện không phải là vấn đề quyết định, theo hiểu biết của tôi).
glS 15/03/18

Tôi đã thực hiện một chỉnh sửa với hy vọng làm rõ mọi thứ. Không biết có phải P = NP hay không, chắc chắn, nhưng đây vẫn là một ví dụ cụ thể về QC nhanh hơn theo cấp số nhân, theo kiến ​​thức hiện tại
Mithrandir24601

16

Ủng hộ nhiều hơn một chiến thuật tương tự.

Ý chính là bạn có một số chức năng kỳ lạ mà bạn muốn tối ưu hóa. Vì vậy, bạn nảy xung quanh nó. Lúc đầu, " nhiệt độ " rất cao, sao cho điểm được chọn có thể nảy ra xung quanh rất nhiều. Sau đó, khi thuật toán " nguội đi ", nhiệt độ giảm xuống và độ nảy trở nên ít tích cực hơn.

Cuối cùng, nó lắng xuống một tối ưu cục bộ, lý tưởng nhất là thuận lợi như tối ưu toàn cầu.

Đây là một hình ảnh động để ủ mô phỏng (không lượng tử):

Nhưng, đó là khá nhiều khái niệm tương tự cho ủ lượng tử :

Ngược lại, cổng logic là kỹ thuật số hơn nhiều so với analog. Nó liên quan đến các qubit và các hoạt động logic hơn là chỉ tìm thấy một kết quả sau khi nảy hỗn loạn.


Cảm ơn, điều này làm rõ những hạn chế nhất định cho tôi. Bạn có biết bất kỳ vấn đề nào không thể diễn đạt lại thành một vấn đề về ủ không (tôi biết Wikipedia đã nói rằng thuật toán của Shor là không thể bởi vì đó là vấn đề "leo đồi", nhưng nếu bạn biết thêm về các chi tiết cụ thể về điều đó, tôi rất thích nghe họ :)
Emily Tyhurst

2
@EmilyTyhurst Về mặt kỹ thuật, bất kỳ vấn đề nào cũng có thể được mô tả bằng thuật ngữ leo đồi. Đây là một câu hỏi về vấn đề xử lý tốt như thế nào khi được mô tả trong định dạng leo đồi. Các vấn đề không phù hợp với nó cũng có thể cực kỳ xấu. Đối với các vấn đề hoàn toàn không lồi, về cơ bản, leo đồi sẽ là một cuộc tìm kiếm vũ phu.
Nat

@EmilyTyhurst Hah opps, đọc sai nhận xét của bạn theo hướng ngược lại. xD Nhưng, vâng, bạn có thể thực hiện mô phỏng ủ trên máy tính lượng tử giống như bạn có thể làm điều đó trên máy tính cổ điển. Sau đó, tôi cho rằng liệu chúng ta có gọi nó là " ủ lượng tử " hay không trở thành vấn đề ngữ nghĩa.
Nat

2
@EmilyTyhurst Vâng, tất cả họ đều có thể chuyển đổi lẫn nhau. Ý tôi là, nó giống như khái niệm về tính hoàn chỉnh của Turing - nếu chúng ta có bất kỳ loại logic hoàn chỉnh nào, chúng ta có thể xây dựng bất cứ thứ gì khác với nó.
Nat

1
Một điểm quan trọng của ủ nhiệt lượng tử là thay đổi Hamilton một cách đáng tin cậy để trạng thái vẫn là trạng thái cơ bản của Hamilton (thay đổi) mọi lúc, và bạn kết thúc với gs của Hamiltonian cuối cùng, đó là mục tiêu của giao thức . Làm thế nào điều này liên quan đến "nhảy" mà bạn đang mô tả ở đây? Bài viết này ( 1006.1696 ) có thể được quan tâm về vấn đề này (cụ thể, phần cuối cùng của cột thứ hai của trang đầu tiên).
glS 15/03/18
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.