[논문 리뷰] PT-symmetry and Schrödinger operators. The double well case

Nawal Mecherout, Naima Boussekkine외 2명|arXiv (Cornell University)|2015. 02. 21.

Quantum Mechanics and Non-Hermitian Physics참고 문헌 21인용 수 5

한 줄 요약

이 논문은 작은 허수 편미분을 받는 이중함장 포텐셜을 가진 $\mathcal{P}\mathcal{T}$-대칭 슈뢰딩거 연산자의 스펙트럼적 행동을 조사한다. 복소 WKB 분석을 통해 고유값이 실수로 남아 있는 조건을 정밀하게 유도하였으며, 이는 $\varepsilon$가 $e^{-J/h}$ 비례하는 임계 임계값을 초과할 경우 고유값이 복소 평면으로 분기함을 보여준다. 여기서 $J$는 복소 행동 적분이다.

ABSTRACT

We study a class of PT-symmetric semiclassical Schrödinger operators, which are perturbations of a selfadjoint one. Here, we treat the case where the unperturbed operator has a double-well potential. In the simple well case, two of the authors have proved in \cite{BoMe14} that, when the potential is analytic, the eigenvalues stay real for a perturbation of size O(1). We show here, in the double-well case, that the eigenvalues stay real only for exponentially small perturbations, then bifurcate into the complex domain when the perturbation increases and we get precise asymptotic expansions. The proof uses complex WKB-analysis, leading to a fairly explicit quantization condition.

연구 동기 및 목표

• 작은 허수 편미분을 받는 이중함장 포텐셜을 가진 $\mathcal{P}\mathcal{T}$-대칭 슈뢰딩거 연산자의 스펙트럼 안정성을 이해하는 것.
• 고유값이 실수에서 복소수로 전이되는 편미분 $\varepsilon$의 임계 크기를 결정하는 것.
• 이중함장 케이스에서 고유값에 대한 정밀한 점근적 양자조건을 유도하여 단일함장 케이스와 대조하는 것 — 단일함장에서는 $\mathcal{O}(1)$ 크기의 편미분에서도 실수 고유값이 유지된다.
• 복소 WKB 분석이 이중함장 영역에서 고유값의 비파라메트릭적 지수적 분리 현상을 포착하는 데서 수행하는 역할을 규명하는 것.

제안 방법

• 연구는 이중함장 포텐셜에서 에너지 $E_0$ 근처의 고유값에 대해 양자조건을 유도하고, 준모드를 구성하기 위해 복소 WKB 분석을 활용한다.
• 핵심 요소로는 정적 위상법과 라플라스 방법을 통해 분석적 계속이 이루어진 윈도우드 프레드홀름 행렬식 $f_{\theta}$를 유도하는 것이다.
• 문제를 $F = \widetilde{I}(E)$로 변수를 바꾸어 $\widetilde{\varepsilon}$와 $\widetilde{\kappa}$에 의존하는 함수 $\widetilde{f}^{c}$로 변환하며, 고유값 조건이 분석되는 임계점 $F_c$를 고려한다.
• 복소 $\widetilde{\varepsilon}$에 대한 $\widetilde{f}^{c}$의 타일러 전개를 사용하여 이차적 의존성을 밝혀내며, 임계값 $\widetilde{\varepsilon}_c(\widetilde{\kappa};h) \sim \ell(\widetilde{\kappa};h) e^{-J(E_c(0,\kappa,0),0)/h}$를 도출한다. 여기서 $J$는 복소 행동 적분이다.
• 고유값 분리의 주요 기여는 $|\partial_\varepsilon I(E_1,0)|^2$로, 이는 편미분 전개의 곡률과 복소 고유값의 출현 조건을 결정한다.
• 복소 $\widetilde{\varepsilon}$와 $\widetilde{\kappa}$에 대한 해석적 성질을 활용하여, $|\widetilde{\varepsilon}| < \widetilde{\varepsilon}_c$일 경우 고유값이 실수이고 단순하며 실수축을 중심으로 대칭을 이룬다. $|\widetilde{\varepsilon}| > \widetilde{\varepsilon}_c$일 경우 복소수 쌍으로 분리되며, 임계값에서 이중 제로가 형성된다.

실험 결과

연구 질문

• RQ1 이중함장 슈뢰딩거 연산자의 $\mathcal{P}\mathcal{T}$-대칭 편미분 $\varepsilon$ 크기가 어느 정도일 때 고유값이 실수로 유지되는가?
• RQ2 $\varepsilon$가 임계 임계값을 초과함에 따라 고유값 스펙트럼이 복소 평면으로 어떻게 분기하는가?
• RQ3 이중함장 케이스에서 고유값 분리의 정밀한 점근적 형태는 무엇이며, 단일함장 케이스와의 차이는 무엇인가?
• RQ4 복소 WKB 방법을 통해 고유값 임계값이 $h$에 대해 비파라메트릭적 지수적 의존성을 반영하는 양자조건을 도출할 수 있는가?

주요 결과

• 고유값은 실수로 유지되는데, 이는 $\varepsilon$가 지수적으로 작은 경우에 한하며, 임계 임계값은 $\widetilde{\varepsilon}_c(\widetilde{\kappa};h) \sim \ell(\widetilde{\kappa};h) e^{-J(E_c(0,\kappa,0),0)/h}$로 스케일링되며, 여기서 $J$는 복소 행동 적분이다.
• $|\widetilde{\varepsilon}| < \widetilde{\varepsilon}_c(\widetilde{\kappa};h)$일 경우 고유값은 실수이자 단순하며 실수축을 중심으로 대칭을 이룬다.
• 임계값 $|\widetilde{\varepsilon}| = \widetilde{\varepsilon}_c(\widetilde{\kappa};h)$에서 고유값은 $F = F_c$에서 이중 제로로 융합된다.
• $|\widetilde{\varepsilon}| > \widetilde{\varepsilon}_c(\widetilde{\kappa};h)$일 경우 고유값은 복소수 쌍으로 변환되며, 이는 $\mathcal{P}\mathcal{T}$ 대칭 위반의 상전이를 나타낸다.
• 고유값 분리의 주요 기여는 $|\partial_\varepsilon I(E_1,0)|^2$로, 이는 $\widetilde{\varepsilon}$에 대한 편미분 전개의 곡률과 복소 고유값의 출현 조건을 결정한다.
• 전체 점근 전개는 복소 WKB 접근법을 통해 유도되었으며, 양자조건은 $\widetilde{f}^{c}(\widetilde{\varepsilon},\widetilde{\kappa};h) = m(\widetilde{\varepsilon},\widetilde{\kappa};h)(\widetilde{\varepsilon}^2 - \widetilde{\varepsilon}_c^2)$ 형태로 표현되며, 여기서 $m$은 주항목이 $|\partial_\varepsilon I(E_1,0)|$인 해석적 기호이다.