Programming with Quantum-Controlled Quantum Channels

논리의 규칙이 꿈처럼 유연한 세상을 상상해 보십시오. 우리의 일상적인 현실에서 전등 스위치는 켜져 있거나 꺼져 있는 상태 중 하나입니다. 또한 컴퓨터 프로그램은 단 하나의 직선 경로를 따릅니다. 조건이 참이면 이것을 수행하고, 거짓이면 저것을 수행하는 식입니다. 하지만 기묘하고 경이로운 양자 역학의 영역에서 사물은 단 하나의 쪽을 선택할 필요가 없습니다. 양자 비트, 즉 "큐비트(qubit)"는 중첩 상태로 존재할 수 있으며, 이는 효과적으로 0인 동시에 1일 수 있음을 의미합니다. 이것은 단순히 "아마도"라고 말하는 멋진 표현이 아닙니다. 데이터가 동전이 공중에서 회전하며 착지하기 전까지 앞면이자 동시에 뒷면인 것처럼, 두 가지 상태에 동시에 존재할 수 있다는 근본적인 속성입니다.

과학자들은 오랫동안 궁금해해 왔습니다. 만약 데이터가 중첩될 수 있다면, 명령어(instructions) 그 자체도 중첩될 수 있을까요? 컴퓨터가 두 가지 서로 다른 프로그램을 동시에 실행하거나, 심지어 두 가지 서로 다른 순서로 동시에 실행할 수 있을까요? "양자 스위치(quantum SWITCH)"라고 알려진 이 아이디어는 물리학계의 뜨거운 주제였습니다. 이는 인과관계의 순서가 흐릿해지는 상황을 만들어내어, 고전 컴퓨터로는 불가능한 문제들을 해결할 것을 약속합니다. 그러나 이러한 양자 과정을 제어하기 위해 컴퓨터 프로그램을 작성하려는 시도는 마치 형태가 계속 변하는 설계도를 가지고 집을 지으려는 것과 같았습니다. 수학은 엉망이 되었고, 명령어들은 종종 모순이나 정의되지 않은 결과로 이어졌습니다.

이 논문은 수십 년 된 퍼즐을 해결하며, 이러한 양자 프로그램을 작성하는 새로운 방법을 소개합니다. 저자인 히라타 켄고(Kengo Hirata)와 츠쿠다 타케시(Takeshi Tsukada)는 이전의 시도들이 빠졌던 수학적 함정에 빠지지 않고 양자 연산(양자 스위치와 같은)을 제어할 수 있는 특별한 프로그래밍 언어를 설계했습니다. 그들은 이 작업이 성공하기 위한 핵심이 "선형성(linearity)"이라는 엄격한 규칙이라는 것을 발견했습니다. 이것은 마치 모든 책이 정확히 한 번 빌려지고 정확히 한 번 반납되도록 보장하며, 절대 복제되거나 분실되지 않도록 관리하는 엄격한 사서와 같습니다. 이 규칙을 강제함으로써, 그들의 언어는 양자 "프로그램의 중첩"이 올바르게 작동하도록 보장하며, 물리학자와 프로그래머들이 마침내 이러한 기묘한 양자 현상을 명확하고 신뢰할 수 있는 방식으로 기술할 수 있게 해줍니다.

양자 스위치의 이야기와 "대응 문제(Correspondence Problem)"

이 새로운 언어가 왜 그토록 중요한 일을 하는지 이해하려면, 그것이 해결하는 문제를 살펴봐야 합니다. 당신이 두 가지 특별한 재료, 즉 풍미 A와 풍미 B를 가진 요리사라고 상상해 보십시오. 일반적인 주방에서는 결정해야 합니다. 풍미 A를 먼저 넣고 그다음 B를 넣을 것인가? 아니면 B를 먼저 넣고 그다음 A를 넣을 것인가? 순서가 맛을 바꿉니다.

이제 당신에게 "양자 스위치(quantum SWITCH)"가 있는 마법 같은 양자 주방이 있다고 상상해 보십시오. 만약 제어 노브가 "0"으로 설정되어 있다면, 당신은 A를 넣고 그다음 B를 넣습니다. 만약 노브가 "1"로 설정되어 있다면, B를 넣고 그다음 A를 넣습니다. 하지만 여기서 마법이 일어납니다. 만약 당신이 노브를 중첩 상태(0과 1이 동시에 존재하는 상태)로 둔다면, 요리는 두 가지 순서의 중첩체가 됩니다. 당신은 "A-다음-B"이면서 동시에 "B-다음-A"인 풍미를 얻게 됩니다. 이것은 일반적인 컴퓨터보다 특정 수학 문제를 더 빠르게 해결할 수 있는 강력한 도구입니다.

하지만 수년 동안 이 마법 같은 주방을 위한 코드를 작성하려던 프로그래머들은 벽에 부딪혔습니다. 그들은 표준적인 "if-then-else" 명령(예: 만약 노브가 1이면 A를 하고, 그렇지 않으면 B를 하라)을 사용하려고 시도했습니다. 문제는 노브가 중첩 상태에 있을 때, 코드가 "else" 부분을 어떻게 올바르게 처리해야 할지 알지 못했다는 점입니다. 그것은 마치 단계들이 서로 맞지 않는 두 가지 서로 다른 레시피를 섞으려는 것과 같았습니다.

저자들은 이를 **"대응 문제(Correspondence Problem)"**라고 부릅니다. 당신이 두 개의 서로 다른 더미에서 양말을 맞추려고 한다고 상상해 보십시오. 만약 "then" 분기에는 빨간 양말 더미가 있고 "else" 분기에는 파란 양말 더미가 있다면, 어떤 빨간 양말이 어떤 파란 양말과 짝인지 어떻게 알 수 있을까요? 기존의 프로그래밍 언어에서 컴퓨터는 그냥 추측하거나 무작위로 매칭을 시도했습니다. 때로는 완벽하게 맞추기도 했지만, 때로는 잘못 매칭하기도 했습니다. 매칭이 잘못되었을 때, 양자의 마법은 깨졌고 결과는 더 이상 진정한 양자 스위치가 아니었습니다. 그것은 그저 엉망이고 정의되지 않은 혼란일 뿐이었습니다.

해결책: "한 번 사용" 규칙

히라타와 츠쿠다는 기존 방식이 실패한 이유가 컴퓨터가 "if" 문의 두 분기를 서로 독립적이고 연결되지 않은 세계로 취급하도록 허용했기 때문이라는 것을 깨달았습니다. 이를 해결하기 위해 그들은 논리학의 개념인 **선형성(linearity)**에 기반한 엄격한 규칙을 도입했습니다.

그들의 새로운 언어에서 그들은 다음과 같은 규칙을 강제합니다: 모든 양자 연산은 반드시 정확히 한 번만 사용되어야 한다.

이것은 매우 엄격한 심판이 있는 의자 뺏기 게임과 같습니다. 만약 당신에게 양자 연산(하나의 "의자")이 있다면, 당신은 그것을 복제할 수도 없고 버릴 수도 없습니다. 당신은 "then" 분기에서도 그것을 사용해야 하고 "else" 분기에서도 사용해야 하지만, 반드시 동일한 버전의 그것을 양쪽 모두에서 사용해야 합니다. 이는 두 분기가 완벽하게 동기화되도록 강제합니다.

이 규칙 덕분에 "then" 분기의 "양말"과 "else" 분기의 "양말"은 완-벽하게 일치하도록 강제됩니다. 컴퓨터는 더 이상 추측하거나 무작위로 짝을 지을 수 없습니다. "대칭 구조" 자체가 연산들이 올바르게 정렬되도록 보장하기 때문에 "대응 문제"는 사라집니다.

이것이 미래에 의미하는 바

저자들은 단순히 이 아이디어를 제안하는 데 그치지 않고, 이것이 작동함을 증명하기 위해 Qif라는 완전한 프로그래밍 언어를 구축했습니다. 그들은 다음을 입증했습니다:

1. 수학적으로 건전함: 그들은 양자 연산이 아무리 복잡하더라도 그들의 언어가 항상 단 하나의 올바른 답을 생성한다는 것을 증명했습니다.
2. 물리적으로 구현 가능함: 그들은 그들의 언어로 작성된 어떤 프로그램이라도 실제로 제작 가능한 실제 양자 회로(물리적 기계)로 변환될 수 있음을 보여주었습니다.
3. 최초의 사례: 다른 언어들도 이를 시도했지만, 프로그래밍할 수 있는 프로그램의 유형을 제한하거나 "순서의 중첩"을 올바르게 처리하는 데 실패했습니다. 이 언어는 측정(예: 동전 던지기 결과 확인)을 포함하는 일반적인 양자 연산에 대해 양자 스위치를 설명할 수 있는 최초의 언어입니다.

이 논문은 이러한 양자 작업을 위해 단순히 표준적인 "제어 연산(controlled operation, 컴퓨터가 "if" 문을 처리하는 일반적인 방식)"을 사용할 수 있다는 생각을 명시적으로 배제합니다. 그들은 표준적인 방식이 모호함과 오류를 초래한다는 것을 증명했습니다. 대신, 진정한 양자 스위치 동작을 얻기 위해서는 반드시 그들의 특정한 선형적 접근 방식을 사용해야 함을 보여주었습니다.

요약하자면, 히라타와 츠쿠다는 우리에게 새로운 도구 세트를 전달했습니다. 이전에는 양자 스위치를 프로그래밍하려는 시도가 읽을 때마다 줄거리가 무작위로 변하는 이야기를 쓰는 것과 같았습니다. 이제 그들의 새로운 언어와 함께라면, 우리는 줄거리가 두 가지 서로 다른 순서의 완벽하고 일관된 중첩체인 이야기를 쓸 수 있으며, 그 이야기가 어떻게 전개될지 정확히 알 수 있습니다. 이는 프로그래머들이 이전에는 시도하기에 너무 위험했던 새롭고 기묘하며 강력한 양자 알고리즘을 탐구할 수 있는 문을 열어줍니다.