物理学 › 原子核・素粒子物理 › 弱い相互作用とニュートリノ
CKM 行列と PMNS 行列
型クォーク と 型クォーク の質量固有状態に対し、荷電カレントは
と書かれる。 のユニタリ行列 を CKM 行列(Cabibbo–小林–益川)という。レプトンでは、荷電レプトン と質量固有状態のニュートリノ について とし、 を PMNS 行列(Pontecorvo–牧–中川–坂田)という。ニュートリノのフレーバー状態は である。
閉包の状態
定義
定義は閉包の起点です(証明を要しません)。
印の意味: ✓公理まで証明済み ・ △証明あり(閉包未完)・ ※主張のみ。テーマごとの集計は 閉包の状況。
これを使っている定理
証明で明示的に参照している定理は、まだありません。