Demand-Driven Routing Space for Lattice-Surgery Compilation

양자 컴퓨터는 오늘날의 기계로는 불가능한 문제들을 해결할 것을 약속하지만, 이를 구축하는 데는 출력과 취약성 사이의 섬세한 균형 잡기가 필요합니다. 양자 컴퓨터 내부의 정보를 아주 작은 방해로부터 보호하기 위해, 과학자들은 단일 데이터를 여러 물리적 입자 전체에 분산시키는 서피스 코드(surface code)라고 불리는 방법을 사용합니다. 하나의 논리적 비트를 하나의 작은 스위치가 아니라, 수십 개의 물리적 입자들이 함께 작동하여 만들어진 작고 견고한 패치라고 상상해 보십시오. 컴퓨터가 작업을 수행하게 하려면 이 패치들이 서로 상호작용해야 합니다. 가장 일반적인 설계에서 이들은 병합하고 분리되는 방식으로 상호작용하며, 이 과정에는 이들이 이동할 수 있는 빈 공간이 필요합니다. 만약 패치들이 너무 밀집되어 있으면 상호작용할 수 없고, 너무 멀리 떨어져 있으면 컴퓨터가 비효率적이고 귀중한 자원을 낭비하게 됩니다. 엔지니어들의 과제는 데이터 패치들이 서로 방해받지 않고 작업을 수행할 수 있도록 패치 사이에 정확히 얼마만큼의 공간을 남겨둘지 결정하는 것입니다.

오랫동안 이 문제에 대한 표준적인 접근 방식은 매우 신중하게 행동하는 것이었습니다. 설계자들은 모든 데이터 패치 사이에 넓은 빈 통로를 둔 고정된 격자를 구축하여, 컴퓨터가 무엇을 하고 있든 상관없이 필요한 상호작용을 위한 공간이 항상 확보되도록 했습니다. DasCot와 같은 선도적인 컴파일러에서 사용하는 이 방법은 컴퓨터가 작동한다는 것을 보장하지만, 그 대가는 가혹합니다. 그 빈 공간의 대부분이 대부분의 시간 동안 유휴 상태로 놓여 있기 때문입니다. 이는 마치 출퇴근 시간의 교통량을 처리하기 위해 모든 방향으로 10차선 도로를 건설하여, 나머지 시간 동안 9개의 차선이 비어 있고 사용되지 않게 만드는 것과 같습니다. 이 방식은 교통 체증을 방지하지만, 엄청난 양의 물리적 공간을 낭비하여 양자 컴퓨터를 필요 이상으로 크고 비싸게 만듭니다.

UCLA, 러트거스 대학교, 그리고 QuEra Computing Inc.의 연구진에 의한 새로운 연구는 이 문제를 생각하는 다른 방법을 제안합니다. 연구진은 정적이고 거대한 격자를 만드는 대신, 데이터 패치 사이의 공간을 계산의 즉각적인 필요에 따라 형태가 변하는 유연한 자원으로 취급하는 시스템을 개발했습니다. 연구진은 새로운 아키텍처와 소프트웨어 컴파일러를 개발하여, 공간이 실제로 필요할 때만 공간을 할당하도록 했습니다. 이 모델에서 데이터 패치 사이의 물리적 거리는 계산이 진행됨에 따라 변화할 수 있습니다. 만약 특정 연산을 위해 데이터 상단에 공간이 필요하면 시스템이 이를 제공하고, 해당 연산이 끝나면 그 공간을 회수하여 데이터 하단의 다른 연산을 위해 사용할 수 있습니다. 이는 도시가 다리 위에서 가변 차로를 사용하는 것과 비슷합니다. 아침에는 도심으로 향하는 차량을 위해 더 많은 차선을 열고, 저녁에는 도심에서 나가는 차량을 위해 더 많은 차선을 여는 방식이지, 모든 방향에 대해 항상 고정된 수의 차선을 유지하는 것이 아닙니다.

이 혁신의 핵심은 데이터 패치의 물리적 간격이 고정되어 있지 않은 동적 아키텍처에 있습니다. 연구진은 "가상" 위치는 고정되어 있지만, 서로의 물리적 거리는 계산의 각 단계 사이에서 확장되거나 수축할 수 있는 시스템을 설계했습니다. 컴퓨터가 한 계산 단계에서 다음 단계로 넘어갈 때, 데이터 패치는 다음 작업 세트의 특정 라우팅 요구 사항을 수용하기 위해 더 가까이 이동하거나 더 멀리 떨어질 수 있습니다. 이 움직임은 무작위가 아닙니다. 이는 트래픽이 어디로 흐를지 예측하는 새로운 컴파일러에 의해 정밀하게 계획됩니다. 컴파일러는 전체 연산 시퀀스를 살펴보고, 어떤 데이터 패치들이 상호작용해야 하는지 식별한 다음, 이러한 상호작용을 위해 필요한 빈 공간을 최소화하도록 물리적 배치를 재조정합니다.

실험에서 연구진은 다양한 복잡한 양자 회로를 사용하여 이 접근 방식을 기존의 보수적인 방법들과 비교 테스트했습니다. 결과는 상당했습니다. 데이터 패치 사이의 공간을 동적으로 조정함으로써, 새로운 방법은 기존의 최적의 정적 레이아웃과 비교했을 때 프로그램을 실행하는 데 필요한 총 공간과 시간을 평균 55.6% 감소시켰습니다. 이는 동일한 양의 작업을 수행하기 위해 새로운 시스템이 절반 미만의 물리적 자원을 사용함을 의미합니다. 또한, 새로운 컴파일러는 기존의 최첨단 도구들보다 75.5배 더 빠르게 최적화된 계획을 생성할 수 있었습니다. 이 속도는 매우 중요한데, 엔지니어들이 양자 프로그램을 훨씬 더 빠르게 테스트하고 개선할 수 있게 하여 전체 개발 과정을 가속화하기 때문입니다.

이 연구는 효율성의 핵심이 단순히 데이터를 이동시키는 것뿐만 아니라, 컴파일러가 어떤 작업을 함께 실행하고 어떻게 경로를 지정할지 결정하는 방식에 있다는 점을 밝혀냈습니다. 연구진은 단순히 경로를 짧게 만드는 것만으로는 충분하지 않다는 것을 발견했습니다. 시스템은 서로 다른 작업들을 위해 동일한 물리적 공간을 다른 시간에 재사용하는 것에 대해 영리하게 작동해야 했습니다. 레이아웃을 변경할 수 있게 함으로써, 시스템은 상호작용이 일어날 때만 공간을 확장하고, 상호작용을 하지 않을 때는 데이터 패치를 더 조밀하게 배치할 수 있었습니다. 이러한 접근 방식은 프로그램 전체 기간 동안 빈 차선이 사용되지 않고 방치되는 정적 모델의 막대한 낭비를 피하게 해줍니다. 연구진은 이 동적 접근 방식이 단순 산술부터 최적화 및 암호학에 사용되는 복잡한 알고리즘에 이르기까지 광범위한 회로 유형에서 작동함을 입증했습니다.

이 논문의 가장 중요한 발견 중 하나는 이 동적 방법이 공간을 절약할 뿐만 아니라, 엔지니어들이 양자 프로그램을 설계하는 방식 자체를 바꾼다는 점입니다. 컴파일러가 매우 빠르고 효율적이기 때문에, 이를 양자 회로의 다양한 설계 선택지를 탐색하는 도구로 사용할 수 있습니다. 예를 들어, 연구진은 자신들의 컴파일러가 서로 다른 유형의 양자 게이트를 사용하는 것 사이의 트레이드오프(trade-offs)를 이해하는 데 어떻게 도움을 줄 수 있는지 보여주었습니다. 어떤 경우에는 한 종류의 게이트를 적게 사용하는 설계가 더 많은 물리적 공간을 요구할 수 있는 반면, 해당 게이트를 더 많이 사용하는 설계는 더 조밀할 수 있습니다. 새로운 컴파일러는 이러한 트레이드오프를 빠르게 계산하여 설계자들에게 그들의 선택에 따른 물리적 비용을 명확하게 보여줄 수 있습니다. 이러한 피드백 루프는 실용적인 양자 컴퓨터를 구축하는 데 필수적인데, 엔지니어가 자신이 구축하고 있는 특정 하드웨어에 맞춰 프로그램을 최적화할 수 있게 해주기 때문입니다.

이 접근 방식의 성공은 유연성과 제어 사이의 정교한 균형에 달려 있습니다. 시스템은 물리적 간격이 변할 수 있도록 허용하지만, 데이터 패치들이 충돌하거나 정보를 잃지 않도록 엄격한 규칙 내에서 이를 수행합니다. 연구진은 패치의 움직임을 줄을 지어 걷는 사람들이 대열을 깨뜨리지 않으면서 간격을 조절하는 것과 유사한 조정된 이동으로 모델링했습니다. 이는 시스템이 계산의 변화하는 요구에 적응하는 동안에도 양자 정보가 보호되도록 보장합니다. 이 연구는 이 동적 모델이 단지 이론적인 가능성이 아니라, 현재의 기술로 구현 가능한 실질적인 현실임을 확인시켜 줍니다.

궁극적으로 이 작업은 우리가 양자 컴퓨터의 물리적 레이아웃을 생각하는 방식의 변화를 나타냅니다. 최악의 시나리오를 처리하기 위해 경직되고 거대한 구조물을 만드는 대신, 새로운 방법은 계산의 실제 필요에 따라 적응하는 유연하고 반응적인 시스템을 구축합니다. 라우팅 공간을 고정된 상품이 아닌 동적인 자원으로 취급함으로써, 연구진은 더 작고, 빠르며, 효율적인 양자 컴퓨터를 구축하는 것이 가능하다는 것을 보여주었습니다. 양자 컴퓨팅 분야가 이론에서 실무로 이동함에 따라, 이와 같은 혁신은 양자의 속도라는 약속을 실제로 구축하고 사용할 수 있는 현실로 바꾸는 데 필수적일 것입니다. 이 연구는 적절한 아키텍처와 소프트웨어의 결합을 통해 양자 컴퓨터의 모든 물리적 입자를 최대한 활용할 수 있다는 명확한 길을 제시합니다.