Thermodynamic-limit dispersion relations on trapped-ion quantum hardware

본 논문은 20 큐비트 트랩드 이온 양자 프로세서를 사용하여 횡방향 자기장 이징 모델의 열역학적 한계 기저 상태 에너지와 준입자 분산을 수치적 연결 클러스터 전개 프레임워크 내에서 계산하는 것이 가능함을 입증하며, CX-test 와 같은 새로운 기법을 통해 비선형 고전적 후처리 중 발생하는 잡음 증폭 문제를 해결함을 보여줍니다.

핵심

이 논문은 간단한 언어와 창의적인 비유를 사용하여 설명합니다.

큰 그림: 작은 조각으로 거대한 퍼즐을 풀기

거대하고 무한한 군중의 행동을 이해하려고 한다고 상상해 보세요. 한 번에 모든 사람을 관찰하는 것은 불가능합니다. 군중이 너무 크고 상호작용이 너무 복잡하기 때문입니다.

물리학 세계에서 이 '무한한 군중'은 열역학적 한계라고 불립니다. 과학자들은 무한한 물질 내에서 입자들이 어떻게 상호작용하는지 알고 싶어 하지만, 우리가 현재 사용하는 고전 컴퓨터는 이러한 거대하고 강하게 연결된 시스템을 시뮬레이션하려 할 때 벽에 부딪힙니다. 그들은 수학에 갇히게 됩니다.

이 논문은 양자 컴퓨터(양자 물리 법칙을 이용하여 계산하는 특수한 기계) 를 사용하여 이 문제를 해결하는 새로운 방법을 설명합니다. 그러나 오늘날의 작은 양자 컴퓨터로는 불가능한 전체 무한한 군중을 한 번에 시뮬레이션하는 대신, 연구자들은 **수치적 연결 군집 확장 **(NLCE)이라는 교묘한 전략을 사용했습니다.

비유:
무한한 군중을 거대한 모자이크로 생각하세요. 연구자들은 전체를 한 번에 칠하는 대신, 작은 타일들 (작은 입자 군집) 을 따로따로 칩니다. 그런 다음 특별한 수학적 레시피를 사용하여 이러한 타일들을 이어 붙여 전체 무한한 그림이 어떻게 보이는지 예측합니다.

도전 과제: 방 안의 '소음'

연구자들은 이 작은 타일들을 칠하기 위해 실제 양자 컴퓨터 (20 큐비트 트랩드 이온 머신) 를 사용했습니다. 하지만 함정이 하나 있습니다. 현재의 양자 컴퓨터는 '소음이 많습니다'. 등불이 깜빡이고 바람이 페인트를 휘날리는 방에서 걸작을 그리려고 하는 것과 같습니다.

그들이 해결한 구체적인 문제는 그들의 수학적 레시피가 비선형 후처리를 필요로 한다는 점입니다.

• 간단한 비유: 커피 한 잔의 온도를 측정한다고 상상해 보세요. 그것은 단순한 숫자입니다. 하지만 그 온도의 제곱근을 계산하거나 한 측정값을 다른 측정값으로 나누어야 한다면, 초기 측정의 작은 오차가 나중에 엄청나게 증폭됩니다.
• 논문의 주장: 연구자들은 이렇게 물었습니다. "우리의 양자 컴퓨터는 나중에 이러한 까다로운 수학 연산을 수행할 때 숫자가 폭발하지 않을 만큼 정확한가?"

그들이 사용한 도구들

이를 성공적으로 수행하기 위해 그들은 몇 가지 다른 기법을 결합했습니다.

1. **"군집 솔버" **(VQE 대 ASP)
   작은 타일들을 칠하기 위해 그들은 두 가지 다른 방법을 사용했습니다.

   • **VQE **(변분 양자 고유값 솔버) 시험을 치르는 학생이라고 생각하세요. 컴퓨터는 해답을 시도하고, 채점을 받고, 실수에서 배우고, 최선의 답을 얻을 때까지 다시 시도합니다.
   • **ASP **(단열 상태 준비) 다이얼을 천천히 돌리는 것이라고 생각하세요. 간단한 시스템으로 시작하여 매우 천천히 원하는 복잡한 시스템으로 변경합니다.
   • 결과: 이 특정 하드웨어에서 "학생"(VQE) 이 "느린 다이얼"(ASP) 보다 더 좋은 성과를 냈습니다. 아마도 느린 다이얼은 시간이 너무 오래 걸려 소음에 너무 혼란스러워졌기 때문일 것입니다.

2. **"PCAT" **(접착제)
   작은 타일들로부터 데이터를 얻은 후, 그들이 떨어지지 않도록 붙여야 했습니다. 그들은 PCAT라는 방법을 사용했습니다.

   • 비유: 두 개의 분리된 레고 구조물이 있다고 상상해 보세요. 단순히 테이프로 붙이면 흔들릴 수 있습니다. PCAT는 결합된 구조물이 거대한 무한한 레고 세트의 일부인 것처럼 정확히 작동하도록 보장하는 특별한 접착제입니다. 여기에는 소음을 증폭시키는 행렬 역산과 제곱근과 같은 무거운 수학이 포함됩니다.

3. **"CX-Test" **(더 똑똑한 측정 방법)
   보통 이 수학에 필요한 데이터를 얻기 위해 과학자들은 '하드마드 테스트'라는 표준 측정 도구를 사용합니다. 저자들은 이 도구가 그들의 소음이 많은 기계에는 너무 무겁고 복잡하다고 깨달았습니다.

   • 혁신: 그들은 CX-테스트라고 부르는 더 간단한 도구를 발명했습니다.
   • 비유: 하드마드 테스트가 깃털을 들어 올리기 위해 무거운 산업용 크레인을 사용하는 것이라면, CX-테스트는 핀셋을 사용하는 것과 같습니다. 훨씬 가볍고 빠르며 물건을 넘어뜨릴 가능성이 적지만, 여전히 일을 해냅니다. 그들은 그들의 특정 수학 문제에서는 '전역' 값을 측정할 필요가 없으므로 무거운 들기 작업을 완전히 생략할 수 있음을 발견했습니다.

그들이 발견한 것들

팀은 횡방향 필드 이징 모델(양자 물리학의 표준 테스트) 을 세 가지 다른 모양 (선, 비틀린 선, 사다리) 으로 테스트했습니다.

• 좋은 소식: 많은 경우, 소음이 있는 양자 컴퓨터는 까다로운 수학이 적용된 후 올바른 답과 매우 유사한 데이터를 생성했습니다. "CX-테스트"는 잘 작동했고, "VQE" 방법은 소음을 처리할 만큼 충분히 견고했습니다.
• 나쁜 소식: "느린 다이얼" 방법 (ASP) 은 너무 깊고 소음이 많아 아직 잘 작동하지 않았습니다. 또한, 물리학에서 특정 대칭성을 깨뜨리려고 할 때 (종방향 필드를 추가할 때), 수학이 소음에 너무 민감해져 현재 컴퓨터는 필요한 미세한 보정을 볼 수 없었습니다.
• 결론: 이 논문은 현재의 양자 하드웨어가 이러한 복잡한 비선형 수학 문제를 처리할 수 있을 만큼 간신히 좋다는 것을 증명합니다. 결과는 완벽하지 않지만, "인식 가능"하며 올바른 행동에 접근합니다.

결론

연구자들은 지능적인 "타일 기반" 전략 (NLCE) 과 더 가벼운 측정 도구 (CX-테스트) 를 사용한다면, 작고 소음이 많은 양자 컴퓨터로 무한한 시스템에 관한 문제를 해결할 수 있음을 성공적으로 시연했습니다.

그들은 오늘날의 기계들이 여전히 조금 불안정하지만, 복잡한 고전 수학이 이를 유용한 과학적 예측으로 변환하기에 충분한 정확한 데이터를 제공할 수 있는 지점에 도달하고 있음을 보여주었습니다. 이는 고전 컴퓨터로는 단순히 해결할 수 없는 실제 세계의 물리학 문제를 해결하기 위해 양자 컴퓨터를 사용하는 올바른 길에 있다는 개념 증명입니다.

기술 요약

기술 요약: 포획 이온 양자 하드웨어에서의 열역학적 한계 분산 관계

문제 제기
열역학적 한계에서 양자 다체계의 성질을 계산하는 것은 응집물질 물리학의 핵심 과제이며, 특히 고전적 방법이 근본적인 한계에 직면하는 강상관 계에서 그렇습니다. 양자 컴퓨터는 잠재적인 해결 경로를 제시하지만, 현재의 잡음이 있는 중간 규모 양자 (NISQ) 장치는 큐비트 수와 게이트 충실도에 제약을 받아 열역학적 한계와 거리가 먼 작은 시스템 크기에 대한 직접 계산을 제한합니다. 또한, 열역학적 한계의 성질을 추출하는 것은 종종 양자 기대값에 대한 비선형 고전적 후처리 (예: 행렬 역행렬 및 제곱근) 를 필요로 합니다. 현재의 하드웨어가 이러한 비선형 연산으로 인해 오류가 증폭되어 결과를 무용지물로 만들지 않을 만큼 충분한 정확도로 기대값을 제공할 수 있는지가 중요한 미해결 과제입니다.

방법론
저자들은 수치적 연결 클러스터 전개 (NLCE) 와 양자 알고리즘 (QA) 을 결합한 프레임워크를 제안하고 구현하였으며, 이를 NLCE+QA라고 명명했습니다. 이 접근법은 작은 클러스터의 데이터를 사용하여 열역학적 한계에서의 기저 상태 에너지와 하나의 준입자 (1QP) 분산을 계산합니다.

• 프레임워크: 이 방법은 광역량을 연결된 클러스터들의 기여도로 분해합니다. NLCE 의 수렴을 보장하기 위해 유효 해밀토니안은 '클러스터 가산적 (cluster-additive)'이어야 합니다. 저자들은 이 성질을 강제하기 위해 **투영 클러스터 가산 변환 (PCAT)**을 사용합니다. PCAT 은 상태의 곱 구조를 보존하면서 다른 섹터로부터 1QP 섹터를 분리하는 변형된 유니터리를 구성하는 과정을 포함합니다.
• 양자 알고리즘: 양자 하드웨어에서 필요한 상태를 준비하기 위해 두 가지 알고리즘이 탐구되었습니다:
  1. 단열 상태 준비 (ASP): 장식이 없는 해밀토니안 고유상태와 장식이 있는 상태를 연결하는 유니터리 변환.
  2. 변분 양자 고유솔버 (VQE): 해밀토니안을 블록 대각화하도록 고전적으로 훈련된 해밀토니안 변분 안사츠 (HVA) 를 사용하는 하이브리드 접근법.
• 측정 방식:
  • 기저 상태 에너지: 샘플 기반 양자 대각화 (SQD) 를 사용하여 계산.
  • 행렬 요소: 저자들은 표준 하다마드 테스트의 효율적인 대안으로 CX-테스트를 도입했습니다. CX-테스트는 제어-X 게이트를 사용하여 중첩과 해밀토니안 행렬 요소를 측정하며, 깊은 제어 유니터리 회로의 필요성을 피합니다. 특히 PCAT 맥락에서 CX-테스트가 요구하는 글로벌 계수는 최종 유효 해밀토니안 계산에서 상쇄되므로, 고비용의 하다마드 테스트를 완전히 제거할 수 있습니다.
• 하드웨어: 실험은 라이프치히 슈퍼컴퓨팅 센터의 20 큐비트 포획 이온 양자 처리 장치 (QPU) (AQT Marmot) 에서 수행되었습니다.

주요 기여

1. 최초의 하드웨어 구현: 이 연구는 열역학적 한계에서 1QP 분산을 계산하기 위한 NLCE+VQE 프레임워크의 최초의 하드웨어 구현을 제시하고, NLCE+ASP 프레임워크를 도입했습니다.
2. CX-테스트: PCAT 맥락에서 다항식 수의 행렬 요소를 계산하기 위해 하다마드 테스트보다 효율적인 대안인 CX-테스트를 도입하여 회로 깊이를 크게 줄였습니다.
3. 오류 분석: 샷 노이즈, 하드웨어 탈분극 노이즈, 그리고 PCAT 에 내재된 비선형 후처리 (행렬 역행렬/제곱근) 간의 상호작용에 대한 상세한 조사를 수행했습니다. 저자들은 비선형 함수가 노이즈를 증폭시켜 분산 곡선에서 상향 편향을 생성함을 입증했습니다.
4. 모델 연구: 이 프레임워크는 세 가지 영역에서 횡방향 자기장 이징 모델 (TFIM) 에 적용되었습니다:
   • 1D 사슬 (순수 TFIM).
   • $Z_2$ 대칭을 깨고 완전한 PCAT 보정이 필요한 종방향 자기장을 가진 1D 사슬 (TFIM+LF).
   • 2D 사다리 기하학.

결과

• 성능: 현재 하드웨어에서 더 얕은 회로 깊이로 인해 VQE 기반 접근법이 일반적으로 ASP 보다 우월했습니다. ASP 회로는 현재 노이즈 수준에 비해 너무 깊어 해석적 해와 큰 편차를 보였습니다.
• 정확도: 양자 임계점으로부터 충분히 먼 편극상 (polarized phase) 에 있는 1D TFIM 의 경우, QPU 에서 얻은 실험적 분산이 예상되는 해석적 행동에 근접했습니다. 결과는 참조 탈분극 속도를 사용한 잡음 시뮬레이션보다 더 정확했으며, 실제 장치 오류율이 참조 값보다 낮았음을 시사합니다.
• 한계:
  • 시스템이 양자 임계점 ($J/h \to 1$) 에 접근하거나 종방향 자기장을 포함할 때 오류가 증가합니다. 비선형 후처리가 오류를 증폭시키며, TFIM+LF 에 필요한 완전한 PCAT 보정은 보정 항이 샘플링 노이즈 바닥 ($\Delta_{ij} \ll 1/\sqrt{M}$) 아래에 있어 결정적으로 테스트할 수 없었습니다.
  • 2D 사다리 기하학은 1D 사슬보다 더 큰 오류를 보였는데, 이는 더 높은 큐비트 연결성과 사용된 클러스터 크기에 비해 시스템이 임계점에 더 가까웠기 때문으로 귀결됩니다.
• 노이즈 민감도: 이 연구는 비선형 후처리가 노이즈에 매우 민감함을 확인했습니다. 분산 관계는 식별 가능했지만 해석적 해와 완벽하게 겹치지 않았으며, 이는 현재 하드웨어 정밀도가 이러한 방법의 생존 가능성 임계선에 있음을 나타냅니다.

의의 및 주장
이 논문은 양자 장치에서 공간 상관관계를 가진 열역학적 한계 계산을 수행하는 길을 열었다고 주장합니다. 이는 제한된 영역 (특히 TFIM 의 편극상) 에서 비선형 고전적 후처리 파이프라인이 현재 하드웨어에서 실행 가능하며, 식별 가능한 분산 관계를 생성함을 보여줍니다.

저자들은 양자 하드웨어의 정밀도가 양자 데이터의 비선형 고전적 후처리를 포함하는 새로운 알고리즘을 개발할 가치가 있는 단계에 도달했다고 주장합니다. 그들은 현재의 결과가 아직 고전적 방법의 범위를 벗어난 것은 아니지만, 오류율을 10 배에서 100 배 줄이면 ASP 를 사용하여 분산 관계를 정확하게 계산할 수 있고, 대칭이 깨진 계에 대한 완전한 PCAT 과 같은 더 복잡한 보정을 테스트할 수 있을 것이라고 결론지었습니다. 이 연구는 하드웨어가 개선되고 결함 내성으로의 전환이 확대됨에 따라 양자 측정과 비선형 고전적 후처리를 결합한 하이브리드 접근법이 유망한 미래 경로임을 강조합니다.