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 Bản mẫu:Math:

$X=\left[\begin{array}{cc}0& 1\\ 1& 0\end{array}\right]$

$Y=\left[\begin{array}{cc}0& -i\\ i& 0\end{array}\right]$

$Z=\left[\begin{array}{cc}1& 0\\ 0& (-1)\end{array}\right]$

Ở đâ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ử $\widehat{{\sigma }_x}$, cổng Pauli Y, ứng với toán tử $\widehat{{\sigma }_y}$, và cổng Pauli Z, ứng với toán tử $\widehat{{\sigma }_z}$. 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ị Bản mẫu:Mvar (còn được coi là ma trận Pauli thứ 0 Bản mẫu:Math), tạo thành một hệ cơ sở cho không gian vectơ của các ma trận Bản mẫu:Math 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 Bản mẫu:Math, 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 Bản mẫu:Math.

Giá trị riêng và vectơ riêng

Các ma trận Pauli (sau khi nhân với Bản mẫu:Mvar - đơ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 Bản mẫu:Math 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 Bản mẫu:Math là đẳng cấu với đại số Clifford của Bản mẫu:Math, và được gọi là đại số của không gian vật lý. Ta có thể biểu diễn như sau:

${\sigma }_a=\left(\begin{array}{cc}{\delta }_{a3}& {\delta }_{a1}-i{\delta }_{a2}\\ {\delta }_{a1}+i{\delta }_{a2}& -{\delta }_{a3}\end{array}\right)$

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

${\sigma }_1^2={\sigma }_2^2={\sigma }_3^2=-i{\sigma }_1{\sigma }_2{\sigma }_3=\left(\begin{array}{cc}1& 0\\ 0& 1\end{array}\right)=I$

(Với Bản mẫu:Math là ma trận đơn vị)

$\begin{array}{cc}\det {\sigma }_i& =-1,\\ \mathrm{Tr}{\sigma }_i& =0.\end{array}$

Giá trị riêng của từng ma trận Bản mẫu:Math đều là Bản mẫu:Math

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

$\begin{array}{cccc}& {\psi }_{x+}=\frac{1}{\sqrt{2}}\left(\begin{array}{c}1\\ 1\end{array}\right),& & {\psi }_{x-}=\frac{1}{\sqrt{2}}\left(\begin{array}{c}1\\ -1\end{array}\right),\\ & {\psi }_{y+}=\frac{1}{\sqrt{2}}\left(\begin{array}{c}1\\ i\end{array}\right),& & {\psi }_{y-}=\frac{1}{\sqrt{2}}\left(\begin{array}{c}1\\ -i\end{array}\right),\\ & {\psi }_{z+}=\left(\begin{array}{c}1\\ 0\end{array}\right),& & {\psi }_{z-}=\left(\begin{array}{c}0\\ 1\end{array}\right).\end{array}$

Vecto Pauli

Vecto Pauli được định nghĩa như sau:

$\overrightarrow{\sigma }={\sigma }_1\hat{x}+{\sigma }_2\hat{y}+{\sigma }_3\hat{z}$

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]

$\begin{array}{cc}\overrightarrow{a}\cdot \overrightarrow{\sigma }& =(a_i{\hat{x}}_i)\cdot ({\sigma }_j{\hat{x}}_j)\\ & =a_i{\sigma }_j{\hat{x}}_i\cdot {\hat{x}}_j\\ & =a_i{\sigma }_j{\delta }_{ij}\\ & =a_i{\sigma }_i=\left(\begin{array}{cc}{a}_3& a_1-i{a}_2\\ a_1+i{a}_2& -a_3\end{array}\right)\end{array}$

Từ đó ta có:

$\det \overrightarrow{a}\cdot \overrightarrow{\sigma }=-\overrightarrow{a}\cdot \overrightarrow{a}=-|\overrightarrow{a}{|}^2,$

$\frac{1}{2}\mathrm{t}\mathrm{r}[(\overrightarrow{a}\cdot \overrightarrow{\sigma })\overrightarrow{\sigma }]=\overrightarrow{a}.$

Tính được vectơ riêng là: ${\psi }_{+}=\left(\begin{array}{c}{a}_3+|\overrightarrow{a}|\\ a_1+i{a}_2\end{array}\right);{\psi }_{-}=\left(\begin{array}{c}i{a}_2-a_1\\ a_3+|\overrightarrow{a}|\end{array}\right).$

Phép giao hoán

Các ma trận Pauli có tính giao hoán. Cụ thể:

$[{\sigma }_a,{\sigma }_b]=2i{\epsilon }_{abc}{\sigma }_c,$

và phi giao hoán:

$\{{\sigma }_a,{\sigma }_b\}=2{\delta }_{ab}I.$

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

$\begin{array}{cc}[{\sigma }_1,{\sigma }_2]& =2i{\sigma }_3\\ [{\sigma }_2,{\sigma }_3]& =2i{\sigma }_1\\ [{\sigma }_3,{\sigma }_1]& =2i{\sigma }_2\\ [{\sigma }_1,{\sigma }_1]& =0\\ \{{\sigma }_1,{\sigma }_1\}& =2I\\ \{{\sigma }_1,{\sigma }_2\}& =0.\\ \end{array}$

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ơ.

$\begin{array}{cc}[{\sigma }_a,{\sigma }_b]+\{{\sigma }_a,{\sigma }_b\}& =({\sigma }_a{\sigma }_b-{\sigma }_b{\sigma }_a)+({\sigma }_a{\sigma }_b+{\sigma }_b{\sigma }_a)\\ 2i{\epsilon }_{abc}{\sigma }_c+2{\delta }_{ab}I& =2{\sigma }_a{\sigma }_b\end{array}$

vậy nên,

${\sigma }_a{\sigma }_b=i{\epsilon }_{abc}{\sigma }_c+{\delta }_{ab}I.$

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

$\begin{array}{cc}{a}_p{b}_q{\sigma }_p{\sigma }_q& =a_p{b}_q(i{\epsilon }_{pqr}{\sigma }_r+{\delta }_{pq}I)\\ a_p{\sigma }_p{b}_q{\sigma }_q& =i{\epsilon }_{pqr}{a}_p{b}_q{\sigma }_r+a_p{b}_q{\delta }_{pq}I.\end{array}$

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: Bản mẫu:NumBlk

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.

$X|0⟩=\text{NOT}|0⟩=\left[\begin{array}{cc}0& 1\\ 1& 0\end{array}\right]\left[\begin{array}{c}1\\ 0\end{array}\right]=\left[\begin{array}{c}0\\ 1\end{array}\right]=|1⟩$

$X|1⟩=\text{NOT}|1⟩=\left[\begin{array}{cc}0& 1\\ 1& 0\end{array}\right]\left[\begin{array}{c}0\\ 1\end{array}\right]=\left[\begin{array}{c}1\\ 0\end{array}\right]=|0⟩$

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 $\widehat{L_x}$, $\widehat{L_y}$, $\widehat{L_z}$, ví dụ:

$[\hat{X},\hat{Y}]=2i\hat{Z}$

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à:

$𝐒=\left(\begin{array}{c}X\\ Y\\ Z\end{array}\right)$

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

$Z|0⟩=|0⟩$

$Z|1⟩=-|1⟩$

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

$X|+⟩=\text{NOT}\frac{1}{\sqrt{2}}(|0⟩+|1⟩)=\frac{1}{\sqrt{2}}(|1⟩+|0⟩)=|+⟩$

$X|-⟩=\text{NOT}\frac{1}{\sqrt{2}}(|0⟩-|1⟩)=\frac{1}{\sqrt{2}}(|1⟩-|0⟩)=-|-⟩$

Véc tơ riêng của Pauli Y là $\frac{1}{\sqrt{2}}(|0⟩+i|1⟩)$ và $\frac{1}{\sqrt{2}}(|0⟩-i|1⟩)$, ứng với trị riêng 1 và -1:

$Y\frac{1}{\sqrt{2}}(|0⟩+i|1⟩)=\frac{1}{\sqrt{2}}(|0⟩+i|1⟩)$

$Y\frac{1}{\sqrt{2}}(|0⟩-i|1⟩)=-\frac{1}{\sqrt{2}}(|0⟩-i|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 Jones and Bartlett Learning © 2010 Citation

• Bản mẫu:Chú thích sách
• Bản mẫu:Chú thích sách
• Bản mẫu:Chú thích sách