IBM 연구진, 양자 계산 '검증 공백' 줄이는 세 가지 접근 제시

arXiv에 공개된 연구자 원문에 따르면 IBM과 시카고대, 양자 소프트웨어 기업 Qedma·Algorithmiq 등 협력 연구진은 고전 시뮬레이션으로 직접 대조하기 어려운 양자 계산을 검증하는 세 가지 접근을 제시했다. 회로 자체의 구조, 서로 다른 하드웨어에서의 재현, 잡음 모델에 대한 시험을 각각 활용해 결과의 신뢰도를 쌓는 방식이다.

양자 컴퓨터가 고전 슈퍼컴퓨터의 계산 범위를 넘어설수록 결과가 맞는지 확인하기는 더 어려워진다. 고전 컴퓨터로 같은 계산을 재현할 수 없다면 직접 비교할 정답도 사라지기 때문이다. 이번 연구들은 이른바 양자 우위의 주장보다, 검증할 수 없는 계산을 어떻게 신뢰할 것인지에 초점을 맞췄다.

첫 번째 논문은 계산 난도가 높은 샘플링 회로를 양자 코드로 인코딩해 하드웨어 오류를 억제하면서 충실도를 인증하는 방법을 소개했다. 연구진은 70큐비트, 깊이 70의 클리퍼드 회로에 468개의 T 게이트를 추가하고, 97개의 물리 큐비트를 이용해 계산을 구현했다. 신드롬 사후선택 뒤 게이트 오류율을 10배 낮췄으며, 생성된 상태의 충실도 하한을 95% 신뢰수준에서 0.284로 제시했다.

이 인증은 계산 장치의 특성에 의존하지만, 기존 충실도 대리 지표보다 잡음에 대한 가정을 줄였다는 것이 논문의 설명이다. 연구진은 계산 복잡성과 오류 억제, 검증을 한 회로 안에서 함께 다룰 수 있다는 점을 강조했다.

두 번째 논문은 IBM Heron r3 초전도 양자 프로세서에서 최대 74큐비트 규모의 플로케 이징 자석을 시뮬레이션했다. 연구진은 오류 완화 소프트웨어 QESEM을 이용해 장시간 지속되는 준고조파 진동을 측정했고, 텐서 네트워크와 희소 파울리 경로 등 선도적인 고전 시뮬레이션이 안정적으로 수렴하지 않는 영역까지 실험을 확장했다고 밝혔다.

검증에는 서로 다른 오류 완화 추정치의 일치 여부와 잡음 모델 시험이 쓰였다. 일부 플로케 주기에서는 Quantinuum의 H2와 Helios 이온트랩 양자 컴퓨터에서도 결과를 대조했다. 한 장치에서 나온 신호를 다른 구조의 양자 하드웨어로 다시 확인해 단일 시스템의 오류가 결론을 좌우할 가능성을 줄이려는 시도다.

세 번째 논문은 고전적인 정답이 없는 상황에서 관측값을 독립적으로 검증하는 프레임워크를 제안했다. 연구진은 '연산자 로슈미트 에코'를 도입하고 여러 양자 실험을 조합해 각 방법의 전제가 맞는지 시험했다. 이어 장치 잡음을 정밀하게 특성화하고 의도적으로 조절해, 관측값 검증 문제를 잡음 모델 검증 문제로 바꾸는 경로를 제시했다.

세 연구는 양자 계산의 신뢰를 하나의 기준으로 단정하기보다, 서로 다른 검증 신호를 쌓아 판단하는 방향을 보여준다. 다만 세 논문은 모두 동료심사를 마치지 않은 사전 공개본이다. 첫 연구의 인증서는 장치 의존적이며, 나머지 두 접근도 고전적 정답을 직접 산출한 것이 아니라 여러 일관성 시험을 통해 신뢰도를 높이는 방식이라는 한계가 있다.

출처: arXiv 논문 'Sampling hard circuits with verifiably high fidelity' https://arxiv.org/abs/2607.25941
출처: arXiv 논문 'Resolving Structure in Prethermal Floquet Dynamics with Precision Quantum Computation' https://arxiv.org/abs/2607.24937
출처: arXiv 논문 'Observable Estimation in the Absence of Classical Verification' https://arxiv.org/abs/2607.25998