Phép đo lượng tử yếu
Trong cơ học lượng tử, Phép đo lượng tử yếu là một trường hợp đặc biệt của mô hình chuẩn von Neumann cho phép đo lượng tử, trong đó hệ lượng tử cần đo tương tác hoặc liên kết yếu với máy đo. Một hệ quả quan trọng của quá trình này là "giá trị yếu" thể hiện trên máy đo. Trái ngược với các phép đo chuẩn của cơ học lượng tử, giá trị yếu có thể nằm ngoài vùng trị riêng khả dĩ của biến lượng tử mô tả cho phép đo và thậm chí nó có thể là một số phức. Đặc điểm này của giá trị yếu hoàn toàn không đối nghịch với các khái niệm cơ bản của cơ học lượng tử và là một ví dụ của nguyên lý bất định Heisenberg.

Khái niệm phép đo lượng tử yếu và giá trị yếu được đề xuất lần đầu bởi Y. Aharonov, D. Z. Albert và L. Vaidman (AAV) trong bài nghiên cứu với tiêu đề hấp dẫn "Làm thế nào để phép đo thành phần spin của một hạt spin-1/2 đạt giá trị 100". Các thí nghiệm cho phép đo lượng tử yếu được hiện thực hóa lần đầu vào năm 1990 và năm 1992. Mới đây, phép đo yếu đã được sử dụng để nghiên cứu nghịch lý Hardy.

Một phép đo lượng tử yếu bao gồm 4 bước sau đây:
Trong các phép đo gián tiếp, sự tương tác yếu được thể hiện sự tương tác giữa hệ cần đo và hệ phụ trợ (tiếng Anh: ancilla), điển hình như trong thí nghiệm xác định độ phân cực của photon, trong đó độ phân cực của hệ phụ trợ được đo và sau đó được dùng để suy ra độ phân cực của hệ chính. Sự tương tác yếu trong thí nghiệm này được thể hiện qua sự tương tác giữa hệ cần đo và hệ phụ trợ khi đi qua cổng CNOT. Giả sử, tại thời điểm ban đầu, trạng thái của hệ chính được cho bởi formula_3, formula_4; trạng thái của hệ phụ là formula_5. Trạng thái ban đầu của toàn hệ sẽ là:

Khi đi qua cổng CNOT, nếu qubit điều khiển là formula_7 thì qubit mục tiêu được giữ nguyên; nếu qubit điều khiển là formula_8 thì qubit mục tiêu bị biến đổi formula_9 và ngược lại. Khi đó trạng thái của toàn hệ sau cổng CNOT sẽ là:

Ta có thể thấy rằng khi formula_11 trạng thái của toàn hệ sau cổng CNOT không thay đổi. Do đó, tham số formula_12 có thể đặc trưng cho sự tương tác của phép đo và phép đo yếu xảy ra khi formula_13, với formula_14.

Xét một hệ hạt được chuẩn bị ở trạng thái formula_15 và ta muốn đo biến lượng tử formula_16 trên hệ hạt này. Một phép đo chỉ diễn ra khi có sự tương tác giữa hệ cần đo và máy đo. Theo mô hình von Neumann cho phép đo lượng tử, sự tương tác này được biểu diễn bởi hàm Hamiltonian tương tác:

trong đó formula_18 là toán tử động lượng của kim chỉ trên máy đo. Toán tử liên hiệp với nó là toán tử tọa độ của kim chỉ formula_19; formula_20 là hàm phụ thuộc thời gian, biểu trưng cho sự tương tác giữa hệ cần đo và máy đo. Thông thường, phép đo chỉ diễn ra trong một khoảng thời gian rất ngắn. Do đó, ta có thể giả định formula_21, trong đó formula_22 là một hằng số. Bởi vì phép đo cũng là một hệ lượng tử, do đó nó phải có trạng thái lượng tử, giả sử formula_23. Ban đầu, trạng thái của toàn hệ là formula_24. Khi máy đo tương tác với hệ cần đo, trạng thái của toàn hệ sẽ là formula_25. Sau đó, sự lựa chọn sau formula_26được áp đặt lên hệ cần đo, dẫn đến trạng thái của kim chỉ trên máy đo (chưa được chuẩn hóa) biến đổi thành:

Trong các phép đo thông thường, hệ số tương tác formula_22 lớn, nên hàm sóng của kim chỉ trên máy đo sau tương tác sẽ có dạng formula_29 với formula_30 là giá trị trông đợi của toán tử formula_16. Nếu ta giới hạn hệ số tương tác formula_22 ở mức rất nhỏ, ta có thể bỏ qua các phần tử chứa bậc cao và chỉ giữ lại phần tử phụ thuộc bậc nhất theo formula_22 trong khai triển Taylor của trạng thái của kim chỉ trên máy đo:

Kết quả này cho thấy khi tiến trình đo kết thúc, hàm sóng của kim chỉ sẽ là formula_35. Ở đây, formula_36 được định nghĩa là giá trị yếu của toán tử formula_16 với formula_38 và formula_39 là các trạng thái lựa chọn trước và sau:

Trong các phép đo thông thường, cơ học lượng tử bắt buộc rằng kim chỉ của máy đo bị giới hạn trong vùng trị riêng của toán tử và nó phải là số thực. Quan sát công thức này, ta thấy rằng formula_36 nói chung là một số phức và có thể nằm ngoài khoảng trị riêng khả dĩ của formula_16. Điểm đặc trưng này của phép đo yếu không hoàn toàn bác bỏ các lập luận của cơ học lượng tử. Thay vào đó, nó có thể được coi là một kết quả của nguyên lý bất định Heisenberg. Nghĩa là, vì ta đã suy giảm hệ số tương tác của phép đo, ta không thể thu được thông tin chính xác về kết quả của phép đo, ở đây là giá trị trông đợi formula_43.

Trong trường hợp tổng quát, trạng thái chọn lọc trước có thể là trạng thái hỗn hợp:formula_44 và sự chọn lọc sau được thay thế bởi bộ phép đo các toán tử dương:formula_45 (tiếng Anh: Positive-operator valued measure - POVM) thì biểu thức tổng quát cho giá trị yếu được cho bởi:

Lưu ý rằng hiện nay có 2 cách trình bày để dẫn đến giá trị yếu. Cách lập luận theo hệ số tương tác được trình bày ở đây dựa trên bài báo của R. Jozsa và được coi là cách thuận tiện nhất để giới thiệu giá trị yếu và dễ dàng cho ngành thông tin lượng tử. Một cách dẫn giải khác dựa trên độ bất định ban đầu của kim chỉ được trình bày trong bài báo của AAV . Cách dẫn giải này phù hợp với trường hợp liên tục (tọa độ, động lượng...) và dễ nêu lên mối liên hệ với nguyên lý bất định Heisenberg nhưng quá trình tính toán khá phức tạp.

Các khái niệm chọc lọc trước và sau được đề xuất cũng chính bởi AAV trong bài báo đầu tiên về phép đo yếu , trong đó sự chọn lọc sau đóng vai trò rất quan trọng trong khái niệm phép đo yếu. Sự chọn lọc trước, trong ngôn ngữ thông thường của cơ học lượng tử, có thể được coi là giai đoạn chuẩn bị trạng thái lượng tử. Từ biểu thức của giá trị yếu, ta có thể thấy rằng nếu sự chọn lọc sau giống với sự chọn lọc trước, ta thu lại được giá trị trông đợi cho phép đo của formula_16, hoàn toàn phù hợp với lý thuyết phép đo chuẩn của von Neumann. Ngược lại, rắc rối chỉ xảy ra khi các trạng thái chọn lọc trước và sau trực giao với nhau, formula_48. Việc xây dựng giá trị yếu trong trường hợp này đòi hỏi nhiều sự chỉnh sửa trong cách tính toán dẫn đến giá trị yếu và những lập luận mang tính tổng quát hơn.

Mục đích chính của AAV khi phát triển lý thuyết phép đo yếu là để nghiên cứu sự biến đổi của trạng thái lượng tử trong quá trình tương tác. Nhận thấy vai trò quan trọng của sự chọn lọc trước và sau trong giá trị yếu, Aharonov đã mở rộng các khái niệm này để xây dựng mô hình lý thuyết dựa trên vector của 2 trạng thái (tiếng Anh: two-state vector formalism) và nhấn mạnh quan điểm thời gian là đối xứng trong cơ học lượng tử.
