IonQ, 트랩 이온 기반 내결함성 양자컴퓨터 설계도 'Walking Cat' 공개

설계 개요: 왜 지금, 왜 LDPC인가

Felix Tripier, Nicolas Delfosse를 포함한 IonQ 연구팀은 트랩 이온 방식을 기반으로 하는 내결함성 양자컴퓨터(FTQC)의 종단간(end-to-end) 설계도를 공개했다. 이 설계도는 컴파일러 계층부터 칩 위 이온의 물리적 이동까지 전 계층을 포괄한다. 연구팀이 강조하는 핵심 원칙은 '단순성'이다. 이론적 최적화보다 현재 기술로 실제 제작 가능한 구조를 우선시했다는 점이 이전 청사진들과 구별되는 지점이다.

오류 정정 방식으로는 양자 저밀도 패리티 검사(LDPC) 코드를 채택했다. 이 방식에서는 각 오류 감지 검사가 소수의 고정된 큐비트만 관여하고, 각 큐비트도 소수의 검사에만 참여한다. 이 희소(sparse) 구조 덕분에 수년간 업계 표준으로 쓰인 표면 코드(surface code)보다 더 적은 물리 큐비트로 더 많은 논리 정보를 담을 수 있다.

아키텍처의 구성 요소

Walking Cat 아키텍처에는 세 가지 핵심 공장(factory) 구성 요소가 존재한다. '캣 공장(cat factory)'은 슈뢰딩거의 고양이 사고실험에서 이름을 딴 고양이 상태(cat state)를 연속 생성한다. 이 상태는 양자 중첩을 활용해 여러 논리 연산을 동시에 효율적으로 수행하는 데 쓰인다. '매직 공장(magic factory)'은 보편적 양자 계산에 필수적이지만 오류 가능성이 높은 T게이트 구현에 필요한 매직 상태(magic state)를 생성하고 증류한다. 아키텍처는 메모리, 매직 상태 생성, 캣 상태 생성, 보조 벨 상태 생성 단위를 모듈 방식으로 연결한다.

연구팀은 세 가지 구성 변형을 제시한다. 단일 코드 아키텍처는 가장 단순하지만 연산 효율이 낮다. 고속(fast) 아키텍처는 이번 논문에서 새로 제안한 BB7-[[70, 6, 9]] 코드를 기반으로 하며, 클리퍼드 프레임 추적(Clifford frame tracking) 기법을 통해 특정 논리 연산을 하드웨어에 물리적으로 적용하지 않고 처리해 게이트 오버헤드를 줄인다. 고밀도(dense) 아키텍처는 새 코드 Q102([[102, 22, 9]])를 사용해 블록당 22개의 논리 큐비트를 인코딩함으로써 전체 물리 큐비트 수요를 낮춘다.

성능 추정치와 트랩 이온 물리 구현

연구팀의 추정에 따르면, 고속 아키텍처를 물리 큐비트 1만 개 규모로 구현할 경우 100개 격자점의 하이젠베르크 모형(Heisenberg model) 양자 시뮬레이션을 화학적 정밀도로 한 달 이내에 완료할 수 있다. 이 수준은 고전 컴퓨터로는 다루기 불가능한 계산 영역에 진입함을 의미한다. 고밀도 아키텍처 기준으로는 2,514개의 물리 큐비트—메모리, 오류 정정, 매직 공장, 캣 공장, 이온 재적재용 저장소, 라우팅을 모두 포함한 수치—로 하루 100만 T게이트 실행이 가능하다고 본다.

물리 구현의 토대는 양자 전하결합소자(QCCD) 프레임워크다. 이 방식에서 이온들은 2차원 칩 위를 이동하며, 저장 구역과 상호작용 구역 사이를 오가면서 2큐비트 게이트 연산을 수행한다. 연구팀은 EQC(얽힘 큐비트 결합) 기법을 이용한 2큐비트 게이트와 이온 물리 이송이 이미 소규모 실험장치에서 검증됐음을 강조하며, 설계가 미검증된 기술에 의존하지 않는다고 주장한다.

한계와 전망

이 논문은 하드웨어 시연이 아닌 이론적 설계도임을 명확히 한다. 수천 개 규모의 트랩 이온 시스템으로 확장하는 과정에는 여전히 상당한 공학적 도전이 남아 있다. 오류율 유지, 이온 결맞음(coherence) 시간, 이온 이송 속도 등의 실제 구현 변수는 이 설계가 설정한 가정들에 크게 영향을 받는다. 그럼에도 연구팀은 기존 문헌에서 부재했던 현실적 공학 제약을 명시적으로 반영한 종단간 FTQC 설계도를 제공했다는 점에서 이 연구의 의의를 두고 있다.