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.
-
(i) The spectra of H are all real or complex conjugate pairs.
-
(ii) $W^{\dagger }$ is also a metric operator for H, and a Hermitian metric operator for H can always be determined.
-
(iii) For any $\lambda \in \mathbb {R}\backslash \{0\}$ , $\lambda W$ is a metric operator for H.
-
(iv) If M is another metric operator for H and $W+M$ is invertible, then $W+M$ is a metric operator for H.
-
(v) If an invertible operator A commutes with H, then $WA^{k}(k\in \mathbb {N})$ are metric operators for H.
-
(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}$ .
-
(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.
-
(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. -
(iii) This follows from the definition of the pseudo-Hermitian Hamiltonian.
-
(iv) This follows from the definition of the pseudo-Hermitian Hamiltonian.
-
(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.
-
(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
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
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
Proof. Necessity. Let W be a metric operator for H. Then $H^{\dagger }=WHW^{-1}$ and
Using the property of the vec mapping,
we have
Thus,
Sufficiency. Let W satisfy $(I\otimes H^{T}-H^{\dagger }\otimes I)\mathrm {vec}(W)=0$ . Then
and
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.
-
(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$ .
-
(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 }$ .
-
(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
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:
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,
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:
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
In addition, if H is a pseudo-Hermitian Hamiltonian with metric operator W, that is, $H^{\dagger }=WHW^{-1}$ , put
Then, for any m,n,
and we can write
Therefore, this determines
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
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),
Put
and
We have
and
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
Then
Since A commutes with H, we get that $\eta $ is also a metric operator for H by Theorem 2.2(v). Next define
We have
Since W is invertible and Hermitian, by equation (3.6), we have
Then
where $\tilde {\rho }_{n}$ are positive or negative real numbers. Thus,
If we choose the coefficients of A as
then
By this method of constructing $\eta $ , we have
According to equation (3.3),
and multiplying $|E_j\rangle $ yields
Thus,
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,
By equation (3.7) and vec mapping,
followed by biorthogonality relation equation (3.2), we have
Moreover, since $\eta $ is positive-definite, there exists an operator $\rho $ such that $\eta =\rho ^{\dagger }\rho $ . Put
where $\{|e_j\rangle \}$ is the standard basis of $\mathbb {C}^{d}$ . Then
and
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
we get
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
and the given metric operator
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
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
Then H is quasi-Hermitian, and there must exist a positive-definite metric operator. The eigenstates of H corresponding to the two eigenvalues are
the eigenstates of $H^{\dagger }$ corresponding to the two eigenvalues are
and
The operator P in this case can be determined according to
The coefficients $a_{\pm }$ of A are
and
Thus,
It can now be checked that
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
Case 2. For $st<r^{2}\sin ^{2}\theta $ , the eigenvalues of H are
the eigenstates corresponding to two eigenvalues are
the eigenstates of $H^{\dagger }$ corresponding to the two eigenvalues are
and
The operator P in this case can be determined according to
According to equation (3.5), we have
Since $\gamma _{-}=\overline {\gamma }_{+}$ , we have
The coefficients $a_{\pm }$ of A are
and
Thus,
which is also not positive-definite. Furthermore,
and
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
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
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
then the positive-definite metric operator is
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
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).