[論文レビュー] Impossibility of quantum string commitment

Rahul Jain|arXiv (Cornell University)|May 31, 2005

Quantum Computing Algorithms and Architecture参考文献 13被引用数 1

ひとこと要約

この論文は、先行研究よりも強い条件下で量子ストリングコミットメント（QSC）方式の不可能性を証明しており、a + 32b + 58 < n を満たす任意の(n, a, b)-χ-QSCは不可能であることを示している。また、Holevo χ情報量がbに制限される場合、不正成功確率の上限が2^{−32b−58}であることを確立しており、量子コミットメントにおける情報量の測定のより鋭い解析を通じて、以前の境界を改善している。

ABSTRACT

Quantum string commitment (QSC) schemes were introduced in [BCH+ 05]. Let Alice be the committer. Let ρx be the state of Bob’s qubits at the end of the commit phase of an honest run of a QSC protocol when Alice commits x ∈ {0, 1} n. Let ˜px be the maximum probability with which a cheating Alice can reveal x. Let a = log ∑ x ˜px. [BCH+ 05] showed that for single execution of the protocol an (n, a, b)-Ξ-QSC with a+b+5 log(2+4 √ (2))−1 &amp;lt; n is impossible, where b is the One shot Holevo Ξ information of the ensemble E = {1/2n, ρx}. We show that an (n, a, b)-χ-QSC with a + 32b + 58 &amp;lt; n is impossible where b is the Holevo χ information of the ensemble E = {1/2n, ρx}. We also show that if for all ensembles E = {px, ρx} obtained by varying px and fixed ρx, χ(E) ≤ b, then Alice can successfully reveal any x with probability ≥ 2−32b−58. Our results are weaker in terms of constant in front of b and the additive constant but they are stronger in that for any ensemble E, Ξ(E) ≥ χ(E). 1

研究の動機と目的

• 不正成功確率の境界を精緻化することで、量子ストリングコミットメントの不可能性結果を強化すること。
• コミットメント方式のための量子集合におけるΞ情報量とχ情報量の関係を分析すること。
• χ情報量が制限される場合、特定の閾値を満たすと、不正なアリスが任意の文字列を高い確率で開示できることを示すこと。
• [BCH+05]における既存の境界を、Ξ情報量の代わりにχ情報量を用いることで改善すること。χ情報量はより鋭い測定である。
• QSCプロトコルにおける健全性（a）とバインディングセキュリティ（b）の間の定量的トレードオフを確立すること。

提案手法

• 量子ストリングコミットメントプロトコルを、集合{1/2^n, ρ_x}のHolevo χ情報量を鍵となるセキュリティパラメータとして分析する。
• 状態集合のχ情報量bに基づいて、アリスの不正成功確率の下界を導出する。
• 情報理論的技法を用いて、最大不正成功確率˜p_xとχ情報量bの関係を関係づける。
• 一般境界を適用し、固定されたρ_xと変化するp_xから導かれるすべての集合Eについてχ(E) ≤ b ならば、不正成功確率 ≥ 2^{−32b−58} であることを示す。
• χ情報量を用いた新しい境界と、従来のΞ情報量を用いた境界を比較し、すべてのEについてΞ(E) ≥ χ(E) であることに注目する。
• 任意の(n, a, b)-χ-QSCプロトコルについて、a + 32b + 58 < n が成立する場合、不可能であることを確立する。

実験結果

リサーチクエスチョン

• RQ1 Ξ情報量の代わりにχ情報量を用いることで、量子ストリングコミットメントの不可能性境界を改善できるか？
• RQ2 バインディングセキュリティパラメータbと不正成功確率の間の定量的関係は何か？
• RQ3 χ情報量が制限される場合、不正成功確率の境界はbに対してどのようにスケーリングされるか？
• RQ4 導出された不可能性条件を踏まえると、a + 32b + 58 < n を満たすQSCプロトコルを構築することは可能か？
• RQ5 この文脈において、χ情報量の使用がΞ情報量よりも強い不可能性結果をもたらす理由は何か？

主な発見

• a + 32b + 58 < n を満たす任意の(n, a, b)-χ-QSCは不可能であり、これは新たな不可能性閾値を確立している。
• 集合E = {1/2^n, ρ_x}のHolevo χ情報量がbに制限される場合、アリスは任意の文字列を確率少なくとも2^{−32b−58}で不正に開示できる。
• χ情報量を用いた境界は、従来のΞ情報量を用いた結果よりも強い。なぜなら、すべての集合Eについてχ(E) ≤ Ξ(E) であるからである。
• 論文は[BCH+05]を改善しており、bの係数を1から32に、加法定数を5 log(2+4√2)−1から58に調整している。
• χ情報量が制限されても、aとbが適切に調整されない限り、不正は依然として極めて高い確率で成立することを示している。
• 解析により、導出された条件下では、量子ストリングコミットメントは強力なバインディングセキュリティを達成できないことが確認された。