정규 언어 상태 컴파일러: 구조 인식과 효율적 양자 회로 설계

초록

이 논문은 정규 언어로 정의된 비트 문자열들의 균일 중첩 상태(Regular Language States, RLS)와 그 보완 상태를 자동으로 합성하는 양자 상태 준비 컴파일러를 제안한다. 사용자는 문자열 집합, 정규식, 혹은 DFA를 입력으로 제공하고, 컴파일러는 이를 최소 DFA로 변환·축소한 뒤 최적의 행렬곱 상태(MPS)로 매핑한다. 이후 두 가지 하드웨어‑특화 백엔드(선형 인접형 SeqRLSP, 전역 연결형 TreeRLSP)를 통해 깊이와 게이트 수가 최대 슈미트 차수 χ에 비례하도록 회로를 생성한다. 이 과정에서 컴파일 시간은 DFA 크기에만 의존하며, 보완 상태의 복잡도는 원 상태와 동일한 차수(χ+1)만 증가한다는 이론적 보장을 제공한다. 실험 결과는 기존 일반‑목적 및 특수‑목적 컴파일러 대비 회로 깊이·게이트 수·컴파일 시간에서 현저히 우수함을 보여준다.

상세 분석

본 논문은 양자 상태 준비 문제를 두 가지 기존 접근법 사이의 중간 지점에 위치시키는 새로운 패러다임을 제시한다. 일반‑목적 컴파일러는 입력을 2ⁿ 차원의 복소수 벡터로 취급해 선형 또는 다항 시간 안에 회로를 생성하지만, 구조적 정보를 활용하지 못해 비효율적이다. 반면 특수‑목적 컴파일러는 GHZ, W, Dicke 등 미리 정의된 상태에 대해서만 최적화된 회로를 제공한다. 저자들은 정규 언어(RL)라는 넓지만 수학적으로 제어 가능한 클래스에 초점을 맞추어, 사용자가 정규식, DFA, 혹은 문자열 집합 형태로 목표 상태를 기술하면 자동으로 효율적인 회로를 생성하도록 설계하였다.

핵심 아이디어는 정규 언어와 행렬곱 상태(MPS) 사이의 일대일 대응 관계를 이용하는 것이다. 정규 언어는 유한 상태 자동기(DFA)로 완전하게 표현될 수 있으며, DFA의 전이 행렬을 텐서 네트워크 형태로 재구성하면 바로 MPS가 된다. 이때 MPS의 내부 차원(보통 ‘bond dimension’)은 DFA의 상태 수와 직접 연관되며, 최소화된 DFA는 불필요한 상태를 제거해 차원을 최소화한다. 따라서 복잡한 선형 대수 연산 대신 DFA 최소화 알고리즘(예: Hopcroft’s algorithm)만 수행하면, 목표 상태의 구조적 복잡도를 정확히 파악할 수 있다.

논문은 두 가지 백엔드 구현을 제시한다. 첫 번째인 SeqRLSP는 선형 인접(LNN) 연결을 가정하고, MPS를 순차적으로 ‘스캔’하면서 각 텐서를 로컬 유니터리 연산으로 구현한다. 이 방식은 ancilla 없이 깊이가 O(N·χ)인 회로를 만든다. 두 번째인 TreeRLSP는 전역 연결을 활용해 MPS를 트리 텐서 네트워크로 재배열하고, 병렬적으로 유니터리를 적용해 깊이를 O(log N·χ)로 축소한다. 두 백엔드 모두 최대 슈미트 차수 χ에 비례하는 게이트 수와 깊이 상한을 증명했으며, 보완 상태(complement)의 경우 차수가 χ+1 이하로 증가한다는 정리를 제시한다(정리 2). 이는 보완 연산이 구조적 복잡도를 크게 악화시키지 않음을 의미한다.

컴파일 시간 분석에서도 중요한 결과가 있다. DFA 변환·축소 단계는 입력 문자열 집합 크기 S에 대해 O(|S|·log|Σ|) 혹은 정규식 길이에 대해 선형 시간으로 수행된다. 이후 MPS 변환은 최소 DFA의 상태 수 |Q|에 비례하는 다항 시간이며, 실제 구현에서는 |Q|가 보통 O(N) 이하이므로 전체 파이프라인은 실용적인 컴파일 시간을 제공한다(정리 1, 정리 3의 상관관계). 이는 기존 일반‑목적 컴파일러가 2ⁿ 차원의 행렬을 직접 다루어 급격히 늘어나는 시간 복잡도와는 대조적이다.

실험에서는 Dicke, W, 무작위 균일 중첩, 그리고 보완 상태를 대상으로 SeqRLSP와 TreeRLSP를 적용했다. 비교 대상은 Qiskit의 일반‑목적 컴파일러, Qiskit의 sparse‑state 모듈, 그리고 특수‑목적 Dicke/W 회로이다. 결과는 특히 보완 상태에서 기존 방법이 필요로 하는 지수적 게이트 수와 달리, 제안된 컴파일러가 선형 혹은 로그 깊이 회로를 생성함을 보여준다. 또한 컴파일 시간도 입력 크기에 비해 거의 선형적으로 증가해, 대규모(N≈30~40) 시스템에서도 실시간 컴파일이 가능함을 입증했다.

이 논문의 의의는 세 가지로 요약할 수 있다. 첫째, 정규 언어라는 풍부하면서도 효율적으로 다룰 수 있는 형식 언어를 양자 상태 준비의 전면에 도입함으로써, 사용자는 복잡한 양자 상태를 ‘정규식 하나’ 혹은 ‘DFA 하나’로 기술할 수 있다. 둘째, DFA→MPS 변환이라는 구조적 압축 과정을 통해 양자 회로 설계의 복잡도를 슈미트 차수 χ에만 의존하도록 제한함으로써, 이론적 자원 상한을 명확히 제시한다. 셋째, 하드웨어‑특화 백엔드 설계가 실제 양자 디바이스의 연결 제약을 반영하면서도 최적의 깊이·게이트 수를 달성한다는 점에서, 양자 컴파일러 설계에 새로운 모듈식 접근법을 제시한다. 향후 연구는 비정규 언어(예: 컨텍스트 프리)나 비균일 가중치 상태로 확장하고, 오류 보정과 결합한 최적화 기법을 탐구하는 방향으로 진행될 수 있다.