Local random quantum circuits converge to the Porter-Thomas distribution in polynomial depth

양자 컴퓨터가 고전적 기계가 할 수 없는 일을 할 수 있다는 것을 증명하려는 여정에서, 과학자들은 특정 종류의 디지털 실험, 즉 양자 프로세서에서 무작위 연산 시퀀스를 실행하고 그 결과를 측정하는 방식에 주목해 왔습니다. 무작위 회로 샘플링(random circuit sampling)이라고 알려진 이 작업은 양자 장치가 최고의 슈퍼컴퓨터를 능가하는 이정표인 '양자 우위(quantum advantage)'를 위한 벤치마크로 간주됩니다. 이 이론의 배후에는 포터-토머스 분포(Porter-Thomas distribution)라는 통계적 패턴이 있습니다. 진정으로 무작위적인 양자 과정의 출력을 확률의 풍경이라고 상상해 보십시오. 완벽하게 무작위적인 시스템의 경우, 이 풍경은 어떤 결과는 매우 발생하기 쉽고 다른 결과는 거의 발생하지 않지만 전체적인 패턴은 일관된 특정한 예측 가능한 형태를 따릅니다. 수년 동안 연구자들은 얕고 불완전한 양자 회로조차 결국 이 패턴에 안착할 것이라고 가정해 왔으나, 이 가정에는 엄격한 수학적 근거가 부족했습니다. 증명이 없었기에, 우리가 실험실에서 실제로 구축할 수 있는 지저분하고 유한한 깊이의 회로가 가장 엄격한 양자 우위 테스트를 통과하는 데 필요한 이상적인 무작위성을 진정으로 모사하는지는 미해결 과제로 남아 있었습니다.

텍사스 대학교 오스틴 캠퍼스의 연구팀은 이제 그 빠져 있던 증명을 제공했습니다. 그들은 인접한 큐비트들에 게이트가 작용하는 '벽돌 쌓기(brickwork)' 패턴으로 배열된 국소 무작위 양자 회로가 실제로 포터-토머스 분포로 수렴한다는 것을 입증했습니다. 그들의 연구는 회로의 깊이(연산 레이어의 수)가 특정 다항식 규모로 증가함에 따라, 기계의 통계적 출력이 총 변동 거리(total variation distance) 측면에서 수학적으로 정밀한 역다항식 오차 범위 내에서 이상적인 무작위 분포와 가까워진다는 것을 보여줍니다. 이 발견은 양자 컴퓨터가 고전적 기계보다 어려운 작업을 수행했음을 인증하는 표준 테스트인 선형 교차 엔트로피 벤치마크(Linear Cross Entropy Benchmark)를 검증한다는 점에서 중요합니다. 이러한 회로들이 자연스럽게 기대되는 통계적 형태를 갖추게 된다는 것을 증명함으로써, 저자들은 최근의 양자 우위 실험적 주장들에 대한 이론적 토대를 강화했습니다.

연구진은 게이트가 인접한 큐비트 쌍에 교대로 적용되는 벽돌 쌓기 회로라는 특정 아키텍처에 집중했습니다. 이는 마치 벽을 쌓는 것처럼 벽돌을 놓는 것과 유사합니다. 그들은 회로가 깊어짐에 따라 특정 0과 1의 문자열을 측정할 확률이 어떻게 변하는지 분석했습니다. 그들의 분석은 회로의 깊이가 큐비트 수의 특정 거듭제곱에 비례하는 경우, 결과 분포가 포터-토머스 곡선과 일치함을 밝혀냈습니다. 이 증명은 단순한 관찰이 아니라 여러 고급 개념을 연결하는 복잡한 수학적 여정입니다. 연구팀은 회로 출력의 모멘트(moments), 즉 통계적 평균이 완벽하게 무작위적인 시스템의 평균과 일치함을 보여야 했으며, 이러한 평균의 일치가 특정 매끄러움(smoothness) 속성과 결합될 때 전체 분포가 근접함을 보장하기에 충분하다는 것을 증명해야 했습니다. 그들은 복소 해석학과 확률론의 기법을 활용하여 몇 가지 통계적 평균을 아는 것과 전체 분포의 형상을 아는 것 사이의 간극을 메웠으며, 유한한 모멘트의 일치만으로는 분포의 근접성을 확립하기에 불충분하다는 사실을 극복했습니다.

그들의 발견의 핵심은 무작위성이 회로를 통해 어떻게 퍼져나가는지를 이해하는 데 있습니다. 그들은 게이트가 인접한 이웃에게만 작용하는 국소적인 특성을 가짐에도 불구하고, 무작위성이 충분히 효율적으로 전파되어 비교적 짧은 단계 후에 전체 시스템이 마치 전역적으로 무작위인 것처럼 행동하게 된다는 것을 보여주었습니다. 연구팀은 이러한 회로의 실제 출력과 이상적인 포터-토머스 분포 사이의 거리가 회로의 깊이가 증가함에 따라 빠르게 줄어든다는 것을 증명했습니다. 구체적으로, 큐비트 수에 따라 스케일링되는 깊이를 가진 회로의 경우, 실제 출력과 이상적인 패턴 사이의 차이가 큐비트 수의 거듭제곱에 반비례하는 속도로 감소하며 매우 작아진다는 것을 보여주었습니다. 이는 양자 시스템이 커질수록, 회로가 충분히 깊다면 근사가 점점 더 정밀해진다는 것을 의미합니다.

이 연구는 미묘하지만 결정적인 수학적 장애물을 다룹니다. 확률론에서 두 분포가 동일한 처음 몇 개의 평균을 공유한다고 해서 두 분포가 자동으로 같아지는 것은 아닙니다. 두 가지 서로 다른 모양이 동일한 평균 높이를 가질 수 있지만, 다른 부분에서는 완전히 다를 수 있기 때문입니다. 연구자들은 이 문제를 해결하기 위해 확률 분포의 '매끄러움'을 분석하는 새로운 기법을 개발했습니다. 그들은 무작위 회로의 출력이 충분히 매끄럽고 잘 정의되어 있어, 고급 수학적 도구를 사용하여 분포가 실제로 가깝다는 것을 확인할 수 있음을 입증했습니다. 이는 이전의 방법들이 회로가 특정 테스트(예: 선형 교차 엔트로피 벤치마크)를 통과한다는 것은 보여줄 수 있었지만, 근본적인 분포가 실제로 포터-토머스인지 증명하지는 못했다는 점을 해결하기 위해 필요했습니다. 이러한 근접성을 확립함으로써, 저자들은 이 벤치마크가 진정한 양자 무작위성의 신뢰할 수 있는 지표임을 확인했습니다.

이 증명은 이상적이고 노이즈가 없는 회로에 적용되지만, 연구진은 실제 양자 컴퓨터가 오류를 겪는다는 점을 인정합니다. 그들은 노이즈가 복잡한 패턴을 씻어내어 출력을 균일하고 흥미롭지 않은 분포로 몰아넣는 경향이 있다고 언급합니다. 그러나 그들의 작업은 완벽한 세상에서 무엇이 가능한지에 대한 명확한 기준선을 설정합니다. 그들은 노이즈가 충분히 낮게 유지된다면, 회로가 노이즈가 압도하기 전까지 일정 깊이 동안은 여전히 포터-토머스 동작을 보일 것이라고 제안합니다. 이는 노이즈가 있는 회로가 양자적 특성을 잃기 전까지 정확히 얼마나 깊이 갈 수 있는지에 대한 질문을 남겨두지만, 새로운 증명은 이 질문에 답하기 위한 필수적인 참조점을 제공합니다. 이 결과는 양자 우위에 필요한 혼돈스러운 행동이 단순히 시뮬레이션에서 관찰되는 수치적 우연이 아니라, 이러한 양자 시스템의 근본적인 속성임을 수학적으로 엄격하게 증명할 수 있음을 확인시켜 줍니다.

이 연구의 함의는 과거의 실험을 검증하는 것을 넘어 확장됩니다. 다항식 깊이의 회로가 포터-토머스 분포로 수렴함을 증명함으로써, 연구진은 이러한 회로를 고전적으로 시뮬레이션하기 어려운 이유에 대해 더 강력한 이론적 정당성을 제공했습니다. 만약 출력 분포가 진정으로 포터-토머스라면, 이는 고전 컴퓨터가 재현하기 힘든 높은 수준의 엔트로피와 복잡성을 의미합니다. 이는 50개에서 100개의 큐비트를 가진 장치에 대한 실험에서 제기된 양자 우위 주장에 더 큰 무게를 실어줍니다. 이 연구는 분야의 모든 문제를 해결하거나 모든 유형의 양자 회로를 다루는 것은 아니지만, 무작위성이 양자 시스템에서 어떻게 발생하는지에 대한 이해의 중요한 간극을 메웠습니다. 이는 시뮬레이션의 강력한 수치적 증거에 의해 뒷받겨졌던 널리 퍼진 믿음을 수학적 확실성으로 변모시켰습니다.

궁극적으로, 이 연구는 양자 컴퓨터의 물리적 구조와 그 출력의 통계적 행동 사이의 관계를 명확히 합니다. 이는 벽돌 쌓기 패턴의 게이트 배치가 양자 우위에 필요한 복잡하고 무작위적인 통계적 특성을 생성하기에 충분하다는 것을 보여줍니다. 저자들은 사례를 만들기 위해 시뮬레이션에 의존하지 않고, 모멘트 경계(moment bounds), 해석적 추정치(analytic estimates), 그리고 국소적 특성을 결합하여 엄격한 논거를 구축했습니다. 그들의 연구 결과는 양자 우위를 입증하는 경로가 이론적 이해의 부족 때문이 아니라, 더 깊고 안정적인 회로를 구축하는 공학적 과제에 달려 있음을 시사합니다. 과학계에 있어 이 작업은 양자 성능을 측정하는 데 사용되는 도구들이 견고한 수학에 근거하고 있음을 확인시켜 주며, 이 기계들이 실제로 고전 물리학으로는 쉽게 설명할 수 없는 영역에서 작동하고 있다는 확신을 강화해 줍니다.