Clifford and quadratic composite operators with applications to non-Hermitian physics
Extracted source text · arXiv 2410.03880
\documentclass{article}
\usepackage[letterpaper, margin=1in]{geometry}
\usepackage{amsmath,amsfonts,amsthm}
\usepackage[backend=biber]{biblatex}
\addbibresource{./references.bib}
\emergencystretch=1em
\usepackage{bm}
\usepackage{float}
\usepackage{mathtools}
\usepackage{graphicx} % Required for inserting images
\usepackage[font=small,labelfont=bf]{caption}
\usepackage{enumitem}
\usepackage{booktabs}
\usepackage{authblk}
\newtheorem{prop}[subsection]{Proposition}
\newtheorem{lemma}[subsection]{Lemma}
\newtheorem{theorem}[subsection]{Theorem}
\newtheorem{corollary}[subsection]{Corollary}
\newtheorem{conjecture}[subsection]{Conjecture}
\newtheorem{remark}[subsection]{Remark}
\theoremstyle{definition}
\newtheorem{definition}[subsection]{Definition}
\newcommand{\V}{\mathcal{V}}
\newcommand{\C}{\mathbb{C}}
\newcommand{\R}{\mathbb{R}}
\title{Clifford and quadratic composite operators with applications to non-Hermitian physics}
%\footnote{josejgarcia@unm.edu}
%\footnote{awcerja@sandia.gov}
%\footnote{tloring@unm.edu}
\author{Jos\'{e} J. Garcia$^1$ \\ josejgarcia@unm.edu}
\affil{$^1$Department of Mathematics and Statistics, University of New Mexico, Albuquerque, NM, USA}
\date{September 2025}
\begin{document}
\maketitle
\begin{abstract}
A variety of physical phenomena, such as amplification, absorption, and radiation, can be effectively described using non-Hermitian operators.
However, the introduction of non-uniform non-Hermiticity can lead to the formation of exceptional points in a system's spectrum, where two or more eigenvalues become degenerate and their associated eigenvectors coalesce causing the underlying operator or matrix to become defective.
Here, we explore extensions of the Clifford and quadratic $\epsilon$-pseudospectrum, previously defined for Hermitian operators, to accommodate non-Hermitian operators and matrices, including the possibility that the underlying operators may possess exceptional points in their spectra. In particular, we provide a framework for finding approximate joint eigenvectors of a $d$-tuple of Hermitian operators $\bm{A}$ and non-Hermitian operators $\bm{B}$, and show that their Clifford and quadratic $\epsilon$-pseudospectra are still well-defined despite any non-normality.
We prove that the non-Hermitian quadratic gap is local with respect to the probe location when there are perturbations to one or more of the underlying operators.
Altogether, this framework enables the exploration of non-Hermitian physical systems' $\epsilon$-pseudospectra, including but not limited to photonic systems where gain, loss, and radiation are prominent physical phenomena.
\end{abstract}
\section{Introduction}
Localized states in physical systems have a variety of important technological applications.
In multidimensional systems, states that are localized to a single dimension are useful for enabling directed transport of energy or information.
Moreover, zero-dimensional cavity states have uses in storing energy and information.
In systems described by Hermitian Hamiltonians, finding such localized states is generally accomplished by identifying (or designing) one or more states to be isolated in the system's spectrum, whose corresponding local density of states (LDOS) is spatially localized.
Indeed, finding classes of systems that exhibit such boundary-localized states is one of the primary motivations for studying material topology (See \cite{bansil_lin_das_RevModPhys.88.021004},\cite{hasan_kane_2010_RevModPhys.82.3045},\cite{ozawa_et_all_RevModPhys.91.015006},\cite{xiao_chang_niu_RevModPhys.82.1959}), where bulk-boundary correspondence can guarantee such localized states.
Open systems have the property that the corresponding Hamiltonian is non-Hermitian, stemming from either a loss of energy or decoherence due to the environment.
As such, for an open system, the Hamiltonian $H$ can have complex eigenvalues whose imaginary parts correspond to the loss (or gain) of energy or information in each associated eigenvector.
A canonical class of open systems are photonic systems, which can exhibit amplification, absorption, and radiation.
Here, without including microscopic descriptions of the sources of amplification or absorption, or considering the infinite space into which photons can radiate, these phenomena are instead generally considered by introducing non-Hermitian terms into the photonic system's Hamiltonian. Nevertheless, finding low-loss localized states in photonics, and open systems more broadly, is a perennial goal, as these states exhibit Purcell enhancement of any latent nonlinear effects \cite{purcell_spontaneous_1946}.
Previously, the search for system states that are approximately localized in energy and position, i.e., that are approximate joint eigenvectors of both a system's Hamiltonian and position operators, has been studied using the system's quadratic pseudospectrum \cite{cerjan_loring_vides_2023}.
In such an approach,
the idea is to choose a $(d+1)$-tuple $\bm{\lambda} = (x_1,...,x_d, E)= (\bm{x},E)$ consisting of position and energy and extracting information from the quadratic composite operator
\begin{equation}\label{eq:Hermitian_quadratic_composite_operator}
Q_{(\bm{x},E)}(\bm{X},H) = \sum_{i=1}^d (X_i-x_i)^2 + (H-E)^2.
\end{equation}
The smallest eigenvalue corresponds to a unit state that is an approximate joint eigenvector of each of the matrices $X_i$ and $H$.
In particular, the `probe site' $\bm{\lambda}$ in $\R^{d+1}$, provides the corresponding approximate eigenvalues of the matrices.
This mathematical method gives rise to the quadratic $\epsilon$-pseudospectrum and is the main tool in \cite{cerjan_loring_vides_2023}.
Similar approaches based on the system's Clifford $\epsilon$-pseudospectrum have also been used to both identify localized states in realistic photonic systems and develop a class of invariants for material topology \cite{cerjan_loring_pho_2022,kahlil_cerjan_loring,cerjan_prl_2024}.
By itself, the inclusion of non-Hermiticity does not preclude the possibility of finding localized states generally, nor boundary localized states protected by material topology see \cite{Esaki_Sato_Hasebe_Kohmoto_PR_2011}, \cite{kawabata_shiozaki_ueda_sato_PhysRevX.9.041015_2019}, \cite{Kawabata_etal_nature_2019}, and \cite{Shen_Zhen_Fu_PRL_2018}.
However, when working with non-Hermitian systems, we can fail to find an approximately localized state when directly applying the method outlined above with the $\epsilon$-pseudospectrum.
The problem is that the quadratic composite operator in Equation \ref{eq:Hermitian_quadratic_composite_operator} can fail to be normal for non-Hermitian Hamiltonians $H$, and consequently could have degenerate eigenspaces.
Thus, the degeneracy of the eigenspaces and eigenvalues of Equation \ref{eq:Hermitian_quadratic_composite_operator} could imply the quadratic gap is not small enough.
Thus we could fail to find approximately localized states, since the error bounds guaranteeing a good approximately localized eigenvector depend on the magnitude of the quadratic gap function.
Pseudospectral methods are being used for non-Hermitian systems, see \cite{kiorpelidis2024scaling}. Here, we propose pseudospectral methods for predicting approximately localized states and resonances in non-Hermitian systems in both position and energy.
We modify the quadratic composite operator in \cite{cerjan_loring_vides_2023} to a generalized version of the following,
\begin{equation}\label{eq:non_Hermitian_quadratic}
Q_{(\bm{x},E)}\left(\bm{X},H\right) = \sum_{i}^d (X_i-x_i)^2 + (H-E)^\dagger (H-E)
\end{equation}
while allowing $E$ to be complex valued since $H$ being non-Hermitian gives us the possibility of complex eigenvalues.
This updates definitions for a probe site as well as the $\epsilon$-pseudospectrum.
We take this idea and expand it to allow for multiple non-Hermitian operators in the construction, in particular non-normal operators ($AA^\dagger \not= A^\dagger A$).
We prove Lipschitz continuity of the corresponding gap functions.
We also prove that under perturbations to a physical system's Hamiltonian, the quadratic gap function allows us to find approximately localized states with small loss based on the probe site.
Along the way, we investigate the non-Hermitian spectral localizer and argue why the radial gap can be especially helpful in non-Hermitian systems with exceptional points.
We also make a connection between the different gap functions and highlight the theory with numerical simulations.
The theory and numerical simulations allow us to consider a system with an exceptional point and how the radial gap function helps spot the exceptional point.
We also use the theory for numerical simulations on a line gapped system.
Overall, one of our goals is to use the non-Hermitian pseudospectral methods we develop to design systems where we have some level of control over these long-lived lossy states.
In particular, we anticipate that a modified quadratic $\epsilon$-pseudospectrum will have applications in designing photonic structures for enhancing light-matter interactions.
The remainder of the paper is outlined as follows:
In Section \ref{sec:approx_jes_Hermitian},
we introduce the idea of joint eigenvectors between two matrices or observables and review known results for when all matrices involved are Hermitian. We finalize by highlighting some ideas from \cite{cerjan_loring_vides_2023}.
In Section \ref{sec:nh_clifford_composite_operator}, we consider a specific construction of the non-Hermitian spectral localizer in \cite{cerjan_koekebier_Schulz_Baldes}, which we call the non-Hermitian spectral localizer $L_{(\bm{\lambda},\nu)} \left( \bm{A}, B \right)$, and note some salient properties.
We also briefly review the non-Hermitian Clifford linear gap and introduce a new gap called the non-Hermitian Clifford radial gap; the idea being that the Clifford linear gap will be more useful for line gapped physical systems,
while the clifford radial gap could be more useful for point gapped systems.
Additionally, we prove some results about the gaps and finalize with a conjecture.
In Section \ref{sec:nh_quadratic_composite}, we motivate the construction of the quadratic composite operator $Q_{(\bm{\lambda},\nu)}\left(\bm{A},\bm{B}\right)$ in Equation \ref{eq:non_Hermitian_quadratic} by computing
\begin{equation*}
L_{(\bm{\lambda},\nu)} \left( \bm{A}, B \right)^\dagger L_{(\bm{\lambda},\nu)} \left( \bm{A}, B \right).
\end{equation*}
We define a quadratic gap $\mu_{(\bm{\lambda},\nu)}^\textup{Q}\left(\bm{A},B\right)$ and prove its equivalence to other numerical values.
We end the section by proving Lipschitz continuity of the quadratic gap as well as provide important corollaries about joint approximate eigenvectors.
In Section \ref{sec:rel_spec_and_quad_gap}, we provide error estimates between the non-Hermitian Clifford linear gap, non-Hermitian Clifford radial gap, and quadratic gap.
In Section $\ref{sec:local_nature_nh_quadratic}$,
we show that the quadratic gap is local, meaning that far away perturbations of $B$ relative to probe site $(\bm{\lambda},\bm{\nu})$ will have little effect on the corresponding non-Hermitian quadratic gap at that point.
In Section \ref{sec:applications_to_point_gapped_systems}, we apply the non-Hermitian Clifford linear gap, radial gap, and non-Hermitian quadratic gap functions to a two level non-Hermitian system.
We argue why the non-Hermitian radial gap function should be used instead of the gap mentioned in \cite{cerjan_koekebier_Schulz_Baldes} in the case of point gapped systems.
In Section \ref{sec:HHS_Lossy_Modes},
we take a similar tight binding model as the one used in \cite{cerjan_koekebier_Schulz_Baldes}, and numerically compute the Clifford linear and quadratic gap functions to visualize were we might find approximately localized states in position and energy.
Finally, we compare the Clifford linear gap to the quadratic gap function which highlights how closely the functions agree and where.
\section{Pseudospectrum for joint approximate eigenvectors}\label{sec:approx_jes_Hermitian}
The use of pseudospectral methods is not a new one.
Over the years it has been used either implicitly explicity.
Some early uses of these methods with an eye towards physics is mentioned in \cite{Arnold1972},\cite{landau_1976}, and \cite{landau_1977}.
The ideas of pseudospectra became well known in the 90's after Trefethen and Embree's book \cite{trefethen_embree_2005_MR2155029}.
This was the culmination of previous papers written by Trefethen, see \cite{Trefethen1992},\cite{trefethen_1997_edsjsr.213303719970901}.
It is important to note that we only lightly touch on the history of the pseudospectrum and more can be read in \cite{trefethen_embree_2005_MR2155029}.
When we consider the eigenvalue problem. In other words it is equivalent to asking if $(A-\lambda)^{-1}$ exists given a square matrix $A$ and some $\lambda \in \C$.
However for numerical purposes it is better to ask if $\lVert(A-\lambda)^{-1}\rVert$ is large.
This is how Trefethen and Embree motivate the pseudospectra of the matrix $A$ in \cite{trefethen_embree_2005_MR2155029}.
In particular the proposed definition is that for some $\epsilon>0$ the pseudospectrum of $A$ is the set of complex numbers $\lambda$ such that $\lVert(A-\lambda)^{-1}\rVert>\epsilon^{-1}$ for some small $\epsilon>0$.
In their book \cite{trefethen_embree_2005_MR2155029}, Trefethen and Embree give alternative definitions that are all equivalent for matrices.
Here we include them to for completeness.
\begin{definition}\label{def:te_first}
Suppose $A$ in $M_n(\C)$ and $\epsilon>0$. The \emph{$\epsilon$-pseudospectrum} denoted $\text{Spec}_\epsilon(A)$ of $A$ is the set of $z$ in $\C$ that satisfy $\lVert (A-z)^{-1}\rVert>\epsilon^{-1}$.
\end{definition}
\begin{definition}\label{def:te_second}
Given $A$ in $M_n(\C)$ the set $\text{Spec}_\epsilon(A)$ is the set of all $z$ in $\C$ such that $z$ in $\text{Spec}(A+E)$ for $E$ in $M_n(\C)$ with $\lVert E\rVert < \epsilon$.
\end{definition}
\begin{definition}\label{def:te_third}
Suppose $A$ in $M_n(\C)$, $\text{Spec}_\epsilon(A)$ is the set of all $z$ in $\C$ such that $\lVert (A-z)\bm{v}\rVert<\epsilon$ for some non-zero $\bm{v}$ satisfying $\lVert\bm{v}\rVert=1$
\end{definition}
\begin{definition}\label{def:te_fourth}
Suppose $A$ in $M_n(\C)$, $\text{Spec}_\epsilon(A)$ is the set of all $z$ in $\C$ such that $\sigma_{\min} (A-z)<\epsilon$.
\end{definition}
It is important to note that for definitions \ref{def:te_first},\ref{def:te_second},\ref{def:te_third} can use matrix norms other than the operator norm. However all four definitions (Definition \ref{def:te_first},\ref{def:te_second},\ref{def:te_third},\ref{def:te_fourth}) are only equivalent when using the operator norm on matrices.
Definition \ref{def:te_third} and \ref{def:te_fourth} in their book show up in an analogous way in the present paper.
Moving beyond the works of Trefethen, the topic of joint spectra has been further investigated by Jhanjee in their PhD Thesis, see \cite{JHANJEE2017}.
They investigate joint spectra for both matrices and operators in the commuting case.
In the present paper we emphasize what happens in the non-commuting case for the matrix case.
The main technique of pseudospectra in the multi matrix setting is to give equal treatment to each operator in a physical system.
Instead of computing eigenvectors for a Hamiltonian and then computing expectation values, pseudospectral techniques combine all of the incompatible observables/matrices in the system into a single composite operator.
The spectrum of said composite operator gives us information about states approximately localized at some position and energy when we consider a system's position and Hamiltonian operators, see
\cite{krejcirik_siegl_tater_viola_2015_10.1063/1.4934378},\cite{loring_schulz-baldes_2017_12504413820170101},\cite{loring_schulz-baldes_2020_edsgcl.62678504020200301},\cite{loring},\cite{trefethen_1997_edsjsr.213303719970901},\cite{trefethen_embree_2005_MR2155029},\cite{trefethen_reddy_driscoll_1993_6dce06aa-3a1d-396a-ad07-b01838717a11}.
When the matrices commute it can be shown that there is a unit state that is an eigenvector (with potentially different eigenvalue) for each observable.
This is a standard result in the theory of linear algebra.
However, it is also known that incompatible observables do not commute; in other words we are not guaranteed of the existence of joint eigenvectors of the corresponding observables.
The main idea however is that we are going to develop a framework in which we can find a unit eigenvector that is an approximate joint eigenvector of multiple matrices/observables through pseudospectral methods.
In order to motivate the study of approximate joint eigenvectors and as a result the study of $\epsilon$-pseudospectra; we begin with the study of joint eigenvectors from commuting matrices/observables.
It is known that a $d$ tuple of matrices $\bm{A}$ pairwise commute if and only if there there is a unitary that simultaneously transforms the $d$ matrices to upper traingular by a single unitary $U$ see Theorem 2.3.3 in \cite{horn_johnson}.
This gives us the existence of at least one simultaneous eigenvector.
Hence, if we have two matrices $A,B$ and the commutator is zero ($[A,B]=0$) then there is a state $\bm{\psi}$ such that $A\bm{\psi} = \lambda_A \bm{\psi}$ and $B\bm{\psi}= \lambda_B \bm{\psi}$.
In the situation where each matrix in $\bm{A}$ is normal ($A_iA_i^\dagger = A_i^\dagger A_i$) the theorem tell us that $A_i$ can be simultaneously diagonalized by the same unitary transformation.
If $H$ is some Hamiltonian and $X$ is a position observable, we know that in general $[X,H]\not= 0$.
In the special case of an atomic limit, we have $[X,H]=0$.
However, most materials are not in the atomic limit.
We have $[X,H]\not= 0$ because $\left[\frac{d}{dx},x\right]\not=0$.
The physics comes into play when we note that a Hamiltonian is usually a differential operator.
Thus if we have a physical system the best we can hope for are states that are approximately localized in position and energy.
In other words if we have some number of position observables $\bm{X}$, and corresponding Hermitian Hamiltonian $H$, Proposition II.1 in \cite{cerjan_loring_vides_2023} answers the question of looking for $(\bm{x},E)$, and $\bm{\psi}$ so that
\begin{equation}\label{eq:approx_ev}
X_i\bm{\psi} \approx x_i\bm{\psi} \mbox{ , }\hspace{0.1in}
H\bm{\psi} \approx E\bm{\psi}.
\end{equation}
Indeed the approach that is taken is to utilize pseudospectral methods. Broadly speaking pseudospectra is a mathematical tool to determine approximate spectrum for non-commuting matrices.
To find approximate joint eigenvectors of matrices or observables, the idea is to consider various eigenvalue problems $(A_i-\lambda_i)\bm{\psi}$, with $A_i$ Hermitian.
Then we take a non trivial Clifford representation $\Gamma_i^\dagger = \Gamma_i$, $\Gamma_i^2 = I$, $\Gamma_i\Gamma_k = -\Gamma_k\Gamma_i$ for $i\not=k$ to construct the so called spectral localizer mentioned in Section I of \cite{cerjan_loring_vides_2023} as well as Section 1 of \cite{loring}.
Given $\bm{A}$ in $\Pi_{i=1}^{d+1}\mathcal{M}_n(\C)$ with each $A_i$ being Hermitian operators, and \emph{probe site} $\bm{\lambda}\in \R^{d+1}$,
\begin{equation*}
L_{\bm{\lambda}}(\bm{A}) = \sum_{i=1}^{d+1} (A_i-\lambda_i)\otimes \Gamma_i
\end{equation*}
is the \emph{spectral localizer}.
By properties of the tensor product and the $A_i$ matrices, the spectral localizer is itself a Hermitian matrix.
From here a so called spectral localizer gap is defined and has alternative characterizations. It is defined explicitly in Section I of \cite{cerjan_loring_vides_2023}. However it first appears implicitly in Definition 1.1 of a so called Clifford $\epsilon$-pseudospectrum in \cite{loring}.
Note that for a $d=3$ dimensional system we could use the following as a Clifford representation
\begin{equation*}
\Gamma_1 = \sigma_x \otimes \sigma_x, \Gamma_2 = \sigma_y \otimes \sigma_x, \Gamma_3 = \sigma_z \otimes \sigma_x, \Gamma_4 = I_2 \otimes \sigma_z.
\end{equation*}
This tells us that
\begin{equation*}
L_{(\kappa x,\kappa y,\kappa z,E)}^{\textup{3d}}\left(\kappa X,\kappa Y,\kappa Z,\kappa H\right) = \kappa(X-x)\otimes \Gamma_1 + \kappa(Y-y)\otimes \Gamma_2 + \kappa(Z-z)\otimes \Gamma_3 + (H-E)\otimes \Gamma_4.
\end{equation*}
We could have also used other matrices that satisfy the Clifford relations, such as
\begin{equation*}
\Gamma_1 = \sigma_x \otimes \sigma_x, \Gamma_2 = \sigma_y \otimes \sigma_x, \Gamma_3 = \sigma_z \otimes \sigma_x, \Gamma_4 = I_2 \otimes \sigma_y
\end{equation*}
for example.
This is proven in \cite{cerjan_loring_2024_127892} by Cerjan and Loring.
We will call $\sigma_{\min}(A)$ the smallest singular value of a matrix $A$. We then say that $\textup{Spec}(A)$ is the set of eigenvalues of an operator $A$.
In particular we will take the convention that the spectrum of an arbitrary matrix $A$ will be enumerated so that the eigenvalues are ordered by their real parts.
We will also assume for the remainder of the paper unless otherwise stated that a matrix norm is assumed to be the spectral/operator norm.
In other words if $A$ is a matrix then the assumed norm for matrices is
\begin{equation*}
\left\lVert A \right\rVert = \max_{\left\lVert\bm{\psi}\right\lVert = 1} \lVert A\bm{\psi}\rVert.
\end{equation*}
The smallest singular value of the spectral localizer plays a major role in an attempt at finding states that are localized in its various observables/operators.
For this reason, in this context it is given a name.
Specifically given $\bm{A}$ in $\Pi_{i=1}^{d+1}\mathcal{M}_n(\C)$ with each $A_i$ being Hermitian operators, and \emph{probe site} $\bm{\lambda}$ in $\R^{d+1}$, the \emph{spectral localizer gap} is defined as
\begin{equation*}\mu^{\text{C}}_{\bm{\lambda}}(\bm{A}) = \sigma_{\min}\left(L_{\bm{\lambda}}\left(\bm{A}\right)\right).
\end{equation*}
%This gap function is historically used implicity in the definition of the Clifford $\epsilon$-pseudospectrum that is used in Section 1 of \cite{loring}.
%Then, as its significance grew, it warranted a definition, and was defined explicitly in Section I of \cite{cerjan_loring_vides_2023}.
Given $\bm{A}$ in $\Pi_{i=1}^{d+1}\mathcal{M}_n(\C)$ with each $A_i$ being Hermitian operators the \emph{Clifford $\epsilon$-pseudospectrum} is defined as
\begin{equation*}\Lambda_\epsilon^{\text{C}}(\bm{A}) = \left\{\bm{\lambda}\in \R^{d+1} \mid \mu_{\bm{\lambda}}^{\text{C}}\left(\bm{A}\right)\leq\epsilon\right\}
\end{equation*}
With all this in place, one of the main results of \cite{loring} is finding a joint approximate state with corresponding probe site each corresponding to an element in the $\epsilon$-pseudospectrum.
Lemma 1.2 and 1.3 in \cite{loring} give formal error estimates, on the quantities $\left\lVert A_i\bm{\psi} - \lambda_k\bm{\psi}\right\rVert$.
We prove a generalized version of these two lemmas in Section \ref{sec:nh_clifford_composite_operator}.
The main idea being that a small gap or the pseudospectrum provides a recipe to get our hands on a unit state $\bm{\psi}$ that is approximately localized in position and space.
Now suppose that the operators in question are in $\mathcal{M}_n(\C)$, The dimension of the spectral localizer is $n2^{\lfloor\frac{d+1}{2}\rfloor}\times n2^{\lfloor\frac{d+1}{2}\rfloor}$. Then for every two more matrices you have in your system the dimension of the spectral localizer becomes $n2^{\lfloor\frac{d+1}{2}\rfloor+1}\times n2^{\lfloor\frac{d+1}{2}\rfloor+1}$. For two and three observables the spectral localizer is in $\mathcal{M}_{2n}(\C)$, for 4 and 5 observables the spectral localizer is in $\mathcal{M}_{4n}(\C)$, etc.
We can reduce the computational requirements by considering the fact that for hermitian matrices $A$, that $A\bm{\psi}=0$ iff $A^2\bm{\psi}=0$.
Indeed if we square the spectral localizer we get
\begin{equation*}
\left(L_{\bm{\lambda}}(\bm{A})\right)^2 = \left(\sum_{i=1}^{d+1}(A_i-\lambda_i)^2\otimes I\right) + \left(\sum_{i<k}[A_i,A_k]\otimes \Gamma_i\Gamma_k\right).
\end{equation*}
When the commutator terms are small in operator norm, the predominant part of the squared non-Hermitian spectral localizer is the first sum.
This is a block diagonal matrix
\begin{equation}\label{eq:repeat_blocks}
\left(\sum_{i=1}^{d+1}(A_i-\lambda_i)^2\right)\otimes I.
\end{equation}
The eigenvalues of Equation (\ref{eq:repeat_blocks}) are determined by the repeated block matrix in Equation (\ref{eq:herm_quadratic}).
\begin{equation}\label{eq:herm_quadratic}
\sum_{i=1}^{d+1}(A_i-\lambda_i)^2
\end{equation}
Equation (\ref{eq:herm_quadratic}) is defined to be the \emph{quadratic composite operator} in Section 1 of \cite{cerjan_loring_vides_2023}.
Given $\bm{A}$ in $\Pi_{i=1}^{d+1}\mathcal{M}_n(\C)$ where each of the $A_i$ are Hermitian operators and \emph{probe site} $\bm{\lambda}$ in $\R^{d+1}$, the \emph{quadratic gap} is defined to be
\begin{equation*}
\mu_{\bm{\lambda}}^{\text{Q}}(\bm{A}) = \sqrt{\sigma_{\min}\left(\text{Q}_{\bm{\lambda}}(\bm{A})\right)}.
\end{equation*}
The square root is a consequence of proving this quantity is related to the smallest singular value of a related matrix $M_{\bm{\lambda}}(\bm{A})$ which is the topic of Proposition II.1 in \cite{cerjan_loring_vides_2023}.
Note that by construction, the quadratic composite operator has real eigenvalues and is positive semidefinite.
Informaly a key idea with this gap function is that
\begin{equation*}
\mu_{\bm{\lambda}}^{\text{C}}(\bm{A}) = \sigma_{\min}\left(L_{\bm{\lambda}}\left(\bm{A}\right)\right) \approx \sigma_{\min}\left(\text{Q}_{\bm{\lambda}}\left(\bm{A}\right)\right)\leq \mu_{\bm{\lambda}}^{\text{Q}}\left(\bm{A}\right)
\end{equation*}
when $\mu_{\bm{\lambda}}^Q(\bm{A})\leq 1$.
This also provides a corresponding state $\bm{\psi}$ that is an approximate eigenvector of the constituent observables/matrices.
For a comparison between the spectral localizer gap and quadratic gap function, see Proposition II.4 in \cite{cerjan_loring_vides_2023}.
The main idea is that the Clifford and quadratic gaps are close if the commutators $[A_i,A_k]$ are small, in other words the matrices $A_i$ nearly pairwise commute.
\section{Non-Hermitian spectral localizer}\label{sec:nh_clifford_composite_operator}
As mentioned in the introduction, a property of photonic systems is that they exhibit non-Hermitian Hamiltonians.
This motivates the question:
What happens when $A_{d+1}=B$ is non-Hermitian in the construction of the spectral localizer and in the quadratic composite operator? Or in a physical system setting, what happens when we have a non-Hermitian Hamiltonian $H$ in the construction of the corresponding composite operators?
We take inspiration from the constructions and definitions in \cite{cerjan_koekebier_Schulz_Baldes} to motivate this Section.
In the process we also introduce a new gap function and explain some of its properties.
One option for a construction of an equivalent spectral localizer is to consider a matrix decomposition of $B$ into the Hermitian part $B_{\textup{H}}$ and its skew-Hermitian part $B_{\textup{S}}$ shown in Equation (\ref{eq:Hermitian_skew-Hermitian})
\begin{equation}\label{eq:Hermitian_skew-Hermitian}
B=B_{\textup{H}} + iB_{\textup{S}}, \quad B_{\textup{H}}=(B+B^\dagger)/2, \quad B_{\textup{S}} = (B-B^\dagger)/2i .
\end{equation}
Both $B_{\textup{H}}$ and $B_{\textup{S}}$ are Hermitian, and thus we can use these together with position observables in the non-Hermitian spectral localizer, and thus we would be able to find a unit state $\bm{\psi}$ that is approximately localized in position and energy given the theory above.
In particular we could construct
\begin{equation*}
L_{(\bm{x},\textrm{Re}(E),\textrm{Im}(E))}(\bm{X},B_{\textup{H}},B_{\textup{S}}).
\end{equation*}
However this goes against the intuition that the non-Hermitian spectral localizer should have similar properties as the Hamiltonian, in this case hermiticity or lack thereof.
Also, nothing necessarily stops us from using $B$ in the construction of the spectral localizer in Ref \cite{loring, cerjan_loring_vides_2023} with complex $E$.
In other words $L_{(\bm{x},E)}(\bm{X},B)$.
This makes it so that the resulting operator is not only not Hermitian, it is also not normal.
In fact, we can use the non-normality to show that the (right) eigenvector associated to the smallest eigenvalue ($L_{(\bm{x},E)}(\bm{X},B)\bm{\psi} = \lambda\bm{\psi}$) will give access to an approximate (right) eigenvector of all the matrices $X_i$ and $B$. Likewise, a left eigenvector associated with the smallest associated left eigenvalue ($\bm{\phi}^{\dagger} L_{(\bm{x},E)}(\bm{X},B) = \bm{\phi}^\dagger \alpha$) will give an approximate left eigenvector of all $X_i$ and $H$.
However, we will be following the approach in Ref \cite{cerjan_koekebier_Schulz_Baldes} for the construction of the non-Hermitian spectral localizer.
In the construction of the spectral localizer in Section I of \cite{cerjan_loring_vides_2023}, an arbitrary Clifford representation can be chosen. However, in the following construction for the non-Hermitian spectral localizer we use a specific Clifford representation.
This is because we can choose $d$ even so there will be a Clifford element representation that anticommutes with all the other $d$ elements and is diagonal in a suitable representation.
We will use such a representation and replace the diagonal element by a unique choice that allows us to extract information about both left and right eigenvectors.
The construction of said Clifford representation is as follows.
Note that $\sigma_x,\sigma_y,\sigma_z$ are the Pauli spin matrices.
For $d=2$ we use $\sigma_x$ and $\sigma_y$ and for $d=1$ we just drop $\sigma_y$.
For $d=3$ we use $\Gamma_1=\sigma_x, \Gamma_2 = \sigma_y, \Gamma_3 = \sigma_z$.
The Construction for $d=5$ is $\Gamma_1 = \sigma_x \otimes \sigma_x$, $\Gamma_2 = \sigma_y \otimes \sigma_x$, $\Gamma_3 =\sigma_z \otimes \sigma_x$, $\Gamma_4 = I_2 \otimes \sigma_y$, $\Gamma_5 = I_2 \otimes \sigma_z$.
Then suppose that $\{\gamma_i\}_{i=1}^d$ represents a Clifford representation for $d$ odd, we construct a Clifford representation for $d+2$ by computing
\begin{align}\label{eq:cliff_rep_construction}
\Gamma_i &= \gamma_i\otimes \sigma_x \text{ for all } 1\leq i\leq d \nonumber \\
\Gamma_{d+1} &= I_m\otimes \sigma_y \\\quad \Gamma_{d+2} &= I_m \otimes \sigma_z \nonumber
\end{align} with
\begin{equation}\label{eq:cliff_dim}
m = 2^{\left\lfloor d/2 \right\rfloor}.
\end{equation}
If we want the Clifford representation for $d$ even, we just construct the $d+2$ Clifford representation and discard $I_m\otimes \sigma_y$.
We now proceed with the definition of the non-Hermitian spectral localizer as follows.
\begin{definition}
Given $\bm{A}$ in $\Pi_{i=1}^d\mathcal{M}_n(\C)$ where each of the $A_i$ are Hermitian operators, a non-Hermitian operator $B$, and a \emph{probe site} $(\bm{\lambda},\nu)$ in $\R^d \oplus \C$ we define the \emph{non-Hermitian spectral localizer} to be
\begin{equation*}
L_{(\bm{\lambda},\nu)} \left( \bm{A}, B \right) = \sum_{i=1}^d (A_i-\lambda_i)\otimes \Gamma_i + (B-\nu)\otimes \begin{bmatrix} I_m & \\ & 0_m \end{bmatrix}+ (B-\nu)^\dagger \otimes \begin{bmatrix} 0_m & \\ & -I_m \end{bmatrix}
\end{equation*}
Where the specific matrices $\{\Gamma_i\}_{i=1}^{d+1}$ are constructed as in Equations \ref{eq:cliff_rep_construction}.
\end{definition}
Again, this is a special case of the spectral localizer in \cite{cerjan_koekebier_Schulz_Baldes}.
From here we can manually compute and determine that the non-Hermitian spectral localizer is not normal.
This can be seen below when we compute the product
\begin{equation}\label{eq:ldagger_l_computation}
\begin{aligned}
\left(L_{(\bm{\lambda},\nu)} \left( \bm{A}, B \right)\right)^{\dagger}\left(L_{(\bm{\lambda},\nu)} \left( \bm{A}, B \right)\right) &= \left(\sum_{i=1}^d(A_i-\lambda_i)^2\otimes I\right) + \left(\sum_{i<j} \left[ A_i, A_j \right] \otimes \Gamma_i \Gamma_j\right) + F\\
& \quad +(B-\nu)^{\dagger}(B-\nu) \otimes \begin{bmatrix} I_m & \\ & 0_m \end{bmatrix} + (B-\nu)(B-\nu)^{\dagger}\otimes \begin{bmatrix} 0_m & \\ & I_m\end{bmatrix},
\end{aligned}
\end{equation}
with
\begin{equation}\label{eq:f_term}
F = \left(\sum_{i=1}^d(A_i-\lambda_i)(B-\nu)\otimes \Gamma_i \begin{bmatrix} I_m & \\ & 0 \end{bmatrix} \right) + h.c. +\left(\sum_{i=1}^d(A_i-\lambda_i)(B-\nu)^{\dagger}\otimes \Gamma_i \begin{bmatrix} 0 & \\ & -I_m \end{bmatrix} \right) + h.c.
\end{equation}
Then again we compute $\left(L_{(\bm{x},E)} \left( \bm{X}, B \right)\right)\left(L_{(\bm{x},E)} \left( \bm{X}, B \right)\right)^{\dagger}$ to show that
\begin{equation*}
\left[L_{(\bm{x},E)} \left( \bm{X}, B \right) ,\left(L_{(\bm{x},E)} \left( \bm{X}, B \right)\right)^{\dagger}\right]\not=0.
\end{equation*}
Note that $h.c.$ in Equation \ref{eq:f_term} represents the Hermitian conjugate of the matrix preceding the term.
Despite the non-Hermitian spectral localizer being non-normal, we do have a property that is just as useful if not better.
If $B$ is close to being Hermitian then so too is the non-Hermitian spectral localizer.
Formally we have that for all $\epsilon>0$, $\left\lVert B-B^\dagger \right\rVert < \epsilon$ implies that if we label $L = L_{(\bm{\lambda},\nu)} \left( \bm{A}, B \right)$, then
\begin{align*}
\left\lVert L - L^\dagger \right\rVert &= \left\lVert\left((B-\nu)-(B-\nu)^\dagger\right)\otimes \begin{bmatrix} I_m & \\ & 0_m \end{bmatrix} + \left((B-\nu)^\dagger - (B-\nu)\right) \otimes \begin{bmatrix}0_m & \\ & \!\!\!\!\!-I_m \end{bmatrix} \right\rVert \\
&= \left\lVert\left((B-\nu)-(B-\nu)^\dagger\right)\otimes I_m \right\rVert \\
&= \left\lVert(B-\nu)-(B-\nu)^\dagger\right\rVert \\
&<\epsilon + 2\left\lvert\textrm{Im}(\nu)\right\rvert.
\end{align*}
This also tells us that the closeness of the non-Hermitian spectral localizer to Hermitian is also dependent on how big of a value we probe in energy.
Further more we have that,
\begin{align*}
\left\lVert L^\dagger L - LL^\dagger \right\rVert &\leq \left\lVert (L - L^\dagger) L \right\rVert + \left\lVert L (L - L^\dagger) \right\rVert \\
&\leq \left\lVert L \right\rVert \left\lVert (L - L^\dagger) \right\rVert + \left\lVert L \right\rVert \left\lVert (L - L^\dagger) \right\lVert \\
&\leq 2\left\lVert L \right\rVert \left(\epsilon + 2\left\lvert\textrm{Im}(\nu)\right\rvert\right).
\end{align*}
which tells us that the non-Hermitian spectral localizer being close to hermitian also implies it is close to normal.
In a way this is not too surprising from the point of view that if a matrix $A$ is Hermitian, then it follows that $A$ is normal, indeed $A=A^\dagger$ implies $A^\dagger A = AA = AA^\dagger$.
To define the gap function for the non-Hermitian spectral localizer, we take the definition in Section 2 of \cite{cerjan_koekebier_Schulz_Baldes} that is used while studying line gapped systems.
In particular it is called the spectral localizer gap, but we will refer to it by a different name.
\begin{definition}
Given $\bm{A}$ in $\Pi_{i=1}^d\mathcal{M}_n(\C)$ where each of the $A_i$ are Hermitian operators, a non-Hermitian matrix $B$, and a \emph{probe site} $(\bm{\lambda},\nu)$ in $\R^d \oplus \C$ we define the \emph{Clifford linear gap} to be
\begin{equation*}\bar{\mu}_{(\bm{\lambda},\nu)}^{\text{C}}\left(\bm{A},B\right) = \min\big\vert \textrm{Re}\big(\textup{Spec}\left(L_{(\bm{\lambda},\nu)}\left(\bm{A},B\right)\right) \big) \big\vert.
\end{equation*}
\end{definition}
Based on numerical results we conjecture that the Clifford linear gap function is continuous.
\begin{conjecture}
The Clifford linear gap function is pointwise continuous.
\end{conjecture}
From a topological point of view, especially for line gapped systems, it seems to be instrumental to not look at $\min\left\lvert\textup{Spec}\left(L_{(\bm{\lambda},\nu)}\left(\bm{A},B\right)\right)\right\rvert$ but instead to flatten the spectrum and instead look at $\min\left\lvert\textrm{Re}(\textup{Spec}\left(L_{(\bm{\lambda},\nu)}\left(\bm{A},B\right)\right)\right\rvert$.
When working with non-Hermitian systems, we have to take into consideration both point gapped and line gapped systems.
For this reason we propose the following definition for point gapped systems.
By numerical computations in Section \ref{sec:applications_to_point_gapped_systems} we will demonstrate that the smallest singular value of the non-Hermitian spectral localizer detects point gaps.
\begin{definition}
Given $\bm{A}$ in $\Pi_{i=1}^d\mathcal{M}_n(\C)$ where each of the $A_i$ are Hermitian operators, a non-Hermitian matrix $B$, and a \emph{probe site} $(\bm{\lambda},\nu)$ in $\R^d \oplus \C$ we define the \emph{Clifford radial gap} to be
\begin{equation*}\dot{\mu}_{(\bm{\lambda},\nu)}^{\text{C}}\left(\bm{A},B\right) = \sigma_{\min}\left(L_{\bm{(\lambda},\nu)}\left(\bm{A},B\right)\right).
\end{equation*}
\end{definition}
A property of the Clifford radial gap is that it's Lipschitz continuous in a generalized taxi-cab metric.
This form of continuity implies the Clifford radial gap is differentiable almost everywhere.
This also means that when trying to generate a grid size for numerical simulations, it can be determined ahead of time based on the level of precision desired between data points.
\begin{prop}
Given $\bm{A},\bm{C} \in \Pi_{i=1}^d\mathcal{M}_n(\C)$ where each of the $A_i$, $C_i$ are Hermitian operators, non-Hermitian matrices $B$, $D$, and probe sites $(\bm{\lambda},\nu), (\bm{\alpha},\beta)\in \R^d \oplus \C$ then
\begin{equation*}
\left|\dot{\mu}_{(\bm{\lambda},\nu)}^{\text{C}}\left(\bm{A},B\right) - \dot{\mu}_{{(\bm{\alpha},\beta)}}^{\text{C}}\left(\bm{C},D\right) \right| \leq 2\left[\left(\sum_{i=1}^d \left\lVert A_i-C_i\right\rVert\right) + \left\lVert B-D\right\rVert+ \left(\sum_{i=1}^d\left\lvert\lambda_i-\alpha_i\right\rvert \right) + \left\lvert\nu-\beta\right\rvert\right].
\end{equation*}
\end{prop}
\begin{proof}
First by triangle inequality we have that
\begin{align*}
\left\lVert L_{(\bm{\lambda},\nu)} \left( \bm{A}, B \right) - L_{(\bm{\alpha},\beta)} \left( \bm{C}, D \right) \right\rVert &\leq \sum_{i=1}^d \left\lVert\left((A_i-C_i)+(\alpha_i -\lambda_i)I_{2m}\right)\otimes \Gamma_i \right\rVert \\
&\qquad+ \left\lVert\left((B-D)+(\beta-\nu)I_{m}\right)\otimes \begin{bmatrix} I_m & \\ & 0_m \end{bmatrix} \right\rVert \\
&\qquad+ \left\lVert\left((B-D)^\dagger+(\beta-\nu)^*I_{m}\right)\otimes \begin{bmatrix} I_m & \\ & 0_m \end{bmatrix} \right\rVert \\
&\leq \left(\sum_{i=1}^d \left\lVert(A_i-C_i)+(\alpha_i-\lambda_i)I_{2m}\right\rVert\right) + 2\left\lVert(B-D)+(\beta-\nu)I_{m}\right\rVert \\
&\leq 2\left(\sum_{i=1}^d \left\lVert A_i-C_i\right\rVert\right) + 2\left\lVert B-D\right\rVert+ 2\left(\sum_{i=1}^d\left\lvert\lambda_i-\alpha_i\right\rvert \right) + 2\left\lvert\nu-\beta\right\rvert \\
\end{align*}
Lastly from \cite{bhatia} we know that
\begin{equation*}
\left\lvert\sigma_{\min} (A)- \sigma_{\min}(B)\right\rvert\leq \left\lVert A-B\right\rVert.
\end{equation*}
Thus,
\begin{equation*}
\left|\dot{\mu}_{(\bm{\lambda},\nu)}^{\text{C}}\left(\bm{A},B\right) - \dot{\mu}_{{(\bm{\alpha},\beta)}}^{\text{C}}\left(\bm{C},D\right) \right| \leq \left\lVert L_{(\bm{\lambda},\nu)} \left( \bm{A}, B \right) - L_{(\bm{\alpha},\beta)} \left( \bm{C}, D \right) \right\rVert
\end{equation*}
\end{proof}
The Clifford linear and radial gap functions is what we will used to define the corresponding $\epsilon$-pseudospectrum as follows.
\begin{definition}
Given $\bm{A}$ in $\Pi_{i=1}^{d}\mathcal{M}_n(\C)$ with each $A_i$ being Hermitian, $B\in \mathcal{M}_n(\C)$ being non-Hermitian the \emph{Clifford linear $\epsilon$-pseudospectrum} is defined as
\begin{equation*}
\bar{\Lambda}_\epsilon^{\text{C}}(\bm{A},B) = \left\{(\bm{\lambda},\nu)\in \R^{d} \oplus \C \mid \bar{\mu}_{(\bm{\lambda},\nu)}^{\text{C}}\left(\bm{A},B\right)\leq\epsilon\right\}
\end{equation*}
and the \emph{Clifford radial $\epsilon$-pseudospectrum} defined as
\begin{equation*}
\dot{\Lambda}_\epsilon^{\text{C}}(\bm{A},B) = \left\{(\bm{\lambda},\nu)\in \R^{d} \oplus \C \mid \dot{\mu}_{(\bm{\lambda},\nu)}^{\text{C}}\left(\bm{A},B\right)\leq\epsilon\right\}.
\end{equation*}
\end{definition}
Note that when $B$ is Hermitian and $\nu$ is real then we have
\begin{equation*}
\Lambda_\epsilon^{\text{C}}(\bm{A},B) = \bar{\Lambda}_\epsilon^{\text{C}}(\bm{A},B) = \dot{\Lambda}_\epsilon^{\text{C}}(\bm{A},B).
\end{equation*}
The idea is that either the Clifford linear or radial $\epsilon$-pseudospectrum will provide a tuple $(\bm{\lambda},\nu)$ and a unit eigenvector $\bm{\psi}$ so that (\ref{eq:approx_ev}) holds.
As stated in Section \ref{sec:approx_jes_Hermitian} we will prove a similar formulation of Lemma 1.2 and 1.3 of \cite{loring}.
In other words the $\epsilon$-pseudospectrum gives rise to a unit state that is approximately localized in position and energy.
Note that Proposition \ref{prop:lm1.2_similar} tells us that we can find a state that is an approximate eigenvector of the matrices $A_i$ and $B$ or an approximate eigenvector for the matrices $A_i$ and $B^\dagger$.
In other words we either get an approximate right eigenvector for all $A_i$, and $B$ or an approximate left eigenvector of all $A_i$ and $B$.
When $B$ is non-normal, we know the left and right eigenvectors of $B$ are not conjugate to each other, however if B is normal then the left and right eigenvectors will coincide. In any case, it is not possible to find a joint approximate eigenvector for all the matrices $A_i$, $B$ and $B^\dagger$ without taking a loss in how good the approximate eigenvector is as a left or right eigenvector.
\begin{prop}\label{prop:lm1.2_similar}
If $(\bm{\lambda},\nu)$ in $\dot{\Lambda}_{\epsilon_1}^{\text{C}}\left(\bm{A},B\right)$ for some $\epsilon_1 \geq 0$ and
\begin{equation*}
\left(\sum_{i\not=k}\left\lVert [A_i,A_k]\right\rVert\right)+ \lVert F\rVert \leq \epsilon_2
\end{equation*}
for some $\epsilon_2\geq 0$ then there is a unit state $\bm{\psi}$ such that either
\begin{equation*}
\sqrt{\left(\sum_{i=1}^d \left\lVert A_i\bm{\psi} - \lambda_i \bm{\psi}\right\rVert^2\right) + \left\lVert B\bm{\psi}-\nu \bm{\psi}\right\rVert^2}\leq \sqrt{2m}\sqrt{\epsilon_1^2+ \epsilon_2},
\end{equation*}
or
\begin{equation*}
\sqrt{\left(\sum_{i=1}^d \left\lVert A_i\bm{\psi} - \lambda_i \bm{\psi}\right\rVert^2\right) + \left\lVert B^\dagger\bm{\psi}-\nu^* \bm{\psi}\right\rVert^2}\leq \sqrt{2m}\sqrt{\epsilon_1^2+ \epsilon_2},
\end{equation*}
with $F$ as in Equation (\ref{eq:f_term}) and $m$ as in Equation (\ref{eq:cliff_dim}).
\end{prop}
\begin{proof}
Suppose that we have selected $\Gamma_i$ is constructed as above so that $g= 2m$ with $m$ as in Equation \ref{eq:cliff_dim}.
Without loss of generality we will consider probe site $(\bm{\lambda},\nu) = (\bm{0},0)$.
Suppose then that $\epsilon = \dot{\mu}_{(\bm{0},0)}^{\text{C}}\left(\bm{A},B\right)$.
Since $\epsilon$ is a singular value of $L_{(\bm{\lambda},\nu)} \left( \bm{A}, B \right)$, there is a corresponding right singular vector $\bm{\Psi}$.
From here we have that $\bm{\Psi}$ is an eigenvector of $L_{(\bm{\lambda},\nu)} \left( \bm{A}, B \right)^\dagger L_{(\bm{\lambda},\nu)} \left( \bm{A}, B \right)$ with eigenvalue $\epsilon^2$.
By equations (\ref{eq:ldagger_l_computation}),(\ref{eq:f_term}) and triangle inequality we have that
\begin{align*}
\left\lVert \left(\left(\sum_{i=1}^dA_i^2\otimes I_{2m}\right) + C\right)\bm{\Psi}\right\rVert &\leq \left\lVert L_{(\bm{\lambda},\nu)} \left( \bm{A}, B \right)^\dagger L_{(\bm{\lambda},\nu)} \left( \bm{A}, B \right) \bm{\Psi} \right\rVert \\
&\quad + \left\lVert \left(\left(\sum_{i<j} \left[ A_i, A_j \right] \otimes \Gamma_i \Gamma_j\right) + F \right)\bm{\Psi} \right\rVert \\
&\leq \epsilon^2+ \left(\sum_{i<k}\left\lVert [A_i,A_k]\right\rVert \right)+ \lVert F\rVert
\end{align*}
with
\begin{equation*}
C = B^{\dagger}B \otimes \begin{bmatrix} I_m & \\ & 0_m \end{bmatrix} + BB^{\dagger}\otimes \begin{bmatrix} 0_m & \\ & I_m\end{bmatrix}.
\end{equation*}
Now suppose that
\begin{equation*}
\bm{\Psi} = \begin{bmatrix} \bm{\Psi}_1 \\ \vdots \\ \bm{\Psi}_g \end{bmatrix}.
\end{equation*}
So that each $\bm{\Psi}_i$ is in $\C^{n}$ with $n$ being the dimension of the operators in $\bm{A}$.
Then suppose that $k$ is the index maximizing $\lVert \bm{\Psi}_k \rVert$ so that $\lVert \bm{\Psi}_k \rVert \geq 1/g$.
Now we will define $\bm{\psi} = \bm{\Psi}_k / \lVert \bm{\Psi}_k \rVert$.
It follows that,
\begin{equation*}
\left\lVert \left[\left(\sum_{i=1}^dA_i^2\otimes I_{2m}\right) + C\right]\bm{\Psi}\right\rVert \geq \begin{cases}
\left\lVert \left[\left(\sum_{i=1}^{d} A_i^2\right)+B^\dagger B\right] \bm{\Psi}_k \right\rVert \text{ if } 1\leq k\leq m \\
\\
\left\lVert \left[\left(\sum_{i=1}^{d} A_i^2\right)+BB^\dagger\right] \bm{\Psi}_k \right\rVert \text{ if } m< k \leq 2m.
\end{cases}
\end{equation*}
implies
\begin{equation*}
g\left\lVert \left(\left(\sum_{i=1}^dA_i^2\otimes I_{2m}\right) + C\right)\bm{\Psi}\right\rVert \geq \begin{cases}
\left\lVert \left(\left(\sum_{i=1}^{d} A_i^2\right)+B^\dagger B\right) \bm{\psi} \right\rVert \text{ if } 1\leq k\leq m\\
\\
\left\lVert \left(\left(\sum_{i=1}^{d} A_i^2\right)+BB^\dagger\right) \bm{\psi} \right\rVert \text{ if } m < k \leq 2m.
\end{cases}
\end{equation*}
Next we have that if $1\leq k\leq m$
\begin{equation*}
\left(\sum_{i=1}^d\left\lVert A_i \bm{\psi} \right\rVert^2\right) + \left\lVert B \bm{\psi} \right\rVert^2 = \left\langle \left[\left(\sum_{i=1}^{d} A_i^2\right)+B^\dagger B\right] \bm{\psi} , \bm{\psi}\right\rangle \leq \left\lVert \left(\left(\sum_{i=1}^{d} A_i^2\right)+B^\dagger B\right) \bm{\psi} \right\rVert.
\end{equation*}
and if $m<k\leq 2m$
\begin{equation*}
\left(\sum_{i=1}^d\left\lVert A_i \bm{\psi} \right\rVert^2\right) + \left\lVert B^\dagger \bm{\psi} \right\rVert^2 = \left\langle \left[\left(\sum_{i=1}^{d} A_i^2\right)+BB^\dagger\right] \bm{\psi} , \bm{\psi}\right\rangle \leq \left\lVert \left(\left(\sum_{i=1}^{d} A_i^2\right)+BB^\dagger\right) \bm{\psi} \right\rVert.
\end{equation*}
This completes the proof.
\end{proof}
We will use the following inequality which is a direct consequence of triangle inequality, norms on tensor products as well as Equations (\ref{eq:ldagger_l_computation}) and (\ref{eq:f_term}); in particular, given a unit vector $\Psi$ we have that
\begin{align}
\left\lVert L_{(\bm{\lambda},\nu)} \left( \bm{A}, B \right)^\dagger L_{(\bm{\lambda},\nu)} \left( \bm{A}, B \right) \bm{\Psi} \right\rVert &\leq \left\lVert \left(\left(\sum_{i=1}^d A_i^2\otimes I_{2m}\right) + C\right)\bm{\Psi}\right\rVert \nonumber\\
&\quad + \left\lVert \left(\left(\sum_{i<j} \left[ A_i, A_j \right] \otimes \Gamma_i \Gamma_j\right) + F \right)\bm{\Psi} \right\rVert. \label{eq:ldagger_l_vector_ub}
\end{align}
Lastly note that when the non-Hermitian spectral localizer is invertible,
\begin{align*}
\left\lVert L_{(\bm{\lambda},\nu)} \left( \bm{A}, B \right)^{-1} \right\rVert^2 &= \left\lVert \left(L_{(\bm{\lambda},\nu)} \left( \bm{A}, B \right)^\dagger L_{(\bm{\lambda},\nu)} \left( \bm{A}, B \right)\right)^{-1} \right\rVert \\
\left\lVert L_{(\bm{\lambda},\nu)} \left( \bm{A}, B \right)^{-1} \right\rVert^{-1} &= \sqrt{\left\lVert \left(L_{(\bm{\lambda},\nu)} \left( \bm{A}, B \right)^\dagger L_{(\bm{\lambda},\nu)} \left( \bm{A}, B \right)\right)^{-1} \right\rVert^{-1}} \\
&= \sqrt{\sigma_{\min}\left(L_{(\bm{\lambda},\nu)} \left( \bm{A}, B \right)^\dagger L_{(\bm{\lambda},\nu)} \left( \bm{A}, B \right)\right)}
\end{align*}
This implies that
\begin{align}
\dot{\mu}_{(\bm{\lambda},\nu)}^{\text{C}}\left(\bm{A},B\right) &=\left\lVert L_{(\bm{\lambda},\nu)} \left( \bm{A}, B \right)^{-1} \right\rVert^{-1} \nonumber\\
&= \sqrt{\min_{\left\lVert \mathbf{v} \right\rVert = 1} \left\lVert \left(L_{(\bm{\lambda},\nu)} \left( \bm{A}, B \right)^\dagger L_{(\bm{\lambda},\nu)} \left( \bm{A}, B \right) \right) \mathbf{v} \right\rVert} \nonumber\\
&\leq \sqrt{\left\lVert L_{(\bm{\lambda},\nu)} \left( \bm{A}, B \right)^\dagger L_{(\bm{\lambda},\nu)} \left( \bm{A}, B \right) \bm{\Psi} \right\rVert}.\label{eq:radial_norm_ub}
\end{align}
% The following is incorrect and not sure how to fix it, if at all.
%Also,
%\begin{equation}
% \bar{\mu}_{(\bm{\lambda},\nu)}^{\text{C}}\left(\bm{A},B\right) = \min\left\lvert\text{Re}\left(\text{Spec}\left(L_{(\bm{\lambda},\nu)}\right)\right) \right\rvert \leq \min\left\lvert\text{Spec}\left(L_{(\bm{\lambda},\nu)}\right)\right\rvert = \sigma_{\min} \left(L_{(\bm{\lambda},\nu)}\right) = \dot{\mu}_{(\bm{\lambda},\nu)}^{\text{C}}\left(\bm{A},B\right).\label{eq:linear_norm_ub}
%\end{equation}
Proposition \ref{lm:cliff_approx_2} states that if we have a unit state that is approximately a right left eigenvector of $A_i$ and $B$ then the corresponding tuple of eigenvalues lie in some $\epsilon$-pseudospectrum.
\begin{lemma}\label{lm:cliff_approx_2}
Suppose that $\bm{A}$ is in $\Pi_{i=1}^{d+1}\mathcal{M}_n(\C)$ with each $A_i$ being Hermitian, and further suppose $B $ is in $\mathcal{M}_n(\C)$ and is non-Hermitian.
If there is a unit state $\bm{\psi}$ such that
\begin{align*}
2\left(\sum_{i=1}^d \left\lVert A_i\bm{\psi}-\lambda_i\bm{\psi} \right\rVert^2 \right)& + \left\lVert B\bm{\psi}-\nu\bm{\psi} \right\rVert^2 + \left\lVert B^\dagger\bm{\psi}-\nu^*\bm{\psi} \right\rVert^2 \leq \epsilon_1 \\
&\mbox{and} \\
\left(\sum_{i\not=k}\left\lVert [A_i,A_k]\right\rVert \right)&+ \lVert F\rVert \leq \epsilon_2
\end{align*}
for all $i$, with $F$ as in Equation \ref{eq:f_term}; then $(\bm{\lambda},\nu)$ is in $\dot{\Lambda}_{\epsilon}(\bm{A},B)$ with $\epsilon = \sqrt{\frac{1}{\sqrt{2}}\epsilon_1 + \epsilon_2}$
or $(\bm{\lambda},\nu)$ is in $\dot{\Lambda}_{\epsilon=0}(\bm{A},B)$.
\end{lemma}
\begin{proof}
If the non-Hermitian spectral localizer is singular then we are done and $(\bm{\lambda},\nu)$ is in $\Lambda_{\epsilon=0}(\bm{A},B)$.
So we will assume that the non-Hermitian spectral localizer is invertible.
We will use linearity to reduce to the case where $(\bm{\lambda},\nu) = \bm{0}$.
If $2\sum_{i=1}^d \left\lVert A_i^2\bm{\psi}\right\rVert + \left\lVert B^\dagger B \bm{\psi} \right\rVert + \left\lVert B B^\dagger \bm{\psi} \right\rVert\leq \epsilon_1$ for some unit $\bm{\psi}$ we will define
\begin{equation*}
\bm{\Psi} = \frac{1}{\sqrt{2m}}\phi^{\oplus 2m} = \frac{1}{\sqrt{2m}} \begin{bmatrix} \bm{\psi} \\ \vdots \\ \bm{\psi} \end{bmatrix}
\end{equation*}
with $m$ as in Equation \ref{eq:cliff_dim}.
Then by Equation \ref{eq:ldagger_l_computation}, \begin{equation*}
C = B^{\dagger}B \otimes \begin{bmatrix} I_m & \\ & 0_m \end{bmatrix} + BB^{\dagger}\otimes \begin{bmatrix} 0_m & \\ & I_m\end{bmatrix}
\end{equation*}
and $F$ as in Equation \ref{eq:f_term}, we have
\begin{align*}
\left\lVert \left(\left(\sum_{i=1}^d A_i^2\otimes I_{2m}\right) + C\right)\bm{\Psi}\right\rVert^2 &= \frac{1}{2} \left[\left\lVert\sum_{i=1}^d A_i^2\bm{\psi} + B^\dagger B \bm{\psi} \right\rVert^2 + \left\lVert\sum_{i=1}^d A_i^2\bm{\psi} + B B^\dagger \bm{\psi} \right\rVert^2\right] \\
&\leq \frac{1}{2} \left[\left\lVert\sum_{i=1}^d A_i^2\bm{\psi} + B^\dagger B \bm{\psi} \right\rVert + \left\lVert\sum_{i=1}^d A_i^2\bm{\psi} + B B^\dagger \bm{\psi} \right\rVert\right]^2 \\
&\leq \frac{1}{2} \left[\sum_{i=1}^d \left\lVert A_i^2\bm{\psi}\right\rVert + \left\lVert B^\dagger B \bm{\psi} \right\rVert + \sum_{i=1}^d \left\lVert A_i^2\bm{\psi}\right\rVert + \left\lVert B B^\dagger \bm{\psi} \right\rVert\right]^2 \\
&\leq \frac{1}{2}\epsilon_1^2
\end{align*}
combined with Equation \ref{eq:ldagger_l_vector_ub} that
\begin{equation*}
\left\lVert L_{(\bm{\lambda},\nu)} \left( \bm{A}, B \right)^\dagger L_{(\bm{\lambda},\nu)} \left( \bm{A}, B \right) \bm{\Psi} \right\rVert
\leq \frac{1}{\sqrt{2}}\epsilon_1 + \left(\sum_{i\not=k}\left\lVert [A_i,A_k]\right\rVert \right)+ \lVert F\rVert.
\end{equation*}
Lastly Equation (\ref{eq:radial_norm_ub}) finalizes the proof.
\end{proof}
\begin{corollary}\label{cor:cliff_approx_rev}
Given $\bm{A}$ in $\Pi_{i=1}^{d+1}\mathcal{M}_n(\C)$ with each $A_i$ being Hermitian, $B $ in $\mathcal{M}_n(\C)$ non-Hermitian.
If there is a unit state $\bm{\psi}$ such that
\begin{align*}
\left(\sum_{i=1}^d \left\lVert A_i\bm{\psi}-\lambda_i\bm{\psi} \right\rVert^2 \right)& + \left\lVert B\bm{\psi}-\nu\bm{\psi} \right\rVert^2 \leq \epsilon_1 \\
&\mbox{and} \\
\left(\sum_{i\not=k}\left\lVert [A_i,A_k]\right\rVert \right)&+ \lVert F\rVert \leq \epsilon_2
\end{align*}
for all $i$, with $F$ as in Equation \ref{eq:f_term}; then $(\bm{\lambda},\nu)$ is in $\dot{\Lambda}_{\epsilon}(\bm{A},B)$ with $\epsilon = \sqrt{\epsilon_1 + \epsilon_2}$
or $(\bm{\lambda},\nu)$ is in $\dot{\Lambda}_{\epsilon=0}(\bm{A},B)$.
\end{corollary}
\begin{proof}
If the non-Hermitian spectral localizer is singular then we are done and $(\bm{\lambda},\nu)$ is in $\Lambda_{\epsilon=0}(\bm{A},B)$.
So we will assume that the non-Hermitian spectral localizer is invertible.
We will use linearity to reduce to the case where $(\bm{\lambda},\nu) = \bm{0}$.
If $\sum_{i=1}^d \left\lVert A_i^2\bm{\psi}\right\rVert + \left\lVert B^\dagger B \bm{\psi} \right\rVert \leq \epsilon_1$ for some unit $\bm{\psi}$ we will define repeat the proof of Lemma (\ref{lm:cliff_approx_2}), but instead defining
\begin{equation*}
\bm{\Psi} = \frac{1}{\sqrt{m}}\phi^{\oplus m}\oplus \bm{0}^{m} = \frac{1}{\sqrt{m}} \begin{bmatrix} \bm{\psi} \\ \vdots \\ \bm{\psi} \\ \bm{0} \\\vdots \\ \bm{0} \end{bmatrix}.
\end{equation*}
with $m$ as in Equation \ref{eq:cliff_dim}.
Then by Equation \ref{eq:ldagger_l_computation}, and $F$ as in Equation \ref{eq:f_term}, we have
\begin{align*}
\left\lVert \left(\left(\sum_{i=1}^d A_i^2\otimes I_{2m}\right) + C\right)\bm{\Psi}\right\rVert^2 &= \left\lVert\sum_{i=1}^d A_i^2\bm{\psi} + B^\dagger B \bm{\psi} \right\rVert^2 \\
&\leq \left[\sum_{i=1}^d \left\lVert A_i^2\bm{\psi}\right\rVert + \left\lVert B^\dagger B \bm{\psi} \right\rVert\right]^2 \\
&\leq \epsilon_1^2.
\end{align*}
The rest of the proof uses the techniques of the proof in Lemma (\ref{lm:cliff_approx_2}).
\end{proof}
\begin{corollary}\label{cor:cliff_approx_lev}
Given $\bm{A}$ in $\Pi_{i=1}^{d+1}\mathcal{M}_n(\C)$ with each $A_i$ being Hermitian, $B $ in $\mathcal{M}_n(\C)$ non-Hermitian.
If there is a unit state $\bm{\psi}$ such that
\begin{align*}
\left(\sum_{i=1}^d \left\lVert A_i\bm{\psi}-\lambda_i\bm{\psi} \right\rVert^2 \right)& + \left\lVert B^\dagger\bm{\psi}-\nu^*\bm{\psi} \right\rVert^2 \leq \epsilon_1 \\
&\mbox{and} \\
\left(\sum_{i\not=k}\left\lVert [A_i,A_k]\right\rVert \right)&+ \lVert F\rVert \leq \epsilon_2
\end{align*}
for all $i$, with $F$ as in Equation \ref{eq:f_term}; then $(\bm{\lambda},\nu)$ is in $\Lambda_{\epsilon}(\bm{A},B)$ with $\epsilon = \sqrt{\epsilon_1 + \epsilon_2}$
or $(\bm{\lambda},\nu)$ is in $\Lambda_{\epsilon=0}(\bm{A},B)$. Here $\Lambda_{\epsilon}(\bm{A},B)$ can be either the radial or linear $\epsilon$-pseudospectrum.
\end{corollary}
\begin{proof}
If the non-Hermitian spectral localizer is singular then we are done and $(\bm{\lambda},\nu)$ is in $\Lambda_{\epsilon=0}(\bm{A},B)$.
So we will assume that the non-Hermitian spectral localizer is invertible.
We will use linearity to reduce to the case where $(\bm{\lambda},\nu) = \bm{0}$.
If $\sum_{i=1}^d \left\lVert A_i^2\bm{\psi}\right\rVert + \left\lVert B B^\dagger \bm{\psi} \right\rVert \leq \epsilon_1$ for some unit $\bm{\psi}$ we will define repeat the proof of Lemma (\ref{lm:cliff_approx_2}), but instead defining
\begin{equation*}
\bm{\Psi} = \frac{1}{\sqrt{m}}\bm{0}^{m}\oplus \phi^{\oplus m} = \frac{1}{\sqrt{m}} \begin{bmatrix} \bm{0} \\\vdots \\ \bm{0} \\ \bm{\psi} \\ \vdots \\ \bm{\psi} \end{bmatrix}.
\end{equation*}
with $m$ as in Equation \ref{eq:cliff_dim}.
Then by Equation \ref{eq:ldagger_l_computation}, and $F$ as in Equation \ref{eq:f_term}, we have
\begin{align*}
\left\lVert \left(\left(\sum_{i=1}^d A_i^2\otimes I_{2m}\right) + C\right)\bm{\Psi}\right\rVert^2 &= \left\lVert\sum_{i=1}^d A_i^2\bm{\psi} + B B ^\dagger \bm{\psi} \right\rVert^2 \\
&\leq \left[\sum_{i=1}^d \left\lVert A_i^2\bm{\psi}\right\rVert + \left\lVert B B^\dagger \bm{\psi} \right\rVert\right]^2 \\
&\leq \epsilon_1^2
\end{align*}
The rest of the proof uses the techniques of the proof in Lemma (\ref{lm:cliff_approx_2}).
\end{proof}
Note that in the situation where $BB^\dagger = B^\dagger B$, we can go through the proof of Lemma \ref{lm:cliff_approx_2} and see that we can drop the term $\left\lVert B^\dagger\bm{\psi}-\overline{\nu}\bm{\psi} \right\rVert$ in the assumptions. A similar result and proof for the Clifford linear $\epsilon$-pseudospectrum is not clear, we leave it as a conjecture.
\begin{conjecture}
If $(\bm{\lambda},\nu)$ in $\bar{\Lambda}_{\epsilon}^{\text{C}}\left(\bm{A},B\right)$ then there is unit state $\bm{\psi}$ so that
\begin{equation}
X_i\bm{\psi} \approx x_i\bm{\psi} \mbox{ , }\hspace{0.1in}
H\bm{\psi} \approx E\bm{\psi}.
\end{equation}
\end{conjecture}
The lack of a proof does not hinder us from proceeding with the generalization of the theory in \cite{cerjan_loring_vides_2023}.
The fact that for a normal matrix $A$,
\begin{equation*}
\sigma_{\min}(A) = \min|\textup{Spec}(A)|
\end{equation*}
makes establishing a relation between the spectral localizer gap and the quadratic gap a reasonable task with not too much work.
With non-normal matrices $A$ we can have that
\begin{equation*}
\sigma_{\min}(A) < \min|\textup{Spec}(A)|.
\end{equation*}
In any case we are working with a non-normal matrix, and with luck the matrix can be nearly Hermitian or nearly normal.
However we do not work with luck and thus we need a way to characterize what we mean by nearly normal.
We will make use of definition and terminology presented in \cite{ruhe} in order to characterize deviation from normality.
In particular we have,
\begin{definition}
The deviation from normality of a square matrix $A$ is defined as
\begin{equation*}
\Delta_2(A) = \Delta(A) = \inf\{\vert\vert U\vert\vert : A = Q(D+U)Q^\dagger \mbox{ a Schur Decomposition}\}.
\end{equation*}
\end{definition}
This is in some sense equivalent to considering the quantity $\vert\vert AA^\dagger - A^\dagger A\vert\vert$ and formal statements comparing the two quantities can be found in Theorem 2 of \cite{elsner_paardekooper}.
Also note that when the non-Hermitian spectral localizer does not deviate too much from normal then we get some decent spectral variation properties.
\section{Quadratic composite operator} \label{sec:nh_quadratic_composite}
In \cite{cerjan_loring_vides_2023} and \cite{loring}, it was shown that when it comes to finding unit states that are approximate joint eigenvectors to the observables/operators, both the spectral localizer's $\epsilon$-pseudospectrum and the quadratic's $\epsilon$-pseudospectrum provide good methods in the setting when all observables are Hermitian.
In Section \ref{sec:nh_clifford_composite_operator} we have a non-Hermitian matrix/Hamiltonian in the construction of the non-Hermitian spectral localizer in order to generalize the spectral localizer $\epsilon$-pseudospectrum theory.
The appeal of the spectral localizer $\epsilon$-pseudospectrum in the Hermitian case and non-Hermitian spectral localizer $\epsilon$-pseudospectrum in the non-Hermitian case is that it also provides information about a system's topology see \cite{cerjan_loring_pho_2022},\cite{cerjan_loring_2022},\cite{kahlil_cerjan_loring} for the Hermitian setting and \cite{cerjan_koekebier_Schulz_Baldes} for the non-Hermitian setting.
The quadratic $\epsilon$-pseudospectrum seems to be more helpful with finding localized states as described, with some added benefits.
The construction of the quadratic composite operator is inspired by Cerjan, Loring and Vides in \cite{cerjan_loring_vides_2023}, where it is defined for systems described by Hermitian Hamiltonians.
The quadratic composite operator first appears implicitly in \cite{loring}.
Because of the assumption taken in these prior studies that the constituent operators in the construction are Hermitian and the `probe site', i.e., the choice of $(\bm{x},E)$ is real, it is guaranteed that the corresponding $\epsilon$-pseudospectrum is real i.e. $\bm{\lambda}$ in $\R^{n+1}$.
One key idea is that for $A$ Hermitian, $A\bm{\Psi} = 0$ if and only if $A^2\bm{\Psi} = 0$.
Thus, it is reasonable to consider a similar procedure with the non-Hermitian spectral localizer in \cite{cerjan_koekebier_Schulz_Baldes}.
It's explicit and quick to prove that $A^{\dagger}A\bm{\Psi}=0$ if and only if $A\bm{\Psi}=0$.
We know that the singular values of the $L_{(\bm{\lambda},\nu)} \left( \bm{A}, B \right)$ are the square roots of the eigenvalues of
\begin{equation*}
\left(L_{(\bm{\lambda},\nu)} \left( \bm{A}, B \right)\right)^{\dagger}\left(L_{(\bm{\lambda},\nu)} \left( \bm{A}, B \right)\right).
\end{equation*}
In particular this is useful since a small deviation from normality of the non-Hermitian spectral localizer implies
\begin{equation*}
\dot{\mu}_{(\bm{\lambda},\nu)}^\text{C}(\bm{A},B) \approx \min\left|\textup{spec}\left(L_{(\bm{\lambda},\nu)} \left( \bm{A}, B \right)\right)\right|
\end{equation*}
and small deviation from being Hermitian of the non-Hermitian spectral localizer implies
\begin{equation*}
\bar{\mu}_{(\bm{\lambda},\nu)}^\text{C}(\bm{A},B) \approx \min\left|\textup{spec}\left(L_{(\bm{\lambda},\nu)} \left( \bm{A}, B \right)\right)\right|
\end{equation*}
with formal estimates proven in Section \ref{sec:rel_spec_and_quad_gap}.
Thus we have that we can approximate the Clifford linear and radial gaps by the smallest singular value of the non-Hermitian spectral localizer.
By Equation \ref{eq:ldagger_l_computation} we have a way of defining a quadratic composite operator for the non-Hermitian spectral localizer similar to the Hermitian setting in \cite{cerjan_loring_vides_2023}.
We do this by ignoring $F$ and the commutator terms in the computation of Equation \ref{eq:ldagger_l_computation}.
Specifically we could use
\begin{equation*}
\left(\sum_{i=1}^{d}(A_i-\lambda_i)^2 \otimes I_{2m} \right) + (B-\nu)^{\dagger}(B-\nu) \otimes \begin{bmatrix} I_m & \\ & 0_m \end{bmatrix} + (B-\nu)(B-\nu)^{\dagger} \otimes \begin{bmatrix} 0_m & \\ & I_m \end{bmatrix}.
\end{equation*}
Since the spectrum is determined by the diagonal block entries we could take the two distinct diagonal blocks.
Namely,
\begin{equation*}
\sum_{i=1}^{d}(A_i-\lambda_i)^2 \otimes I_2 + (B-\nu)^{\dagger}(B-\nu) \otimes \begin{bmatrix} 1 & \\ & 0 \end{bmatrix} + (B-\nu)(B-\nu)^{\dagger}\otimes \begin{bmatrix} 0 & \\ & 1 \end{bmatrix}.
\end{equation*}
Instead of taking this as the definition of a quadratic composite operator, we will generalize this construction. We will allow various non-normal operators in the construction besides $B-\nu$. The proof that is to come about approximately localized eigenvectors will follow with this more general construction.
\begin{definition}
Suppose that we have tuples of matrices $\bm{A}$ in $\Pi_{i=1}^{d_1} M_n(\C)$, $\bm{B}$ in $\Pi_{i=1}^{d_2} M_n(\C)$ with $A_i$ Hermitian, $B_j$ non-Hermitian, and \emph{probe site} $(\bm{\lambda},\bm{\nu})$ in $\R^{d_1}\oplus \C^{d_2}$ then we define the \emph{quadratic composite operator} as
\begin{align*}
Q_{(\bm{\lambda},\bm{\nu})}\left(\bm{A},\bm{B}\right) &= RQ_{(\bm{\lambda},\bm{\nu})}\left(\bm{A},\bm{B}\right)\otimes\begin{bmatrix} 1 & \\ & 0 \end{bmatrix} + LQ_{(\bm{\lambda},\bm{\nu})}\left(\bm{A},\bm{B}\right)\otimes\begin{bmatrix} 0 & \\ & 1 \end{bmatrix}.
\end{align*}
With the right and left quadratic composite operators defined as
\begin{align*}
RQ_{(\bm{\lambda},\bm{\nu})}\left(\bm{A},\bm{B}\right) &= \left(\sum_{i=1}^{d_1} (A_i-\lambda_i)^2 \right) + \left(\sum_{j=1}^{d_2} (B_j-\nu_j)^\dagger (B_j-\nu_j) \right) \\
LQ_{(\bm{\lambda},\bm{\nu})}\left(\bm{A},\bm{B}\right) &= \left(\sum_{i=1}^{d_1} (A_i-\lambda_i)^2 \right) + \left(\sum_{j=1}^{d_2} (B_j-\nu_j) (B_j-\nu_j)^\dagger\right)
\end{align*}
\end{definition}
Immediately from the definition we get the following Corollaries.
\begin{corollary}
Suppose that we have tuples of matrices $\bm{A} \in \Pi_{i=1}^{d_1}M_n(\C), \bm{B}\in \Pi_{i=1}^{d_2}M_n(\C)$ with $A_i$ Hermitian, $B_j$ non-Hermitian, and $(\bm{\lambda},\bm{\nu})$ in $\R^{d_1}\oplus \C^{d_2}$, then
\begin{equation*}
\sigma_{\min}\left(Q_{(\bm{\lambda},\bm{\nu})}\left(\bm{A},\bm{B}\right)\right) = \min\left\{\sigma_{\min}\left(RQ_{(\bm{\lambda},\bm{\nu})}\left(\bm{A},\bm{B}\right)\right),\sigma_{\min}\left(LQ_{(\bm{\lambda},\bm{\nu})}\left(\bm{A},\bm{B}\right)\right)\right\}
\end{equation*}
\end{corollary}
Note that when all the $B_i$ are normal, the spectrum of $LQ_{(\bm{\lambda},\bm{\nu})}\left(\bm{A},\bm{B}\right)$ is equal to the spectrum of $RQ_{(\bm{\lambda},\bm{\nu})}\left(\bm{A},\bm{B}\right)$ which gives us the following corollary.
\begin{corollary}
Suppose that we have tuples of matrices $\bm{A} \in \Pi_{i=1}^{d_1}M_n(\C), \bm{B}\in \Pi_{i=1}^{d_2}M_n(\C)$ with $A_i$ Hermitian, $B_j$ normal. If $(\bm{\lambda},\bm{\nu})$ is in $\R^{d_1}\oplus \C^{d_2}$, then
\begin{equation*}
\sigma_{\min}\left(Q_{(\bm{\lambda},\bm{\nu})}\left(\bm{A},\bm{B}\right)\right) = \sigma_{\min}\left(RQ_{(\bm{\lambda},\bm{\nu})}\left(\bm{A},\bm{B}\right)\right) = \sigma_{\min}\left(LQ_{(\bm{\lambda},\bm{\nu})}\left(\bm{A},\bm{B}\right)\right)
\end{equation*}
\end{corollary}
Reflecting on the main point of Lemma \ref{prop:lm1.2_similar} we expect that the eigenvector corresponding with the smallest eigenvalue of the quadratic operator will pick up either an approximate right or left eigenvector of $A_i$ and $B_j$.
Using the definition of the quadratic composite operator above we have generalized the quadratic composite operator in \cite{cerjan_loring_vides_2023}. In fact the following proposition generalizes Proposition II.1. in \cite{cerjan_loring_vides_2023}.
Recall that a unit state $\bm{\psi}$ in a Hilbert space determines a probability distribution with respect to a normal matrix $M$.
In particular for Hermitian matrices $M$ it is well established that we need only a complete basis for the eigenspace of $M$ to define a probablity distribution and as a result to define expectation and variance, see Appendix A of \cite{hirvensalo_2001}. While we do not need to use the probability distribution directly, we do need the corresponding expectation and square variance for both Hermitian and non-Hermitian matrices.
This allows us to talk loosely about approximate localization of a state in position, energy, momentum, frequency, etc.
The mathematical notation that we will use for \emph{expectation} and \emph{variance} are as follows,
\begin{align*}
\textup{E}_{\bm{\psi}}[B] &= \langle B\bm{\psi}, \bm{\psi}\rangle \\
\textup{V}^2_{\bm{\psi}}[B] &= \langle B^\dagger B\bm{\psi}, \bm{\psi} \rangle -\left\vert \langle B\bm{\psi}, \bm{\psi} \rangle \right\vert^2.
\end{align*}
Indeed when we have that $B=A$ is Hermitian then this reduces to the usual expectation and variance of a state $\bm{\psi}$ with respect to the appropriate observable/matrix.
With that in place we proceed to prove some results that link minimization of expectation and variance of matrices/observables to the quadratic composite operator.
\begin{prop} \label{prop:nh_rquad_co_equiv_quantities}
Suppose that we have tuples of matrices $\bm{A} \in \Pi_{i=1}^{d_1}M_n(\C), \bm{B}\in \Pi_{i=1}^{d_2}M_n(\C)$ with $A_i$ Hermitian, $B_j$ non-Hermitian, and $(\bm{\lambda},\bm{\nu})$ in $\R^{d_1}\oplus \C^{d_2}$, the following are equal:
\begin{enumerate}
\item The quantity
\begin{equation*}
\min_{\vert\vert\bm{\psi}\vert\vert=1} \sqrt{\sum_{i=1}^{d_1} \vert\vert A_i\bm{\psi} - \lambda_i \bm{\psi} \vert\vert^2 + \sum_{j=1}^{d_2}\vert\vert B_j\bm{\psi} - \nu_{j} \bm{\psi} \vert\vert^2}.
\end{equation*} \label{eq:unit_vect}
\item The quantity
\begin{equation*}
\min_{\vert\vert\bm{\psi}\vert\vert=1} \sqrt{\sum_{i=1}^{d_1} \textup{V}^2_{\bm{\psi}}[A_i] + \left(\textup{E}_{\bm{\psi}}[A_i] -\lambda_i \right)^2 + \sum_{j=1}^{d_2}\textup{V}^2_{\bm{\psi}}[B_j] + \left\vert\textup{E}_{\bm{\psi}}[B_j] -\nu_j \right\vert^2},
\end{equation*}
if $B_i$ is normal for all $1\leq i\leq d_2$.\label{eq:expectation_variance}
\item The smallest singular value of
\begin{equation*}
RM_{(\bm{\lambda},\bm{\nu})} \left(\bm{A},\bm{B}\right) = \begin{bmatrix} A_1-\lambda_1 \\ \vdots \\ A_{d_1} - \lambda_{d_1} \\ B_1-\nu_{1} \\ \vdots \\ B_{d_2}-\nu_{d_2}\end{bmatrix} .
\end{equation*}\label{eq:smin_M}
\item The square root for the smallest eigenvalue of $RQ_{(\bm{\lambda},\bm{\nu})}\left(\bm{A},\bm{B}\right)$.\label{eq:eig_val_Q}
\end{enumerate}
\end{prop}
\begin{proof}
To show (\ref{eq:unit_vect}) $\Leftrightarrow$ (\ref{eq:expectation_variance}) we first notice that $A$ is Hermitian and $\bm{\lambda} \in \R^{d_1}$, which implies that$(A-\lambda_i)^2 = (A-\lambda_i)^\dagger (A-\lambda_i)$. With this, it is enough to prove the statement for $RQ_{(\vec{\bm{0}},\bm{\nu})}(\bm{0},B)$.
\begin{align*}
\vert\vert B_j\bm{\psi} - \nu_{j} \bm{\psi} \vert\vert^2 &= \langle B_j\bm{\psi} -\nu_j\bm{\psi},B_j\bm{\psi} -\nu_j \bm{\psi}\rangle \\
&= \langle B_j\bm{\psi}, B_j\bm{\psi} \rangle - \overline{\nu_j}\langle B_j\bm{\psi}, \bm{\psi} \rangle - \nu_j\langle \bm{\psi}, B_j\bm{\psi} \rangle + |\nu_j|^2 \langle \bm{\psi}, \bm{\psi}\rangle \\
&= \left(\langle B_j^\dagger B_j\bm{\psi}, \bm{\psi} \rangle -\left\vert \langle B_j\bm{\psi}, \bm{\psi} \rangle \right\vert^2\right) + \left(\left\vert \langle B_j\bm{\psi}, \bm{\psi} \rangle \right\vert^2 - \overline{\nu_j}\langle B_j\bm{\psi}, \bm{\psi} \rangle - \nu_j\langle \bm{\psi}, B_j\bm{\psi} \rangle + |\nu_j|^2\right) \\
&= \left(\langle B_j^\dagger B_j\bm{\psi}, \bm{\psi} \rangle -\left\vert \langle B_j\bm{\psi}, \bm{\psi} \rangle \right\vert^2\right) + \left\vert \langle B_j\bm{\psi}, \bm{\psi} \rangle - \nu_j \right\vert^2 \\
&= \textup{V}^2_{\bm{\psi}}[B_j] + \left\vert\textup{E}_{\bm{\psi}}[B_j] -\nu_j \right\vert^2.
\end{align*}
To show (\ref{eq:smin_M}) $\Leftrightarrow$ (\ref{eq:eig_val_Q}) we note that for any matrix $A$, the singular values of $A$ are the square roots of the eigenvalues of $A^{\dagger}A$. We combine this with the computation
\begin{equation*}
\left(RM_{(\bm{\lambda},\bm{\nu})} \left(\bm{A},\bm{B}\right)\right)^{\dagger} \left(RM_{(\bm{\lambda},\bm{\nu})} \left(\bm{A},\bm{B}\right)\right) = RQ_{(\bm{\lambda},\bm{\nu})}\left(\bm{A},\bm{B}\right).
\end{equation*}
To show (\ref{eq:unit_vect}) $\Leftrightarrow$ (\ref{eq:smin_M}) we note by \cite{golub_vanloan}
\begin{align*}
\sigma_{\min}\left(RM_{(\bm{\lambda},\bm{\nu})} \left(\bm{A},\bm{B}\right)\right) &= \min_{\vert\vert\bm{\psi}\vert\vert=1}\left\lVert RM_{(\bm{\lambda},\bm{\nu})} \left(\bm{A},\bm{B}\right)\bm{\psi}\right\rVert \\
&= \min_{\vert\vert\bm{\psi}\vert\vert=1} \left\lVert \begin{bmatrix} A_1\bm{\psi}-\lambda_1\bm{\psi} \\ \vdots \\ A_{d_1}\bm{\psi} - \lambda_{d_1}\bm{\psi} \\ B_1\bm{\psi}-\nu_{1}\bm{\psi} \\ \vdots \\ B_{d_2}\bm{\psi}-\nu_{d_2}\bm{\psi}\end{bmatrix} \right\rVert\\
&= \min_{\vert\vert\bm{\psi}\vert\vert=1} \sqrt{\sum_{i=1}^{d_1} \vert\vert A_i\bm{\psi} - \lambda_i \bm{\psi} \vert\vert^2 + \sum_{j=1}^{d_2}\vert\vert B_j\bm{\psi} - \nu_{j} \bm{\psi} \vert\vert^2}.
\end{align*}
\end{proof}
\begin{remark}
A similar statement can be proven about the square root of the smallest eigenvalue of $LQ_{(\bm{\lambda},\bm{\nu})}\left(\bm{A},\bm{B}\right)$ by noting that $LQ_{(\bm{\lambda},\bm{\nu})}\left(\bm{A},\bm{B}\right) = RQ_{(\bm{\lambda},\bm{\nu}^{*})}\left(\bm{A},\bm{B}^\dagger\right)$.
\end{remark}
Thus if we want a state that is approximately localized in position and energy we have reason to study the smallest eigenvalue of the right quadratic composite operator.
If we want an approximate left eigenvector then we look at the smallest eigenvalue of the left quadratic composite operator.
\begin{definition}
Suppose that $\bm{A}$ in $\Pi_{i=1}^{d_1}\mathcal{M}_n(\C)$, $\bm{B}$ in $\Pi_{i=1}^{d_2}\mathcal{M}_n(\C)$ with $A_i$ Hermitian, $B_j$ non-Hermitian and \emph{probe site} $(\bm{\lambda},\bm{\nu})$ in $\R^{d_1} \oplus \C^{d_2}$, then the \emph{right quadratic gap} is defined as
\begin{equation*}
\mu_{(\bm{\lambda},\bm{\nu})}^{\text{RQ}}\left(\bm{A},\bm{B}\right)=\sqrt{\sigma_{\min}\left(RQ_{(\bm{\lambda},\bm{\nu})}\left(\bm{A},\bm{B}\right)\right) }.
\end{equation*}
\end{definition}
We can similarly define the left quadratic gap as being the square root of the smallest eigenvalue of the left quadratic composite operator and the quadratic gap function can be define as the square root of the smallest eigenvalue quadratic composite operator. They can be denoted as \begin{equation*}
\mu_{(\bm{\lambda},\bm{\nu})}^{\text{LQ}}\left(\bm{A},\bm{B}\right) = \sqrt{\sigma_{\min}\left(LQ_{(\bm{\lambda},\bm{\nu})}\left(\bm{A},\bm{B}\right)\right) }
\end{equation*}
and
\begin{equation*}
\mu_{(\bm{\lambda},\bm{\nu})}^{\text{Q}}\left(\bm{A},\bm{B}\right) = \sqrt{\sigma_{\min}\left(Q_{(\bm{\lambda},\bm{\nu})}\left(\bm{A},\bm{B}\right)\right) }.
\end{equation*}
From here we define the quadratic $\epsilon$-pseudospectrum.
\begin{definition}
Suppose that $\bm{A}$ in $\Pi_{i=1}^{d_1}\mathcal{M}_n(\C)$, $\bm{B}$ in $\Pi_{i=1}^{d_2}\mathcal{M}_n(\C)$ with $A_i$ Hermitian, $B_j$ non-Hermitian, and some $\epsilon \geq 0$ we define the non-Hermitian right, left, and quadratic \emph{$\epsilon$-pseudospectrum} as
\begin{align*}
\Lambda_\epsilon^{\text{RQ}} \left(\bm{A},\bm{B}\right) &= \left\{(\bm{\lambda},\bm{\nu}) \in \R^{d_1}\oplus \C^{d_2} \mid \mu_{(\bm{\lambda},\bm{\nu})}^{\text{RQ}}\left(\bm{A},\bm{B}\right)\leq \epsilon\right\} \\
\Lambda_\epsilon^{\text{LQ}} \left(\bm{A},\bm{B}\right) &= \left\{(\bm{\lambda},\bm{\nu}) \in \R^{d_1}\oplus \C^{d_2} \mid \mu_{(\bm{\lambda},\bm{\nu})}^{\text{LQ}}\left(\bm{A},\bm{B}\right)\leq \epsilon\right\} \\
\Lambda_\epsilon^{\text{Q}} \left(\bm{A},\bm{B}\right) &= \left\{(\bm{\lambda},\bm{\nu}) \in \R^{d_1}\oplus \C^{d_2} \mid \mu_{(\bm{\lambda},\bm{\nu})}^{\text{Q}}\left(\bm{A},\bm{B}\right)\leq \epsilon\right\} \\
\end{align*}
\end{definition}
If we have $\epsilon =0$ in the definition of the $\epsilon$-pseudospectrum, there is a joint eigenvector $\bm{\psi}$ of $A_i$, and $B_j$ for all $i$ and $j$. This is more of a mathematical statement as we know that in physical systems, observables/operators do not commute and thus do not have a joint eigenspace.
From this point of view, the Proposition \ref{prop:nh_rquad_co_equiv_quantities} is a more useful result for physical systems when $\epsilon >0$.
In the study of physical systems we would like to see how the quadratic gap function behaves as we perturb our system as well as when we perturb the probe site.
When we treat the quadratic gap as a function of the probe site alone, we can think of the probe site as taking a guess at a point in the approximate joint spectrum of the matrices $A_i$ and $B_i$.
When we treat the quadratic gap as a function of the input matrices alone, we can think of studying perturbations to physical systems such as introducting point defects, line defects, etc.
Thus, a useful property of the right quadratic gap is Lipschitz continuity in $((\bm{A},\bm{B}),(\bm{\lambda},\bm{\nu}))$.
It also means that if we are running numerical simulations, determining a grid size for the probe sites can be predetermined ahead of time.
In the case where only the probe site varies, machine precision $\epsilon_{\text{mach}}$ implies that between grid spaces, the precision is also $\epsilon_{\text{mach}}$.
\begin{prop}
Suppose that $\bm{A},\bm{C}$ in $\Pi_{i=1}^{d_1}\mathcal{M}_n(\C), \bm{B}, \bm{D}$ in $\Pi_{i=1}^{d_2}\mathcal{M}_n(\C)$ with $A_i,C_i$ Hermitian, $B_j,D_j$ non-Hermitian, and $(\bm{\lambda},\bm{\nu}),(\bm{\alpha},\bm{\beta})$ in $\R^{d_1}\oplus \C^{d_2}$, then
\begin{equation*}
\left\vert \mu_{(\bm{\lambda},\bm{\nu})}^{\text{RQ}}\left(\bm{A},\bm{B}\right) - \mu_{(\bm{\alpha},\bm{\beta})}^{\text{RQ}}\left(\bm{C},\bm{D}\right)\right\vert \leq \left\lVert(\bm{A},\bm{B})-(\bm{C},\bm{D})\right\rVert +\left\lVert(\bm{\lambda},\bm{\nu})-(\bm{\alpha},\bm{\beta})\right\rVert.
\end{equation*}
\end{prop}
\begin{proof}
First note that
\begin{align*}
\left\lVert\begin{bmatrix} (\lambda_1 - \alpha_1)I \\ \vdots \\ (\lambda_{d_1} - \alpha_{d_1})I \\ (\nu_{1} - \beta_{1})I \\ \vdots \\ (\nu_{d_2} - \beta_{d_2})I\end{bmatrix} \right\rVert^2
&=\left\lVert \sum_{i=1}^{d_1}\left\vert \lambda_i-\alpha_i\right\vert^2 I + \sum_{j=1}^{d_2}\left\vert \nu_j-\beta_j\right\vert^2 I\right\rVert \\
&= \sum_{i=1}^{d_1}\left( \lambda_i-\alpha_i\right)^2 + \sum_{j=1}^{d_2}\left\vert \nu_j-\beta_j\right\vert^2 \\
&= \vert\vert(\bm{\lambda},\bm{\nu})-(\bm{\alpha},\bm{\beta})\vert\vert^2.
\end{align*}
Then by a similar argument
\begin{align*}
\left\lVert\begin{bmatrix} (A_1 - C_1) \\ \vdots \\ (A_{d_1} - C_{d_1}) \\ (B_{1} - D_{1}) \\ \vdots \\ (B_{d_2} - D_{d_2})\end{bmatrix}\right\rVert^2
&=\left\lVert \sum_{i=1}^{d_1}\left(A_i - C_i\right)^2 + \sum_{j=1}^{d_2}\left(B_{i} - D_{i}\right)^\dagger\left(B_{i} - D_{i}\right) \right\rVert \\
&= \sum_{i=1}^{d_1}\left\lVert A_i-C_i \right\rVert^2 + \sum_{j=1}^{d_2}\left\lVert B_i-D_i \right\rVert^2 \\
&= \vert\vert(\bm{A},\bm{B})-(\bm{C},\bm{D})\vert\vert^2.
\end{align*}
It then follows that,
\begin{align*}
\left\lVert M_{(\bm{\lambda},\bm{\nu})} \left(\bm{A},\bm{B}\right)-M_{(\bm{\alpha},\bm{\beta})} \left(\bm{C},\bm{D}\right)\right\rVert
&\leq \left\lVert\begin{bmatrix} (A_1 - C_1) \\ \vdots \\ (A_{d_1} - C_{d_1}) \\ (B_{1} - D_{1}) \\ \vdots \\ (B_{d_2} - D_{d_2})\end{bmatrix}\right\rVert + \left\lVert\begin{bmatrix} (\lambda_1 - \alpha_1)I \\ \vdots \\ (\lambda_{d_1} - \alpha_{d_1})I \\ (\nu_{1} - \beta_{1})I \\ \vdots \\ (\nu_{d_2} - \beta_{d_2})I\end{bmatrix} \right\rVert \\
&\leq \vert\vert(\bm{A},\bm{B})-(\bm{C},\bm{D})\vert\vert +\vert\vert(\bm{\lambda},\bm{\nu})-(\bm{\alpha},\bm{\beta})\vert\vert.
\end{align*}
Lastly Proposition \ref{prop:nh_rquad_co_equiv_quantities} tells us
\begin{align*}
\left\vert \mu_{(\bm{\lambda},\bm{\nu})}^{\text{RQ}}\left(\bm{A},\bm{B}\right) - \mu_{(\bm{\alpha},\bm{\beta})}^{\text{RQ}}\left(\bm{E},\bm{F}\right)\right\vert &= \left|\sigma_{\min}\left( RM_{(\bm{\lambda},\bm{\nu})} \left(\bm{A},\bm{B}\right) \right)- \sigma_{\min}\left(RM_{(\bm{\alpha},\bm{\beta})} \left(\bm{E},\bm{F}\right)\right)\right|.
\end{align*}
Combine this with perturbation of singular values on page 78 of \cite{bhatia} and we are done.
\end{proof}
\begin{corollary}
Suppose that $\bm{A},\bm{C}$ in $\Pi_{i=1}^{d_1}\mathcal{M}_n(\C), \bm{B}, \bm{D}$ in $\Pi_{i=1}^{d_2}\mathcal{M}_n(\C)$ with $A_i,C_i$ Hermitian, $B_j,D_j$ non-Hermitian, and $(\bm{\lambda},\bm{\nu}),(\bm{\alpha},\bm{\beta})$ in $\R^{d_1}\oplus \C^{d_2}$, then
\begin{equation*}
\left\vert \mu_{(\bm{\lambda},\bm{\nu})}^{\text{LQ}}\left(\bm{A},\bm{B}\right) - \mu_{(\bm{\alpha},\bm{\beta})}^{\text{LQ}}\left(\bm{C},\bm{D}\right)\right\vert \leq \left\lVert(\bm{A},\bm{B}^\dagger)-(\bm{C},\bm{D}^\dagger)\right\rVert +\left\lVert(\bm{\lambda},\bm{\nu}^*)-(\bm{\alpha},\bm{\beta}^*)\right\rVert.
\end{equation*}
With $\bm{B}^\dagger$ applying pointwise adjoint and $\bm{\nu}^*$ also conjugate applying pointwise to the entries.
\end{corollary}
\begin{proof}
This follow from the fact that $LQ_{(\bm{\lambda},\bm{\nu})}\left(\bm{A},\bm{B}\right) = RQ_{(\bm{\lambda},\bm{\nu}^*)}\left(\bm{A},\bm{B}^\dagger\right)$
\end{proof}
These two results tell us that the quadratic gap function is pointwise continuous, but we conjecture that it might also be Lipschitz continuous.
\begin{corollary}
Suppose that $\bm{A},\bm{C}$ in $\Pi_{i=1}^{d_1}\mathcal{M}_n(\C), \bm{B}, \bm{D}$ in $\Pi_{i=1}^{d_2}\mathcal{M}_n(\C)$ with $A_i,C_i$ Hermitian, $B_j,D_j$ non-Hermitian, and $(\bm{\lambda},\bm{\nu}),(\bm{\alpha},\bm{\beta})$ in $\R^{d_1}\oplus \C^{d_2}$, then the quadratic gap function is pointwise continuous as a function from $(\R^{d_1}\oplus\C^{d_2}) \times \Pi_{i=1}^{d_1+d_2}\mathcal{M}_n(\C)$ to $\R$.
\end{corollary}
\begin{proof}
Lipschitz continuity of the the left and right quadratic operator gap functions as well as pointwise continuity of the minimum function.
\end{proof}
\section{Relationship between Clifford linear, radial and quadratic gaps} \label{sec:rel_spec_and_quad_gap}
As mentioned in Section \ref{sec:nh_clifford_composite_operator} we noted that the non-Hermitian spectral localizer is non-normal. This means that the variation in the spectrum can vary drastically.
Despite this we have that Theorem 1 in \cite{ruhe},
\begin{equation}\label{eq:min_spec-sigma_min}
\left\vert\sigma_{\min}\left(L_{(\bm{\lambda},\nu)} \left( \bm{A}, B \right)\right) - \min\left|\textup{spec}\left(L_{(\bm{\lambda},\nu)} \left( \bm{A}, B \right)\right)\right|\right\vert \leq \Delta\left(L_{(\bm{\lambda},\nu)} \left( \bm{A}, B \right)\right).
\end{equation}
By claim (ii) in \cite{kahan}, equivalence of norms and by a geometric argument we have that
\begin{equation}\label{eq:min_real_spec-min_spec}
\left\vert \min\left\vert \textrm{Re}\left(\textup{Spec}\left(L_{(\bm{\lambda},\nu)} \left( \bm{A}, B \right)\right)\right) \right\vert - \min\left\vert \textup{Spec}\left(L_{(\bm{\lambda},\nu)} \left( \bm{A}, B \right) \right) \right\vert \right\vert \leq \sqrt{n} \left\lVert L_{(\bm{\lambda},\nu)} \left( \bm{A}, B \right) - L_{(\bm{\lambda},\nu)} \left( \bm{A}, B \right)^\dagger\right\rVert
\end{equation}
where $n$ is the dimension of $L_{(\bm{\lambda},\nu)} \left( \bm{A}, B \right)$.
Lastly
\begin{equation}\label{eq:diff_l_and_adjoint}
\left\lVert L_{(\bm{\lambda},\nu)} \left( \bm{A}, B \right) - L_{(\bm{\lambda},\nu)} \left( \bm{A}, B \right)^\dagger\right\rVert = \left\lVert (B-\nu) - (B-\nu)^\dagger \otimes I_m \right\rVert = \left\lVert (B-\nu) - (B-\nu)^\dagger \right\rVert.
\end{equation}
this will establish a relationship between the Clifford linear and radial gaps.
\begin{prop}\label{prop:nh_clg_linear_radial_gapped}
Suppose that we have tuples of matrices $\bm{A}$ in $\Pi_{i=1}^{d_1}M_n(\C), B$ in $M_n(\C)$ with $A_i$ Hermitian, $B$ non-Hermitian, and $(\bm{\lambda},\nu)$ in $\R^{d_1}\oplus \C$, then
\begin{equation*}
\left\vert \bar{\mu}_{(\bm{\lambda},\nu)}^{\text{C}}\left(\bm{A},B\right) - \dot{\mu}_{(\bm{\lambda},\nu)}^{\text{C}}\left(\bm{A},B\right)\right\vert \leq \sqrt{N}\left\lVert (B-\nu)- (B-\nu)^\dagger\right\rVert + \Delta(L_{(\bm{\lambda},\nu)} \left( \bm{A}, B \right)),
\end{equation*}
where $N$ is the dimension of $L_{(\bm{\lambda},\nu)} \left( \bm{A}, B \right)$.
\end{prop}
\begin{proof}
This follows from Equations (\ref{eq:min_spec-sigma_min}), (\ref{eq:min_real_spec-min_spec}) and (\ref{eq:diff_l_and_adjoint}).
\end{proof}
Indeed this formally tells us that if $\nu$ is real valued and $B$ is Hermitian, the two gaps are the same.
In fact $B$ Hermitian and $\nu$ real means we have equality with the spectral localizer gap in \cite{cerjan_loring_vides_2023}, and \cite{loring}.
\begin{prop}\label{prop:nh_clg_point_gapped}
Suppose that we have tuples of matrices $\bm{A} \in \Pi_{i=1}^{d_1}M_n(\C), B$ in $M_n(\C)$ with $A_i$ Hermitian, $B$ non-Hermitian, and $(\bm{\lambda},\nu)$ in $\R^{d_1}\oplus \C$, then
\begin{equation*}
\left\vert \dot{\mu}_{(\bm{\lambda},\nu)}^{\text{C}}\left(\bm{A},B\right) - \mu_{(\bm{\lambda},\nu)}^{\text{Q}}\left(\bm{A},B\right)\right\vert \leq \sqrt{\sum_{i<j} \vert\vert[A_i,A_j]\vert\vert + \vert\vert F\vert\vert},
\end{equation*}
with $F$ as in equation \ref{eq:f_term}.
\end{prop}
\begin{proof}
Note that tensoring by the identity does not affect the spectrum of a matrix (ignoring multiplicity). Therefore, given
\begin{equation*}
K = \sum_{i=1}^{d}(A_i-\lambda_i)^2 \otimes I + (B-\nu)^{\dagger}(B-\nu) \otimes \begin{bmatrix} I_m & \\ & 0_m \end{bmatrix}+ (B-\nu)(B-\nu)^{\dagger} \otimes \begin{bmatrix}0_m & \\ & I_m\end{bmatrix}
\end{equation*}
we get that
\begin{equation*}
\sqrt{\sigma_{\min}\left(Q_{(\bm{\lambda},\nu)}\left(\bm{A},B\right)\right)} = \sqrt{\sigma_{\min}\left( K \right)}.
\end{equation*}
We also have that
\begin{align*}
\left\lVert L_{(\bm{\lambda},\nu)} \left( \bm{A}, B \right)^{\dagger}L_{(\bm{\lambda},\nu)} \left( \bm{A}, B \right) - K \right\rVert &= \left\lVert \sum_{i<j} [A_i,A_j] \otimes \Gamma_i\Gamma_j + F \right\rVert \\
&\leq \left\lVert \sum_{i<j} [A_i,A_j] \otimes \Gamma_i\Gamma_j \right\rVert + \left\lVert F\right\rVert \\
&\leq \sum_{i<j} \left\lVert [A_i,A_j] \right\rVert + \left\lVert F\right\rVert.
\end{align*}
Next we have that for any positive quantities $a,b$ that $\left\vert\sqrt{a}-\sqrt{b}\right\vert\leq \sqrt{|a-b|}$.
Combining this with Lipschitz continuity of singular values we get that
\begin{align*}
\left\vert \dot{\mu}_{(\bm{\lambda},\nu)}^{\text{C}}\left(\bm{A},B\right) - \mu_{(\bm{\lambda},\nu)}^{\text{Q}}\left(\bm{A},B\right) \right\vert &= \left\vert \sigma_{\min}(L_{(\bm{\lambda},\nu)}\left(\bm{A},B\right)) - \sqrt{\sigma_{\min}(K)} \right\vert \\
&= \left\vert \sqrt{\sigma_{\min}\left((L_{(\bm{\lambda},\nu)}\left(\bm{A},B\right))^\dagger(L_{(\bm{\lambda},\nu)}\left(\bm{A},B\right))\right)} - \sqrt{\sigma_{\min}(K)} \right\vert \\
&= \sqrt{\left\vert\sigma_{\min}\left((L_{(\bm{\lambda},\nu)}\left(\bm{A},B\right))^\dagger(L_{(\bm{\lambda},\nu)}\left(\bm{A},B\right))\right) - \sigma_{\min}(K)\right\vert} \\
&\leq \sqrt{\sum_{i<j} \left\lVert[A_i,A_j]\right\rVert + \left\lVert F\right\rVert}.
\end{align*}
\end{proof}
Combining the results from \ref{prop:nh_clg_linear_radial_gapped} and \ref{prop:nh_clg_point_gapped} we have the following proposition.
\begin{prop}\label{prop:nh_clg_line_gapped}
Suppose that we have tuples of matrices $\bm{A}$ in $\Pi_{i=1}^{d_1}M_n(\C), B$ in $M_n(\C)$ with $A_i$ Hermitian, $B$ non-Hermitian, and $(\bm{\lambda},\nu)$ in $\R^{d_1}\oplus \C$, then
\begin{align*}
\left\vert \bar{\mu}_{(\bm{\lambda},\nu)}^{\text{C}}\left(\bm{A},B\right) - \mu_{(\bm{\lambda},\nu)}^{\text{Q}}\left(\bm{A},B\right)\right\vert &\leq \sqrt{n}\left\lVert (B-\nu) - (B-\nu)^\dagger \right\rVert + \Delta\left(L_{(\bm{\lambda},\nu)} \left( \bm{A}, B \right)\right) +\sqrt{\sum_{i<j} \left\lVert[A_i,A_j]\right\rVert + \left\lVert F\right\rVert},
\end{align*}
where $n$ is the dimension of $L_{(\bm{\lambda},\nu)} \left( \bm{A}, B \right)$ and $F$ as in equation \ref{eq:f_term}.
\end{prop}
\begin{proof}
By Proposition \ref{prop:nh_clg_linear_radial_gapped} and \ref{prop:nh_clg_point_gapped} we have that,
\begin{align*}
\left\vert \bar{\mu}_{(\bm{\lambda},\nu)}^{\text{C}}\left(\bm{A},B\right) - \sigma_{\min}(K) \right\vert &\leq \left\vert \bar{\mu}_{(\bm{\lambda},\nu)}^{\text{C}}\left(\bm{A},B\right) - \sigma_{\min}\left(L_{(\bm{\lambda},\nu)} \left( \bm{A}, B \right)\right) \right\vert + \left\vert\sigma_{\min}\left(L_{(\bm{\lambda},\nu)} \left( \bm{A}, B \right)\right) - \sigma_{\min}(K) \right\vert \\
&= \left\vert \bar{\mu}_{(\bm{\lambda},\bm{\nu})}^{\text{C}}\left(\bm{A},B\right) - \dot{\mu}_{(\bm{\lambda},\bm{\nu})}^{\text{C}}\left(\bm{A},B\right)\right\vert + \left\vert \dot{\mu}_{(\bm{\lambda},\bm{\nu})}^{\text{C}}\left(\bm{A},B\right) - \mu_{(\bm{\lambda},\bm{\nu})}^{\text{Q}}\left(\bm{A},B\right)\right\vert \\
&\leq \sqrt{n}\left\lVert (B-\nu) - (B-\nu)^\dagger \right\rVert + \Delta\left(L_{(\bm{\lambda},\nu)} \left( \bm{A}, B \right)\right)+ \sqrt{\sum_{i<j} \left\lVert[A_i,A_j]\right\rVert + \left\lVert F\right\rVert}.
\end{align*}
\end{proof}
Proposition \ref{prop:nh_clg_point_gapped} is equivalent Proposition II.4 in Ref \cite{cerjan_loring_vides_2023} when the the operator $B$ is Hermitian and the probe site $\nu$ is restricted to be real valued.
\section{Local nature of the quadratic composite operator}\label{sec:local_nature_nh_quadratic}
The non-Hermitian composite operator being local in this setting means that if we had a physical system, a perturbation to the Hamiltonian far away from the probe site $(\bm{\lambda},\bm{\nu})$ will have little to no effect on the quadratic gap.
In other words, small defects away from a probe site should not have significantly large effects when probing away from the defect.
The following theorem establishes this idea.
In fact this is a generalization of Theorem III.1 from \cite{cerjan_loring_vides_2023}, and the proof is in the same spirit.
For the remainder of the section we will assume that the entries of the matrix $d_1$ tuple in $\bm{A}$ commute and that each of the $A_i$ is invertible.
In a physical setting where $A_i = X_i$ are position observables this is easily accomplished by shifting the system in position so that the corresponding operator is invertible.
This allows us to consider the following construction. It can be thought of as the Euclidean distance from the origin in spacial coordinates.
Specifically,
\begin{equation*}
Z^2 = \sum_{i=1}^{d_1}(A_i-\lambda_i)^2
\end{equation*}
and
\begin{equation*}
Y^2 = \sum_{j=1}^{d_2}(B_j-\nu_j)^\dagger (B_j-\nu_j).
\end{equation*}
\begin{theorem}
Assume that $\bm{A}$ in $\Pi_{i=1}^{d_1}\mathcal{M}_n(\C)$ is a $d_1$-tuple of Hermitian matrices, $\bm{B},\bm{C}$ in $\Pi_{i=1}^{d_2}\mathcal{M}_n(\C)$ are $d_2$-tuples of non-Hermitian matrices then we have that if
\begin{equation*}
\left\lVert Z^{-1}\left( \sum_{j=1}^{d_2}(B_j-\nu_j)^\dagger C_j + C_j^\dagger (B_j-\nu_j) +C_j^\dagger C_j\right)Z^{-1}\right\rVert\leq K
\end{equation*}
for some $K<1$, then
\begin{equation*}
(1-K)^{1/2}\mu_{(\bm{\lambda},\bm{\nu})}^\text{RQ}\left(\bm{A},\bm{B}\right) \leq \mu_{(\bm{\lambda},\bm{\nu})}^\text{RQ}\left(\bm{A},\bm{B}+\bm{C}\right) \leq (1+K)^{1/2}\mu_{(\bm{\lambda},\bm{\nu})}^\text{RQ}\left(\bm{A},\bm{B}\right).
\end{equation*}
\end{theorem}
\begin{proof}
After direct computation we have that
\begin{equation*}
-KZ^2\leq \left( \sum_{j=1}^{d_2}(B_j-\nu_j)^\dagger C_j + C_j^\dagger (B_j-\nu_j) +C_j^\dagger C_j\right) \leq KZ^2.
\end{equation*}
Thus,
\begin{align*}
\text{RQ}_{(\bm{\lambda},\bm{\nu})}\left(\bm{A},\bm{B}+\bm{C}\right) &\leq Z^2 + Y^2 + KZ^2 \\
&= (1+K)\left(Z^2 + Y^2\right) \\
&= (1+K)\text{RQ}_{(\bm{\lambda},\bm{\nu})}\left(\bm{A},\bm{B}\right) \\
\text{RQ}_{(\bm{\lambda},\bm{\nu})}\left(\bm{A},\bm{B}+\bm{C}\right) &\geq Z^2 + Y^2 - KZ^2 \\
&\geq (1-K)\left(Z^2 + Y^2\right) \\
&= (1-K)\text{RQ}_{(\bm{\lambda},\bm{\nu})}\left(\bm{A},\bm{B}\right).
\end{align*}
From here we have that
\begin{equation*}
(1+K)^{-1}\text{RQ}_{(\bm{\lambda},\bm{\nu})}\left(\bm{A},\bm{B}\right)^{-1} \leq \text{RQ}_{(\bm{\lambda},\bm{\nu})}\left(\bm{A},\bm{B}+\bm{C}\right)^{-1} \leq (1-K)^{-1}\text{RQ}_{(\bm{\lambda},\bm{\nu})}\left(\bm{A},\bm{B}\right)^{-1}.
\end{equation*}
Then since the quadratic composite operator is Hermitian Positive Semidefinite we have that
\begin{equation*}
(1+K)^{-1}\left\lVert\text{RQ}_{(\bm{\lambda},\bm{\nu})}\left(\bm{A},\bm{B}\right)^{-1} \right\rVert \leq \left\lVert\text{RQ}_{(\bm{\lambda},\bm{\nu})}\left(\bm{A},\bm{B}+\bm{C}\right)^{-1} \right\rVert \leq (1-K)^{-1}\left\lVert\text{RQ}_{(\bm{\lambda},\bm{\nu})}\left(\bm{A},\bm{B}\right)^{-1}\right\rVert.
\end{equation*}
Finally,
\begin{equation*}
(1-K)^{\frac{1}{2}}\left\lVert\text{RQ}_{(\bm{\lambda},\bm{\nu})}\left(\bm{A},\bm{B}\right)^{-1} \right\rVert^{-\frac{1}{2}} \leq \left\lVert\text{RQ}_{(\bm{\lambda},\bm{\nu})}\left(\bm{A},\bm{B}+\bm{C}\right)^{-1} \right\rVert^{-\frac{1}{2}} \leq (1+K)^{\frac{1}{2}}\left\lVert\text{RQ}_{(\bm{\lambda},\bm{\nu})}\left(\bm{A},\bm{B}\right)^{-1}\right\rVert^{-\frac{1}{2}}.
\end{equation*}
\end{proof}
Note that in the proof we make extensive use that for Hermitian matrices $A,B$, $A\geq B$ if and only if $A-B$ is positive semidefinite.
This generates an ordering on the set of positive semidefinite matrices.
\begin{remark}\label{remark:locality_left_q_gap}
We can also show that the left quadratic gap function is local by the same argument.
\end{remark}
\begin{corollary}
Assume that $\bm{A}$ in $\Pi_{i=1}^{d_1}\mathcal{M}_n(\C)$ is a $d_1$-tuple of Hermitian matrices, $\bm{B},\bm{C}$ in $\Pi_{i=1}^{d_2}\mathcal{M}_n(\C)$ are $d_2$-tuples of non-Hermitian matrices then we have that if
\begin{equation*}
\left\lVert Z^{-1}\left( \sum_{j=1}^{d_2}(B_j-\nu_j)^\dagger C_j + C_j^\dagger (B_j-\nu_j) +C_j^\dagger C_j\right)Z^{-1}\right\rVert\leq K
\end{equation*}
for some $K<1$, then
\begin{equation*}
(1-K)^{1/2}\mu_{(\bm{\lambda},\bm{\nu})}^\text{Q}\left(\bm{A},\bm{B}\right) \leq \mu_{(\bm{\lambda},\bm{\nu})}^\text{Q}\left(\bm{A},\bm{B}+\bm{C}\right) \leq (1+K)^{1/2}\mu_{(\bm{\lambda},\bm{\nu})}^\text{Q}\left(\bm{A},\bm{B}\right).
\end{equation*}
\end{corollary}
\begin{proof}
Combine Theorem \ref{remark:locality_left_q_gap}, Remark \ref{remark:locality_left_q_gap} and the fact that the minimum function preserves inequalities.
\end{proof}
\section{Applications to a point gaped system}\label{sec:applications_to_point_gapped_systems}
In order to encounter non-Hermiticity in physical systems one need not go very far.
Indeed we consider a two level system such as the one mentioned in \cite{tls_paper}.
The two level system gives rise to a non-Hermitian Hamiltonian operator.
In particular we have a point gap system.
We will provide some numerical justification for why the Clifford radial gap might be the best one to use over the established Clifford linear gap.
To illustrate, we first consider a general case with shifted energy as follows:
\begin{equation*}
X = \begin{bmatrix} -1 & 0 \\ 0 & 1 \end{bmatrix} \mbox{ and } H = \begin{bmatrix} \Delta E + i\Delta\gamma & c \\ c & 0 \end{bmatrix}
\end{equation*}
with $\Delta E, \Delta\gamma, c \in \R$.
By doing a traditional eigenenergy and eigenvector analysis we have that the eigenenergy and eigenvector pair are
\begin{equation*}
\lambda_{\pm}(H) = \frac{(\Delta E + i\Delta\gamma)\pm\sqrt{(\Delta E + i\Delta\gamma)^2+4c^2}}{2} \hspace{0.1in},\hspace{0.1in}
\bm{\psi}_{\pm} = \begin{bmatrix} \lambda_{\pm}(H)/c & 1 \end{bmatrix}^T
\end{equation*}
If we consider the case when $\Delta E=0$ then we have an exceptional point when $c=\mp \Delta\gamma/2$.
In this scenario we have the eigenenergy and eigenvector pair
\begin{equation*}
\lambda_{\pm} = \frac{i\Delta\gamma}{2} \hspace{0.1in},\hspace{0.1in} \bm{\psi} = \begin{bmatrix} i\Delta\gamma/c & 1 \end{bmatrix}^T
\end{equation*}
In other words the eigenspace of $H$ becomes degenerate!
The quadratic gap for this setup can get complicated, so we compute one of the exceptional point cases when $1=c=\Delta\gamma/2$.
We will fix the position probe site of $Q$ to be $x=0$ so that the non-Hermitian Clifford and quadratic composite operators become
\begin{align*}
L_{(0,E)}(X,H) &= \begin{bmatrix}
2i - E & 1 & -1 & 0 \\
1 & -E & 0 & 1 \\
-1 & 0 &-2i+E^* & -1 \\
0 & 1 & -1 & +E^* \\
\end{bmatrix} \\
Q_{(0,E)}(X,H) &= \begin{bmatrix}
\left\vert E\right\vert^2 + 6 + 4 i\textrm{Im}(E) & -2\textrm{Re}(E) -2i & & \\
-2\textrm{Re}(E) + 2i & 2 + \left\vert E\right\vert^2 & & \\
& & \left\vert E\right\vert^2 + 6 + 4 i\textrm{Im}(E) & -2\textrm{Re}(E) +2i \\
& &-2\textrm{Re}(E) - 2i & 2 + \left\vert E\right\vert^2
\end{bmatrix}
\end{align*}
In Table \ref{tbl:tls_gaps_and_diff} we compute the Clifford linear gap, radial gap, the quadratic gap, as well as the differences between each gap.
We can see that the Clifford radial gap (Figure \ref{fig:tls_radial_gap}) detects the exceptional point at probe site $E=i$ and agrees well with the quadratic gap (Figure \ref{fig:tls_quadratic_gap}) near the exceptional point well. This can be seen by looking at the difference of the two gaps in Figure \ref{fig:tls_radial-quadratic_gap}.
On the other hand, while the Clifford linear gap agrees with the quadratic gap near the exceptional point (Figure \ref{fig:tls_linear-quadratic_gap}), by itself it does not detect well the exceptional point (Figure \ref{fig:tls_linear_gap}).
This is the motivation for defining the \emph{Clifford radial gap}.
\begin{table}[ht!]
\centering
\begin{tabular}{ | c | c | c | }
\hline \hline
\begin{minipage}{0.3\textwidth}
\captionof{figure}{\\$\bar{\mu}_{(0,E)}^{\text{C}}\left(X,H\right)$}\label{fig:tls_linear_gap}
\includegraphics[width=\textwidth]{tls_nd_quadratic_gap_images/2025-07-23_10-56-17/clifford_linear_gap_plot_c_1-dg2_2-x_0.00-reE_var-imE_var.png}
\end{minipage} &
\begin{minipage}{0.3\textwidth}
\captionof{figure}{\\$\dot{\mu}_{(0,E)}^{\text{C}}\left(X,H\right)$}\label{fig:tls_radial_gap}
\includegraphics[width=\textwidth]{tls_nd_quadratic_gap_images/2025-07-23_10-56-17/clifford_radial_gap_plot_c_1-dg2_2-x_0.00-reE_var-imE_var.png}
\end{minipage} & \begin{minipage}{0.3\textwidth}
\captionof{figure}{\\$\mu_{(0,E)}^{\text{Q}}\left(X,H\right)$}\label{fig:tls_quadratic_gap}
\includegraphics[width=\textwidth]{tls_nd_quadratic_gap_images/2025-07-23_10-56-17/quadratic_gap_plot_c_1-dg2_2-x_0.00-reE_var-imE_var.png}
\end{minipage} \\ \hline \hline
\begin{minipage}{0.3\textwidth}
\captionof{figure}{\\$\left\vert \bar{\mu}_{(0,E)}^{\text{C}}\left(X,H\right) - \dot{\mu}_{(0,E)}^{\text{C}}\left(X,H\right) \right\vert$}\label{fig:tls_linear-radial_gap}
\includegraphics[width=\textwidth]{tls_nd_quadratic_gap_images/2025-07-23_10-56-17/lr_diff_plot_c_1-dg2_2-x_0.00-reE_var-imE_var.png}
\end{minipage} &
\begin{minipage}{0.3\textwidth}
\captionof{figure}{\\$\left\vert \bar{\mu}_{(0,E)}^{\text{C}}\left(X,H\right) - \mu_{(0,E)}^{\text{Q}}\left(X,H\right) \right\vert$}\label{fig:tls_linear-quadratic_gap}
\includegraphics[width=\textwidth]{tls_nd_quadratic_gap_images/2025-07-23_10-56-17/lq_diff_plot_c_1-dg2_2-x_0.00-reE_var-imE_var.png}
\end{minipage} & \begin{minipage}{0.3\textwidth}
\captionof{figure}{\\$\left\vert \dot{\mu}_{(0,E)}^{\text{C}}\left(X,H\right) - \mu_{(0,E)}^{\text{Q}}\left(X,H\right) \right\vert$}\label{fig:tls_radial-quadratic_gap}
\includegraphics[width=\textwidth]{tls_nd_quadratic_gap_images/2025-07-23_10-56-17/rq_diff_plot_c_1-dg2_2-x_0.00-reE_var-imE_var.png}
\end{minipage} \\ \hline \hline
\end{tabular}
\caption{Shown are the Clifford linear and radial gaps (Figure \ref{fig:tls_linear_gap} and \ref{fig:tls_radial_gap}), quadratic gap (Figure \ref{fig:tls_quadratic_gap}) as well as the difference between the gaps in Figure \ref{fig:tls_linear-radial_gap} \ref{fig:tls_linear-quadratic_gap}, \ref{fig:tls_radial-quadratic_gap} of a Two Level System with $c=1$,$\Delta\gamma = 2$ and position probe site $x=0$.} \label{tbl:tls_gaps_and_diff}
\end{table}
\section{Applications to a line gapped system}\label{sec:HHS_Lossy_Modes}
Now we will provide an example of a physical system where the non-Hermiticity comes from a non-Hermitian Hamiltonian which is line gapped.
Consider the generalized Haldane model over a bi-partite honeycomb lattice given in \cite{haldane} with the following tight binding model hamiltonian;
\begin{align*}
H &= \sum_{n_A,n_B} \left( (M-i\mu)|n_A\rangle \langle n_A| - (M+i\mu)|n_B\rangle \langle n_B| \right) - t\sum_{\langle n_A,m_B \rangle} \left( |n_A\rangle \langle m_B| - |m_B\rangle \langle n_A| \right) \\
&\qquad- t_c\sum_{\alpha=A,B}\sum_{\langle\langle n_\alpha,m_\alpha \rangle\rangle} \left( e^{i \phi(n_\alpha,m_\alpha)}| n_\alpha\rangle \langle m_\alpha | + e^{-i \phi(n_\alpha,m_\alpha)}| m_\alpha\rangle \langle n_\alpha |\right).
\end{align*}
The first sum runs over all the lattice sites with $A$ and $B$ lattices having on-site energies $\pm M$. The second sum is kinetic energy with nearest neighbor coupling coefficient $t$.
Lastly we have that the third sum is over next-nearest-neighbor pairs and has a direction-dependent phase factor $e^{i \phi(n_\alpha,m_\alpha)}$ a geometrically determined sign.
When $\mu=0$ in the Hamiltonian, we have no lossy sites and the Hamiltonian is Hermitian. By making the model lossy, the Hamiltonian becomes non-Hermitian.
Our example tight binding model will be comprised of an inner topological insulator surrounded by a ring of trivial insulator which is then surrounded by a ring of a lossy trivial insulator, we call it the Haldane Heterostructure as in \cite{cerjan_koekebier_Schulz_Baldes}.
Again the loss comes from having on site energies being $\pm M - i\mu$ on the lossy Trivial insulator sites.
The diagram for the tight binding model and unit cell is shown in Table \ref{tbl:hhs}.
Furthermore, we will focus our attention on fixing the parameters for the tight binding model to the ones listed in Table \ref{tbl:hhs_parameters}.
\begin{table}[H]
\centering
\begin{tabular}{ | c | c | }
\hline \hline
\begin{minipage}{0.4\textwidth}
\captionof{figure}{Haldane Heterostructure Overview}\label{fig:hhs_overview}
\includegraphics[width=0.95\textwidth]{hhs_nd_quadratic_gap_images/haldane_heterostructure_image.png}
\end{minipage} &
\begin{minipage}{0.4\textwidth}
\captionof{figure}{Haldane Hetero Structure Cell}\label{fig:hhs_cell}
\includegraphics[width=\textwidth]{hhs_nd_quadratic_gap_images/haldane_heterostructure_cell.png}
\end{minipage}\\ \hline \hline
\end{tabular}
\caption{Shown in Figure \ref{fig:hhs_overview} is the Haldane Heterostructure overview. Figure \ref{fig:hhs_cell} shows the general cell for the Haldane Heterostructure} \label{tbl:hhs}
\end{table}
\begin{table}[H]
\centering
\begin{tabular}{ c || c | c | c | c | c}
Layer & $M$ & $\mu$ & $t$ & $t_c$ & $\phi$ \\ \hline \hline
Trivial Insulator (Lossy) & $0.5\sqrt{3}$ & $0.2$ & $1$ & $0$ & N/A \\
Trivial Insulator (Non-Lossy) & $0.5\sqrt{3}$ & $0$ & $1$ & $0$ & N/A \\
Topological Insulator & $0$ & $0$ & $1$ & $0.5$ & $\frac{\pi}{2}$
\end{tabular}
\caption{Parameters for Heterostructure}\label{tbl:hhs_parameters}
\end{table}
In both the spectral localizer and quadratic composite operator we will use $\kappa = 0.5$.
For the two positions operators we will take unit length between `A' sites.
They will end up being diagonal matrices as shown in Equation (\ref{eq:hhs_positions}).
\begin{equation}\label{eq:hhs_positions}
X = \text{Diag}(x_1,...,x_i,...,x_n),
\quad
Y =
\text{Diag}(y_1,...,y_n)
\end{equation}
The Hamiltonian will be non-Hermitian, and sparse for large system size. In some basis the diagonal entries will consist of complex ($\pm M-i\mu$), purely real $\pm M$ and zeros as seen in Equation \ref{eq:hhs_hamiltonian}. In Equation \ref{eq:hhs_hamiltonian}, $C$ is a matrix with zeros on the diagonal.
\begin{equation}\label{eq:hhs_hamiltonian}
H = \text{Diag}(M-i\mu, ..., -M-i\mu, ...,M,...,-M,...,0,...,0) + C
\end{equation}
The 2d non-Hermitian spectral localizer and the quadratic composite operator are as follows
\begin{align*}
L^{\textup{2d}}_{(\kappa x,\kappa y,E)}(\kappa X,\kappa Y,H) &= \kappa(X-x)\otimes \sigma_x + \kappa(Y-y)\otimes \sigma_y + (H-E)\otimes \begin{bmatrix} 1 & \\ & 0 \end{bmatrix} + (H-E)^\dagger \otimes \begin{bmatrix} 0 & \\ & -1 \end{bmatrix}\\
Q^{\textup{2d}}_{(\kappa x,\kappa y,E)}(\kappa X,\kappa Y,H) &= \left[\kappa\left(X-x\right)^2 + \kappa\left(Y-y\right)^2 \right] \otimes \begin{bmatrix}1 & \\ & 1 \end{bmatrix} \\
&\qquad + (H-E)^{\dagger}(H-E) \otimes \begin{bmatrix} 1 & \\ & 0 \end{bmatrix} + (H-E)(H-E)^\dagger \otimes \begin{bmatrix} 0 & \\ & -1 \end{bmatrix}.
\end{align*}
The pseudospectra tell us where we should expect to find approximate joint states with the corresponding imaginary probe site $E$ telling us how lossy the state is.
We demonstrate via computation the Clifford linear and quadratic gap functions with varying position probe sites and fixed energy probe site in Table \ref{tbl:hhs_gaps_and_diff}.
In the same table we also demonstrate the differences between the various gap functions.
\begin{table}[ht!]
\centering
\begin{tabular}{ | c | c | c | }
\hline \hline
\begin{minipage}{0.3\textwidth}
\captionof{figure}{\\$\bar{\mu}_{(\kappa\bm{x},0)}^{\text{C}}\left(\kappa\bm{X},H\right)$}\label{fig:hhs_linear_gap}
\includegraphics[width=\textwidth]{hhs_nd_quadratic_gap_images/fixed_e_0_0/linear_k0.5_x_var-y_var-reE0.00imE0.00.png}
\end{minipage} &
\begin{minipage}{0.3\textwidth}
\captionof{figure}{\\$\mu_{(\kappa\bm{x},0)}^{\text{RQ}}\left(\kappa\bm{X},H\right)$}\label{fig:hhs_quadratic_gap}
\includegraphics[width=\textwidth]{hhs_nd_quadratic_gap_images/fixed_e_0_0/quad_k0.5_x_var-y_var-reE0.00imE0.00.png}
\end{minipage} & \begin{minipage}{0.3\textwidth}
\captionof{figure}{\\$\left\vert\bar{\mu}_{(\kappa\bm{x},0)}^{\text{C}}\left(\kappa\bm{X},H\right) - \mu_{(\kappa\bm{x},0)}^{\text{RQ}}\left(\kappa\bm{X},H\right)\right\vert$}\label{fig:hhs_gap_diff}
\includegraphics[width=\textwidth]{hhs_nd_quadratic_gap_images/fixed_e_0_0/diff_k0.5_x_var-y_var-reE0.00imE0.00.png}
\end{minipage} \\
\hline \hline
\begin{minipage}{0.3\textwidth}
\captionof{figure}{\\$\bar{\mu}_{(\kappa\bm{x},1)}^{\text{C}}\left(\kappa\bm{X},H\right)$}\label{fig:hhs_linear_gap_e_1}
\includegraphics[width=\textwidth]{hhs_nd_quadratic_gap_images/fixed_e_1_0/linear_k0.5_x_var-y_var-reE1.00imE0.00.png}
\end{minipage} &
\begin{minipage}{0.3\textwidth}
\captionof{figure}{\\$\mu_{(\kappa\bm{x},1)}^{\text{RQ}}\left(\kappa\bm{X},H\right)$}\label{fig:hhs_quadratic_gap_e_1}
\includegraphics[width=\textwidth]{hhs_nd_quadratic_gap_images/fixed_e_1_0/quad_k0.5_x_var-y_var-reE1.00imE0.00.png}
\end{minipage} & \begin{minipage}{0.3\textwidth}
\captionof{figure}{\\$\left\vert\bar{\mu}_{(\kappa\bm{x},1)}^{\text{C}}\left(\kappa\bm{X},H\right) - \mu_{(\bm{x},1)}^{\text{RQ}}\left(\kappa\bm{X},H\right)\right\vert$}\label{fig:hhs_gap_diff_e_1}
\includegraphics[width=\textwidth]{hhs_nd_quadratic_gap_images/fixed_e_1_0/diff_k0.5_x_var-y_var-reE1.00imE0.00.png}
\end{minipage} \\
\hline \hline
\begin{minipage}{0.3\textwidth}
\captionof{figure}{\\$\bar{\mu}_{(\kappa\bm{x},i)}^{\text{C}}\left(\kappa\bm{X},H\right)$}\label{fig:hhs_linear_gap_e_i}
\includegraphics[width=\textwidth]{hhs_nd_quadratic_gap_images/fixed_e_0_1/linear_k0.5_x_var-y_var-reE0.00imE1.00.png}
\end{minipage} &
\begin{minipage}{0.3\textwidth}
\captionof{figure}{\\$\mu_{(\kappa\bm{x},i)}^{\text{RQ}}\left(\kappa\bm{X},H\right)$}\label{fig:hhs_quadratic_gap_e_i}
\includegraphics[width=\textwidth]{hhs_nd_quadratic_gap_images/fixed_e_0_1/quad_k0.5_x_var-y_var-reE0.00imE1.00.png}
\end{minipage} & \begin{minipage}{0.3\textwidth}
\captionof{figure}{\\$\left\vert\bar{\mu}_{(\kappa\bm{x},i)}^{\text{C}}\left(\kappa\bm{X},H\right) - \mu_{(\bm{x},i)}^{\text{RQ}}\left(\kappa\bm{X},H\right)\right\vert$}\label{fig:hhs_gap_diff_e_i}
\includegraphics[width=\textwidth]{hhs_nd_quadratic_gap_images/fixed_e_0_1/diff_k0.5_x_var-y_var-reE0.00imE1.00.png}
\end{minipage} \\ \hline \hline
\end{tabular}
\caption{Shown are the Clifford linear gap (Figure \ref{fig:hhs_linear_gap},\ref{fig:hhs_linear_gap_e_1}, and \ref{fig:hhs_linear_gap_e_i}), right quadratic gap (Figure \ref{fig:hhs_quadratic_gap},\ref{fig:hhs_quadratic_gap_e_1}, and \ref{fig:hhs_quadratic_gap_e_i}) as well as the difference between the gaps in Figure \ref{fig:hhs_gap_diff},\ref{fig:hhs_gap_diff_e_1},and \ref{fig:hhs_gap_diff_e_i} of the Haldane Heterostructure with $(\bm{x},E)=(x,y,E)$ being the probe site with varying energy prove site $E=0,1,i$ along the rows of the table. Note that $(\bm{X},H)=(X,Y,H)$ are the two Position operators and Hamiltonian.} \label{tbl:hhs_gaps_and_diff}
\end{table}
\section{Conclusion}
We have extended the theory of $\epsilon$-pseudospectrum \cite{cerjan_loring_vides_2023} to allow for the study of systems that have more than one non-Hermitian operator.
Along the way we have also proven some propositions about a special case of the non-Hermitian spectral localizer in \cite{cerjan_koekebier_Schulz_Baldes} which we call the non-Hermitian spectral localizer.
We have also shown that even with perturbations to non-Hermitian $B_i$ the quadratic gap is local.
With that said the benefits of the quadratic composite operator is that minimizing the corresponding gap function allows us to minimize eigen errors for various observables/matrices whithout increasing the computational complexity of the problem.
\section{Acknowledgements}
J.J.G.\ acknowledges support in part by an appointment to the Minority Educational Institution Student Partnership Program
(MEISPP), sponsored by the U.S. Department of Energy and administered by the Oak Ridge Institute for Science and Education, and the Center for Integrated Nanotechnologies Summer Research Initiative.
T.L.\ acknowledges support from the National Science Foundation, grant DMS-2349959.
A.C.\ acknowledges support from the Laboratory Directed Research and Development program at Sandia National Laboratories.
This work was performed, in part, at the Center for Integrated Nanotechnologies, an Office of Science User Facility operated for the U.S. Department of Energy (DOE) Office of Science. Sandia National Laboratories is a multimission laboratory managed and operated by National Technology \& Engineering Solutions of Sandia, LLC, a wholly owned subsidiary of Honeywell International, Inc., for the U.S.\ DOE's National Nuclear Security Administration under contract DE-NA-0003525. The views expressed in the article do not necessarily represent the views of the U.S.\ DOE or the United States Government.
\printbibliography
\end{document}
% $ biblatex auxiliary file $
% $ biblatex bbl format version 3.3 $
% Do not modify the above lines!
%
% This is an auxiliary file used by the 'biblatex' package.
% This file may safely be deleted. It will be recreated by
% biber as required.
%
\begingroup
\makeatletter
\@ifundefined{ver@biblatex.sty}
{\@latex@error
{Missing 'biblatex' package}
{The bibliography requires the 'biblatex' package.}
\aftergroup\endinput}
{}
\endgroup
\refsection{0}
\datalist[entry]{nty/global//global/global/global}
\entry{Arnold1972}{article}{}{}
\name{author}{1}{}{%
{{hash=770cc9b96b810efa482e2c27bb5a3ba4}{%
family={Arnol'd},
familyi={A\bibinitperiod},
given={V.\bibnamedelimi I.},
giveni={V\bibinitperiod\bibinitdelim I\bibinitperiod}}}%
}
\strng{namehash}{770cc9b96b810efa482e2c27bb5a3ba4}
\strng{fullhash}{770cc9b96b810efa482e2c27bb5a3ba4}
\strng{fullhashraw}{770cc9b96b810efa482e2c27bb5a3ba4}
\strng{bibnamehash}{770cc9b96b810efa482e2c27bb5a3ba4}
\strng{authorbibnamehash}{770cc9b96b810efa482e2c27bb5a3ba4}
\strng{authornamehash}{770cc9b96b810efa482e2c27bb5a3ba4}
\strng{authorfullhash}{770cc9b96b810efa482e2c27bb5a3ba4}
\strng{authorfullhashraw}{770cc9b96b810efa482e2c27bb5a3ba4}
\field{sortinit}{A}
\field{sortinithash}{2f401846e2029bad6b3ecc16d50031e2}
\field{labelnamesource}{author}
\field{labeltitlesource}{title}
\field{journaltitle}{Functional Analysis and Its Applications}
\field{number}{2}
\field{title}{Modes and Quasimodes}
\field{volume}{6}
\field{year}{1972}
\field{pages}{94\bibrangedash 101}
\range{pages}{8}
\verb{urlraw}
\verb https://doi.org/10.1007/BF01077511
\endverb
\verb{url}
\verb https://doi.org/10.1007/BF01077511
\endverb
\endentry
\entry{bansil_lin_das_RevModPhys.88.021004}{article}{}{}
\name{author}{3}{}{%
{{hash=5bc0eaadbafd0585305181837b7a0af8}{%
family={Bansil},
familyi={B\bibinitperiod},
given={A.},
giveni={A\bibinitperiod}}}%
{{hash=c17222fdb1308f6ad652669224cbaef3}{%
family={Lin},
familyi={L\bibinitperiod},
given={Hsin},
giveni={H\bibinitperiod}}}%
{{hash=762429994b14530ba180d0a6b195f864}{%
family={Das},
familyi={D\bibinitperiod},
given={Tanmoy},
giveni={T\bibinitperiod}}}%
}
\list{publisher}{1}{%
{American Physical Society}%
}
\strng{namehash}{b1277522861195ca469e5e38a780c037}
\strng{fullhash}{b1277522861195ca469e5e38a780c037}
\strng{fullhashraw}{b1277522861195ca469e5e38a780c037}
\strng{bibnamehash}{b1277522861195ca469e5e38a780c037}
\strng{authorbibnamehash}{b1277522861195ca469e5e38a780c037}
\strng{authornamehash}{b1277522861195ca469e5e38a780c037}
\strng{authorfullhash}{b1277522861195ca469e5e38a780c037}
\strng{authorfullhashraw}{b1277522861195ca469e5e38a780c037}
\field{sortinit}{B}
\field{sortinithash}{d7095fff47cda75ca2589920aae98399}
\field{labelnamesource}{author}
\field{labeltitlesource}{title}
\field{issue}{2}
\field{journaltitle}{Rev. Mod. Phys.}
\field{month}{06}
\field{title}{Colloquium: Topological band theory}
\field{volume}{88}
\field{year}{2016}
\field{pages}{021004}
\range{pages}{1}
\verb{doi}
\verb 10.1103/RevModPhys.88.021004
\endverb
\verb{urlraw}
\verb https://link.aps.org/doi/10.1103/RevModPhys.88.021004
\endverb
\verb{url}
\verb https://link.aps.org/doi/10.1103/RevModPhys.88.021004
\endverb
\endentry
\entry{cerjan_koekebier_Schulz_Baldes}{article}{}{}
\name{author}{3}{}{%
{{hash=0ffa0468a5af82482b9ebb20323ee6ca}{%
family={Cerjan},
familyi={C\bibinitperiod},
given={Alexander},
giveni={A\bibinitperiod}}}%
{{hash=179c7bfc0c3a92e5ebb055d6ff0ca787}{%
family={Koekenbier},
familyi={K\bibinitperiod},
given={Lars},
giveni={L\bibinitperiod}}}%
{{hash=0910af5089bb6a689e33926593b9ee93}{%
family={Schulz-Baldes},
familyi={S\bibinithyphendelim B\bibinitperiod},
given={Hermann},
giveni={H\bibinitperiod}}}%
}
\strng{namehash}{e0d3d4b564baa30db18197dfef4d50fe}
\strng{fullhash}{e0d3d4b564baa30db18197dfef4d50fe}
\strng{fullhashraw}{e0d3d4b564baa30db18197dfef4d50fe}
\strng{bibnamehash}{e0d3d4b564baa30db18197dfef4d50fe}
\strng{authorbibnamehash}{e0d3d4b564baa30db18197dfef4d50fe}
\strng{authornamehash}{e0d3d4b564baa30db18197dfef4d50fe}
\strng{authorfullhash}{e0d3d4b564baa30db18197dfef4d50fe}
\strng{authorfullhashraw}{e0d3d4b564baa30db18197dfef4d50fe}
\field{sortinit}{C}
\field{sortinithash}{4d103a86280481745c9c897c925753c0}
\field{labelnamesource}{author}
\field{labeltitlesource}{title}
\field{journaltitle}{Journal of Mathematical Physics}
\field{number}{8}
\field{title}{Spectral localizer for line-gapped non-hermitian systems}
\field{volume}{64}
\field{year}{2023}
\field{pages}{082102}
\range{pages}{1}
\verb{doi}
\verb https://doi.org/10.1063/5.0150995
\endverb
\keyw{physics,mathematics}
\endentry
\entry{cerjan_loring_vides_2023}{article}{}{}
\name{author}{3}{}{%
{{hash=0ffa0468a5af82482b9ebb20323ee6ca}{%
family={Cerjan},
familyi={C\bibinitperiod},
given={Alexander},
giveni={A\bibinitperiod}}}%
{{hash=fbc3e5c2eb1401bb4ca93f50139e62b8}{%
family={Loring},
familyi={L\bibinitperiod},
given={Terry},
giveni={T\bibinitperiod}}}%
{{hash=2a7650813c1b841cbacde8d5ba3af448}{%
family={Vides},
familyi={V\bibinitperiod},
given={Fredy},
giveni={F\bibinitperiod}}}%
}
\strng{namehash}{c38c58ccf68f1a7f1d050221ccefd61b}
\strng{fullhash}{c38c58ccf68f1a7f1d050221ccefd61b}
\strng{fullhashraw}{c38c58ccf68f1a7f1d050221ccefd61b}
\strng{bibnamehash}{c38c58ccf68f1a7f1d050221ccefd61b}
\strng{authorbibnamehash}{c38c58ccf68f1a7f1d050221ccefd61b}
\strng{authornamehash}{c38c58ccf68f1a7f1d050221ccefd61b}
\strng{authorfullhash}{c38c58ccf68f1a7f1d050221ccefd61b}
\strng{authorfullhashraw}{c38c58ccf68f1a7f1d050221ccefd61b}
\field{sortinit}{C}
\field{sortinithash}{4d103a86280481745c9c897c925753c0}
\field{labelnamesource}{author}
\field{labeltitlesource}{title}
\field{journaltitle}{Journal of Mathematical Physics}
\field{number}{2}
\field{title}{Quadratic pseudospectrum for identifying localized states}
\field{volume}{64}
\field{year}{2023}
\field{pages}{023501}
\range{pages}{1}
\verb{doi}
\verb https://doi.org/10.1063/5.0098336
\endverb
\keyw{physics,mathematics}
\endentry
\entry{cerjan_prl_2024}{article}{}{}
\name{author}{3}{}{%
{{hash=0ffa0468a5af82482b9ebb20323ee6ca}{%
family={Cerjan},
familyi={C\bibinitperiod},
given={Alexander},
giveni={A\bibinitperiod}}}%
{{hash=ee49b5adf6a777a6995b89a85c9b30c4}{%
family={Loring},
familyi={L\bibinitperiod},
given={Terry\bibnamedelima A},
giveni={T\bibinitperiod\bibinitdelim A\bibinitperiod}}}%
{{hash=0910af5089bb6a689e33926593b9ee93}{%
family={Schulz-Baldes},
familyi={S\bibinithyphendelim B\bibinitperiod},
given={Hermann},
giveni={H\bibinitperiod}}}%
}
\list{publisher}{1}{%
{APS}%
}
\strng{namehash}{b3479eba9f0fcc9bbf1bc52328c30563}
\strng{fullhash}{b3479eba9f0fcc9bbf1bc52328c30563}
\strng{fullhashraw}{b3479eba9f0fcc9bbf1bc52328c30563}
\strng{bibnamehash}{b3479eba9f0fcc9bbf1bc52328c30563}
\strng{authorbibnamehash}{b3479eba9f0fcc9bbf1bc52328c30563}
\strng{authornamehash}{b3479eba9f0fcc9bbf1bc52328c30563}
\strng{authorfullhash}{b3479eba9f0fcc9bbf1bc52328c30563}
\strng{authorfullhashraw}{b3479eba9f0fcc9bbf1bc52328c30563}
\field{sortinit}{C}
\field{sortinithash}{4d103a86280481745c9c897c925753c0}
\field{labelnamesource}{author}
\field{labeltitlesource}{title}
\field{journaltitle}{Physical Review Letters}
\field{number}{7}
\field{title}{Local markers for crystalline topology}
\field{volume}{132}
\field{year}{2024}
\field{pages}{073803}
\range{pages}{1}
\endentry
\entry{cerjan_loring_pho_2022}{article}{}{}
\name{author}{2}{}{%
{{hash=0ffa0468a5af82482b9ebb20323ee6ca}{%
family={Cerjan},
familyi={C\bibinitperiod},
given={Alexander},
giveni={A\bibinitperiod}}}%
{{hash=ee49b5adf6a777a6995b89a85c9b30c4}{%
family={Loring},
familyi={L\bibinitperiod},
given={Terry\bibnamedelima A.},
giveni={T\bibinitperiod\bibinitdelim A\bibinitperiod}}}%
}
\strng{namehash}{232a2206804e51ee60042773bf05b718}
\strng{fullhash}{232a2206804e51ee60042773bf05b718}
\strng{fullhashraw}{232a2206804e51ee60042773bf05b718}
\strng{bibnamehash}{232a2206804e51ee60042773bf05b718}
\strng{authorbibnamehash}{232a2206804e51ee60042773bf05b718}
\strng{authornamehash}{232a2206804e51ee60042773bf05b718}
\strng{authorfullhash}{232a2206804e51ee60042773bf05b718}
\strng{authorfullhashraw}{232a2206804e51ee60042773bf05b718}
\field{extraname}{1}
\field{sortinit}{C}
\field{sortinithash}{4d103a86280481745c9c897c925753c0}
\field{labelnamesource}{author}
\field{labeltitlesource}{title}
\field{journaltitle}{Nanophotonics}
\field{number}{21}
\field{title}{An operator-based approach to topological photonics}
\field{volume}{11}
\field{year}{2022}
\field{pages}{4765\bibrangedash 4780}
\range{pages}{16}
\verb{doi}
\verb doi:10.1515/nanoph-2022-0547
\endverb
\verb{urlraw}
\verb https://doi.org/10.1515/nanoph-2022-0547
\endverb
\verb{url}
\verb https://doi.org/10.1515/nanoph-2022-0547
\endverb
\endentry
\entry{cerjan_loring_2024_127892}{article}{}{}
\name{author}{2}{}{%
{{hash=0ffa0468a5af82482b9ebb20323ee6ca}{%
family={Cerjan},
familyi={C\bibinitperiod},
given={Alexander},
giveni={A\bibinitperiod}}}%
{{hash=ee49b5adf6a777a6995b89a85c9b30c4}{%
family={Loring},
familyi={L\bibinitperiod},
given={Terry\bibnamedelima A.},
giveni={T\bibinitperiod\bibinitdelim A\bibinitperiod}}}%
}
\strng{namehash}{232a2206804e51ee60042773bf05b718}
\strng{fullhash}{232a2206804e51ee60042773bf05b718}
\strng{fullhashraw}{232a2206804e51ee60042773bf05b718}
\strng{bibnamehash}{232a2206804e51ee60042773bf05b718}
\strng{authorbibnamehash}{232a2206804e51ee60042773bf05b718}
\strng{authornamehash}{232a2206804e51ee60042773bf05b718}
\strng{authorfullhash}{232a2206804e51ee60042773bf05b718}
\strng{authorfullhashraw}{232a2206804e51ee60042773bf05b718}
\field{extraname}{2}
\field{sortinit}{C}
\field{sortinithash}{4d103a86280481745c9c897c925753c0}
\field{labelnamesource}{author}
\field{labeltitlesource}{title}
\field{abstract}{The Clifford spectrum is a form of joint spectrum for noncommuting matrices. This theory has been applied in photonics, condensed matter and string theory. In applications, the Clifford spectrum can be efficiently approximated using numerical methods, but this only is possible in low dimensional example. Here we examine the higher-dimensional spheres that can arise from theoretical examples. We also describe a constructive method to generate five real symmetric almost commuting matrices that have a K-theoretical obstruction to being close to commuting matrices. For this, we look to matrix models of topological electric circuits.}
\field{issn}{0022-247X}
\field{journaltitle}{Journal of Mathematical Analysis and Applications}
\field{number}{1, Part 2}
\field{title}{Even spheres as joint spectra of matrix models}
\field{volume}{531}
\field{year}{2024}
\field{pages}{127892}
\range{pages}{1}
\verb{doi}
\verb https://doi.org/10.1016/j.jmaa.2023.127892
\endverb
\verb{urlraw}
\verb https://www.sciencedirect.com/science/article/pii/S0022247X23008958
\endverb
\verb{url}
\verb https://www.sciencedirect.com/science/article/pii/S0022247X23008958
\endverb
\keyw{Spectrum,Noncommmutative,-theory}
\endentry
\entry{cerjan_loring_2022}{article}{}{}
\name{author}{2}{}{%
{{hash=0ffa0468a5af82482b9ebb20323ee6ca}{%
family={Cerjan},
familyi={C\bibinitperiod},
given={Alexander},
giveni={A\bibinitperiod}}}%
{{hash=ee49b5adf6a777a6995b89a85c9b30c4}{%
family={Loring},
familyi={L\bibinitperiod},
given={Terry\bibnamedelima A.},
giveni={T\bibinitperiod\bibinitdelim A\bibinitperiod}}}%
}
\list{publisher}{1}{%
{American Physical Society}%
}
\strng{namehash}{232a2206804e51ee60042773bf05b718}
\strng{fullhash}{232a2206804e51ee60042773bf05b718}
\strng{fullhashraw}{232a2206804e51ee60042773bf05b718}
\strng{bibnamehash}{232a2206804e51ee60042773bf05b718}
\strng{authorbibnamehash}{232a2206804e51ee60042773bf05b718}
\strng{authornamehash}{232a2206804e51ee60042773bf05b718}
\strng{authorfullhash}{232a2206804e51ee60042773bf05b718}
\strng{authorfullhashraw}{232a2206804e51ee60042773bf05b718}
\field{extraname}{3}
\field{sortinit}{C}
\field{sortinithash}{4d103a86280481745c9c897c925753c0}
\field{labelnamesource}{author}
\field{labeltitlesource}{title}
\field{journaltitle}{Phys. Rev. B}
\field{month}{08}
\field{title}{Local invariants identify topology in metals and gapless systems}
\field{year}{2022}
\field{pages}{064109}
\range{pages}{1}
\verb{doi}
\verb 10.1103/PhysRevB.106.064109
\endverb
\verb{urlraw}
\verb https://link.aps.org/doi/10.1103/PhysRevB.106.064109
\endverb
\verb{url}
\verb https://link.aps.org/doi/10.1103/PhysRevB.106.064109
\endverb
\endentry
\entry{kahlil_cerjan_loring}{article}{}{}
\name{author}{3}{}{%
{{hash=925f723f6822aca38fb414b05fb03623}{%
family={Dixon},
familyi={D\bibinitperiod},
given={Kahlil\bibnamedelima Y.},
giveni={K\bibinitperiod\bibinitdelim Y\bibinitperiod}}}%
{{hash=ee49b5adf6a777a6995b89a85c9b30c4}{%
family={Loring},
familyi={L\bibinitperiod},
given={Terry\bibnamedelima A.},
giveni={T\bibinitperiod\bibinitdelim A\bibinitperiod}}}%
{{hash=0ffa0468a5af82482b9ebb20323ee6ca}{%
family={Cerjan},
familyi={C\bibinitperiod},
given={Alexander},
giveni={A\bibinitperiod}}}%
}
\list{publisher}{1}{%
{American Physical Society}%
}
\strng{namehash}{ede29cfa698aa01551c6fa48ce5868f5}
\strng{fullhash}{ede29cfa698aa01551c6fa48ce5868f5}
\strng{fullhashraw}{ede29cfa698aa01551c6fa48ce5868f5}
\strng{bibnamehash}{ede29cfa698aa01551c6fa48ce5868f5}
\strng{authorbibnamehash}{ede29cfa698aa01551c6fa48ce5868f5}
\strng{authornamehash}{ede29cfa698aa01551c6fa48ce5868f5}
\strng{authorfullhash}{ede29cfa698aa01551c6fa48ce5868f5}
\strng{authorfullhashraw}{ede29cfa698aa01551c6fa48ce5868f5}
\field{sortinit}{D}
\field{sortinithash}{6f385f66841fb5e82009dc833c761848}
\field{labelnamesource}{author}
\field{labeltitlesource}{title}
\field{issue}{21}
\field{journaltitle}{Phys. Rev. Lett.}
\field{month}{11}
\field{title}{Classifying Topology in Photonic Heterostructures with Gapless Environments}
\field{volume}{131}
\field{year}{2023}
\field{pages}{213801}
\range{pages}{1}
\verb{doi}
\verb 10.1103/PhysRevLett.131.213801
\endverb
\verb{urlraw}
\verb https://link.aps.org/doi/10.1103/PhysRevLett.131.213801
\endverb
\verb{url}
\verb https://link.aps.org/doi/10.1103/PhysRevLett.131.213801
\endverb
\endentry
\entry{elsner_paardekooper}{article}{}{}
\name{author}{2}{}{%
{{hash=a0e7827165e61a6f1c005b2d41a0bc96}{%
family={Elsner},
familyi={E\bibinitperiod},
given={L.},
giveni={L\bibinitperiod}}}%
{{hash=2a9c4bd97b1daed60478c8f91af992c0}{%
family={Paardekooper},
familyi={P\bibinitperiod},
given={M.H.C.},
giveni={M\bibinitperiod}}}%
}
\strng{namehash}{461cd6894ddd4880f430a25f506fc066}
\strng{fullhash}{461cd6894ddd4880f430a25f506fc066}
\strng{fullhashraw}{461cd6894ddd4880f430a25f506fc066}
\strng{bibnamehash}{461cd6894ddd4880f430a25f506fc066}
\strng{authorbibnamehash}{461cd6894ddd4880f430a25f506fc066}
\strng{authornamehash}{461cd6894ddd4880f430a25f506fc066}
\strng{authorfullhash}{461cd6894ddd4880f430a25f506fc066}
\strng{authorfullhashraw}{461cd6894ddd4880f430a25f506fc066}
\field{sortinit}{E}
\field{sortinithash}{8da8a182d344d5b9047633dfc0cc9131}
\field{labelnamesource}{author}
\field{labeltitlesource}{title}
\field{journaltitle}{Linear Algebra and it's Applications}
\field{title}{On Measures of Nonnormality of Matrices}
\field{volume}{92}
\field{year}{1987}
\field{pages}{107\bibrangedash 124}
\range{pages}{18}
\verb{doi}
\verb https://doi.org/10.1016/0024-3795(87)90253-9
\endverb
\keyw{mathematics,linear algebra}
\endentry
\entry{Esaki_Sato_Hasebe_Kohmoto_PR_2011}{article}{}{}
\name{author}{4}{}{%
{{hash=996f3a6b87ca2cafb9b3cc24d7dd9ac7}{%
family={Esaki},
familyi={E\bibinitperiod},
given={Kenta},
giveni={K\bibinitperiod}}}%
{{hash=226e1696f5c6e1223240485037177cf9}{%
family={Sato},
familyi={S\bibinitperiod},
given={Masatoshi},
giveni={M\bibinitperiod}}}%
{{hash=ec952322ba5e5d806cc7501d612a2148}{%
family={Hasebe},
familyi={H\bibinitperiod},
given={Kazuki},
giveni={K\bibinitperiod}}}%
{{hash=9c266703a77035102ae3406890017906}{%
family={Kohmoto},
familyi={K\bibinitperiod},
given={Mahito},
giveni={M\bibinitperiod}}}%
}
\list{publisher}{1}{%
{American Physical Society}%
}
\strng{namehash}{f958a731a4d95e9c2cda23b09e24ffec}
\strng{fullhash}{da8a9bd0dbf8c910f4e54c4f165d0120}
\strng{fullhashraw}{da8a9bd0dbf8c910f4e54c4f165d0120}
\strng{bibnamehash}{f958a731a4d95e9c2cda23b09e24ffec}
\strng{authorbibnamehash}{f958a731a4d95e9c2cda23b09e24ffec}
\strng{authornamehash}{f958a731a4d95e9c2cda23b09e24ffec}
\strng{authorfullhash}{da8a9bd0dbf8c910f4e54c4f165d0120}
\strng{authorfullhashraw}{da8a9bd0dbf8c910f4e54c4f165d0120}
\field{sortinit}{E}
\field{sortinithash}{8da8a182d344d5b9047633dfc0cc9131}
\field{labelnamesource}{author}
\field{labeltitlesource}{title}
\field{issue}{20}
\field{journaltitle}{Phys. Rev. B}
\field{month}{11}
\field{title}{Edge states and topological phases in non-Hermitian systems}
\field{volume}{84}
\field{year}{2011}
\field{pages}{205128}
\range{pages}{1}
\verb{doi}
\verb 10.1103/PhysRevB.84.205128
\endverb
\verb{urlraw}
\verb https://link.aps.org/doi/10.1103/PhysRevB.84.205128
\endverb
\verb{url}
\verb https://link.aps.org/doi/10.1103/PhysRevB.84.205128
\endverb
\endentry
\entry{golub_vanloan}{book}{}{}
\name{author}{2}{}{%
{{hash=8b856da92ad549d323acc679ecf7f474}{%
family={Golub},
familyi={G\bibinitperiod},
given={Gene\bibnamedelima H.},
giveni={G\bibinitperiod\bibinitdelim H\bibinitperiod}}}%
{{hash=4ed2d13e66ef340bd8d892c23333c87b}{%
family={Van\bibnamedelima Loan},
familyi={V\bibinitperiod\bibinitdelim L\bibinitperiod},
given={Charles\bibnamedelima F.},
giveni={C\bibinitperiod\bibinitdelim F\bibinitperiod}}}%
}
\list{publisher}{1}{%
{Johns Hopkins University Press}%
}
\strng{namehash}{315525c1558db03561c0e8a8b605758b}
\strng{fullhash}{315525c1558db03561c0e8a8b605758b}
\strng{fullhashraw}{315525c1558db03561c0e8a8b605758b}
\strng{bibnamehash}{315525c1558db03561c0e8a8b605758b}
\strng{authorbibnamehash}{315525c1558db03561c0e8a8b605758b}
\strng{authornamehash}{315525c1558db03561c0e8a8b605758b}
\strng{authorfullhash}{315525c1558db03561c0e8a8b605758b}
\strng{authorfullhashraw}{315525c1558db03561c0e8a8b605758b}
\field{sortinit}{G}
\field{sortinithash}{32d67eca0634bf53703493fb1090a2e8}
\field{labelnamesource}{author}
\field{labeltitlesource}{title}
\field{isbn}{9781421407944}
\field{series}{Johns Hopkins Studies in the Mathematical Sciences, volume 3}
\field{title}{Matrix Computations}
\field{year}{2013}
\keyw{Mathematics,Matrix Analysis}
\endentry
\entry{haldane}{article}{}{}
\name{author}{1}{}{%
{{hash=a0d82f851fe7a44e7bc0b6f719b71868}{%
family={Haldane},
familyi={H\bibinitperiod},
given={Frederick\bibnamedelima D.},
giveni={F\bibinitperiod\bibinitdelim D\bibinitperiod}}}%
}
\strng{namehash}{a0d82f851fe7a44e7bc0b6f719b71868}
\strng{fullhash}{a0d82f851fe7a44e7bc0b6f719b71868}
\strng{fullhashraw}{a0d82f851fe7a44e7bc0b6f719b71868}
\strng{bibnamehash}{a0d82f851fe7a44e7bc0b6f719b71868}
\strng{authorbibnamehash}{a0d82f851fe7a44e7bc0b6f719b71868}
\strng{authornamehash}{a0d82f851fe7a44e7bc0b6f719b71868}
\strng{authorfullhash}{a0d82f851fe7a44e7bc0b6f719b71868}
\strng{authorfullhashraw}{a0d82f851fe7a44e7bc0b6f719b71868}
\field{sortinit}{H}
\field{sortinithash}{23a3aa7c24e56cfa16945d55545109b5}
\field{labelnamesource}{author}
\field{labeltitlesource}{title}
\field{journaltitle}{Physical Review Letters}
\field{number}{18}
\field{title}{Model for a Quantum Hall Effect without Landau Levels: Condensed-Matter Realization of the ``Parity Anomaly''}
\field{volume}{61}
\field{year}{1988}
\field{pages}{2015\bibrangedash 2018}
\range{pages}{4}
\verb{doi}
\verb https://doi-org.libproxy.unm.edu/10.1103/PhysRevLett.61.2015
\endverb
\keyw{condensed matter,physics}
\endentry
\entry{hasan_kane_2010_RevModPhys.82.3045}{article}{}{}
\name{author}{2}{}{%
{{hash=92e3f7c076de9dde3b98c8f43284641f}{%
family={Hasan},
familyi={H\bibinitperiod},
given={M.\bibnamedelimi Z.},
giveni={M\bibinitperiod\bibinitdelim Z\bibinitperiod}}}%
{{hash=a69ae6e73333e494a991e5c0810d2bc2}{%
family={Kane},
familyi={K\bibinitperiod},
given={C.\bibnamedelimi L.},
giveni={C\bibinitperiod\bibinitdelim L\bibinitperiod}}}%
}
\list{publisher}{1}{%
{American Physical Society}%
}
\strng{namehash}{c0a6c09729e65e3903cbf01077bbb803}
\strng{fullhash}{c0a6c09729e65e3903cbf01077bbb803}
\strng{fullhashraw}{c0a6c09729e65e3903cbf01077bbb803}
\strng{bibnamehash}{c0a6c09729e65e3903cbf01077bbb803}
\strng{authorbibnamehash}{c0a6c09729e65e3903cbf01077bbb803}
\strng{authornamehash}{c0a6c09729e65e3903cbf01077bbb803}
\strng{authorfullhash}{c0a6c09729e65e3903cbf01077bbb803}
\strng{authorfullhashraw}{c0a6c09729e65e3903cbf01077bbb803}
\field{sortinit}{H}
\field{sortinithash}{23a3aa7c24e56cfa16945d55545109b5}
\field{labelnamesource}{author}
\field{labeltitlesource}{title}
\field{issue}{4}
\field{journaltitle}{Rev. Mod. Phys.}
\field{month}{11}
\field{title}{Colloquium: Topological insulators}
\field{volume}{82}
\field{year}{2010}
\field{pages}{3045\bibrangedash 3067}
\range{pages}{23}
\verb{doi}
\verb 10.1103/RevModPhys.82.3045
\endverb
\verb{urlraw}
\verb https://link.aps.org/doi/10.1103/RevModPhys.82.3045
\endverb
\verb{url}
\verb https://link.aps.org/doi/10.1103/RevModPhys.82.3045
\endverb
\endentry
\entry{hirvensalo_2001}{book}{}{}
\name{author}{1}{}{%
{{hash=b9c04db3a4b4da8a60f0c761aa837f85}{%
family={Hirvensalo},
familyi={H\bibinitperiod},
given={Mika},
giveni={M\bibinitperiod}}}%
}
\list{publisher}{1}{%
{Springer}%
}
\strng{namehash}{b9c04db3a4b4da8a60f0c761aa837f85}
\strng{fullhash}{b9c04db3a4b4da8a60f0c761aa837f85}
\strng{fullhashraw}{b9c04db3a4b4da8a60f0c761aa837f85}
\strng{bibnamehash}{b9c04db3a4b4da8a60f0c761aa837f85}
\strng{authorbibnamehash}{b9c04db3a4b4da8a60f0c761aa837f85}
\strng{authornamehash}{b9c04db3a4b4da8a60f0c761aa837f85}
\strng{authorfullhash}{b9c04db3a4b4da8a60f0c761aa837f85}
\strng{authorfullhashraw}{b9c04db3a4b4da8a60f0c761aa837f85}
\field{sortinit}{H}
\field{sortinithash}{23a3aa7c24e56cfa16945d55545109b5}
\field{labelnamesource}{author}
\field{labeltitlesource}{title}
\field{isbn}{3540667830}
\field{series}{Natural computing series}
\field{title}{Quantum computing.}
\field{year}{2001}
\verb{urlraw}
\verb https://libproxy.unm.edu/login?url=https://search.ebscohost.com/login.aspx?direct=true&db=cat05987a&AN=unm.46538501&site=eds-live&scope=site
\endverb
\verb{url}
\verb https://libproxy.unm.edu/login?url=https://search.ebscohost.com/login.aspx?direct=true&db=cat05987a&AN=unm.46538501&site=eds-live&scope=site
\endverb
\endentry
\entry{JHANJEE2017}{article}{}{}
\name{author}{1}{}{%
{{hash=00a56af5e79152030bdf8ab6ad508483}{%
family={JHANJEE},
familyi={J\bibinitperiod},
given={SANGEETA},
giveni={S\bibinitperiod}}}%
}
\strng{namehash}{00a56af5e79152030bdf8ab6ad508483}
\strng{fullhash}{00a56af5e79152030bdf8ab6ad508483}
\strng{fullhashraw}{00a56af5e79152030bdf8ab6ad508483}
\strng{bibnamehash}{00a56af5e79152030bdf8ab6ad508483}
\strng{authorbibnamehash}{00a56af5e79152030bdf8ab6ad508483}
\strng{authornamehash}{00a56af5e79152030bdf8ab6ad508483}
\strng{authorfullhash}{00a56af5e79152030bdf8ab6ad508483}
\strng{authorfullhashraw}{00a56af5e79152030bdf8ab6ad508483}
\field{sortinit}{J}
\field{sortinithash}{b2f54a9081ace9966a7cb9413811edb4}
\field{labelnamesource}{author}
\field{labeltitlesource}{title}
\field{month}{9}
\field{title}{{Joint Spectral Theory Using Clifford Algebra}}
\field{year}{2017}
\verb{doi}
\verb 10.4225/03/59ae10e2b5ef5
\endverb
\verb{urlraw}
\verb https://bridges.monash.edu/articles/thesis/Joint_Spectral_Theory_Using_Clifford_Algebra/5373127
\endverb
\verb{url}
\verb https://bridges.monash.edu/articles/thesis/Joint_Spectral_Theory_Using_Clifford_Algebra/5373127
\endverb
\endentry
\entry{kawabata_shiozaki_ueda_sato_PhysRevX.9.041015_2019}{article}{}{}
\name{author}{4}{}{%
{{hash=7685e82b292d60829aefee86026c14f4}{%
family={Kawabata},
familyi={K\bibinitperiod},
given={Kohei},
giveni={K\bibinitperiod}}}%
{{hash=05bcebec3f6b42125c2497d4f9d3277f}{%
family={Shiozaki},
familyi={S\bibinitperiod},
given={Ken},
giveni={K\bibinitperiod}}}%
{{hash=d50a891f839d10cf9f1b04981b981fd9}{%
family={Ueda},
familyi={U\bibinitperiod},
given={Masahito},
giveni={M\bibinitperiod}}}%
{{hash=226e1696f5c6e1223240485037177cf9}{%
family={Sato},
familyi={S\bibinitperiod},
given={Masatoshi},
giveni={M\bibinitperiod}}}%
}
\list{publisher}{1}{%
{American Physical Society}%
}
\strng{namehash}{52b0f5e5eff3dfc5173f5d327c763797}
\strng{fullhash}{9715f34e263a58a1421438910019d7c3}
\strng{fullhashraw}{9715f34e263a58a1421438910019d7c3}
\strng{bibnamehash}{52b0f5e5eff3dfc5173f5d327c763797}
\strng{authorbibnamehash}{52b0f5e5eff3dfc5173f5d327c763797}
\strng{authornamehash}{52b0f5e5eff3dfc5173f5d327c763797}
\strng{authorfullhash}{9715f34e263a58a1421438910019d7c3}
\strng{authorfullhashraw}{9715f34e263a58a1421438910019d7c3}
\field{extraname}{1}
\field{sortinit}{K}
\field{sortinithash}{c02bf6bff1c488450c352b40f5d853ab}
\field{labelnamesource}{author}
\field{labeltitlesource}{title}
\field{issue}{4}
\field{journaltitle}{Phys. Rev. X}
\field{month}{10}
\field{title}{Symmetry and Topology in Non-Hermitian Physics}
\field{volume}{9}
\field{year}{2019}
\field{pages}{041015}
\range{pages}{1}
\verb{doi}
\verb 10.1103/PhysRevX.9.041015
\endverb
\verb{urlraw}
\verb https://link.aps.org/doi/10.1103/PhysRevX.9.041015
\endverb
\verb{url}
\verb https://link.aps.org/doi/10.1103/PhysRevX.9.041015
\endverb
\endentry
\entry{Kawabata_etal_nature_2019}{article}{}{}
\name{author}{5}{}{%
{{hash=7685e82b292d60829aefee86026c14f4}{%
family={Kawabata},
familyi={K\bibinitperiod},
given={Kohei},
giveni={K\bibinitperiod}}}%
{{hash=1f0756862a58d659c10ebf5d218adf90}{%
family={Higashikawa},
familyi={H\bibinitperiod},
given={Sho},
giveni={S\bibinitperiod}}}%
{{hash=7bcca9fc022b2488fe372b3d1d67b0a9}{%
family={Gong},
familyi={G\bibinitperiod},
given={Zongping},
giveni={Z\bibinitperiod}}}%
{{hash=eb68d2d905867a30c91a0f6df6ce65b8}{%
family={Ashida},
familyi={A\bibinitperiod},
given={Yuto},
giveni={Y\bibinitperiod}}}%
{{hash=d50a891f839d10cf9f1b04981b981fd9}{%
family={Ueda},
familyi={U\bibinitperiod},
given={Masahito},
giveni={M\bibinitperiod}}}%
}
\list{publisher}{1}{%
{Nature Publishing Group UK London}%
}
\strng{namehash}{52b0f5e5eff3dfc5173f5d327c763797}
\strng{fullhash}{ac33c9655a8c52af7504ad72bf75a521}
\strng{fullhashraw}{ac33c9655a8c52af7504ad72bf75a521}
\strng{bibnamehash}{52b0f5e5eff3dfc5173f5d327c763797}
\strng{authorbibnamehash}{52b0f5e5eff3dfc5173f5d327c763797}
\strng{authornamehash}{52b0f5e5eff3dfc5173f5d327c763797}
\strng{authorfullhash}{ac33c9655a8c52af7504ad72bf75a521}
\strng{authorfullhashraw}{ac33c9655a8c52af7504ad72bf75a521}
\field{extraname}{2}
\field{sortinit}{K}
\field{sortinithash}{c02bf6bff1c488450c352b40f5d853ab}
\field{labelnamesource}{author}
\field{labeltitlesource}{title}
\field{journaltitle}{Nature communications}
\field{number}{1}
\field{title}{Topological unification of time-reversal and particle-hole symmetries in non-Hermitian physics}
\field{volume}{10}
\field{year}{2019}
\field{pages}{297}
\range{pages}{1}
\endentry
\entry{kiorpelidis2024scaling}{article}{}{}
\name{author}{2}{}{%
{{hash=87e94de383481c38a13881725207c760}{%
family={Kiorpelidis},
familyi={K\bibinitperiod},
given={Ioannis},
giveni={I\bibinitperiod}}}%
{{hash=b12c0ec6ba944456f7a04b81496ffc58}{%
family={Makris},
familyi={M\bibinitperiod},
given={Konstantinos\bibnamedelima G.},
giveni={K\bibinitperiod\bibinitdelim G\bibinitperiod}}}%
}
\strng{namehash}{f9cd8a112f04226de4d1d4c3e8a04805}
\strng{fullhash}{f9cd8a112f04226de4d1d4c3e8a04805}
\strng{fullhashraw}{f9cd8a112f04226de4d1d4c3e8a04805}
\strng{bibnamehash}{f9cd8a112f04226de4d1d4c3e8a04805}
\strng{authorbibnamehash}{f9cd8a112f04226de4d1d4c3e8a04805}
\strng{authornamehash}{f9cd8a112f04226de4d1d4c3e8a04805}
\strng{authorfullhash}{f9cd8a112f04226de4d1d4c3e8a04805}
\strng{authorfullhashraw}{f9cd8a112f04226de4d1d4c3e8a04805}
\field{sortinit}{K}
\field{sortinithash}{c02bf6bff1c488450c352b40f5d853ab}
\field{labelnamesource}{author}
\field{labeltitlesource}{title}
\field{abstract}{One of the important features of non-Hermitian Hamiltonians is the existence of a unique type of singularities, the so-called exceptional points. When the corresponding systems operate around such singularities, they exhibit ultrasensitive behavior that has no analog in conservative systems. An alternative way to realize such ultra-sensitivity relies on asymmetric couplings. Here we provide a comprehensive analysis based on pseudospectra, that shows the origin of exponential sensitivity, without relying on topological zero modes or the localization of all eigenstates (skin effect), but on the underlying extreme non-normality of the problem. In particular, we consider four different type of lattices (Hatano-Nelson, Sylvester-Kac, NH-SSH and NH-Random lattice) and identify the conditions for exponential sensitivity as a function of the lattice size. Complex and structured pseudospectra reveal the signatures of exponential sensitivity both on the eigenvalue spectra and on the underlying}
\field{journaltitle}{arXiv preprint arXiv:2409.12036}
\field{title}{Scaling of pseudospectra in exponentially sensitive lattices.}
\field{year}{2024}
\verb{urlraw}
\verb https://libproxy.unm.edu/login?url=https://search.ebscohost.com/login.aspx?direct=true&db=edsarx&AN=edsarx.2409.12036&site=eds-live&scope=site
\endverb
\verb{url}
\verb https://libproxy.unm.edu/login?url=https://search.ebscohost.com/login.aspx?direct=true&db=edsarx&AN=edsarx.2409.12036&site=eds-live&scope=site
\endverb
\keyw{Physics - Optics}
\endentry
\entry{krejcirik_siegl_tater_viola_2015_10.1063/1.4934378}{article}{}{}
\name{author}{4}{}{%
{{hash=c121520e317250bcf1961792670b9160}{%
family={Krejčiřík},
familyi={K\bibinitperiod},
given={D.},
giveni={D\bibinitperiod}}}%
{{hash=5182c90a7570a9656884dcea723e5363}{%
family={Siegl},
familyi={S\bibinitperiod},
given={P.},
giveni={P\bibinitperiod}}}%
{{hash=b16506f4a22bb2c24c83dfde16c4fedb}{%
family={Tater},
familyi={T\bibinitperiod},
given={M.},
giveni={M\bibinitperiod}}}%
{{hash=f2e0942baab117fc12f0636a4de5e830}{%
family={Viola},
familyi={V\bibinitperiod},
given={J.},
giveni={J\bibinitperiod}}}%
}
\strng{namehash}{52dbf333c4990ca47dbd0490d4783a9a}
\strng{fullhash}{1969abd6e2e6cb98cf5c7be96c0190c3}
\strng{fullhashraw}{1969abd6e2e6cb98cf5c7be96c0190c3}
\strng{bibnamehash}{52dbf333c4990ca47dbd0490d4783a9a}
\strng{authorbibnamehash}{52dbf333c4990ca47dbd0490d4783a9a}
\strng{authornamehash}{52dbf333c4990ca47dbd0490d4783a9a}
\strng{authorfullhash}{1969abd6e2e6cb98cf5c7be96c0190c3}
\strng{authorfullhashraw}{1969abd6e2e6cb98cf5c7be96c0190c3}
\field{sortinit}{K}
\field{sortinithash}{c02bf6bff1c488450c352b40f5d853ab}
\field{labelnamesource}{author}
\field{labeltitlesource}{title}
\field{abstract}{{ We propose giving the mathematical concept of the pseudospectrum a central role in quantum mechanics with non-Hermitian operators. We relate pseudospectral properties to quasi-Hermiticity, similarity to self-adjoint operators, and basis properties of eigenfunctions. The abstract results are illustrated by unexpected wild properties of operators familiar from PT -symmetric quantum mechanics. }}
\field{issn}{0022-2488}
\field{journaltitle}{Journal of Mathematical Physics}
\field{month}{10}
\field{number}{10}
\field{title}{{Pseudospectra in non-Hermitian quantum mechanics}}
\field{volume}{56}
\field{year}{2015}
\field{pages}{103513}
\range{pages}{1}
\verb{doi}
\verb 10.1063/1.4934378
\endverb
\verb{eprint}
\verb https://pubs.aip.org/aip/jmp/article-pdf/doi/10.1063/1.4934378/13907006/103513\_1\_online.pdf
\endverb
\verb{urlraw}
\verb https://doi.org/10.1063/1.4934378
\endverb
\verb{url}
\verb https://doi.org/10.1063/1.4934378
\endverb
\endentry
\entry{landau_1976}{article}{}{}
\name{author}{1}{}{%
{{hash=270f0249e22354371f8e6c6ccbc6c02a}{%
family={Landau},
familyi={L\bibinitperiod},
given={H.\bibnamedelimi J.},
giveni={H\bibinitperiod\bibinitdelim J\bibinitperiod}}}%
}
\strng{namehash}{270f0249e22354371f8e6c6ccbc6c02a}
\strng{fullhash}{270f0249e22354371f8e6c6ccbc6c02a}
\strng{fullhashraw}{270f0249e22354371f8e6c6ccbc6c02a}
\strng{bibnamehash}{270f0249e22354371f8e6c6ccbc6c02a}
\strng{authorbibnamehash}{270f0249e22354371f8e6c6ccbc6c02a}
\strng{authornamehash}{270f0249e22354371f8e6c6ccbc6c02a}
\strng{authorfullhash}{270f0249e22354371f8e6c6ccbc6c02a}
\strng{authorfullhashraw}{270f0249e22354371f8e6c6ccbc6c02a}
\field{extraname}{1}
\field{sortinit}{L}
\field{sortinithash}{7c47d417cecb1f4bd38d1825c427a61a}
\field{labelnamesource}{author}
\field{labeltitlesource}{title}
\field{journaltitle}{Journal of the Optical Society of America}
\field{title}{{Loss in unstable resonators.}}
\field{volume}{66}
\field{year}{1976}
\field{pages}{529\bibrangedash 525}
\range{pages}{-3}
\verb{urlraw}
\verb https://research.ebsco.com/linkprocessor/plink?id=4a1855b7-6ccd-3d4b-9df0-d12789ef43da
\endverb
\verb{url}
\verb https://research.ebsco.com/linkprocessor/plink?id=4a1855b7-6ccd-3d4b-9df0-d12789ef43da
\endverb
\endentry
\entry{landau_1977}{article}{}{}
\name{author}{1}{}{%
{{hash=c80cff162c3e074e65fde92a048f096e}{%
family={Landau},
familyi={L\bibinitperiod},
given={Henry},
giveni={H\bibinitperiod}}}%
}
\list{publisher}{1}{%
{American Mathematical Society (AMS)}%
}
\strng{namehash}{c80cff162c3e074e65fde92a048f096e}
\strng{fullhash}{c80cff162c3e074e65fde92a048f096e}
\strng{fullhashraw}{c80cff162c3e074e65fde92a048f096e}
\strng{bibnamehash}{c80cff162c3e074e65fde92a048f096e}
\strng{authorbibnamehash}{c80cff162c3e074e65fde92a048f096e}
\strng{authornamehash}{c80cff162c3e074e65fde92a048f096e}
\strng{authorfullhash}{c80cff162c3e074e65fde92a048f096e}
\strng{authorfullhashraw}{c80cff162c3e074e65fde92a048f096e}
\field{extraname}{2}
\field{sortinit}{L}
\field{sortinithash}{7c47d417cecb1f4bd38d1825c427a61a}
\field{labelnamesource}{author}
\field{labeltitlesource}{title}
\field{journaltitle}{Quarterly of Applied Mathematics}
\field{title}{The Notion of Approximate Eigenvalues Applied to an Integral Equation of Laser Theory}
\field{volume}{35}
\field{year}{1977}
\field{pages}{172\bibrangedash 165}
\range{pages}{-6}
\verb{urlraw}
\verb https://research.ebsco.com/linkprocessor/plink?id=2fa66e2d-e76a-36ff-af48-6cc007bdc8b4
\endverb
\verb{url}
\verb https://research.ebsco.com/linkprocessor/plink?id=2fa66e2d-e76a-36ff-af48-6cc007bdc8b4
\endverb
\endentry
\entry{loring_schulz-baldes_2017_12504413820170101}{article}{}{}
\name{author}{2}{}{%
{{hash=ee49b5adf6a777a6995b89a85c9b30c4}{%
family={Loring},
familyi={L\bibinitperiod},
given={Terry\bibnamedelima A.},
giveni={T\bibinitperiod\bibinitdelim A\bibinitperiod}}}%
{{hash=0910af5089bb6a689e33926593b9ee93}{%
family={Schulz-Baldes},
familyi={S\bibinithyphendelim B\bibinitperiod},
given={Hermann},
giveni={H\bibinitperiod}}}%
}
\strng{namehash}{d0ff159d09658ba7edc58973e0a4f235}
\strng{fullhash}{d0ff159d09658ba7edc58973e0a4f235}
\strng{fullhashraw}{d0ff159d09658ba7edc58973e0a4f235}
\strng{bibnamehash}{d0ff159d09658ba7edc58973e0a4f235}
\strng{authorbibnamehash}{d0ff159d09658ba7edc58973e0a4f235}
\strng{authornamehash}{d0ff159d09658ba7edc58973e0a4f235}
\strng{authorfullhash}{d0ff159d09658ba7edc58973e0a4f235}
\strng{authorfullhashraw}{d0ff159d09658ba7edc58973e0a4f235}
\field{extraname}{1}
\field{sortinit}{L}
\field{sortinithash}{7c47d417cecb1f4bd38d1825c427a61a}
\field{labelnamesource}{author}
\field{labeltitlesource}{title}
\field{abstract}{Odd index pairings of K1-group elements with Fredholm modules are of relevance in index theory, differential geometry and applications such as to topological insulators. For the concrete setting of operators on a Hilbert space over a lattice, it is shown how to calculate the resulting index as the signature of a suitably constructed finite-dimensional matrix, more precisely the finite volume restriction of what we call the spectral localizer. In presence of real symmetries, secondary Z2-invariants can be obtained as the sign of the Pfaffan of the spectral localizer. These results reconcile two complementary approaches to invariants of topological insulators. [ABSTRACT FROM AUTHOR]}
\field{issn}{10769803}
\field{journaltitle}{New York Journal of Mathematics}
\field{title}{Finite volume calculation of K-theory invariants.}
\field{volume}{23}
\field{year}{2017}
\field{pages}{1111\bibrangedash 1140}
\range{pages}{30}
\verb{urlraw}
\verb https://libproxy.unm.edu/login?url=https://search.ebscohost.com/login.aspx?direct=true&db=a9h&AN=125044138&site=eds-live&scope=site
\endverb
\verb{url}
\verb https://libproxy.unm.edu/login?url=https://search.ebscohost.com/login.aspx?direct=true&db=a9h&AN=125044138&site=eds-live&scope=site
\endverb
\keyw{K-theory,INVARIANTS (Mathematics),INDEX theory (Mathematics),FREDHOLM operators,TOPOLOGICAL insulators,spectral flow,topological insulator}
\endentry
\entry{loring_schulz-baldes_2020_edsgcl.62678504020200301}{article}{}{}
\name{author}{2}{}{%
{{hash=ee49b5adf6a777a6995b89a85c9b30c4}{%
family={Loring},
familyi={L\bibinitperiod},
given={Terry\bibnamedelima A.},
giveni={T\bibinitperiod\bibinitdelim A\bibinitperiod}}}%
{{hash=0910af5089bb6a689e33926593b9ee93}{%
family={Schulz-Baldes},
familyi={S\bibinithyphendelim B\bibinitperiod},
given={Hermann},
giveni={H\bibinitperiod}}}%
}
\strng{namehash}{d0ff159d09658ba7edc58973e0a4f235}
\strng{fullhash}{d0ff159d09658ba7edc58973e0a4f235}
\strng{fullhashraw}{d0ff159d09658ba7edc58973e0a4f235}
\strng{bibnamehash}{d0ff159d09658ba7edc58973e0a4f235}
\strng{authorbibnamehash}{d0ff159d09658ba7edc58973e0a4f235}
\strng{authornamehash}{d0ff159d09658ba7edc58973e0a4f235}
\strng{authorfullhash}{d0ff159d09658ba7edc58973e0a4f235}
\strng{authorfullhashraw}{d0ff159d09658ba7edc58973e0a4f235}
\field{extraname}{2}
\field{sortinit}{L}
\field{sortinithash}{7c47d417cecb1f4bd38d1825c427a61a}
\field{labelnamesource}{author}
\field{labeltitlesource}{title}
\field{abstract}{Even index pairings are integer-valued homotopy invariants combining an even Fredholm module with a [K.sub.0]-class specified by a projection. Numerous classical examples are known from differential and non-commutative geometry and physics. Here it is shown how to construct a finite-dimensional self-adjoint and invertible matrix, called the spectral localizer, such that half its signature is equal to the even index pairing. This makes the invariant numerically accessible. The index-theoretic proof heavily uses fuzzy spheres. Mathematics Subject Classification (2010). 46L80, 19K56, 58J28. Keywords. Index pairings, fuzzy spheres, numerical K-theory.}
\field{issn}{1661-6952}
\field{journaltitle}{Journal of Noncommutative Geometry}
\field{number}{1}
\field{title}{The spectral localizer for even index pairings.}
\field{volume}{14}
\field{year}{2020}
\field{pages}{1}
\range{pages}{1}
\verb{urlraw}
\verb https://libproxy.unm.edu/login?url=https://search.ebscohost.com/login.aspx?direct=true&db=edsgao&AN=edsgcl.626785040&site=eds-live&scope=site
\endverb
\verb{url}
\verb https://libproxy.unm.edu/login?url=https://search.ebscohost.com/login.aspx?direct=true&db=edsgao&AN=edsgcl.626785040&site=eds-live&scope=site
\endverb
\keyw{Algebra}
\endentry
\entry{ozawa_et_all_RevModPhys.91.015006}{article}{}{}
\name{author}{11}{}{%
{{hash=878e246388951f742c1f2d9091b3bdd3}{%
family={Ozawa},
familyi={O\bibinitperiod},
given={Tomoki},
giveni={T\bibinitperiod}}}%
{{hash=7f9427cb0deda7dfa2be8f725486b67a}{%
family={Price},
familyi={P\bibinitperiod},
given={Hannah\bibnamedelima M.},
giveni={H\bibinitperiod\bibinitdelim M\bibinitperiod}}}%
{{hash=b4e4cbdac736eb6f7c1581bb80fdfe4a}{%
family={Amo},
familyi={A\bibinitperiod},
given={Alberto},
giveni={A\bibinitperiod}}}%
{{hash=6a9013aa0904b51d3848637f318ab3da}{%
family={Goldman},
familyi={G\bibinitperiod},
given={Nathan},
giveni={N\bibinitperiod}}}%
{{hash=839f26c256a782490534308c26f8f4d7}{%
family={Hafezi},
familyi={H\bibinitperiod},
given={Mohammad},
giveni={M\bibinitperiod}}}%
{{hash=b4628f7c7eabe93d0bad24b6d7dd290a}{%
family={Lu},
familyi={L\bibinitperiod},
given={Ling},
giveni={L\bibinitperiod}}}%
{{hash=8b96ae4c4737c6d6b63d82fc1098eb11}{%
family={Rechtsman},
familyi={R\bibinitperiod},
given={Mikael\bibnamedelima C.},
giveni={M\bibinitperiod\bibinitdelim C\bibinitperiod}}}%
{{hash=249cad67d39a928465569d0ca7ccf0bf}{%
family={Schuster},
familyi={S\bibinitperiod},
given={David},
giveni={D\bibinitperiod}}}%
{{hash=83991b1ff4b60e25f12be9f53eab79c2}{%
family={Simon},
familyi={S\bibinitperiod},
given={Jonathan},
giveni={J\bibinitperiod}}}%
{{hash=03a69cffb93cd10f9c6fc266f5f988d3}{%
family={Zilberberg},
familyi={Z\bibinitperiod},
given={Oded},
giveni={O\bibinitperiod}}}%
{{hash=a0cf17897b40e7dccf2443c954a80bfb}{%
family={Carusotto},
familyi={C\bibinitperiod},
given={Iacopo},
giveni={I\bibinitperiod}}}%
}
\list{publisher}{1}{%
{American Physical Society}%
}
\strng{namehash}{7efd7c870de9f94db428e2fdce624966}
\strng{fullhash}{8592fd71d1a2f0829f247036fcdfed6e}
\strng{fullhashraw}{8592fd71d1a2f0829f247036fcdfed6e}
\strng{bibnamehash}{7efd7c870de9f94db428e2fdce624966}
\strng{authorbibnamehash}{7efd7c870de9f94db428e2fdce624966}
\strng{authornamehash}{7efd7c870de9f94db428e2fdce624966}
\strng{authorfullhash}{8592fd71d1a2f0829f247036fcdfed6e}
\strng{authorfullhashraw}{8592fd71d1a2f0829f247036fcdfed6e}
\field{sortinit}{O}
\field{sortinithash}{2cd7140a07aea5341f9e2771efe90aae}
\field{labelnamesource}{author}
\field{labeltitlesource}{title}
\field{issue}{1}
\field{journaltitle}{Rev. Mod. Phys.}
\field{month}{03}
\field{title}{Topological photonics}
\field{volume}{91}
\field{year}{2019}
\field{pages}{015006}
\range{pages}{1}
\verb{doi}
\verb 10.1103/RevModPhys.91.015006
\endverb
\verb{urlraw}
\verb https://link.aps.org/doi/10.1103/RevModPhys.91.015006
\endverb
\verb{url}
\verb https://link.aps.org/doi/10.1103/RevModPhys.91.015006
\endverb
\endentry
\entry{purcell_spontaneous_1946}{article}{}{}
\name{author}{1}{}{%
{{hash=6c864a5d1f1695b310d2cab6b3a8dd37}{%
family={Purcell},
familyi={P\bibinitperiod},
given={E.\bibnamedelimi M.},
giveni={E\bibinitperiod\bibinitdelim M\bibinitperiod}}}%
}
\strng{namehash}{6c864a5d1f1695b310d2cab6b3a8dd37}
\strng{fullhash}{6c864a5d1f1695b310d2cab6b3a8dd37}
\strng{fullhashraw}{6c864a5d1f1695b310d2cab6b3a8dd37}
\strng{bibnamehash}{6c864a5d1f1695b310d2cab6b3a8dd37}
\strng{authorbibnamehash}{6c864a5d1f1695b310d2cab6b3a8dd37}
\strng{authornamehash}{6c864a5d1f1695b310d2cab6b3a8dd37}
\strng{authorfullhash}{6c864a5d1f1695b310d2cab6b3a8dd37}
\strng{authorfullhashraw}{6c864a5d1f1695b310d2cab6b3a8dd37}
\field{sortinit}{P}
\field{sortinithash}{ff3bcf24f47321b42cb156c2cc8a8422}
\field{labelnamesource}{author}
\field{labeltitlesource}{title}
\field{journaltitle}{Phys. Rev.}
\field{title}{Spontaneous emission probabilities at radio frequencies}
\field{volume}{69}
\field{year}{1946}
\field{pages}{681}
\range{pages}{1}
\verb{file}
\verb purcell_1946_spontaneous_emission_probabilities_at_radio_frequencies.pdf:C\:\\Users\\awcerja\\Library\\purcell_1946_spontaneous_emission_probabilities_at_radio_frequencies.pdf:application/pdf
\endverb
\endentry
\entry{bhatia}{book}{}{}
\name{author}{1}{}{%
{{hash=90ef16ec6adff80b751024bbe96fcd7d}{%
family={Rajendra},
familyi={R\bibinitperiod},
given={Bhatia},
giveni={B\bibinitperiod}}}%
}
\list{publisher}{1}{%
{Springer-Verlag New York}%
}
\strng{namehash}{90ef16ec6adff80b751024bbe96fcd7d}
\strng{fullhash}{90ef16ec6adff80b751024bbe96fcd7d}
\strng{fullhashraw}{90ef16ec6adff80b751024bbe96fcd7d}
\strng{bibnamehash}{90ef16ec6adff80b751024bbe96fcd7d}
\strng{authorbibnamehash}{90ef16ec6adff80b751024bbe96fcd7d}
\strng{authornamehash}{90ef16ec6adff80b751024bbe96fcd7d}
\strng{authorfullhash}{90ef16ec6adff80b751024bbe96fcd7d}
\strng{authorfullhashraw}{90ef16ec6adff80b751024bbe96fcd7d}
\field{sortinit}{R}
\field{sortinithash}{5e1c39a9d46ffb6bebd8f801023a9486}
\field{labelnamesource}{author}
\field{labeltitlesource}{title}
\field{isbn}{9780387948461}
\field{series}{Graduate Texts in Mathematics 169}
\field{title}{Matrix Analysis}
\field{year}{1997}
\keyw{Mathematics,Matrix Analysis}
\endentry
\entry{tls_paper}{article}{}{}
\name{author}{6}{}{%
{{hash=a5b33b9596a626df9390ef50bc13350e}{%
family={Ramy},
familyi={R\bibinitperiod},
given={El-Ganainy},
giveni={E\bibinithyphendelim G\bibinitperiod}}}%
{{hash=1db65c1f2a1d463ba98908709ce9ace0}{%
family={Konstantinos},
familyi={K\bibinitperiod},
given={G.\bibnamedelimi Makris},
giveni={G\bibinitperiod\bibinitdelim M\bibinitperiod}}}%
{{hash=785274370dc3dbaaa4860aeb4dc2f3d6}{%
family={Mercedeh},
familyi={M\bibinitperiod},
given={Khajavikhan},
giveni={K\bibinitperiod}}}%
{{hash=70699fdf3ad100c411c01193f5b06706}{%
family={Ziad},
familyi={Z\bibinitperiod},
given={H.\bibnamedelimi Musslimani},
giveni={H\bibinitperiod\bibinitdelim M\bibinitperiod}}}%
{{hash=97ea505415cc86aafee8688dc02266f5}{%
family={Stefan},
familyi={S\bibinitperiod},
given={Rotter},
giveni={R\bibinitperiod}}}%
{{hash=2d4104371e185e30d3efbc86135ea1c1}{%
family={Demetrios},
familyi={D\bibinitperiod},
given={N.\bibnamedelimi Christodoulides},
giveni={N\bibinitperiod\bibinitdelim C\bibinitperiod}}}%
}
\strng{namehash}{fe784bd34758e1e0c3af5dcb29285cec}
\strng{fullhash}{f0424909f1963ddda26e1db3743be716}
\strng{fullhashraw}{f0424909f1963ddda26e1db3743be716}
\strng{bibnamehash}{fe784bd34758e1e0c3af5dcb29285cec}
\strng{authorbibnamehash}{fe784bd34758e1e0c3af5dcb29285cec}
\strng{authornamehash}{fe784bd34758e1e0c3af5dcb29285cec}
\strng{authorfullhash}{f0424909f1963ddda26e1db3743be716}
\strng{authorfullhashraw}{f0424909f1963ddda26e1db3743be716}
\field{sortinit}{R}
\field{sortinithash}{5e1c39a9d46ffb6bebd8f801023a9486}
\field{labelnamesource}{author}
\field{labeltitlesource}{title}
\field{journaltitle}{Nature Physics}
\field{title}{Non-Hermitian physics and PT symmetry}
\field{volume}{14}
\field{year}{2018}
\field{pages}{11\bibrangedash 19}
\range{pages}{9}
\verb{doi}
\verb https://doi.org/10.1038/nphys4323
\endverb
\keyw{physics,non-hermitian}
\endentry
\entry{horn_johnson}{book}{}{}
\name{author}{2}{}{%
{{hash=25b5253d008c958b38ad62054a42f646}{%
family={Roger\bibnamedelima A.},
familyi={R\bibinitperiod\bibinitdelim A\bibinitperiod},
given={Horn},
giveni={H\bibinitperiod}}}%
{{hash=dac60894a8d7e4e7a13519d50f5fbf9a}{%
family={Johnson},
familyi={J\bibinitperiod},
given={Charles\bibnamedelima R.},
giveni={C\bibinitperiod\bibinitdelim R\bibinitperiod}}}%
}
\list{publisher}{1}{%
{Cambridge University Press}%
}
\strng{namehash}{b64adc5efeedcc5163ab3da0fbc65a24}
\strng{fullhash}{b64adc5efeedcc5163ab3da0fbc65a24}
\strng{fullhashraw}{b64adc5efeedcc5163ab3da0fbc65a24}
\strng{bibnamehash}{b64adc5efeedcc5163ab3da0fbc65a24}
\strng{authorbibnamehash}{b64adc5efeedcc5163ab3da0fbc65a24}
\strng{authornamehash}{b64adc5efeedcc5163ab3da0fbc65a24}
\strng{authorfullhash}{b64adc5efeedcc5163ab3da0fbc65a24}
\strng{authorfullhashraw}{b64adc5efeedcc5163ab3da0fbc65a24}
\field{sortinit}{R}
\field{sortinithash}{5e1c39a9d46ffb6bebd8f801023a9486}
\field{labelnamesource}{author}
\field{labeltitlesource}{title}
\field{isbn}{9780521305860}
\field{title}{Matrix Analysis}
\field{year}{1985}
\keyw{Mathematics,Matrix Analysis}
\endentry
\entry{ruhe}{article}{}{}
\name{author}{1}{}{%
{{hash=f79f8bc93ee24a940f26beb92980f992}{%
family={Ruhe},
familyi={R\bibinitperiod},
given={Axel},
giveni={A\bibinitperiod}}}%
}
\strng{namehash}{f79f8bc93ee24a940f26beb92980f992}
\strng{fullhash}{f79f8bc93ee24a940f26beb92980f992}
\strng{fullhashraw}{f79f8bc93ee24a940f26beb92980f992}
\strng{bibnamehash}{f79f8bc93ee24a940f26beb92980f992}
\strng{authorbibnamehash}{f79f8bc93ee24a940f26beb92980f992}
\strng{authornamehash}{f79f8bc93ee24a940f26beb92980f992}
\strng{authorfullhash}{f79f8bc93ee24a940f26beb92980f992}
\strng{authorfullhashraw}{f79f8bc93ee24a940f26beb92980f992}
\field{sortinit}{R}
\field{sortinithash}{5e1c39a9d46ffb6bebd8f801023a9486}
\field{labelnamesource}{author}
\field{labeltitlesource}{title}
\field{journaltitle}{Linear Algebra and it's Applications}
\field{title}{On the Closeness of Elgenvalues and Singular Values for Almost Normal Matrices}
\field{volume}{11}
\field{year}{1975}
\field{pages}{87\bibrangedash 93}
\range{pages}{7}
\verb{doi}
\verb https://doi.org/10.1016/0024-3795(75)90119-6.
\endverb
\keyw{mathematics,linear algebra}
\endentry
\entry{Shen_Zhen_Fu_PRL_2018}{article}{}{}
\name{author}{3}{}{%
{{hash=a5b821c7c04b1226d0418793feebb4c5}{%
family={Shen},
familyi={S\bibinitperiod},
given={Huitao},
giveni={H\bibinitperiod}}}%
{{hash=96fe8ee2677d46dc47ad63107fd377ad}{%
family={Zhen},
familyi={Z\bibinitperiod},
given={Bo},
giveni={B\bibinitperiod}}}%
{{hash=159de599cf141a3147da71ab6973e85c}{%
family={Fu},
familyi={F\bibinitperiod},
given={Liang},
giveni={L\bibinitperiod}}}%
}
\list{publisher}{1}{%
{American Physical Society}%
}
\strng{namehash}{9f59de63137fb798c3763f56786ab6eb}
\strng{fullhash}{9f59de63137fb798c3763f56786ab6eb}
\strng{fullhashraw}{9f59de63137fb798c3763f56786ab6eb}
\strng{bibnamehash}{9f59de63137fb798c3763f56786ab6eb}
\strng{authorbibnamehash}{9f59de63137fb798c3763f56786ab6eb}
\strng{authornamehash}{9f59de63137fb798c3763f56786ab6eb}
\strng{authorfullhash}{9f59de63137fb798c3763f56786ab6eb}
\strng{authorfullhashraw}{9f59de63137fb798c3763f56786ab6eb}
\field{sortinit}{S}
\field{sortinithash}{b164b07b29984b41daf1e85279fbc5ab}
\field{labelnamesource}{author}
\field{labeltitlesource}{title}
\field{issue}{14}
\field{journaltitle}{Phys. Rev. Lett.}
\field{month}{04}
\field{title}{Topological Band Theory for Non-Hermitian Hamiltonians}
\field{volume}{120}
\field{year}{2018}
\field{pages}{146402}
\range{pages}{1}
\verb{doi}
\verb 10.1103/PhysRevLett.120.146402
\endverb
\verb{urlraw}
\verb https://link.aps.org/doi/10.1103/PhysRevLett.120.146402
\endverb
\verb{url}
\verb https://link.aps.org/doi/10.1103/PhysRevLett.120.146402
\endverb
\endentry
\entry{loring}{article}{}{}
\name{author}{1}{}{%
{{hash=e9356420737b527429302df9b14d9941}{%
family={Terry},
familyi={T\bibinitperiod},
given={Loring},
giveni={L\bibinitperiod}}}%
}
\strng{namehash}{e9356420737b527429302df9b14d9941}
\strng{fullhash}{e9356420737b527429302df9b14d9941}
\strng{fullhashraw}{e9356420737b527429302df9b14d9941}
\strng{bibnamehash}{e9356420737b527429302df9b14d9941}
\strng{authorbibnamehash}{e9356420737b527429302df9b14d9941}
\strng{authornamehash}{e9356420737b527429302df9b14d9941}
\strng{authorfullhash}{e9356420737b527429302df9b14d9941}
\strng{authorfullhashraw}{e9356420737b527429302df9b14d9941}
\field{sortinit}{T}
\field{sortinithash}{9af77f0292593c26bde9a56e688eaee9}
\field{labelnamesource}{author}
\field{labeltitlesource}{title}
\field{journaltitle}{Annals of Physics}
\field{title}{K-theory and pseudospectra for topological insulators}
\field{volume}{356}
\field{year}{2015}
\field{pages}{383\bibrangedash 416}
\range{pages}{34}
\verb{doi}
\verb https://doi.org/10.1016/j.aop.2015.02.031
\endverb
\keyw{physics,mathematics}
\endentry
\entry{trefethen_1997_edsjsr.213303719970901}{article}{}{}
\name{author}{1}{}{%
{{hash=e3376455eaec77b00950a1dc9ce095f5}{%
family={Trefethen},
familyi={T\bibinitperiod},
given={Lloyd\bibnamedelima N.},
giveni={L\bibinitperiod\bibinitdelim N\bibinitperiod}}}%
}
\strng{namehash}{e3376455eaec77b00950a1dc9ce095f5}
\strng{fullhash}{e3376455eaec77b00950a1dc9ce095f5}
\strng{fullhashraw}{e3376455eaec77b00950a1dc9ce095f5}
\strng{bibnamehash}{e3376455eaec77b00950a1dc9ce095f5}
\strng{authorbibnamehash}{e3376455eaec77b00950a1dc9ce095f5}
\strng{authornamehash}{e3376455eaec77b00950a1dc9ce095f5}
\strng{authorfullhash}{e3376455eaec77b00950a1dc9ce095f5}
\strng{authorfullhashraw}{e3376455eaec77b00950a1dc9ce095f5}
\field{extraname}{1}
\field{sortinit}{T}
\field{sortinithash}{9af77f0292593c26bde9a56e688eaee9}
\field{labelnamesource}{author}
\field{labeltitlesource}{title}
\field{abstract}{If a matrix or linear operator A is far from normal, its eigenvalues or, more generally, its spectrum may have little to do with its behavior as measured by quantities such as | A n | or | exp(tA) |. More may be learned by examining the sets in the complex plane known as the pseudospectra of A, defined by level curves of the norm of the resolvent, | (zI - A) -1 |. Five years ago, the author published a paper that presented computed pseudospectra of thirteen highly nonnormal matrices arising in various applications. Since that time, analogous computations have been carried out for differential and integral operators. This paper, a companion to the earlier one, presents ten examples, each chosen to illustrate one or more mathematical or physical principles.}
\field{issn}{00361445}
\field{journaltitle}{SIAM Review}
\field{number}{3}
\field{title}{Pseudospectra of Linear Operators.}
\field{volume}{39}
\field{year}{1997}
\field{pages}{383\bibrangedash 406}
\range{pages}{24}
\verb{urlraw}
\verb https://libproxy.unm.edu/login?url=https://search.ebscohost.com/login.aspx?direct=true&db=edsjsr&AN=edsjsr.2133037&site=eds-live&scope=site
\endverb
\verb{url}
\verb https://libproxy.unm.edu/login?url=https://search.ebscohost.com/login.aspx?direct=true&db=edsjsr&AN=edsjsr.2133037&site=eds-live&scope=site
\endverb
\keyw{spectrum,pseudospectra,resolvent,nonnormality,PII: S0036144595295284,Eigenvalues,Linear transformations,Laminar flow,Spectral theory,Matrices,Eigenfunctions,Eigenvectors,Geometric planes,Semigroups}
\endentry
\entry{trefethen_embree_2005_MR2155029}{book}{}{}
\name{author}{2}{}{%
{{hash=e3376455eaec77b00950a1dc9ce095f5}{%
family={Trefethen},
familyi={T\bibinitperiod},
given={Lloyd\bibnamedelima N.},
giveni={L\bibinitperiod\bibinitdelim N\bibinitperiod}}}%
{{hash=02521842de1f04855fe01474d9c8ba89}{%
family={Embree},
familyi={E\bibinitperiod},
given={Mark},
giveni={M\bibinitperiod}}}%
}
\list{publisher}{1}{%
{Princeton University Press, Princeton, NJ}%
}
\strng{namehash}{d07d5d45c6b6ea2bf82ca7e973e726f3}
\strng{fullhash}{d07d5d45c6b6ea2bf82ca7e973e726f3}
\strng{fullhashraw}{d07d5d45c6b6ea2bf82ca7e973e726f3}
\strng{bibnamehash}{d07d5d45c6b6ea2bf82ca7e973e726f3}
\strng{authorbibnamehash}{d07d5d45c6b6ea2bf82ca7e973e726f3}
\strng{authornamehash}{d07d5d45c6b6ea2bf82ca7e973e726f3}
\strng{authorfullhash}{d07d5d45c6b6ea2bf82ca7e973e726f3}
\strng{authorfullhashraw}{d07d5d45c6b6ea2bf82ca7e973e726f3}
\field{sortinit}{T}
\field{sortinithash}{9af77f0292593c26bde9a56e688eaee9}
\field{labelnamesource}{author}
\field{labeltitlesource}{title}
\field{isbn}{978-0-691-11946-5}
\field{note}{The behavior of nonnormal matrices and operators}
\field{title}{Spectra and pseudospectra}
\field{year}{2005}
\field{pages}{xviii+606}
\range{pages}{-1}
\endentry
\entry{trefethen_reddy_driscoll_1993_6dce06aa-3a1d-396a-ad07-b01838717a11}{article}{}{}
\name{author}{4}{}{%
{{hash=e3376455eaec77b00950a1dc9ce095f5}{%
family={Trefethen},
familyi={T\bibinitperiod},
given={Lloyd\bibnamedelima N.},
giveni={L\bibinitperiod\bibinitdelim N\bibinitperiod}}}%
{{hash=80a3555af2a7e3b4aa1b533202bfee7c}{%
family={Trefethen},
familyi={T\bibinitperiod},
given={Anne\bibnamedelima E.},
giveni={A\bibinitperiod\bibinitdelim E\bibinitperiod}}}%
{{hash=3dfae833fa12e0f1d2da5828498e0091}{%
family={Reddy},
familyi={R\bibinitperiod},
given={Satish\bibnamedelima C.},
giveni={S\bibinitperiod\bibinitdelim C\bibinitperiod}}}%
{{hash=0980b185bcce72e89bbd71ce0a25df18}{%
family={Driscoll},
familyi={D\bibinitperiod},
given={Tobin\bibnamedelima A.},
giveni={T\bibinitperiod\bibinitdelim A\bibinitperiod}}}%
}
\list{publisher}{1}{%
{American Association for the Advancement of Science}%
}
\strng{namehash}{f6b78f6d5314c849316db5530bd69e1d}
\strng{fullhash}{f1acad417a1e86729ffd8a72f1545609}
\strng{fullhashraw}{f1acad417a1e86729ffd8a72f1545609}
\strng{bibnamehash}{f6b78f6d5314c849316db5530bd69e1d}
\strng{authorbibnamehash}{f6b78f6d5314c849316db5530bd69e1d}
\strng{authornamehash}{f6b78f6d5314c849316db5530bd69e1d}
\strng{authorfullhash}{f1acad417a1e86729ffd8a72f1545609}
\strng{authorfullhashraw}{f1acad417a1e86729ffd8a72f1545609}
\field{sortinit}{T}
\field{sortinithash}{9af77f0292593c26bde9a56e688eaee9}
\field{labelnamesource}{author}
\field{labeltitlesource}{title}
\field{abstract}{Fluid flows that are smooth at low speeds become unstable and then turbulent at higher speeds. This phenomenon has traditionally been investigated by linearizing the equations of flow and testing for unstable eigenvalues of the linearized problem, but the results of such investigations agree poorly in many cases with experiments. Nevertheless, linear effects play a central role in hydrodynamic instability. A reconciliation of these findings with the traditional analysis is presented based on the "pseudospectra" of the linearized problem, which imply that small perturbations to the smooth flow may be amplified by factors on the order of 10$^5$ by a linear mechanism even though all the eigenmodes decay monotonically. The methods suggested here apply also to other problems in the mathematical sciences that involve nonorthogonal eigenfunctions.}
\field{issn}{00368075, 10959203}
\field{journaltitle}{Science}
\field{number}{5121}
\field{title}{Hydrodynamic Stability Without Eigenvalues}
\field{urlday}{10}
\field{urlmonth}{7}
\field{urlyear}{2024}
\field{volume}{261}
\field{year}{1993}
\field{urldateera}{ce}
\field{pages}{578\bibrangedash 584}
\range{pages}{7}
\verb{urlraw}
\verb http://www.jstor.org/stable/2882016
\endverb
\verb{url}
\verb http://www.jstor.org/stable/2882016
\endverb
\endentry
\entry{Trefethen1992}{article}{}{}
\name{author}{1}{}{%
{{hash=b964a67073c35d01c314fea76b55888a}{%
family={Trefethen},
familyi={T\bibinitperiod},
given={N.},
giveni={N\bibinitperiod}}}%
}
\name{editor}{2}{}{%
{{hash=c1a8738d4204deec147cb9f6294e2438}{%
family={Griffiths},
familyi={G\bibinitperiod},
given={D.\bibnamedelimi F.},
giveni={D\bibinitperiod\bibinitdelim F\bibinitperiod}}}%
{{hash=0c46381e4e7dcd66e3da3946831ad905}{%
family={Watson},
familyi={W\bibinitperiod},
given={G.\bibnamedelimi A.},
giveni={G\bibinitperiod\bibinitdelim A\bibinitperiod}}}%
}
\list{location}{1}{%
{Harlow, Essex, UK}%
}
\list{publisher}{2}{%
{Longman Scientific}%
{Technical}%
}
\strng{namehash}{b964a67073c35d01c314fea76b55888a}
\strng{fullhash}{b964a67073c35d01c314fea76b55888a}
\strng{fullhashraw}{b964a67073c35d01c314fea76b55888a}
\strng{bibnamehash}{b964a67073c35d01c314fea76b55888a}
\strng{authorbibnamehash}{b964a67073c35d01c314fea76b55888a}
\strng{authornamehash}{b964a67073c35d01c314fea76b55888a}
\strng{authorfullhash}{b964a67073c35d01c314fea76b55888a}
\strng{authorfullhashraw}{b964a67073c35d01c314fea76b55888a}
\strng{editorbibnamehash}{f479c24a5d8ea23861b81a86c94d1c7c}
\strng{editornamehash}{f479c24a5d8ea23861b81a86c94d1c7c}
\strng{editorfullhash}{f479c24a5d8ea23861b81a86c94d1c7c}
\strng{editorfullhashraw}{f479c24a5d8ea23861b81a86c94d1c7c}
\field{extraname}{2}
\field{sortinit}{T}
\field{sortinithash}{9af77f0292593c26bde9a56e688eaee9}
\field{labelnamesource}{author}
\field{labeltitlesource}{title}
\field{journaltitle}{Numerical Analysis 1991}
\field{note}{(46, 58, 71, 236, 371, 381, 451, 452)}
\field{title}{Pseudospectra of matrices}
\field{year}{1992}
\field{pages}{234\bibrangedash 266}
\range{pages}{33}
\endentry
\entry{kahan}{article}{}{}
\name{author}{1}{}{%
{{hash=bcbb84535afc86ce638282081bee1d77}{%
family={W},
familyi={W\bibinitperiod},
given={Kahan},
giveni={K\bibinitperiod}}}%
}
\strng{namehash}{bcbb84535afc86ce638282081bee1d77}
\strng{fullhash}{bcbb84535afc86ce638282081bee1d77}
\strng{fullhashraw}{bcbb84535afc86ce638282081bee1d77}
\strng{bibnamehash}{bcbb84535afc86ce638282081bee1d77}
\strng{authorbibnamehash}{bcbb84535afc86ce638282081bee1d77}
\strng{authornamehash}{bcbb84535afc86ce638282081bee1d77}
\strng{authorfullhash}{bcbb84535afc86ce638282081bee1d77}
\strng{authorfullhashraw}{bcbb84535afc86ce638282081bee1d77}
\field{sortinit}{W}
\field{sortinithash}{4315d78024d0cea9b57a0c6f0e35ed0d}
\field{labelnamesource}{author}
\field{labeltitlesource}{title}
\field{journaltitle}{Proceedings of the American Mathematical Society}
\field{number}{1}
\field{title}{Spectra of Nearly Hermitian Matrices}
\field{volume}{48}
\field{year}{1975}
\field{pages}{11\bibrangedash 17}
\range{pages}{7}
\verb{doi}
\verb https://doi.org/10.2307/2040683
\endverb
\keyw{mathematics,linear algebra}
\endentry
\entry{xiao_chang_niu_RevModPhys.82.1959}{article}{}{}
\name{author}{3}{}{%
{{hash=cc1352d1711338afe7b3f3b971e85c13}{%
family={Xiao},
familyi={X\bibinitperiod},
given={Di},
giveni={D\bibinitperiod}}}%
{{hash=bfb8c185e39dfe526b01789302433848}{%
family={Chang},
familyi={C\bibinitperiod},
given={Ming-Che},
giveni={M\bibinithyphendelim C\bibinitperiod}}}%
{{hash=01e582f91ba689333188cfdfc8dfdb33}{%
family={Niu},
familyi={N\bibinitperiod},
given={Qian},
giveni={Q\bibinitperiod}}}%
}
\list{publisher}{1}{%
{American Physical Society}%
}
\strng{namehash}{2a481be30ac34c96eee9da72662b95ac}
\strng{fullhash}{2a481be30ac34c96eee9da72662b95ac}
\strng{fullhashraw}{2a481be30ac34c96eee9da72662b95ac}
\strng{bibnamehash}{2a481be30ac34c96eee9da72662b95ac}
\strng{authorbibnamehash}{2a481be30ac34c96eee9da72662b95ac}
\strng{authornamehash}{2a481be30ac34c96eee9da72662b95ac}
\strng{authorfullhash}{2a481be30ac34c96eee9da72662b95ac}
\strng{authorfullhashraw}{2a481be30ac34c96eee9da72662b95ac}
\field{sortinit}{X}
\field{sortinithash}{1965c258adceecf23ce3d67b05113442}
\field{labelnamesource}{author}
\field{labeltitlesource}{title}
\field{issue}{3}
\field{journaltitle}{Rev. Mod. Phys.}
\field{month}{07}
\field{title}{Berry phase effects on electronic properties}
\field{volume}{82}
\field{year}{2010}
\field{pages}{1959\bibrangedash 2007}
\range{pages}{49}
\verb{doi}
\verb 10.1103/RevModPhys.82.1959
\endverb
\verb{urlraw}
\verb https://link.aps.org/doi/10.1103/RevModPhys.82.1959
\endverb
\verb{url}
\verb https://link.aps.org/doi/10.1103/RevModPhys.82.1959
\endverb
\endentry
\enddatalist
\endrefsection
\endinput