Tôi sẽ minh họa cách người ta có thể thực hiện các thao tác bằng cách sử dụng các thao tác logic trên các qubit và sử dụng phẫu thuật mạng cho các hoạt động hai qubit.
Trong các sơ đồ bên dưới, tất cả các 'dấu chấm' là các qubit dữ liệu: các qubit đo lường được bỏ qua để giúp thể hiện các nguyên tắc cơ bản rõ ràng hơn. Các qubit đo lường có sẵn khi bạn thực hiện các phép đo ổn định và chỉ tham gia vào các phép đo ổn định, vì vậy câu chuyện là về những gì bạn làm với các qubit dữ liệu - bao gồm những điều như các phép đo ổn định mà bạn thực hiện trên các qubit dữ liệu.
Mã bề mặt và các hoạt động Pauli qubit đơn logic
Người ta có thể sử dụng các mảnh vỡ của máy bay để lưu trữ qubit. Hình ảnh bên dưới cho thấy bốn qubit được mã hóa như một phần của mạng tinh thể lớn hơn: các chấm sáng có viền đen là các qubit không liên quan đến các qubit được mã hóa và về nguyên tắc có thể ở bất kỳ trạng thái nào bạn thích, không bị tách rời khỏi phần còn lại.
Trong mỗi phân đoạn này, qubit được xác định bởi các mối quan hệ ổn định (lý tưởng là trong trường hợp không có lỗi) giữ giữa các qubit. Đối với mã bề mặt với các loại điều kiện biên được minh họa ở đây, đây là một trong hai 3-qubit X hoặc Z ổn định xung quanh ranh giới, và một trong hai 4-qubit X hoặc Z ổn định trong 'bulk' hoặc cơ thể của mã này. Mô hình của các chất ổn định này được minh họa dưới đây. Lưu ý rằng mỗi bộ ổn định X trùng với bộ ổn định Z , làm như vậy ở hai qubit, để chúng đi lại với nhau. (Xin lỗi về kích thước hình ảnh: Tôi không thể quản lý để khiến nó hiển thị ở kích thước hợp lý.)
Lưu ý rằng bằng cách sử dụng tính đều đặn của các chất ổn định này, không cần thiết cho đoạn mã bề mặt là hình vuông (hoặc thậm chí theo nguyên tắc hình chữ nhật). * Điều này sẽ trở nên quan trọng sau này.
Có một số hoạt động (sản phẩm tenor) Pauli đi lại với tất cả các chất ổn định này. Chúng có thể được sử dụng để xác định các toán tử Pauli logic , mô tả các cách mà bạn có thể truy cập và chuyển đổi các qubit logic. Chẳng hạn, một sản phẩm của các toán tử Z trên bất kỳ hàng nào từ ranh giới đến ranh giới sẽ đi lại với tất cả các bộ ổn định và có thể được lấy để biểu diễn một toán tử Z logic ; một sản phẩm của các toán tử X trên bất kỳ cột nào từ ranh giới này sang ranh giới khác có thể được lấy tương tự để biểu diễn một toán tử X logic :
Không quan trọng bạn sử dụng hàng nào hoặc cột nào: điều này xuất phát từ thực tế là sản phẩm của hai hàng toán tử Z hoặc bất kỳ hai cột toán tử X nào , có thể được tạo như một sản phẩm của chất ổn định và do đó nhận ra hoạt động nhận dạng trên qubit được mã hóa (như máy phát điện ổn định mình là nhà khai thác mà thực hiện các hoạt động nhận dạng trên một trạng thái qubit được mã hóa, theo định nghĩa). Vì vậy: nếu bạn muốn áp dụng thao tác X cho qubit được mã hóa, một cách để làm như vậy là áp dụng thao tác X logic như vậy , bằng cách nhận ra X toán tử trên mỗi qubit trong một cột đạt giữa hai ranh giới. **
Các phép đo Pauli đơn qubit hợp lý
Một lợi thế của việc nghĩ về các qubit được mã hóa theo các toán tử logic là nó cho phép bạn cũng xác định cách bạn có thể thực hiện một 'phép đo logic' - nghĩa là, một phép đo không chỉ của (một số) các qubit trong mã, nhưng của dữ liệu mà họ mã hóa. Đi theo logic X điều hành trên, ví dụ: các nhà điều hành X ⊗ X ⊗ ... ⊗ X là không chỉ đơn nhất, nhưng Hermitian, có nghĩa là nó là một quan sát mà bạn có thể đo lường . (Tất nhiên, cùng một ý tưởng được sử dụng với các bộ ổn định mã, tất nhiên, chúng tôi đo lường để cố gắng phát hiện lỗi.) Điều này có nghĩa là để nhận ra phép đo X logic , nó đủ để đo logic Xcó thể quan sát. (Điều tương tự cũng xảy ra đối với Z có thể quan sát được, nếu bạn muốn nhận ra phép đo cơ sở tiêu chuẩn trên qubit được mã hóa của mình; và mọi thứ tôi nói dưới đây cũng có thể được áp dụng cho các phép đo Z logic với các sửa đổi phù hợp.)
Bây giờ - đo lường mức logic X có thể quan sát được không hoàn toàn giống với việc đo từng toán tử X qubit đơn lẻ một lần. Nhà điều hành X ⊗ X ⊗ ... ⊗ X chỉ có hai giá trị riêng, +1 và -1, vì vậy đo mà nhà điều hành chính xác chỉ có thể có hai kết quả, trong khi đo mỗi n qubit sẽ có 2 n kết quả. Ngoài ra, việc đo từng toán tử X qubit đơn sẽ không giữ bạn trong không gian mã: nếu bạn muốn thực hiện tính toán trên trạng thái sau đo lường dự kiến, bạn sẽ phải thực hiện nhiều công việc dọn dẹp để khôi phục qubit đến trạng thái được mã hóa đúng.
Tuy nhiên: nếu bạn không ngại thực hiện công việc dọn dẹp đó hoặc nếu bạn không quan tâm đến việc làm việc với trạng thái sau đo lường, bạn có thể mô phỏng phép đo X logic bằng cách thực hiện các phép đo một qubit đơn lẻ đó, đạt +1 và −1 kết quả, và sau đó tính toán các sản phẩm của họ để có được kết quả đo X ⊗ X ⊗ ... X "sẽ là gì. (Chính xác hơn: đo tất cả các toán tử X qubit đơn đó là điều không làm xáo trộn trạng thái dẫn đến phép đo toán tử sản phẩm tenxơ X ⊗ X ⊗ ... Xvà sản phẩm của các phép đo qubit đơn này sẽ phải mang lại kết quả nhất quán với toán tử sản phẩm tenxơ X ⊗ X ⊗ ... X , vì vậy chúng ta có thể sử dụng phương pháp này để mô phỏng phép đo phức tạp hơn nếu chúng ta không ' t nhớ tất cả các qubit được chiếu lên các trạng thái cơ sở liên hợp như là một tác dụng phụ.)
Phẫu thuật mạng cho các hoạt động hai qubit hợp lý
Để thực hiện thao tác hai qubit, bạn có thể sử dụng một kỹ thuật được gọi là phẫu thuật mạng , trong đó bạn 'hợp nhất' và 'tách' các mảng khác nhau của mạng 2D để nhận ra các thao tác giữa các miếng vá đó (xem [ arXiv: 1111.4022 ], [ arXiv: 1612.07330 ] hoặc [ arXiv: 1704.08670 ] để mô tả đầy đủ các hoạt động này. Tiết lộ: Tôi là tác giả trên phần ba của các bài viết này.) Điều này có thể được nhận ra giữa hai bản vá liền kề của mạng phẳng (như minh họa ở trên) Các hàng và cột "chưa được giải quyết" ở trạng thái phù hợp, sau đó đo các chất ổn định mà trước đây bạn không đo đượcđể mở rộng bộ nhớ cho một hệ thống lớn hơn. (Trong sơ đồ bên dưới, khoảng cách ngang giữa các đoạn mã và cột qubit ở trạng thái | 0⟩ được phóng đại để có hiệu lực.)
Điều này sẽ ảnh hưởng đến các toán tử logic của hệ thống một cách không đồng nhất, và thường được sử dụng (xem [ arXiv: 1612,07330 ] chẳng hạn) để nhận ra một mạch lạc X ⊗ X hoặc Z ⊗ Z đo lường, có thể được cấu tạo để nhận ra một hoạt động CNOT [arXiv: 1612.07330, Hình 1 (b)]:
Bằng cách này, bạn có thể nhận ra thao tác CNOT giữa một cặp qubit được mã hóa. ***
Chú thích
* Bạn cũng có thể sử dụng các sửa đổi nhỏ của mẫu ổn định thông thường, như Letinsky [ arXiv: 1808.02892 ] chứng minh, để đạt được các biểu diễn bề mặt phẳng linh hoạt hơn của các qubit được mã hóa.
** Trong thực tế, thay vì thực hiện rõ ràng các hoạt động (không hoàn toàn một qubit), bạn sẽ tận dụng thực tế là khung tham chiếu cho các qubit được mã hóa là một trong những quy tắc mà bạn đang sửa theo quy ước và cập nhật (hoặc 'biến đổi') khung tham chiếu thay vì trạng thái khi bạn muốn thực hiện thao tác Pauli. Đây cũng là một cách thông minh để sửa lỗi: xử lý các lỗi không phải là "lỗi" phải được "sửa", nhưng như một sự trôi dạt không kiểm soát được nhưng có thể quan sát được trong khung tham chiếu của bạn do kết quả của sự tương tác với môi trường. Sau đó, bạn hy vọng rằng sự trôi dạt này đủ chậm để bạn có thể theo dõi nó một cách chính xác và bù đắp cho sự thay đổi trong khung tham chiếu khi bạn thực hiện tính toán của mình. Đặc biệt trong bối cảnh theo dõi lỗi,Khung Pauli và công việc của nó là mô tả khung tham chiếu theo các hoạt động của Pauli sẽ được yêu cầu đặt hệ thống ở trạng thái thường được mô tả bằng mã sửa lỗi không có lỗi.
*** Nhiều tác giả sẽ mô tả công trình này là điểm phẫu thuật mắt cáo, và nó chắc chắn là ứng dụng cụ thể ban đầu của nó được mô tả trong bài viết gốc [ arXiv: 1111.4022 ]. Về nguyên tắc, có thể thực hiện các hoạt động phức tạp hơn bằng cách sử dụng phân tách và hợp nhất, bằng cách coi các phép hợp nhất và phân tách là hoạt động nguyên thủy theo cách riêng của chúng chứ không chỉ là các thành phần của CNOT và sử dụng các phép biến đổi linh hoạt hơn (nhưng không đặc biệt giống như mạch) - đây thực chất là điểm của bài viết của tôi với Dom Horsman [ arXiv: 1704.08670 ], mở ra khả năng tính toán ZX (một đại diện có phần không chính xác của tính toán lượng tử) thực sự hữu ích cho các ký ức mã bề mặt.