[논문 리뷰] Hardness of approximating the weight enumerator of a binary linear code

M. Vyalyi|ArXiv.org|2003. 04. 30.

Coding theory and cryptography참고 문헌 8인용 수 6

한 줄 요약

이 논문은 이진 선형 부호의 무게 다항식의 근사화가 계산적으로 어려움을 증명하며, $α < \log_2|1+\omega| \approx 0.88$ 인 경우 $2^{\alpha n}$ 이내의 덧셈 오차로의 근사 평가가 $\mathrm{GapP}$ 복잡도 계열의 문제를 해결하는 것과 동일한 어려움을 가진다는 것을 보여준다. 양자 계산 기법을 사용하여 저자들은 무게 다항식 문제가 $\mathrm{P}^{\mathrm{GapP}}$-완전함을 증명하며, 이는 다항식 계층에 대해 어려움을 뜻하며, $\omega = e^{i\pi/4}$ 에서의 무게 다항식 근사화가 이러한 정확도로도 $\mathrm{P}^{\mathrm{GapP}}$-완전함을 보인다.

ABSTRACT

We consider the problem of evaluation of the weight enumerator of a binary linear code. We show that the exact evaluation is hard for polynomial hierarchy. More exactly, if WE is an oracle answering the solution of the evaluation problem then P^WE=P^GapP. Also we consider the approximative evaluation of the weight enumerator. In the case of approximation with additive accuracy $2^{αn}$, $α$ is constant the problem is hard in the above sense. We also prove that approximate evaluation at a single point $e^{πi/4}$ is hard for $0

연구 동기 및 목표

• 이진 선형 부호의 무게 다항식 평가의 계산 복잡도를 규명하는 것.
• 상수 $\alpha$ 에 대해 덧셈 오차 $2^{\alpha n}$ 이내로 무게 다항식을 근사화하는 데의 어려움을 분석하는 것.
• 복소수 점 $\omega = e^{i\pi/4}$ 에서의 근사 평가가 계산적으로 어려운지 조사하는 것.
• 양자 계산과 부호 이론 문제의 복잡도 사이의 연결 고리를 설정하는 것.
• 무게 다항식 문제가 $\mathrm{P}^{\mathrm{GapP}}$-완전임을 증명하여 다항식 계층에 대해 어려움을 뜻함을 보이는 것.

제안 방법

• 기저 $\{\mathop{\mathrm{CNOT}}, H, T\}$ 를 갖는 양자 회로를 사용하여 양자 계산의 행렬 원소 문제에서 무게 다항식 문제로의 환원.
• 기존 부호로부터 새로운 부호를 만드는 데에 껍질 곱셈 구조를 사용하여, 무게 다항식 간의 재귀 관계를 가능하게 함.
• 껍질 곱셈 부호에 대해 $w_{A\mathbin{\wr}B}(q) = \sum_{a\in A} q^{n_2|a|} w_B(1 + q^{n_1 - 2|a|})$ 라는 무게 다항식 관계 유도.
• 무게 다항식의 계수를 $n+1$ 개의 점에서의 평가로부터 복원하기 위해 역 바르단베르크 행렬 기법 적용.
• 고정밀도 근사 평가 오ракูล $\mathrm{WE}(\alpha)$ 와 $\mathrm{WE}_\omega(\alpha)$ 를 사용하여 정확한 무게 다항식 문제를 튜링 환원.
• $\omega = e^{i\pi/4}$ 에서의 복소수 성질, 예를 들어 $|1+\omega| = \sqrt{2+\sqrt{2}} \approx 1.847$ 를 사용하여 근사 오차를 제한하고 수렴을 보장함.

실험 결과

연구 질문

• RQ1 이진 선형 부호의 정확한 무게 다항식 평가는 다항식 계층에 대해 어려운가?
• RQ2 상수 $\alpha$ 에 대해 $\mathrm{GapP}$-완전 문제를 해결하지 않고도 무게 다항식을 $2^{\alpha n}$ 이내의 덧셈 오차로 근사화할 수 있는가?
• RQ3 $\alpha < \log_2|1+\omega| \approx 0.88$ 인 경우 $\omega = e^{i\pi/4}$ 에서의 근사 평가는 $\mathrm{P}^{\mathrm{GapP}}$-완전한가?
• RQ4 양자 계산 기법을 사용하여 무게 다항식 문제를 양자 회로의 행렬 원소 근사 문제로 환원할 수 있는가?
• RQ5 $\omega$ 에서의 무게 다항식 근사화 능력이 고정밀도로 무게 다항식의 모든 계수를 복원할 수 있는가?

주요 결과

• 정확한 무게 다항식 평가는 $\mathrm{P}^{\mathrm{GapP}}$-완전함을 보이며, 이는 다항식 계층에 대해 어려움을 뜻함.
• 모든 $0 < \alpha < 1$ 에 대해 덧셈 오차 $2^{\alpha n}$ 이내로의 근사 평가는 $\mathrm{P}^{\mathrm{GapP}}$-완전함을 보이며, 강력한 비가역성을 보임.
• $0 < \alpha < \log_2|1+\omega| \approx 0.88$ 인 경우 $\omega = e^{i\pi/4}$ 에서의 근사 평가는 $\mathrm{P}^{\mathrm{GapP}}$-완전함을 보이며, 날카로운 임계점 설정.
• 무게 다항식 문제는 역 바르단베르크 행렬과 고정밀도 점 평가를 사용하여 $\mathrm{WE}(\alpha)$ 와 $\mathrm{WE}_\omega(\alpha)$ 로 튜링 환원 가능함.
• 껍질 곱셈 구조를 사용하여 복합 부호의 무게 다항식 간의 재귀 관계를 도출하였으며, 이는 계수의 오차 제한된 복원을 가능하게 함.
• 환원 과정에서 오차는 $k$ 에 대해 지수적으로 감소하며, $k = \mathrm{poly}(n, -\log \varepsilon)$ 인 경우 $\varepsilon$-정밀도의 $M_j$ 추정치를 확보할 수 있어 전체 계수 복원이 가능함.