Metrological Benchmarking of Random Quantum Circuits

양자 컴퓨터가 고전적 기계가 할 수 없는 일을 할 수 있다는 것을 증명하기 위한 경쟁 속에서, 과학자들은 특정한 종류의 테스트에 주목해 왔습니다. 바로 양자 프로세서에서 무작위 연산 시퀀스를 실행하고, 그 출력이 복잡하고 예측 불가능한 패턴과 일치하는지 확인하는 것입니다. '무작위 회로 샘플링(random circuit sampling)'으로 알려진 이 접근 방식은 현재 '양자 우위(quantum advantage)'를 입증하기 위한 주요 방법입니다. 그러나 큰 장애물이 남아 있습니다. 노이즈가 있는 실제 양자 컴퓨터가 실제로 이러한 복잡한 계산을 올바르게 수행하고 있는지 확인하려면, 연구자들은 전통적으로 비교 대상이 될 완벽하고 이상적인 정답을 알아야 합니다. 하지만 대규모 시스템에 대해 이 이상적인 정답을 계산하는 것은 너무나 어려워서 종종 슈퍼컴퓨터를 필요로 하며, 이는 테스트의 목적 자체를 무색하게 만듭니다. 더욱이 하드웨어의 노이즈는 결과가 시뮬레이션하기 지나치게 쉬운 것처럼 보이게 만들어, 기계의 실제 성능을 숨길 수 있습니다. 과학자들에게는 완벽한 정답이라는 불가능한 수학 문제를 먼저 풀지 않고도 이 기계들이 의도대로 작동하고 있는지 확인할 방법이 필요합니다.

한국과학기술원(KAIST)의 한 연구팀은 이 문제를 해결할 새로운 방법을 제안했습니다. 연구진은 무작위 양자 회로의 최종 출력을 계산하려고 시도하는 대신, 시스템이 미세한 자극에 어떻게 반응하는지를 관찰할 것을 제안합니다. 복잡한 무작위 연산 시퀀스가 실행 중인 양자 컴퓨터를 상상해 보십시오. 연구진은 이 시퀀스의 중간에 작고 통제된 교란(disturbance)을 삽입한 다음, 연산을 역순으로 실행할 것을 제안합니다. 이 자극에 반응하여 시스템의 최종 상태가 얼마나 변하는지를 측정함으로써, 연구진은 회로의 역학(dynamics)이 가진 품질과 복성을 가늠할 수 있습니다. 이 반응은 '양자 피셔 정보(quantum Fisher information)'라고 불리는 척도로 정량화되는데, 이는 본질적으로 시스템이 교란에 얼마나 민감한지를 알려줍니다. 연구진은 이 민감도가 강력한 벤치마크 역할을 하여, 회로가 진정으로 무작위적이고 복잡한 시스템처럼 작동하는지, 아니면 더 단순하고 예측 가능한 것인지 밝혀낸다는 사실을 발견했습니다. 이는 이상적인 출력 확률을 계산할 필요 없이 말입니다.

연구진은 두 가지 매우 다른 유형의 양자 회로를 비교하여 이 아이디어를 테스트했습니다. 첫 번째 유형은 '하르-무작위(Haar-random)' 회로로 알려진, 수학적으로 무작위적이며 극도로 복잡한 회로입니다. 두 번째 유형은 '클리포드(Clifford)' 회로라는 특정 규칙을 사용합니다. 클리포드 회로는 정보를 시스템 전체로 하르-무작위 회로만큼 넓게 퍼뜨릴 수 있으면서도, 고전 컴퓨터로 시뮬레이션하기에는 충분히 단순하다는 점에서 흥이트한 특징을 가집니다. 만약 벤치마크가 단지 정보가 퍼지는 정도에만 의존했다면, 두 유형의 회로는 동일하게 보였을 것입니다. 그러나 연구진은 극명한 차이를 발견했습니다. 연구진이 '넛지-앤-메저(nudge-and-measure, 툭 건드려 측정하기)' 프로토콜을 복잡한 하르-무작위 회로에 적용했을 때, 시스템은 강하고 측정 가능한 반응을 보였습니다. 민감도는 큐비트 수가 증가함에 따라 커졌으며, 최대 수준의 반응성에 도달했습니다. 반면, 연구진이 동일한 테스트를 클리포드 회로에 적용했을 때, 시스템은 아무런 반응을 보이지 않았습니다. 정보가 똑같이 넓게 퍼졌음에도 불구하고, 시스템은 통제된 교란에 대해 완전히 무감각했습니다. 이 결과는 이 벤치마크가 단순히 정보의 확산만을 감지하는 것이 아니라, 회로를 진정으로 시뮬레이션하기 어렵게 만드는 역학의 구체적이고 혼돈스러운 본질을 탐지하고 있음을 증명합니다.

다양한 유형의 양자 하드웨어에 이 테스트를 실용적으로 적용하기 위해, 연구팀은 두 가지 변형된 프로토콜을 개발했습니다. 한 버전은 개별 큐비트에 대한 정밀한 제어를 사용하여 단일 입자에 교란을 가합니다. 다른 버전은 전체 시스템에 동시에 교란을 가하는 집단적 접근 방식을 사용하며, 이는 개별 큐비트를 개별적으로 다룰 수 없는 기계에 유용합니다. 두 방법 모두 복잡한 회로와 단순한 회로를 성공적으로 구분해 냈습니다. 또한 연구진은 마지막에 단 하나의 큐비트만을 측정하여 테스트 결과를 읽어낼 수 있는 특정 연산 시퀀스인 '버터플라이(butterfly)' 프로토오는 도입했습니다. 이 버터플라이 프로토콜의 평균 반응은 복잡한 회로와 단순한 회로 모두에서 동일했지만, 연구진은 결과값이 한 실행에서 다음 실행으로 어떻게 변하는지, 즉 '변동성(fluctuations)'이 완전히 다르다는 것을 발견했습니다. 복잡한 회로는 매우 작은 변동성을 보인 반면, 단순한 회로는 크고 예측 가능한 변동을 보였습니다. 이는 단일 큐비트 판독이라는 단순한 방식만으로도, 결과의 변화 패턴을 살펴봄으로써 과학자들이 진정으로 무작위적인 양자 과정과 더 단순한 과정을 구별할 수 있음을 의미합니다.

마지막으로, 연구팀은 모든 현재 양자 장치에 존재하는 현실적인 문제인 노이즈를 다루었습니다. 연구진은 노이즈의 효과를 완벽한 양자 상태를 완전히 무작위적이고 쓸모없는 상태와 혼합하는 전역적이고 무작위적인 간섭으로 모델링했습니다. 연구진은 노이즈가 증가함에 따라 이상적인 민감도가 어떻게 저하되는지를 보여주는 정밀한 수학적 관계를 도출했습니다. 결정적으로, 이 관계는 이상적인 정답을 사전에 알 필요 없이 성립합니다. 시스템에 노이즈가 있다면, 측정된 민감도는 단순히 예측 가능한 방식으로 축소되며, 이를 통해 연구자들은 노이즈가 벤치마크에 정확히 어느 정도 영향을 미치는지 정량화할 수 있습니다. 이는 이상적인 이론과 실제 실험을 연결하여, 노이즈 강도에 따라 벤치마크가 어떻게 변하는지에 대한 정량적 기준을 제공합니다.

이 연구는 양자 컴퓨터를 검증하기 위한 새로운 길을 제시합니다. 최종 목적지를 계산하려고 노력하는 대신, 통제된 자극에 시스템이 어떻게 반응하는지에 집중함으로써, 연구자들은 이상적인 답을 찾는 계산적 부담 없이 노이즈가 있는 무작위 회로를 벤치마킹할 수 있습니다. 국소적 또는 전역적 제어, 심지어 단일 큐비트 판독만으로도 복잡하고 혼돈스러운 역학과 더 단순하고 고전적으로 시뮬레이션 가능한 것 사이를 구분할 수 있는 능력은 이 분야에 강력한 도구를 제공합니다. 양자 프로세서가 커짐에 따라, 이러한 방법들은 과학자들이 자신들의 기계가 진정으로 복잡한 양자 역학의 경관을 탐구하고 있는지, 즉 그들이 추구하는 우위가 노이즈나 단순함에 의한 환상이 아니라 실제적인 것임을 확인할 수 있게 해줄 것입니다.