Hostname: page-component-586b7cd67f-2brh9 Total loading time: 0 Render date: 2024-11-20T15:40:25.747Z Has data issue: false hasContentIssue false

THE METRIC OPERATORS FOR PSEUDO-HERMITIAN HAMILTONIAN

Published online by Cambridge University Press:  23 October 2023

WEN-HUA WANG
Affiliation:
School of Ethnic Education, Shaanxi Normal University, Xi’an 710062, China; e-mail: [email protected]
ZHENG-LI CHEN*
Affiliation:
School of Mathematics and Statistics, Shaanxi Normal University, Xi’an 710119, China
WEI LI
Affiliation:
College of Science, Engineering University of PAP, Xi’an 710078, China; e-mail: [email protected]
Rights & Permissions [Opens in a new window]

Abstract

The Hamiltonian of a conventional quantum system is Hermitian, which ensures real spectra of the Hamiltonian and unitary evolution of the system. However, real spectra are just the necessary conditions for a Hamiltonian to be Hermitian. In this paper, we discuss the metric operators for pseudo-Hermitian Hamiltonian which is similar to its adjoint. We first present some properties of the metric operators for pseudo-Hermitian Hamiltonians and obtain a sufficient and necessary condition for an invertible operator to be a metric operator for a given pseudo-Hermitian Hamiltonian. When the pseudo-Hermitian Hamiltonian has real spectra, we provide a new method such that any given metric operator can be transformed into the same positive-definite one and the new inner product with respect to the positive-definite metric operator is well defined. Finally, we illustrate the results obtained with an example.

Type
Research Article
Copyright
© The Author(s), 2023. Published by Cambridge University Press on behalf of Australian Mathematical Publishing Association Inc.

1 Introduction

As a fruitful extension of conventional quantum mechanics, pseudo-Hermitian quantum mechanics has developed into a noteworthy area of research, especially $PT$ -symmetric quantum mechanics [Reference Bender3, Reference Bender, Boettcher and Meisinger4, Reference Galeano, Zhang and Mahecha8, Reference Zhang, Qin and Xiao23]. This theory has been widely discussed and developed. Consider a quantum system determined by a Hamiltonian H. In order to ensure the applicability of the conventional theory of quantum mechanics, it is necessary for H to be diagonalizable with real spectra [Reference Mostafazadeh16]. However, such a necessary condition can be satisfied even if H is not Hermitian [Reference Bender and Boettcher2, Reference Kawabata and Sato11]. Mostafazadeh [Reference Mostafazadeh12] showed that a non-Hermitian Hamiltonian with discrete spectra and a complete biorthonormal system of eigenvectors is pseudo-Hermitian if and only if the spectra are all real, or the complex eigenvalues come in complex conjugate pairs and the geometric multiplicity and the Jordan dimensions of the complex-conjugate eigenvalues coincide. The pseudo-Hermitian Hamiltonian which is defined by a similarity transformation, $H^{\dagger }=W H W^{-1}$ , where W is called a metric operator for H, has developed into a noteworthy area of research, and systems evolving under pseudo-Hermitian dynamics display rich phenomena [Reference Fring and Frith7, Reference Gopalakrishnan and Gullans9, Reference Huang, Cao and Wang10, Reference Zhan, Wang, Xiao, Bian, Zhang, Sanders, Zhang and Xue22]. In fact, the metric operator for a pseudo-Hermitian Hamiltonian is not unique, and it is worthwhile to discuss the properties of the metric operator and the structure of the set of all metric operators.

Indeed, H is diagonalizable and has real spectra if and only if there exists a positive-definite operator $\eta $ such that $H^{\dagger }=\eta H\eta ^{-1}$ [Reference Mostafazadeh13]. The positivity of $\eta $ implies that H belongs to a special class of pseudo-Hermitian operators called quasi-Hermitian operators [Reference Scholtz, Geyer and Hahne21], while the pseudo-Hermitian operators only require that $\eta $ is invertible. Then a consistent quantum theory can be built with a new inner product ${\langle \cdot |\cdot \rangle _{\eta }=\langle \cdot |\eta |\cdot \rangle }$ , and any H satisfying $\langle \cdot |H\cdot \rangle _{\eta }= \langle H\cdot |\cdot \rangle _{\eta }$ is Hermitian [Reference Mostafazadeh12]. Furthermore, putting $\varrho =\sqrt {\eta }$ , we have H similar to the Hermitian Hamiltonian, $h:=\varrho H \varrho ^{-1}$ . Hence, the quasi-Hermitian quantum theory that is determined by H admits an equivalent Hermitian description in terms of the (standard) Hilbert space with the Hermitian Hamiltonian h [Reference Mostafazadeh14, Reference Mostafazadeh15]. However, the specific form of h depends on the choice of $\varrho $ , since $\tilde {\varrho }=U\sqrt {\eta }$ also satisfies the condition. This has motivated the search for alternative methods of computing the most general metric operator for a given pseudo-Hermitian Hamiltonian [Reference Mostafazadeh17, Reference Musumbu, Geyer and Heiss18, Reference Scholtz and Geyer20]. For a quasi-Hermitian Hamiltonian H, if the given metric operator W is not positive, then the inner product with respect to W is indefinite. While Mostafazadeh [Reference Mostafazadeh13] ensures that there must exist a positive-definite metric operator, changing the nonpositive metric operator to a positive definite one is an interesting topic to explore.

Since in a finite-dimensional quantum system each Hamiltonian has a matrix presentation with respect to the given orthonormal basis, the Hamiltonian and the corresponding matrix are considered to be identical and there is a growing body of literature that pertains to the finite-dimensional case, such as pseudo-Hermitian random matrix theory, and pseudo-Hermitian spin systems [Reference Feinberg and Riser5, Reference Feinberg and Znojil6, Reference Raimundo, Baldiotti, Fresneda and Molina19]. In this article we discuss the metric operators for pseudo-Hermitian Hamiltonians in finite-dimensional quantum systems. In Section 2 we first establish some properties of the metric operator and obtain a sufficient and necessary condition for an invertible operator to be a metric operator for a given pseudo-Hermitian Hamiltonian according to the vec map. Then in Section 3 we provide a method to change a given metric operator which is not positive-definite to become a positive one when the pseudo-Hermitian Hamiltonian has real spectra. Our findings and conclusions are summarized in Section 4.

2 The two golden rules

A physical system which is determined by a Hamiltonian is a Hilbert space (a complex vector space with inner product), and the Hamiltonian corresponds to a linear operator. Suppose that $H \in B(\mathbb {C}^{d})$ is a Hamiltonian, $H^{\dagger }$ is the adjoint of H, $H^{T}$ is the transpose of H, $|\psi \rangle $ is a unit column vector, $\langle \psi |=(|\psi \rangle )^{\dagger }$ is a unit row vector.

Definition 2.1 [Reference Mostafazadeh12].

Let $H \in B(\mathbb {C}^{d})$ . If there exists an invertible operator W such that $H^{\dagger }=WHW^{-1}$ , then H is called a pseudo-Hermitian Hamiltonian and W is called a metric operator for H.

We note from the Definition 2.1 that, in particular, when $W=I$ , the pseudo-Hermitian Hamiltonian coincides with a Hermitian Hamiltonian. Therefore, all Hermitian Hamiltonians form a subset of the set of pseudo-Hermitian Hamiltonians.

We now present some results about the pseudo-Hermitian Hamiltonian and its metric operators.

Theorem 2.2. Let H be a pseudo-Hermitian Hamiltonian on $B(\mathbb {C}^{d})$ with a metric operator W.

  1. (i) The spectra of H are all real or complex conjugate pairs.

  2. (ii) $W^{\dagger }$ is also a metric operator for H, and a Hermitian metric operator for H can always be determined.

  3. (iii) For any $\lambda \in \mathbb {R}\backslash \{0\}$ , $\lambda W$ is a metric operator for H.

  4. (iv) If M is another metric operator for H and $W+M$ is invertible, then $W+M$ is a metric operator for H.

  5. (v) If an invertible operator A commutes with H, then $WA^{k}(k\in \mathbb {N})$ are metric operators for H.

  6. (vi) If an invertible operator B commutes with $H^{\dagger }$ , then $B^{k}W(k\in \mathbb {N})$ are metric operators for H.

Proof. Let H be a pseudo-Hermitian Hamiltonian with a metric operator W, that is, $H^{\dagger }=WHW^{-1}$ .

  1. (i) Because the spectra of H and $H^{\dagger }$ are complex conjugate to each other and a similarity transformation does not change the spectra, the spectra of H are all real or complex conjugate pairs.

  2. (ii) From $H^{\dagger }=WHW^{-1}$ it follows that $H=(W^{\dagger })^{-1}H^{\dagger }W^{\dagger }$ and $H^{\dagger }=W^{\dagger }H(W^{\dagger })^{-1}$ . Thus, $W^{\dagger }$ is also a metric operator for H. If the given W is Hermitian, then that is true. Otherwise, there exists a $\theta \in \mathbb {R}$ such that $-\mathrm {e}^{2\mathrm {i}\theta }I\neq W^{-1}W^{\dagger }$ ; put

    $$ \begin{align*}\tilde{W}=\mathrm{e}^{\mathrm{i}\theta}W+\mathrm{e}^{-\mathrm{i}\theta}W^{\dagger}.\end{align*} $$
    Then $\tilde {W}$ is Hermitian and satisfies $H^{\dagger }\tilde {W}=\tilde {W}H$ . Since the spectra of $W^{-1}W^{\dagger }$ does not contain $-\mathrm {e}^{2\mathrm {i}\theta }$ , the inverse of $\tilde {W}$ is $\mathrm {e}^{-\mathrm {i}\theta }[I+\mathrm {e}^{-2\mathrm {i}\theta } W^{-1}W^{\dagger }]^{-1}W^{-1}$ . Hence, $\tilde {W}$ is a metric operator for H.
  3. (iii) This follows from the definition of the pseudo-Hermitian Hamiltonian.

  4. (iv) This follows from the definition of the pseudo-Hermitian Hamiltonian.

  5. (v) By the definition of the pseudo-Hermitian Hamiltonian and since $AH=HA$ , we have $(WA)H=WHA=H^{\dagger }(WA)$ . Thus, for all $k\in \mathbb {N}$ , $W_{k}=WA^{k}$ are metric operators for H.

  6. (vi) This is similar to (v).

The proof is now complete.

In order to understand the metric operators for a given pseudo-Hermitian Hamiltonian operator, we introduce the operator–vector correspondence as follows. We know that

$$ \begin{align*}\mathrm{vec}: L(\mathbb{X},\mathbb{Y})\rightarrow \mathbb{Y}\otimes \mathbb{X}\end{align*} $$

is the linear bijection and isometry, mapping an operator to a vector [Reference Bellman1]. For $u\in \mathbb {X}$ and $v\in \mathbb {Y}$ , we have

$$ \begin{align*} \mathrm{vec}(uv^{\dagger})=u\otimes \bar{v}, \end{align*} $$

where the bar denotes the complex conjugate.

Theorem 2.3. Let $H\in B(\mathbb {C}^{d})$ be a pseudo-Hermitian Hamiltonian and $W\in B(\mathbb {C}^{d})$ be invertible. Then W is a metric operator for H if and only if

$$ \begin{align*}(I\otimes H^{T}-H^{\dagger}\otimes I)\mathrm{vec}(W)=0.\end{align*} $$

Proof. Necessity. Let W be a metric operator for H. Then $H^{\dagger }=WHW^{-1}$ and

$$ \begin{align*}\mathrm{vec}(H^{\dagger}W) =\mathrm{vec}(WH).\end{align*} $$

Using the property of the vec mapping,

$$ \begin{align*}\mathrm{vec}(AXB^{T}) = (A\otimes B)\mathrm{vec}(X),\end{align*} $$

we have

$$ \begin{align*}(H^{\dagger}\otimes I)\mathrm{vec}(W)=(I\otimes H^{T})\mathrm{vec}(W).\end{align*} $$

Thus,

$$ \begin{align*} (I\otimes H^{T}-H^{\dagger}\otimes I)\mathrm{vec}(W)=0. \end{align*} $$

Sufficiency. Let W satisfy $(I\otimes H^{T}-H^{\dagger }\otimes I)\mathrm {vec}(W)=0$ . Then

$$ \begin{align*}(I\otimes H^{T})\mathrm{vec}(W)=(H^{\dagger}\otimes I)\mathrm{vec}(W) \end{align*} $$

and

$$ \begin{align*}\mathrm{vec}(WH)=\mathrm{vec}(H^{\dagger}W).\end{align*} $$

Since the vec mapping is a linear bijection, we have $WH=H^{\dagger }W$ . Since W is invertible, it is a metric operator for H. This completes the proof.

Remark 2.4. When $S\in B(\mathbb {C}^{d^{2}}) $ commutes with $I\otimes H^{T}-H^{\dagger }\otimes I$ , we have that $S(\mathrm {vec}(W))$ is also an eigenvector of $I\otimes H^{T}-H^{\dagger }\otimes I$ corresponding to eigenvalue 0. If S is invertible, then $\mathrm {vec}^{-1}(S(\mathrm {vec}(W)))$ is a metric operator for H. When H is invertible, we have the following results.

  1. (i) Take $S=I\otimes H^{T}$ and $I\otimes H^{T}(\mathrm {vec}(W))=\mathrm {vec}(WH)$ . Then $\breve {W}=WH$ is a metric operator for H. Moreover, we see that it is consistent with Theorem 2.2(v); here, we take $A=H$ .

  2. (ii) Take $S=H^{\dagger }\otimes I$ and $H^{\dagger }\otimes I(\mathrm {vec}(W))=\mathrm {vec}(H^{\dagger }W)$ . Then $\hat {W}=H^{\dagger }W$ is a metric operator for H, and it is consistent with Theorem 2.2(vi); here, we take $B=H^{\dagger }$ .

  3. (iii) Take $S=H^{\dagger }\otimes H^{T}$ and $H^{\dagger }\otimes H^{T}(\mathrm {vec}(W))=\mathrm {vec}(H^{\dagger }WH)$ . Then $\check {W}=H^{\dagger }WH$ is a metric operator for H.

Furthermore, for all $k\in \mathbb {N}$ , $WH^{k}$ , ${(H^{\dagger })}^{k}W$ and ${(H^{\dagger })}^{k}WH^{k}$ are Hermitian if the metric operator W for H is Hermitian.

For example, when $H=(\begin {smallmatrix} \mathrm {i} & 1 \\ 2 & -\mathrm {i}\end {smallmatrix})$ , we have

$$ \begin{align*}I\otimes H^{T}-H^{\dagger}\otimes I=\left(\!\!\! \begin{array}{cccc} 2\mathrm{i} & 2 & -2 & 0 \\ 1 & 0 & 0 & -2 \\ -1 & 0 & 0 & 2 \\ 0 & -1& 1 & -2\mathrm{i} \\ \end{array}\!\!\! \right).\end{align*} $$

By calculation, the eigenvalue zero of the operator $(I\otimes H^{T}-H^{\dagger }\otimes I)$ has multiplicity 2, and $\alpha _{1}=(0,1,1,0)^{T}$ and $\alpha _{2}=(2,-2\mathrm {i},0,1)^{T}$ are two linear independent eigenvectors of $I\otimes H^{T}-H^{\dagger }\otimes I$ . Then we obtain two metric operators for H:

$$ \begin{align*}W_{1}=\mathrm{vec}^{-1}(\alpha_1)=\left(\!\!\! \begin{array}{cc} 0 & 1 \\ 1 & 0 \\ \end{array}\!\!\! \right), \quad W_{2}=\mathrm{vec}^{-1}(\alpha_2)=\left(\!\!\! \begin{array}{cc} 2 & -2\mathrm{i} \\ 0 & 1 \\ \end{array}\!\!\! \right).\end{align*} $$

For any nonzero linear combination $\beta $ of $\alpha _1$ and $\alpha _2$ , if $\mathrm {vec}^{-1}(\beta )$ is invertible, then $\mathrm {vec}^{-1}(\beta )$ is also a metric operator for H. We see that the metric operator $W_{2}$ as above is not Hermitian. From the proof of Theorem 2.2(ii) a new Hermitian metric operator,

$$ \begin{align*}\tilde{W_{2}}=e^{\mathrm{i}\pi/3}W_{2}+e^{\mathrm{-i}\pi/3}W_{2}^{\dagger}=\left(\!\!\! \begin{array}{cc} 2 & \sqrt{3}-\mathrm{i} \\ \sqrt{3}+\mathrm{i} & 1 \\ \end{array}\!\!\! \right)\end{align*} $$

as $\theta ={\pi }/{3}$ , is obtained for H.

In the following section, for a pseudo-Hermitian Hamiltonian H, the corresponding metric operator W may always be chosen to be Hermitian, that is, $W=W^{\dagger }$ .

3 The results of metric operators for pseudo-Hermitian Hamiltonian

In this section we assume that the Hamiltonian $H\in B(\mathbb {C}^{d})$ has different eigenvalues. Let H admit a complete biorthonormal set of eigenvectors $\{|E_{n}\rangle , |\hat {E}_{n}\rangle \}$ . Then it satisfies the following defining relations:

(3.1) $$ \begin{align} H|E_{n}\rangle=\gamma_n|E_{n}\rangle, \quad H^{\dagger}|\hat{E}_{n}\rangle=\overline{\gamma_n}|\hat{E}_{n}\rangle, \end{align} $$
(3.2) $$ \begin{align} \langle \hat{E}_n|E_m\rangle=\delta_{nm}, \end{align} $$
(3.3) $$ \begin{align} \sum_n|\hat{E}_n\rangle\langle E_n|=\sum_n|E_n\rangle\langle \hat{E}_n|=I. \end{align} $$

Here, $\delta _{nm}$ stands for the Kronecker delta function, and I is the identity operator. In view of equations (3.1)–(3.3), we have

(3.4) $$ \begin{align} H=\sum_n\gamma_n|E_n\rangle\langle \hat{E}_n|, \quad H^{\dagger}=\sum_n\overline{\gamma_n}|\hat{E}_n\rangle\langle E_n|. \end{align} $$

In addition, if H is a pseudo-Hermitian Hamiltonian with metric operator W, that is, $H^{\dagger }=WHW^{-1}$ , put

$$ \begin{align*} \langle x|y\rangle_{W} =\langle x|W |y\rangle, \quad \text{for all}\, \, |x\rangle, |y\rangle \in \mathbb{K}. \end{align*} $$

Then, for any m,n,

$$ \begin{align*}\gamma_n\langle E_m|E_n\rangle_{W}=\langle E_m|WH| E_n\rangle=\langle E_m|H^{\dagger}W| E_n\rangle=\overline{\gamma_m}\langle E_m| E_n\rangle_{W}, \end{align*} $$

and we can write

(3.5) $$ \begin{align} (\gamma_n-\overline{\gamma_m})\langle E_m|E_n\rangle_{W}=0. \end{align} $$

Therefore, this determines

(3.6) $$ \begin{align} \langle E_m|E_n\rangle_{W}=\rho_{m,n} e^{\mathrm{i}\theta{(m,n)}}\delta_{\gamma_n, \overline{\gamma_m}}, \end{align} $$

where $\rho _{m,n}=|\langle E_m|E_n\rangle _{W}|\geq 0$ and $\theta {(m,n)}=\text {Arg}(\langle E_m|E_n\rangle _{W})$ is the argument of $\langle E_m|E_n\rangle _{W}$ .

If there exists an eigenvalue $\gamma _j\notin \mathbb {R}$ , then $\langle E_j|E_j\rangle _{W}=0$ . In this case, it is impossible to define an inner product with respect to W. If all eigenvalues are real, the product in equation (3.6) which can be become negative due to this exponential factor (for example, W has negative eigenvalues), cannot define an inner product. In fact, the quadratic form in equation (3.6) satisfies the inner product conditions except positive-definiteness, because the metric operator W is not necessarily positive, and H is Hermitian with respect to this quadratic form since

$$ \begin{align*}\langle x|H| y\rangle_{W}=\langle x|WH| y\rangle=\langle x|H^{\dagger}W| y\rangle=\langle H x|W| y\rangle=\langle H x|y\rangle_{W}.\end{align*} $$

Thus, when the spectra of pseudo-Hermitian Hamiltonian are all real, it is significant to find a positive metric operator such that equation (3.6) is a well-defined inner product, and the non-Hermitian Hamiltonian can be exchanged for the Hermitian case. Besides, the existence of this positive metric operator was shown by Mostafazadeh [Reference Mostafazadeh13], who proved that the spectra of H are real if and only if there is a positive invertible linear operator $\eta $ such that $H^{\dagger }=\eta H\eta ^{-1}$ .

Hence, for a pseudo-Hermitian Hamiltonian H with real spectra, we provide in the following a method to change the given nonpositive metric operator ( $W\ngtr 0$ ) into a positive one ( $\eta>0$ ).

Theorem 3.1. Let H be a pseudo-Hermitian Hamiltonian with real spectra. For any metric operator W for H, it can be transformed into $\eta =\sum _n|\hat {E}_n\rangle \langle \hat {E}_n|$ .

Proof. Let the eigenvalues of H be all real, that is, $\gamma _n\in \mathbb {R}$ for all n. By equation (3.4),

(3.7) $$ \begin{align} H=\sum_n\gamma_n|E_n\rangle\langle \hat{E}_n|, \quad H^{\dagger}=\sum_n\gamma_n|\hat{E}_n\rangle\langle E_n|. \end{align} $$

Put

(3.8) $$ \begin{align} P_{n}=|E_n\rangle\langle \hat{E}_n| \end{align} $$

and

(3.9) $$ \begin{align} A=\sum_n a_{n}P_{n}, \quad a_{n}\in \mathbb{R}\backslash\{0\}. \end{align} $$

We have

$$ \begin{align*}A^{-1}=\sum_n \frac{1}{a_{n}}P_{n},\end{align*} $$
$$ \begin{align*}AH=\sum_n a_{n}|E_n\rangle\langle \hat{E}_n|H=H\sum_n a_{n}|E_n\rangle\langle \hat{E}_n|=HA\end{align*} $$

and

$$ \begin{align*}A|E_n\rangle= a_{n}|E_n\rangle.\end{align*} $$

So $|E_n\rangle $ are simultaneous eigenstates of A and H, and the coefficients of expansion $a_{n}$ in equation (3.9) are indeed the eigenvalues of A. Take

$$ \begin{align*} \eta=WA. \end{align*} $$

Then

$$ \begin{align*} \eta^{\dagger}=&A^{\dagger}W=WW^{-1}\sum_n \bar{a}_{n}P_{n}^{\dagger}W=WA=\eta. \end{align*} $$

Since A commutes with H, we get that $\eta $ is also a metric operator for H by Theorem 2.2(v). Next define

$$ \begin{align*} \langle\phi|\psi\rangle_{\eta}=\langle\phi|\eta|\psi\rangle. \end{align*} $$

We have

$$ \begin{align*}\langle E_m|E_n\rangle_{\eta}= a_{n}\langle E_m|E_n\rangle_{W}.\end{align*} $$

Since W is invertible and Hermitian, by equation (3.6), we have

$$ \begin{align*}\langle E_m|E_n\rangle_{W}=\begin{cases} 0, & m\neq n, \\ \langle E_m|W|E_m\rangle\in \mathbb{R}\backslash 0, & m= n. \end{cases} \end{align*} $$

Then

$$ \begin{align*} \langle E_m|E_n\rangle_{W}=\tilde{\rho}_{n}\delta_{m,n}, \end{align*} $$

where $\tilde {\rho }_{n}$ are positive or negative real numbers. Thus,

$$ \begin{align*} \langle E_m|E_n\rangle_{\eta}= a_{n}\tilde{\rho}_{n}\delta_{m,n}. \end{align*} $$

If we choose the coefficients of A as

$$ \begin{align*}a_{n}=\frac{1}{\tilde{\rho}_{n}},\end{align*} $$

then

(3.10) $$ \begin{align} \langle E_m|E_n\rangle_{\eta}=\delta_{m,n}. \end{align} $$

By this method of constructing $\eta $ , we have

$$ \begin{align*} \eta=WA=W\sum_j a_{j}P_{j}=\sum_j \frac{W}{\langle E_j|E_j\rangle_{W}}|E_j\rangle\langle \hat{E}_j|. \end{align*} $$

According to equation (3.3),

$$ \begin{align*} W\sum_n|E_n\rangle\langle \hat{E}_n|=\sum_n|\hat{E}_n\rangle\langle E_n|W, \end{align*} $$

and multiplying $|E_j\rangle $ yields

$$ \begin{align*} W|E_j\rangle=|\hat{E}_j\rangle\langle E_j|W|E_j\rangle. \end{align*} $$

Thus,

(3.11) $$ \begin{align} \eta=\sum_j |\hat{E}_j\rangle\langle \hat{E}_j|. \end{align} $$

This completes the proof.

We see that $\eta $ is positive-definite, $\langle \cdot |\cdot \rangle _{\eta }=\langle \cdot |\eta |\cdot \rangle $ is a well-defined inner product, and the eigenstates of H form an orthonormal basis by equation (3.10). Indeed, the positive-definite metric operator $\eta $ we obtained in equation (3.11) which was shown by Mostafazadeh [Reference Mostafazadeh13], satisfies our Theorem 2.3. By equation (3.7) and vec mapping,

$$ \begin{align*}I\otimes H^{T}-H^{\dagger}\otimes I=I\otimes\sum_n\gamma_n\overline{|\hat{E_{n}}\rangle\langle E_{n}|}-\sum_n\gamma_n|\hat{E}_n\rangle\langle E_n|\otimes I,\end{align*} $$

By equation (3.7) and vec mapping,

$$ \begin{align*}I\otimes H^{T}-H^{\dagger}\otimes I=I\otimes\sum_n\gamma_n\overline{|\hat{E_{n}}\rangle\langle E_{n}|}-\sum_n\gamma_n|\hat{E}_n\rangle\langle E_n|\otimes I,\end{align*} $$
$$ \begin{align*}\mathrm{vec}(\eta)=\sum_j |\hat{E}_j\rangle\otimes\overline{|\hat{E}_{j}\rangle},\end{align*} $$

followed by biorthogonality relation equation (3.2), we have

$$ \begin{align*}(I\otimes H^{T}-H^{\dagger}\otimes I)(\mathrm{vec}(\eta))=\sum_n\gamma_n|\hat{E_{n}}\rangle\otimes\overline{|\hat{E_{n}}\rangle}-\sum_n\gamma_n|\hat{E_{n}}\rangle\otimes\overline{|\hat{E_{n}}\rangle}=0.\end{align*} $$

Moreover, since $\eta $ is positive-definite, there exists an operator $\rho $ such that $\eta =\rho ^{\dagger }\rho $ . Put

$$ \begin{align*} \rho=\sum_j |e_j\rangle\langle \hat{E}_j|, \end{align*} $$

where $\{|e_j\rangle \}$ is the standard basis of $\mathbb {C}^{d}$ . Then

$$ \begin{align*} \rho^{-1}=\sum_j |E_j\rangle\langle e_j| \end{align*} $$

and

$$ \begin{align*} (\rho H\rho^{-1})^{\dagger}=\sum_j r_j|e_j\rangle\langle e_j|=\rho H\rho^{-1}. \end{align*} $$

Hence, H is similar to a Hermitian operator.

As we know, the eigenvalues of pseudo-Hermitian Hamiltonians are all real or complex conjugate pairs. When there exists a pair of nonreal eigenvalues $\gamma _{j}=\overline {\gamma _{k}}$ such that

$$ \begin{align*} W|E_j\rangle=\langle E_k|W|E_j\rangle|\hat{E}_k\rangle, \end{align*} $$

we get

(3.12) $$ \begin{align} \eta=\sum_{t\neq j,k}|\hat{E}_t\rangle\langle \hat{E}_t| +\delta_{\gamma_{j},\overline{\gamma_{k}}}\,\big(|\hat{E}_k\rangle\langle \hat{E}_j|+|\hat{E}_j\rangle\langle \hat{E}_k|\big), \end{align} $$

which is not positive-definite. In this case, $\langle E_j|E_j\rangle _{\eta }=\langle E_k|E_k\rangle _{\eta }=0$ . Thus, it is impossible to define an orthonormal basis with respect to the metric operator $\eta $ .

Let us next apply our construction to a simple $2\times 2$ matrix Hamiltonian which is pseudo-Hermitian. Consider the Hamiltonian

$$ \begin{align*} H=\left(\!\!\! \begin{array}{cc} re^{\mathrm{i}\theta} & se^{\mathrm{i}\phi} \\ te^{-\mathrm{i}\phi} & re^{-\mathrm{i}\theta} \\ \end{array}\!\!\! \right)\neq H^{\dagger}, \quad r,s,t,\theta,\phi \in \mathbb{R}, \end{align*} $$

and the given metric operator

$$ \begin{align*} W=\left(\!\!\! \begin{array}{cc} 0 & e^{\mathrm{i}\phi} \\ e^{-\mathrm{i}\phi} & 0 \\ \end{array}\!\!\! \right)= W^{\dagger}. \end{align*} $$

Clearly, $WH=H^{\dagger }W$ . The eigenvalues of W are $\lambda _{W\pm }=\pm 1 $ which means $W\ngtr 0$ , so the inner product $\langle \cdot |\cdot \rangle _{W}=\langle \cdot |W|\cdot \rangle $ is not well defined. The eigenvalues of H are

$$ \begin{align*} \gamma_{\pm}=r\cos\theta\pm\sqrt{st-r^{2}\sin^{2}\theta}. \end{align*} $$

Therefore, for $st>r^{2}\sin ^{2}\theta $ , the eigenvalues are real, while for $st<r^{2}\sin ^{2}\theta $ , the eigenvalues are complex conjugates of each other (for $st=r^{2}\sin ^{2}\theta $ , the Hamiltonian cannot be diagonalized).

Case 1. For $st>r^{2}\sin ^{2}\theta $ , the eigenvalues of Hamiltonian H are

$$ \begin{align*} \gamma_{\pm}=r\cos\theta\pm\sqrt{st-r^{2}\sin^{2}\theta} \in \mathbb{R}. \end{align*} $$

Then H is quasi-Hermitian, and there must exist a positive-definite metric operator. The eigenstates of H corresponding to the two eigenvalues are

$$ \begin{align*}|E_{\pm}\rangle=\frac{1}{\sqrt{2(st-r^{2}\sin^{2}\theta)}}\left(\!\!\! \begin{array}{c} s e^{\mathrm{i}\phi/2}\\[.3cm] \Big(-\mathrm{i}r\sin\theta\pm\sqrt{st-r^{2}\sin^{2}\theta}\Big)e^{-\mathrm{i}\phi/2}\\ \end{array}\!\!\! \right), \end{align*} $$

the eigenstates of $H^{\dagger }$ corresponding to the two eigenvalues are

$$ \begin{align*}|\hat{E}_\pm\rangle=\frac{1}{\sqrt{2}\Big(\sqrt{st-r^{2}\sin^{2}\theta}\pm\mathrm{i}r\sin\theta \Big)}\left(\!\!\! \begin{array}{c} te^{\mathrm{i}\phi/2} \\[.3cm] \Big(\mathrm{i}r\sin\theta\pm\sqrt{st-r^{2}\sin^{2}\theta}\Big)e^{-\mathrm{i}\phi/2}\\ \end{array}\!\!\! \right), \end{align*} $$

and

$$ \begin{align*}\langle\hat{E}_i|E_j\rangle=\delta_{ij},\quad i,j\in\{+,-\}.\end{align*} $$

The operator P in this case can be determined according to

$$ \begin{align*} P_{+}=|E_+\rangle\langle\hat{E}_+| &=\frac{1}{2\sqrt{st-r^{2}\sin^{2}\theta}}\\ &\quad \times \left(\!\!\! \begin{array}{cc} \sqrt{st-r^{2}\sin^{2}\theta}+\mathrm{i}r\sin\theta & se^{\mathrm{i}\phi} \\[.3cm] te^{-\mathrm{i}\phi} & \sqrt{st-r^{2}\sin^{2}\theta}-\mathrm{i}r\sin\theta\\ \end{array}\!\!\! \right),\\ P_{-}=|E_-\rangle\langle\hat{E}_-| &=\frac{1}{2\sqrt{st-r^{2}\sin^{2}\theta}} \\ &\quad \times \left(\!\!\! \begin{array}{cc} \sqrt{st-r^{2}\sin^{2}\theta}-\mathrm{i}r\sin\theta & -se^{\mathrm{i}\phi} \\[.3cm] -te^{-\mathrm{i}\phi} & \sqrt{st-r^{2}\sin^{2}\theta}+\mathrm{i}r\sin\theta\\ \end{array}\!\!\! \right). \end{align*} $$

The coefficients $a_{\pm }$ of A are

$$ \begin{align*} a_{+}=\frac{1}{\langle E_+|E_+\rangle_{W}}&=\frac{\sqrt{st-r^{2}\sin^{2}\theta}}{s},\\ a_{-}=\frac{1}{\langle E_-|E_-\rangle_{W}}&=\frac{-\sqrt{st-r^{2}\sin^{2}\theta}}{s} \end{align*} $$

and

$$ \begin{align*} A=\frac{\sqrt{st-r^{2}\sin^{2}\theta}}{s}(P_{+}-P_{-})=\frac{1}{s} \left(\!\!\! \begin{array}{cc} \mathrm{i}r\sin\theta & se^{\mathrm{i}\phi} \\ te^{-\mathrm{i}\phi} & -\mathrm{i}r\sin\theta\\ \end{array}\!\!\! \right). \end{align*} $$

Thus,

$$ \begin{align*} \eta=WA=\frac{1}{s}\left(\!\!\! \begin{array}{cc} t & -\mathrm{i}r\sin\theta e^{\mathrm{i}\phi} \\ \mathrm{i}r\sin\theta e^{-\mathrm{i}\phi} & s \\ \end{array}\!\!\! \right). \end{align*} $$

It can now be checked that

$$ \begin{align*} \langle E_m|E_n\rangle_{\eta}=\delta_{n,m}, \quad m,n=\pm. \end{align*} $$

Therefore, $\{|E_\pm \rangle \}$ is an orthonormal basis with respect to new inner product $\langle \cdot |\cdot \rangle _{\eta }$ in $\mathbb {C}^{2}$ . We see that

$$ \begin{align*} \eta=|\hat{E}_{+}\rangle\langle\hat{E}_{+}|+|\hat{E}_{-}\rangle\langle\hat{E}_{-}|. \end{align*} $$

Case 2. For $st<r^{2}\sin ^{2}\theta $ , the eigenvalues of H are

$$ \begin{align*} \gamma_{\pm}=r\cos\theta\pm \mathrm{i}\sqrt{r^{2}\sin^{2}\theta-st}\notin \mathbb{R}, \end{align*} $$

the eigenstates corresponding to two eigenvalues are

$$ \begin{align*}|E_{\pm}\rangle=\frac{1}{\sqrt{2(r^{2}\sin^{2}\theta-st)}}\left(\!\!\! \begin{array}{c} s e^{\mathrm{i}\phi/2}\\[.3cm] -\mathrm{i}\Big(r\sin\theta\mp\sqrt{r^{2}\sin^{2}\theta-st}\Big)e^{-\mathrm{i}\phi/2}\\ \end{array}\!\!\! \right), \end{align*} $$

the eigenstates of $H^{\dagger }$ corresponding to the two eigenvalues are

$$ \begin{align*}|\hat{E}_\pm\rangle=\frac{-1}{\sqrt{2}\Big(\sqrt{r^{2}\sin^{2}\theta-st}\pm r\sin\theta \Big)}\left(\!\!\! \begin{array}{c} te^{\mathrm{i}\phi/2} \\[.3cm] \mathrm{i}\Big(r\sin\theta\mp\sqrt{r^{2}\sin^{2}\theta-st}\Big)e^{-\mathrm{i}\phi/2}\\ \end{array}\!\!\! \right), \end{align*} $$

and

$$ \begin{align*}\langle\hat{E}_\pm|E_\pm\rangle=\delta_{ij},\quad i,j\in\{+,-\}.\end{align*} $$

The operator P in this case can be determined according to

$$ \begin{align*} P_{+}=|E_+\rangle\langle\hat{E}_+| &=\frac{1}{2\sqrt{r^{2}\sin^{2}\theta-st}} \\ &\quad \times \left(\!\!\! \begin{array}{cc} \sqrt{r^{2}\sin^{2}\theta-st}+r\sin\theta & -\mathrm{i}se^{\mathrm{i}\phi} \\[.3cm] -\mathrm{i}te^{-\mathrm{i}\phi} & \sqrt{r^{2}\sin^{2}\theta-st}-r\sin\theta\\ \end{array}\!\!\! \right),\\ P_{-}=|E_-\rangle\langle\hat{E}_-| &=\frac{1}{2\sqrt{r^{2}\sin^{2}\theta-st}} \\ &\quad \times \left(\!\!\! \begin{array}{cc} \sqrt{r^{2}\sin^{2}\theta-st}-r\sin\theta & \mathrm{i}se^{\mathrm{i}\phi} \\[.3cm] \mathrm{i}te^{-\mathrm{i}\phi} & \sqrt{r^{2}\sin^{2}\theta-st}+r\sin\theta\\ \end{array}\!\!\! \right). \end{align*} $$

According to equation (3.5), we have

$$ \begin{align*}(\gamma_{-}-\overline{\gamma_+})\langle E_+|E_-\rangle_{W}=0, \quad (\gamma_{+}-\overline{\gamma_-})\langle E_-|E_+\rangle_{W}=0.\end{align*} $$

Since $\gamma _{-}=\overline {\gamma }_{+}$ , we have

$$ \begin{align*}\langle E_+|E_+\rangle_{W}=0, \quad \langle E_-|E_-\rangle_{W}=0.\end{align*} $$

The coefficients $a_{\pm }$ of A are

$$ \begin{align*} a_{+}=\frac{1}{\langle E_-|E_+\rangle_{W}}&=\frac{-\mathrm{i}\sqrt{r^{2}\sin^{2}\theta-st}}{s},\\ a_{-}=\frac{1}{\langle E_+|E_-\rangle_{W}}&=\frac{\mathrm{i}\sqrt{r^{2}\sin^{2}\theta-st}}{s} \end{align*} $$

and

$$ \begin{align*} A=\frac{-\mathrm{i}\sqrt{st-r^{2}\sin^{2}\theta}}{s}(P_{+}-P_{-})=\frac{-1}{s}\left(\!\!\! \begin{array}{cc} \mathrm{i}r\sin\theta & se^{\mathrm{i}\phi} \\ te^{-\mathrm{i}\phi} & -\mathrm{i}r\sin\theta\\ \end{array}\!\!\! \right). \end{align*} $$

Thus,

$$ \begin{align*} \eta=WA=\frac{-1}{s}\left(\!\!\! \begin{array}{cc} t & -\mathrm{i}r\sin\theta e^{\mathrm{i}\phi} \\ \mathrm{i}r\sin\theta e^{-\mathrm{i}\phi} & s \\ \end{array}\!\!\! \right), \end{align*} $$

which is also not positive-definite. Furthermore,

$$ \begin{align*} \langle E_+|E_+\rangle_{\eta}=0,\quad \langle E_-|E_-\rangle_{\eta}=0,\quad \langle E_+|E_-\rangle_{\eta}=1, \end{align*} $$

and

$$ \begin{align*} \eta=|\hat{E}_{+}\rangle\langle\hat{E}_{-}|+|\hat{E}_{-}\rangle\langle\hat{E}_{+}|. \end{align*} $$

4 Conclusion

In this work, the metric operators for pseudo-Hermitian Hamiltonians on $B(\mathbb {C}^{d})$ are discussed and some properties of the metric operators are obtained. Under the condition that $H\in B(\mathbb {C}^{d})$ is a pseudo-Hermitian Hamiltonian and $W\in B(\mathbb {C}^{d})$ is invertible, W is a metric operator for H if and only if

$$ \begin{align*}(I\otimes H^{T}-H^{\dagger}\otimes I)\mathrm{vec}(W)=0.\end{align*} $$

This provides a method for calculating a metric operator for a pseudo-Hermitian Hamiltonian. Furthermore, when a pseudo-Hermitian Hamiltonian has real spectra, Theorem 3.1 states that any given metric operator can be transformed into a positive-definite one as

$$ \begin{align*}\eta=\sum_{j=1}^{d} |\hat{E}_j\rangle\langle \hat{E}_j|.\end{align*} $$

Moreover, the positive-definite metric operator by this method is not unique, provided that we change the construction of $P_{j}$ in equation (3.8). If we put

$$ \begin{align*}P_{j}=p_{j}|E_j\rangle\langle \hat{E}_j|, \quad p_{j}>0,\end{align*} $$

then the positive-definite metric operator is

$$ \begin{align*} \eta_{1}=\sum_{j=1}^{d} p_{j}|\hat{E}_j\rangle\langle \hat{E}_j|. \end{align*} $$

When there exists a pair of nonreal eigenvalues of a pseudo-Hermitian Hamiltonian, equation (3.12) provides an expression for the metric operator $\eta $ . In fact, consider

$$ \begin{align*} \eta_{2}=\sum_{t} |\hat{E}_t\rangle\langle \hat{E}_t|+\delta_{\gamma_{j},\bar{\gamma}_{k}}\mathrm{i}(|\hat{E}_k\rangle\langle \hat{E}_j|-|\hat{E}_j\rangle\langle \hat{E}_k|), \end{align*} $$

where $\mathrm {i}$ makes $\eta _{2}$ Hermitian. It can be checked that $\eta _{2}$ is also a metric operator for H.

Acknowledgements

This project is supported by the National Natural Science Foundation of China (grants 11971283 and 11871318), the Fundamental Research Funds for the Central Universities (grant no. GK202003093) and the Natural Science Research Program of Shaanxi Province (grant no. 2021JQ-301).

References

Bellman, R., Introduction to matrix analysis (Society for Industrial and Applied Mathematics, Philadelphia, PA, 1987); doi:10.1137/1.9781611971170.fm.Google Scholar
Bender, C. and Boettcher, S., “Real spectra in non-Hermitian Hamiltonians having PT symmetry”, Phys. Rev. Lett. 80 (1998) 52435246; doi:10.1103/PhysRevLett.80.5243.CrossRefGoogle Scholar
Bender, C. M., “Making sense of non-Hermitian Hamiltonians”, Rep. Progr. Phys. 70 (2007) 9471018; doi:10.1088/0034-4885/70/6/R03.CrossRefGoogle Scholar
Bender, C. M., Boettcher, S. and Meisinger, P. N., “PT-symmetric quantum mechanics”, J. Math. Phys. 40 (1999) 22012229; doi:10.1063/1.532860.CrossRefGoogle Scholar
Feinberg, J. and Riser, R., “Pseudo-Hermitian random matrix theory: A review”, J. Phys.: Conf. Ser. 2038 (2021) Article ID 012009; doi:10.1088/1742-6596/2038/1/012009.Google Scholar
Feinberg, J. and Znojil, M., “Which metrics are consistent with a given pseudo-Hermitian matrix”, J. Math. Phys. 63 (2022) Article ID 013505; doi:10.1063/5.0079385.CrossRefGoogle Scholar
Fring, A. and Frith, T., “Quasi-exactly solvable quantum systems with explicitly time-dependent Hamiltonians”, Phys. Lett. A 383 (2019) 158163; doi:10.1016/j.physleta.2018.10.043.CrossRefGoogle Scholar
Galeano, D. A., Zhang, X. X. and Mahecha, J., “Topological circuit of a versatile non-Hermitian quantum system”, Sci. China-Phys. Mech. Astron. 65 (2022) Article ID 217211; doi:10.1007/s11433-021-1783-3.CrossRefGoogle Scholar
Gopalakrishnan, S. and Gullans, M. J., “Entanglement and purification transitions in non-Hermitian quantum mechanics”, Phys. Rev. Lett. 126 (2021) Article ID 170503; doi:10.1103/PhysRevLett.126.170503.CrossRefGoogle ScholarPubMed
Huang, Y. F., Cao, H. X. and Wang, W. H., “Unitary evolution and adiabatic theorem of pseudo self-adjoint quantum systems”, Acta Math. Sin. 62 (2019) 469478 (in Chinese); doi:10.12386/A2019sxxb0044.Google Scholar
Kawabata, K. and Sato, M., “Real spectra in non-Hermitian topological insulators”, Phys. Rev. Res. 2 (2020) Article ID 033391; doi:10.1103/PhysRevResearch.2.033391.CrossRefGoogle Scholar
Mostafazadeh, A., “Pseudo-Hermiticity versus PT-symmetry: The necessary condition for the reality of the spectrum of a non-Hermitian Hamiltonian”, J. Math. Phys. 43 (2002) 205214; doi:10.1063/1.1418246.CrossRefGoogle Scholar
Mostafazadeh, A., “Pseudo-Hermiticity versus PT-symmetry II: A complete characterization of non-Hermitian Hamiltonians with a real spectrum”, J. Math. Phys. 43 (2002) 28142816; doi:10.1063/1.1461427.CrossRefGoogle Scholar
Mostafazadeh, A., “Pseudo-Hermiticity versus PT-symmetry III: Equivalence of pseudo-Hermiticity and the presence of antilinear symmetries”, J. Math. Phys. 43 (2002) 39443951; doi:10.1063/1.1489072.CrossRefGoogle Scholar
Mostafazadeh, A., “Exact PT-symmetry is equivalent to Hermiticity”, J. Phys. A 36 (2003) 70817091; doi:10.1088/0305-4470/36/25/312.CrossRefGoogle Scholar
Mostafazadeh, A., “Krein-space formulation of PT-symmetry, CPT-inner products, and pseudo-Hermiticity”, Czech. J. Phys. 56 (2006) 919933; doi:10.1007/s10582-006-0388-8.CrossRefGoogle Scholar
Mostafazadeh, A., “Metric operator in pseudo-Hermitian quantum mechanics and the imaginary cubic potential”, J. Phys. A 39 (2006) 1017110188; doi:10.1088/0305-4470/39/32/S18.CrossRefGoogle Scholar
Musumbu, D. P., Geyer, H. B. and Heiss, W. D., “Choice of a metric for the non-Hermitian oscillator”, J. Phys. A 40 (2007) F75F80; doi:10.1088/1751-8113/40/2/F03.CrossRefGoogle Scholar
Raimundo, K., Baldiotti, M. C., Fresneda, R. and Molina, C., “Classical-quantum correspondence for two-level pseudo-Hermitian systems”, Phys. Rev. A 103 (2021) Article ID 022201; doi:10.1103/PhysRevA.103.022201.CrossRefGoogle Scholar
Scholtz, F. G. and Geyer, H. B., “Operator equations and Moyal products-metrics in quasi-Hermitian quantum mechanics”, Phys. Lett. B 634 (2006) 8492; doi:10.1016/j.physletb.2006.01.022.CrossRefGoogle Scholar
Scholtz, F. G., Geyer, H. B. and Hahne, F. J. W., “Quasi-Hermitian operators in quantum mechanics and the variational principle”, Ann. Phys. 213 (1992) 47101; doi:10.1016/0003-4916(92)90284-S.CrossRefGoogle Scholar
Zhan, X., Wang, K., Xiao, L., Bian, Z., Zhang, Y., Sanders, B. C., Zhang, C. and Xue, P., “Experimental quantum cloning in a pseudo-unitary system”, Phys. Rev. A 101 (2020) Article ID 010302(R); doi:10.1103/PhysRevA.101.010302.CrossRefGoogle Scholar
Zhang, R. L., Qin, H. and Xiao, J. Y., “PT-symmetry entails pseudo-Hermiticity regardless of diagonalizability”, J. Math. Phys. 61 (2020) Article ID 012101; doi:10.1063/1.5117211.CrossRefGoogle Scholar