Hudson's theorem fails for the SU(1,1) discrete series

기술적 요약: SU(1, 1) 이산 계열에서 허드슨 정리(Hudson's Theorem)의 실패

문제 정의
허드슨 정리는 평평한 위상 공간(하이젠베르크-바일 군)에서 근본적인 등가성을 확립한다: 즉, 순수 상태가 비음의 위그너 함수(Wigner function)를 갖는 것은 그 상태가 가우시안 상태인 것과 동치이다. 이 결과는 위그너 음수성(Wigner negativity)을 비고전성의 충실한 징표로 해석하는 기초가 되며, "고전적" 상태를 코히런트 상태의 궤도 위에 있는 상태로 정의한다. 본 논문은 곡률이 있는 위상 공간, 구체적으로 $SU(1, 1)$ 군의 양의 이산 계열과 관련된 2엽 쌍곡면(two-sheeted hyperboloid)에서 이러한 이분법이 유지되는지 조사한다. 페를로모프 코히런트 상태(Perelomov coherent states)가 쌍곡면 위에서 엄격하게 양수인 위그너 함수를 갖는다는 것은 알려져 있으나, 오직 이들 상태(및 이들의 군 궤도)만이 이러한 성질을 갖는지, 아니면 위그너 양의 상태의 집합이 이보다 더 큰지는 미해결 문제로 남아 있었다.

방법론
저자는 바르그만 지수(Bargmann index) $k \geq 1$에 의해 특징지어지는 $SU(1, 1)$의 양의 이산 계열 내 순수 상태에 대한 위그너 함수를 분석한다.

1. 형식론: 저자는 $SU(1, 1)$에 대한 공변 스트라토노비치-바일(Stratonovich-Weyl) 구성을 활용하며, 여기서 위상 공간은 2엽 쌍곡면의 상부 시트(upper sheet)이다. 위그너 함수는 $P$-심볼(코히런트 상태에 대해 엄격히 양수인)과 쌍곡면 상의 라플라시안 고유함수인 코니컬 함수(conical function) $P_{-1/2+i\lambda}(\cosh \tau)$를 통해 유도된다.
2. 선형 대수로의 환원: 저자는 수 상태(number states) $|k, k+m\rangle$ 및 이들의 중첩에 대한 위그너 심볼이 2차원 함수 공간으로 축소됨을 보여준다. 구체적으로, 임의의 블록 $W_{mn}$의 반경 방향 부분은 쌍곡 좌표 $u = \cosh \tau$에 대한 유리식과 라플라시안 고유값 $\nu = -1/4 - \lambda^2$에 대한 다항식인 코니컬 함수 $P$와 그 도함수 $P'$의 선형 결합으로 나타난다.
3. 양의 성질 분석: 위그너 양성(positivity) 결정 문제는 중첩의 혼합각(mixing angles)에 대한 이차 형식(quadratic form)의 비음성을 확인하는 문제로 환원된다. 저자는 먼저 가장 단순하고 비자명한 사례인 최저 가중 상태 $|k, k\rangle$와 첫 번째 들뜬 상태 $|k, k+1\rangle$의 중첩을 검토한다. 그 후, 허용되는 집합의 차원을 테스트하기 위해 $|k, k+2\rangle$를 포함하는 3상태 중첩으로 분석을 확장한다.
4. 점근 분석: 양의 창(positivity window)의 기원을 이해하기 위해, 저자는 "원거리 장(far field)"(큰 쌍곡 거리 $\tau$)에서의 점근 분석을 수행하여, 위그한 성분들의 비율을 평평한 공간의 극한과 비교한다.

주요 결과

1. 유사성의 실패: 본 논문은 $SU(1, 1)$ 쌍곡면 상에서 위그너 양의 순수 상태 집합이 페를로모프 코히런트 궤도보다 엄격히 더 크다는 것을 증명한다. 위그너 함수가 엄격히 비음수인 비코히런트 순수 상태들이 존재한다.
2. 정량적 임계값: $k=1$일 때, 중첩 $|\psi_\theta\rangle = \cos\theta |k, k\rangle + \sin\theta |k, k+1\rangle$에 대하여, 위그너 함수는 혼합각 $\theta_W \approx 24.93^\circ$까지 비음성을 유지한다. 이는 평평한 공간의 경우, 0이 아닌 임의의 혼합각($\theta > 0$)이 즉각적으로 음수성을 도입하는 것과 극명하게 대조된다.
3. 허용 집합의 부피: 위그너 양의 상태 집합은 단순히 하나의 곡선이 아니라 양의 부피를 가진 영역이다. 저자는 세 번째 레벨($|k, k+2\rangle$)을 도입함으로써, 최대 허용 혼합각이 증가함을 보여줌으로써(특정 위상 구성에 대해 $\approx 39.05^\circ$에 도달), 이 집합의 차원이 코히런트 궤도의 차원보다 큼을(최소 3 파라미터 대 2 파라미터) 확인한다.
4. 양성의 메커니즘: 양성은 인구 항(population terms)과 결맞음 항(coherence terms) 사이의 경쟁에 의해 결정된다. 평평한 공간에서는 이들의 비율이 먼 거리에서 발산하여 임의의 비가우시안 상태에 대해 음수성을 보장한다. 반면 쌍곡면에서는 곡률과 라플라시안의 스펙트럼 특성 덕분에 이 비율들이 원거리 장에서 유한한 극한($R \to 2k$ 및 $S \to \sqrt{2k}$)으로 포화된다.
5. 퇴화 및 스텔라 랭크(Stellar Rank): 원거리 장에서 양성을 지배하는 이차 형식은 특정 각도 $\theta_{null} = \arctan(1/\sqrt{2k})$에서 퇴화된다. 이 각도는 허미시안 진폭(Husimi amplitude)이 첫 번째 영점을 갖는 지점(푸앵카레 디스크 내부로 진입하는 지점)과 일치하며, 스텔라 랭크 0에서 1로의 전이를 나타낸다. 그러나 양성을 결정짓는 구속 조건은 원거리 장이 아니라 중간 단계의 쌍곡 거리($k=1$일 때 $\tau \approx 1.225$)에서 발생하며, 이를 통해 $\theta_{null}$보다 작은 유한한 각도의 창이 양성을 유지할 수 있게 한다.

의의 및 주장
본 논문은 코히런트(가우시안) 상태와 비음의 위그너 함수를 동일시하는 허드슨 정리가 곡률이 있는 위상 공간의 $SU(1, 1)$ 상에는 대응하는 형태가 없다고 주장한다.

• 이론적 함의: 대칭성(코히런트 궤도)을 통한 "고전성"의 식별과 위상 공간 함수(위그너 양성)를 통한 식별이 곡률이 있는 기하학에서는 서로 어긋난다. 기하학은 (코히런트 궤도보다) 엄격히 작은 클래스의 상태들을 특별히 지정한다.
• 운용적 경고: 저자는 $SU(1, 1)$ 시스템(예: 비균질 매개 증폭기 또는 $SU(1, 1)$ 간섭계)을 포함하는 실험적 맥락에서, 재구성된 위그너 함수가 비음이라는 사실이 해당 상태가 코히런트 상태임을 보증하거나 스텔라 랭크가 0임을 의미하지 않는다는 점을 경고한다. 따라서 위그너 양성을 고전적 시뮬레이션 가능성의 경계나 비고전성의 척도로 사용하는 응용 방식들은, 기하학에 의해 정의된 특정 "자유 클래스(free class)"를 재평가하지 않고서는 평평한 위상 공간으로부터 직접 전이될 수 없다.
• 한계: 저자는 자신의 규정이 전체적인 구조적 기술보다는 허용 집합 내의 특정 지점들을 보여주는 것에 기반하고 있음을 명시한다. 또한 분석을 양의 이산 계열 내의 순수 상태로 제한하며 혼합 상태는 다루지 않는다. 큰 $k$에 대한 임계값의 바르그만 지수 $k$에 대한 의존성은 원거리 장 수렴의 특성으로 인해 수치적으로 불안정하다.