양자 코드 최소 거리 근사 난이도 연구

초록

이 논문은 고전 선형 코드의 최소 거리 문제를 직접 CSS 코드로 환원하는 새로운 증명을 제시하고, 하이퍼그래프 곱 코드를 이용해 그 과정을 단순화한다. 또한 그래프 상태의 거리 계산이 NP‑hard임을 보이며, X‑형 오류만을 고려해도 같은 난이도를 유지한다. 이러한 결과는 비율 1/2인 고전 코드의 거리 근사 난이도와 연결되며, 길이에 비례하는 가산 오차를 허용하는 근사 문제는 하이퍼그래프 곱 코드에서는 하드하지 않다는 새로운 “제곱근 장벽”을 제시한다.

상세 분석

논문은 먼저 기존의 Kapshikar‑Kundu(KK23) 결과를 재검토한다. KK23은 코드워드‑안정화(CWS) 프레임워크를 이용해 임의의 고전 선형 코드를 그래프와 결합해 CSS 코드로 변환하고, 특수한 C₄‑free 그래프를 선택해 양자 거리 d_Q가 원래 고전 거리 d와 동일하도록 했다. 이 과정은 그래프 선택이 복잡하고, CWS‑→CSS 변환에 추가적인 다항식 오버헤드가 필요했다. 저자들은 이를 대체하기 위해 Tillich‑Zémor의 하이퍼그래프 곱(HGP) 코드를 활용한다. HGP는 두 개의 고전 파리티‑체크 행렬 H₁, H₂를 텐서곱 형태로 결합해 바로 CSS 코드의 X‑와 Z‑체크 행렬 H′₁, H′₂를 만든다. 중요한 점은 HGP 코드의 양자 거리 d_Q가 min{d₁,d₂}와 정확히 일치한다는 사실이다. 여기서 d₁, d₂는 각각 입력 고전 코드 C₁, C₂의 최소 거리이다. 따라서 고전 최소 거리 문제를 바로 CSS 최소 거리 문제로 환원하려면, C₂를 거리 충분히 큰 단순 반복 코드(예: