선형광학 허드레드 상태 생성의 엄격한 불가능성 정리

초록

본 논문은 선형광학 회로와 보조 광자 검출을 이용한 허드레드(heralded) 양자 상태 생성 문제를 다항식 방정식 시스템으로 귀환하고, 대수기하학의 Nullstellensatz Linear Algebra(NulLA) 알고리즘을 적용해 해가 존재하지 않음을 증명한다. 이를 통해 특정 목표 상태를 만들기 위한 최소 광자 수와 회로 복잡도에 대한 하한을 엄밀히 제시한다.

상세 분석

논문은 먼저 광자 수가 고정된 입력 Fock 상태와 목표 상태, 그리고 허드레드 패턴을 정의하고, 선형 변환 행렬 A 를 미지 변수로 두어 전체 과정을 다항식 형태로 기술한다. 입력 상태는 생성 연산자의 동차 다항식 R 으로, 선형 변환 A 에 의해 출력 다항식 F 가 생성되고, 허드레드 측정은 미분 연산을 통해 G 다항식으로 축소된다. 목표 상태는 또 다른 동차 다항식 Q 로 표현되며, 허드레드된 출력 G 와 Q 가 스칼라 γ 를 통해 동일해야 함을 γ G = Q 라는 방정식으로 제시한다. 이 방정식의 계수 비교는 A 의 원소들을 변수로 하는 다항식 방정식 시스템을 만든다. 기존에는 Gröbner basis를 이용해 해를 찾거나 존재 여부를 판단했지만, 이는 최악의 경우 이중 지수 시간 복잡도를 갖는다.

여기서 저자들은 Hilbert Nullstellensatz의 약한 형태를 이용한 NulLA 알고리즘을 도입한다. 시스템 f₁,…,f_s = 0 이 해를 갖지 않을 경우, 다항식 β_i 들을 찾아 ∑β_i f_i = 1 이라는 정체성을 만족시키는 ‘증명서’를 구성할 수 있다. NulLA는 먼저 차수 d = 1 부터 시작해 β_i 의 차수를 증가시키며 선형 방정식 시스템을 풀어 증명서를 찾는다. 증명서가 발견되면 원 시스템은 불가능함이 확정된다. 이 과정은 해를 직접 구하지 않으므로 계산량이 크게 감소하고, 특히 불가능성을 입증하고자 할 때 효율적이다.

논문은 또한 입력 광자 수 n 과 허드레드 광자 수 m 만을 기준으로 최적의 입력·허드레드 구성을 정의하는 Lemma 1을 제시한다. 즉, 동일한 총 광자 수를 갖는 모든 구성 중 가장 ‘강력한’ 구성을 한 번만 검증하면, 그 외의 모든 경우에 대한 불가능성도 자동으로 추론할 수 있다. 이를 통해 문제를 n 에 대한 카테고리화가 가능해지고, 자원 하한을 명확히 제시한다.

실제 적용 사례로는 대표적인 광학 상태(예: GHZ, W, NOON)와 비선형 게이트(예: CZ, CNOT) 등에 대해 NulLA를 실행해 최소 입력 광자 수와 성공 확률의 하한을 도출한다. 일부 경우에는 기존에 알려진 최적 회로와 일치함을 확인함으로써 방법론의 정확성을 검증하고, 다른 경우에는 기존 설계가 비효율적임을 보여준다.

전반적으로 이 연구는 대수기하학적 불가능성 증명을 양자 광학에 적용함으로써, “가능한가?”라는 질문에 대해 확정적인 답을 제공하고, 자원 효율성을 평가하는 새로운 도구를 제시한다는 점에서 의미가 크다.