Rigorous no-go theorems for heralded linear-optical state generation tasks

기술 요약: 예고된 선형 광학 상태 생성에 대한 엄격한 불가해성 정리(No-Go Theorems)

문제 정의
얽힌 광자 양자 상태의 생성은 양자 컴퓨팅, 센싱 및 통신을 위한 근본적인 요구 사항입니다. 결정론적 생성이 강력한 비선형성을 필요로 하는 반면(이는 광학 플랫폼에서 구현하기 실험적으로 까다롭습니다), 선형 광학은 접근 가능한 대안을 제공합니다. 그러나 선형 광학만으로는 제한된 집합의 결정론적 변환만을 허용합니다. 따라서 광자 시스템에서의 상태 준비는 종종 단일 광자, 선형 광학 네트워크 및 광자 검출을 사용하는 확률적 방식으로 구현됩니다.

이 분야의 핵심 과제는 특정 입력 상태가 주어진 측정 패턴(예고 스킴)을 사용하여 타겟 상태로 변환될 수 있는지 여부를 결정하는 것입니다. 이 타당성 문제는 다항 방정식 시스템이 해를 갖는지 결정하는 문제로 매핑됩니다. 일반적으로 수치적 탐색 방법이 사용되지만, 이는 해의 부재를 확정적으로 증명할 수는 없습니다. 해를 찾지 못했다는 사실이 알고리즘의 한계 때문인지, 아니면 근본적인 불가능성 때문인지를 구분할 수 없기 때문입니다. 또한, 해를 찾을 수는 있지만 계산 비용이 매우 높은(최악의 경우 이중 지수 복잡도) Gröbner 기저와 같은 기존의 대수적 접근 방식은 계산이 완료되기 전까지는 아무런 결과도 내놓지 못하는 "진전 없는(progress-free)" 특성을 가집니다.

방법론
저자들은 예고된 선형 광학 상태 생성 작업의 불가능성을 엄격하게 증명하기 위해 대수 기하학의 기술인 Nullstellensatz Linear Algebra (NulLA) 알고리즘을 적용할 것을 제안합니다.

1. 수학적 정식화: 이 작업은 다항 방정식 시스템으로 구성됩니다. 입력 상태 $|\psi_{in}\rangle$는 미지의 선형 행렬 $A$를 통해 출력 상태로 변환됩니다. $M$개의 보조 모드에서 $m$개의 광자를 측정하는 특정 예고 패턴을 조건으로 하면, 사후 선택된 상태 $|\psi_{post}\rangle$가 도출됩니다. $|\psi_{post}\rangle$가 (0이 아닌 스케일링 인자 $\gamma$에 대해) 타겟 상태 $|\psi_{tar}\rangle$와 동등해야 한다는 요구 조건은 $\gamma G = Q$라는 방정식을 유도합니다. 여기서 $G$와 $Q$는 각각 예고된 상태와 타겟 상태를 나타내는 동차 다항식입니다. 이 다항식들의 단항식 계수를 일치시킴으로써, 변수가 변환 행렬 $A$의 원소들인 다항 방정식 시스템을 얻게 됩니다.

2. NulLA 알고리즘: 저자들은 $A$를 구하는 대신, 약한 널스텔슈츠(Weak Nullstellensatz)를 활용하여 해가 존재하지 않음을 증명합니다. 힐베르트의 널스텔슈츠에 따르면, 다항 방정식 시스템은 $\sum \beta_i f_i = 1$을 만족하는 다항식 $\beta_i$가 존재할 때 해가 존재하지 않습니다. 이 항등식을 **널스텔슈츠 증명서(Nullstellensatz certificate)**라고 합니다. NulLA 알고리즘은 다항식 $\beta_i$의 차수 $d$를 점진적으로 높여가며 결과적으로 발생하는 선형 방정식 시스템을 해결함으로써 증명서를 찾는 시도를 합니다. 만약 증명서가 발견되면, 이는 불가능성에 대한 결정적인 증거를 제공합니다.

3. 문제 단순화 (보조 정리 1 및 정리 2): 문제를 다루기 용이하게 만들기 위해, 저자들은 고정된 입력 광자 수 $n$과 예고 광자 수 $m$에 대해, 해당 광자 수를 가진 모든 구성에 대해 불가능성을 증명하기 위해 단 하나의 "최적" 구성을 테스트하는 것으로 충분하다는 것을 입증합니다.

   • 최적 입력: 단일 광자 포크 상태($|1, 1, \dots, 1\rangle$)의 곱은 임의의 가분(separable) $n$-광자 입력을 대표하기에 충분합니다.
   • 최적 예고: 각 예고 모드에서 정확히 하나의 광자가 검출되는 패턴($(1, 1, \dots, 1)$)은 임의의 $m$-광자 예고 패턴을 대표하기에 충분합니다.
   • 이러한 축소를 통해 문제는 오직 가용 가능한 입력 광자의 수와 타겟 상태에 의해서만 분류될 수 있으며, 이는 탐색 공간을 크게 줄여줍니다.

주요 기여 및 결과
이 논문은 이 프레임워크를 몇 가지 구체적인 작업에 적용하여 엄격한 자원 요구량의 하한선을 설정하는 것을 보여줍니다.

• 벨 상태 생성: 저자들은 가분 3-광자 입자로부터 벨 상태를 생성하는 것이 불가능함을 증명합니다. NulLA 알고리즘은 차수 9에서 불가능성 증명서를 생성했습니다. 이는 4개의 입력 광자를 요구하는 기존의 솔루션들이 광자 자원 측면에서 최적임을 확인해 줍니다.
• 무작위 2-광자 상태: 이 기술은 3개 및 4개 모드에 걸친 수백 개의 Haar-무작위 2-광자 타겟 상태에 적용되었습니다. 증명서의 차수에 대한 이론적 상한선이 매우 높음에도 불구하고(예: 59,046), 낮은 차수(예: 차수 9)에서 불가능성 증명서가 발견되었습니다. 이는 많은 실질적인 경우에 계산 비용이 최악의 경우 이론적 경계보다 훨씬 낮음을 시사합니다.
• NOON 상태 생성: 저자들은 진공 예고를 이용한 NOON 상태(예: $|3,0\rangle + |0,3\rangle$) 생성을 분석했습니다. 그들은 광자가 한 모드에 뭉쳐 있는 입력 상태(예: $|2,1\rangle$)는 이러한 상태를 생성할 수 없음을 증명하여, 입력 광자를 단일 광자 모드로 분산시키는 것이 필수적인 자원임을 입증했습니다.
• 예고된 CNOT 게이트: 이 방법은 알려진 예고된 CNOT 게이트의 자원 최적성을 검증하는 데 확장되었습니다. 3-광자 입력과 1-광자 예고를 테스트함으로써, 저자들은 최소 2개의 보조(예고) 광자가 게이트에 필요함을 입증하여 불가능성을 증명했습니다.
• 확률적 소스로의 확장: 이 프레임워크는 서로 다른 광자 수의 중첩인 입력(예: SPDC)을 갖는 확률적 광자 쌍 소스에도 적용 가능함을 보여줍니다. 이 접근 방식은 서로 다른 광자 수 섹터를 동시적인 상태 생성 작업의 집합으로 취급합니다.

의의 및 주장
저자들은 자신들의 작업이 선형 광학 양자 상태 생성에서 "불가해성(no-go)" 정리를 확립하기 위한 엄격하고 결정적인 도구를 제공한다고 주장합니다. 수치적 최적화나 Gröbner 기저 방법과 달리, NulLA는 증명서를 찾음으로써 불가능성을 입증할 수 있습니다.

이 연구의 의의는 다음과 같습니다:

1. 자원 최적성 검증: 알려진 솔루션(예: 4-광자 벨 상태 생성기)이 자원 사용 측면에서 최소임을 확인합니다.
2. 하한선 제공: 특정 작업을 위해 필요한 광자 수에 대한 근본적인 한계를 설정하여 실험 설계를 안내합니다.
3. 타당성 테스트 자동화: 체계적인 성격을 가진 이 접근 방식은 광범위한 타겟 상태 및 게이트 설계에 대한 자동화된 테스트를 가능하게 합니다.

논문은 증명서의 차수에 대한 이론적 상한선이 감당하기 어려울 수 있지만, 실제 응용에서는 종종 훨씬 낮은 차수에서 증명서가 도출된다고 결론짓습니다. 이는 NulLA 알고리즘이 광학 셋업과 측정 스킴의 근본적인 한계를 결정하는 강력하고 표적화된 방법임을 의미합니다. 저자들은 추가 연구를 촉진하기 위해 GitHub에 알고리즘의 MATLAB 구현체를 제공합니다.