塵の粒が日光の筋の中で浮遊しているとき、その正確な位置を記述しようとしていると想像してください。標準的な量子力学（物理学を教える通常の手法）は、その塵を無限の精度で特定できると言います。「それはまさにここ、座標 X にある」と。それは宇宙を、すべての粒子が単一の鋭い位置と、どこかに存在する単一の正確な確率を持つ、完璧な高解像度の写真のように扱います。

**区間量子力学（IQM）*は、アッバス・エダラトによって提案されたもので、この「完璧な写真」という考え方は幻想であると主張します。現実世界では、私たちの目も、検出器も、さらには空間そのものの構造さえも限界を持っています。私たちは無限の精度で何かを測定することは決してできません。私たちは、「塵はここからあそこまでの間*のどこかにある」としか言えないのです。

この論文は、これらの限界を無視するのではなく、それらを出発点として物理学を行う新しい方法を提案します。それがどのように機能するかを、簡単な比喩を用いて説明します。

1. 「量子小包」（点の代わりに）

標準的な物理学では、量子状態は地図上の単一の鋭い点である点です。
一方、IQM では、量子状態は小包です。

ここで言う「小包」とは、郵送する荷物を指すのではなく、ぼんやりとした雲や不確実性の領域として考えてください。

比喩: 猫のぼやけた写真を見ていると想像してください。猫の鼻がどこにあるかを正確には言えません。「鼻はこの小さな円の中に somewhere にある」としか言えないのです。その円があなたの「小包」です。
論文の主張: 系の状態は単一の点ではなく、あなたのぼやけた有限の精度の測定に合うすべての可能な微視的状態の全体である開集合（雲）です。もし系のエネルギーを測定して 5 から 6 の間の値を得た場合、その「状態」とは、その範囲内の結果を生み出す可能性のあるすべての配置の雲全体を指します。

2. 「二重の小包」（不可能なものを追跡する）

標準的な物理学は、魔法のような「収縮」なしに「ものを排除する」という概念に苦しんでいます。IQM はこれを処理するために二重の小包を導入します。

比喩: 1 から 100 までの数字を当てる「数字当てゲーム」をしていると想像してください。
- 小包 1（可能）: それがあり得るとあなたが考えるすべての数字を含む大きな箱（例：1–100）。
- 小包 2（不可能）: それがあり得ないとあなたが知っている数字を入れる別の箱。
論文の主張: 測定を行うとき、あなたは単に「可能」な箱を縮めるだけではありません。いくつかの数字を「不可能」な箱に移すのです。
- 標準的な物理学では、猫を測定して生きていることがわかった場合、猫の「死んだ」バージョンは数学から消えてしまいます。
- IQM では、「死んだ」猫は明示的に不可能な箱へ移動させられます。これにより、排除されたものが何であるかについての明確な幾何学的記録が作成されます。

3. 「猫のパラドックス」の解決

有名なシュレーディンガーの猫思考実験は問いかけます：猫は同時に生きているのでしょうか、それとも死んでいるのでしょうか？

標準的な見方: 猫はあなたが見るまで「重ね合わせ」（生と死の奇妙な混合）の状態にあります。
IQM の見方: 猫は常に生きているか死んでいるかのどちらかです。私たちはまだどちらかを知りません。
- 比喩: 密封された箱があると想像してください。中には猫が入っています。あなたは猫が「箱の中の somewhere にいる」と教えてくれるぼんやりとしたセンサーを持っています。あなたの「小包」（あなたの知識）は、センサーが区別できるほど鋭くないため、「生きている」隅と「死んでいる」隅の両方をカバーしています。
- 解決策: 猫は魔法のように生と死の両方にあるわけではありません。あなたの知識（小包）がそれらを区別するにはあまりにもぼんやりとしているだけです。箱を開ける（測定する）と、あなたの小包は縮みます。「生きている」部分は「可能」な箱に残り、「死んでいる」部分は「不可能」な箱へ移動します。猫は重ね合わせ状態にあったのではなく、あなたの地図にただ大きなぼんやりとした領域があったのです。

4. 「不気味な作用」の消滅

アインシュタインは、ある粒子を測定すると瞬時に遠く離れた別の粒子が変化する「不気味な遠隔作用」を嫌いました。

IQM の見方: 物理的なものは光よりも速く移動しません。
- 比喩: あなたと友人がそれぞれ密封された封筒を持っていると想像してください。一つには赤いカード、もう一つには青いカードが入っています。どちらがどちらかあなたは知りません。あなたの封筒を開けて赤を見ると、瞬時に友人が青を持っていることがわかります。
- あなたは友人に信号を送りましたか？いいえ。あなたは単にあなたの知識を更新しただけです。
- IQM では、アリスが自分の粒子を測定すると、彼女は自分の「小包」を更新します。ボブの粒子は物理的に変化しません。アリスが何かを知ったことを反映するために、結合系の幾何学的記述だけが更新されるのです。これは物理的な信号ではなく、情報の変化です。

5. なぜこれがコンピュータにとって重要なのか

この論文は、これが単なる哲学ではなく、量子コンピュータの構築にとって実用的であると示唆しています。

比喩: 標準的な量子コンピュータは、完璧な無限の精度の数字で計算しようとしますが、これは実際のノイズのあるハードウェアでは不可能です。
論文の主張: IQM は、量子状態を超長方形（区間を持つ箱）のように扱います。これはコンピュータにとって自然な「データ型」です。完璧な点（これは不可能です）を追跡しようとする代わりに、コンピュータは箱を追跡します。
- これにより、エンジニアは計算に含まれる「ぼんやりさ」（誤差）の量を正確に追跡できます。
- それは自らの限界を認識するコンピュータの構築を助け、現実世界のノイズに対してより堅牢なものにします。

まとめ

区間量子力学はこう言います：「私たちが完璧で無限の視覚を持っていると偽り続けるのをやめましょう」。

状態は点ではなく、可能性の雲（小包）です。
測定は現実を魔法のように収縮させるのではなく、単に雲を縮め、排除された選択肢を「不可能」な箱へ移動させるだけです。
パラドックス（猫や不気味な作用など）は、物理的に可能なこと以上のことを知ることができると仮定していたために発生したものであり、消滅します。
結果: 数学的に厳密であり、有限の測定の現実に適応し、実際の量子コンピュータを構築するためのより良い設計図を提供する量子力学のバージョンです。

この論文は結論として、標準的な量子力学の「完璧な」世界は、ピクセル化された画面に描かれた完璧な円のように、私たちが実際に到達することのできない有用な数学的極限に過ぎないと述べています。IQM は、私たちにピクセルで作業するための道具を与えてくれます。

技術的概要：間隔量子力学（IQM）

1. 問題提起

標準量子力学（SQM）は、点のような波動関数、正確な実数確率、鋭い射影測定といった、無限の精度を前提とした理想化に依存している。しかし、物理的現実には、有限の検出器分解能、プランクスケール、および観測の巨視的性質に起因する、精度に対する厳格な上限が存在する。巨視的系において、観測者は微視的状態には決してアクセスできず、総エネルギーや磁化といったいくつかの粗視化された観測量のみをアクセスする。

この不一致は、以下の基礎的なパラドックスを生み出している：

測定問題： 波動関数の見かけ上の収縮と、巨視的状態の文字通りの重ね合わせにあるシュレーディンガーの猫のパラドックス。
非局所性： 量子もつれにおける「不気味な遠隔作用」は、相対論的因果律に明らかに違反しているように見える。
エントロピーのパラドックス： SQM において、純粋状態を測定すると明確な結果が得られるが、フォン・ノイマンエントロピーは変化しない。これは情報の獲得という直感的な概念と矛盾する。

現在の解釈（コペンハーゲン解釈、多世界解釈、QBism）は、これらの問題を解決するために、しばしば追加的な存在論的または主観的な仮定を導入する。本論文は、その根本原因が「点状態」という非物理的な理想化にあると主張する。

2. 手法：間隔量子力学（IQM）

本論文は、基礎的な物理状態がヒルベルト空間内の点ではなく、量子パケットであるという再定式化、すなわち**間隔量子力学（IQM）**を提案する。

2.1 量子パケット

量子パケットとは、密度行列の空間 $\mathcal{D}(\mathcal{H})$ の、空でない弱*開凸部分集合として定義される。形式的に、基本的なパケット $O$ は、巨視的観測量 $H_1, \dots, H_m$ に対する有限個の厳密な期待値間隔によって定義される：
$O = \{ \rho \in \mathcal{D}(\mathcal{H}) : a_j < \text{Tr}(\rho H_j) < b_j, \ j = 1, \dots, m \}$
この集合は、有限精度データを持つ観測者の正確な認識論的状態を表す。これは「真の」点状態の近似ではなく、むしろ点状態が到達不可能な極限である。

2.2 ダブルパケット

否定される情報（明確に排除された状態）を追跡するために、枠組みはダブルパケット $(O_1, O_2)$ を導入する。ここで：

$O_1$ ：現在のデータと整合する可能性のある状態の集合。
$O_2$ ：不可能な状態（明確に除外されたもの）の集合。
$O_1 \cap O_2 = \emptyset$ 。

2.3 幾何学的情報

情報は、これらの集合のヒルベルト・シュミット体積（ $\text{Vol}$ ）を通じて幾何学的に定量化される：

単一パケット情報： $I(O) = 1/\text{Vol}(O)$ 。
ダブルパケット情報： $I(O_1, O_2) = \text{Vol}(O_2) / \text{Vol}(O_1)$ 。
測定の下では、 $O_1$ は収縮し（可能性のある状態が減少）、 $O_2$ は拡大する（不可能な状態が増加）ため、 $I$ は単調に増加する。

2.4 力学と測定

ユニタリ進化： パケットに持ち上げられ、決定論的で体積保存の流れとして記述される： $U(O) = \{ U\rho U^\dagger \mid \rho \in O \}$ 。
ファジー測定： 曖昧さパラメータ $\eta \in (0, 1)$ を持つ正演算子値測度（POVM）を用いてモデル化される。更新写像 $f_j(\rho) = M_j \rho M_j^\dagger / \text{Tr}(\rho E_j)$ は、可能性のある集合の体積を収縮させる。
定理： 本論文は、十分に鋭い測定がダブルパケットの成分の非交差性を保持する条件（定理 5）を確立し、構造が適切に定義されたまま保たれることを保証する。

3. 主要な貢献と結果

3.1 基礎的パラドックスの解決

本論文は、新しい解釈公理なしに、3 つの主要なパラドックスを解決すると主張する：

波動 - 粒子二重性： 測定の精度 $\eta$ によって制御される滑らかなトレードオフとして解決される。 $\eta$ が増加する（経路測定が鋭くなる）につれて、パケットは結果部分空間に向かって収縮し、干渉の可視性は徐々に減衰する。波動像と粒子像の間の急激な切り替えはない。
シュレーディンガーの猫： 猫は文字通りの重ね合わせ状態にあることは決してない。初期パケットが「生きている」と「死んでいる」の両方の可能性を含むのは、巨視的データがそれらを区別できないからに過ぎない。ファジー測定によってパケットが精緻化され、除外された結果が不可能な集合 $O_2$ へと移動する。猫は客観的に生きているか死んでいるかのどちらかであり、「重ね合わせ」は単に粗視化された知識の反映に過ぎない。
量子もつれ： 「不気味な遠隔作用」は、純粋に認識論的な幾何学的更新に置き換えられる。アリスがもつれた対の半分を測定すると、結合パケットが更新され、ボブの周辺分布が瞬時に変化する。これは物理的な信号ではなく、可能性のある状態の集合（情報）の変化であるため、相対論的因果律を尊重する。

3.2 エントロピーのパラドックスの解決

SQM において、純粋状態を測定してもフォン・ノイマンエントロピーは変化しない。一方、IQM において、幾何学的情報 $I(O_1, O_2)$ は、可能性のある集合の体積が収縮し、不可能な集合が拡大するため、すべての測定とともに厳密に増加する。これにより、情報の数学的尺度と知識の獲得という直感的概念が整合する。

3.3 標準量子力学の回復

本論文は（定理 1-3）、無限精度の極限において SQM が正確に回復されることを証明する。パケットを定義する間隔が幅ゼロに収縮するにつれて、パケットは単一の密度行列（点状態）に収束し、間隔値の予測は正確な値に収束する。この極限は、物理的に到達することのない操作的特異点であることが示される。

3.4 計算データ型

IQM は、量子計算のための実用的なデータ型として超長方形パケットを導入する。直交観測量上の間隔によって定義されるこれらのパケットは：

$O(m)$ のストレージのみを必要とする。
ユニタリ進化と期待値間隔に対して多項式時間の操作をサポートする。
近未来中規模量子（NISQ）デバイス向けの、リソースを考慮したコンパイルと精度追跡を可能にする。

4. 意義と主張

本論文は、IQM を量子力学の観測優先かつ計算実用的な再定式化として位置づける。その意義は以下の点にある：

理想化の排除： 有限精度を煩わしさではなく、基本的な物理的制約として扱い、実験室に存在し得ない「点状態」の必要性を排除する。
客観的認識論的枠組み： 状態を主観的信念とみなす QBism とは異なり、IQM は実際の有限精度データによって決定される客観的認識論的状態を提供する。
統合的解決： 収縮、分岐、または隠れた変数を呼び出すことなく、単一の幾何学的メカニズム（パケットの精緻化）を通じて、波動 - 粒子二重性、測定問題、非局所性を解消する。
実用的有用性： 量子計算におけるノイズと有限分解能を扱うための自然な枠組みを提供し、高レベルのアルゴリズムとハードウェアの現実の間のギャップを埋める。

著者は、この枠組みがドメイン理論、幾何論理、および凸幾何学を統合し、次世代の量子情報科学のための数学的に厳密かつ経験的に忠実な基盤を提供すると主張している。

Finite-Precision Quantum Mechanics