量子コンピューティングを齧る 量子演算子
量子コンピューティングの本を読んでいると「演算子」という言葉が当たり前のように出てくる。
ITの分野で演算子といえば、+-*/のような算術演算子だったり<=>みたいな比較演算子、&^|なんかのビット演算子が頭に浮かぶ。
そういうやつとはニュアンスが違う（気がする）のでClaudeに解説してもらった。
ただし量子力学に馴染みがないとこの解説でもわからないと思う。
そんな時にはまずこの本を。ちょっとわかる。
（量子）演算子とは
量子の演算子は量子力学において非常に重要な概念です。簡単に言えば、量子系の物理量や操作を数学的に表現するものです。
定義： 量子演算子は、量子状態（波動関数）に作用して別の量子状態を生成する数学的な操作です。
主な特徴：
線形性：演算子 A に対して、A(α|ψ⟩ + β|φ⟩) = αA|ψ⟩ + βA|φ⟩
エルミート性：多くの物理量を表す演算子はエルミート演算子です（A† = A）
※"†"：ダガー
「エルミート演算子」は後述
重要な演算子の例：
a) 位置演算子 x： x|ψ⟩ = x・ψ(x)
b) 運動量演算子 p： p = -iℏ∇ （∇はナブラ演算子）
c) ハミルトニアン H： 系の全エネルギーを表し、時間発展を記述します。 H = T + V （T は運動エネルギー、V はポテンシャルエネルギー）
d) スピン演算子 S： 粒子の内部角運動量（スピン）を表します。
演算子の期待値： 状態 |ψ⟩ における演算子 A の期待値は： ⟨A⟩ = ⟨ψ|A|ψ⟩
固有値と固有状態： A|ψ⟩ = a|ψ⟩ ここで a は演算子 A の固有値、|ψ⟩ は対応する固有状態です。
交換関係： 二つの演算子 A と B の交換関係 [A, B] = AB - BA は量子力学で重要な役割を果たします。
例：位置と運動量の交換関係 [x, p] = iℏ
※'ℏ': エイチバー（プランク定数を2πで割ったもの、ディラック定数）
「ディラック定数」は後述
応用例：
シュレーディンガー方程式：iℏ∂|ψ⟩/∂t = H|ψ⟩
ハイゼンベルクの不確定性原理：ΔxΔp ≥ ℏ/2
量子演算子は、古典力学では単なる数値だった物理量を、量子力学では状態に作用する操作として扱います。これにより、量子系の振る舞いをより正確に記述し、予測することができます。
エルミート演算子とは
エルミート演算子は量子力学で非常に重要な概念です。その定義と主な特徴について説明しましょう。
定義： エルミート演算子 A は、その共役転置 A† が自分自身と等しい演算子です。 数学的に表すと：A = A†
※"†"：ダガー
主な特徴：
a) 実数の固有値： エルミート演算子の固有値はすべて実数です。
b) 直交固有状態： 異なる固有値に対応する固有状態は互いに直交します。
c) 期待値が実数： エルミート演算子の期待値は常に実数になります。
物理的意味： 物理量を表す演算子はエルミートでなければなりません。これは、測定結果が実数であるべきという物理的要請に対応します。
例：
位置演算子 x
運動量演算子 p = -iℏ∇
※'ℏ': エイチバー（プランク定数を2πで割ったもの）
'∇': ナブラ（微分演算子）
ハミルトニアン H（系の全エネルギーを表す）
スピン演算子 Sx, Sy, Sz
数学的表現：行列表現では、エルミート行列 A は以下の条件を満たします。
A_ij = (A_ji)* （すべての i と j について）
（A_ij は行列 A の i 行 j 列の要素、(A_ji)* は A_ji の複素共役を表す）
重要性：
観測可能量（物理量）はエルミート演算子で表されます。
シュレーディンガー方程式のハミルトニアンはエルミートです。
量子力学の公理の一部として、測定可能な物理量はエルミート演算子で表現されます。
応用：
エネルギー準位の計算
角運動量の理論
摂動論での使用
エルミート演算子の概念は、量子力学の数学的構造と物理的解釈を結びつける重要な役割を果たしています。これにより、量子系の振る舞いを正確に記述し、実験結果と理論を整合させることができます。
ディラック定数とは
プランク定数を2πで割ったものはディラック定数と呼ばれています。
定義： ℏ = h / (2π)
ここで、h はプランク定数、ℏ はディラック定数（約1.054571817 × 10^-34 J⋅s）
名称：
ℏ：ディラック定数（Dirac constant）
別名：換算プランク定数（reduced Planck constant）
この記事が参加している募集
この記事が気に入ったらサポートをしてみませんか？