線形代数において、可逆複素正方行列Uは、その行列の逆行列U −1がその共役転置行列U *と等しい場合、すなわち、
ここで、Iは単位行列である。
物理学、特に量子力学では、共役転置は行列のエルミート随伴と呼ばれ、ダガー( )で表されます。 )、したがって上記の式は次のように書かれます。
複素行列Uは、それがユニタリ行列であり、かつその行列式が1 に等しい場合、特別なユニタリ行列である。
実数の場合、ユニタリ行列の類似物は直交行列です。ユニタリ行列は、状態ベクトルの正規化とそれらの間の内積を保存するため、量子力学において非常に重要です。[ 1 ] [ 2 ]
有限サイズの任意のユニタリ行列Uに対して、以下が成り立つ。
任意の非負整数nに対して、行列乗算を持つすべてのn × nユニタリ行列の集合は、ユニタリ群U( n )と呼ばれる群を形成します。
ユークリッドノルムが1であるすべての正方行列は、2つのユニタリ行列の平均である。[ 3 ]
Uが正方複素行列である場合、次の条件は同等です: [ 4 ]
2 × 2ユニタリ行列 の一般的な表現は次のようになります。
これは4つの実数パラメータ( a の位相、 bの位相、 aとbの相対的な大きさ、および角度φ )に依存し、*は複素共役です。この形式は、このような行列の 行列式が次のようになるように構成されています。
これらの要素のサブグループとこれは特殊ユニタリ群SU(2)と呼ばれます。
いくつかの代替形式の中で、行列Uは次の形式で表すことができます。
どこそして上記、および角度任意の値を取ることができます。
紹介することでそして次のような因数分解が可能である。
この式は、2 × 2ユニタリ行列と角度θの2 × 2直交行列との間の関係を強調しています。
ユニタリ行列を基本行列に分解する方法は他にも多数あります。[ 6 ] [ 7 ] [ 8 ] [ 9 ] [ 10 ] [ 11 ]
大規模システムの物理学は、その構成要素間の局所的な操作の結果として理解されることが多い。今回、相互作用が対称性によって制約される量子システムでは、この見方が不完全である可能性があることが示された。