消費エネルギーから量子計算を証明する熱力学的な方法
Thermodynamic Proof of Quantumness without Structure
この論文をやさしく読む
ひとことで言うと
特定の探索問題を解く機械のエネルギー消費を観測して、量子的な計算かどうかを判定する理論を提案した。
何に役立つ？
計算時間や記憶容量だけに依存しない量子性の証明を考えるための理論的な基盤となる。実装でのエネルギー測定を報告するものではない。
この研究の面白いところ
古典実装には指数関数的な熱放散の下限がある一方、量子実装は標準的な仮定の下で多項式のエネルギー消費に収まるという差を使う。
どこまで分かった？
結論はランダムオラクルの設定、一定の成功確率、循環的な古典実装、量子実装への標準的な仮定に依存する。
v1のアブストラクトに基づくAI解説。日本語訳とは別に、用途の解釈を含みます。
アブストラクトの日本語訳
機械が真に量子的な演算を実行していると示すことは、量子情報処理の中心的な課題である。既存の量子性の証明は通常、計算困難性の仮定、または古典計算機の実行時間、記憶容量、オラクルへの問い合わせ回数の明示的な上限に基づき、古典機械には実行困難な計算課題を用いる。本研究は代わりに、エネルギー消費に基づく熱力学的な量子性の証明を導入する。構造を持たない一様ランダムなオラクルを用いるYamakawa–Zhandryの探索問題について、一定の成功確率で解く古典機械は、セキュリティパラメータに対して指数関数的に増えるエントロピーを生成しなければならないことを示す。ランダウアーの原理から、これは熱放散、ひいては循環的に動作する任意の古典的な実装のエネルギー消費に指数関数的な下限があることを意味する。対照的に、対応する量子的な証明者は、多項式回の問い合わせとゲート操作で問題を解き、量子実装についての標準的な仮定の下ではエネルギー消費も多項式となる。したがって、ランダムオラクルの設定では、成功した実装が十分に低いエネルギー消費を示せば、その巨視的な熱力学的観測から量子性を認証できる。
v1の要旨から自動生成。本文の精読・人による確認は未実施。
- 初稿
- 2026-09-21（UTC）
- 最新改訂
- 2026-09-21 · v1
- 査読・掲載
- 査読状況未確認
更新履歴
- v1 2026-09-21 この版を読む
取得できた版を表示。版の更新は査読済みを意味しません。過去版の本文差分は未解析です。
原文の要旨
Demonstrating that a machine performs genuinely quantum operations is a central challenge in quantum information processing. Existing proofs of quantumness typically rely on computational tasks that are infeasible for classical machines under assumptions such as computational hardness, or explicit bounds on classical runtime, memory, or oracle queries. Here we introduce an alternative paradigm: a thermodynamic proof of quantumness based on energy consumption. Using the search problem of Yamakawa and Zhandry with a structureless uniformly random oracle, we show that any classical machine solving the task with constant success probability must generate entropy that grows exponentially with the security parameter. By Landauer's principle, this implies an exponential lower bound on heat dissipation and hence on the energy consumption of any cyclic classical implementation. In contrast, the corresponding quantum prover solves the task with polynomial query and gate complexity, giving polynomial energy consumption under standard assumptions for quantum implementations. Thus, in the random-oracle setting, sufficiently low energy consumption in a successful implementation certifies quantumness through a macroscopic thermodynamic observation of energy consumption.
著者のコメント
6 + 16 pages, 4 figures, comments welcome
arXiv ID: 2609.25211 ／ 要約の誤りについて