[논문 리뷰] Impossibility of quantum string commitment

Rahul Jain|arXiv (Cornell University)|2005. 05. 31.

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) 간의 정량적 트레이드오프를 설정하는 것.

제안 방법

• 기본 상태 ρ_x를 고정하고 확률 분포 p_x를 변화시킬 때 유도되는 집합 E에 대해, 집합 {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 QSC에서 바인딩 보안 매개변수 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가 신중하게 균형을 이루지 않으면 도용이 매우 높은 확률로 가능함을 보여준다.
• 분석을 통해 이 조건 하에서 양자 문자열 기록이 강력한 고정 보안을 달성할 수 없다는 것이 확인된다.