Spectral functions on a quantum computer through system-environment interaction

본 논문은 표준 기법 대비 $O(N)$의 샘플링 오버헤드 감소를 달성하여 스펙트럼 함수를 측정하기 위해 시스템 - 환경 상호작용을 모델링하는 효율적인 양자 알고리즘을 제시하며, Quantinuum 이온 트랩 양자 컴퓨터의 54 개 큐비트를 사용하여 27 개 사이트 시스템에서 그 유효성을 입증합니다.

핵심

복잡한 물질이 연주할 수 있는'음계'(에너지 준위) 를 이해하려고 상상해 보세요. 실제 세계에서는 과학자들이 ARPES(각분해 광전자 방출 분광법) 라는 고성능 카메라를 사용하여 이러한 음계의 사진을 찍습니다. 이를 위해 그들은 물질에 빛을 쏘아 전자를 튕겨낸 후, 그 전자들이 얼마나 빠르게 그리고 어떤 방향으로 날아가는지 측정합니다.

문제는 이 과정을 컴퓨터로 시뮬레이션하는 것이 극도로 어렵다는 점입니다. 이는 마치 고요한 상태에서 모든 악기를 하나씩 들어 오케스트라의 전체 소리를 예측하고, 그 전체 곡을 추측해 보려는 것과 같습니다. 양자 컴퓨터에서 기존의 방식은 음악가가 한 음을 연주하고 멈추고, 초기화한 후 다음 음을 연주하고 멈추고, 다시 초기화하는 것을 반복하도록 요청하는 것과 같았습니다. 만약 1,000 개의 악기 (또는 물질 내의'사이트') 가 있다면, 완전한 그림 하나를 얻기 위해 이 과정을 1,000 번 반복해야 합니다. 이는 영원히 걸리는 것처럼 보이며 막대한 시간을 낭비합니다.

새로운 아이디어:'가짜'환경

이 논문의 저자들은 교묘한 단축키를 고안해냈습니다. 컴퓨터에게 음계를 하나씩 계산하도록 요청하는 대신, 양자 컴퓨터에서 실제 실험을 직접 시뮬레이션하기로 결정한 것입니다.

다음과 같이 생각해 보세요:

• 시스템: 연구하려는 물질 (오케스트라) 입니다.
• 환경: 전자를 포착하는'카메라'또는'진공' (관중) 입니다.

그들의 새로운 방법에서는 컴퓨터 내부에서'오케스트라'를'가짜 관중'(환경) 에 연결합니다. 그들은 오케스트라가 이 관중과 짧은 시간 동안 상호작용하도록 합니다. 그런 다음 오케스트라를 직접 측정하는 대신, 단순히 관중을 살펴 누가 음을 잡았는지 확인합니다.

관중은 한 번에 전체 오케스트라에 연결되어 있기 때문에, 단 하나의 측정으로 전체 오케스트라의'음계'를 동시에 알 수 있습니다.

큰 승리: 속도와 효율성

이 논문은 이온 트랩 컴퓨터 (잡힌 원자를 큐비트로 사용하는 양자 컴퓨터의 특정 유형) 에게 게임 체인저가 될 것이라고 주장합니다.

• 기존 방식: 선명한 그림을 얻기 위해 카메라가 느리고 흐릿하기 때문에 1,000 장의 사진 (측정) 을 찍어야 할 수도 있습니다.
• 새로운 방식: 단 한 장의 사진만 필요합니다.

저자들은 이것이 막대한 시간 절약을 가져온다고 말합니다. 기존 방법이 100 시간이 걸렸다면, 이 새로운 방법은 단 1 시간이면 될 수 있습니다. 그들은 이를 O(N) 개선이라고 부르는데, 이는 연구하는 물질의 크기를 두 배로 늘리면 기존 방법은 두 배 느려지지만 이 새로운 방법은 여전히 똑같이 빠르다는 것을 의미합니다.

단점: 더 많은'큐비트'가 필요합니다

이러한 트릭을 수행하려면 양자 컴퓨터의 기본 단위인'큐비트'의 수를 두 배로 늘려야 합니다. 왜냐하면 물질과 가짜 환경을 모두 시뮬레이션해야 하기 때문입니다. 마치 밴드와 관중을 모두 수용할 더 큰 방이 필요한 것과 같습니다. 그러나 저자들은 이러한 특정 컴퓨터의 경우, 측정 시간을 절약하는 것이 몇 개의 추가 큐비트를 갖는 것보다 훨씬 더 중요하다고 주장합니다.

###'마법'트릭: 페르미온 푸리에 변환
'가짜 관중'을 작동시키기 위해 컴퓨터는 **페르미온 푸리에 변환 (FFT)**이라는 복잡한 수학 춤을 추어야 합니다. 이는 모든 하트가 함께, 모든 스페이드가 함께 모이도록 카드 덱을 섞는 것과 같지만, 양자 입자 (페르미온) 의 이상한 규칙을 존중하는 방식으로 수행됩니다.

저자들은 표준 섞기 방법을 사용한 것이 아니라, 특히 카드 수가 2 의 거듭제곱이 아닌 경우 (예: 27 장의 카드) 에 이러한 특정 양자 카드를 더 효율적으로 섞는 방법을 고안해냈습니다. 그들은 이 섞기 작업을 실제 기계 (Quantinuum 의 H2) 에서 테스트하여 작동함을 증명했습니다.

실제 세계 테스트

이 팀은 단순히 이론을 작성한 것이 아니라, 54 개의 큐비트(물질용 27 개, 환경용 27 개) 를 가진 실제 양자 컴퓨터에서 실험을 수행했습니다. 그들은 27 개의 사이트로 이루어진 입자 사슬의'스펙트럼 함수'(음계) 를 성공적으로 측정했습니다.

실제 컴퓨터에는 라디오의 정전기 같은'노이즈'가 있지만, 결과는 물질의 주요 특징을 볼 수 있을 만큼 명확했습니다.'노이즈'는 신호를 약간 희미하게 만들었지만 음의 모양을 왜곡하지는 않았으므로, 그들이 찾던 물리 현상은 정확하게 유지되었습니다.

요약

요약하자면, 이 논문은 물질이 빛과 상호작용하는 방식을 시뮬레이션하는 새로운 방법을 소개합니다. 부분을 따로 계산하는 대신 전체 실험(시스템 + 환경) 을 한 번에 시뮬레이션함으로써, 그들은 N 배 더 빠른 (여기서 N 은 시스템의 크기) 답변을 얻을 수 있습니다. 이는 오늘날의 양자 컴퓨터, 특히 이온 트랩 유형에서 크고 복잡한 물질을 연구하는 것을 훨씬 더 실용적으로 만듭니다.

기술 요약

문제 제기
각도 분해 광전자 방출 분광법 (ARPES) 을 통해 측정된 스펙트럼 함수는 물질의 밴드 구조를 규명하는 데 결정적입니다. 이론적으로 이러한 함수는 평형 상태에서의 동적 1 점 함수에 해당합니다. 고전적으로 계산하기 어렵다는 점도 있지만, 양자 컴퓨터에서의 측정 또한 상당한 장애물에 직면해 있습니다. 동적 상관관계 $\langle c^\dagger_j(t)c_0(0)\rangle$를 계산하고 푸리에 변환을 수행하는 표준 접근법은 큰 샘플링 오버헤드를 겪습니다. 구체적으로, 서로 다른 사이트 $j$에 대한 연산자 $c_j + c^\dagger_j$는 교환하지 않으므로, 한 번의 샷 (shot) 당 하나의 상관관계만 측정할 수 있습니다. 모든 $N$개의 운동량에 대한 스펙트럼 함수를 재구성하려면 $O(N)$의 샘플링 오버헤드가 필요합니다. 이는 게이트 충실도와 연결성이 높지만 상대적으로 느린 샷 시간을 가진 이온 트랩 양자 컴퓨터에게 특히 문제적입니다. $O(N)$의 샷 수는 실용 규모 응용 분야에서 병목 현상을 초래합니다.

방법론
저자들은 ARPES 실험에서 발생하는 것처럼 시스템과 환경 사이의 물리적 상호작용을 모델링하여 스펙트럼 함수 $A(k, \omega)$를 직접 측정하는 방법을 제안합니다. 이 접근법은 다음을 포함합니다:

1. 시스템 - 환경 결합: 관심 시스템 (해밀토니안 $H_{sys}$) 은 상호작용 항 $H_{int}$를 통해 $N$개의 사이트로 구성된 환경 (해밀토니안 $H_{env}$) 과 결합됩니다. 전체 해밀토니안은 $H = H_{sys} + \epsilon H_{int} + \omega H_{env}$입니다.
2. 상태 준비 및 진화: 시스템은 $H_{sys}$의 고유상태 $|E\rangle$로 초기화되고, 환경은 $A_+$의 경우 진공 상태 $|0\rangle$로, $A_-$의 경우 완전히 채워진 상태 $|all\rangle$로 초기화됩니다. 전체 시스템은 고정된 시간 $t$ 동안 $H$ 하에서 진화합니다.
3. 측정: 동적 상관관계를 측정하는 대신, 이 프로토콜은 환경의 운동량 점유수 $n(k)$를 측정합니다. 이를 위해 진화 종료 시 환경 큐비트에 페르미온 푸리에 변환 (FFT) 을 수행한 후, 국소 $Z$ 파울리 행렬을 측정해야 합니다.
4. 이론적 결과: 약한 결합 ($\epsilon \to 0$) 과 긴 시간 ($t \to \infty$) 의 극한에서 기대값 $\langle n(k) \rangle$은 스펙트럼 함수 $A(k, \omega)$에 비례합니다 (시간 $t \to \infty$로 갈수록 델타 함수에 접근하는 커널과 컨볼루션됨).
5. 페르미온 FFT 구현: 임의의 시스템 크기 (특히 $N=27$) 를 처리하기 위해 저자들은 일반적인 기수-$n$ 페르미온 FFT 를 위한 효율적인 게이트 분해를 개발했습니다. 이들은 "interleave" 연산을 포함하는 재귀적 구조를 활용하여 변환을 위해 비인접한 페르미온 모드를 인접하게 만들며, 모든-대-all 연결 아키텍처를 위해 그래프 소거 기법을 사용하여 최적화했습니다.

주요 기여

• 효율적인 샘플링: 주요 기여는 샘플링 오버헤드의 감소입니다. 환경의 운동량 점유수를 측정함으로써, 이 방법은 단일 샷 내에서 모든 $N$개의 운동량 $k$에 대한 스펙트럼 데이터를 획득하여 표준 동적 상관관계 접근법에 비해 필요한 샷 수를 $O(N)$배 줄입니다.
• 런타임 개선: 이 샷 감소는 전체 런타임에서 $O(N)$의 개선을 의미하며, 샷 시간이 제한 요인인 이온 트랩 양자 컴퓨터와 같은 플랫폼에게 중요합니다.
• 트로터 오차에 대한 강건성: 저자들은 표준 방법보다 제안된 방법이 시간 진화 오차 (트로터화) 에 더 강건하다고 주장합니다. 표준 방법은 오차로 인해 스펙트럼 함수에 비물리적인 음수 값을 산출할 수 있는 반면, 제안된 방법은 점유수를 측정하므로 불완전한 진화에서도 양의 값을 유지합니다.
• 하드웨어 벤치마킹: 저자들은 27 큐비트에서 기수 -3 페르미온 FFT 를 구현하고 Quantinuum 의 H2-1 및 H2-2 이온 트랩 시스템에서 다양한 컴파일 전략 (국소 CZ, CX 사다리, 그래프 소거) 을 벤치마킹했습니다. 그들은 $\log_2(N)$ 스케일링 컴파일이 가장 낮은 에너지와 부정확성을 제공함을 확인했습니다.
• 전체 알고리즘 시연: 완전한 알고리즘은 Quantinuum H2-2 하드웨어에서 54 큐비트 시스템 (시스템 사이트 27 개 + 환경 사이트 27 개) 에서 시연되었으며, 1 차원 자유 페르미온 해밀토니안의 스펙트럼 함수를 성공적으로 계산했습니다.

결과

• 하드웨어 성능: H2-2 하드웨어에서 이 방법은 27 사이트 시스템에 대한 스펙트럼 밴드의 모양을 성공적으로 재현했습니다. 하드웨어 노이즈로 인해 신호가 전반적으로 감쇠되었으나 (0.5 근처의 "노이즈 플로어"), 밴드 위치와 폭과 같은 물리적 특징은 편향되지 않았습니다.
• 오차 분석: 정확한 시뮬레이션과의 비교 결과, 제안된 방법은 특히 작은 결합 $\epsilon$의 경우 표준 동적 상관관계 접근법보다 훨씬 적은 수의 트로터 단계를 사용하여 동일한 정밀도를 달성함을 보여주었습니다.
• 비용 분석: 특정 27 사이트 실험의 경우, 이 방법은 환경과 FFT 로 인해 2 큐비트 게이트 오버헤드를 발생시켰지만, 샷 수에서 약 27 배의 절감을 이루었습니다. 저자들은 이 방법이 없으면 동일한 정밀도를 위해 총 런타임 비용이 약 11 배 더 높았을 것으로 추정합니다.
• 유한 결합 효과: 이론적 분석과 자유 페르미온 시뮬레이션은 유한 결합 $\epsilon$이 밴드 확장 및 "유령 밴드"를 도입함을 나타냅니다. 그러나 $\epsilon t \lesssim \pi$인 경우 이러한 효과는 무시할 수 있으며, 이 방법은 스펙트럼 함수를 충실히 근사합니다.

의의
이 논문은 이 접근법이 양자 컴퓨터에서 스펙트럼 함수 계산의 확장성을 근본적으로 개선한다고 주장합니다. 큐비트 및 게이트 오버헤드를 대규모 샘플링 요구 사항 감소와 교환함으로써, 이 방법은 이온 트랩 양자 컴퓨터의 중요한 병목 현상을 해결합니다. 저자들은 시스템 크기가 실용 규모 (수백 또는 수천 개의 사이트) 로 증가함에 따라 샷 수의 $O(N)$ 감소가 양자 하드웨어에서 물질 특성을 시뮬레이션하는 실제적 타당성을 결정하는 요인이 될 것이라고 봅니다. 이 연구는 또한 현실적인 물질 모델을 시뮬레이션하는 데 필요한 구성 요소인 2 의 거듭제곱이 아닌 시스템 크기에 대한 페르미온 푸리에 변환의 구체적이고 효율적인 구현을 제공합니다.