秘密の条件付き開示と量子ルーティングに必要な資源の下限
New lower bounds for CDS and $f$-routing
この論文をやさしく読む
ひとことで言うと
離れた場所で行う量子情報処理や秘密の開示に、最低限どれだけの共有乱数やエンタングルメントが必要かを数学的に調べます。
何に役立つ？
プロトコルの資源使用量がどこまで削減できるかを評価する理論的基準になります。既知の上限と一致する場合は、その設定で改善できる余地を限定できます。
この研究の面白いところ
通信量を自由にしても残る共有乱数の下限と、片側だけ厳密な量子ルーティングの下限を、異なる計算量指標で導いています。
どこまで分かった？
完全にロバストなfルーティング全般の未解決問題を解決したという主張ではありません。量子ルーティングの結果は片側完全という条件付きで、内積関数では上限と一致します。実機実験は要旨に記載されていません。
v1のアブストラクトに基づくAI解説。日本語訳とは別に、用途の解釈を含みます。
アブストラクトの日本語訳
非局所量子計算（NLQC）のエンタングルメント費用を理解することは、計算量理論、暗号、量子重力などに関係する。重要な特殊例が、量子位置検証にも動機付けられたfルーティングである。完全にロバストな設定でそのエンタングルメント費用の下限を証明することは、NLQCにおける大きな未解決問題となってきた。この問題を動機として、関連する2つの下限を確立する。 第一に、ロバストな秘密の条件付き開示（CDS）に必要な共有乱数の費用を調べる。Allerstorferら（Quantum、2024年）が示したCDSとfルーティングの関係から、ロバストCDSの乱数計算量の理解は、完全にロバストなルーティング問題の下限へ向けた自然な一歩となる。通信と私的乱数に制限がない場合でも、ロバストCDSの共有乱数費用は、決定性同時メッセージ通信（SMP）計算量の対数を下回らないことを示す。この下限は等値関数についてタイトである。 第二に、一方の入力クラスではプロトコルが厳密で、もう一方では定数誤差を許す、片側完全なfルーティングを考える。Asadi、Culf、May（ITCS、2025年）の手法に現れる低ランク行列の正値性を利用し、符号ランクによって表されるエンタングルメント費用の一般的な下限を導く。特に、内積関数のルーティングについて、片側完全性のどちらの設定でも線形下限が得られ、既知の上限と一致する。
v1の要旨から自動生成。本文の精読・人による確認は未実施。
- 初稿
- 2026-09-21（UTC）
- 最新改訂
- 2026-09-21 · v1
- 査読・掲載
- 査読状況未確認
更新履歴
- v1 2026-09-21 この版を読む
取得できた版を表示。版の更新は査読済みを意味しません。過去版の本文差分は未解析です。
原文の要旨
Understanding the entanglement cost of non-local quantum computation (NLQC) is relevant to complexity theory, cryptography, quantum gravity, and related areas. A central special case is $f$-routing, motivated in part by quantum position verification. Proving lower bounds on its entanglement cost in the fully robust setting has been a major open problem in NLQC. Motivated by this problem, we establish two related lower bounds. First, we study the shared-randomness cost of robust conditional disclosure of secrets (CDS). The connection between CDS and $f$-routing established by Allerstorfer et al. (Quantum 2024) makes understanding the randomness complexity of robust CDS a natural step toward lower bounds for the fully robust routing problem. We show that the shared-randomness cost of robust CDS is lower bounded by the logarithm of deterministic SMP communication complexity, even when communication and private randomness are unrestricted. Our lower bound is tight for the equality function. Second, we consider one-sided-perfect $f$-routing, in which the protocol is exact on one input class and has constant error on the other. By exploiting the positivity of the low-rank matrix arising in the method of Asadi, Culf, and May (ITCS 2025), we derive a general lower bound on the entanglement cost in terms of sign rank. In particular, this yields a linear lower bound on the entanglement cost of routing for the inner-product function in both one-sided-perfect settings, matching the known upper bound.
著者のコメント
29 pages
arXiv ID: 2609.24291 ／ 要約の誤りについて