Optimal Two-Qubit Gate-Cutting Cost and Measures of Nonlocality

양자 컴퓨터는 오늘날의 기계로는 불가능한 문제들을 해결할 것을 약속하지만, 근본적인 물리적 장애물에 직면해 있습니다. 바로 믿을 수 없을 정도로 취약하다는 점입니다. 복잡한 계산을 수행하기 위해 과학자들은 종종 많은 작은 양자 프로세서들을 서로 연결해야 합니다. 그러나 이 기계들은 연결하기가 매우 어렵고, 연결했을 때 그 연결이 계산을 망치는 오류를 유발하기도 합니다. 이를 극복하기 위해 연구자들은 '회로 절단(circuit cutting)'이라 불리는 기술을 개발했습니다. 거대한 퍼즐 조각을 관리 가능한 작은 구역으로 나누어 각각 따로 해결한 다음, 그 답들을 다시 하나로 꿰어 맞추는 과정을 상상해 보십시오. 양자의 세계에서 이는 하나의 큰 계산을 여러 개의 별도 장치에서 실행할 수 있는 더 작은 조각들로 나누고, 그 결과들을 다시 결합하는 것을 의미합니다. 문제는 이 분할 과정이 비용이 많이 든다는 것입니다. 분리 과정에서 발생하는 노이즈를 걸러내기 위해 동일한 실험을 아주 많이, 아주 여러 번 반복해야 하며, 이 비용은 계산이 복잡해질수록 급격히 증가합니다.

이 기계들을 구축하려는 이들에게 핵심적인 질문은 다음과 같습니다: 특정 유형의 양자 게이트(gate)에 대해 이 분할 작업이 얼마나 비용이 많이 드는가? 게이트란 단순히 두 개의 큐비트(qubit) 상태를 변화시키는 기본 연산을 의미합니다. 어떤 게이트는 매우 '국소적(local)'이어서 비트 사이에 많은 얽힘을 생성하지 않는 반면, 어떤 게지는 매우 '비국소적(nonlocal)'이어서 비트들을 복잡하게 엮어 놓습니다. 과학자들은 게이트가 더 많이 얽혀 있을수록 자르기가 더 어렵다는 사실을 오래전부터 알고 있었습니다. 하지만 그 관계는 모호했습니다. 연구자들은 게이트가 얼마나 얽혀 있는지를 설명하는 다양한 측정법을 사용하여, 그중 하나가 절단 비용을 완벽하게 예측할 수 있기를 바랐습니다. 만약 그러한 단순한 규칙이 존재한다면, 엔지니어들은 어떤 양자 알고리즘에 필요한 자원을 쉽게 추정할 수 있을 것이기 때문입니다.

마이클 하트(Michael Hart)의 새로운 연구는 이러한 희망에 도전합니다. 두 큐비트 게이트의 수학적 구조를 극도로 정밀하게 조사함으로써, 저자는 얽힘의 단일 측정값이 게이트의 절단 비용을 고유하게 결정할 수 없음을 입증합니다. 대신, 이 연구는 주어진 얽힘 수준에 따른 가능한 비용의 정확한 범위를 그려냅니다. 연구 결과에 따르면, 두 게이트가 얽힘 특성 면에서는 거의 동일해 보일지라도, 하나는 분할 비용이 저렴한 반면 다른 하나는 감당할 수 없을 정도로 비쌀 수 있습니다. 이 연구는 단순히 새로운 공식을 제공하는 데 그치지 않고, 모든 유형의 게이트에 대한 절대적인 최소 및 최대 비용을 보여주는 완전한 지도를 그려냅니다.

이 연구는 게이트를 자르는 데 필요한 오버헤드를 나타내는 숫자인 '준확률 범위(quasiprobability extent)'에 초점을 맞춥니다. 값이 1이면 게이트가 국소적이며 추가 비용 없이 분할할 수 있음을 의미하고, 값 7은 가장 비용이 많이 드는 두 큐비트 게이트를 나타냅/니다. 저자는 과학자들이 일반적으로 게이트의 비국소적 동작을 설명하는 다섯 가지 방법을 분석했습니다: 무작위 입력을 얼마나 얽히게 하는지, 다른 게이트와 비교했을 때 얼마나 '전형적'인지, 두 큐비트 사이에 정보가 얼마나 공유되는지, 내부 구조의 강도, 그리고 단순한 시작점에서 생성할 수 있는 최대 얽힘 정도입니다. 이 다섯 가지 설명 각각에 대해, 논문은 절단 비용에 대한 가장 타이트한 하한선과 상한선을 계산합니다.

결과는 불확실성의 풍경을 보여줍니다. 예를 들어, 어떤 게이트가 특정 수준의 '얽힘 능력(entangling power)'을 가지고 있다는 것을 안다면, 절단 비용이 특정 낮은 숫자와 7 사이의 특정 구간 내에 있을 것이라고 확언할 수 있습니다. 그러나 논문은 더 많은 정보 없이는 범위를 더 좁힐 수 없음을 증명합니다. 비용은 게이트의 구체적인 내부 기하학적 구조에 따라 그 넓은 띠 안의 어디에나 존재할 수 있습니다. 연구는 이러한 경계에 위치하는 특정 게이트 가문들을 식별합니다. CNOT 게이트를 포함하는 한 가문은 특정 수준의 얽힘을 달성하는 데 있어 지속적으로 가장 저렴한 방법을 제공합니다. 반면 SWAP 게이트와 관련된 다른 가문은 지속적으로 가장 비싼 경로를 제공합니다. 그 사이에는 다양한 지점에 위치하는 게이트들이 존재하지만, 표준적인 측정법 중 그 어떤 것도 새로운 게이트가 정확히 어디에 위치할지 알려주지 못합니다.

아마도 가장 놀라운 발견은 '완벽한 얽힘 생성기(perfect entanglers)', 즉 단순한 입력을 최대 얽힘 상태로 바꿀 수 있는 특별한 클래스의 게이트들과 관련된 것일 것입니다. 이 게이트들은 매우 강력하기 때문에 모두 유사하게 높은 절단 비용을 가질 것이라고 추측할 수 있습니다. 연구는 이것이 사실이 아님을 보여줍니다. 모든 완벽한 얽힘 생성기는 최소 3 이상의 비용을 갖지만, 7까지 올라갈 수 있습니다. 이는 동일한 최대 얽히는 능력을 가진 두 게이트의 절단 비용이 두 배 이상 차이 날 수 있음을 의미합니다. 연구는 이러한 변동성이 게이트의 내부 구성 요소들의 구체적인 배치에 달려 있음을 밝혀냈으며, 이는 표준적인 측정법들이 흔히 놓치는 부분입니다.

저자는 또한 이전의 시도들이 왜 단순한 규칙을 찾는 데 실패했는지 명확히 설명합니다. 절단의 비용은 게이트의 스펙트럼(spectrum), 즉 내부 주파수를 설명하는 방식으로 기술되는 특정 수학적 특성에 의해 결정됩니다. 과학자들이 사용하는 다섯 가지 공통된 측정법은 복잡한 물체를 다섯 가지 다른 각도에서 바라보는 것과 같습니다. 각 각도는 유용한 정보를 제공하지만, 전체 형상을 포착하지는 못합니다. 연구는 두 게이트가 하나의 측정값에 대해 동일한 값을 갖더라도, 그들의 내부 스펙트럼은 다르게 배열될 수 있으며, 이로 인해 서로 다른 절단 비용이 발생할 수 있음을 증명합니다. 논문은 정확한 비용을 알 수 있는 유일한 방법은 전체 스펙트럼을 알거나, 혹은 연구가 이제 막 그려낸 넓고 날카로운 경계 내에 비용이 존재한다는 사실을 받아들이는 것뿐임을 확립합니다.

이 작업은 엔지니어와 이론가들에게 결정적인 가이드를 제공합니다. 우리는 어떤 게이트의 분할에 대해 최악의 시나리오와 최선의 시나리오를 예측할 수는 있지만, 단 하나의 숫자로 정확한 비용을 예측할 수는 없음을 확인해 줍니다. 이 연구는 보편적인 지름길의 가능성을 배제합니다. 대신, 연구는 지형의 정밀한 지도를 제공하여 절벽과 계곡이 정확히 어디에 있는지를 보여줍니다. 양자 컴퓨팅 분야에 있어, 이는 자원 추정이 더 미묘해져야 함을 의미합니다. 엔지니어들은 단순히 하나의 얽힘 숫자를 대입하여 비용을 구할 수 없습니다. 그들은 전체 가능성의 범위를 고려하거나 구체적인 게이트 구조를 분석해야 합니다. 연구는 비국소성과 절단 비용 사이의 관계가 이전에 생각했던 것보다 훨씬 더 복잡하며, 가능한 것의 한계를 정의하는 일련의 반복되는 기하학적 패턴에 의해 지배된다는 결론을 내립니다.