리양 텐서와 양자 해밀토니안 복잡성의 새로운 경계

초록

리양 텐서는 다변량 다항식이 복소 원판 내부에서 영이 되지 않는 특성을 갖는다. 본 논문은 이러한 텐서를 양자 상태와 관측값에 적용해, 반경 r > 1인 경우는 준다항식 규모 회로로 준비 가능하고, r > 1인 Hermitian 연산자는 고유벡터가 유일함을 보인다. 또한 변형된 EPR 상태를 선호하는 2-국소 해밀토니안을 조사해, 바닥 상태의 리양 반경이 최소 1/√s, 스펙트럼 갭이 최소 1 − s²임을 제시한다. 이는 양자 Max‑Cut 문제에 대한 효율적인 아다비틱 알고리즘 가능성을 시사한다.

상세 분석

리양 텐서는 복소 변수 z₁,…,zₙ에 대한 다변량 다항식 f_ψ(z)=∑{x∈{0,1}ⁿ} ψ_x ∏{a∈supp(x)} z_a 가 단위 원판(또는 반경 r 원판) 내부에서 절대 영이 되지 않는 경우를 말한다. 이 정의는 고전적인 Lee–Yang 정리의 다변량 일반화이며, 다항식이 영점이 없다는 것은 해당 텐서가 특정 복소 구역에서 “안정”함을 의미한다. 논문은 먼저 이러한 텐서가 텐서 곱과 인덱스 수축에 대해 닫혀 있음을 보인다(Lemma 1). 즉, 두 텐서를 텐서 곱한 뒤 일부 쌍의 인덱스를 계약하면, 원래 텐서들의 반경 r 조건을 만족하는 경우 결과 텐서도 같은 반경을 유지한다. 이는 물리적으로는 다중 입자 시스템을 부분 시스템으로 축소하거나, 연산자를 연쇄적으로 적용해도 Lee–Yang 성질이 보존된다는 의미다.

다음으로 Hermitian 연산자에 대한 결과를 제시한다. Lee–Yang 반경 r > 1인 Hermitian 연산자는 Perron–Frobenius 정리의 복소 버전과 유사하게, 가장 큰 절대값 고유값에 대응하는 고유벡터가 유일하고, 그 고유벡터 자체도 Lee–Yang 텐서에 속한다(Lemma 4). 이는 양자 시스템의 기저 상태가 “비음이 아닌” 구조를 갖는다는 강력한 제약을 제공한다.

회로 복잡도 측면에서는, 반경 r > 1인 양자 상태는 준다항식 규모의 양자 회로로 효율적으로 생성될 수 있음을 증명한다(Section 4). 핵심 아이디어는 Lee–Yang 텐서가 복소 구역에서 영점이 없으므로, 적절한 복소 스케일링과 단일 큐비트 채널을 이용해 상태를 단계적으로 확대할 수 있다는 점이다. 이때 사용되는 채널은 Choi 행렬이 Lee–Yang 텐서에 속하도록 설계되며, 이는 Lemma 3과 Theorem 3에서 제시된 조건(예: Pauli 채널에서 p₀, p₃ ≥ max(p₁, p₂))을 만족한다.

마지막으로 변형된 EPR 상태 |00⟩+s|11⟩(0≤s≤1)를 선호하는 2‑국소 해밀토니안을 연구한다. 각 항이 프로젝터 P_s=|ψ_s⟩⟨ψ_s| 형태이며, 전체 해밀토니안은 이들의 합으로 구성된다. 수치 실험을 통해, 어떤 그래프에서도 바닥 상태의 Lee–Yang 반경이 최소 1/√s, 그리고 첫 번째와 두 번째 고유값 사이의 스펙트럼 갭이 최소 1−s²임을 관찰했다. 이 결과는 s가 작을수록(즉, 변형이 강할수록) 바닥 상태가 더 넓은 복소 구역에서 영점이 없으며, 동시에 에너지 차이가 크게 유지된다는 물리적 직관과 일치한다. 저자들은 이 경계가 일반 그래프에서도 성립한다면, 반경 r ≥ 1인 Gibbs 상태를 이용한 다항식 보간 기법을 적용해 양자 Max‑Cut 문제(특히 균일 가중치의 이분 그래프)에 대한 효율적인 아다비틱 알고리즘을 설계할 수 있다고 제안한다. 이는 기존에 QMA‑hard 로 알려진 문제에 대한 새로운 접근법을 제시한다는 점에서 의미가 크다.

전체적으로 논문은 Lee–Yang 텐서라는 수학적 구조를 양자 정보와 해밀토니안 복잡성에 연결함으로써, 영점이 없는 다변량 다항식이 양자 회로 설계, 고유값 구조, 그리고 알고리즘적 복잡도에 미치는 영향을 체계적으로 탐구한다.