⚛️ quantum physics

Improving fermionic variational quantum eigensolvers with Majorana swap networks

이 논문은 페르미온 시스템을 시뮬레이션하기 위해 회로 깊이와 2-큐비트 게이트 수를 크게 줄임으로써 근미래 양자 하드웨어에서의 실행 가능성을 높이는 변분 양자 고유치 솔버를 위한 두 가지 마요라나 스왑 네트워크 컴파일 전략을 소개한다.

원저자: D. E. Fisher, S. A. Fldzhyan, D. V. Minaev, S. S. Straupe, M. Yu. Saygin

게시일 2026-08-13

📖 3 분 읽기🧠 심층 분석

CC BY 4.0

원저자: D. E. Fisher, S. A. Fldzhyan, D. V. Minaev, S. S. Straupe, M. Yu. Saygin

원본 논문은 CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/) 라이선스로 제공됩니다. ✨ 이것은 아래 논문에 대한 AI 생성 설명입니다. 저자가 작성하거나 승인한 것이 아닙니다. 기술적 정확성을 위해서는 원본 논문을 참조하세요. 전체 면책 조항 읽기

당신이 복잡한 댄스 파티를 시뮬레이션하고 있다고 상상해 보십시오. 이곳의 손님들은 페르미온(fermion)이라고 불리는 아주 작고 투명한 입자들입니다. 이 입자들은 매우 엄격한 규칙을 가지고 있습니다. 자기와 같은 종류의 입자와 너무 가까이 있는 것을 싫어하며, 움직일 때마다 '부호(sign)'나 분위기의 변화를 만들어내는 매우 특정한 방식으로 자리를 바꿔야 합니다. 양자 물리학의 세계에서 이것은 분자 속 전자들이 행동하는 방식이며, 이 춤을 이해하는 것이 새로운 의약품, 초효율 배터리, 더 강한 재료를 설계하는 핵심입니다.

이 춤을 컴퓨터로 관찰하기 위해 과학자들은 특별한 도구인 양자 컴퓨터를 사용합니다. 하지만 이 기계들은 춤추는 입자들과는 다른 언어를 사용합니다. 그들은 '큐비트(qubit)'라는 언어를 사용하는데, 이는 켜져 있거나 꺼져 있거나 혹은 동시에 두 상태 모두에 있을 수 있는 단순한 전등 스위치와 같습니다. 문제는 페르미온의 복잡하고 분위기를 바꾸는 춤 동작을 큐비트의 언어로 번역하는 과정이 보통 거대하고 엉킨 명령의 그물망을 필요로 한다는 점입니다. 이는 마치 확성기로 모든 손님에게 동시에 지시를 내리며 댄스 파티를 지휘하려는 것과 같습니다. 지시 사항이 너무 길고 복잡해져서, 춤이 끝나기도 전에 컴퓨터가 지쳐버리고 실수를 저지르게 됩니다. 이것이 과학자들이 직면한 큰 장벽입니다. 즉, 이 번역을 오늘날의 노이즈가 많고 불완전한 양자 기계들에 맞춰 얼마나 짧고, 깔끔하고, 빠르게 만들 것인가 하는 문제입니다.

이 논문은 그 번역을 조직하는 영리하고 새로운 방법을 소개하며, 이는 마치 손님들이 방 건너편에 대고 소리 지를 필요 없이 자리를 바꿀 수 있도록 댄스 플로어를 재배치하는 숙련된 안무가와 같은 역할을 합니다. 모스크바 출신의 연구팀인 저자들은 '마요라나 스왑 네트워크(Majorana swap networks)'를 사용하는 전략을 제안합니다. 페르미온을 단일 무용수가 아니라 손을 잡고 있는 한 쌍의 무용수(마요라나 연산자라고 불림)로 생각하는 것입니다. 이 쌍들을 교체하기 위해 표준적이고 부피가 큰 방법을 사용하는 대신, 팀은 더 정밀하고 더 적은 단계를 요구하는 새로운 유형의 '스왑 게이트(swap gate)'를 사용합니다. 그들은 두 가지 주요 기술을 개발했습니다. 첫째, 가장 복잡한 댄스 루틴(UCCGSD라고 불림)을 위해, 그들은 이전보다 훨씬 적은 움직임으로 무용수들을 올바른 위치로 섞어 놓는 순환 알고리즘을 만들었습니다. 구체적으로는 '라우팅(routing)' 오버헤드를 세제곱 스케일링에서 세제곱 스케일링으로 줄였습니다(비록 전체 댄스 동작의 수는 여전히 높지만 말입니다). 둘째, 더 흥미롭게도, 그들은 k-UpCCGSD라고 불리는 인기 있고 간소화된 댄스 루틴에 맞춘 특정 네트워크를 설계했습니다.

이 새로운 네트워크를 테스트했을 때, 결과는 상당한 개선을 보여주었습니다. 모든 큐비트가 서로 통신할 수 있는 컴퓨터(all-to-all connectivity)에서는, 새로운 방법이 회로의 깊이를 약 50% 줄였고 2-큐비트 게이트의 수를 약 20% 감소시켰습니다. 더 제한적인 하드웨어 레이아웃, 즉 실제 장치에서 흔히 볼 수 있는 2행 N열의 그리드 형태의 구조에서는 절감 효과가 더욱 극적이었습니다: 회로의 단계가 약 55% 줄어들었고 얽힘 게이트(entangling gates)의 수는 40% 감소했습니다. 저자들은 실제 환경의 오류를 모사하기 위해 디지털 노이즈를 포함한 시뮬레이션을 실행했으며, 새로운 방법이 일반적으로 더 견고하여, 컴퓨터가 결함이 있더라도 시뮬레이션된 '춤'이 정답에 더 가깝게 유지된다는 것을 발견했습니다. 이것이 양자 화학의 모든 문제를 해결하는 것은 아니지만, 우리가 양자 정보를 섞는 방식을 바꿈으로써 이러한 시뮬레이션을 우리가 보유한 하드웨어에 훨씬 더 실용적으로 만들 수 있음을 시사합니다.

기술 요약: 마요라나 스왑 네트워크를 통한 페르미온 변분 양자 고유치 솔버(VQE)의 개선

문제 정의
상관된 페르미온 시스템을 정확하게 시뮬레이션하는 것은 양자 컴퓨팅의 주요 응용 분야이지만, 노이즈가 있는 중규모 양자(NISQ) 하드웨어에서는 상당한 난관에 봉착해 있습니다. 핵심 과제는 비로컬(nonlocal) 페르민온 연산자를 큐비트로 매핑하는 것입니다. 조던-위그너(Jordan–Wigner, JW) 및 브라비-키타예프(Bravyi–Kitaev, BK)와 같은 표준 인코딩은 페르미온 모드( $M$ )의 수에 따라 증가하는 파울리 문자열(Pauli strings)을 생성하며, 이는 깊은 회로와 높은 2-큐비트 게이트 수를 초래합니다. 이러한 비로컬성은 오류 축적을 악화시킵니다. 일반적으로 사용되는 변분 안사츠(ansatz)인 유니터리 결합 클러스터(UCC) 계열에서 발생하는 비로컬 연산자의 누적 오버헤드는 여전히 상당합니다. 따라서 페르미온 스왑 게이트(FSWAP)를 사용하는 스왑 네트워크(SN)가 유효한 로컬리티를 강제하기 위해 사용되어 왔으나, 이 역시 한계가 있습니다.

방법론
저자들은 VQE의 컴파일을 최적화하기 위해 **마요라나 연산자(Majorana operators)**와 **마요라나 스왑 네트워크(MSN)**에 기반한 프레임워크를 도입합니다.

마요라나 표현: 이 접근 방식은 표준 페르미온 모드 대신, 단순한 반교환 관계를 따르며 파울리 군(Pauli group)으로 자연스럽게 매핑되는 두 개의 마요라나 연산자( $\hat{\gamma}$ )를 사용하여 각 모드를 표현합니다.
마요라나 스왑 게이트 (MSWAP): 저자들은 두 마요라나 연산자의 부호가 있는 치환(signed permutations)을 구현하는 연산으로서 MSWAP 게이트를 정의합니다. 전체 페르미온 모드를 교환하는 FSWAP과 달리, MSWAP은 개별 마요라나 성분에 작용합니다. 이를 통해 연산자 서포트(support)에 대한 더 세밀한 제어가 가능하며, 인접한 모드에 대해 컴팩트한 분해(예: JW 인코딩에서의 단일 2-큐비트 클리포드 연산)를 허용합니다.
수정된 인코딩: MSWAP 레이어를 적용함으로써 저자들은 "수정된 JW 인코딩"을 생성합니다. 이러한 중간 상태에서는 여기 연산자(단일 및 이중 여기)가 더 짧은 파울리 문자열로 표현될 수 있어, 필요한 얽힘 게이트의 수를 줄일 수 있습니다.
안사츠 대상: 본 연구는 두 가지 특정 UCC 변형에 초점을 맞춥니다:
- UCCGSD: 일반화된 단일 및 이중 여기 안사츠로, $O(M^4)$ 개의 이중 여기 항을 포함합니다.
- k-UpCCGSD: 공간적으로 쌍을 이룬 궤도에 이중 여기를 제한하는 더 컴팩트한 안사츠로, $k$ 개의 레이어가 반복됩니다.

주요 기여

최적화된 여기 분해:
저자들은 MSWAP 레이어와 직접 통합되는 이중 여기 회전(double-excitation rotations)에 대한 게이트 구성을 제공합니다. 파울리 서포트가 컴팩트한 수정된 인코딩에서 회전을 합성함으로써, 표준 Yordanov 분해(12개의 CX 게이트)와 비교하여 4-큐비트 핵심 이중 여기의 회로 깊이를 40% 감소(12 CX 게이트 대비 13 CX 게이트가 아닌 효율적 구조)시킵니다.
UCCGSD를 위한 순환 치환 알고리즘:
일반 UCCGSD 안사츠의 모든 $O(M^4)$ 이중 여기 항을 국소화하기 위한 새로운 알고리즘이 개발되었습니다.
- 메커니즘: 선택된 모드를 "활성 리스트(active list)"의 페르미온 쌍 사이로 이동시키기 위해 순환 스윕(cyclic sweep) 절차를 사용합니다.
- 스케일링: 이 알고리즘은 필요한 4-모드 서포트를 단 ** $O(M^3)$ 보조 MSWAP 전치(transposition)**만 사용하여 노출합니다. 이는 기존의 FSN 기반 접근 방식의 $O(M^4)$ 보조 스왑 오버헤드를 개선한 것입니다.
- 명확화: 저자들은 라우팅(routing) 오버헤드는 $O(M^3)$ 로 감소하지만, 총 변분 이중 여기 회전의 수는 여전히 $O(M^4)$ 라는 점을 명시합니다. 개선점은 이 항들을 로컬하게 만들기 위해 필요한 라우팅의 효율성에 있습니다.
k-UpCCGSD를 위한 MSN 회로:
k-UpCCGSD 안사츠를 위해 저자들은 $2 \times N$ 큐비트 레이아웃( $\alpha$ 와 $\beta$ 스핀 궤도를 위한 별도의 행)에 맞춤화된 MSN 회로를 설계했습니다.
- 융합: 여기 회전이 MSWAP 레이어에 직접 융합되어, 별도의 스왑 및 회전 단계가 필요하지 않습니다.
- 비교: FSN 베이스라인과 비교하여, MSN 방식은 반대 스핀 궤도 간의 불필요한 치환을 방지합니다.
노이즈 인식 평가:
본 연구는 데폴라라이징(depolarizing) 및 상관 오차 채널과 함께 초전도 및 이온 트랩 장치의 노이즈 모델을 사용하여 이러한 컴파일 전략을 평가합니다.

결과
소규모 분자 인스턴스에 대한 수치적 벤치마크는 다음과 같은 성능 지표를 보여줍니다:

전체 연결성 (All-to-All Connectivity):
- 회로 깊이: 약 50% 감소.
- 2-큐비트 게이트 수: 약 20% 감소.
제한된 $2 \times N$ 연결성:
- 회로 깊이: 약 55% 감소.
- 2-큐비트 게이트 수: 약 40% 감소.
노이즈 강건성: MSN 기반 컴파일은 고정된 베이스라인 대안(표준 FSN 또는 표준 분해 등)에 비해 일반적으로 노이즈에 대한 에너지 민감도가 낮거나 최저 수준을 유지하지만, 이는 채널에 따라 다릅니다.

의의 및 주장
본 논문은 마요라나 스왑 네트워크를 통한 회로 컴파일의 구조적 개선이 NISQ 하드웨어에서 페르미온 시뮬레이션의 자원 오버헤드를 크게 완화할 수 있다고 주장합니다. 그 의의는 두 가지 측면에서 나타납니다:

효율성: 제안된 방법은 회로 깊이와 게이트 수의 상수 계수를 줄이며, 이는 스왑 및 측정 오버헤드가 알고리즘 성공의 결정적 요인이 될 때 매우 중요합니다.
확장성: UCCGSD를 위한 $O(M^3)$ 라우팅 오버헤드는 총 회전 수가 높더라도 이전의 $O(M^4)$ 라우팅 전략에 비해 점근적(asymptotic) 개선을 의미합니다.
하드웨어 호환성: $2 \times N$ 레이아웃을 위한 MSN의 특정 설계는 기존 하드웨어 토폴로지(예: 초전도 큐비트)와 자연스럽게 일치하며, 더 견고한 VQE 구현을 위한 실질적인 경로를 제공합니다.

저자들은 이러한 구조적 최적화가 노이즈 인식 설계와 결합될 때, 현재 및 가까운 미래의 양자 장치에서 변분 양자 고유치 솔버의 성능을 향상시키는 유망한 경로를 제공한다고 결론짓습니다.

유사한 논문