[논문 리뷰] No zero energy states for the supersymmetric x^2y^2 potential

Gian Michele Graf, David Hasler외 1명|ArXiv.org|2001. 09. 28.

Black Holes and Theoretical Physics참고 문헌 5인용 수 6

한 줄 요약

이 논문은 두 차원에서의 초대칭적 $x^2y^2$ 포텐셜이 영에너지 상태를 가지지 않음을 증명한다. 즉, 해밀토니안 $H = p_x^2 + p_y^2 + x^2y^2 + xackslashackslashsigma_3 + yackslashackslashsigma_1$ 는 $H\psi = 0$ 를 만족하는 비자명한 $L^2$-해를 가질 수 없다. 증명은 $h_\epsilon$ 가 $|x|$ 의 스무딩된 유계 근사임을 고려한 정규화된 함수 $f_\epsilon = h_\epsilon(x) - h_\epsilon(y)$ 와 함께 코무터러지즘을 사용하여, 유도된 형식 부등식이 영에너지 상태가 식별적으로 0이 되도록 강제함을 보인다.

ABSTRACT

We show that the positive supersymmetric matrix-valued differential operator H={p_x}^2 + {p_y}^2 + x^2y^2 + xσ_3 + yσ_1 has no zero modes, i.e., H ψ= 0 implies ψ=0.

연구 동기 및 목표

• 초대칭적 $x^2y^2$ 해밀토니안이 영에너지 고유상태를 가지는지 여부에 대한 열린 문제를 해결하기 위해.
• 해밀토니안의 스펙트럼이 $[0, \infty)$ 임을 확립하고, $0$ 이 고유값이 아니라는 것을 보장하기 위해.
• 해밀토니안의 비자명한 구조와 비유계 포텐셜 항에도 불구하고 $H\psi = 0$ 이면 $\psi = 0$ 이라는 엄밀한 증명을 제공하기 위해.
• 함수 $f = (x^2 - y^2)/2$ 의 정규화된, 유계 근사로 도메인 문제를 해결하기 위해.
• 자연스러운 자기수반 실현에서 성립하는 결과를 보장하기 위해, 형식-핵 기법과 탄성 정규성을 사용하여 영모드의 부재를 확인하기 위해.

제안 방법

• 함수 $h_\epsilon(x) = h(x)e^{-\epsilon\sqrt{1+x^2}}$ 를 사용하여, $h(x)$ 가 $|x|$ 의 조각별 제곱근 근사인 정규화된 함수 $f_\epsilon(x,y) = h_\epsilon(x) - h_\epsilon(y)$ 를 구성한다.
• 코무터러지즘 항등식 $i[Q, f_\epsilon]\psi = (\sigma_3 \partial_x f_\epsilon - \sigma_1 \partial_y f_\epsilon)\psi$ 를 사용하여, 코무터러지즘과 해밀토니안 형식을 연결한다.
• $\epsilon \downarrow 0$ 의 극한을 취하여, $i[Q, f]\psi \to (h'(x)\sigma_3 + h'(y)\sigma_1)\psi$ 를 도출한다. 여기서 $h'(x)$ 는 $|x|$ 의 부분미분이다.
• 이 극한 형태를 $H$ 에서 빼어 $H - h'(x)\sigma_3 - h'(y)\sigma_1 \geq H_M$ 을 유도한다. 여기서 $H_M = p_x^2 + p_y^2 + x^2y^2 - |g(x)| - |g(y)|$ 는 하한이 존재하는 연산자이다.
• $\mathbb{R}^2$ 를 $|x|$ 와 $|y|$ 의 행동에 따라 영역 $I, II, III, IV$ 로 분할하고, 충분히 큰 $M$ 에 대해 각 영역에서 $H_M > 0$ 임을 보인다.
• 탄성 정규성과 단조 수렴 정리를 적용하여, $\psi \in \mathcal{D}(H)$ 이고 $H\psi = 0$ 이면 $Q\psi = 0$ 이고, 따라서 $H_M$ 의 양성으로 인해 $\psi = 0$ 이 됨을 확인한다.

실험 결과

연구 질문

• RQ1 초대칭적 $x^2y^2$ 해밀토니안은 $L^2(\mathbb{R}^2) \otimes \mathbb{C}^2$ 에서 영에너지 고유상태를 가지는가?
• RQ2 비유계 함수에 의한 도메인 문제로 인해 표준 코무터러지즘 접근이 엄밀하게 증명될 수 있는가?
• RQ3 $H = Q^2$ 는 $C_0^\infty \otimes \mathbb{C}^2$ 에서 본질적으로 자기수반인가? 그리고 이 실현이 자연스러운 실현과 일치하는가?
• RQ4 큰 $M$ 에 대해 $\mathbb{R}^2$ 의 모든 영역에서 효과적 해밀토니안 $H_M$ 의 양성은 균일하게 확립될 수 있는가?
• RQ5 반사 대칭 $P$ 와 $SU(2)$-유사 연산자 $P_i$ 는 유일한 영모드를 제거하는 데 어떤 역할을 하는가?

주요 결과

• 해밀토니안 $H = p_x^2 + p_y^2 + x^2y^2 + x\sigma_3 + y\sigma_1$ 는 영에너지 상태를 가지지 않는다: $H\psi = 0$ 이면 $\psi = 0$ 이다.
• 정규화된 코무터러지즘 접근을 통해 $f_\epsilon = h_\epsilon(x) - h_\epsilon(y)$ 를 사용하여 형식 부등식 $H - h'(x)\sigma_3 - h'(y)\sigma_1 \geq H_M$ 이 엄밀하게 도출된다.
• 분석에 따라 영역별로 $H_M = p_x^2 + p_y^2 + x^2y^2 - |g(x)| - |g(y)|$ 는 충분히 큰 $M$ 에 대해 엄격히 양수이다.
• 영역 $I$ ($|x|, |y| \leq M$) 에서는 $H_I \geq 0$ 이고, $H_I\psi = 0$ 이면 $x^2y^2\psi = 0$ 이므로 $\psi = 0$ 이다.
• 영역 $II$ 와 $III$ 에서는 $H_{II}, H_{III} \geq M - C M^{-2} > 0$ 이며, $p_x^2 + x^2y^2$ 의 하한에 의해 유도된다.
• 영역 $IV$ ($|x|, |y| \geq M$) 에서는 $H_{IV} \geq \left(\frac{1}{2}M^3 - 1\right)(|x| + |y|) + 2M > 0$ 이며, 큰 $M$ 에 대해 양성임을 보장한다.