마법 상태만으론 부족, 커크우드-디랙 음의 값이 양자 우위 필요조건

마법 상태는 필요조건이지만 충분조건이 아니다

양자컴퓨터가 고전 컴퓨터를 넘어서려면 큐비트를 특수한 초기 상태, 이른바 마법 상태(magic state)로 준비해야 한다. 이 상태가 빠지면 양자컴퓨터는 고전 컴퓨터와 동등한 계산력에 머무른다는 것이 기존의 이해였다. 그런데 캐번디시 연구소 팀의 이번 연구는 마법 상태라고 분류된 것들 가운데 상당수가 실제로 양자 우위를 제공하지 못하는 '무용한 마법 상태'임을 이론적으로 보였다. 마법 상태는 양자 우위의 필요조건이지만, 그것만으로는 충분하지 않다는 결론이다. 이로써 양자컴퓨터가 반드시 필요한 계산과 고전 컴퓨터로도 충분한 계산 사이의 경계가 다시 그려졌다.

커크우드-디랙 분포와 음의 확률

연구팀이 이 경계를 엄밀히 설정하는 데 활용한 도구는 1945년 폴 디랙이 케임브리지 세인트존스 칼리지에서 개발한 수학적 틀인 커크우드-디랙(Kirkwood-Dirac) 분포다. 이 분포는 MIT의 존 커크우드가 약 10년 앞서 독립적으로 제안한 개념과 유사하며, 디랙이 이를 정형화했다. 핵심 개념은 역설적으로 들리는 '음의 확률'이다. 특정 입력 양자 상태에 대해 이 분포가 계산 전 과정에서 양수 또는 0으로만 유지되면, 고전 컴퓨터가 해당 양자 계산을 효율적으로 모사할 수 있다. 반면 음의 값이 등장하면 고전 시뮬레이션은 지수적으로 어려워지며, 진정한 양자 우위가 존재할 가능성이 열린다. 연구팀은 이 커크우드-디랙 음의 값(Kirkwood-Dirac negativity)이 유용한 마법 상태를 가려내는 더 엄밀한 기준이 됨을 제시했다.

고전 컴퓨터의 영역이 더 넓었다—노트북으로 실증

연구팀은 이론 제시에 그치지 않고, 박사과정 학생 J.J. 티오와 리시 고엘이 일반 노트북에서 구동되는 고전 시뮬레이션 프로그램을 직접 구현해 실증했다. 기존에는 양자컴퓨터가 필요하다고 여겨지던 특정 계산들을 이 프로그램이 수행해냄으로써, 고전 컴퓨터가 다룰 수 있는 계산 공간이 이전 추정보다 크다는 것을 직접 보였다. 역설적으로 이는 양자 우위를 주장하기 위한 기준이 더 높아졌음을 의미한다.

연구의 함의와 남은 과제

세계 각국 정부와 민간 기업이 수십억 파운드를 양자컴퓨팅에 투자하고 있지만, 양자컴퓨터가 실용적 과제에서 고전 컴퓨터를 언제 실질적으로 앞설지는 여전히 불확실하다. 이번 연구는 그 기준선을 더 견고하게 정립하는 데 기여한다. 연구팀은 이 결과가 양자 소프트웨어 설계와 마법 상태 생성—대규모 양자컴퓨터 구축의 주요 공학 과제 중 하나—의 방향을 안내하길 기대한다. 미국 메릴랜드의 양자정보·컴퓨터과학 공동센터(JQI/QuICS) 소속 니콜 융거 할펀(Nicole Yunger Halpern) 박사도 이 접근법이 수년간 가설로만 논의됐음을 언급하며 이번 긍정적 결과를 환영했다. 다만 이번 연구는 이론과 시뮬레이션 실증에 집중되어 있으며, 실제 양자 하드웨어에서의 검증은 별도의 과제로 남는다. 커크우드-디랙 음의 값이 양자 우위의 충분조건인지 여부 역시 아직 열린 질문이다.