Giá trị nguyên tối thiểu để làm cho hệ số lượng tử trở nên đáng giá là gì?


11

Chúng ta hãy giả sử rằng chúng ta có các máy tính lượng tử và cổ điển sao cho bằng thực nghiệm, mỗi hoạt động logic cơ bản của nhân tố toán học đều tốn thời gian như nhau trong cổ điển và trong nhân tố lượng tử: Giá trị nguyên nào thấp nhất mà tiến trình lượng tử nhanh hơn so với cổ điển một?


2
Việc tính toán rất chính xác sẽ phụ thuộc vào các chi tiết như việc thực hiện các phép toán bổ sung trong thuật toán lượng tử và cả vào các phép toán chính xác được sử dụng trong thuật toán nhân tố cổ điển tốt nhất. Trong cả hai trường hợp, chúng ta thường quen với việc bỏ qua các yếu tố không đổi trong số lượng công việc cần thiết, nhưng thậm chí moreso trong trường hợp cổ điển hơn trường hợp lượng tử. Bạn có hài lòng với ước tính thứ tự độ lớn (ví dụ: lợi thế lượng tử đạt được ở đâu đó trong khoảng 350-370 bit --- để cung cấp câu trả lời khả dĩ mà tôi đã tạo ra từ không khí mỏng dựa trên không có phân tích thực tế)?
Niel de Beaudrap

@NieldeBeaudrap Tôi sẽ nói rằng vì những lý do bạn đã nêu, một con số chính xác sẽ không thể cung cấp. Nếu ước tính 'ngoài luồng' của bạn dựa trên một số lý do, tôi nghĩ nó sẽ rất thú vị. (Nói cách khác, một phỏng đoán có giáo dục có giá trị, nhưng một phỏng đoán hoang dã thì không)
Thằn lằn rời rạc

@DiscittleLizard: nếu tôi có sẵn phương tiện ước tính sẵn sàng, tôi sẽ không đưa ra câu trả lời ví dụ dựa trên phân tích :-) Tôi chắc chắn có một cách hợp lý để đưa ra ước tính thú vị, nhưng tôi sẽ là một cách hợp lý có thể dễ dàng cung cấp sẽ có các thanh lỗi quá lớn nên rất thú vị.
Niel de Beaudrap

Vì vấn đề này thường được coi là "bằng chứng" điển hình cho thấy máy tính lượng tử có khả năng chiến đấu bên ngoài các lĩnh vực của máy tính cổ điển, nhưng hầu như luôn luôn trong các điều khoản phức tạp tính toán chặt chẽ (vì vậy, bỏ qua tất cả các hằng số và chỉ có giá trị cho đầu vào cao tùy ý kích thước) Tôi muốn nói một câu trả lời theo thứ tự thô (và đạo hàm của nó) sẽ hữu ích / mang tính sư phạm. Có lẽ những người trên CS / lý thuyếtCS có thể sẵn sàng giúp đỡ.
agaitaarino

1
@agaitaarino: Tôi đồng ý, mặc dù câu trả lời sẽ phải đưa ra một số tài khoản chính xác hơn hoặc ít hơn về hiệu suất của các thuật toán cổ điển tốt nhất cho hệ số. Phần còn lại sau đó có thể được thực hiện bởi một sinh viên khá giỏi về tính toán lượng tử.
Niel de Beaudrap

Câu trả lời:


8

Phần lượng tử của thuật toán của Shor về cơ bản là một phép lũy thừa mô-đun duy nhất được thực hiện dưới sự chồng chất theo sau là một phép biến đổi Fourier và sau đó là phép đo. Các lũy thừa mô-đun là phần đắt nhất.

Chúng ta hãy giả sử rằng [...] mỗi hoạt động logic cơ bản của nhân tố toán học đều tốn thời gian như nhau trong cổ điển và trong nhân tố lượng tử

Nếu chúng ta giả sử rằng lũy ​​thừa mô-đun mất nhiều thời gian chính xác trên máy tính lượng tử như trên máy tính cổ điển, thì quá trình chuyển đổi nơi tính toán lượng tử trở nên tốt hơn sẽ xảy ra với số lượng rất thấp. Tính toán lũy thừa mô-đun là rất nhanh, kinh điển, bởi vì bạn có thể sử dụng bình phương lặp đi lặp lại. Tôi cực kỳ ước tính sự giao nhau xảy ra ngay cả trước khi bạn thậm chí có được số 30 bit (số hơn một tỷ).

Nhưng máy tính lượng tử sẽ không làm toán nhanh như máy tính cổ điển . Ví dụ, trên máy tính xách tay của tôi, tôi có thể thực hiện phép lũy thừa mô-đun 1000 bit trong python trong một phần của giây. Nhưng trên các máy tính lượng tử có thể thấy trước, sẽ mất hàng giờ hoặc nhiều ngày. Vấn đề là sự khác biệt lớn ( lớn ) trong chi phí của cổng AND.

|T

Vì vậy, giả sử chúng ta nhận được một triệu trạng thái T mỗi giây và chúng tôi muốn chuyển đổi trạng thái này thành tỷ lệ bổ sung 64 bit để so sánh với máy cổ điển. Một bổ sung 64 bit yêu cầu 64 cổng AND, mỗi cổng yêu cầu 4 cổng T. 1 triệu chia cho 4 chia cho 64 cho ... khoảng 4KHz. Ngược lại, một cỗ máy cổ điển sẽ dễ dàng thực hiện một tỷ lần bổ sung mỗi giây. Bộ cộng lượng tử chậm hơn một triệu lần so với bộ cộng cổ điển (một lần nữa, ước tính một cách điên cuồng và hãy nhớ rằng con số này sẽ được cải thiện theo thời gian).

Một yếu tố khác đáng xem xét là chi phí khác nhau của máy tính lượng tử và cổ điển. Nếu bạn có một trăm triệu đô la và bạn đang chọn giữa một máy tính lượng tử và một nghìn máy tính cổ điển, thì yếu tố 1000 đó phải được tính đến. Theo nghĩa này, chúng ta có thể nói các bộ cộng lượng tử có hiệu suất thấp hơn hàng tỷ lần so với các bộ cộng cổ điển (tính theo FLOPS / $).

Một hình phạt yếu tố không đổi của một tỷ thường là một công cụ thỏa thuận ngay lập tức. Và đối với các thuật toán lượng tử với một lợi thế bậc hai (như Grover), tôi cho rằng trên thực tế nó là một công cụ giải quyết thỏa thuận. Nhưng thuật toán của Shor trở nên tốt hơn theo cấp số nhân so với chiến lược cổ điển khi bạn tăng số lượng bit trong số thành yếu tố. Có bao nhiêu bit trước khi chúng ta ăn đi "hằng số" 10 ^ 9 với lợi thế tăng trưởng theo cấp số nhân của chúng ta?

Hãy xem xét rằng RSA-640 đã được trang bị vào năm 2005 bằng cách sử dụng ~ 33 năm CPU. Một máy tính lượng tử sẽ có thể thực hiện số đó dưới một ngày. Nếu bạn có một ngàn máy tính cổ điển giải quyết vấn đề, chúng sẽ hoàn thành sau khoảng hai tuần. Vì vậy, có vẻ như lượng tử đang chiến thắng 640 bit, nhưng chỉ bằng một thứ tự cường độ hoặc ba. Vì vậy, có thể việc cắt sẽ xảy ra ở đâu đó khoảng 500 bit?

Dù sao, tôi biết đây không phải là một câu trả lời khó và nhanh. Nhưng hy vọng tôi đã truyền đạt một số ý nghĩa về số lượng mà tôi sẽ nghĩ về khi so sánh cổ điển và lượng tử. Thực sự không ai biết các yếu tố liên tục được nêu ra, vì vậy tôi sẽ ngạc nhiên nếu có ai có thể đưa ra cho bạn một ước tính đúng đắn hơn là "đâu đó trong hàng trăm bit".


Đây là một nỗ lực tốt, nhưng làm thế nào để bạn ước tính được 30 bit? Chính xác thì bạn đang so sánh thuật toán của Shor với điều gì, khi bạn cho rằng đó là một điểm giao nhau có khả năng?
Niel de Beaudrap

1
@NieldeBeaudrap Như tôi đã nói, đó là một phỏng đoán hoang dã. Tôi hình: phép nhân mô-đun có một yếu tố không đổi khá (theo kinh điển). Tiếp tục phân số. Các thuật toán bao thanh toán cũng có các yếu tố liên tục tốt? Chắc là không? Nếu vậy, sự giao nhau sẽ xảy ra gần như ngay lập tức thay vì ở số lượng lớn. Nếu ai đó muốn thực sự điểm chuẩn hai điều đó với nhau, tôi sẽ cập nhật câu trả lời. Tôi coi "thịt" là phần còn lại của nó.
Craig Gidney

1
Tôi thường không phản đối điều này khi cung cấp một trực giác, ngoại trừ việc phỏng đoán hoang dã của bạn chính xác là về chủ đề của câu hỏi. (Câu hỏi cũng được đặt ra theo cách gợi ý nhận thức về các vấn đề tốc độ đồng hồ.) Các kỹ thuật nhanh nhất để tính số lượng rất lớn liên quan đến các yếu tố không đổi lớn, nhưng thực sự tính toán với chúng là điểm của câu hỏi; nhưng với số lượng khoảng một tỷ, chúng tôi thậm chí có thể xem xét phân chia thử nghiệm bằng cách sử dụng bảng số nguyên tố lên tới khoảng 32.767, sẽ rất nhanh trong thực tế. Một so sánh định lượng ngay cả với điều này sẽ là một sự khởi đầu.
Niel de Beaudrap

6

Như tôi đã đề cập trong các ý kiến, một câu trả lời rất chính xác có thể sẽ phụ thuộc vào rất nhiều lựa chọn kỹ thuật có phần tùy ý. Nó có thể là quan trọng hơn để có được một ước tính thứ tự độ lớn, và tính toán càng nhiều càng tốt trong việc thực hiện nó.

Câu trả lời này không nhằm mục đích trả lời dứt khoát, mà là một bước đi đúng hướng bằng cách tham khảo tài liệu hiện có (mặc dù đến nay đã được thừa nhận hơn một thập kỷ), cụ thể:

  • Van mét, Itoh, và Ladd. Kiến trúc phụ thuộc thời gian thực hiện thuật toán của Shor . Proc. Siêu dẫn siêu âm + Điện tử học 2006; [ arXiv: quant-ph / 0507023 ]

Van Meter, Itoh và Ladd cố gắng so sánh hiệu suất của thuật toán của Shor với công nghệ điện toán có sẵn thực hiện Bộ sàng trường số (thuật toán cổ điển nổi tiếng nhất cho hệ số). Tôi chưa có thời gian để xem qua các chi tiết của bài báo - một câu trả lời vượt trội có thể có được bằng cách làm như vậy - nhưng Hình 1 của bài viết đó cho phép chúng tôi đưa ra ước tính số hợp lý:

nhập mô tả hình ảnh ở đây

Ở đây, các đường cong dốc biểu thị thời gian tính toán của các mạng máy tính cổ điển. Đường cong có nhãn 'NFS, 104 PC, 2003' dường như chỉ ra các tính toán (và thời gian tính toán dự kiến) của một trăm bốn máy tính cá nhân vào khoảng năm 2003, theo báo cáo của RSA Security Inc. vào năm 2004 [ http: //www.rsasecurance. com / rsalabs / node.asp? id = 2096] .

nnvv2×1011hoạt động mỗi giây. Một điểm chuẩn giả thuyết về thuật toán của Shor sẽ phải được thực hiện đối với một máy tính lượng tử hoạt động ở tốc độ xung nhịp tương đương.

109

  • Mặc dù có lợi thế hoạt động mỗi giây của hệ số 200 trở lên, âm mưu cho biết khi nào việc triển khai NFS cổ điển 200 GHz này bị vượt qua bởi một máy tính lượng tử 1GHz thực hiện thuật toán của Shor (ở khoảng 200 chữ số) và bằng máy tính lượng tử 1 MHz ( ở khoảng 330 chữ số).
  • Chúng tôi cũng có một đường cong dự kiến ​​hiệu suất "trong năm 2018", đại diện cho 1000 lần công suất tính toán cổ điển: các chặn với các máy tính lượng tử 1GHz và 1 MHz là ở số 350 bit và 530 bit.

Sự gia tăng các điểm giao nhau so với các tính toán lượng tử, từ tính toán năm 2003 đến dự kiến ​​vào năm 2018, đại diện cho mức tăng tốc độ xung nhịp 1000, là một hệ số khoảng 5/3. Từ đó, chúng ta có thể ước tính rằng lợi thế tính toán đến kích thước của các số có thể được giải quyết nhanh chóng bằng máy tính cổ điển, do tốc độ tăng của hệ số 200, là khoảng 7/6. Sau đó, chúng ta có thể ước tính rằng điểm giao nhau của một máy tính cổ điển 1GHz thực hiện NFS, với máy tính lượng tử 1GHz thực hiện thuật toán của Shor, là khoảng 170 bit.

Điểm mấu chốt - một câu trả lời chính xác sẽ phụ thuộc vào nhiều giả định kỹ thuật có thể thay đổi kết quả chính xác đáng kể, vì vậy tốt hơn là tìm kiếm một ước tính sơ bộ. Nhưng câu hỏi này đã được nghiên cứu ít nhất một lần trước đây và đưa ra một số giả định và ngoại suy về hiệu suất dựa trên hiệu suất cổ điển năm 2003, có vẻ như các thuật toán của Shor sẽ vượt trội hơn thuật toán cổ điển nổi tiếng nhất trên cơ sở hoạt động của các con số khoảng 170 bit.


Đây là một câu trả lời tốt. Điều đáng chú ý là ý tưởng của bài báo này về "hoạt động logic cơ bản" (rất phù hợp) ở cấp độ của cổng AND, trái ngược với cấp độ của lệnh CPU hoặc hoạt động BigInt (mà tôi nghi ngờ là những gì người hỏi hỏi Suy nghĩ). Trong câu trả lời của riêng tôi, tôi đã giả sử phép lũy thừa mô-đun được thực hiện "như thể theo kinh điển", điều này có liên quan đến phép nhân FFT. Đây là lý do tại sao tôi đoán một con số thấp hơn nhiều so với bài báo này, mà (một cách thích hợp) là phép nhân sách giáo khoa với các bộ cộng mang gợn cho số học lượng tử của nó.
Craig Gidney

@SalvaCardona: Tôi khuyên bạn không nên chấp nhận câu trả lời của tôi. Phân tích của tôi là rất khó hiểu, và bạn nên giữ cho một phân tích tốt hơn.
Niel de Beaudrap
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.