Matriks uniter

Dalam aljabar linear, matriks persegi U {\displaystyle \mathbf {U} } dengan entri-entri berupa bilangan kompleks disebut uniter jika invers dirinya sama dengan transpos konjugatnya, U {\displaystyle \mathbf {U} ^{*}} . Secara formal, matriks uniter adalah matriks yang memenuhi

U U = U U = I , {\displaystyle \mathbf {U} ^{*}\mathbf {U} =\mathbf {U} \mathbf {U} ^{*}=\mathbf {I} ,}
dengan I {\displaystyle \mathbf {I} } adalah matriks identitas. Dalam bidang fisika, khususnya mekanika kuantum, transpos konjugat dikenal sebagai adjoin Hermite dari suatu matriks dan disimbolkan dengan dagger (†), jadi persamaan di atas dapat dinyatakan sebagai U U = U U = I . {\displaystyle \mathbf {U} ^{\dagger }\mathbf {U} =\mathbf {U} \mathbf {U} ^{\dagger }=\mathbf {I} .} Versi analog dari matriks uniter pada lapangan bilangan real adalah matriks ortogonal. Matriks uniter memiliki peran penting dalam mekanika kuantum karena mereka tidak melestarikan (tidak mengubah) norma, dan akibatnya, juga melestarikan probability amplitudes.

Sifat

Matriks uniter dapat didefinisikan lewat banyak cara. Jika U {\displaystyle \mathbf {U} } adalah matriks persegi dengan entri-entri berupa bilangan kompleks, maka pernyataan-pernyataan berikut ekuivalen:[1]

  • U {\displaystyle \mathbf {U} } adalah matriks uniter.
  • U {\displaystyle \mathbf {U} ^{*}} adalah matriks uniter.
  • U {\displaystyle \mathbf {U} } terbalikkan, dengan invers U 1 = U {\displaystyle \mathbf {U} ^{-1}=\mathbf {U} ^{*}} .
  • Kolom-kolom dari U {\displaystyle \mathbf {U} } membentuk basis ortonormal dari C n {\displaystyle \mathbb {C} ^{n}} terhadap operasi hasil kali dalam yang biasa. Dengan kata lain, U U = I {\displaystyle \mathbf {U} ^{*}\mathbf {U} =\mathbf {I} } .
  • Kolom-kolom dari U {\displaystyle \mathbf {U} } membentuk basis ortonormal dari C n {\displaystyle \mathbb {C} ^{n}} terhadap operasi hasil kali dalam yang biasa. Dengan kata lain, U U = I {\displaystyle \mathbf {UU} ^{*}=\mathbf {I} } .
  • U {\displaystyle \mathbf {U} } adalah suatu isometri terhadap norma yang biasa. Dengan kata lain, U x 2 = x 2 {\displaystyle \|\mathbf {Ux} \|_{2}=\|\mathbf {x} \|_{2}} untuk sembarang x C n {\displaystyle \mathbf {x} \in \mathbb {C} ^{n}} , dengan x 2 = i = 1 n | x i | 2 {\textstyle \|\mathbf {x} \|_{2}={\sqrt {\sum _{i=1}^{n}|x_{i}|^{2}}}} .
  • U {\displaystyle \mathbf {U} } merupakan matriks normal (secara ekuivalen, ada suatu basis ortonormal yang dibentuk oleh vektor-vektor eigen dari U {\displaystyle \mathbf {U} } ) dengan nilai-nilai eigennya terletak pada lingkaran satuan.

Selain itu, sifat-sifat berikut selalu dipenuhi untuk sembarang matriks uniter U {\displaystyle \mathbf {U} } berukuran hingga:

  • Untuk sembarang vektor kompleks x {\displaystyle \mathbf {x} } dan y {\displaystyle \mathbf {y} } , perkalian dengan U {\displaystyle \mathbf {U} } akan mempertahankan hasil kali dalam kedua vektor tersebut; dengan kata lain, U x , U y = x , y {\displaystyle \langle \mathbf {Ux} ,\mathbf {Uy} \rangle =\langle \mathbf {x} ,\mathbf {y} \rangle } .
  • U {\displaystyle \mathbf {U} } juga merupakan matriks normal, karena U U = U U {\displaystyle \mathbf {U} ^{*}\mathbf {U} =\mathbf {U} \mathbf {U} ^{*}} .
  • Sebagai akibat dari teorema spektral, U {\displaystyle \mathbf {U} } dapat diagonalkan; dengan kata lain, U {\displaystyle \mathbf {U} } serupa secara uniter dengan suatu matriks diagonal.. Hal ini mengartikan U {\displaystyle \mathbf {U} } memiliki faktorisasi berbentuk U = V D V {\displaystyle \mathbf {U=VDV} ^{*}} , dengan V {\displaystyle \mathbf {V} } berupa matriks uniter, dan D {\displaystyle \mathbf {D} } berupa matriks diagonal dan uniter.
  • | det ( U ) | = 1 {\displaystyle \left|\det(\mathbf {U} )\right|=1} .
  • Ruang eigen dari U {\displaystyle \mathbf {U} } bersifat ortogonal.
  • U {\displaystyle \mathbf {U} } dapat ditulis sebagai U = e i H {\displaystyle \mathbf {U} =e^{i\mathbf {H} }} , dengan e {\displaystyle e} menyatakan eksponensiasi matriks, i {\displaystyle i} adalah unit imajiner, dan H {\displaystyle \mathbf {H} } berupa matriks Hermite.

Untuk sembarang bilangan bulat nonnegatif n {\displaystyle n} , himpunan semua matriks uniter berukuran n × n {\displaystyle n\times n} yang dilengkapi operasi perkalian matriks akan membentuk sebuah grup, yang dikenal sebagai grup uniter U ( n ) {\displaystyle U(n)} .

Konstruksi secara sederhana

Matriks uniter berukuran 2 × 2

Ekspresi umum dari suatu matriks uniter berukuran 2 × 2 adalah

U = [ a b e i φ b e i φ a ] , | a | 2 + | b | 2 = 1 , {\displaystyle \mathbf {U} ={\begin{bmatrix}a&b\\-e^{i\varphi }b^{*}&e^{i\varphi }a^{*}\\\end{bmatrix}},\qquad \left|a\right|^{2}+\left|b\right|^{2}=1,}

yang bergantung pada empat parameter real, yakni fasa dari a {\displaystyle a} , fasa dari b {\displaystyle b} , magnitudo relatif antara a {\displaystyle a} dan b {\displaystyle b} , dan sudut and φ. Determinan dari matriks tersebut adalah

det ( U ) = e i φ . {\displaystyle \det(\mathbf {U} )=e^{i\varphi }.}
Grup dari matriks uniter U {\displaystyle \mathbf {U} } dengan det ( U ) = 1 {\displaystyle \det(\mathbf {U} )=1} dikenal dengan grup uniter spesial (special unitary group) S U ( 2 ) {\displaystyle SU(2)} .

Matriks U {\displaystyle \mathbf {U} } juga dapat dituliskan dalam bentuk alternatif berikut:

U = e i φ / 2 [ e i φ 1 cos θ e i φ 2 sin θ e i φ 2 sin θ e i φ 1 cos θ ] , {\displaystyle \mathbf {U} =e^{i\varphi /2}{\begin{bmatrix}e^{i\varphi _{1}}\cos \theta &e^{i\varphi _{2}}\sin \theta \\-e^{-i\varphi _{2}}\sin \theta &e^{-i\varphi _{1}}\cos \theta \\\end{bmatrix}},}

yang, dengan memperkenalkan variabel φ 1 = ψ + Δ {\displaystyle \varphi _{1}=\psi +\Delta } dan φ 1 = ψ Δ {\displaystyle \varphi _{1}=\psi -\Delta } , akan memiliki faktorisasi berbentuk:

U = e i φ / 2 [ e i ψ 0 0 e i ψ ] [ cos θ sin θ sin θ cos θ ] [ e i Δ 0 0 e i Δ ] . {\displaystyle \mathbf {U} =e^{i\varphi /2}{\begin{bmatrix}e^{i\psi }&0\\0&e^{-i\psi }\end{bmatrix}}{\begin{bmatrix}\cos \theta &\sin \theta \\-\sin \theta &\cos \theta \\\end{bmatrix}}{\begin{bmatrix}e^{i\Delta }&0\\0&e^{-i\Delta }\end{bmatrix}}.}

Ekspresi tersebut memperjelas hubungan antara matriks uniter berukuran 2 × 2 dan matriks ortogonal dengan sudut θ. Bentuk faktorisasi lain adalah[2]

U = [ cos α sin α sin α cos α ] [ e i ξ 0 0 e i ζ ] [ cos β sin β sin β cos β ] . {\displaystyle \mathbf {U} ={\begin{bmatrix}\cos \alpha &-\sin \alpha \\\sin \alpha &\cos \alpha \\\end{bmatrix}}{\begin{bmatrix}e^{i\xi }&0\\0&e^{i\zeta }\end{bmatrix}}{\begin{bmatrix}\cos \beta &\sin \beta \\-\sin \beta &\cos \beta \\\end{bmatrix}}.}

Matriks uniter juga memiliki beberapa faktorisasi matriks-matriks dasar.[3][4][5]

Referensi

  1. ^ Horn, Roger A.; Johnson, Charles R. (2013). Matrix Analysis. Cambridge University Press. doi:10.1017/9781139020411. ISBN 9781139020411. 
  2. ^ Führ, Hartmut; Rzeszotnik, Ziemowit (2018). "A note on factoring unitary matrices". Linear Algebra and Its Applications. 547: 32–44. doi:10.1016/j.laa.2018.02.017. ISSN 0024-3795. 
  3. ^ Williams, Colin P. (2011), Williams, Colin P., ed., "Quantum Gates", Explorations in Quantum Computing, Texts in Computer Science (dalam bahasa Inggris), London: Springer, hlm. 82, doi:10.1007/978-1-84628-887-6_2, ISBN 978-1-84628-887-6, diakses tanggal 2021-05-14 
  4. ^ Nielsen, Michael A.; Chuang, Isaac (2010). Quantum Computation and Quantum Information. Cambridge: Cambridge University Press. hlm. 20. ISBN 978-1-10700-217-3. OCLC 43641333. 
  5. ^ Barenco, Adriano; Bennett, Charles H.; Cleve, Richard; DiVincenzo, David P.; Margolus, Norman; Shor, Peter; Sleator, Tycho; Smolin, John A.; Weinfurter, Harald (1995-11-01). "Elementary gates for quantum computation". Physical Review A. American Physical Society (APS). 52 (5): 3457–3467. arXiv:quant-ph/9503016 alt=Dapat diakses gratis. doi:10.1103/physreva.52.3457. ISSN 1050-2947. , page 8

Pranala luar

  • Ivanova, O. A. (2001) [1994], "Unitary matrix", dalam Hazewinkel, Michiel, Encyclopedia of Mathematics, Springer Science+Business Media B.V. / Kluwer Academic Publishers, ISBN 978-1-55608-010-4 
  • "Show that the eigenvalues of a unitary matrix have modulus 1". Stack Exchange. March 28, 2016. 
  • l
  • b
  • s
Kelas-kelas matriks
Batasan pada elemen matriks
  • (0,1)
  • Alternatif
  • Anti-diagonal
  • Anti-Hermitian
  • Anti-simetris
  • Panah condong
  • Bidiagonal
  • Biner
  • Bisimetris
  • Diagonal balok
  • Blok
  • Blok segitiga
  • Sentrosimetri
  • Konferensi
  • Hadamard kompleks
  • Kopositif
  • Dominan diagonal
  • Ekuivalen
  • Permutasi generalisasi
  • Bilangan bulat
  • Logis
  • Monomial
  • Nonnegatif
  • Dipartisi
  • Persimetris
  • Polinomial
  • Positif
  • Kuarter
  • Tanda
  • Signatur
  • Hermitian-miring
  • Simetris-miring
  • Garis langit
  • Z
Konstan
  • Bergeser
  • Pertukaran
Batasan pada nilai eigen dan vektor eigen-nya
  • Kompasi
  • Konvergen
  • Defektif
  • Diagonalisasi
  • Generalisasi-positif
  • Stabilitas
  • Hurwitz
  • Stieltjes
Batasan pada hasil perkalian atau inversnya
  • Congruent
  • Involutori
  • Generalisasi unimodular
  • Penimbangan
Dengan aplikasi tertentu
  • Adjugat
  • Tanda alternatif
  • Augmenten
  • Lingkaran
  • Komutasi
  • Kofunsi
  • Derogasi
  • Duplikasi
  • Eliminasi
  • Jarak Euklides
  • Matriks fundamental (persamaan diferensial linear)
  • Generator
  • Geser
  • Persamaan
  • Acak
  • Bézout
  • Carleman
  • Cartan
  • Coxeter
  • Gram
  • Hesse
  • Householder
  • Imbalan
  • Jacobi
  • Jarak
  • Kofaktor
  • Seifert
  • Simplektik
  • Transformasi
  • Pick
  • Positif total
  • Rotasi
  • Wedderburn
  • X–Y–Z
Digunakan dalam statistika
  • Centering
  • Design
  • Dispersion
  • Doubly stochastic
  • Fisher information
  • Hat
  • Precision
Digunakan dalam teori graf
  • Adjacency
  • Biadjacency
  • Degree
  • Incidence
  • Seidel adjacency
  • Skew-adjacency
  • Edmonds
  • Laplace
  • Tutte
Digunakan dalam sains dan teknik
  • Fundamental (computer vision)
  • Fuzzy associative
  • Irregular
  • Overlap
  • State transition
  • Substitution
  • Z (chemistry)
  • Cabibbo–Kobayashi–Maskawa
  • Densitas
  • Gamma
  • Gell-Mann
  • Hamilton
  • S
Istilah yang berhubungan
  • Jordan canonical form
  • Matrix exponential
  • Matrix representation of conic sections
  • Perfect matrix
  • Quaternionic matrix
  • Daftar jenis matriks
  • Kategori:Matriks