---
title: Derogatory Exceptional Points in Non-Hermitian Systems
url: https://www.emergentmind.com/topics/derogatory-exceptional-points-eps
type: topic
---

# Derogatory Exceptional Points in Non-Hermitian Systems

Searching arXiv for the cited papers and closely related work on derogatory exceptional points, fragmented exceptional points, and similarity-/symmetry-constrained non-Hermitian degeneracies.
Derogatory exceptional points are non-Hermitian degeneracies in which a coalesced eigenvalue is represented by multiple Jordan blocks rather than a single block. In the framework developed for non-Hermitian degeneracies, an exceptional point (EP) occurs when a Hamiltonian \(H(\mathbf{p})\) becomes defective, several eigenvectors coalesce, and \(H\) is not diagonalizable; if the coalesced eigenvalue \(\lambda\) has algebraic multiplicity \(m\) and geometric multiplicity \(g\), then its Jordan normal form contains \(g\) Jordan blocks of sizes \(\{r_1,\dots,r_g\}\) with \(\sum_i r_i=m\). A nonderogatory EP has one block, whereas a derogatory EP has \(g>1\) blocks sharing the same eigenvalue [2604.16139]. Recent work has shown that such degeneracies are not static classifications: under carefully chosen infinitesimal but nontrivial perturbations, a derogatory EP can convert into another EP of the same total order but different Jordan structure, often with a larger largest block and therefore stronger non-analytic sensitivity [2604.16139]. Closely related literature also studies the same phenomenon under the name fragmented exceptional points (FEPs), emphasizing partial eigenvector coalescence and mode fragmentation [2507.22158].

## 1. Definitions, Jordan structure, and algebraic data

For a finite-dimensional non-Hermitian matrix, the local structure of a degenerate eigenvalue is encoded by its Jordan decomposition. Near an EP at parameters \(\mathbf{p}_0\) with eigenvalue \(\lambda_0\), one may pass to a basis where the \(\lambda_0\)-subspace takes the form
\[
J(\lambda_0)=\mathrm{diag}(J_{r_1}(\lambda_0),\dots,J_{r_g}(\lambda_0)),
\]
with \(J_r(\lambda)=\lambda I_r+N_r\), where \(N_r\) has ones on the superdiagonal and zeros elsewhere. The characteristic polynomial factorizes as \(\chi_H(x)=(x-\lambda_0)^m q(x)\), with \(q(\lambda_0)\neq 0\), and defectiveness is expressed by chains of generalized eigenvectors satisfying
\[
(H-\lambda_0 I)\psi_1=0,\quad (H-\lambda_0 I)\psi_2=\psi_1,\dots,(H-\lambda_0 I)\psi_r=\psi_{r-1}
\]
for each block [2604.16139].

A central invariant is the size \(r_{\max}\) of the largest Jordan block. Equivalently, the factor attached to \(\lambda\) in the minimal polynomial is
\[
\mu_H(x)=(x-\lambda)^{r_{\max}},
\]
so the degree of the minimal polynomial at the degenerate eigenvalue is \(r_{\max}\), not the full algebraic multiplicity \(m\) unless the EP is nonderogatory [2604.16139]. In the terminology of fragmented exceptional points, the fragmentation pattern is the ordered partition \(\mathbf{r}=(r_1,\dots,r_g)\), with \(g\) the geometric multiplicity and \(r_{\max}=\max_i r_i\) [2507.22158].

Several algebraic diagnostics distinguish the Jordan content beyond the mere existence of a repeated root. One route uses derivatives of the characteristic polynomial: a root \(\lambda_0\) has multiplicity \(m\) iff \(\chi(\lambda_0)=\chi'(\lambda_0)=\cdots=\chi^{(m-1)}(\lambda_0)=0\) and \(\chi^{(m)}(\lambda_0)\neq 0\), but fixing the Jordan structure requires additional rank tests on \((H-\lambda_0 I)^k\) [2508.02565]. Another route uses kernel-growth identities. For a fragmentation pattern \((r_1,\dots,r_g)\),
\[
\dim\ker(H-\lambda_0 I)^k=\sum_{i=1}^{g}\min(k,r_i),
\]
so the nullity increments determine the block sizes directly [2507.22158]. In sublattice-symmetric settings this kernel-growth viewpoint becomes an explicit algebraic classification method based on image and kernel relations of the off-diagonal blocks \(B\) and \(B'\) [2211.08449].

A terminological caveat is necessary. In the usage of [2604.16139], [2508.02565], [2211.08449], and [2507.22158], derogatory EPs remain defective degeneracies with multiple Jordan blocks at the same eigenvalue. By contrast, [2204.13945] identifies “derogatory exceptional points” with what it calls non-defective EPs, namely diagonalizable repeated-eigenvalue degeneracies protected by symmetry. This reflects a difference between the linear-algebraic adjective “derogatory” and the more specific non-Hermitian-physics usage centered on partial eigenvector coalescence [2204.13945].

## 2. Sensitivity, Puiseux scaling, and partial coalescence

The leading perturbative sensitivity of a non-Hermitian degeneracy is controlled by the largest Jordan block. Under a small perturbation \(\varepsilon\), taken in any parameterization transverse to the degeneracy manifold, the generic eigenvalue splitting obeys a Puiseux expansion
\[
\lambda_j(\varepsilon)=\lambda_0+c_j \varepsilon^{1/r_{\max}}+O(\varepsilon^{2/r_{\max}}),
\]
so the sensitivity scales as \(\Delta\lambda\sim \varepsilon^{1/r_{\max}}\) [2604.16139]. For \(m=4\), the nonderogatory type \([4]\) has \(r_{\max}=4\) and exhibits \(\Delta\lambda\sim \varepsilon^{1/4}\), whereas the derogatory type \([2,2]\) has \(r_{\max}=2\) and \(\Delta\lambda\sim \varepsilon^{1/2}\), and \([3,1]\) has \(\Delta\lambda\sim \varepsilon^{1/3}\) [2604.16139].

This scaling law has an immediate structural interpretation: for a derogatory EP with partition \(\{r_i\}\), each Jordan block of size \(r_i\) behaves like an isolated nonderogatory \(\mathrm{EP}_{r_i}\) under generic perturbation, splitting with exponent \(1/r_i\) [2604.16139]. The same point is emphasized in the FEP language, where the perturbation response is controlled by the largest partial multiplicity \(\ell_i=r_{\max}\), with
\[
\Delta E_i\sim (\varepsilon\,\xi_i)^{1/\ell_i},
\]
while the Green’s function exhibits a super-Lorentzian divergence
\[
P(E)=\mathrm{tr}[G^\dagger(E)G(E)]\propto \frac{|\eta_i|^2}{|E-E_i|^{2\ell_i}}.
\]
For non-derogatory EPs one has \(\beta_i=1\) and \(\eta_i=\xi_i\), whereas for fragmented or derogatory EPs \(\beta_i>1\) and \(\eta_i\) and \(\xi_i\) differ, reflecting the multi-mode geometry [2507.22158].

Partial coalescence also modifies monodromy. Encircling an \(\mathrm{EP}_m\) associated with a single block produces an \(m\)-cycle permutation of Riemann sheets, while a decomposition \(J_{m_1}\oplus J_{m_2}\oplus\cdots\) yields a direct product of cycles of lengths \(m_i\). Thus the monodromy at a nonderogatory \(J_3\) differs from that of a derogatory \(J_2\oplus J_1\), where only one pair of sheets is exchanged and one sheet remains fixed [2508.02565].

In sublattice-symmetric systems, eigenvector coalescence can be strongly path dependent. A mixed-type \(\mathrm{EP}_3\) at \(E_0=0\), realized as \(\mathrm{diag}\{J_3(0),0\}\), may behave along one path as an EP4-like fourfold collapse, with all four eigenvectors converging to the same EP eigenvector, and along another path as an EP2-like collapse with two spectators. This is quantified in [2211.08449] using the quantum distance
\[
D^2(u,u')=2-2|\langle u|u'\rangle|,
\]
which shows that different subsets of eigenvectors may converge to different limiting zero modes depending on the approach direction [2211.08449].

## 3. Degeneracy manifolds, codimension, and infinitesimal conversion

The geometric organization of derogatory EPs is expressed in terms of degeneracy manifolds. For an \(n\times n\) matrix with a single eigenvalue \(\lambda=0\), the set of matrices realizing a given Jordan type forms the conjugacy manifold
\[
\mathcal{M}_{m_1,\dots,m_q}=\{S J_{m_1,\dots,m_q} S^{-1}\mid S\in GL_n(\mathbb{C})\},
\]
where \(J_{m_1,\dots,m_q}=J_{m_1}\oplus\cdots\oplus J_{m_q}\), \(m_1\ge m_2\ge\cdots\ge m_q\), and \(\sum_i m_i=m\) [2604.16139]. Perturbations tangent to this orbit are similarity variations and are therefore trivial; perturbations transverse to the orbit are nontrivial and can change the Jordan type or lift the degeneracy [2604.16139].

For nonderogatory EPs, Arnold’s miniversal deformation places a complete set of nontrivial parameters entirely in the last row of the Jordan block. In that case, any nontrivial perturbation generically lifts the degeneracy [2604.16139]. Derogatory EPs have a larger number of nontrivial parameters, i.e. higher codimension, and this excess of transverse directions over the number of independent constraints in the characteristic polynomial makes it possible to remain degenerate while changing Jordan type [2604.16139].

The dimension and codimension of these manifolds are explicit. For fixed trace, the ambient space of \(n\times n\) matrices has dimension \(n^2-1\). The orbit dimension is
\[
\dim(\mathcal{M})=n^2-\dim(\mathrm{Centralizer}(J)),
\]
and for nilpotent Jordan types
\[
\dim(\mathrm{Centralizer})=\sum_i \hat m_i^2,
\]
where \(\{\hat m_i\}\) are the column lengths of the Young diagram. Hence
\[
\dim(\mathcal{M})=n^2-\sum_i \hat m_i^2,\qquad
\mathrm{codim}(\mathcal{M})=\sum_i \hat m_i^2-1.
\]
The number of independent nontrivial perturbation parameters equals this codimension [2604.16139].

The mechanism of conversion appears already in low dimensions. In the \(3\times 3\) traceless case, the derogatory type \((2,1)\) admits a 4-parameter nontrivial perturbation, while the characteristic polynomial depends only on two combinations. Imposing the pair of constraints
\[
\delta J_{21}+\delta J_{33}^2=0,\qquad
\delta J_{23}\delta J_{31}-\delta J_{21}\delta J_{33}=0
\]
keeps \(\chi(\lambda)=\lambda^3\) and converts \((2,1)\to(3)\) with an infinitesimal perturbation [2604.16139]. The same logic scales to higher order: a derogatory EP can be kept on the degeneracy manifold while merging blocks and increasing \(r_{\max}\) [2604.16139].

An explicit \(4\times 4\) example realizes \([2,2]\to[4]\). Starting from
\[
H_0=J_2\oplus J_2=
\begin{pmatrix}
0&1&0&0\\
0&0&0&0\\
0&0&0&1\\
0&0&0&0
\end{pmatrix},
\]
one adds the structured perturbation \(V=E_{4,1}\) and sets \(H(\varepsilon)=H_0+\varepsilon V\). Then \(H(\varepsilon)^4=0\) but \(H(\varepsilon)^3\neq 0\), so the nilpotency index is \(4\), and \(H(\varepsilon)\) is similar to \(J_4\) for any \(\varepsilon\neq 0\). The conversion increases \(r_{\max}\) from \(2\) to \(4\), and the leading sensitivity strengthens from \(\varepsilon^{1/2}\) to \(\varepsilon^{1/4}\) [2604.16139].

## 4. Hierarchies of Jordan types and closure relations

The possible conversions among EPs of fixed algebraic multiplicity are governed by orbit closure. A conversion \(B\to A\) is possible if and only if \(\mathcal{M}_B\) lies in the closure of \(\mathcal{M}_A\), so every neighborhood of a \(B\)-point intersects \(\mathcal{M}_A\) [2604.16139]. This closure criterion induces a partial order on partitions of \(m\), identified with Young-diagram dominance:
\[
(m_1,\dots,m_q)\succ (m'_1,\dots,m'_{q'})
\quad\text{iff}\quad
\mathrm{rank}(J_{m_1,\dots,m_q}^i)\ge \mathrm{rank}(J_{m'_1,\dots,m'_{q'}}^i)
\]
for \(i=1,\dots,m\). Equivalently, in terms of the conjugate partition \(\{\hat m_j\}\),
\[
\sum_{j=1}^{i}\hat m_j \le \sum_{j=1}^{i}\hat m'_j
\]
for all \(i\) [2604.16139].

Within this order, \((m)\) is the top element and \((1,1,\dots,1)\) the bottom. Moving upward corresponds to infinitesimal perturbations that merge blocks and increase \(r_{\max}\); moving downward corresponds to splitting blocks [2604.16139]. For \(m=3\), the hierarchy is
\[
[3]\succ [2,1]\succ [1,1,1].
\]
For \(m=4\), it is
\[
[4]\succ [3,1]\succ [2,2]\succ [2,1,1]\succ [1,1,1,1].
\]
Thus \([2,2]\to[3,1]\to[4]\) and \([2,1,1]\to[3,1]\) or directly \([4]\) are allowed in principle [2604.16139].

The hierarchy is not totally ordered. For \(m\ge 6\), some EP types are incomparable; for example, \([4,1,1]\) and \([3,3]\) do not dominate each other [2604.16139]. This suggests that conversion engineering is constrained not only by order \(m\) but by the fine combinatorics of the partition lattice.

Related work on similarity-induced exceptional structures emphasizes a complementary viewpoint. In multiband systems subject to generalized similarities, multifold \(\mathrm{EP}_n\) generically emerge on manifolds of lower-order \(\mathrm{EP}_m\), and the reduced codimension caused by spectral symmetries means that “simply counting the number of constraints defining the \(\mathrm{EP}_n\)s is not sufficient” [2508.02565]. In that setting, lower-order EP manifolds can satisfy the full \(\mathrm{EP}_n\) constraints without naively raising codimension, generating a hierarchical network of \(\mathrm{EP}_m\) manifolds terminating on \(\mathrm{EP}_n\) [2508.02565]. A plausible implication is that the closure hierarchy of [2604.16139] and the symmetry-induced manifold hierarchy of [2508.02565] describe two compatible facets of the same geometric organization.

## 5. Symmetry constraints, pseudo-Hermiticity, and signed dominance

Pseudo-Hermitian symmetry imposes additional restrictions on which Jordan types are allowed and which conversions are accessible. For
\[
H=\eta^{-1}H^\dagger \eta,
\]
with parameter-independent, invertible Hermitian metric \(\eta\), admissible similarity transformations must preserve \(\eta\), so \(S\in U(p,q)\), where \(p\) and \(q\) count the positive and negative eigenvalues of \(\eta\) [2604.16139]. A canonical simultaneous form exists in which the Jordan decomposition contains real-eigenvalue blocks \(J_{m_i}(\lambda_i)\) and complex-eigenvalue pairs \(J_m(\lambda)\oplus J_m(\bar\lambda)\), while the metric decomposes blockwise with signs \(\varepsilon_i=\pm 1\) on real-energy blocks and neutral forms on complex pairs [2604.16139].

The signature constraint
\[
p-q=\sum_{i=1}^{\alpha}\frac{1-(-1)^{m_i}}{2}\,\varepsilon_i
\]
restricts which Jordan block sizes and signs can coexist at real energies [2604.16139]. In particular, not all partitions are compatible with a fixed \((p,q)\), nonderogatory EPs of maximal order \(n=p+q\) are possible only when \(p-q\in\{-1,0,1\}\), and formation of EPs at real energies requires Krein collisions between eigenvectors of opposite \(\eta\)-sign; collisions among equal-sign modes do not produce EPs [2604.16139].

The natural combinatorial objects in this setting are signed Young diagrams. Each row of length \(m\) carries an alternating sign pattern whose rightmost sign is \(\varepsilon=\pm\), and the total numbers of \(+\) and \(-\) boxes equal \((p,q)\). Allowed conversions are governed by signed dominance: if \(A^{(k)}\) is obtained by removing the first \(k\) columns of a signed diagram, and \(n_\pm(A^{(k)})\) denote the numbers of \(\pm\) boxes remaining, then \(A\succ B\) iff
\[
n_\pm(A^{(k)})\ge n_\pm(B^{(k)})
\]
for all \(k\) [2604.16139]. These are strict sub-hierarchies of the unsigned dominance order.

Concrete examples illustrate the selection rules. In signature \(\eta_{3,1}\), there is no \([4]\); the top signed type at \(m=4\) is \((3^+,1^+)\), and types like \((2,2)\) are absent. Hence a fourth-order nonderogatory EP is symmetry-forbidden, and conversions can at best reach \((3^+,1^+)\) [2604.16139]. In \(\eta_{2,2}\), the unsigned set matches the \(m=4\) partitions, but the signs prune the allowed paths and types [2604.16139].

This pseudo-Hermitian hierarchy dovetails with the broader generalized-similarity program. Pseudo-Hermiticity enforces spectral symmetry \(\{E\}=\{E^\ast\}\), pseudo anti-Hermiticity enforces \(\{E\}=\{-E^\ast\}\), and self skew-similarity enforces \(\{E\}=\{-E\}\); any two imply the third [2508.02565]. These symmetries reduce codimensions of \(\mathrm{EP}_n\), but they also forbid certain lower-order manifolds outright. Examples include the prohibition of EP3 in 4-band self-skew-symmetric systems and EP5 in 6-band systems with multiple similarities [2508.02565]. The resulting exceptional structures therefore deviate from naive constraint counting, and derogatory manifolds appear only where symmetry permits their block content and spectral placement [2508.02565].

## 6. Model realizations, diagnostics, and related formulations

Several explicit models realize derogatory EPs and their conversions. In a non-Hermitian Lieb lattice with Bloch Hamiltonian
\[
H(k_x,k_y)=
\begin{pmatrix}
0 & 1+e^{ik_y}+i\varepsilon_1 & 0\\
1+e^{-ik_y}+i\varepsilon_2 & 0 & 1+e^{-ik_x}-i\varepsilon_2\\
0 & 1+e^{ik_x}-i\varepsilon_1 & 0
\end{pmatrix},
\]
the spectrum exhibits \(\varepsilon\)-dependent triple degeneracies: for \(\varepsilon_1\varepsilon_2\neq 0\) they are EP3, along \(\varepsilon_1=0\) or \(\varepsilon_2=0\) they become derogatory \((2,1)\) EPs, and at \(\varepsilon_1=\varepsilon_2=0\) they reduce to a tribolical point [2604.16139]. Closely related Lieb-lattice constructions identify a minimal FEP of type \((2,1)\) at \((k_x,k_y)=(\pi,\pi)\), with cusp-like real and imaginary band structures and anisotropic energy contours distinct from a non-derogatory EP3 [2507.22158].

The FEP framework gives directly evaluable algebraic criteria for such models. Writing a general chiral \(3\times 3\) Hamiltonian as
\[
\mathcal{H}(\mathbf{k})=
\begin{pmatrix}
0 & P & 0\\
Q & 0 & R\\
0 & S & 0
\end{pmatrix},
\]
the algebraic degeneracy condition at \(E=0\) is \(PQ+RS=0\). The Jordan type is then determined by the ranks of adjugate modes \(\mathcal{B}_0,\mathcal{B}_1,\mathcal{B}_2\): EP3 occurs if \((|P|+|S|)(|Q|+|R|)>0\), type \((2,1)\) occurs if \((|P|+|S|)(|Q|+|R|)=0\) but not all \(P,Q,R,S\) vanish, and the tribolical point occurs when \(P=Q=R=S=0\) [2507.22158].

Liouvillian superoperators provide a second major realization. For a non-Hermitian Hamiltonian \(H_{\mathrm{nh}}\), the no-jump Liouvillian
\[
L' = (-iH_{\mathrm{nh}})\otimes I + I\otimes (iH_{\mathrm{nh}}^\ast)
\]
is pseudo-Hermitian with respect to a swap metric \(P\) exchanging the two tensor factors [2604.16139]. If \(H_{\mathrm{nh}}\) is tuned to a nonderogatory \(\mathrm{EP}_N\), then \(L'\) at the coalesced Liouvillian eigenvalue \(\lambda_{\mathrm{EP}}=2\,\mathrm{Im}\,\varepsilon\) exhibits a natural derogatory EP with the odd ladder
\[
J_{2N-1}\oplus J_{2N-3}\oplus\cdots\oplus J_1.
\]
This yields a generic, symmetry-protected source of high-order derogatory EPs [2604.16139].

Two concrete Liouvillian examples are spelled out. For an effective dissipative qubit, the \(4\times 4\) \(L'\) at the \(H_{\mathrm{nh}}\)-EP2 point has type \((3,1)\), and the signature is \(\eta_{3,1}\); since the signed hierarchy forbids \([4]\), no \(P\)-pseudo-Hermitian perturbation can merge it into a 4-block [2604.16139]. For an effective dissipative qutrit, the \(9\times 9\) \(L'\) at the \(H_{\mathrm{nh}}\)-EP3 point has type \([5,3,1]\) and signature \(\eta_{6,3}\); the signed hierarchy admits an upward conversion to \([7,1,1]\), so appropriately engineered jump terms could in principle merge the 5- and 3-chains into a 7-chain, changing the sensitivity exponent from \(\varepsilon^{1/5}\) to \(\varepsilon^{1/7}\) [2604.16139].

Bulk and edge realizations also appear in a non-Hermitian higher-order Dirac semimetal. With suitable intracell nonreciprocal couplings, bulk degeneracies realize fragmentation patterns \((3,1)\), \((2,2)\), and \((2,1,1)\), while under open boundaries the hinge-state branches form fragmented exceptional lines whose coalescence patterns are controlled by the non-Hermitian skin effect and generalized symmetries [2507.22158]. This establishes that derogatory EPs are not restricted to isolated bulk points but can organize extended edge and hinge structures.

A distinct but related line of work studies symmetry-protected non-defective EPs. In two-band and four-band PT-, CP-, pseudo-Hermitian-, and TRS\(^\dagger\)-symmetric models, the Hamiltonian can be diagonalizable exactly at an isolated repeated-eigenvalue point, while becoming nondiagonalizable on surrounding exceptional manifolds. In that language, “non-defective EPs” are identified with “derogatory EPs” in a linear-algebraic sense, and the Jordan decomposition becomes unstable along certain approach directions even though the matrix at the degeneracy is diagonalizable [2204.13945]. This usage should be distinguished from the defective multi-block notion employed in the conversion, hierarchy, and FEP literature.

## 7. Conceptual significance and engineering outlook

The recent theory of derogatory EPs shifts attention from isolated maximal Jordan blocks to families of degenerate structures connected by infinitesimal perturbations. The core result is that a derogatory EP can be converted into another EP of the same total algebraic multiplicity without lifting the degeneracy, provided the perturbation is chosen along nontrivial transverse directions that satisfy the relevant characteristic-polynomial constraints [2604.16139]. Because the leading sensitivity is determined by \(r_{\max}\), these conversions provide a controlled way to tune non-analytic response while keeping \(m\) fixed [2604.16139].

From an engineering perspective, the operative principles are explicit. One targets a desired \(r_{\max}\), works in the Jordan basis, restricts to nontrivial perturbation directions such as bottom-row and inter-block couplings, and uses codimension to count how many independent controls are needed to stay on the degeneracy manifold while changing type [2604.16139]. Derogatory EPs are advantageous precisely because their larger codimension provides more knobs than nonderogatory EPs [2604.16139]. Symmetry can then be exploited or mildly broken depending on the target: pseudo-Hermiticity imposes signed selection rules and forbids some endpoints, but it can also stabilize desired structures and restrict the search space [2604.16139].

A broader implication, suggested jointly by the hierarchy-by-closure framework and the similarity-induced manifold picture, is that non-Hermitian degeneracies are best regarded as stratified geometric objects rather than isolated singularities. In this view, nonderogatory EPs, derogatory EPs, and even symmetry-protected diagonalizable degeneracies occupy different strata, with closures, seams, and selection rules determined by Jordan combinatorics and spectral symmetry [2508.02565]. The resulting landscape includes odd ladders in Liouvillians, embedded FEP points on exceptional rings and lines, path-dependent eigenvector collapse in chiral systems, and symmetry-forbidden maximal blocks in pseudo-Hermitian classes [2604.16139].

In this sense, derogatory exceptional points are not merely intermediate or incomplete degeneracies. They are structurally rich non-Hermitian singularities whose block partitions, codimensions, closure relations, and symmetry constraints furnish a systematic vocabulary for designing and converting exceptional structures across bulk, boundary, and open-system settings [2604.16139].

Source: https://www.emergentmind.com/topics/derogatory-exceptional-points-eps