In this paper, we show that three different generalized similarities enclose all unitary and anti-unitary symmetries that induce exceptional points in lower-dimensional non-Hermitian systems. We prove that the generalized similarity conditions result in a larger class of systems than any class defined by a unitary or anti-unitary symmetry. Further we highlight that the similarities enforce spectral symmetry on the Hamiltonian resulting in a reduction of the codimension of exceptional points. As a consequence we show that the similarities drive the emergence of exceptional points in lower dimensions without the more restrictive need for a unitary and/or anti-unitary symmetry.
I. INTRODUCTION
In recent years non-Hermitian (NH) Hamiltonians have attracted increasing attention, and one active branch of research focuses on the role of symmetries in NH systems.1 A complete classification in terms of 38 symmetry classes was derived by Kawabata et al.,2 and the topological features of these classes as well as the connection between some of them is studied in the literature.2,3 Further, it is generally recognized that certain unitary and anti-unitary symmetries lower the codimension of exceptional points (EPs), which are degeneracies where the eigenvalues and the corresponding eigenvectors coalesce.2,4–7 The generic appearance of EPns, where n is the order of the EP set by the number of coalescing eigenvectors, is determined by the codimension of the EP. As such, unitary and anti-unitary symmetries, which are local in parameter space—namely, parity-time and anti- symmetry, pseudo-Hermitian symmetry, as well as sublattice symmetry, chiral symmetry and parity-particle-hole symmetry—inflict symmetries on the spectrum, and therefore reduce the codimension of the EPs.8–12
Pairing of all EP-inducing symmetries as special cases of generalized similarities. The three generalized similarity relations that lower the codimension of EPs are given. The different (anti-)unitary symmetries enclosed by the generalized similarities are shown. Trivial cases of the symmetries, where the generator is the identity, are also included in the overview.
Pairing of all EP-inducing symmetries as special cases of generalized similarities. The three generalized similarity relations that lower the codimension of EPs are given. The different (anti-)unitary symmetries enclosed by the generalized similarities are shown. Trivial cases of the symmetries, where the generator is the identity, are also included in the overview.
The (anti-)unitary symmetries can be grouped into three pairs based on the type of constraint they enforce on the set of eigenenergies.8,16 In this work, we show that the spectral symmetries already come about in the presence of similarity relations and not just in the presence of more restrictive symmetries. These similarity relations, namely, pseudo-Hermiticity, pseudo-anti-Hermiticity and self skew-similarity, naturally pair the anti-unitary and unitary symmetries, cf. Fig. 1, and enforce the spectral symmetry. The symmetries appear as special cases of these three EP-inducing generalized similarities.
The relation of symmetry and pseudo-Hermiticity, which denotes the similarity of H and its adjoint H†, is well established. Quantum mechanics formulated on the basis of -symmetric operators was investigated by Bender and co-workers,17–19 and has been related to pseudo-Hermitian operators. For diagonalizable -symmetric operators, Mostafazadeh proved pseudo-Hermiticity by explicitly showing the similarity between H and H†.20–23 Later this was extended to any finite -symmetric Hamiltonian by Zhang et al.24 In Sec. II we summarize and expand upon their results by showing a further connection to Hermitian and pseudo-Hermitian symmetric matrices, where we note the subtle difference between pseudo-Hermiticity and pseudo-Hermitian symmetry. Pseudo-Hermiticity alone already enforces symmetries on the spectrum, and thus lowers the codimension of EPs, while symmetry and pseudo-Hermitian symmetry constitute two special cases. Further we include Hermitian Hamiltonians as a special case of pseudo-Hermitian symmetric systems, which has additional spectral symmetry that naturally prevents EPs from emerging. We also comment on real Hamiltonians as a special case of -symmetry.
We find a similar structure for anti--symmetric and chiral-symmetric systems. Both symmetries enforce pseudo-anti-Hermiticity on the systems, which we define in Sec. III. We prove that all anti--symmetric and chiral-symmetric systems are pseudo-anti-Hermitian. We show the spectral constraint follows from pseudo-anti-Hermiticity, and relate anti-Hermiticity to pseudo-anti-Hermiticity. We compare pseudo-Hermiticity and pseudo-anti-Hermiticity, which have a resembling effect on the spectrum, and point out the similarities and differences between them.
In Sec. IV we follow the same approach for -symmetry and sublattice symmetry, where we find that in both cases the Hamiltonian exhibits self skew-similarity. This self skew-similarity is the origin of the spectral symmetry. We note that self skew-similarity behaves differently from pseudo-Hermiticity and pseudo-anti-Hermiticity, because it does not relate the Hamiltonian to its adjoint, but instead is a property of the Hamiltonian itself. This results in differences in the treatment of self skew-similarity.
We provide a conclusion in Sec. V.
II. PSEUDO-HERMITIAN SYSTEMS
For a matrix , H is pseudo-Hermitian if and only if there exist a nonsingular Hermitian matrix η and a Hermitian matrix A such that H = ηA.
Insert H = ηA in the definition of pseudo-Hermiticity using η as the similarity matrix.
We give this theorem here to provide a general decomposition of pseudo-Hermitian matrices, and to highlight a method of generating generic pseudo-Hermitian matrices.
For a matrix , H is pseudo-Hermitian if and only if it is similar to its complex conjugate H*.
The Proof of Theorem 1.2 can be found in Ref. 24. They show that the necessity follows from the definition of pseudo-Hermiticity and the similarity of every matrix to its transpose. The proof of sufficiency is shown explicitly. The similarity of H and H* results in real eigenvalues or pairs of complex conjugate eigenvalues. By ordering the Jordan canonical form of H in real Jordan blocks and block structures of complex conjugate Jordan blocks, Zhang et al. are able to construct the Hermitian similarity transformation η for any Hamiltonian that is similar to its complex conjugate. Theorem 2.1 and 2.2 are equivalent criteria for pseudo-Hermiticity.
For finite-dimensional systems, a -symmetric or pseudo-Hermitian symmetric Hamiltonian H is necessarily pseudo-Hermitian.
By the definition of pseudo-Hermiticity and pseudo-Hermitian symmetry this is clear for the later statement. For a -symmetric system Eq. (6) shows that H is similar to H*. Therefore, according to Theorem 2.2 the Hamiltonian is pseudo-Hermitian. This was already realized by Zhang et al. in Ref. 24.
For any , if H is pseudo-Hermitian it is necessarily -symmetric and pseudo-Hermitian symmetric. For finite-dimensional systems with dimension n > 2, pseudo-Hermiticity does not imply either symmetry of the Hamiltonian.
H has a certain symmetry if and only if there exists a unitary matrix U fulfilling Eq. (6) or (7) with the symmetry specific additional condition on U. Note that the case n = 1 is trivial due to the fact that H reduces to a real number. We show first whether a unitary similarity U between H and H* or H† exists in general and then investigate the properties of U. For the proof we make use of Specht’s criterion.25
For any n ≥ 3 to find unitary similarity it is necessary that the traces of the words for n = 3 have to be equal, while there are more non-redundant words for n > 3. However, for non-normal H, i.e., [H, H†] ≠ 0, equality of the word traces of H and H* as well as of H and H† does not follow from pseudo-Hermiticity. Thus for n ≥ 3 pseudo-Hermiticity is more general and not equivalent to -symmetry or pseudo-Hermitian symmetry.
We note that normality of H restores the equivalence of similarity and symmetry, which can be shown from the diagonalisability of H and the pseudo-Hermitian spectral properties. For any normal H pseudo-Hermiticity is equivalent to both -symmetry and pseudo-Hermitian symmetry. However, normality prohibits the emergence of EPs altogether, because the Hamiltonian must be diagonalizable in the whole parameter space. Therefore, we consider non-normal Hamiltonians in the following for which the pseudo-Hermiticity is more general then any of the two symmetries.
For any , if H is pseudo-Hermitian the codimension of an EPn is reduced to n − 1.
It has been shown in Ref. 8 that the 2(n − 1) real constraints for the emergence of an EPn in the spectrum of traceless can be cast as det[H] = ∏iϵi = 0 and for 2 ≤ k < n with the eigenvalues ϵi of H. The determinant and the traces are in general complex. Pseudo-Hermiticity implies the spectral symmetry , which results in . This reduces the codimension of the EPn to n − 1.
For symmetry and pseudo-Hermitian symmetry this was shown in Ref. 8, but the symmetries are special cases of pseudo-Hermiticity according to Theorem 2.3. From Theorem 2.4 we know that pseudo-Hermiticity is more general than the two symmetries, and it already induces the EPs in lower dimension without the need of symmetry. Thus we have shown that not symmetry but similarity drives the emergence of exceptional points in lower dimensions. Further the spectral structure surrounding the similarity-induced EPs is fully determined by the similarity even in the presence of the more restrictive -symmetry or pseudo-Hermitian symmetry. This spectral structure is discussed in detail in previous papers on symmetry-induced EPs. Symmetry-protected EP2 rings were found,1 and the rich spectral features surrounding symmetry-induced EP3s, EP4s and EP5s in two dimensions have also been analyzed.16,34
In addition to symmetry and pseudo-Hermitian symmetry, pseudo-Hermiticity encloses two more special cases, namely, Hermitian and real matrices. We note that a Hermitian matrix is a special case of a pseudo-Hermitian symmetric systems, and a real Hamiltonian a special case of -symmetric systems, with the symmetry generator being the identity operation in both cases. Our results concerning EPs are applicable to real matrices, while Hermiticity does not allow for EPs.
III. PSEUDO-ANTI-HERMITIAN SYSTEMS
For a matrix , H is pseudo-anti-Hermitian if and only if is pseudo-Hermitian.
To prove this Theorem insert in the definition of pseudo-Hermiticity Eq. (4) and take Γ = η as the similarity matrix.
Due to this relation between pseudo-Hermitian and pseudo-anti-Hermitian matrices we can straightforwardly deduct properties of pseudo-anti-Hermitian matrices.
The eigenvalues ϵ of pseudo-anti-Hermitian matrices fulfill .
For a matrix , H is pseudo-anti-Hermitian if and only if it is skew-similar to its complex conjugate H*.
A proof of Corollary 3.2 by explicit construction of the similarity generator is carried out analogous to the construction of the generator of pseudo-Hermiticity in Ref. 24.
Due to the connection between the and the pseudo-Hermitian symmetry of to the anti- and the chiral symmetry of H, respectively, we can infer properties of pseudo-anti-Hermitian matrices from the theorems 2.3, 2.4 and 3.1.
For finite-dimensional systems, an anti--symmetric or chiral-symmetric Hamiltonian H is necessarily pseudo-anti-Hermitian.
For any , if n = 2 and H is pseudo-anti-Hermitian it is necessarily anti--symmetric and chiral symmetric. For finite-dimensional systems with dimension n > 2, pseudo-anti-Hermiticity does not imply either symmetry of the Hamiltonian.
The equivalence of pseudo-anti-Hermiticity and anti--symmetry as well as chiral symmetry can be restored by enforcing normality on the Hamiltonian H. However, this would disallow exceptional points to emerge in the systems as already mentioned before.
For any , if H is pseudo-anti-Hermitian the codimension of an EPn is reduced to n − 1.
While this Corollary follows from Theorem 2.5 and 3.1 we expand on this here in more detail to clarify the reasoning for the pseudo-anti-Hermitian system. We consider the complex conditions det[H] = 0 and tr[Hk] = 0 for 2 ≤ k < n. The spectral symmetry , which is a consequence of the pseudo-anti-Hermiticity, reduces the number of constraints, because the determinant of H and each of the traces of Hk is either real or purely imaginary. This reduces the codimension of the EP to n − 1. For the two symmetries enclosed by pseudo-anti-Hermiticity according to Corollary 3.3 this was shown in Ref. 8. However, from Corollary 3.4 it is clear that pseudo-anti-Hermiticity is more general than either anti--symmetry or chiral symmetry. Pseudo-anti-Hermiticity already induced EPs by lowering their codimension without the need of symmetries of the Hamiltonian. Further, the spectral structure surrounding a pseudo-anti-Hermiticity-induced exceptional point is fully determined by the skew-similarity of the Hamiltonian. For EP3s in two dimensions the spectral structure is equivalent to the structures described in Ref. 16 for anti--symmetry and chiral symmetry.
Besides anti--symmetric and chiral-symmetric systems there are two notable special cases of pseudo-anti-Hermitian systems. The first case is anti-Hermiticity of H, meaning H = −H†, which can be interpreted as chiral symmetry with the identity as generator. Because anti-Hermiticity implies normality no exceptional points can emerge in anti-Hermitian systems. The other case are imaginary matrices H = −H*, which are anti--symmetric with the identity as generator. Our results are thus also applicable for imaginary matrices.
IV. SELF SKEW-SIMILAR SYSTEMS
For finite-dimensional systems, a sublattice-symmetric or -symmetric Hamiltonian H is necessarily self skew-similar.
By the definition of sublattice symmetry it is clear that a sublattice-symmetric Hamiltonian is self skew-similar. Because every matrix is similar to its transpose, -symmetry entails self skew-similarity.
For any Hamiltonian , self skew-similarity does not imply either symmetry of the Hamiltonian for n ≥ 2.
For any with n ≥ 3 Specht’s criterion is not fulfilled for a generic self skew-similar matrix. For Specht’s criterion is always fulfilled, however, the additional properties enforced on the unitary operator to be a symmetry generator are not fulfilled for either sublattice symmetry or -symmetry. Note that n = 1 is a special case, because the self skew-similarity implies H = 0, which has arbitrary unitary and anti-unitary symmetries.
For any , if H is self skew-similar the codimension of an EPn is reduced to n if n is even and to n − 1 if n is odd.
For the two symmetries that realize self skew-similar Hamiltonians this was shown in Ref. 8. From Theorem 3.3 it is clear that self skew-similarity is more general than either of the two symmetries. According to Theorem 3.4 self skew-similarity already induces EPns by lowering their codimension. Because the spectral symmetry is enforced by the similarity, symmetry of the Hamiltonian is not needed. Further the spectral structure accompanying the similarity-induced EPs is determined by the self skew-similarity, and also not affected by the additional constraints of -symmetry or sublattice symmetry.
A special case of self skew-similarity are anti-symmetric Hamiltonians H = −HT, which are -symmetric with the identity as generator. All our results are applicable for anti-symmetric matrices.
V. CONCLUSIONS
It was previously shown that -symmetry entails pseudo-Hermiticity for finite dimensional systems. In this paper we show that this relation can be generalized to all unitary and anti-unitary symmetries, which lower the codimension of exceptional points. We prove that each of these symmetries is a special case of one of three generalized similarities, namely, pseudo-Hermiticity, pseudo-anti-Hermiticity, and self skew-similarity. Each similarity encompasses two symmetries, and in the case of pseudo-Hermiticity and pseudo-anti-Hermiticity for finite-dimensional systems of size n > 2 the similarities are more general than the respective symmetries. In the case of self skew-similar Hamiltonians this even holds for n ≥ 2.
Overall we find that the spectral features of non-Hermitian systems and the emergence of stable EPs is linked to the relevant similarity, and not the symmetry of the system contrary to previous assumptions. The similarities are far less restrictive compared to unitary or anti-unitary symmetries. As such, the presence of similarities may lead to the robustness of symmetry-stabilized non-Hermitian features to symmetry-breaking perturbations.
ACKNOWLEDGMENTS
We are grateful to Julius Gohsrich and Alexander Felski for insightful discussions. We acknowledge funding from the Max Planck Society Lise Meitner Excellence Program 2.0. We also acknowledge funding from the European Union via the ERC Starting Grant “NTopQuant.” Views and opinions expressed are however those of the authors only and do not necessarily reflect those of the European Union or the European Research Council (ERC). Neither the European Union nor the granting authority can be held responsible for them.
AUTHOR DECLARATIONS
Conflict of Interest
The authors have no conflicts to disclose.
Author Contributions
Anton Montag: Conceptualization (lead); Investigation (lead); Methodology (lead); Visualization (lead); Writing – original draft (lead); Writing – review & editing (equal). Flore K. Kunst: Funding acquisition (equal); Supervision (equal); Writing – review & editing (equal).
DATA AVAILABILITY
The data that support the findings of this study are available within the article.