[论文解读] 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

研究动机与目标

• 通过细化作弊概率的界限，强化量子字符串承诺的不可能性结果。
• 分析承诺方案中量子集合的 Ξ-信息与 χ-信息之间的关系。
• 表明若 χ-信息受限制，则作弊的 Alice 可在特定阈值下以高概率揭示任意字符串。
• 通过使用 χ-信息替代 Ξ-信息，改进 [BCH+05] 中的先前界限，后者为较松散的度量。
• 在 QSC 协议中建立可验证性（a）与绑定安全性（b）之间的定量权衡。

提出的方法

• 将量子字符串承诺协议的分析基于集合 {1/2^n, ρ_x} 的 Holevo χ-信息作为关键安全参数。
• 基于状态集合的 χ-信息 b，推导出 Alice 作弊概率的下限。
• 使用信息论技术，将最大作弊概率 ˜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 与 QSC 中作弊概率之间的定量关系是什么？
• RQ3 当 χ-信息受限制时，作弊概率的界限如何随 b 变化？
• RQ4 在推导出的不可能性条件下，是否可能构造一个满足 a + 32b + 58 < n 的 QSC 协议？
• RQ5 在此背景下，χ-信息为何能导致比 Ξ-信息更强的不可能性结果？

主要发现

• 任何满足 a + 32b + 58 < n 的 (n, a, b)-χ-QSC 均不可能实现，确立了新的不可能性阈值。
• 若集合 E = {1/2^n, ρ_x} 的 Holevo χ-信息被限制为 b，则 Alice 可以以至少 2^{−32b−58} 的概率作弊并揭示任意字符串。
• 使用 χ-信息的界限强于先前使用 Ξ-信息的结果，因为对所有集合 E 均有 χ(E) ≤ Ξ(E)。
• 本文通过将 b 的系数从 1 降低到 32，并将常数项从 5 log(2+4√2)−1 调整为 58，改进了 [BCH+05] 的结果。
• 结果表明，即使 χ-信息受限制，除非 a 和 b 被仔细平衡，否则作弊仍极有可能发生。
• 分析确认，在所推导的条件下，量子字符串承诺无法实现强绑定安全性。