[論文レビュー] On the Need for (Quantum) Memory with Short Outputs

Zihan Hao, Zikuan Huang+1 more|arXiv (Cornell University)|Feb 27, 2026

Quantum Computing Algorithms and Architecture被引用数 0

ひとこと要約

この論文は、古典的および量子設定の両方で短い出力問題の初の時空間分離を確立し、ell-Nested Collision Finding問題と短出力と長出力のトレードオフを関連付ける二つのオラクル記録技術を導入する。

ABSTRACT

In this work, we establish the first separation between computation with bounded and unbounded space, for problems with short outputs (i.e., working memory can be exponentially larger than output size), both in the classical and the quantum setting. Towards that, we introduce a problem called nested collision finding, and show that optimal query complexity can not be achieved without exponential memory. Our result is based on a novel ``two-oracle recording'' technique, where one oracle ``records'' the computation's long outputs under the other oracle, effectively reducing the time-space trade-off for short-output problems to that of long-output problems. We believe this technique will be of independent interest for establishing time-space tradeoffs in other short-output settings.

研究の動機と目的

• 短出力タスクにおける量子速度アップが大きなメモリを必要とするかを理解する動機づけ。
• bounded memory で時空間トレードオフを研究するための ell-Nested Collision Finding 問題を導入。
• メモリを記録可能な出力へ変換する技術を開発し、古典/量子の境界を分析。
• 短出力設定における空間制限あり/なしの計算の分離を示す。

提案手法

• 二つのランダムオラクル H と G および短い出力を用いて ell-Nested Collision Finding 問題を定義。
• 遅延サンプリングを介して G を書き込み専用メモリとして扱う二つのオラクル記録技術を導入。
• 圧縮オラクル枠組みを適用してランダムオラクルへの量子アクセスをモデル化。
• 量子設定で S^{(ell+1)/2} T = Ω(N^{1/(2(ell+1))} N0^{1/4}) に関連する下界を示す。
• 古典的な下界を示し、特定のクエリ境界を達成する構成的な古典アルゴリズムを提供。
• 同一和を持つ ell-tuples を見つけることと ell-Nested Collision Finding を解くための時空間トレードオフを導出。

実験結果

リサーチクエスチョン

• RQ1 量子アルゴリズムは短出力問題で古典アルゴリズムを上回るために指数メモリを必要とするか。
• RQ2 二つのオラクル記録フレームワークを用いて短出力問題に対して強い時空間トレードオフを確立できるか。
• RQ3 ell-Nested Collision Finding の古典・量子のクエリ空間下界はいくらか。
• RQ4 乱数オラクルモデルにおける空間の非対話的証明を短出力問題から導出できるか。

主な発見

• 特定のパラメータ選択の下で 4-Nested Collision Finding に対して空間制限あり/なしの量子計算に分離がある。
• S = Ω(log N) かつ O(N^{1/45}) の量子アルゴリズムで 4-Nested Collision Finding を解く場合、S^{5/2} T = Ω(N^{0.35}) を満たす。
• S = o(N^{1/150}) のとき、最適な量子クエリ複雑度 N^{1/3} は達成できず、最適な量子アルゴリズムは O(N^{1/3}) クエリとメモリを必要とする。
• G:[M^2]→[N^2] を用いた 2-Nested Collision Finding に対する対応する古典的下界は S^{3/4} T = Ω(N^{5/4})。
• ell-Nested Collision Finding のパラメータに応じて O(N^{1/2})–O(N^{1}) 種類の境界を持つ古典アルゴリズムが存在。
• 結果は古典・量子設定の両方で短出力問題に対する初めての具体的な時空間分離を示す。