Qubit-Efficient Quantum Algorithm for Linear Differential Equations

당신이 컴퓨터를 사용하여 벌 떼나 주식 시장처럼 복잡한 시스템의 미래를 예측하려고 한다고 상상해 보십시오. 보통은 사물이 시간이 지남에 따라 어떻게 변하는지를 설명하는 '미분 방정식'이라는 일련의 규칙을 작성하게 됩니다. 오랫동안 과학자들은 일반적인 컴퓨터보다 더 빠르게 이 방정식을 풀기 위해, 원자의 기묘한 규칙을 사용하는 초강력 기계인 양자 컴퓨터를 사용하는 것을 꿈꿔왔습니다. 하지만 문제는, 이 작업을 위해 설계된 대부분의 화려한 양자 레시피가 거대하고 취약한 마천루와 같다는 점입니다. 그것들은 수백 개의 추가적인 '도우미' 부품(안실라 큐비트라고 불리는)과 매우 복잡한 배선을 필요로 하며, 현재의 양자 기계들은 이를 아직 구축할 수 없습니다. 이는 마치 자신이 소유하지 않은 주방을 필요로 하는 레시피로 케이크를 구우려는 것과 같습니다.

이 논문은 바로 그 문제를 다룹니다. 저자들은 다음과 같이 질문합니다. "우리가 지금 가지고 있거나 곧 갖게 될 양자 컴퓨터에서 실행할 수 있을 만큼 간단하면서도, 답이 실제로 정확하다는 보장을 놓치지 않는 양자 레시피를 만들 수 있을까?" 그들은 사물이 완벽하게 가역적이지 않은 방식(열이 퍼져 나가거나 입자가 새어 나가는 것처럼)으로 변하는 특정 유형의 수학 문제에 집중합니다. 이는 표준적이고 가역적인 물리학보다 양자 컴퓨터가 다루기에 훨씬 더 어렵습니다. 목표는 수학적으로 작동함이 증명되면서도, 적은 수의 추가 부품과 단순한 단계를 사용하는 '하드웨어 친화적인' 방법을 찾는 것입니다.

---

단일 큐비트 마법 주문

저자들은 놀라울 정도로 적은 양의 하드웨어, 즉 단 하나의 추가 도우미 큐비트만을 사용하여 이러한 까다로운 선형 미분 방정식을 해결하는 새로운 양자 알고리즘을 만들어냈습니다. 양자 컴퓨터를 데이터 큐비트라는 주인공들이 연극을 수행하는 무대라고 생각해 보십시오. 보통 이러한 방정식을 풀기 위해서는 쇼를 관리하기 위해 수십 명의 도우미가 뒷무대에 필요합니다. 이 새로운 방법은 "아니, 우리는 단 한 명의 무대 스태프만 있으면 돼"라고 말합니다.

이 마법이 어떻게 작동하는지 재미있는 비유를 들어 설명하겠습니다. 당신이 모래가 서서히 빠져나가는(소산되는) 언덕 아래로 굴러 내려가는 공을 시뮬레이션하려고 한다고 가정해 봅시다. 양자 세계에서 모래를 잃는 것을 시뮬레이션하는 것은 어렵습니다. 왜냐하면 양자 컴퓨터는 모든 것을 완벽하게 균형 잡힌 상태로 유지하는 것을 좋아하기 때문입니다. 저자들의 해결책은 그 단 하나의 도우미 큐비트를 '문지기'로 사용하는 것입니다.

시뮬레이션의 아주 짧은 순간마다, 알고리즘은 문지기에게 질문을 던집니다. "공이 모래를 잃었습니까?" 문지기는 특수한 스위치를 확인합니다. 만약 스위치가 "아니요, 괜찮습니다"라고 말하면 시뮬레이션은 다음 순간으로 계속 진행됩니다. 만약 스위치가 "예, 모래가 손실되었습니다"라고 말하면, 해당 실행에 대한 전체 시뮬레이션은 쓰레기통에 버려지고 처음부터 다시 시작합니다. 이것을 '사후 선택(post-selection)'이라고 부릅니다. 이것은 마치 타버린 껍질이 있는 케이크 하나 때문에 천 개의 케이크를 버리는 것처럼 낭비처럼 들릴 수 있지만, 저자들은 자신들이 다루는 문제들에 대해 이 방법이 실용적일 만큼 충분히 효율적으로 작동한다는 것을 증명했습니다.

이것이 왜 중요한 일인가

이전의 대부분의 '완벽한' 양자 알고리즘은 아무도 만든 적 없는 선로 위를 달리는 고속 열차와 같습니다. 그것들은 '블록 인코딩'이나 '유니터리의 선형 결합'과 같은 고급 기술을 필요로 하는데, 이는 수학적으로는 아름답지만 엄청난 양의 추가 하드웨어(수십 개의 큐비트)와 복잡한 제어 회로를 요구합니다. 저자들은 그러한 방법들이 먼 미래에는 더 빠를 수 있지만, 우리가 오늘날 만들고 있는 양자 컴퓨터에는 쓸모가 없다고 주장합니다.

이 새로운 알고리즘은 다릅니다. 이것은 '국소성 보존(locality preserving)' 특성을 가집니다. 문제가 도미노 체인이라고 상상해 보십시오. 하나를 밀면 즉각적인 이웃에게만 영향을 미칩니다. 저자들은 자신들의 방법이 이 규칙을 존중한다는 것을 보여줍니다. 원래의 문제가 몇 개의 가까운 입자 사이의 상호작용만을 포함한다면(k-local 문제), 그들의 알고리즘은 단지 몇 개의 가까운 입자와 그 하나의 도우미 사이의 상호작용(k+1 문제)만을 처리하면 됩니다. 이것은 전체 체인이 한꺼번에 모두와 대화하도록 만들지 않습니다. 이는 회로를 단순하고 짧게 유지하게 해주며, 이는 오류가 발생하기 쉬운 기계들에게 매우 중요합니다.

하타노-넬슨 테스트 드라이브

자신의 아이디어가 작동함을 증명하기 위해, 저자들은 단순히 종이 위에 수학을 적는 데 그치지 않고, 실제 하드웨어에서 알고리즘이 어떻게 작동하는지 보기 위해 컴퓨터로 시뮬레이션을 수행했습니다. 그들은 **상호작용하는 하타노-넬슨 모델(interacting Hatano-Nelson model)**이라는 유명하고 까다로운 모델을 선택했습니다. 이것은 선 위의 입자들로 구성된 시스템으로, '비에르미트(non-Hermitian)'적이라는 점에서 기묘하게 작동합니다. 이는 규칙이 완벽하게 대칭적이지 않아 입자들이 선의 한쪽으로 쌓이는 현상(비에르미트 피부 효과라고 불림)을 일으킵니다.

그들은 Qiskit이라는 소프트웨어 툴킷을 사용하여 다양한 조건에서 알고리즘을 테스트했습니다:

• 완벽한 조건: 오류가 전혀 없는 상태.
• 노이즈가 있는 조건: 무작위 글리치(탈분극 노이즈)가 있는 실제 양자 칩 시뮬레이션.
• 실제 세계 모델: IBM과 Quantinuum의 실제 양자 프로세서의 특정 노이즈 패턴을 시뮬레이션.

결과는 고무적이었습니다. 실제 기계의 '노이즈'가 있는 상황에서도, 알고리즘은 물리 법칙이 예측하는 대로 입자들이 왼쪽 편에 쌓이는 현상을 성공적으로 보여주었습니다. 그들은 시뮬레이션이 길어질수록 '성공 확률'(실행 결과가 쓰레기통에 버려지지 않을 확률)이 낮아지긴 하지만, 이 방법이 불가능해질 정도로 빠르게 떨어지지는 않는다는 것을 발견했습니다. 실제로 7개 사이트 모델을 10단계 동안 실행했을 때, 그들의 방법은 단 1개의 안실라 큐비트만을 필요로 했던 반면, 다른 주요 방법들은 단계를 추적하기 위해서만 최소 10개 이상의 큐고비트를 필요로 했습니다.

트레이드-오프: 속도 대 단순성

저자들은 자신들의 한계에 대해 매우 솔직합니다. 그들의 방법은 '1차(first-order)' 알고리즘입니다. 즉, 거대한 도약보다는 작고 신중한 발걸음을 내딛는 것과 같습니다. 장기적으로 볼 때 이 방법은 문제를 해결하는 가장 빠른 방법은 아닙니다(이론적으로 완벽하고 오류가 없는 양자 컴퓨터가 있다면 다른 방법들이 더 빠를 수 있습니다). 그러나 이 트레이드-오프는 가까운 미래에 충분한 가치가 있습니다.

그들은 시뮬레이션을 수행해야 하는 횟수가 솔루션이 얼마나 '감쇠'하는지(공이 얼마나 많은 모래를 잃는지)에 달려 있다고 계산했습니다. 만약 솔루션이 많이 줄어든다면, 좋은 답을 얻기 위해 시뮬레이션을 더 많이 실행해야 합니다. 하지만 결정적으로, 초기 상태를 설정하는 비용은 더 높은 정밀도를 요구한다고 해서 악화되지 않습니다. 이는 더 정밀한 답을 요구할수록 실험 설정을 위해 기하급수적으로 더 많은 자원이 필요했던 기존 방법들에 비해 큰 개선입니다.

다음 단계는 무엇인가?

이 논문은 이 알고리즘이 '초기 결함 허용 시대(early fault-tolerant era)'—양자 컴퓨터가 실제 작업을 수행할 수 있을 만큼 신뢰할 수 있게 되기 시작했지만 아직 완벽하지는 않은 시기—에 완벽한 후보라고 결론짓습니다. 이것은 실제 양자 칩에서 비에르미트 피부 효과와 같은 기묘한 물리적 현상을 연구할 수 있는 문을 열어줍니다.

저자들은 자신들이 '진폭 증폭(amplitude amplification)'(성공률을 높일 수 있지만 더 많은 도우미 큐비트를 필요로 하는 기술)을 사용하지 않았지만, 현재의 접근 방식이 오늘날의 하드웨어에 가장 적합한 지점(sweet spot)이라고 제안합니다. 그것은 복잡한 문제를 해결하기 위해 최소한의 자원을 사용하는 단순하고 견고한 도구이며, 때로는 앞으로 나아가는 가장 좋은 방법이 단순함을 유지하는 것임을 증명합니다. 그들의 말처럼, 이것은 단지 수학 문제를 더 빨리 푸는 것에 관한 것이 아닙니다. 이것은 과학자들에게 우리가 실제로 구축할 수 있는 양자 컴퓨터를 통해 우리 우주의 기묘하고 비가역적인 물리학을 탐구할 수 있는 실질적인 도구를 제공하는 것입니다.