선형 거리와 상수 깊이 CCZ 마법 상태 분수를 위한 구조적 조건

초록

이 논문은 CSS 형태의 qLDPC 코드에서 “마법 친화 삼중항”이라는 논리 X 연산자 집합이 충분히 많이 존재하고, 각 물리 큐비트가 이러한 삼중항에 제한된 횟수만 참여하면, 상수 깊이의 물리 CCZ 게이트 회로를 이용해 다수의 논리 CCZ 연산을 동시에 구현할 수 있음을 보인다. 특히, 양자 Tanner 코드와 같은 선형 거리·상수 비율 qLDPC 코드가 이러한 조건을 만족한다면, 선형 규모의 마법 상태 분수를 자연스럽게 얻을 수 있다.

상세 분석

본 연구는 qLDPC 코드가 비클리프포드 논리 연산을 지원하기 위한 구조적 전제조건을 명확히 규정한다. 핵심은 “마법 친화 삼중항(magic‑friendly triple)”이라는 개념이다. 정의에 따르면, 세 개의 논리 X 연산자 (x,y,z)는 (i) 서로 선형 독립이며, (ii) 쌍마다 내적이 0(모듈로 2)인 정규 직교성을 갖고, (iii) 세 벡터의 원소별 곱의 합 (\tau(x,y,z)=\sum_i x_i y_i z_i)가 홀수여야 한다. 이러한 삼중항은 물리 CCZ 게이트를 동일한 위치에 적용했을 때, 전체 위상 ((-1)^{\tau(x,y,z)})를 부여함을 보이며, 이는 논리 CCZ 연산에 정확히 대응한다.

다음으로 저자들은 물리 CCZ 회로를 3‑uniform 하이퍼그래프로 모델링한다. 각 하이퍼엣지는 하나의 CCZ 게이트에 해당하고, 정점의 차수는 해당 큐비트가 회로에서 몇 번 사용되는지를 나타낸다. 차수가 일정 상수 (\Delta) 이하이면, 고전적인 하이퍼그래프 색칠 정리를 이용해 최대 (3\Delta+1) 색으로 엣지를 구분할 수 있다. 색 하나당 한 레이어의 동시 CCZ 게이트 집합이 되므로, 전체 회로 깊이는 상수에 머문다.

핵심 정리는 “패킹 보조정리(Packing Lemma)”이다. 마법 친화 삼중항들의 지원 집합 (S_t) (각 삼중항에 포함된 물리 큐비트들의 합집합)의 크기가 (\Theta(n))이고, 각 큐비트가 포함되는 삼중항 수가 상수 (M) 이하라면, 그 중 겹치지 않는 부분집합 (T)를 (|S|/(M b)) 비율로 추출할 수 있다. 즉, 많은 삼중항을 골라도 각 큐비트가 한 번만 사용되도록 할 수 있다.

이 두 정리를 결합하면, 만일 어떤 CSS qLDPC 코드 패밀리가 (1) (\Omega(n^{1+\gamma}))개의 마법 친화 삼중항을 가지고, (2) 각 삼중항의 지원 크기가 (