신뢰할 수 없는 부품으로 만든 양자 메모리: 안정성, 용량, 그리고 복잡도

초록

본 논문은 노이즈가 있는 물리적 큐비트와 게이트, 측정을 이용해 논리 큐비트를 안정적으로 저장하는 양자 메모리 모델을 정의하고, 양자 익스팬더 코드와 양자 LDPC 코드를 활용해 양자 저장률이 양의 상수임을 보인다. 또한 신뢰 가능한 양자 통신 문제와 연결해 저장 용량에 대한 상한을 제시하고, 하이퍼컨트랙티비티를 만족하는 노이즈에 대해 엔트로피 소산을 이용한 더 강력한 상한을 도출한다. 디코더 복잡도가 물리적 큐비트 수에 비례해 증가함을 고려한 비대칭적(비대수) 설정에서도 유한 블록길이 통신 경계를 이용해 상한을 구한다. 마지막으로 수치 실험을 통해 비대칭·대칭 경우의 상하한 차이를 분석하고, 격차를 줄이기 위한 향후 연구 방향을 제시한다.

상세 분석

이 논문은 먼저 “안정적인 양자 메모리(stable quantum memory)”라는 개념을 정형화한다. 정의 1‑4에서 복잡도 χ를 물리적 큐비트 수, 양자 게이트 수, 그리고 주기적인 측정 횟수의 총합으로 정의하고, 저장 오버헤드 θ를 복잡도 대비 논리 큐비트 수의 비율로 설정한다. 안정성은 (i) 초기 인코더 E가 무노이즈이며 (ii) 디코더 D가 일정 시간 T 이후에 임의의 입력 상태 σ에 대해 페델리티 1‑ε를 보장하는 조건으로 규정한다. 여기서 중요한 점은 인코더와 디코더 자체는 신뢰할 수 없는 시스템에 포함되지 않으며, 메모리 자체만이 “불완전한” 부품으로 구성된다는 점이다.

시스템 모델은 ‘대기‑리프레시’ 사이클을 갖는다. 대기 단계에서는 물리적 큐비트가 로컬 스토캐스틱 노이즈(p, q) 혹은 독립 디포라이징 노이즈(˜p) 하에 점진적으로 decohere하고, 리프레시 단계에서는 정규화된 측정 회로와 고전적 디코더를 통해 오류 신드롬을 추출하고, 적절한 X/Z 교정을 수행한다. 논문은 특히 측정 오류 q를 포함시켜, 실제 실험 장치에서 흔히 발생하는 ancilla 준비·측정 오류까지 모델링한다.

핵심 기술적 기여는 두 가지 코드 패밀리를 이용한 양자 메모리 구현이다. 첫 번째는 양자 익스팬더 코드(quantum expander code)이다. 이는 두 클래식 익스팬더 코드의 하이퍼그래프 곱으로 구성되며, 상수적인 체크 가중치 d_A + d_B와 LDPC 특성을 갖는다. 이러한 구조는 코드 거리 d_min이 원본 클래식 코드의 거리와 동일하게 유지되면서, 코드율 R = k/n이 상수(>0)임을 보장한다. 또한 O(log n) 시간 복잡도의 작은 집합 플립 디코더가 존재함을 이용해, 디코더 복잡도가 물리적 큐비트 수에 대해 로그 스케일만 증가한다는 점을 강조한다. 두 번째는 바이바레이트 바이시클(바이바레이트 자전) 양자 LDPC 코드이다. 이는 고정된 가중치 6의 체크 행렬을 갖고, n = 2ℓm, k = 2·dim(ker A ∩ ker B) 형태의 높은 코드율을 제공한다. 특히 두 코드 모두 체크 행렬의 열·행 가중치가 상수이므로, 실제 칩 설계 시 회로 깊이와 레이아웃 복잡도를 크게 낮출 수 있다.

저장 용량 상한은 두 단계로 도출된다. (1) 신뢰 가능한 양자 통신 문제와의 귀환(reduction)으로, 메모리 채널을 양자 채널 N에 매핑하고, 그 채널 용량 Q(N)으로부터 Q ≥ 1/θ 를 얻는다. (2) 노이즈가 하이퍼컨트랙티비티 조건을 만족할 때, 엔트로피 소산(Entropy Dissipation) 기법을 적용해, 채널의 마코프 연쇄에 대한 로그-소거(Lieb‑Ruskai) 불평등을 이용해 더 강한 상한을 얻는다. 이때 사용된 엔트로피 소산은 양자 상대 엔트로피와 채널의 복원 가능성 사이의 관계를 정량화한다.

비대칭(비대수) 설정에서는 디코더 실행 시간이 물리적 큐비트 수 n에 따라 선형 또는 초선형으로 증가한다는 현실적 제약을 반영한다. 이 경우 노이즈 파라미터가 n에 의존하게 되므로, 전통적인 대수적(Asymptotic) 용량 정의가 적용되지 않는다. 저자들은 유한 블록길이( finite‑blocklength ) 양자 통신 경계(Polyanskiy‑Verdú‑Wu 등)를 차용해, 주어진 n, ε, δ에 대해 가능한 최대 저장률 R(n, ε)의 상한을 명시적으로 계산한다.

수치 실험에서는 n = 10³10⁵ 범위에서 양자 익스팬더 코드와 바이바레이트 바이시클 코드를 시뮬레이션한다. 대기‑리프레시 사이클 수를 늘릴수록 누적 오류가 증가하지만, 디코더 복잡도와 측정 오류 q가 일정 수준 이하일 때는 목표 페델리티 0.99를 유지한다. 대수적 경우와 비대칭 경우 모두에서 상한과 하한 사이의 격차가 0.10.2 비트/물리 큐비트 정도로 나타났으며, 특히 하이퍼컨트랙티비티 기반 상한이 기존의 단순 채널 용량 상한보다 약 15% 더 타이트함을 확인했다. 마지막으로 격차를 줄이기 위한 방안으로(1) 디코더 알고리즘의 병렬화, (2) 측정 오류 억제를 위한 엔코더‑디코더 연계 설계, (3) 보다 정밀한 엔트로피 소산 불평등 개발 등을 제시한다.

전반적으로 이 논문은 “불완전한 부품만으로도 양자 메모리를 설계할 수 있다”는 이론적 근거를 제공하고, 구체적인 코드와 복잡도 분석을 통해 실용적인 설계 가이드라인을 제시한다는 점에서 양자 정보 저장 분야에 중요한 기여를 한다.