Tính toán lượng tử lambda


35

Về mặt kinh điển, có 3 cách phổ biến để suy nghĩ về tính toán: máy Turing, mạch và lambda-tính toán (tôi sử dụng cách này như một cách bắt tất cả cho hầu hết các chế độ xem chức năng). Cả 3 đều là những cách hiệu quả để suy nghĩ về các loại vấn đề khác nhau và các lĩnh vực khác nhau sử dụng công thức khác nhau cho lý do này.

Tuy nhiên, khi tôi làm việc với máy tính lượng tử, tôi chỉ nghĩ về mô hình mạch. Ban đầu, QC được định nghĩa theo các máy Turing lượng tử nhưng theo tôi hiểu, định nghĩa này (mặc dù tương đương với các mạch lượng tử nếu cả hai được xây dựng cẩn thận) gần như không có kết quả. Công thức thứ 3 (về mặt lambda-tính toán hoặc các cài đặt chức năng tương tự) Tôi hoàn toàn không quen thuộc. Do đó câu hỏi của tôi:

  • Các định nghĩa hữu ích của lambda-tính toán lượng tử (hoặc các mô hình chức năng khác) là gì?

  • Những trường con nào của QIP đạt được cái nhìn sâu sắc hơn từ việc sử dụng công thức này thay vì mô hình mạch điện?


Ghi chú

Tôi nhận thức được rằng tôi đang bỏ qua nhiều hình thức phổ biến khác như automata di động, mô hình RAM, v.v. Tôi loại trừ những điều này chủ yếu là vì tôi không có kinh nghiệm suy nghĩ về các mô hình này một cách kinh điển, chứ đừng nói đến định lượng .

Tôi cũng nhận thức được rằng có những lựa chọn thay thế phổ biến trong cài đặt lượng tử, chẳng hạn như dựa trên đo lường, tô pô và tin cậy. Tôi không thảo luận về chúng bởi vì tôi không quen thuộc với các đối tác cổ điển.


4
Tôi nghĩ rằng điều này cũng sẽ tốt trên Khoa học máy tính lý thuyết . :)
Kaveh

1
@Kaveh Tôi rất bối rối không biết nên hỏi giữa cstheory và CS.SE :(. Tôi quyết định không hỏi về cstheory vì tôi đã bắt gặp một luận điểm gần đây nói về lập trình hàm lượng tử (trong phần 2.2) nhưng chưa đã có thời gian để suy nghĩ cẩn thận về nó. Vì vậy, tôi nghĩ: này, tôi sẽ hỏi một câu hỏi nửa vời.
Artem Kaznatcheev

1
Hy vọng nó sẽ dẫn đến một câu hỏi nướng cho cstheory. :)
Kaveh

1
Bạn có thể muốn xem LPQL , một ngôn ngữ lập trình lượng tử chức năng tuyến tính được phát triển tại Calgary.
jmite

Câu trả lời:


17

Đây là một câu trả lời nửa vời: Tôi biết rằng Ugo Dal Lago tại Đại học Bologna đã nghiên cứu tính toán lượng tử lambda. Bạn có thể muốn kiểm tra ấn phẩm của anh ấy và có lẽ đặc biệt là ấn phẩm này:

Độ phức tạp ngầm định lượng tử của U. Dal Lago, A. Masini, M. Zorzi.

Tôi đang nói đó là một câu trả lời nửa vời, bởi vì tôi không có cơ hội đọc bất kỳ tác phẩm nào của anh ấy.


12

Xin lỗi trước về phích cắm không biết xấu hổ, nhưng có một bài viết của tôi về phép tính lambda lượng tử mà bạn có thể thấy thú vị. Nó được gọi là The Dagger Lambda Tính toán và cung cấp một biểu diễn bậc cao hơn cho các mạch sơ đồ mà trường phân loại tính toán lượng tử đã giới thiệu:

http://arxiv.org/abs/1406.1633

Bạn cũng có thể kiểm tra bài nói chuyện của tôi trên YouTube để biết thêm thông tin:

https://www.youtube.com/watch?v=2pDPVd1BukI

Các tác phẩm khác trong khu vực bao gồm phép tính lambda lượng tử Selinger-Valiron và phép tính lambda của Andre van Tonder: [ Sel04a ], [ Sel04b ], [ vTD03 ], [ vT04 ], [ SV04 ], [ SV08 ], [ SV10 ] .

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.