Causality in Pure Quantum Computation with Quantum Control

레고 브릭으로 기계를 만든다고 상상해 보세요. 고전 컴퓨터의 세계에서 명령어는 엄격한 레시 recipe와 같습니다. 밀가루를 먼저 섞은 후에 달걀을 넣어야 하며, 케이크를 굽기도 전에 오븐에 넣을 수는 없습니다. 이것이 바로 "인과관계(causality)"입니다. 즉, 원인이 결과보다 먼저 일어나야 한다는 규칙입니다. 하지만 이제, 동시에 두 가지 서로 다른 구조물을 만들 수 있고, 조각을 끼워 맞추는 순서가 고정되어 있지 않은 마법 같은 버전의 레고를 상상해 보세요. 지붕을 벽보다 먼저 끼울 수도 있고, 벽을 지붕보다 먼저 끼울 수도 있으며, 어떻게 해서든 기계는 두 방식 모두로 작동합니다. 이것이 양자 물리학의 기묘하고도 머리가 아찔해지는 세계인 "부정적 인과 순서(indefinite causal order)"입니다.

과학자들은 양자 역학이 이러한 시간과 순서의 "중첩(superposition)"을 허용한다는 사실을 발견했습니다. 유명한 예로 "Quantum SWITCH"가 있는데, 여기서 양자 비트(qubit)는 교통 통제관 역할을 하여 프로세스 A를 실행한 후 B를 실행할지, 아니면 B를 실행한 후 A를 실행할지를 결정합니다. 만약 교통 통제관이 모호한 중첩 상태에 있다면, 순서 그 자체도 모호해집니다. 이는 컴퓨팅 분야에서 일종의 초능력처럼 들리며, 일반 컴퓨터보다 더 빠르게 문제를 해결할 수 있는 잠재력을 가집니다. 하지만 여기에는 함정이 있습니다. 모든 마법 같은 시간 여행 레시피가 실제 우주에서 허용되는 것은 아닙니다. "OCB 프로세스"와 같은 일부 이론적 기계들은 효과가 자신의 원인을 일으키는 루프를 만들어내어, 마치 뱀이 자신의 꼬리를 먹어 치우며 역설을 만드는 것처럼 물리 법칙의 근본적인 원칙을 깨뜨리는 것처럼 보입니다. 큰 질문은 이것입니다. 어떻게 하면 멋지고 실현 가능한 양자 기술과 마법 같은 불가능 사이의 차이를 구별할 수 있을까요?

이 논문은 바로 이 문제를 해결하기 위해 이러한 고차원적인 양자 기술을 위해 특별히 설계된 새로운 종류의 프로그래밍 언어를 발명함으로써 이 문제에 도전합니다. 저자인 히라타 켄고(Kengo Hirata)와 츠카다 다케시(Takeshi Tsukada)는 퀀텀 스위치를 사용하여 다른 프로그램들을 제어하는 프로그램(고차 함수)을 작성하려고 할 때, 실수로 위험한 시간 여행 역설을 만드는 코드를 작성하게 될 수 있다는 점을 깨달았습니다. 이를 해결하기 위해 그들은 BV 로직이라고 불리는 특수한 논리에 기반한 매우 엄격한 "문법(type system)"을 가진 언어를 구축했습니다. 이 로직을 생각하면, 프로그래머에게 "내가 제어하는 프로세스가 완전히 끝날 때까지는 이 제어 스위치를 사용할 수 없다"라고 선언하도록 강제하는 규칙 세트와 같습니다.

이 논문은 이 새로운 규칙들을 통해, 우리가 물리적으로 가능한 모든 "순수(pure)" 양자 프로세스를 설명할 수 있으면서도, 동시에 OCB 프로세스와 같은 불가능한 기계는 엄격하게 차단하는 안전한 프로그램을 작성할 수 있음을 증명합니다. 요컨대, 그들은 양자 프로그래머를 위한 안전망을 만들어, 그들이 시간의 순서를 가지고 놀 때 우주의 법칙을 깨뜨리지 않도록 보장했습니다.

시간 여행 코드의 이야기

문제점: 제어가 루프가 될 때
표준적인 양자 컴퓨팅 세계에는 "1차(first-order)" 연산이 있습니다. 이것들은 망치, 드라이버, 또는 비트를 반전시키는 양자 게이트와 같은 단순한 도구들입니다. 우리는 이것들을 안전하게 결합하는 방법을 알고 있습니다. 하지만 이 논문은 다른 도구들을 재료로 사용하는 도구들인 "2차(second-order)" 연산을 살펴봅니다. 단순히 못을 박는 것이 아니라, 전체 건설 팀(양자 채널)을 데려와서 그들이 어떻게 일할지를 결정하는 "슈퍼 해머"를 상상해 보세요.

저자들은 이러한 "슈퍼 해머"를 "양자 제어(Quantum Control)"와 결합할 때 발생하는 특정한 위험을 식별했습니다. 양자 제어는 "동전이 앞면이면 이것을 하고, 뒷면이면 저것을 하라"고 말하는 스위치와 같습니다. 일반적인 컴퓨터에서는 이것이 쉽습니다. 하지만 양자 컴퓨터에서는 동전이 앞면이면서 동시에 뒷면일 수 있습니다. 문제는 제어 대상이 되는 "대상" 자체가, 프로그램이 끝난 후에 다시 동전을 사용해야 할 수도 있는 복잡한 프로그램일 때 발생합니다.

저자들은 이 코드를 잘못 작성했을 때 발생하는 재앙적인 상황을 발견했습니다. 타겟 큐비트에 NOT 게이트(비트를 반전시키는 게이트)를 적용할지 여부를 제어 큐비트(동전)가 결정하는 프로그램을 상상해 봅시다. 만약 코드를 부주의하게 작성한다면, 타겟 큐비트가 제어 큐비트 그 자체가 되어 버립니다. 이는 폐쇄된 루프를 생성합니다. 동전이 자기 자신을 뒤집을지 결정하지만, 그 뒤집힘은 결정이 내려지기 전에 일어납니다. 이것은 마치 뱀이 자신의 꼬리를 먹는 것과 같습니다. 물리학에서 이것은 "폐쇄형 시간 곡선(closed timelike curve)", 즉 인과율을 깨뜨리는 시간 여행 역설입니다. 논문은 만약 표준적이고 단순한 규칙 세트를 사용하여 이 코드를 작성한다면, 컴퓨터는 비록 그것이 물리적으로 불가능한 기계를 설명하고 있음에도 불구하고 기꺼이 이를 받아들일 것이라고 보여줍니다.

해결책: 시간의 문법
이러한 불가능한 프로그램이 작성되는 것을 막기 위해, 저자들은 $\lambda_{qif}$라고 불리는 새로운 언어를 설계했습니다. 이 언어의 핵심 비법은 BV 로직(Bounded Variance 또는 Before 로직과 관련됨)이라는 특수한 유형의 논지입니다.

이 로직에는 "이전(Before)" 화살표($\triangleleft$)라고 부를 수 있는 특별한 기호가 있습니다. 일반적인 수학에서는 쌍(pair)의 아이템들을 자유롭게 바꿀 수 있습니다. 하지만 이 새로운 로직에서 "이전" 화살표는 "아이템 A가 아이템 B보다 엄격하게 먼저 일어나야 함"을 의미합니다.

저자들은 이를 사용하여 언어의 타입 규칙을 수정했습니다. 양자 조건문(예: qif)을 작성할 때, 이 언어는 이제 다음과 같이 강제합니다: "제어 큐비트는 코드의 분기( 'then' 또는 'else' 부분)가 완전히 완료될 때까지 다시 사용할 수 없다."

그들은 "1차(first-order)" 명제라는 개념을 도입했습니다. 이것들을 역사나 과거가 없는 "단순한 데이터"라고 생각하세요. 큐비트는 1차적인 것입니다. 로직에 따르면, 단순한 것들에 대해서는 "이전" 규칙이 일반적인 쌍처럼 보일 만큼 유연합니다. 하지만 복잡한 함수에 대해서는 "이전" 규칙이 엄격합니다. 이 구분이 핵심입니다. 이를 통해 언어는 물리적으로 실현 가능한 순수한 과정인 "Quantum SWITCH"는 처리하면서도, 지저분하고 불가능한 과정인 "OCB 프로세스"는 차단할 수 있게 해줍니다.

증명: 안전한 샌드박스 구축
저자들은 단순히 규칙을 작성한 것이 아니라, 그 규칙들이 작동함을 증명하기 위해 수학적 "샌드박스(범주론적 모델)"를 구축했습니다. 그들은 C$\text{at}_{\text{Hilb}}$라는 새로운 범주를 만들었습니다. 이것을 모든 객체에 "인과적 태그(causal tag)"가 붙어 있는 우주라고 생각하면 됩니다. 이 태그는 어떻게 조합하더라도 절대 시간 루프를 만들지 않도록 보장합니다.

그들은 두 가지 주요 사항을 증명했습니다:

1. 안전성(Safety): 이 새로운 언어로 작성할 수 있는 모든 프로그램은 물리적으로 실현 가능한 양자 프로세스에 대응합니다. 만약 프로그램이 역설(예: 뱀이 꼬리를 먹는 것)을 만들려고 시도하면, 언어는 아예 그것을 작성할 수 없게 만듭니다. 타입 시스템이 이를 거부합니다.
2. 완전성(Completeness): 이 언어는 물리학자들이 실현 가능하다고 믿는 모든 "순수" 양자 슈퍼맵(supermap)을 설명할 수 있을 만큼 강력합니다.

결정적으로, 그들은 유명한 OCB 프로세스(실현 불가능하다고 의심되는 것)가 자신들의 언어 내에서 정의될 수 없음을 보여주었습니다. 이는 OCB 프로세스가 순수한 양자 제어로 구축할 수 있는 영역 밖에 있음을 확인시켜 주며, 그것이 물리적 인과율을 위반한다는 생각을 뒷받침합니다.

결론
논문은 인과 관계를 인식하는 로직(BV 로직과 같은)이 단순히 양자 물리학처럼 보이는 추상적인 수학이 아니라고 결론짓습니다. 대신, 그것들은 필수적인 도구입니다. 문법이 문장을 말이 되게 만드는 것처럼, 이 인과적 로직은 양자 프로그램이 물리 법칙을 깨뜨리는 것을 방지합니다.

저자들은 자신들의 언어가 우리가 알고 있는 모든 "순수" 사례를 다루고 있지만, 여전히 미스터리로 남아 있는 더 복잡한 시나리오(세 개 이상의 입력이 있는 경우)가 있을 수 있다고 제안합니다. 하지만 현재로서는, 그들은 명확한 선을 그어 놓았습니다. 바로 여기가 멋지고 실현 가능한 양자 기술이 끝나고, 불가능한 시간 여행 역설이 시작되는 지점입니다. 그리고 새로운 언어 덕분에, 이제 우리는 그 차이를 구별할 수 있는 방법을 갖게 되었습니다.