Tính toán đồ họa cho mạch lượng tử

Cho đến nay tôi đã đọc một chút về zx-compus & y-compus .

Từ tính toán đảo ngược :

Tính toán zx là một ngôn ngữ đồ họa để mô tả các hệ lượng tử.

Phép tính zx là một lý thuyết cân bằng, dựa trên việc viết lại các sơ đồ bao gồm cú pháp của nó. Re-viết có thể được tự động bằng phương tiện của quantomatic phần mềm.

Phương pháp này có vẻ rất thú vị, tuy nhiên tôi không thể tìm thấy nhiều thông tin giới thiệu về chủ đề này. Bất kỳ cái nhìn sâu sắc về chủ đề hoặc tài nguyên bổ sung sẽ được đánh giá rất cao.

Tài nguyên hiện tại:

• Một sự định nghĩa hoàn toàn của tính toán ZX cho cơ học lượng tử Clifford + T
• Quy tắc ZX cho Mạch 2 lượng tử Clifford + T
• Y-Compus: Ngôn ngữ cho ma trận thực có nguồn gốc từ ZX-Compus
• Hướng dẫn: Tính toán đồ họa cho mạch lượng tử
• ZH: Một phép tính đồ họa hoàn chỉnh cho các tính toán lượng tử liên quan đến phi tuyến tính cổ điển
• Mạng kéo và tính toán đồ họa cho hệ thống lượng tử mở
• Giấy tờ từ Quantomatic
• Một ngôn ngữ đồ họa cho các danh mục đơn hình (PDF)

Tài liệu tham khảo sách giáo khoa tốt nhất có thể tại thời điểm này là

• Coecke và Kissinger. Hình dung các quá trình lượng tử: Một khóa học đầu tiên về lý thuyết lượng tử và lý luận biểu đồ. Nhà xuất bản Đại học Cambridge, 2017.

Nó được viết bởi một trong hai nhà phát minh của phép tính ZX (Bob Coecke), và một trong những người đã đóng góp nhiều nhất cho sự phát triển của Quantomatic (Aleks Kissinger), và do đó sẽ là tài liệu tham khảo giới thiệu dứt khoát.

Hiện tại cũng có một trang web, zxcalculus.com , với các hướng dẫn, liên kết đến các tài nguyên và trưng bày một công cụ dựa trên Python có tên là PyZX, mà bạn có thể thấy hữu ích. Trang web này là một nỗ lực phối hợp của những người đề xuất và phát triển chính về lý thuyết và ứng dụng của phép tính ZX, trong đó tôi là một.

Bạn đã đặt khảo sát của Selinger, vì vậy đây là một vài liên kết.

Baez và Ở lại : Baez và Ở lại là một bài viết khảo sát. Nó bao gồm các thể loại đơn, bện, đối xứng và dao găm. Đối với ví dụ liên quan đến tính toán lượng tử tập trung vào Hilb hoặc cobordism. Các sơ đồ chuỗi thích hợp cho chúng được bao gồm cùng với các phần cho các loại danh mục đó. Nó cũng chỉ ra các kết nối giữa logic và lý thuyết loại, nhưng bạn không cần những phần đó. Tuy nhiên, nó sẽ hữu ích. Bạn cũng có thể thấy các bài đăng trên blog khác của Baez.

Blog của Qiaochu Yuan : Bài đăng trên blog của Qiaochu mang tính giới thiệu và ngắn gọn hơn. Nó chỉ tập trung vào ví dụ không gian vectơ để tránh các điều kiện tiên quyết bên cạnh đại số tuyến tính. Các bài viết sau trong loạt bài này bao gồm các tính từ khác để thêm vào như bện, đối xứng hoặc dao găm. Xem sau trong loạt đó là tốt.