[論文レビュー] Analogue Quantum Simulation: A Philosophical Prospectus

Dominik Hangleiter, Jacques Carolan+1 more|arXiv (Cornell University)|Dec 15, 2017

Quantum Mechanics and Applications参考文献 91被引用数 3

ひとこと要約

本論文は、『シミュレーション』と『エミュレーション』を別個の科学的実践として区別することにより、アナログ量子シミュレーションのための哲学的枠組みを提示する。これは、古典的シミュレーションが不可能な状況や、量子デバイスが高速化や到達不能な現象へのアクセスを提供する状況において、研究者が検証および応用するのを支援する、認識論的および実用的規範を提示する。

ABSTRACT

This paper provides the first systematic philosophical analysis of an increasingly important part of modern scientific practice: analogue quantum simulation. We introduce the distinction between `simulation' and `emulation' as applied in the context of two case studies. Based upon this distinction, and building upon ideas from the recent philosophical literature on scientific understanding, we provide a normative framework to isolate and support the goals of scientists undertaking analogue quantum simulation and emulation. We expect our framework to be useful to both working scientists and philosophers of science interested in cutting-edge scientific practice.

研究の動機と目的

• アナログ量子シミュレーションの方法論的役割を明確化し、エミュレーションとは区別する。
• 異なる科学的分野における『アナログ量子シミュレーション』という用語の曖昧さを解消するため、原則的で明確な用語の区別を導入する。
• アナログ量子シミュレータおよびエミュレータを用いる科学者が目指す目的を支援する、認識論的および実用的規範を含む規範的枠組みを構築する。
• 古典的シミュレーションが非効率な状況において、アナログ量子シミュレーションが真正の推論的進展をもたらす条件を特定する。
• 検証および認証手順を、科学者が達成しようとしている理解の特定の形態と結びつけることで、科学的実践を支援する。

提案手法

• 『シミュレーション』（物理的類似性を用いて標的系をモデル化すること）と『エミュレーション』（異なる物理系を用いて制御可能なパラメータでダイナミクスを再現すること）の区別を導入する。
• 2つの事例研究を用いてこの区別を適用する：冷害原子系によるヒッグスモードのシミュレーション、光子系による生物学的系における量子効果のエミュレーション。
• Reutlingerら（2016）の『実際にどう動くか』（how-actually）と『可能性としてどう動くか』（how-possibly）の理解の哲学的枠組みを用い、シミュレーションとエミュレーションの認識論的目標を分類する。
• 得られる理解の形に応じた認識論的規範を提案する。たとえば、実際に物理的メカニズムを確認することを目的とするのか、それとも可能なメカニズムを探索することを目的とするのか。
• 実用的規範を導入する：『観測可能性』（検出可能性）のヒューリスティック規範（シミュレートされた現象が計算上だけでなく実験装置でも検出可能であることの保証）と、『スケーリングの高速化』（リソーススケーリングの優位性）の計算規範。
• 複雑性理論的困難さとスケーラビリティに基づく、4つの明確な量子計算的優位性の領域を分類し、シミュレーションまたはエミュレーションが真正の進展をもたらすかどうかを評価するための指針を提供する。

実験結果

リサーチクエスチョン

• RQ1 科学的実践において『アナログ量子シミュレーション』と『アナログ量子エミュレーション』はどのように区別されるか？
• RQ2 アナログ量子シミュレータを用いる科学者の目的は、科学的理解の観点から、具体的には『実際にどう動くか』理解と『可能性としてどう動くか』理解のどちらに分類されるか？
• RQ3 目的とする理解の形態に応じて、適切な認識論的規範は何か？ たとえば、実際に物理的メカニズムを確認することを目的とする場合、あるいは可能なメカニズムを探索することを目的とする場合。
• RQ4 アナログ量子シミュレータは、古典的シミュレーションや実験と比較して、どのような点で真正の推論的優位性を提供できるか？
• RQ5 実務において、シミュレーションやエミュレーションの成功と有用性を評価するために、どのような実用的基準（たとえば、スケーリングの高速化や観測可能性）を用いるべきか？

主な発見

• 『シミュレーション』と『エミュレーション』の区別は、単なる用語の違いではなく、方法論的に重要である。シミュレーションは物理的実現を目的とし、エミュレーションは構造的またはダイナミカルな模倣を目的とする。
• 源系が標的ハミルトニアンを十分な忠実度で実現する場合、アナログ量子シミュレーションは『実際にどう動くか』の理解を提供できる。特に、古典的シミュレーションが非効率な領域において顕著である。
• 複雑性理論的困難さとスケーラビリティに基づく4つの量子計算的優位性の領域は、シミュレーションやエミュレーションの成功を評価する明確な実用的規範を提供する。
• 検証のための認識論的規範は、得ようとしている理解の形態と一致させる必要がある。『実際にどう動くか』の理解を求める場合、忠実度と既知の物理学との整合性が不可欠である。
• 『観測可能性』のヒューリスティック規範により、シミュレートされた現象が単に計算上存在するのではなく、実験装置でも検出可能であることが保証される。
• 『スケーリングの高速化』という計算規範——量子デバイスが古典的アルゴリズムよりもリソーススケーリングの点で優位である——は、エラー補正がなくても、成功したシミュレーションを識別するための強固で測定可能な基準を提供する。