Uniform Hiding of Haar Block Transpose Gram Matrices

오늘날의 슈퍼컴퓨터가 도달할 수 없는 문제를 해결할 수 있는 기계를 만들기 위한 조용한 경주 속에서, 물리학자들은 빛으로 눈을 돌리고 있습니다. 그들은 빛의 기본 입자인 광자의 흐름을 사용하여 고전 컴퓨터가 완료하는 데 수천 년이 걸릴 계산을 수행하는 장치를 구축하고 있습니다. 가우시안 보손 샘플링(Gaussian boson sampling)이라고 알려진 특정 유형의 실험에 기반한 이 분야는 양자 컴퓨팅으로 알려져 있습니다. 거울과 빔 분할기로 이루어진 복잡한 미로, 즉 간섭계(interferometer)라고 불리는 장치를 상상해 보십시오. 이곳에 광자들이 들어가서 확률의 혼란스러운 춤을 추며 튕겨 다닌 후, 다양한 검출기에서 빠져나옵니다. 목표는 광자들이 어디에 착륙하는지의 패턴을 기록하는 것입니다. 양자 역학의 규칙은 이러한 패턴을 예측하는 것을 매우 어렵게 만들기 때문에, 성공적인 실험은 양자 기계가 고전 기계가 할 수 없는 무언가를 수행하고 있다는 증거 역할을 합니다. 그러나 이러한 결과를 신뢰하기 위해서, 과학자들은 자신들이 보는 패턴이 단순히 더 단순한 고전적 시스템의 운 좋은 우연이 아니라 진정으로 양자적인 것임을 확신해야 합니다.

핵심적인 과제는 빛의 여정을 설명하는 수학에 있습니다. 광자가 간섭계를 통과할 때, 그들의 행동은 장치의 내부 구조를 나타내는 거대한 숫자 격자에 의해 지배됩니다. 가장 진보된 실험에서 이 격자는 하르 측도(Haar measure)라고 알려진 특정한, 매우 무작위적인 수학적 분포로부터 추출됩니다. 기계가 제대로 작동하고 있음을 증명하기 위해, 연구자들은 무작위 가우시안 숫자에 기반한 훨씬 더 단순하고 이상적인 모델의 예측과 최종 출력 패턴이 일치함을 보여야 합니다. 문제는 실제 장치는 유한하다는 점입니다. 즉, 제한된 수의 거울과 검출기를 가지고 있는 반면, 이상적인 모델은 무한하고 완벽한 무작위성을 가정합니다. 오랫동안 복잡하고 유한한 현실의 기계가 과연 단순하고 이상적인 모델에 충분히 가까워져서 유효한 증거로 간 اعتبار될 수 있는지, 특히 입력 광자의 수가 많을 때 그러한지는 불분명했습니다.

미네소타 대학교의 홍루 자오(Hongru Zhao)에 의한 새로운 연구는 이 질문에 대한 구체적인 수학적 답을 제공합니다. 연구자는 동일하게 압축된 빛(equally squeezed light)을 사용하는 특정 유형의 양자 실험에 대해, 실제의 유한한 기계가 생성하는 복잡한 패턴이 충분히 큰 경우 이상적인 무작위 모델과 통계적으로 가깝다는 것을 증명했습니다. 이는 기계가 많은 활성 입력을 포함하고 있는 상황에서도 유효하며, 이전에는 수학적으로 분석하기 너무 복잡했던 시나리오입니다. 이 증명은 정밀한 수학적 경계선을 설정합니다: 실제 실험과 이상적 이론 사이의 차이는 장치의 총 물리적 모드(physical modes) 수가 선택된 출력 모드의 수의 제곱보다 상당히 클 때, 즉 특정 큰 명시적 상수를 초과할 때만 유의미하게 작아집니다. 이 결과는 시뮬레이션이나 추측이 아니라, 특정 영역 내에서 복잡한 구조가 단순한 무작위 법칙 속으로 '숨겨지는' 것이 작동한다는 엄밀한 유한한 보증입니다. 다만 현재의 수치적 임계값이 실험적으로 최적이라고 주장되지는 않습니다.

이 발견의 의의는 양자 우위(quantum advantage)를 위한 논거의 핵심적인 부분을 확보했다는 점에 있습니다. 양자 컴퓨팅의 세계에서, 기계가 어려운 일을 수행하고 있음을 증명하려면 그 출력이 특정의 복 complex한 확률 법칙을 따른다는 것을 보여주어야 합니다. 만약 기계의 출력이 더 단순한 시스템에 의해 쉽게 흉내 낼 수 있다면, 양자 우위의 주장은 실패할 것입니다. 자오의 연구는 간섭계에 의해 생성되는 숫자의 복잡한 비선형 곱이, 장치가 충분히 큰 경우, 단순하고 이상적인 무작위 곱과 정확히 일치하게 행동한다는 것을 보여줍니다. 이는 과학자들이 이론이 예측하는 특정 패턴을 목격할 때, 그것이 작은 시스템의 일시적인 현상이 아니라 양자 역학의 진정한, 계산하기 어려운 서명임을 확신할 수 있음을 의미합니다. 단, 장치가 크기 요구 사항을 충족한다는 전제하에 말입니다.

이 연구는 빛이 동일한 강도로 추가적인 변위 없이 기계로 들어오는 시나리오에 초점을 맞추고 있으며, 이는 필수적인 양자적 특징을 잃지 않으면서 수학을 단순화하는 설정입니다. 연구자는 입력 광자의 수가 기계의 가용 경로 수와 비슷할 때도 최종 출력이 여전히 이상적인 무작위 법칙으로 수렴함을 보여주었습니다. 이는 이전의 근사법들이 입력이 이토록 밀집되었을 때 무너졌다는 점에서 매우 중요한 차이점입니다. 이 증명은 기하학적 통찰력과 통계적 경계값의 영리한 결합에 의존하며, 장치가 커짐에 따라 이상적인 법칙으로부터의 "노이즈" 또는 편차가 빠르게 줄어든다는 것을 효과적으로 보여줍니다. 오차 범위는 명시적이며 장치의 전체 크기에 대한 출력 크기의 비율에만 의존하므로, 장치가 $M > C^* N^2$라는 특정 조건을 만족할 만큼 충분히 큰 한, 얼마나 많은 입력이 활성화되어 있는지와 관계없이 결과가 성립함을 보장합니다.

이 연구가 주장하지 않는 가장 중요한 측면 중 하나는 바로 그것입니다. 이 논문은 기계가 실질적인 문제를 해결했다거나 특정 작업에서 고전 컴퓨터를 물리쳤다고 말하지 않습니다. 대신, 그것은 그러한 주장을 가능하게 하는 수학적 토대를 제공합니다. 그것은 양자 실험의 양자적 성격을 검증하는 데 사용되는 통계적 도구가 증명된 범위 내에서 유효함을 확인해 줍니다. 이 확인이 없었다면, 이러한 실험에서의 양자 우위에 대한 전체 논거는 불확실했을 것입니다. 왜냐면 회의론자들이 관찰된 패턴이 단지 유한한 시스템의 우연일 수 있다고 주장할 수 있기 때문입니다. 유한한 시스템이 특정 크기 제약 조건 하에서 무한한 이상 모델처럼 행동한다는 것을 증명함으로써, 이 연구는 그 의구심을 제거합니다. 이를 통해 연구자들은 장치가 충분히 큰 경우, 자신들이 측정하는 빛의 패턴이 그들이 활용하고자 하는 복잡한 양자 법칙의 진정한 반영임을 확신하며 앞으로 나아갈 수 있게 됩니다.

이 연구의 함의는 미래 실험의 설계로 확장됩니다. 이 연구는 엔지니어들에게 명확한 경험칙을 제공합니다: 양자 장치가 유효하고 시뮬레이션하기 어려운 결과를 생성하도록 보장하려면, 총 물리적 모드의 수는 테스트하는 광자의 수에 비해 충분히 커야 하며, 구체적으로는 출력 크기의 제곱에 큰 상수를 곱한 값보다 커야 합니다. 이것은 막연한 제안이 아니라 구체적인 수학적 임계값입니다. 다만 논문은 이 상수를 개선하는 것이 중요한 정량적 문제이며 현재의 임계값이 최적화된 것은 아니라고 언급합니다. 만약 장치가 이 크기 요구 사항을 충족한다면, 기계 내부의 복잡한 상호작용은 이론가들이 수년간 사용해 온 무작위적인 가우시안 형태의 행동으로 자연스럽게 안착하게 될 것입니다. 이러한 균일성은 결과가 견고하다는 것을 의미하는데, 즉 결과가 광자가 어떻게 배치되는지에 대한 세부 사항에 의존하지 않고 오직 기계의 전체 규모에 달려 있다는 것을 의미합니다.

궁극적으로, 이 연구는 양자 장치를 구축하는 무질서한 현실과 수학적 이론의 깨끗하고 추상적인 세계 사이의 간극을 메웁니다. 이는 충분히 큰 장치라면, 광자와 거울로 이루어진 복잡하고 유한한 세계가 실제로 강력한 양자 컴퓨팅을 가능하게 하는 단순하고 무작위적인 확률 법칙을 따를 수 있음을 보여줍니다. 복잡한 구조가 단순한 법칙 속으로 숨겨지는 것이 이러한 범위 내에서 수학적으로 타당함을 증명함으로써, 이 연구는 차세대 실험을 위한 길을 열어주었습니다. 이는 과학계로 하여금, 이 기계들이 복잡한 패턴을 만들어낼 때, 그것이 진정으로 고전 컴퓨터가 할 수 없는 일을 수행하고 있다는 확신을 갖게 하며, 새로운 계산 능력의 시대를 향한 길을 닦아줍니다.