[논문 리뷰] General PT-Symmetric Matrices

Jia-wen Deng, Uwe Guenther외 1명|arXiv (Cornell University)|2012. 12. 09.

Quantum Mechanics and Non-Hermitian Physics참고 문헌 9인용 수 7

한 줄 요약

이 논문은 잠재적으로 모든 고유값이 실수인 세 가지 비히어르미안 행렬 유형을 도입하고 분류한다: $\pi\mathcal{T}$-대칭, 의사히어르미안, 일반화된 $\pi\mathcal{T}$-대칭 행렬. 일반화된 $\pi\mathcal{T}$-대칭 행렬이 가장 일반적인 유형임을 규명하며, 모든 자기수반 행렬을 포함하고 더 풍부한 조르당 블록 구조를 允허하며, 명시적인 매개변수 수와 $2\times2$ 예제가 제공된다.

ABSTRACT

Three ways of constructing a non-Hermitian matrix with possible all real eigenvalues are discussed. They are PT symmetry, pseudo-Hermiticity, and generalized PT symmetry. Parameter counting is provided for each class. All three classes of matrices have more real parameters than a Hermitian matrix with the same dimension. The generalized PT-symmetric matrices are most general among the three. All self-adjoint matrices process a generalized PT symmetry. For a given matrix, it can be both PT-symmetric and P'-pseudo-Hermitian with respect to some P' operators. The relation between corresponding P and P' operators is established. The Jordan block structures of each class are discussed. Explicit examples in 2x2 are shown.

연구 동기 및 목표

• 비히어르미안 행렬을 체계적으로 분류하여 표준 PT-대칭을 넘어서 모든 고유값이 실수일 수 있는 경우를 다루는 것.
• 세 유형인 PT-대칭, 의사히어르미안, 일반화된 PT-대칭 행렬의 구조적 및 매개변수적 성질를 비교하는 것.
• 일반화된 PT-대칭 행렬이 가장 일반적인 유형임을 보여주고, 모든 자기수반 행렬이 특수한 경우로 포함됨을 입증하는 것.
• 각 유형 내에서 가능한 조르당 블록 구조를 분석하고, 세 프레임워크 모두에서 그 존재를 보여주는 것.
• 특정 연산자 선택 하에 PT-대칭성과 의사히어르미안성의 등가성을 규명하고, 해당 파리티 연산자 간의 관계를 유도하는 것.

제안 방법

• 합성적 치환 작용 $\bar{\mathcal{P}}\mathcal{T}$를 통해 일반화된 $\pi\mathcal{T}$-대칭 행렬을 도입하여 표준 PT-대칭을 일반화하는 것.
• 조건 $[\bar{\mathcal{P}}\mathcal{T}, H] = 0$을 사용하여 일반화된 유형을 정의하고, 모든 자기수반 행렬이 포함됨을 보여주는 것.
• 매개변수 수 계산 적용: 각 유형의 $(m+n)\times(m+n)$ 행렬은 $(m+n)^2 + 2mn$개의 실수 매개변수를 가지며, 동일한 크기의 히어르미안 행렬의 $(m+n)^2$개보다 많음을 보여주는 것.
• 메트릭 연산자 $W$를 조건 $WH = H^\dagger W$를 통해 분석하고, $W$가 히어르미안이면서 양의정의적임을 조건으로 하여 의사히어르미안성과 연결하는 것.
• 특정 $\mathcal{P}$ 및 $\tilde{\mathcal{P}}$ 연산자 하에서 PT-대칭과 의사히어르미안 표현 간의 등가성을 입증하기 위해 명시적인 $2\times2$ 예제를 구성하는 것.
• 조르당 표준형 분석을 통해 세 유형 모두에서 가능한 모든 조르당 블록 구조(비대각화 가능 경우 포함)가 실현 가능함을 보여주는 것.

실험 결과

연구 질문

• RQ1 모든 고유값이 실수인 비히어르미안 행렬의 가장 일반적인 유형은 무엇인가?
• RQ2 PT-대칭, 의사히어르미안, 일반화된 PT-대칭 행렬의 매개변수 수는 히어르미안 행렬과 어떻게 비교되는가?
• RQ3 행렬이 서로 다른 파리티 연산자에 대해 동시에 PT-대칭이자 의사히어르미안일 수 있는가? 만약 가능하다면, 이러한 연산자 간의 관계는 무엇인가?
• RQ4 각 행렬 유형에서 실현 가능한 조르당 블록 구조는 무엇이며, 대각화 가능 경우와 어떻게 다를 수 있는가?
• RQ5 언제 PT-대칭성이 실수 스펙트럼을 보장하며, 언제는 자발적 대칭 붕괴가 발생할 수 있는가?

주요 결과

• 일반화된 $\bar{\mathcal{P}}\mathcal{T}$-대칭 행렬은 모든 고유값이 실수인 비히어르미안 행렬의 가장 일반적인 유형이며, 모든 자기수반 행렬을 포함한다.
• $(m+n)\times(m+n)$ 행렬이 세 유형 중 어느 하나에 속할 경우, 실수 매개변수 수는 $(m+n)^2 + 2mn$개이며, 동일한 크기의 히어르미안 행렬의 $(m+n)^2$개보다 많다.
• 모든 가능한 조르당 블록 구조—대각화 가능 및 비대각화 가능—는 $\mathcal{P}\mathcal{T}$-대칭 및 $\tilde{\mathcal{P}}$-의사히어르미안 행렬 모두에서 실현 가능하다.
• 행렬이 서로 다른 연산자 $\mathcal{P}$ 및 $\tilde{\mathcal{P}}$ 에 대해 동시에 $\mathcal{P}\mathcal{T}$-대칭이자 $\tilde{\mathcal{P}}$-의사히어르미안일 수 있으며, 본 논문은 그들 간의 명시적 관계를 유도한다.
• $2$차원 이상의 차원에서는 자기수반 행렬이 항상 일반화된 $\bar{\mathcal{P}}\mathcal{T}$-대칭이지만, 반드시 $\mathcal{P}\mathcal{T}$-대칭이거나 $\tilde{\mathcal{P}}$-의사히어르미안은 아니다.
• 명시적인 $2\times2$ 예제를 통해 $\mathcal{P}\mathcal{T}$-대칭성과 $\tilde{\mathcal{P}}$-의사히어르미안성 간의 등가성을 확인하였으며, 해당 파리티 연산자 및 정규화 인자에 대한 닫힌 형식의 표현식을 유도하였다.