[논문 리뷰] On the Hardnesses of Several Quantum Decoding Problems

Kao-Yueh Kuo, Chung-Chin Lu|arXiv (Cornell University)|2013. 06. 21.

Quantum Computing Algorithms and Architecture인용 수 6

한 줄 요약

이 논문은 보정 코드에 대한 세 가지 기본 양자 복호화 문제인 양자 유한거리 복호화(QBDD), 양자 최대우도 복호화(QMLD), 그리고 붕괴 채널에서의 양자 최소오류확률 복호화(QMEPD)의 NP-난이도를 확립한다. QBDD에서 QMLD로, QMLD에서 QMEPD로의 다항시간 환원을 통해 저자들은 일반 보정 코드에 대한 효율적 복호화가 가능할 가능성이 없음을 증명하며, 이는 양자 코드 기반 암호의 보안 기반을 강화한다.

ABSTRACT

We classify the time complexities of three important decoding problems for quantum stabilizer codes. First, regardless of the channel model, quantum bounded distance decoding is shown to be NP-hard, like what Berlekamp, McEliece and Tilborg did for classical binary linear codes in 1978. Then over the depolarizing channel, the decoding problems for finding a most likely error and for minimizing the decoding error probability are also shown to be NP-hard. Our results indicate that finding a polynomial-time decoding algorithm for general stabilizer codes may be impossible, but this, on the other hand, strengthens the foundation of quantum code-based cryptography.

연구 동기 및 목표

• 양자 보정 코드에 대한 핵심 복호화 문제의 계산 복잡도를 분류하는 것.
• 채널 모델에 관계없이 양자 유한거리 복호화(QBDD)가 NP-난이도임을 입증하는 것.
• 붕괴 채널에서의 양자 최대우도 복호화(QMLD)와 양자 최소오류확률 복호화(QMEPD)가 NP-난이도임을 증명하는 것.
• 이 복호화 문제들의 난이도가 양자 코드 기반 암호체계의 보안을 뒷받침한다는 것을 보여주는 것.
• 붕괴 채널에서 일반화된 무게 척도 하에 최적 복호화의 복잡도에 대한 열린 문제를 해결하는 것.

제안 방법

• QBDD가 NP-난이도임을 보이기 위해 NP-완전 문제인 코스터 무게 문제로부터의 환원을 통해 고전 결과를 양자 환경으로 확장하는 것.
• 일반화된 무게 척도를 사용하여 보정 코드의 오류 패tern과 오류 수정 능력을 정의하는 것.
• 충분히 작은 오류 확률 ε을 갖는 채널 모델을 구성함으로써 QBDD에서 QMLD로의 다항시간 환원을 수행하는 것.
• 가장 가능성 높은 오류 코스터가 우도 함수를 지배하도록 신중하게 선택된 ε을 사용하여 QMLD에서 QMEPD로의 추가 환원을 수행하는 것.
• 행렬의 전행 랭크를 갖는 체크 행렬과 파울리 군 표현을 활용하여 오류 패턴을 모델링하는 것.
• 우도 함수 α_v = (1−ε)^n Σ_{u∈v+Row(H)} (ε/3 / (1−ε))^{gw(u)} 를 분석하여, 작은 ε 조건 하에서 최적 해가 유일하게 식별 가능함을 보장하는 것.

실험 결과

연구 질문

• RQ1 일반화된 무게 척도 하에서 보정 코드에 대한 양자 유한거리 복호화(QBDD)는 NP-난이도인가?
• RQ2 붕괴 채널에서의 양자 최대우도 복호화(QMLD)는 NP-난이도인가?
• RQ3 붕괴 채널에서의 양자 최소오류확률 복호화(QMEPD)는 NP-난이도인가?
• RQ4 QBDD의 NP-난이도를 다항시간 환원을 통해 QMLD와 QMEPD의 NP-난이도를 증명하는 데 사용할 수 있는가?
• RQ5 붕괴 채널에서 최적 복호화의 난이도가 양자 코드 기반 암호체계의 보안을 뒷받침하는가?

주요 결과

• 일반화된 무게 척도 하에서 보정 코드에 대한 양자 유한거리 복호화(QBDD)는 채널 모델에 관계없이 NP-난이도이다.
• 붕괴 채널에서의 양자 최대우도 복호화(QMLD)는 QBDD에서의 다항시간 환원을 통해 NP-난이도임을 입증하였다.
• 붕괴 채널에서의 양자 최소오류확률 복호화(QMEPD)는 QMLD에서의 다항시간 환원을 통해 NP-난이도임을 증명하였다.
• 이 복호화 문제들의 NP-난이도는 일반 보정 코드에 대해 다항시간 복호화 알고리즘이 존재하지 않음을 의미하며, P = NP 가 성립하지 않는 한 불가능하다.
• 일반화된 무게 척도 하에서의 복호화 난이도는 최적 복호화 기반의 스노이팅 공격에 대한 양자 코드 기반 암호의 보안 기반을 강화한다.
• 환원의 정확성을 확보하기 위해 충분히 작은 채널 오류 확률 ε을 설정하는 데 의존하며, 이는 우도 함수가 정확한 코스터를 지배하도록 보장한다.