Circuit Design Problems in Binary Polynomial Quantum Optimization

유용한 양자 컴퓨터를 구축하기 위한 경쟁 속에서, 과학자들은 현재 고집스러운 병목 현상에 직면해 있습니다. 오늘날 그들이 보유한 기계들은 취약하고 제한적입니다. 이 기계들은 적은 수의 양자 비트, 즉 큐비트만을 보유할 수 있으며, 너무 많은 단계를 연속해서 수행하도록 요청받을 경우 그 섬세한 정보 상태를 매우 빠르게 잃어버립니다. 복잡한 문제를 해결하기 위해 연구자들은 보통 문제를 '이차 무제약 이진 최적화(quadratic unconstrained binary optimization)'라고 불리는 특정 수학적 형식으로 변환합니다. 이 형식은 현재의 양자 하드웨어에 쉽게 들어맞는 일종의 범용 언어와 같지만, 수학적으로 성립시키기 위해 방대한 수의 추가 변수를 더해야 하는 경우가 많으며, 이는 결과적으로 기계가 제공할 수 있는 것보다 더 많은 큐비트를 요구하게 됩니다. 더 압축된 형태의 새로운 방식이 존재하며, 이는 더 적은 변수를 필요로 하는 고차 다항식을 사용합니다. 그러나 이 압축된 형식은 또 다른 문제를 야기합니다. 바로 현재의 하드웨어가 직접 수행할 수 없는 복잡하고 다단계적인 연산을 요구한다는 점입니다. 이러한 연산을 작동시키기 위해 엔지니어들은 이를 일련의 단순한 단계들로 길게 분해해야 하며, 이는 회로를 깊고 느리게 만들어 계산이 끝나기 전에 양자 정보가 붕괴되도록 만듭니다.

이 연구의 연구진들은 바로 이 특정한 딜레마, 즉 어떻게 하면 이 압축된 고차 문제들을 가져와서 양자 컴퓨터를 위한 가장 짧은 단계의 시퀀스로 배열할 것인가를 해결하기 위해 나섰습니다. 그들은 양자 회로의 설계를 시행착오적인 공학적 과업이 아니라, 고전적인 논리와 경로 탐색의 퍼즐로 접근했습니다. 양자 회로를 정보가 올바르게 결합되기 위해 한 지점에서 다른 지점으로 이동해야 하는 지도라고 상상해 보십시오. 목표는 정보가 통과해야 하는 단계 또는 레이어의 수를 최소화하는 가장 효율적인 경로를 찾는 것이었습니다. 연구팀은 주어진 문제에 대해 절대적으로 완벽하고 가장 짧은 경로를 찾는 것이 수학적으로 매우 어렵다고 증명된 유형의 퍼즐, 즉 빠르고 완벽한 해법이 존재하지 않는 것으로 알려진 문제 범주에 속한다는 것을 입증했습니다. 이는 대규모의 복잡한 문제에 대해 컴퓨터가 합리적인 시간 내에 단 하나의 최적의 답을 단순히 계산해낼 수 없음을 의미합니다.

완벽한 해답이 종종 도달 불가능한 경우가 많기 때문에, 연구팀은 '템푸라(Tempura)'라고 명명한 새롭고 매우 효율적인 방법을 개발했습니다. 이 방법은 전체 퍼즐을 한 번에 풀려고 시도하는 대신, 모든 가능한 변수의 조합이 가장 논리적인 순서로 방문되도록 보장하는 '그레이 코드(Gray code)'라는 특정 패턴을 기반으로 표준적이고 유연한 템플릿을 구축합니다. 일단 이 템플릿이 구축되면, 알고리즘은 숙련된 편집자처럼 동작하여 회로를 스캔하고 불필요한 단계들을 제거합니다. 알고리즘은 회로에서 중복되거나 비효율적인 부분을 식별하고 이를 훨씬 짧은 시퀀스로 다시 작성합니다. 이 과정은 시스템이 수천 개의 서로 다른 항을 가진 문제를 처리할 수 있게 해주며, 기존의 최고 소프트웨어 도구들이 만들어내는 것보다 훨씬 짧은 회로를 생성합니다. 테스트에서 이 새로운 방법은 업계 표준 소프트웨어가 생성한 것보다 일관되게 훨씬 더 압축된 회로를 생성하면서도, 실행 시간은 거의 동일하게 유지했습니다.

연구진은 또한 강력한 컴퓨터가 최적의 답을 찾을 수 있도록 문제를 엄격한 논리 규칙의 집합으로 공식화하는 다른 접근 방식을 통해 절대적인 최적의 해를 찾을 수 있는지 탐구했습니다. 그들은 몇 가지 버전의 규칙을 만들었는데, 일부는 더 빠르게 풀 수 있지만 최단 회로를 찾아낼 것이라는 보장을 희생했습니다. 실험 결과, 이러한 엄격한 논리적 방법들이 작은 규모의 문제에 대해서는 최적의 회로를 찾아낼 수 있었지만, 더 큰 문제에 대해서는 합리적인 시간 내에 완료하는 데 어려움을 겪는다는 것을 보여주었습니다. 새로운 휴리스틱 방법인 템푸라는 가장 실용적인 도구로 부상했으며, 거대한 문제들을 빠르게 처리하면서도 경쟁 모델들보다 훨씬 짧은 회로를 만들어내는 최적의 접점을 제공했습니다. 연구는 완벽하고 수학적으로 최적인 해는 여전히 찾기 어렵지만, 이 새로운 접근 방식이 오늘날의 제한된 양자 하드웨어를 최대한 활용할 수 있는 강력하고 확장 가능한 방법을 제공하며, 가까운 미래에 더 복잡한 계산을 위한 길을 열어준다고 결론짓습니다.