Calculus of Robinet: completely positive reconstruction of time-averaged diffusive quantum trajectories

ぼやけた写真と量子探偵

ハミングバード（ハチドリ）が空を飛んでいる様子を写真に撮ろうとしている場面を想像してみてください。非常に速いシャッタースピードのカメラを使えば、鳥の姿を鮮明に、一瞬で止まった画像として捉えることができます。しかし、シャッターを1秒間開けっ放しにすると、鳥は動きによるブレとなり、筋状の跡になります。量子力学という奇妙な世界において、科学者たちはこれと似たことを行おうとしています。彼らは、微小な粒子（原子や超伝導回路など）の状態がリアルタイムでどのように変化しているのかを「写真に撮りたい」と考えているのです。これは「量子軌跡（quantum trajectory）」と呼ばれます。

しかし、そこには落とし穴があります。現実の世界では、私たちの測定機器は完璧ではありません。無限に速いスナップショットを撮ることはできないのです。その代わりに、機器は信号を極めて短い時間（例えば1ミリ秒）の区間で平均化し、それをデジタル数値に変換するという「長時間露光」を行っています。この平均化プロセスは、霧がかった窓越しにハミングバードを見ているようなものです。細かなディテールが失われ、得られる画像は少しぼやけてしまいます。この「ぼやけ」が問題を引き起こします。もし、このぼやけた平均化されたデータから粒子の正確な状態を再構成しようとすると、誤って物理法則に違反する「ゴースト（幽霊）」状態（例えば、負の確率を持つ状態など）を作り出してしまう可能性があるのです。

このパズルに取り組んでいるのが、フランスのエコール・ノルマル・シュペリエール校とミネス・パリの物理学者たちによる新しい論文です。彼らは、データが平均化されている場合でも、量子状態をできるだけ正確に再構成する方法を研究しています。彼らの目標は、このぼやけた時間平均信号を、量子宇宙のルールを破ることなく、鮮明で物理的に妥当な画像へと研ぎ澄ますための数学的な「レンズ」を構築することです。

ロビネット状態と「ゼロモード」のマジック

この論文は、「ロビネット状態（Robinet state）」と呼ばれる特定の再構成された状態に焦点を当てています。これは、時間平均されたぼやけたデータしか利用できない状況において、量子システムが何をしているかについての「最善の推測」だと考えてください。以前、科学者たちはこの状態を計算する方法を持っていましたが、それはまるで「推測しては試す」という複雑なパズルを解こうとするようなものでした。その手法は、計算が遅かったり、外部のコンピュータプログラムに依存したり、あるいは結果がわずかに「非物理的（数学的に不可能）」であったりすることがありました。

この論文の著者であるエクトール・ユタンとアントワーヌ・ティロイは、ロビネット状態を計算するための、新しく非常に精密な方法を発明しました。彼らの秘密兵器は、「ディレーション（拡張）」と呼ばれる巧妙な数学的トリックです。量子システムが単に箱の中に座っているだけではないと想像してください。代わりに、著者たちは量子システムが、遠くまで伸びる目に見えない長い「伝送線（ギターの弦や光ファイバーケーブルのようなもの）」に接続されていると想定しています。この線は、連続的な微小な振動で構成されています。

この新しいセットアップにおいて、著者たちは、ラボで得られる「ぼやけた」測定値は、実はこの線の特定のパーツ、すなわち「ゼロモード（zero mode）」の測定であると提案しています。ゼロモードとは、ライン全体のゆっくりとした安定したハミング（低音の響き）のようなものであり、他の部分はより複雑で速いパターンで振動しています。数学的にこの「ゼロモード」を孤立させ、それを測定することで、ロビネット状態を完璧に再構成できることを著者たちは示しています。

「完全正値性」を備えた解

彼らの発見の最もエキサイティングな部分は、その手法が「完全正値（completely positive）」であることです。量子物理学の言葉で言えば、これは彼らの手法が決してルールを破らないことを意味する、おしゃれな言い回しです。どのように数値を処理しても、結果は常に有効な量子状態となります。彼らは、この問題を、望むだけ詳細にできる「レシピ」のような一連のステップに分解することで、これを達成しました。

彼らは、非常に困難な例を用いてこの手法をテストしました。それは、ランダムでカオス的なハミルトニアン（システムが動くためのルールブック）と、ランダムなジャンプ演算子（システムが跳躍したり変化したりするためのルールブック）を持つ量子システムです。彼らは数学的な精度を驚異的なレベルまで高め、10次オーダーまでの精度で正確性を検証しました。これを比較すると、標準的な手法の多くはもっとはるかに低いレベルで止まってしまいます。彼らの手法は、別の強力なシミュレーション技術を用いて計算された「厳密な」解と、ほぼ完璧に一致することを見出しました。

彼らが発見したこと（および否定したこと）

この論文は、これらの時間平均された量子状態を任意の精度で再構成できることを裏付けています。著者たちは、数学的なレシピに項を増やしていくほど誤差が小さくなり、最終的には無視できるレベルになることを示しました。また、彼らの手法を用いてこれらの軌跡を「サンプリング」できることも実証しました。つまり、コンピュータが現実のものと全く同じように見える、架空だが現実的な量子実験を生成できるということであり、これは新しい量子技術をテストする上で大きな助けとなります。

しかし、この論文は、他の研究者（Wonglakhon, Chantasri, and Wiseman）によって提案された特定のアイデアに対して、明確な一線を画しています。それらの研究者たちは、データに第2の測定を加えることで、量子状態を「純粋（pure）」（ぼやけのない、完全に鮮明な状態）に保つ方法を見出していました。本論文の著者たちは、このトリックは次数3までは機能するものの、次数4で壁に突き当たることを示しました。彼らは、どれほど多くの追加測定をデータに加えても、時間を平均化している限り、状態を完全に純粋に保つことはできないと証明しました。「ぼやけ」は、平均化プロセスそのものによって生じる避けられない結果なのです。彼らのシミュレーションでは、有限の測定数で記述するために無限の隠れたモードが必要となるため、その点を超えて純粋性を強制しようとすると失敗することが示されました。

なこれはなぜ重要なのか

この研究は、量子コンピュータを構築したり制御したりしようとするすべての人にとって、大きな前進です。ラボでは、量子システムは常に測定されており、そのデータは常に微小な時間ステップで平均化されています。エラーを修正したり挙動を制御したりするために、システムが実際に何をしているのかを知りたいのであれば、高速かつ数学的に誠実な再構成手法が必要です。

著者たちの手法は、「プラグアンドプレイ」の解決策を提供します。外部の遅いコンピュータソルバーに頼る代わりに、彼らのアプローチは、状態を計算するための直接的な公式を与えてくれます。それは正確で、安定しており、物理法則に従うことが保証されています。その背後にある数学には、伝送線やフォック空間（光子の数を数える方法）を用いた高度な作業が含まれていますが、その結果は、カメラが少しぼやけているときでも、科学者が量子世界をより鮮明に見ることを可能にする強力な新しいツールとなります。