Ma trận Pauli

Trong toán học và vật lý lý thuyết, các ma trận Pauli là ba ma trận có kích thước :

Ở đây "i" là đơn vị ảo. Các ma trận này được đặt tên theo nhà vật lý Wolfgang Pauli. Trong cơ học lượng tử, các ma trận này xuất hiện trong phương trình Pauli, thể hiện sự tương tác của các spin của một hạt với một trường điện từ bên ngoài. Trong tính toán lượng tử, các ma trận Pauli là các ma trận của các toán tử Pauli, hay cổng Pauli, gồm cổng Pauli X, ứng với toán tử formula_4, cổng Pauli Y, ứng với toán tử formula_5, và cổng Pauli Z, ứng với toán tử formula_6. Các ma trận Pauli có tính chất Hermite và unitary.

Các ma trận Pauli cùng với ma trận đơn vị (còn được coi là ma trận Pauli thứ 0 ), tạo thành một hệ cơ sở cho không gian vectơ của các ma trận Hermite.

Mỗi toán tử Hermite đều đại diện cho một đại lượng vật lý nào đó, vì vậy các ma trận Pauli , trong không gian Hilbert phức 2 chiều, đại diện cho các đại lượng vật lý tương ứng, là thành phần spin chiếu dọc theo trục "k" trong không gian ba chiều Ơ clít .

== Giá trị riêng và vectơ riêng==
Các ma trận Pauli (sau khi nhân với - đơn vị ảo, trở thành anti-Hermitian), sẽ tạo ra các biến đổi của đại số Lie: các ma trận tạo thành một hệ cơ sở cho SU(2). Đại số học được tạo ra bởi ba ma trận là đẳng cấu với đại số Clifford của , và được gọi là đại số của không gian vật lý. Ta có thể biểu diễn như sau:

Từ đó tính được:

Giá trị riêng của từng ma trận đều là 

Vecto riêng tương ứng lần lượt là:

==Vecto Pauli==
Vecto Pauli được định nghĩa như sau: 
Và cung cấp một cơ chế ánh xạ từ một cơ sở vector đến một cơ sở ma trận Pauli [2]
Từ đó ta có:
Tính được vectơ riêng là:
formula_15

==Phép giao hoán ==
Các ma trận Pauli có tính giao hoán. Cụ thể:
và phi giao hoán:

Xét các ví dụ sau:

==Tích có hướng và tích vô hướng==
Các vectơ Pauli thiết lập các mối quan hệ giao hoán và phi giao hoán dựa trên phép nhân vectơ.
vậy nên, 

Mỗi vế của phương trình với các thành phần -vector và (có giao hoán với ma trận Pauli với mỗi ma trận và vectơ (cũng nhw là ), và , để tránh mâu thuẫn về mặt ký hiệu,

Cuối cùng, ta quy ước ký hiệu tích vô hướng và tích có hướng. Kết quả như sau:
== Toán tử Pauli và mô men động lượng==
Cổng Pauli X còn được gọi là cổng NOT. Cổng này có ý nghĩa là tạo ra trang thái "ngược" với trạng thái |0> hoặc |1> đầu vào, tương đương với việc quay trạng thái qubit trên mặt cầu Bloch sang điểm đối diện với nó trên mặt cầu.

Ba toán tử Pauli có mối liên hệ với nhau tương tự như ba toán tử thành phần mô men động lượng formula_23, formula_24, formula_25, ví dụ:
Trong cơ học lượng tử, bộ ba toán tử nào liên hệ với nhau theo kiểu trên đều được coi như tương ứng với đại lượng mô men động lượng. Cụ thể các toán tử Pauli tương ứng với một dạng mô men động lượng đặc biệt của hệ vật chất gọi là spin. Toán tử X ứng với đại lượng vật lý spin theo trục X, toán tử Y ứng với spin theo trục Y, toán tử Z ứng với spin theo trục Z. Véc tơ spin là:

Véc tơ riêng của Pauli Z là |0> và |1>, ứng với trị riêng 1 và -1:
Véc tơ riêng của Pauli X là |+> và |->, ứng với trị riêng 1 và -1:
Véc tơ riêng của Pauli Y là formula_32 và formula_33, ứng với trị riêng 1 và -1:

== Tham khảo ==
- https://en.wikipedia.org/wiki/Pauli_matrices#Completeness_relation
- https://vi.wikibooks.org/wiki/Tính_toán_lượng_tử
- Foundations of Quantum Mechanics: From Photons to Quantum Computers
by Reinhold Blümel