[論文レビュー] Observing the ambiguity of simplicity via quantum simulations of an Ising spin chain

Farzad Ghafari, Mile Gu+5 more|arXiv (Cornell University)|Nov 10, 2017

Quantum Computing Algorithms and Architecture被引用数 4

ひとこと要約

本研究では、異なる温度におけるイジングスピン鎖のシミュレーションにおいて、古典的および量子的符号化を実験的に比較し、特定の設定では量子シミュレーションが古典的ものよりも単純であることを示した。これは、古典的および量子的フレームワーク間で複雑さの順序が逆転する「単純さの曖昧さ」を明らかにした。本研究は、現実的で誤差に強い条件下でも、確率的過程のモデリングにおける量子優位性を確立した。

ABSTRACT

The modelling of stochastic processes is ubiquitous throughout the natural and social sciences. An ideal model produces the correct statistical output without any unnecessary complexity. This minimal-complexity criterion is important conceptually, entailing the least number of causes of effects (Occam's razor), and practically, entailing the least stored information in the simulation. Here, we experimentally compare classical and quantum information encodings in simulating an Ising spin chain, showing that quantum encodings perform better and redefine our understanding of what is complex. We experimentally observe a recently conjectured effect, the ambiguity of simplicity. Specifically, we simulate Ising chains at different temperatures, A and B, such that classical encodings require fewer resources to model A than B, while quantum encodings are simpler for B than A. This challenges the perspective that relative complexity is contained solely in the configuration of the system being modelled. Our error-tolerant techniques account for inevitable imperfections in realising quantum simulators, thus providing the technological milestone needed to simulate increasingly complex stochastic processes.

研究の動機と目的

• 確率的過程をシミュレートする際、量子情報符号化が古典的符号化よりも低い複雑さを達成できるかどうかを調査すること。
• 古典的モデルと量子的モデルの間で相対的な複雑さの順序が逆転するという『単純さの曖昧さ』の仮説を検証すること。
• 現実の量子シミュレータに適した誤差に強い技術を用いて、確率的過程のシミュレーションにおける実用的量子優位性を示すこと。
• 古典的および量子的リソース要件を比較することで、モデリングにおける最小複雑さの概念的・実用的基準を再評価すること。

提案手法

• 研究者たちは、古典的および量子的情報符号化を用いて、2つの異なる温度 A および B におけるイジングスピン鎖をシミュレートした。
• 古典的シミュレーションでは、システムの統計的出力を古典的確率分布を用いて符号化したのに対し、量子的シミュレーションでは、同じ分布を量子状態で表現した。
• 量子符号化は、量子重ね合わせともつれを活用して、古典的モデルよりも複雑な相関をより効率的に表現した。
• 量子シミュレータの不完全性を軽減するため、誤差に強いプロトコルを導入し、耐障害性と実用的関連性を確保した。
• 温度 A および B の両方において、古典的および量子的符号化のリソース要件（例：格納情報量）を定量化し、比較した。

実験結果

リサーチクエスチョン

• RQ1 2つの異なるイジングスピン鎖状態をシミュレートする相対的複雑さは、古典的または量子的符号化が用いられるかによって変化するか？
• RQ2 古典的モデルが単純に見える場合でも、特定の確率的過程において、量子符号化が古典的符号化よりも低いリソースコストを達成できるか？
• RQ3 実験的不具合は、シミュレーション複雑さにおける観察された量子優位性にどの程度影響を及ぼすか？
• RQ4 古典的および量子的モデリングフレームワークを比較する際、実際には『単純さの曖昧さ』はどのように現れるか？

主な発見

• 古典的符号化では、温度 B におけるシミュレーションに温度 A よりも多くのリソースが必要であり、古典的モデリング下では B がより高い複雑さを示した。
• 量子的符号化では、温度 B におけるシミュレーションに温度 A よりも少ないリソースが必要であり、古典的複雑さの順序が逆転した。
• この逆転は、同じ系の複雑さの順序が使用するモデリングフレームワークに依存することを示し、『単純さの曖昧さ』を実証した。
• 実験は、現実的で不完全な量子シミュレーション条件下でも、量子符号化が古典的ものよりも最小複雑さの観点で優れていることを確認した。