Metric completion of the Bender--Brody--Müller Hamiltonian: dilation spectrum and missing eigenstates

기술 요약: Bender–Brody–Müller 해밀토니안의 메트릭 완비화

문제 정의
본 논문은 힐베르트–폴리아 추측(Hilbert–Pólya conjecture)에 대한 Bender–Brody–Müller(BBM) 제안의 구조적 타당성을 다룬다. BBM 해밀토니안 $H_{\text{BBM}} = \Delta^{-1} D \Delta$는 리만 제타 함수의 비자명한 영점들의 허수부에 비례하는 실수 스펙트럼을 갖도록 의도된 비에르미트(non-Hermitian) 연산자이다. 여기서 $D = \hat{x}\hat{p} + \hat{p}\hat{x}$는 팽창 생성자(dilation generator)이며, $\Delta = 1 - \hat{S}$는 이동-차분(shift-difference) 연산자이다. 이 제안은 후보 메트릭 연산자 $\hat{\eta} = \sin^2(\hat{p}/2) = \Delta^\dagger \Delta / 4$가 해밀토니안을 자기 수반(self-adjoint)으로 만든다는 의사 에르미트(pseudo-Hermitian) 프레임워크에 의존한다.

핵심적인 문제는 $\hat{\eta}$가 양수이고 유계(bounded)이지만, 그 역연산자는 무한(unbounded)하다는 점이다. 이전 연구들(예: Bellissard, Moxley)은 BBM 고유함수가 임계선(critical line) 상에서 $L^2$ 상태가 아니며, 메트릭 위상(metric topology)이 잘 정의되지 않을 수 있음을 지적했다. 본 논문은 표준 조밀 코어 $C_c^\infty(0, \infty) \subset L^2(\mathbb{R}^+)$ 상에서 BBM 메트릭에 의해 유도된 힐베르트 공간 완비화를 엄밀하게 구축하여 다음을 결정한다:

1. 물리적 상태 공간의 위상.
2. 결과적으로 도출된 자기 수반 실현(self-adjoint realizations)의 스펙트럼 특성.
3. 원래의 BBM 후보 고유함수(허witz 제타 함수와 관련된 것들)가 이 완비된 공간 내에 존재하는지 여부.

방법론
분석은 다음 단계들을 통해 진행된다:

1. 메트릭 정식화: 연구는 테스트 도메인 $D_0 = C_c^\infty(0, \infty)$ 상에서 정의된 이차 형식(quadratic form) $\eta_0 = \Delta^\dagger \Delta$에 집중한다. 노름(norm)은 $\|\psi\|_{\eta_0} = \|\Delta \psi\|_{L^2}$로 정의된다.
2. 강력성(Coercivity) 분석: 푸리에 변환과 팔레이-위너 정리(Paley–Wiener theorem)를 사용하여, 메트릭의 심볼(symbol) $\eta_0(k) = |1 - e^{-ik}|^2 = 2(1 - \cos k)$를 분석한다. 이는 $\eta_0$가 자명한 커널(kernel)을 가지지만, 심볼이 $k \in 2\pi\mathbb{Z}$에서 0이 되기 때문에 강력하지 않음(즉, 아래로 유계가 아님)을 입증한다.
3. 힐베르트 공간 완비화: $D_0$를 $\|\cdot\|_{\eta_0}$ 노름 하에서 완비화한다. 사상 $\Delta: D_0 \to L^2(\mathbb{R}^+)$는 밀도 있는 이미지를 갖는 등거리 사상(isometry)임을 보여줌으로써, 완비된 공간 $\tilde{\mathcal{H}}_{\eta_0}$와 $L^2(\mathbb{R}^+)$ 사이의 정준적인 유니타리 동형 관계를 확립한다.
4. 연산자 실현: 공식적인 해밀토니안을 이 완비된 공간에서 실현한다. "자유 전송된(free transported)" 실현은 $\tilde{H}_{\text{BBM}} = \Delta^{-1} D \Delta$로 정의되며, 이때 도메인은 $\Delta$를 통해 전송된다.
5. 스펙트럼 분석: 자유 실현의 스펙트럼을 멜린 변환(Mellin transform)을 통해 결정한다. 또한 대칭 코어 $T = D|_{\Delta D_0}$의 결핍 지수(deficiency indices)와 그 수반 연산자의 스펙트럼 특성을 조사한다.
6. 고유함수 검증: 제안된 BBM 고유함수 $\psi_z(x) = -\zeta(z, x+1)$ (여기서 $z = 1/2 + i\gamma$)가 이동 차분 $\Delta \psi_z$를 조사함으로써 완비된 공간에 속하는지 확인한다.

주요 기여 및 결과

• 메트릭 퇴화 및 비강력성: 본 논문은 BBM 메트릭이 강력하지 않음을 증명한다. 구체적으로, 메트릭 심볼의 영점에 집중된 코시 커널(Cauchy kernels)을 통해 구성된 정규화된 $L^2$ 상태들이 존재하며, 이들의 메트릭 길이는 0으로 수렴한다. 이는 메트릭 위상이 주변 $L^2$ 위상보다 엄격히 약함을 확인시켜 준다.
• 보편적 장애물: "유계 샌드위치(bounded sandwiches)" $\Delta^\dagger h(D) \Delta$ 클래스에 대한 일반적인 결과가 확립되었다. 임의의 유계 가측 함수 $h$에 대해, 이 연산자는 유계 역연산자를 갖지 않는다. 이는 스펙트럼 불일치 때문이다. $\Delta$의 퇴화는 운동량 공간($k \in 2\pi\mathbb{Z}$)에 국소화되어 있는 반면, $h(D)$는 척도(scale, dilation) 변수에서 작용한다. $D$의 유계 함수는 점별(pointwise)로 이동 연산자의 운동량 영점을 상쇄할 수 없다.
• 자유 실현의 스펙트럼 특성: 자유 전송된 실현 $\tilde{H}_{\text{BBM}}$은 팽창 생성자 $D$와 유니타리 동형이다. 결과적으로, 이의 스펙트럼은 순수하게 절대 연속적(absolutely continuous)이며, 다중도(multiplicity)는 1이고, 스펙트럼은 $\mathbb{R}$이다. 고립된 고윳값은 존재하지 않는다.
• 결핍 지수 및 수반 스펙트럼: 대칭 연산자 $T = D|_{\Delta D_0}$는 결핍 지수 $(\infty, \infty)$를 갖는다. 자유 확장이 순수하게 연속적(continuous)인 반면, 그 수반 연산자 $T^*$는 모든 실수가 무한 중복도를 갖는 점 스펙트럼(point spectrum)을 갖는다는 것을 보여준다.
• BBM 고유상태의 부재: 가장 결정적인 결과는 후보 고유함수들에 관한 것이다. 임계선 상의 $z$($\text{Re } z = 1/2$)에 대해, 이동 차분은 $\Delta \psi_z = x^{-z}$이다. $|x^{-z}| = x^{-1/2}$이므로, 이 함수는 $\mathbb{R}^+$ 상에서 제곱 적분 가능하지 않다($L^2$가 아니다). 따라서 $\psi_z \notin \tilde{\mathcal{H}}_{\eta_0}$이다. 경계 조건 $\psi_z(0)=0$에 의존했던 원래의 BBM 메커니즘은 이 $L^2$ 기반 메트릭 완비화 내에서 리만 영을 생성하는 고유상태를 만들어내는 데 실패한다.

의의 및 주장
본 논문은 표준적인 유계 메트릭 및 $L^2$ 기반 완비화 프레임워크 내에서 BBM 제안을 둘러싼 구조적 질문들을 해결한다고 주장한다. 주요 결론은 원래의 BBM 메커니즘에 대해 부정적이다:

• 메트릭 완비화는 좌표 $\Phi = \Delta \psi$를 통해 상태 공간의 위상을 $L^2(\mathbb{R}^+)$와 유니타리 동형이 되도록 고정한다.
• 이 공간에서, 원래의 BBM 후보 고유함수들은 힐베르트 공간 벡터로서 존재하지 않는다.
• 결과적으로, 이 완비된 공간 내의 어떤 자기 수반 실현도 BBM 함수들을 이용하여 리만 영을 생성할 수 없다.

저자들은 이 결과가 BBM에서 영감을 얻은 모든 힐베르트-폴리아 구성을 배제하는 것은 아니지만, 단순히 다른 자기 수반 확장을 선택함으로써 원래의 제안을 "구제"하려는 시도를 구체적으로 차단한다고 강조한다. 성공하려면, 여기서 연구된 유계 $L^2$ 기반 구성의 가설 중 적어도 하나를 포기해야 한다 (예: 리그드 힐베르트 공간(rigged Hilbert space), 무한대 메트릭, 또는 분포 상태 공간을 사용하는 것). 또한 본 논문은 더 넓은 스펙트럼 현상을 강조한다: 즉, 대칭 연산자가 순수 연속 확장을 가질 수 있는 동시에 그 수반 연산자가 조밀한 점 스펙트럼을 가질 수 있다는 것이며, 이는 리만 가설의 맥락과는 독립적인 특징이다.