時間反転対称性のソースを表示

{{Expand English|T-symmetry|date=2024年5月}}
'''時間反転対称性'''（じかんはんてんたいしょうせい、{{lang-en|time reversal symmetry}}）とは {{math|''T'' : ''t'' &rarr; &minus;''t''}} となるような変換に関しての物理的[[対称性 (物理学)|対称性]]である。'''T対称性'''（{{lang-en|T-symmetry}}）とも。

== 量子力学 ==
初期状態と終状態を反転する変換下での物理的現象の不変性が物理学でしばしば考察の対象となる。時間反転演算子を {{mvar|T}} とすれば
:<math>THT^{\dagger}=H</math>
:<math>Te^{-iH(t_{f}-t_{i})}T^{\dagger}=e^{iH(t_{f}-t_{i})*}</math>
となる。

初期状態 {{math|{{ket|''&phi;{{sub|i}}''}}}} から 終状態 {{math|{{ket|''&phi;{{sub|f}}''}}}} へ時間発展するある物理現象を考えた場合に、行列要素が
:<math>\langle\phi_{f} | e^{-i H(t_{f }-t_{i} ) } | \phi_{i} \rangle</math>
となる<ref>C. Itzykson and J. Zuber, Quantum Field Theory, McGraw-Hill (1980) </ref>。これは
:<math>\langle \phi_{i} | T^{\dagger} e^{-i H(t_{f }-t_{i} ) } T | \phi_{f} \rangle</math>
すなわち {{math|''T''{{ket|''&phi;{{sub|f}}''}}}} から {{math|''T''{{ket|''&phi;{{sub|i}}''}}}} への時間発展という物理現象についての行列要素と等しい。

===アンチユニタリ演算子===
アンチユニタリ演算子は
:<math> A (  c_{1} | \phi_{1} \rangle +  c_{2} |  \phi_{2} \rangle   ) =   c^{*}_{1} A | \phi_{1} \rangle +  c^{* }_{2}  A |  \phi_{2} \rangle   </math>
:<math> A^{\dagger} A = I </math>
と定義される<ref>J. Greiner and J. Reinhardt, Field Quantization, Springer (1996) </ref>。

例えばある系の基本となる方程式は、
:<math> i \hbar \frac{\partial | \psi \rangle }{\partial t} = H  | \psi \rangle </math>
である。これの時間ミラー系を考えた場合に、仮に時間反転演算子がユニタリであれば、
:<math> i \hbar \frac{\partial | \psi' \rangle }{\partial t'}  = H'  | \psi' \rangle </math>
:<math> \Leftrightarrow i \hbar \frac{\partial T | \psi \rangle }{\partial (-t)} = TH T^{\dagger}  T | \psi \rangle </math>
:<math> \Leftrightarrow - i \hbar \frac{\partial  | \psi \rangle }{\partial t} = H | \psi \rangle </math>
となって元の系の方程式とは符号が異なってしまう。であるから、時間反転演算子<math> T </math>はアンチユニタリ演算子でなければならない。

==脚注==
{{reflist}}

{{C、PおよびT対称性}}
{{物理学の演算子}}
{{Normdaten}}
{{デフォルトソート:しかんはんてんたいしようせい}}
[[Category:対称性]]
[[Category:物理学における時間]]