검사를 많이 걸수록 손해라고? 양자 회로 게임이 뒤집은 세 가지 직관

게임을 켜면 화면에 회로 하나가 놓인다. 깊이 18, 큐비트 여러 개, 그 위에 잡음이 붙어 있다. 플레이어에게 주어지는 것은 두 가지뿐이다. 값싼 보조 큐비트 몇 개, 그리고 반드시 회로에 밀어 넣어야 하는 T 게이트 할당량. 보조 큐비트를 써서 '시공간 파울리 검사'를 걸면 회로의 오류를 직접 고치지 않고도 걸러낼 수 있지만, 검사가 늘어날수록 T 게이트를 안전하게 놓을 자리가 줄어든다. 논문 「Spacetime Sentinels」는 이 줄다리기를 게임으로 만들어 5,412개의 합법적인 수를 전수 평가했다. 점수는 단일 숫자다. 후선별 충실도 F_ps에 생존 비율 κ의 제곱근을 곱한 R, 그 역제곱이 검출 후 재척도가 요구하는 샘플링 오버헤드가 된다.

검사는 오류를 고치지 않고 '버린다'

이 게임의 검사는 흔히 말하는 양자 오류 정정과 다르다. 논문이 다루는 것은 시공간 파울리 검사, 즉 회로의 특정 시점·특정 큐비트 쌍에서 측정한 파울리 값을 비교해 모순이 생긴 실행을 통째로 버리는 방식이다. 오류를 되돌리는 대신, 오류가 난 흔적이 보이는 실행을 후선별로 제외한다. 그래서 성능은 두 숫자로 갈린다. 살아남은 실행이 얼마나 깨끗한가(충실도), 그리고 얼마나 많이 살아남는가(생존 비율). 논문은 이 둘을 하나로 묶어 R로 점수를 매기고, 각 수를 Qiskit Aer의 밀도행렬 시뮬레이션으로 정확히 평가한 뒤 50,000회 샘플러 실행과 대조해 일치를 확인했다고 밝힌다.

검사 후보는 qiskit-paulice 애드온이 찾아 준다. 플레이어는 정해진 보조 큐비트 예산 안에서 몇 개를 쓸지 고르고, T 게이트를 검사와 교환되는 자리에 놓을지 아니면 검사를 무시하고 아무 데나 놓을지 결정한다. 규칙은 단순한데, 전수 평가 결과는 플레이어의 직관을 세 번 뒤집는다.

초전도 양자 칩. 이 게임이 흉내 내는 잡음은 실제 하드웨어가 아니라 시뮬레이션 위의 회로 모델이다 — OJB Quantum, CC BY 4.0 (Wikimedia Commons)

첫 번째 반전: 얕은 회로에서 검사는 손해다

직관적으로 검사는 많이 걸수록 좋아 보인다. 논문의 전수 평가는 그렇지 않다고 말한다. 깊이 6에서는 검사를 더하는 순간 R이 오히려 떨어진다. 검사가 잡아내는 오류보다, 검사가 요구하는 추가 측정과 그로 인한 생존율 손실이 더 크기 때문이다. 검사는 공짜가 아니라 '본전 깊이(break-even depth)'를 넘겨야 값을 한다.

깊이 18에서는 상황이 뒤집힌다. 최적 개수의 검사를 걸면 R이 1.103배 올라가고, 후선별 충실도는 0.629에서 0.886으로 뛴다. 같은 회로라도 깊이가 달라지면 최적 전략이 정반대가 된다는 뜻이다. 논문은 이 교차점을 게임의 첫 번째 교훈으로 제시한다. 검사를 무조건 늘리는 플레이어는 얕은 회로에서 조용히 점수를 잃는다.

두 번째 반전: T 게이트는 하드웨어에서 공짜인데, 검사를 비싸게 만든다

더 이상한 것은 T 게이트다. 논문은 T 게이트가 하드웨어에서 잡음을 거의 더하지 않는다고 적는다. 그런데 T 게이트를 하나 넣을 때마다 검사가 성립할 수 있는 시공간 위치가 사라진다. 깊이 18에서 검사가 하나도 없을 때 T 게이트를 안전하게 놓을 수 있는 자리는 90곳이다. 검사를 네 개 걸면 그 숫자가 약 14곳으로 줄어든다.

그래서 마법(magic) 할당량이 커질수록 최적 검사 개수는 오히려 줄어든다. 잡음이 늘어서가 아니라, 검사가 T 게이트의 자리를 잠식해서다. 이건 오류 정정을 '잡음 대비 이득'으로만 계산하던 습관을 건드린다. 자원이 두 종류일 때는 한 자원의 단가가 다른 자원의 가용성에 따라 달라진다.

세 번째 반전: 깨진 검사는 없는 검사보다 나쁘다

가장 반직관적인 결과는 마지막 것이다. T 게이트가 검사를 깨뜨릴 수 있는데, 깨진 검사를 그대로 두는 것도 문제지만 논문은 더 나아간다. 깊이 18에 T 게이트 16개를 넣고 검사를 무시하고 배치하면 후선별 충실도가 0.158로 떨어진다. 그런데 깨진 검사를 '퇴역'시키면 0.102까지 더 떨어진다. 검사가 전혀 없는 회로의 0.628보다 훨씬 낮다.

이유는 후선별의 구조에 있다. 깨진 검사는 정상 실행까지 걸러내 생존율을 깎고, 남은 실행의 품질은 개선하지 못한다. 그런데 검사를 없애면 T 게이트가 자유롭게 놓이면서 회로 자체가 더 나빠진다. 즉 '검사를 끄는' 조작이 만능 해법이 아니라는 것이 이 게임의 마지막 함정이다. 논문은 이 세 가지 상충 관계가 게임을 해 보기 전에는 보이지 않는다고 강조한다.

IBM Quantum System One. 논문의 무대는 희석 냉동기 안의 실제 장비가 아니라 브라우저와 터미널에서 도는 Qiskit 시뮬레이션이다 — OJB Quantum, CC BY 4.0 (Wikimedia Commons)

경쟁 가설: 그냥 표면 부호를 쓰면 되지 않나

가장 먼저 떠오르는 반론은 이렇다. 검사로 실행을 버리는 대신, 표면 부호처럼 오류를 실제로 정정하는 부호를 쓰면 되지 않느냐. 논문의 답은 '저오버헤드'라는 제목에 있다. 표면 부호는 많은 물리 큐비트와 반복 측정을 요구하고, 그 비용은 지금의 잡음 수준에서 크다. 시공간 검사는 보조 큐비트 예산이 작을 때 쓸 수 있는 훨씬 가벼운 도구라는 것이 이 게임의 전제다.

두 번째 반론은 게임이 지나치게 단순하다는 것이다. 실제 하드웨어의 잡음은 시뮬레이션 모델보다 복잡하고, T 게이트는 분명 잡음을 더한다. 논문은 두 가지 잡음 모델에서 전수 평가를 했다고 밝히지만, 그것이 실제 장비의 모든 잡음 채널을 포괄하지는 않는다. 이 반론은 논문 스스로도 완전히 반박하지 못한다.

논문이 스스로 인정한 한계

논문은 결과를 게임 안의 수치로 한정한다. R이 1.103배 올랐다는 것도, 충실도가 0.886이 되었다는 것도 특정 깊이와 특정 잡음 모델, 특정 페이로드 다섯 개에 대한 스윕의 결과다. 다른 회로 구조나 다른 게이트 집합에서 같은 최적점이 재현된다는 보장은 논문에 없다. 저자들이 제시한 것은 보편 법칙이 아니라 '게임을 하면 보이는 경향'이다.

또 하나 분명히 해 둘 점은, 이 게임이 교육·직관 훈련용이라는 성격이다. 브라우저와 터미널에서 돌아가고 코드와 데이터가 공개되어 있다는 것은 재현 가능성의 장점이지만, 동시에 이 수치들이 실제 양자 프로세서의 성능 예측으로 곧장 이어지지는 않는다는 뜻이기도 하다.

독자에게: 당신이라면 어디에 검사를 걸겠는가

이 게임이 던지는 질문은 결국 자원 배분이다. 잡음을 걸러낼 예산과, 계산을 실제로 진행할 예산이 같은 큐비트 위에서 경쟁한다. 검사를 많이 걸면 깨끗한 실행은 얻지만 T 게이트를 놓을 자리가 줄고, 검사를 줄이면 자유는 얻지만 잡음이 그대로 남는다. 깊이 6과 18에서 정답이 다르고, T 게이트 할당량이 커지면 정답이 또 달라진다.

당신이 이 회로의 설계자라면, 지금 걸린 검사 중 몇 개를 스스로 퇴역시킬 준비가 되어 있는가. 그리고 그 판단을 '검사는 좋은 것'이라는 믿음이 아니라 측정된 R 값으로 하고 있는가.

참고 자료

Sumit Tapas Chongder, Aditya Kumar, 「Spacetime Sentinels: a Qiskit game that exposes the competition between spacetime checks and magic in low-overhead quantum error detection」, arXiv:2610.35924v1 (physics.pop-ph), 2026년 10월 13일.

https://arxiv.org/abs/2610.35924v1