付録A：量子測定理論と小澤の不等式 —— 観測の真の限界
第9部では、状態自体が持つ本質的なばらつき（ケナード・ロバートソンの不等式）について学びました。しかし、ハイゼンベルクが最初に思考実験で語った「対象を観測すると、どうしても対象を乱してしまう」という「測定の誤差と攪乱」についてはどうなるのでしょうか。
この付録では、測定という行為自体を量子力学的に記述する量子測定理論と、現代の測定限界を規定する小澤の不等式について解説します。
1. 測定のモデル化：対象 A とプローブ B
[cite_start]測定を理解するためには、測られる「対象系 A」だけでなく、測るための目盛りとなる「プローブ系（測定器） B」も含めた全体を量子力学で扱う必要があります [cite: 71, 72, 73, 74]。 （これはアーサーズ・ケリーのモデルなど、現代の量子測定の基礎となる考え方です）
[cite_start]初期状態として、対象を 、プローブを とします [cite: 78][cite_start]。この2つが相互作用することで、全体の状態はユニタリ変換 によって進化します [cite: 78]。
2. クラウス表示と POVM
[cite_start]私たちが知りたいのは対象 A の状態変化なので、プローブ B の情報を「部分トレース（）」して消去します [cite: 79, 81]。
これを計算すると、クラウス演算子（Kraus Operator） を用いて、測定後の状態変化を次のようにシンプルに書くことができます [cite: 83, 84, 85]。
[cite_start]このとき、確率を保存するための条件 が成り立ちます [cite: 90]。 [cite_start]ここで とおくと、これらは を満たす正定値演算子となり、これを POVM（Positive Operator Valued Measure） と呼びます [cite: 88, 91]。 [cite_start]ある測定結果 が得られる確率は、この POVM を使って と見事に定式化されます [cite: 94]。
3. 誤差と攪乱の厳密な定義
測定による「誤差（Noise）」と「攪乱（Disturbance）」を、このモデルを使って厳密に定義しましょう。
- 誤差 ：対象の物理量 と、プローブのメーター の間にどれくらいズレがあるか。 [cite_start]誤差の2乗は で定義されます [cite: 68, 69]。
- 攪乱 ：測定の前後で、もう1つの物理量 がどれくらい変化してしまったか。 [cite_start]これも同様に として定義されます [cite: 67]。
4. 小澤の不等式（Ozawa's Inequality）
[cite_start]ハイゼンベルクは当初、直感的に「誤差 と攪乱 の積は を下回らない」と考えていました。しかし、上記の厳密な定義を用いて計算すると、元のケナード・ロバートソンの関係 [cite: 65] [cite_start]を拡張した、次のような驚くべき不等式が導かれます [cite: 70]。
[cite_start]これが2003年に提唱された小澤の不等式です [cite: 70]。 と は、測定する前の状態が持っていた元々のばらつき（標準偏差）を表します。
この式の革命的な意味： もし、ハイゼンベルクが言ったように が常に正しいなら、誤差をゼロ（完全な測定）にしようとすると攪乱が無限大になってしまいます。 しかし小澤の不等式では、第2項と第3項に が含まれているため、状態の元々のばらつき（）が十分にあれば、誤差 と攪乱 の積をゼロにすることも理論上可能であることが示されたのです。
量子力学は「絶対に正確に測れない」のではなく、「測り方と状態を工夫すれば、ハイゼンベルクの限界を突破できる（ただし小澤の限界は超えられない）」という、より豊かで精密な世界であることが明らかになりました。
インタラクティブ・シミュレーター：小澤の限界とハイゼンベルクの限界
小澤の不等式が示す「誤差 」と「攪乱 」の許容領域をグラフで確認しましょう。 状態の元々のばらつき と をスライダーで大きくしてみてください。ハイゼンベルクの素朴な限界（反比例のカーブ）よりも内側に、測定が許される青い領域が広がっていく様子が分かります。
誤差 ε(A) と 攪乱 η(B) のトレードオフ
※ σ(A), σ(B) が大きいほど、赤い線の内側（ε·η < 0.5 の領域）にも測定可能な領域が広がります。