A Domain-Specific Language for Formulating Hybrid Quantum-Classical Meta-Solver Strategies

당신은 완벽한 케이크를 굽기 위해 두 개의 주방을 사용할 수 있다고 상상해 보세요. 하나는 전통적이고 신뢰할 수 있는 오븐이고, 다른 하나는 가끔 주의하지 않으면 음식을 태워버리는 최신형 초고속 전자레인지입니다. 당신은 전자레인지가 더 빠를 수 있다는 것을 알고 있지만, 특정 종류의 반죽에만 해당됩니다. 만약 거대하고 밀도가 높은 과일 케이크를 전자레인지에 넣으려고 한다면, 그것은 폭발할지도 모릅니다. 반대로 섬세한 수플레를 오래된 오븐으로 만들려고 한다면, 시간이 너무 오래 걸릴 수도 있습니다. 현재 컴퓨터 세계의 큰 질문은 바로 이것입니다: "어떤 레시피에 어떤 주방을 사용할지 어떻게 결정할 것인가?"

이것이 바로 양자 컴퓨터(quantum computers)를 연구하는 과학자들이 직면한 과제입니다. 양자 컴퓨터는 우리가 매일 사용하는 컴퓨터보다 훨씬 더 빠르게 특정하고 까다로운 퍼즐을 풀 수 있는 강력한 새로운 기계입니다. 하지만 이 기계들은 여전히 그 '불안정한 전자레인지'처럼 다소 "노이즈(noise)"가 많고 신뢰할 수 없습니다. 따라서 이들이 모든 것을 위해 기존 컴퓨터를 대체할 준비는 아직 되어 있지 않습니다. 그래서 전문가들은 하이브리드 워크플로우(hybrid workflows)—즉, 구식과 신식을 혼합하는 레시피—를 구축하고 있습니다. 이 방식은 지루하고 힘든 작업은 고전 컴퓨터(classical computer)에게 맡기고, 양자 컴퓨터가 빛을 발할 수 있는 특정 부분에만 양자 컴퓨터를 사용합니다. 하지만 어느 시점에 주방을 바꿀지 정확히 결정하는 데는 많은 전문 지식이 필요합니다. 레시피를 잘못 짜면 시간을 낭비하거나 망친 케이크를 얻게 될 것입니다.

이 논문의 핵심 아이디어: 스마트 컴퓨팅을 위한 "레시피 북"

이 논문에서 저자들(Nick Poser, Domenik Eichhorn, Ina Schaefer)은 이 두 종류의 컴퓨터를 혼합하는 과정이 마치 원시 코드만을 사용하여 복잡한 설명서를 작성하는 것과 같다는 점을 깨달았습니다. 그것은 읽기 어렵고, 공유하기 어려우며, 기술이 변하면 설명서 전체가 쓸모없어질 수 있습니다. 이를 해결하기 위해 그들은 **도메인 특화 언어(Domain-Specific Language, DSL)**를 만들었습니다.

이 DSL을 컴퓨터를 위한 프로그래밍 언어가 아니라, 인간을 위한 특화된 레시피 북이라고 생각하십시오. "양자 전자레인지"와 "고전적 오븐" 사이를 어떻게 전환할지 컴퓨터에게 명령하기 위해 복잡한 코드를 쓰는 대신, 이제 당신은 이야기처럼 거의 읽기 쉬운 간단하고 명료한 지침을 작성할 수 있습니다.

이들의 "레시피 북"이 작동하는 방식은 다음과 같습니다:

1. "만약 ~라면, ~하라"는 논리 (If-This-Then-That Logic)
그들 아이디어의 핵심은 **메타 솔버 전략(Meta-Solver Strategy)**이라 불리는 전략입니다. 당신이 미스터리를 푸는 탐정이라고 상상해 보세요. 당신에게는 단서(문제) 목록이 있습니다. 당신의 전략은 다음과 같습니다: "만약 단서가 작고 단순한 쪽지라면, 양자 컴퓨터를 사용하라(작은 것에는 빠르다). 하지만 만약 단서가 거대하고 복잡한 지도라면, 먼저 그것을 작은 조각들로 나눈 다음 고전 컴퓨터를 사용하라."

저자들의 언어를 사용하면 이러한 규칙들을 명확하게 작성할 수 있습니다. 다음과 같이 말할 수 있습니다:

• "만약 문제가 4개 이상의 도시를 포함한다면, 고전 솔버(classical solver)를 사용하라."
• "그렇지 않다면, 양자 솔버(quantum solver)를 사용하라."

이것은 문제를 해결하는 방법으로서의 "전문가 지식"을 포착한다는 점에서 매우 중요합니다. 전문가가 매번 컴퓨터 엔지니어에게 이 논리를 설명할 필요 없이, 이 새로운 언어로 규칙을 작성하기만 하면 이를 이해하는 사람이나 컴퓨터가 그 규칙을 따를 수 있습니다.

2. 큰 문제를 작은 문제로 나누기
때때로 문제는 하나의 주방에 담기에 너무 큽니다. 이 언어는 다음과 같이 말할 수 있게 해줍니다: "이 큰 문제를 가져와서 작은 덩어리로 쪼갠 다음, 각 덩어리를 별도로 해결하라." 이것은 마치 거대한 피자를 가져와서 여러 사람이 동시에 각기 다른 조각을 먹을 수 있도록 조각내는 것과 같습니다. 이 언어는 심지어 이러한 지침을 중첩(nesting)할 수 있게 하여, 전체 피자에 대한 규칙을 정하고 나서 각 조각을 처리하는 서로 다른 규칙을 가질 수도 있게 합니다.

3. "오케스트레이터" (지휘자)
이 레시피들이 실제로 작동하도록 만들기 위해, 저자들은 그들의 언어 주변에 프레임워크(도구 세트)를 구축했습니다. 그들은 ProvideQ라는 도구 상자를 사용하여 지휘자 역할을 하게 했습니다. 당신이 이 새로운 언어로 전략을 작성하면, 지휘자가 이를 읽고, 재료(문제의 세부 사항)를 확인한 다음, 적절한 "주방"(양자 또는 고전 백엔드)에 요리를 시작하라고 명령합니다.

그들이 실제로 수행하고 발견한 것

저자들은 단순히 이 언어를 꿈꾼 것이 아니라, 실제로 구축하고 테스트했습니다. 그들은 전략을 작성할 수 있는 웹 기반 에디터(코드용 워드 프로세서와 같은)를 만들었습니다. 또한 이를 실행하는 엔진도 구축했습니다.

이것이 작동함을 증명하기 위해, 그들은 **차량 경로 문제(Vehicle Routing Problem, VRP)**라는 고전적인 퍼즐을 가지고 테스트를 진행했습니다. 이는 기본적으로 배송 트럭이 여러 지점을 방문하는 가장 좋은 경로를 찾는 문제입니다. 그들은 두 가지 서로 다른 배송 시나리오를 만들었습니다:

• 시나리오 A: 3개의 지점만 있는 아주 작은 경로.
• 시나리오 B: 19개의 지점이 있는 더 큰 경로.

그들은 이 두 시나리오를 동일한 "메타 솔버 전략"(레시피)을 사용하여 시스템에 입력했습니다. 결과는 그들이 기대했던 바와 정확히 일치했습니다:

• **작은 경로(3개 지점)**의 경우, 시스템은 문제가 양자 컴퓨터가 처리하기에 충분히 작다고 판단하여 자동으로 양자 솔버를 사용하기로 결정했습니다.
• **더 큰 경로(19개 지점)**의 경우, 시스템은 양자 컴퓨터가 적절한 도구가 아니라고 판단했습니다. 대신, 큰 경로를 더 작은 클러스터로 나누고, 고전 솔버를 사용하여 힘든 작업을 수행한 뒤, 퍼즐의 가장 작은 조각들에 대해서만 양자 컴퓨터를 사용했습니다.

이것이 왜 중요한가

이 논문은 이 새로운 언어가 성공적임을 보여줍니다. 이 언어는 전문가들이 자신의 스마트한 전략을 읽기 쉽고, 공유하기 쉬우며, 무엇보다도 **기술 독립적(technology-independent)**인 방식으로 기록할 수 있게 해줍니다.

현재 양자 컴퓨터는 빠르게 변화하고 있습니다. 오늘 사용할 수 있는 도구와 "주방"은 내년에는 달라질 수 있습니다. 이 언어는 특정 도구(오븐의 브랜드)가 아니라 결정의 논리(레시피)에 집중하기 때문에, 오늘 작성된 전략은 기반 기술이 바뀌더라도 여전히 작동할 수 있습니다. 이것은 "특정 브랜드의 오븐에서 350도로 굽는다"라고 적는 대신 "350도로 굽는다"라고 적는 레시피를 쓰는 것과 같습니다.

요약하자면, 저자들은 구식과 신식 컴퓨팅 세계의 장점을 결가합하는 새롭고 사용자 친화적인 방법을 과학계에 제공했습니다. 이를 통해 우리는 양자 컴퓨터의 복잡함에 길을 잃지 않고도 그 성능을 최대한 활용할 수 있게 되었습니다. 그들은 어렵고 전문가 전용이었던 과업을, 레시피를 아는 사람이라면 누구나 작성하고, 공유하고, 이해할 수 있는 것으로 바꾸어 놓았습니다.