\section{Introduction}\label{sec:Introduction}
Variational equations---\emph{continuous weak forms} \cite[Section 3.1]{betcke2020product}---in suitably defined reflexive Banach spaces $X$, $Y$, or equivalently \cite[Proposition A.21]{ern2004theory} as operator equations---\emph{continuous strong forms} \cite[Section 3.1]{betcke2020product}---have successfully been employed to model a plethora of phenomena, particularly in the form of integro-differential equations. In general, one can only approximate solutions by solving linear systems or \emph{matrix equations} arising from the continuous infinite-dimensional counterparts. Galerkin methods are a widely accepted choice to derive such linear systems due to their solid theoretical and practical understanding. Specifically, \emph{Petrov-Galerkin (PG) methods} provide a generic framework for operator equations with operators of the form $\mathsf{A}:X\to Y'$, allowing to choose different trial and test spaces. Within PG methods, one finds \emph{Bubnov-Galerkin (BG) methods}, namely, the case when $\mathsf{A}:X\to X'$ as well as PG for endomorphisms (PGE), i.e.,~$\mathsf{A}:X\to X$, as in second-kind Fredholm integral equations, wherein $\mathsf{A}$  is a compact perturbation of the identity in $X$.

Most relevant applications lead to large linear systems solved by iterative methods \cite{saad2003iterative} such as Krylov (subspace) methods \cite[Chapters 6 and 7]{saad1986gmres} as direct inversion quickly becomes computationally impractical. For real symmetric (resp.~complex Hermitian) positive definite matrices, the standard choice is the conjugate gradient method (CG) \cite{hestenes1952methods}, whereas the general minimal residual method (GMRES) and its $m$-restarted variant GMRES$(m)$ \cite{saad1986gmres} are common alternatives for nonsingular indefinite complex matrices. For these methods, convergence of the residual strongly depends on matrix properties inherited from the continuous (resp.~discrete) operator. Features such as the field-of-values (FoV) or singular values distributions are key to obtain residual convergence bounds \cite{sarkis2007optimal,beckermann2005some,steinbach2007numerical,nevanlinna2012convergence}. Yet, convergence for these methods can be slow, with performance commonly deteriorating as the linear system dimension increases. Thus, the need for robust preconditioning techniques.

For a linear system ${\bf A} {\bf u} = {\bf b}$, in our case spawned by any PG method, preconditioning consists in the application of a (left) preconditioner ${\bf P}$ such that
$$
{\bf P} {\bf A} {\bf u} = {\bf P} {\bf b}.
$$
We say that the preconditioner ${\bf P}$ is good if: (i) it is relatively cheap to compute; and (ii) the product ${\bf P} {\bf A}$ approximates the identity matrix or iterative solvers perform better than on the original linear system. In this note, we focus on the framework of operator preconditioning (OP). Successfully applied to BG methods \cite{hiptmair2006operator,christiansen2000preconditionneurs}---denoted OP-BG---, we aim at extending OP to general PG methods (OP-PG) as well as understanding the effects of numerical perturbations in iterative solvers.

Fundamentally, OP relies on finding suitable endomorphic operator equations, i.e.~mappings onto the same function spaces, leading to bounded \emph{spectral condition numbers}. In the BG setting, one has reflexive Banach spaces $X$, $V$ and an operator $\mathsf{A}:X\to X'$, for which one considers another operator $\mathsf{C}:V\to V'$, such that
\begin{equation}\label{eq:OP_BG}
\text{(OP-BG)}\quad\begin{tikzcd}
X \arrow{r}{\mathsf{A} }  & X' \arrow{d}{\mathsf{M}^{-*}} \\
V' \arrow{u}{\mathsf{M}^{-1}} & V\arrow{l}{\mathsf{C}}
\end{tikzcd},
\end{equation}
with $\mathsf{M}: X \to V'$ linking the domain of $\mathsf{A}$ and the range of $\mathsf{C}$. The preconditioning operator is then $\mathsf{P}:= \mathsf{M}^{-1}\mathsf{C}\mathsf{M}^{-*}$. Similarly, opposite-order OP has been considered for PG methods \cite{andreev2012stability}, particularly in the context of pseudo-differential operators \cite{steinbach1998construction,mclean1999boundary,hsiao2008boundary}, i.e.~for $\mathsf{A} : X \to Y'$ and $\mathsf{C}: Y'\to X$, with\footnote{Recently, \cite{stevenson2019uniform} proposed a construction with $\mathsf{M}$, $\mathsf{N} \neq \mathsf{I}$, whose discretization leads to ${\bf M}$ and ${\bf N}$ being diagonal matrices.} $\mathsf{M}=\mathsf{N}=:\mathsf{I}$, leading to
\begin{equation}\label{eq:OP_OO}
\text{(opposite-order OP)}\quad\begin{tikzcd}[every arrow/.append style={shift left}]
X \arrow{r}{\mathsf{A} }  & Y' \arrow{l}{\mathsf{C}}
\end{tikzcd}.
\end{equation}
However, there is no known result for general OP-PG, which would encompass both OP-BG and opposite-order PG. This entails considering the following more general framework. For reflexive Banach spaces $X,$ $Y$, $V$ and $W$, and a preconditioner $\mathsf{C}: V \to W'$ to $\mathsf{A}: X \to Y'$, we need to build the commuting diagram:
\begin{equation}\label{eq:OP_PG}
\text{(OP-PG)}\quad\begin{tikzcd}
X \arrow{r}{\mathsf{A} }  & Y' \arrow{d}{\mathsf{N}^{-1}} \\
W' \arrow{u}{\mathsf{M}^{-1}} & V\arrow{l}{\mathsf{C}}
\end{tikzcd},
\end{equation}
with $\mathsf{M}: X \to W'$ and $\mathsf{N}: V \to Y'$ linking the domain and range spaces for $\mathsf{A}$ and $\mathsf{C}$, and leading to an endomorphism on $X$. Notice that in this case $\mathsf{P}:= \mathsf{M}^{-1}\mathsf{C}\mathsf{N}^{-1}$ and that \eqref{eq:OP_PG} reduces to \eqref{eq:OP_BG} if $W=V$, $Y=X$ and $\mathsf{N} = \mathsf{M}^*$. In this regard, our main contribution is a theory for OP-PG for which we provide estimates for spectral and Euclidean condition numbers. For the latter, we make use of the synthesis operator linking the domain space and its basis expansion, thereby acknowledging the dimension dependence.

Yet, and despite leading to bounded spectral condition numbers, OP does not necessarily ensure convergence for iterative solvers such as GMRES or GMRES$(m)$. Theoretically, one requires further assumptions on the induced problems, related primarily to the matrix FoV distribution \cite{starke1997field,liesen2012field}, to obtain linear convergence results for GMRES. Still, these bounds are pessimistic \cite{liesen2012field,kirby2010functional}, with convergence radius for GMRES close to one. This justifies the derivation of sharper convergence results at the expense of tighter assumptions on the operators. For instance, one can observe a super-linear convergence of the iterative scheme for systems derived from second-kind Fredholm operator equations. \cite{moret1997note,winther1980some,campbell1996gmres,axelsson2018superlinear}.

Furthermore, though OP general properties are retained as the linear system dimension increases, it can quickly become impractical. A well-known example is the dual mesh-based OP---also known as multiplicative Calder\'on preconditioning---for boundary element methods \cite{hiptmair2006operator,steinbach1998construction,andriulli2008multiplicative}. Indeed, due to barycentric grid refinement, the standard method entails a dramatic increase in memory and computational costs. To counter this, low-accuracy Calder\'on preconditioners have been recently proposed with promising results \cite{bebendorf2008hierarchical,escapiljerez,fierro2020fast}. Indeed, iterative solvers' performance is seen to remain stable when building relatively coarse approximations of a given operator preconditioner. Clearly, this has no impact over the solution accuracy as this is only induced by the numerical approximation of the original problem, estimated by Strang's lemma \cite{strang1972variational} and its variants \cite{ern2004theory,di2018third}. Accordingly, we recently proposed the idea of systematically ``\emph{combining distinct precision orders of magnitude inside the resolution scheme}" \cite{escapiljerez} with successful numerical results for boundary element methods in electromagnetics \cite{escapiljerez,kleanthous2020accelerated} and acoustics \cite{fierro2020fast}, despite  hitherto the lack of rigorous proof.

Thus, we aim to provide theoretical grounds for the above observations by considering parameter-dependent perturbed problems and introducing the \emph{bi-parametric} OP paradigm (\Cref{thm:strang}), with bounds on spectral and Euclidean condition numbers with respect to perturbations. We further deduce linear (resp.~super-linear) convergence results for GMRES$(m)$ (resp.~GMRES), and present exhaustive new convergence bounds for iterative solvers when working on Hilbert spaces. Due to their generality, our results apply to diverse research areas: equivalent operators theory \cite{faber1990theory,axelsson2009equivalent,kirby2010functional}, opposite-order OP \cite{winther1980some,stevenson2019uniform}, compact equivalent OP \cite{axelssonsuperlinear,axelsson2018superlinear} and (fast) Calder\'on preconditioning \cite{andriulli2008multiplicative,escapiljerez,antoine2020introduction,fierro2020fast,hiptmair2020preconditioning}. Furthermore, these ideas could be also applied on high frequency wave propagation problems \cite{graham2017domain,galkowski2019wavenumber}, Schwarz preconditioning \cite{sarkis2007optimal,feischl2017optimal} and second-kind Fredholm operator equations \cite{atkinson1976survey,colton2012inverse}.

This manuscript is structured as follows. In \Cref{sec:problem}, we present the abstract PG setting. In \Cref{sec:first_strang} we introduce perturbed forms and state the first Strang's lemma for completeness. Next, we arrive at the bi-parametric OP framework and state our main result in \Cref{sec:bi_parametric}. Finally, we investigate the performance of iterative solvers in \Cref{sec:iterative}, and discuss new research avenues in \Cref{sec:concl}. \Cref{fig:Problem} summarizes constants and problems defined throughout this work.

\begin{figure}
\begin{minipage}{0.4\linewidth}
\begin{table}[H]
\renewcommand\arraystretch{2}
\begin{center}
\footnotesize
\begin{tabular}{
    |>{\centering\arraybackslash}m{1.2cm
    |>{\centering\arraybackslash}m{2.4cm}
    |>{\centering\arraybackslash}m{1cm}|
    >{\centering\arraybackslash}m{3cm}
    |>{\centering\arraybackslash}m{2cm}|
    }
    \hline
\vspace{0.1cm}
Notation & Value  & Eq. \\ \hline\hline
$\operatorname{K}_\mathsf{A}$ & $\frac{\|\mathsf{a}\|}{\gamma_\mathsf{A}}$  & \eqref{eq:discrete_condition_number}\\\hline
$\operatorname{K}_{\Lambda_h}$ & $\frac{\|\Lambda\|}{\gamma_\Lambda}$  & \eqref{eq:KL}\\ \hline
$\operatorname{K}_\star$ & $\frac{\|\mathsf{m}\|\|\mathsf{n}\|\|\mathsf{c}\|\|\mathsf{a}\|}{\gamma_\mathsf{M}\gamma_\mathsf{N}\gamma_\mathsf{C} \gamma_\mathsf{A}}$  & \eqref{eq:kS_star}\\ \hline
$\operatorname{K}_{\star,\mu,\nu}$ & $\operatorname{K}_\star \left(\frac{1 + \mu }{1- \mu}\right)\left(\frac{1 +\nu}{1 - \nu}\right)$ \ &  \eqref{eq:k_mu_nu}\\ \hline
$ \overline{\sigma}_k(\mathsf{K})$ & $\frac{1}{k} \sum_{j=1}^k \sigma_j(\mathsf{K})$ &\eqref{eq:sigmamean}\\ \hline
\end{tabular
\end{center}
\end{table}
\end{minipage}
\begin{minipage}{0.001\linewidth}
\hspace{\fill}
\end{minipage}
\begin{minipage}{0.59\linewidth}
\begin{table}[H]
\renewcommand\arraystretch{1.7}
\begin{center}
\footnotesize
\begin{tabular}{
    |>{\centering\arraybackslash}m{1.2cm}
    |>{\centering\arraybackslash}m{5cm}
    |>{\centering\arraybackslash}m{1cm}|
    }
    \hline
\vspace{0.1cm}
Problem & Problem in matrix form & Eq. \\ \hline\hline
\textup{(\!(A)\!)} &  ${\bf A} {\bf u} = {\bf b}$ &\eqref{eq:matrix_weak}\\\hline
\textup{(\!(A)\!)}$_\nu$ &  ${\bf A}_\nu {\bf u}_\nu = {\bf b}_\nu$ &\eqref{eq:matrix_weak_perturbed}\\\hline
\textup{(\!(CA)\!)} &  ${\bf M}^{-1} {\bf C} {\bf N}^{-1} {\bf A} {\bf u} = {\bf M}^{-1} {\bf C} {\bf N}^{-1}{\bf b}$ &\eqref{eq:prec_matrix_strong}\\\hline
\textup{(\!(CA)\!)}$_{\mu,\nu}$ &   \multirow{2}{*}{${\bf M}^{-1} {\bf C}_\mu {\bf N}^{-1} {\bf A}_\nu {\bf u}_\nu = {\bf M}^{-1} {\bf C}_\mu {\bf N}^{-1}{\bf b}_\nu$ }&\eqref{eq:prec_matrix_strong_perturbed}\\\cline{1-1}\cline{3-3}
\textup{(\!(CA)\!)}$_{\mu,\nu}^p$& & \eqref{eq:CAmnp}\\ \hline
\textup{(\!(A)\!)}$^p$& ${\bf N}^{-1} {\bf A} {\bf u} = {\bf N}^{-1} {\bf b}$ &\eqref{eq:Ap}\\ \hline
\end{tabular
\end{center}
\end{table}
\end{minipage}
\caption{Comprehensive review of the constants (left) and problems (right) defined throughout this manuscript, along with their corresponding introductions. Convergence radius $\Theta_k^{(m)}$ and $\widetilde{\Theta}_k^{(m)}$ for the preconditioned GMRES are defined in \eqref{eq:ConvRates}.}
\label{fig:Problem}
\end{figure}
\section{Continuous, Discrete and Matrix Problem Statements}\label{sec:problem}
Let $X$ and $Y$ be two reflexive Banach spaces and let $\mathsf{a} \in \mathcal{L}(X\times Y;\mathbb{C})$ be a continuous complex sesqui-linear---weak---form with norm $\|\mathsf{a}\|$. We tag dual spaces by prime ($'$) and adjoint operators by asterisk (${}^*$). For a linear form $b \in Y'$, the \emph{weak continuous problem} is
\begin{equation}\label{eq:continuous_weak}
\text{seek}\quad u \in X \quad\text{such that}\quad \mathsf{a}(u,v)=b(v),\quad \forall \ v\in Y.
\end{equation}
Throughout, we assume for each $b\in Y'$ the existence of a unique continuous solution $u$ to \eqref{eq:continuous_weak}. The form $\mathsf{a}$ induces a---strong---bounded linear operator $\mathsf{A}\in \mathcal{L}(X;Y')$ defined through the \emph{dual pairing} in $Y$ as follows \cite[Proposition A.21]{ern2004theory}
\begin{equation}\label{eq:dual_pairing}
\langle \mathsf{A} u, v \rangle_{Y'\times Y}:= a(u,v) ,\quad \forall \ u \in X, ~ \forall \ v \in Y.
\end{equation}
Hence, \eqref{eq:continuous_weak} is equivalent to the \emph{strong continuous problem}:
\begin{equation} \label{eq:strongcontprob}
\text{seek}\quad u \in X \quad\text{such that}\quad \mathsf{A} u = b.
\end{equation}

Given an index $h>0$, we introduce finite-dimensional \emph{conforming spaces}, i.e.~$X_h \subset X$ and $Y_h\subset Y$, and assume that $\dim(X_h)=\dim(Y_h)=:N$, with $N\rightarrow\infty$ as $h\rightarrow0$. Customarily, $h$ relates to the mesh-size of finite or boundary elements approximations.\footnote{For the sake of simplicity, the problems under consideration are defined for a given $h>0$ although asymptotic considerations are key in proving properties such as \emph{$h$-independent} condition numbers, i.e.~remaining bounded as $h\to 0$ (cf.~\Cref{remark:Asymptotics}).}

The counterpart of \eqref{eq:continuous_weak} is the \emph{weak discrete problem}:
\begin{equation}\label{eq:discrete_weak}
\text{find}\quad u_h \in X_h \quad\text{such that}\quad \mathsf{a}(u_h,v_h)=b(v_h),\quad \forall \ v_h\in Y_h,
\end{equation}
The above admits a unique solution $u_h$ \cite[Theorem 2.22]{ern2004theory} if $\mathsf{a}$ satisfies the discrete inf-sup---Banach-Ne\v{c}as-Babu\v{s}ka (BNB)---condition, for a constant $\gamma_\mathsf{A} > 0$:
\begin{equation}\label{eq:BNBh}
\sup_{v_h\in Y_h \setminus \{\boldsymbol{0}\}}\frac{|\mathsf{a}(u_h , v_h)|}{\n{v_h}_Y} \geq \gamma_\mathsf{A} \n{u_h}_X > 0 ,~\forall \ u_h \in X_h.
\end{equation}

\begin{assumption}\label{ass:BNB}
Throughout, we assume that $\mathsf{a}$ is continuous and satisfies the BNB condition \eqref{eq:BNBh}.
\end{assumption}
Equivalently, we define the discrete operator $\mathsf{A}_h : X_h \to Y_h'$:
\begin{equation}\label{eq:discrete_operator_def}
\langle \mathsf{A}_h u_h,v_h\rangle_{Y_h'\times Y_h}:= \mathsf{a}(u_h,v_h),\quad \forall \ u_h \in X_h, \ \forall v_h \in Y_h,
\end{equation}
and $b_h \in Y_h'$ such that $b_h(v_h) := b(v_h)$ for all $v_h \in Y_h$, wherein the norms of $b_h$ and $\mathsf{A}_h$ are given by (refer to \cite[Section 4.2.3]{sauter2010boundary}):
\begin{equation}\label{eq:discrete_op_norm}
\|b_h\|_{Y_h'} := \sup_{v_h \in Y_h \setminus \{\boldsymbol{0}\}} \frac{|\mathsf{a} (u_h,v_h)|}{\n{v_h}_{Y_h}}\quad \text{and} \quad \n{\mathsf{A}_h}_{X_h \to Y'_h}  : = \sup_{u_h \in X_h \setminus \{\boldsymbol{0}\}} \frac{\n{\mathsf{A}_h u_h}_{Y_h'}}{\n{u_h}_{X_h}}.
\end{equation}
Consequently, the \emph{strong discrete problem} related to \eqref{eq:strongcontprob} reads
\begin{equation}\label{eq:discrete_strong}
\text{seek}\quad u_{h} \in X_h \quad\text{such that}\quad \mathsf{A}_h u_h=b_h.
\end{equation}
One can introduce the \emph{discrete condition number}:
\begin{equation}\label{eq:discrete_condition_number}
\kappa (\mathsf{A}_h) : = \n{\mathsf{A}_h}_{{X_h\to Y_h'}}\n{\mathsf{A}^{-1}_h}_{{Y_h'\to X_h}} \leq \gamma_\mathsf{A}^{-1}\|\mathsf{a}\|=:\operatorname{K}_\mathsf{A},
\end{equation}
with $\operatorname{K}_\mathsf{A}$ being referred to as \emph{BNB condition number}, not to be confused with the BNB condition \eqref{eq:BNBh}.

Pick bases such that $\textrm{span}\{\varphi_i\}_{i=1}^N = X_h\subset X$ and $\textrm{span}\{\phi_i\}_{i=1}^N= Y_h\subset Y$, and write the corresponding coefficient vectors in $\mathbb{C}^N$ for the basis expansion in bold letters, e.g.,
\begin{align*}
u_h \in X_h : &\quad u_h = \sum_{i=1}^N u_i \varphi_i , ~\quad {\bf u} := (u_i)_{i=1}^N \in \mathbb{C}^N,\\
v_h \in Y_h : &\quad v_h = \sum_{i=1}^N v_i \phi_i , ~\quad {\bf v} := (v_i)_{i=1}^N \in \mathbb{C}^N,
\end{align*}
and build the (stiffness) Galerkin matrix and right-hand side
$$
{\bf A} :=(\mathsf{a}(\varphi_j, \phi_i))_{i,j=1}^N,\quad {\bf b} : = (b_h(\phi_i))_{i=1}^N.
$$
It holds that
$$
\langle \mathsf{A} u_h, v_h\rangle_{Y' \times Y}=\langle \mathsf{A}_h u_h,v_h\rangle_{Y_{h}'\times Y_{h}} = ({\bf A} {\bf u}, {\bf v})_2,
$$
where $({\bf u},{\bf v} )_2$ denotes the Euclidean inner product in $\mathbb{C}^N$ with induced norm $\n{{\bf u}}_2=\sqrt{({\bf u},{\bf u})_2}$. The matrix norm is
$$\n{{\bf A}}_2 : = \max_{{\bf u} \in \mathbb{C}^N \setminus \{\boldsymbol{0}\}} \frac{ \n{{\bf A}{\bf u}}_2 }{ \n{{\bf u}}_2}.$$

We set ${\bf A}^H:=\overline{{\bf A}}^T$ the conjugate transpose of ${\bf A}$ and define vector and matrix norms induced by the Banach space setting as $\n{{\bf u}}_{X_h}:= \n{u_h}_{X_h}$ and $\n{{\bf A}}_{X_h \to Y_h'}:= \n{\mathsf{A}_h}_{X_h\to Y_h'}$, for $\mathsf{A}_h$ in \eqref{eq:discrete_op_norm}. Notice that inclusion $X_h \subset X$ ensures that $\n{{\bf u}}_{X_h} = \n{{\bf u}}_X =: \n{u_h}_X $.

Consequently, \eqref{eq:discrete_weak} and \eqref{eq:discrete_strong} correspond to the \emph{matrix problem} referred to\footnote{In the following, notation \textup{(\!($\cdot$)\!)} denotes matrix equations.} as \textup{(\!(A)\!)}:
\begin{equation}\label{eq:matrix_weak}
\text{\textup{(\!(A)\!)}}: \quad\text{Seek}\quad {\bf u} \in \mathbb{C}^N  \quad \text{such that} \quad{\bf A}{\bf u} = {\bf b}.
\end{equation}
Next, we introduce $\Lambda_h$ the \emph{synthesis operator} for $X_h$:
\begin{equation}\label{eq:synthesis}
\begin{split}
\Lambda_h : \mathbb{C}^N &\to X_h\\
{\bf u}& \mapsto  u_h,
\end{split}
\end{equation}
along with strictly positive constants for $h>0$
\begin{equation}
\gamma_{\Lambda_{h}}  : =  \inf_{u_h\in X_h \setminus \{\boldsymbol{0}\}}\frac{\n{u_h}_X}{\n{{\bf u}}_2} \quad\textup{and}\quad \|\Lambda_{h} \|: = \sup_{u_h\in X_h \setminus \{\boldsymbol{0}\}} \frac{\n{u_h}_X}{\n{{\bf u}}_2}.
\end{equation}
Notice that, for any $u_h\in X_h$, it holds that \cite[Section 2.3]{ern2006evaluation}
$$
\gamma_{\Lambda_{h}} \n{{\bf u}}_2 \leq \n{u_h}_X \leq \|\Lambda_{h} \| \n{{\bf u}}_2,
$$
and set
\begin{equation} \label{eq:KL}
\operatorname{K}_{\Lambda_h} : = \frac{\|\Lambda_h\|}{\gamma_{\Lambda_h}}.
\end{equation}

\begin{remark}\label{remark:synthesis}
One should observe the explicit use of $h$-subscripts for the synthesis operator. Indeed, while discrete inf-sup conditions are generally bounded as $h$ tends to zero, the bounds $\|\Lambda_h\|$ and $\gamma_{\Lambda_h}$ are not. For example, let $\Omega \subset\mathbb{R}^d$, $d=2,3$ be a smooth bounded Lipschitz domain \cite[Section 2]{steinbach2007numerical} with boundary $\Gamma :=\partial \Omega$. For $D$ being either $\Gamma$ or $\Omega$ and $s\in [0,1]$, we introduce the Sobolev space $H^s(D)$ \cite{steinbach2007numerical} and let $X:=H^s(D)$. We assume that $D$ is decomposed into a shape regular, locally quasi-uniform mesh $\mathcal{T}$ \cite[Section 9.1]{steinbach2007numerical} with elements $\tau \in \mathcal{T}$. Set $h_\tau$ as the diameter of each element $\tau \in \mathcal{T}$, along with $h_\textup{min}:= \min_{\tau \in \mathcal{T}}h_\tau $ and $h \equiv h_\textup{max}:= \max_{\tau \in \mathcal{T}} h_\tau $, and introduce a nodal $\mathcal{C}^0$-Lagrangian basis  \cite{ainsworth1999conditioning} on $\mathcal{T}$ as $\textup{span}\{\phi_i\}_{i=1}^N= X_h \subset X$, for any $N(h) \in \mathbb{N}$. For all $u_h \in X_h$, there holds that \cite[Sections 4.4 and 4.5]{sauter2010boundary}:
\begin{equation}
 \quad Ch_\textup{min}^\frac{d}{2} \n{{\bf u}}_2 \leq C \n{u_h}_{L^2(D)} \leq  \n{u_h}_{H^s(D)} \leq Ch_\textup{min}^{-s} \n{u_h}_{L^2(D)} \leq C h_\textup{min}^{-s} h_\textup{max}^{\frac{d}{2}} \n{{\bf u}}_2.
\end{equation}
Consequently, one obtains
\begin{equation}\label{eq:hdep1}
\gamma_{\Lambda_h} \geq C  h_\textup{min}^\frac{d}{2} ,\quad \|\Lambda_h\|\leq C h_\textup{min}^{-s}h_\textup{max}^{\frac{d}{2}}\quad \text{and} \quad \operatorname{K}_{\Lambda_h} \leq C \left(\frac{h_\textup{max}}{h_\textup{min}}\right)^{\frac{d}{2}}h_\textup{min}^{-s}.
\end{equation}
For $D=\Gamma$ and $H^s(\Gamma)$, with $s\in [-1,1]$, one has
\begin{equation} \label{eq:hdep2}
\operatorname{K}_{\Lambda_h} \leq C \left(\frac{h_\textup{max}}{h_\textup{min}}\right)^{\frac{d}{2}}h_\textup{min}^{-|s|}.
\end{equation}
In this case, one can see the synthesis operator's explicit $h$-dependence via \eqref{eq:hdep1} and \eqref{eq:hdep2}. A similar situation holds in the case of N\'ed\'elec and Raviart-Thomas (Rao-Wilton-Glisson) elements applied in electromagnetic scattering (cf.~\cite{HJM15} and references therein).
\end{remark}
For the remainder of this work, we will make extensive use of the spectral and Euclidean condition numbers, $\kappa_S ({\bf A})$ and $\kappa_2 ({\bf A})$, respectively,  defined as
\begin{equation}
\begin{split}\label{eq:kappas}
\kappa_S ({\bf A}) := \varrho({\bf A}) \varrho ({\bf A}^{-1}) = \frac{|\lambda_\textup{max}({\bf A})|}{|\lambda_\textup{min}({\bf A})|} \quad \text{and}\quad
\kappa_2 ({\bf A}) := \n{{\bf A}}_2 \n{{\bf A}^{-1}}_2,
\end{split}
\end{equation}
with $\varrho({\bf A}):= |\lambda_\textup{max}({\bf A})|$ being the spectral radius of ${\bf A}$. We denote the spectrum of ${\bf A}$ by $\mathfrak{S}({\bf A})$. Since the spectral radius is bounded by any norm on $\mathbb{C}^N$, we set, for any $\mathsf{Q}_h:X_h\to X_h$ with matrix representation ${\bf Q}$, the Banach space induced norm $\n{{\bf Q}}_X := \n{{\bf Q}}_{X\to X}$, with $\n{{\bf Q}}_{X} = \n{{\bf Q}}_{X_h} =: \n{{\bf Q}}_{X_h\to X_h}$ by inclusion $X_h \subset X$, leading to $\varrho({\bf Q}) \leq \n{{\bf Q}}_{X}$. The latter is key in proving the operator preconditioning result in \Cref{thm:opprecond}.

As mentioned in \Cref{sec:Introduction}, we are concerned with the consequences of perturbing the above sesqui-linear and linear forms over discretization spaces as it occurs when employing finite-arithmetic, numerical integration or compression algorithms. To this end, we give a notion of admissible perturbations needed for the ensuing analysis.
\begin{definition}[($h,\nu$)-perturbation]\label{def:perturbation}Let $\nu \in [0,1)$ and $h>0$ be given. We say that $\mathsf{a}_\nu \in \mathcal{L}(X \times Y;\mathbb{C})$ is a $(h,\nu)$-perturbation of $\mathsf{a}$ if it belongs to the set $\Phi_{h,\nu}(\mathsf{a})$:
\begin{equation}
 \mathsf{a}_\nu \in \Phi_{h,\nu}(\mathsf{a})  \iff \gamma_\mathsf{A}^{-1} \left| \mathsf{a} (u_h,v_h) - \mathsf{a}_\nu(u_h,v_h)\right| \leq  \nu \n{u_h}_X \n{v_h}_Y ,~ \forall \ u_h \in X_h, \ \forall \ v_h\in Y_h.
\end{equation}
Similarly, $b_{\nu}\in Y'$ is called a $(h,\nu)$-perturbation of the linear form $b$ if it belongs to the set $\Upsilon_{h,\nu}({b})$ defined as
$$ b_{\nu} \in \Upsilon_{h,\nu}(b)  \iff \left|b(v_h) - b_{\nu}(v_h) \right|\leq \nu \n{b_h}_{Y_h'}\n{v_h}_{Y_h},\quad\forall \ v_h\in Y_h. $$
We identify $\mathsf{a}_0$ and $b_0$ with $\mathsf{a}$ and $b$, respectively.
\end{definition}
The $(h,\nu)$-perturbation formalism allows to control precisely the perturbed sesqui-linear (resp.~linear) form.

\begin{proposition}\label{prop:perturbed}
Consider $\mathsf{a}_\nu \in \Psi_{h,\nu} (\mathsf{a})$. Then, $\mathsf{a}_\nu$ has a discrete inf-sup condition and is continuous, with corresponding constants $\gamma_{\mathsf{A}_\nu }$, $\|\mathsf{a}_\nu\|$, satisfying
\begin{equation}
\gamma_{\mathsf{A}_\nu } \geq \gamma_\mathsf{A}( 1- \nu) \quad \text{and} \quad \|\mathsf{a}_\nu\|\leq \|\mathsf{a}\| + \nu\gamma_\mathsf{A} \leq \|\mathsf{a}\|(1+\nu).
\end{equation}
\end{proposition}
\begin{proof}
For any $u_h \in X_h$, it holds that
\begin{equation}\label{eq:inf_sup1}
\begin{split}
\sup_{v_h \in Y_h \setminus \{\boldsymbol{0}\}} \frac{|\mathsf{a}_\nu (u_h,v_h)|}{\n{v_h}_Y} &\geq\sup_{v_h \in Y_h \setminus \{\boldsymbol{0}\}}\left( \frac{|\mathsf{a} (u_h,v_h)|}{\n{v_h}_Y} - \frac{|\mathsf{a} (u_h,v_h)-\mathsf{a}_\nu(u_h,v_h)|}{\n{v_h}_Y} \right)\\
& \geq \gamma_\mathsf{A} \n{u_h}_X - \gamma_\mathsf{A} \nu \n{u_h}_X = \gamma_\mathsf{A} (1-\nu)\n{u_h}_X
\end{split}
\end{equation}
by \Cref{ass:BNB} and \Cref{def:perturbation}. Similarly, for any $u_h\in X_h$ and $v_h \in Y_h$, one has
\begin{align*}
|\mathsf{a}_\nu (u_h,v_h)|&\leq |\mathsf{a} (u_h,v_h)| + |\mathsf{a}_\nu (u_h,v_h)-\mathsf{a}(u_h,v_h)| \\
&\leq ( \|\mathsf{a}\| +\nu  \gamma_\mathsf{A} )\n{u_h}_X \n{v_h}_Y  \leq  \|\mathsf{a}\|(1 +\nu  )\n{u_h}_X \n{v_h}_Y,
\end{align*}
as stated.\end{proof}
\begin{remark}
Though the sets of admissible perturbations $\Phi_{h,\nu}(\mathsf{a})$ and $\Upsilon_{h,\nu}(b)$ depend on $h$, the perturbed forms remain continuous.  Also, for a given $h$, one may choose different parameters for each set.
\end{remark}

Set $\nu \in [0,1)$ and introduce perturbations $\mathsf{a}_\nu\in\Phi_{h,\nu}(\mathsf{a})$ and $b_\nu\in\Upsilon_{h,\nu}(b)$. We arrive at the \emph{perturbed weak discrete problem}:
\begin{equation}\label{eq:perturbed_discrete}
\text{seek}\quad u_{h,\nu} \in X_h \quad\text{such that}\quad \mathsf{a}_\nu(u_{h,\nu},v_h)=b_\nu(v_h),\quad \forall \ v_h\in Y_h,
\end{equation}
with strong discrete counterpart
\begin{equation}\label{prob:unprecond}
 \text{find}\quad u_{h,\nu} \in X_h \quad\text{such that}\quad \mathsf{A}_{h,\nu} u_{h,\nu} =b_{h,\nu},
\end{equation}
and matrix form
\begin{equation}\label{eq:matrix_weak_perturbed}
\text{\textup{(\!(A)\!)}}_\nu: \quad\text{Seek}\quad {\bf u}_\nu \in \mathbb{C}^N  \quad \text{such that} \quad{\bf A}_\nu{\bf u} = {\bf b}_\nu.
\end{equation}
Notice that \textup{(\!(A)\!)}$_0=\textup{(\!(A)\!)}$. Moreover, one can combine \Cref{prop:perturbed} with \cite[Theorem 2.22]{ern2004theory} to obtain the next result.
\begin{proposition}\label{prop:well_posedness}For $\nu \in [0,1)$, \textup{(\!(A)\!)}$_\nu$ admits a unique solution.
\end{proposition}
\section{First Strang's lemma for perturbed forms}\label{sec:first_strang}
We start by characterizing the error between continuous and discrete solutions for the unperturbed version of \textup{(\!(A)\!)}~recalling C\'ea's lemma \cite{cea1964approximation, ern2004theory}.
\begin{lemma}[C\'ea's Lemma {\cite[Lemma 2.28]{ern2004theory}}]\label{lemmaCea}
Let $u\in X$ and $u_h\in X_h$ be the solutions to \eqref{eq:continuous_weak} and \eqref{eq:discrete_weak}, respectively. Then, one has
\begin{equation}
\n{u - u_h}_X \leq  \left(1 + {\operatorname{K}_\mathsf{A}} \right)\inf_{w_h \in X_h} \n{u-w_h}_X,
\end{equation}
with $\operatorname{K}_\mathsf{A}$ defined in \eqref{eq:discrete_condition_number}.
\end{lemma}
\begin{remark}
This fundamental result highlights the importance of the BNB condition number. It shows that if the problem has poor intrinsic conditioning for either continuous or discrete settings, then the quasi-optimality constant $(1 + \operatorname{K}_\mathsf{A})$ will be large and the solution $u_h$ far from the best approximation error. Observe that in \Cref{lemmaCea} both sesqui-linear and linear forms are computed exactly.
\end{remark}
Next, we present a modified version of the above lemma for perturbed problems \textup{(\!(A)\!)}$_\nu$.
\iffalse
\begin{lemma}[First Strang's Lemma]\label{lemma:strang}
Set $\nu\in[0,1)$ and let $u_{h,\nu}\in X_h$ and $u\in X$ be the unique solutions to \eqref{prob:unprecond} and \eqref{eq:continuous_weak}, respectively. It holds that
\begin{align*}
\n{u - u_{h,\nu}}_X & \leq \inf_{w_h\in X_h} \left(\left(1 + \frac{{\operatorname{K}_\mathsf{A}}}{1-\nu}\right) \n{u - w_h}_X +\frac{\nu}{1-\nu} \n{w_h}_X\right) + \frac{\nu}{\gamma_{\mathsf{A}}(1-\nu)}\n{b_h}_{Y_h'}\\
&\leq  \left(1 + \frac{{\operatorname{K}_\mathsf{A}}}{1-\nu}\right)\inf_{w_h\in X_h} \n{u - w_h}_X + \frac{2\nu}{\gamma_{\mathsf{A}}(1-\nu)}\n{b_h}_{Y_h'}.
\end{align*}
\end{lemma}
\begin{proof}
For any $w_h\in X_h$ and for all $v_h \in Y_h$, it holds that
\begin{align*}
\mathsf{a}_\nu (u_{h,\nu} - w_h, v_h ) &= b_\nu(v_h) -\mathsf{a}_\nu (w_h,v_h)  +\mathsf{a}(w_h,v_h) + \mathsf{a}(u-w_h ,v_h) - b(v_h)\\
& =  \mathsf{a}(u-w_h ,v_h) + (\mathsf{a}(w_h,v_h) -\mathsf{a}_\nu (w_h,v_h) ) + (b_\nu(v_h) -b(v_h)),
\end{align*}
leading to
\begin{equation}\label{eq:strang1}
\gamma_{\mathsf{A}_\nu}\n{u_{h,\nu} - w_h}_X \leq \|\mathsf{a}\| \n{u- w_h}_X + \nu \gamma_\mathsf{A} \n{w_h}_X+ \n{b_h-b_{h,\nu}}_{Y'_h}
\end{equation}
by \Cref{ass:BNB} and \Cref{def:perturbation}. Next, by combining the triangle inequality, and \eqref{eq:strang1}, one derives
\begin{align*}
\n{u - u_{h,\nu}}_X &\leq \n{u - w_h}_X + \n{w_h - u_{h,\nu}}_X \leq \left(1 +  \frac{\|{\mathsf{a}}\| }{\gamma_{\mathsf{A}_\nu}}\right)\n{u - w_h}_X + \nu \frac{\gamma_\mathsf{A}}{\gamma_{\mathsf{A}_\nu}}\n{w_h}_X +\frac{1}{\gamma_{\mathsf{A}_\nu}} \n{b_h-b_{h,\nu}}_{Y_h'},
\end{align*}
and, since $w_h$ is arbitrary in $X_h$, there holds
\begin{align*}
\n{u - u_{h,\nu}}_X &\leq \frac{1}{\gamma_{\mathsf{A}_\nu}}\n{b_h-b_{h,\nu}}_{Y'_h}+ \inf_{w_h \in X_h}\left( \left(1 + \frac{\|{\mathsf{a}}\|}{\gamma_{\mathsf{A}_\nu}}\right) \n{u-w_h}_X + \frac{\gamma_{\mathsf{A}}}{\gamma_{\mathsf{A}_\nu}}\nu\n{w_h}_{X}\right)\\
&\leq  \frac{\nu}{\gamma_\mathsf{A}(1-\nu)}\n{b_h}_{Y_h'} +\inf_{w_h \in X_h}\left( \left(1 + \frac{{\operatorname{K}_\mathsf{A}}}{1-\nu}
\right) \n{u-w_h}_X + \frac{\nu}{1-\nu} \n{w_h}_{X}\right)\\
&\leq  \frac{\nu}{\gamma_\mathsf{A}(1-\nu)}\n{b_h}_{Y_h'} +\left(1 + \frac{{\operatorname{K}_\mathsf{A}}}{1-\nu}
\right) \inf_{w_h \in X_h}\n{u-w_h}_X   + \frac{\nu}{1-\nu} \n{u_h}_{X}\\
&\leq  \frac{2\nu}{\gamma_\mathsf{A}(1-\nu)}\n{b_h}_{Y_h'} +\left( 1 + \frac{{\operatorname{K}_\mathsf{A}}}{1-\nu}
\right) \inf_{w_h \in X_h}\n{u-w_h}_X ,
\end{align*}
as stated, by recalling the continuous dependence on $b$ for $u_h$ solution of \eqref{eq:discrete_weak}, i.e.~$\n{u_h}_X \leq \frac{1}{\gamma_\mathsf{A}}\n{b_h}_{Y_h'}$.
\end{proof}\fi
\begin{lemma}[First Strang's Lemma]\label{lemma:strang}
Set $\nu\in[0,1)$ and let $u_{h,\nu}\in X_h$ and $u\in X$ be the unique solutions to \eqref{prob:unprecond} and \eqref{eq:continuous_weak}, respectively. It holds that
\begin{align*}
\n{u - u_{h,\nu}}_X & \leq \inf_{w_h\in X_h} \left(\left(1 + \frac{{\operatorname{K}_\mathsf{A}}}{1-\nu}\right) \n{u - w_h}_X +\frac{\nu}{1-\nu} \n{w_h}_X\right) + \frac{\nu}{\gamma_{\mathsf{A}}(1-\nu)}\n{b_h}_{Y_h'}\\
&\leq \left( 1 + \operatorname{K}_\mathsf{A}\right) \left(1 + \frac{{\operatorname{K}_\mathsf{A}}}{1-\nu}\right)\inf_{w_h\in X_h} \n{u - w_h}_X + \frac{2\nu}{\gamma_{\mathsf{A}}(1-\nu)}\n{b_h}_{Y_h'}.
\end{align*}
\end{lemma}
\begin{proof}
For any $w_h\in X_h$ and for all $v_h \in Y_h$, it holds that
\begin{align*}
\mathsf{a}_\nu (u_{h,\nu} - w_h, v_h ) &= b_\nu(v_h) -\mathsf{a}_\nu (w_h,v_h)  +\mathsf{a}(w_h,v_h) + \mathsf{a}(u-w_h ,v_h) - b(v_h)\\
& =  \mathsf{a}(u-w_h ,v_h) + (\mathsf{a}(w_h,v_h) -\mathsf{a}_\nu (w_h,v_h) ) + (b_\nu(v_h) -b(v_h)),
\end{align*}
leading to
\begin{equation}\label{eq:strang1}
\gamma_{\mathsf{A}_\nu}\n{u_{h,\nu} - w_h}_X \leq \|\mathsf{a}\| \n{u- w_h}_X + \nu \gamma_\mathsf{A} \n{w_h}_X+ \n{b_h-b_{h,\nu}}_{Y'_h}
\end{equation}
by \Cref{ass:BNB} and \Cref{def:perturbation}. Next, by combining the triangle inequality, and \eqref{eq:strang1}, one derives
\begin{align*}
\n{u - u_{h,\nu}}_X &\leq \n{u - w_h}_X + \n{w_h - u_{h,\nu}}_X \leq \left(1 +  \frac{\|{\mathsf{a}}\| }{\gamma_{\mathsf{A}_\nu}}\right)\n{u - w_h}_X + \nu \frac{\gamma_\mathsf{A}}{\gamma_{\mathsf{A}_\nu}}\n{w_h}_X +\frac{1}{\gamma_{\mathsf{A}_\nu}} \n{b_h-b_{h,\nu}}_{Y_h'},
\end{align*}
and, since $w_h$ is arbitrary in $X_h$, there holds
\begin{align*}
\n{u - u_{h,\nu}}_X &\leq \frac{1}{\gamma_{\mathsf{A}_\nu}}\n{b_h-b_{h,\nu}}_{Y'_h}+ \inf_{w_h \in X_h}\left( \left(1 + \frac{\|{\mathsf{a}}\|}{\gamma_{\mathsf{A}_\nu}}\right) \n{u-w_h}_X + \frac{\gamma_{\mathsf{A}}}{\gamma_{\mathsf{A}_\nu}}\nu\n{w_h}_{X}\right)\\
&\leq  \frac{\nu}{\gamma_\mathsf{A}(1-\nu)}\n{b_h}_{Y_h'} +\inf_{w_h \in X_h}\left( \left(1 + \frac{{\operatorname{K}_\mathsf{A}}}{1-\nu}
\right) \n{u-w_h}_X + \frac{\nu}{1-\nu} \n{w_h}_{X}\right)\\
&\leq  \frac{\nu}{\gamma_\mathsf{A}(1-\nu)}\n{b_h}_{Y_h'} +\left(1 + \frac{{\operatorname{K}_\mathsf{A}}}{1-\nu}
\right) \n{u-u_h}_X   + \frac{\nu}{1-\nu} \n{u_h}_{X}\\
&\leq  \frac{2\nu}{\gamma_\mathsf{A}(1-\nu)}\n{b_h}_{Y_h'} +\left(1+ \operatorname{K}_\mathsf{A}\right)\left( 1 + \frac{{\operatorname{K}_\mathsf{A}}}{1-\nu}
\right) \inf_{w_h \in X_h}\n{u-w_h}_X ,
\end{align*}
as stated, by recalling the continuous dependence on $b$ for $u_h$ solution of \eqref{eq:discrete_weak}, i.e.~$\n{u_h}_X \leq \frac{1}{\gamma_\mathsf{A}}\n{b_h}_{Y_h'}$, and by application of \Cref{lemmaCea}.
\end{proof}
\begin{remark}\label{remark:stabilityAnu}
Since
\begin{align*}
\kappa(\mathsf{A}_{h,\nu})\leq \frac{\|\mathsf{a}_{\nu}\|}{\gamma_{\mathsf{A}_\nu}}=: \operatorname{K}_{\mathsf{A}_\nu} \leq \mathsf{K}_\mathsf{A} \frac{1 + \nu}{1-\nu},
\end{align*}
one can expect the discrete (resp.~BNB) condition number of $\mathsf{a}_\nu$ to be stable with respect to small perturbations, as
$\operatorname{K}_{\mathsf{A}_\nu}= \operatorname{K}_\mathsf{A} (1 - 2\nu + o(\nu))$ for $\nu\ll 1$. For $\nu \ll 1$, \Cref{lemma:strang} shows that the perturbation implies: a best approximation error term with quasi-optimality constant $(1 + \operatorname{K}_\mathsf{A})^{2}$, and $\mathcal{O}(\nu)$ errors induced by the perturbed sesqui-linear form and right-hand side (cf.~\cite[Sections 2 and 3]{escapiljerez}).
\end{remark}
\begin{remark}Observe that contrary to C\'ea's lemma, \Cref{lemma:strang} does not invoke the solution to the continuous perturbed problem:
\begin{equation}\label{eq:continuous_weak_perturbed}
\text{seek}\quad u_\nu \in X \quad\text{such that}\quad \mathsf{a}_\nu(u_\nu,v)=b_\nu(v),\quad \forall \ v\in Y.
\end{equation}
Assuming the existence of a unique continuous solution $u_\nu$ to \eqref{eq:continuous_weak_perturbed}, \Cref{lemmaCea} and \Cref{remark:stabilityAnu} lead to the following quasi-optimal bound:
\begin{equation}
\n{u_\nu - u_{h,\nu}}_X \leq  \left(1 + \operatorname{K}_\mathsf{A}\frac{1+\nu}{1-\nu} \right)\inf_{w_h \in X_h} \n{u_\nu-w_h}_X.
\end{equation}
\end{remark}
\section{Bi-parametric Operator Preconditioning}\label{sec:bi_parametric}
We complete the setting in \Cref{sec:problem} by introducing preconditioners. To this end, let $V$ and $W$ be two reflexive Banach spaces. We consider an operator $\mathsf{c} \in \mathcal{L} (V \times W ; \mathbb{C})$ as well as pairings $\mathsf{n}\in \mathcal{L} (V\times Y; \mathbb{C})$ and $\mathsf{m} \in \mathcal{L} ( X\times W; \mathbb{C})$. These forms induce operators $\mathsf{C}: V \to W'$, $\mathsf{N} : V \to Y'$ and $\mathsf{M}: X\to W'$. With these, we state the preconditioned version of the operator equation \eqref{eq:strongcontprob}:
\begin{equation}
\text{seek}\quad u\in X \quad\text{such that}\quad \mathsf{P} \mathsf{A} u = \mathsf{P} b,\quad \text{with}  \quad \mathsf{P} : = \mathsf{M}^{-1}\mathsf{C}\mathsf{N}^{-1}.
\end{equation}

We refer the readers to \Cref{fig:Problem} and to the previous diagram in \eqref{eq:OP_PG} for an overview of domain mappings and functional spaces for OP-PG.

For our new spaces, we set conforming finite-dimensional spaces $V_h\subset V$ and $W_h\subset W$ of the same dimension $N$ as for $X_h$ and $Y_h$.

\begin{assumption}
We assume that $\mathsf{c}, \mathsf{n}$ and $\mathsf{m}$ satisfy a discrete inf-sup condition (cf.~\eqref{eq:BNBh}) over the approximations spaces, with constants $\gamma_\mathsf{C}, \gamma_\mathsf{N}$ and $\gamma_\mathsf{M}$, respectively.
\end{assumption}

Consequently, the \emph{strong discrete preconditioned problem}
\begin{equation}
\label{eq:prec_discrete_strong}\text{seek}\quad u_{h} \in X_h \quad\text{such that}\quad \mathsf{P}_h\mathsf{A}_h u_h= \mathsf{P}_h b_h,\quad \text{with} \quad \mathsf{P}_h:=\mathsf{M}_h^{-1} \mathsf{C}_h \mathsf{N}_h^{-1},\end{equation}
is well posed, by the same arguments as in \Cref{prop:well_posedness}. As in \Cref{sec:problem}, we now pick bases $\{\psi_i\}_{i=1}^N \subset V_h$ and $\{\xi_i\}_{i=1}^N \subset W_h$ of $V_h$ and $W_h$, and build the Galerkin matrices
\begin{equation}
{\bf C} : = {((\mathsf{c}( \psi_j ,\xi_i ))}_{i,j = 1}^N, \quad {\bf M} : = {((\mathsf{m}( \varphi_j , \xi_i ))}_{i,j = 1}^N \quad \text{and} \quad {\bf N} : = {((\mathsf{n}( \psi_j , \phi_i ))}_{i,j = 1}^N.
\end{equation}
Therefore, we arrive at the matrix problem:
\begin{equation}\label{eq:prec_matrix_strong}
\text{\textup{(\!(CA)\!)}}: \quad\text{find}\quad {\bf u} \in \mathbb{C}^N  \quad \text{such that}\quad {\bf P}  {\bf A} {\bf u} = {\bf P} {\bf b},\quad\text{with} \quad {\bf P}:= {\bf M}^{-1} {\bf C} {\bf N}^{-1}.
\end{equation}
\begin{table}[t]
\renewcommand\arraystretch{1.7}
\begin{center}
\footnotesize
\begin{tabular}{
    |>{\centering\arraybackslash}m{2cm
    |>{\centering\arraybackslash}m{2cm}
    |>{\centering\arraybackslash}m{2cm}
    |>{\centering\arraybackslash}m{3cm}
    |>{\centering\arraybackslash}m{2cm}|
    }
    \hline
\vspace{0.1cm}
&Operator & sesqui-linear form & Matrix  & Constants\\ \hline\hline
Impedance & $\mathsf{A}: X \to Y'$ & $\mathsf{a} : X \times Y$ &${\bf A} : [Y_h\times X_h]$  & $\gamma_\mathsf{A}, \|\mathsf{a}\|$\\\hline
Preconditioner& $\mathsf{C}: V\to W'$ & $\mathsf{c} :V \times W$ &${\bf C} : [W_h\times V_h]$ & $\gamma_\mathsf{C}, \|\mathsf{c}\|$\\\hline\hline
Pairing $\mathsf{A}$ & $\mathsf{N}: V \to Y'$ & $\mathsf{n} : V \times Y $ &${\bf N}^{-1} : [V_h\times Y_h]$& $\gamma_\mathsf{N}, \|\mathsf{n}\|$ \\\hline
Pairing $\mathsf{C}$ & $\mathsf{M}: X \to W'$ & $\mathsf{m} : X\times W $ &${\bf M}^{-1} : [X_h\times W_h]$& $\gamma_\mathsf{M}, \|\mathsf{m}\|$ \\\hline
 \end{tabular
\caption{Overview of functional spaces for OP-PG. We specify spaces for the corresponding continuous operators and sesqui-linear forms, along with their induced discrete matrices, continuity and discrete-inf sup constants. Brackets for matrices indicate the spaces associated to rows $\times$ columns.}
\label{tab:Problem}
\end{center}
\end{table}
\begin{remark}\label{remark:OPalgebra}
As hinted in \cite{betcke2020product}, OP allows to obtain an equivalent representation for both the discrete and matrix settings, referred to as Galerkin product algebra. Indeed, introduce a unique $v_h \in V_h$ such that $ \mathsf{N}_h v_h = b_h$, $w_h:=\mathsf{C}_h v_h \in W'_h$, and a unique $q_h \in X_h$ such that $\mathsf{M}_h q_h =  w_h$. We obtain that
\begin{align*}
\mathsf{A}_h u_h = b_h = \mathsf{N}_h v_h \quad \Rightarrow \quad\mathsf{N}_h^{-1} \mathsf{A}_h u_h = v_h \in V_h,\\
\mathsf{C}_h v_h =  w_h = \mathsf{M}_h q_h \quad \Rightarrow\quad \mathsf{M}_h^{-1} \mathsf{C}_h v_h = q_h \in X_h,
\end{align*}
leading to matrix counterparts
\begin{align*}
{\bf A} {\bf u} &= {\bf N} {\bf v}\quad \Rightarrow \quad {\bf N}^{-1} {\bf A} {\bf u} = {\bf v}, \\
{\bf C} {\bf v} & = {\bf M} {\bf q} \quad \Rightarrow \quad {\bf M}^{-1} {\bf C} {\bf v} = {\bf q}.
\end{align*}
Hence
\begin{equation} \label{eq:OPalgebra}
q_h = \mathsf{P}_h \mathsf{A}_h u_h\quad \text{with basis expansion} \quad {\bf q} = {\bf P} {\bf A} {\bf u}.
\end{equation}
Consequently, $u_h = (\mathsf{P}_h \mathsf{A}_h)^{-1}q_h$ is with basis expansion ${\bf u} = ({\bf P} {\bf A})^{-1}{\bf q}$.
\end{remark}
We state the following estimates for the condition numbers of ${\bf P} {\bf A}$.
\begin{theorem}[Estimates for OP-PG]
\label{thm:opprecond}For problem \textup{(\!(CA)\!)}~given in \eqref{eq:prec_matrix_strong}, the spectral condition number is bounded as
\begin{equation}\label{eq:kS_star}
\kappa_S ({\bf P}{\bf A}) \leq \kappa (\mathsf{P}_h \mathsf{A}_h) \leq  \frac{\|\mathsf{m}\|\|\mathsf{n}\|\|\mathsf{c}\|\|\mathsf{a}\|}{\gamma_\mathsf{M}\gamma_\mathsf{N}\gamma_\mathsf{C} \gamma_\mathsf{A}} =:\operatorname{K}_\star.
\end{equation}
Furthermore, the Euclidean condition number satisfies
\begin{equation}\label{eq:k2_star}
\kappa_2 ({\bf P}{\bf A}) \leq \operatorname{K}_\star \left(\frac{\n{\Lambda_h}}{\gamma_{\Lambda_h}}\right)^2= \operatorname{K}_\star \operatorname{K}_{\Lambda_h}^2,
\end{equation}
with $\operatorname{K}_{\Lambda_h}$ introduced in \eqref{eq:KL}.
\end{theorem}
\begin{proof}
Remark that, for any $u_h \in X_h$, it holds that
\begin{equation} \label{eq:spectral}
\frac{\gamma_\mathsf{C} \gamma_\mathsf{A}}{\|\mathsf{m}\|\|\mathsf{n}\|}\|u_h\|_X\leq \n{\mathsf{P}_h\mathsf{A}_h u_h }_{X} \leq \frac{\|\mathsf{c} \| \|\mathsf{a}\|}{\gamma_\mathsf{N} \gamma_\mathsf{M}}\n{u_h}_X.
\end{equation}
Let us introduce ${\bf u}$ linked to $u_h$ so as to deduce that
\begin{equation}
\n{\mathsf{P}_h\mathsf{A}_h}_{X} = \n{{\bf P} {\bf A}}_{X}\leq \frac{\|\mathsf{c} \| \|\mathsf{a}\|}{\gamma_\mathsf{N} \gamma_\mathsf{M}}\quad \text{and}\quad \n{(\mathsf{P}_h\mathsf{A}_h)^{-1}}_X = \n{({\bf P} {\bf A})^{-1}}_{X}\leq\frac{\|\mathsf{m}\|\|\mathsf{n}\|}{\gamma_\mathsf{C} \gamma_\mathsf{A}},
\end{equation}
which leads to the stated result for the spectral condition number given in \eqref{eq:kappas}, since $\varrho({\bf P} {\bf A} ) \leq \n{{\bf P} {\bf A}}_{X}$ and $\varrho(({\bf P} {\bf A})^{-1})\leq \n{({\bf P} {\bf A})^{-1}}_{X}$.

For the Euclidean condition number, we employ the synthesis operator $\Lambda_h$, introduced in \eqref{eq:synthesis}, and \eqref{eq:spectral}, to derive
\begin{equation}
\frac{1}{\|\Lambda_h\|} \left(\frac{\gamma_\mathsf{C} \gamma_\mathsf{A}}{\|\mathsf{m}\|\|\mathsf{n}\|} \right)\n{u_h}_X \leq \n{{\bf P} {\bf A}{\bf u}}_2 \leq \frac{1}{\gamma_{\Lambda_h}} \left(\frac{ \|\mathsf{c}\|\|\mathsf{a}\|}{\gamma_\mathsf{M} \gamma_\mathsf{N}} \right) \n{u_h}_X,
\end{equation}
yielding
\begin{equation}
\frac{\gamma_{\Lambda_h} }{\|\Lambda_h\|} \left(\frac{\gamma_\mathsf{C} \gamma_\mathsf{A}}{\|\mathsf{m}\|\|\mathsf{n}\|} \right)\n{{\bf u}}_2 \leq  \n{{\bf P} {\bf A}{\bf u}}_2 \leq \frac{\|\Lambda_h\|}{\gamma_{\Lambda_h}} \left(\frac{ \|\mathsf{c}\|\|\mathsf{a}\|}{\gamma_\mathsf{M} \gamma_\mathsf{N}} \right)\n{{\bf u}}_2,
\end{equation}
providing the second result.
\end{proof}

As mentioned in \Cref{sec:Introduction}, the abstract formulation in \Cref{thm:opprecond} for OP-PG encompasses the following important cases:
\begin{enumerate}
\item[(i)] OP-BG \cite{hiptmair2006operator,christiansen2000preconditionneurs}: $X=Y$, $V =W$ and $\mathsf{N} := \mathsf{M}^*$ (cf.~\eqref{eq:OP_BG});
\item[(ii)] Opposite-order OP \cite{andreev2012stability}: $Y = X'$ and $W = V'$ and $\mathsf{M} = \mathsf{N} := \mathsf{I}$ (cf.~\eqref{eq:OP_OO}).
\end{enumerate}

We are now ready to introduce perturbed sesqui-linear forms and their preconditioners. In the spirit of \eqref{eq:perturbed_discrete}, we consider the family of \emph{bi-parametric} perturbed preconditioned problems.

For two parameters $\mu,\nu\in [0,1)$, we define $\mathsf{c}_\mu \in \Phi_{h,\mu}(\mathsf{c})$, $\mathsf{a}_\nu \in \Phi_{h,\nu}(\mathsf{a})$, and $b_\nu \in \Upsilon_{h,\nu}(b)$. The \emph{perturbed preconditioned} problem reads
\begin{equation}\label{prob:precond}
\text{find}\quad u_{h,\nu} \in X_h \quad\text{such that}\quad \mathsf{P}_{h,\mu} \mathsf{A}_{h,\nu} u_{h,\nu} =\mathsf{P}_{h,\mu} b_{h,\nu},\quad \text{with}\quad \mathsf{P}_{h,\mu} : = \mathsf{M}^{-1}_h\mathsf{C}_{h,\mu},\mathsf{N}^{-1}_h,
\end{equation}
with corresponding matrix form
\begin{equation}\label{eq:prec_matrix_strong_perturbed}
\text{\textup{(\!(CA)\!)}}_{\mu,\nu}: \quad\text{seek}\quad {\bf u}_\nu \in \mathbb{C}^N  \quad \text{such that}\quad {\bf P}_\mu {\bf A}_\nu {\bf u}_\nu ={\bf P}_\mu {\bf b}_\nu,\quad \text{with}\quad {\bf P}_\mu : ={\bf M}^{-1} {\bf C}_\mu {\bf N}^{-1}.
\end{equation}
Naturally, \textup{(\!(CA)\!)}$_{0,0}=$\textup{(\!(CA)\!)}. In practice, one seeks the preconditioner parameter $\mu$ to be much larger than the original system's accuracy $\nu$ while retaining the convergence properties. Indeed, we can now state our main result.

\begin{theorem}[Bi-Parametric Operator Preconditioning]\label{thm:strang}
For the problem \textup{(\!(CA)\!)}$_{\mu,\nu}$, given in \eqref{eq:prec_matrix_strong_perturbed} for $\mu,\nu\in[0,1)$ and $h>0$, the spectral condition number is bounded as
\begin{equation}\label{eq:kS_mu_nu}\kappa_S ({\bf P}_\mu{\bf A}_\nu) \leq
 \operatorname{K}_\star \left(\frac{1+ \mu}{1-\mu}\right)\left(\frac{1+\nu}{1-\nu}\right)= :\operatorname{K}_{\star,\mu,\nu}
\end{equation}
and the Euclidean condition number satisfies
\begin{equation}\label{eq:k_mu_nu}\kappa_2 ({\bf P}_\mu {\bf A}_\nu) \leq \operatorname{K}_{\star,\mu,\nu} \operatorname{K}_{\Lambda_h}^2,\end{equation}
with $\operatorname{K}_{\star}$ and $\operatorname{K}_{\Lambda_h}$ defined in \eqref{eq:KL} and \eqref{eq:kS_star}, respectively.
\end{theorem}
\begin{proof}Application of \Cref{prop:perturbed} to $\mathsf{c}_\mu$ and $\mathsf{a}_\nu$ leads to:
\begin{equation}
\forall \ u_h \in X_h , \quad (1-\mu)(1-\nu)\frac{\gamma_\mathsf{C} \gamma_\mathsf{A}}{\|\mathsf{m}\|\|\mathsf{n}\|} \n{u_h}_X \leq \n{\mathsf{P}_{h,\mu} \mathsf{A}_{h,\nu} u_h}_X\leq \frac{\|\mathsf{c}\|\|\mathsf{a}\|}{\gamma_\mathsf{A}\gamma_\mathsf{C}}(1+\mu)(1+\nu)\n{u_h}_X,
\end{equation}
from where one derives the result for the spectral condition number following the proof of \Cref{thm:opprecond}. For the Euclidean condition number, the proof is similar modulo the term $\operatorname{K}_{\Lambda_h}$ due to the synthesis operator.
\end{proof}

\begin{remark}
\Cref{thm:strang} provides bounds for both spectral and Euclidean condition numbers. Notice that \eqref{eq:k_mu_nu} involves the synthesis operators in $X_h$ (see \Cref{remark:synthesis}). Moreover, it holds that $\operatorname{K}_{\star,\mu,\nu} = \operatorname{K}_{\star,\nu,\mu}$, and $\operatorname{K}_{\star,\mu,\nu}$ does not involve cross-terms in $\mu$ and $\nu$. Remark that \eqref{eq:kS_mu_nu} is a sharper estimate than the previous bound in \cite[Proposition 1]{escapiljerez}. Also, we have assumed $\mathsf{M}$ and $\mathsf{N}$ to be exact or unperturbed but one could also extend the above results to account for perturbed pairings.
\end{remark}

\Cref{thm:strang} constitutes the formal proof of the effectiveness of preconditioning with low-accuracy approximations hinted, for instance, by Bebendorf in \cite[Section 3.6]{bebendorf2008hierarchical}. To illustrate this, assume that the best approximation error in \Cref{lemmaCea} converges at a rate $\mathcal{O}(h^r)$, $r >0$. First, \Cref{thm:strang} shows that one can set $\nu = \mathcal{O}(h^{r})$ to preserve the convergence rate. Second, one can relax $\mu$ by setting a bounded $\mu=\mathcal{O}(1)$ guaranteeing a bounded spectral condition number.
Consequently, the result suggests using different parameters for the assembly of ${\bf P}_\mu$ and ${\bf A}_\nu$. For example, one can keep standard Galerkin methods for building stiffness matrices with preconditioners built using coarser Galerkin approximations \cite{escapiljerez,kleanthous2020accelerated,fierro2020fast}, collocation methods \cite{atkinson1976survey}, compression techniques \cite{bebendorf2008hierarchical,bebendorf2009recompression}, or feedforward neural networks \cite{meade1994numerical,sappl2019deep}.

\section{Iterative Solvers Performance: Hilbert space setting}\label{sec:iterative}
Throughout \Cref{sec:iterative}, we restrict ourselves to $X\equiv H$ with $H$ being a Hilbert space with inner product ${(\cdot,\cdot)}_{{H}}$ and ${\|\cdot\|}_{H} = \sqrt{{(\cdot,\cdot)}_{H}}$. We set ${\bf H} := ({(\varphi_j,\varphi_i)}_H)_{i,j=1}^N$, being Hermitian positive definite with $\{\varphi_i\}_{i=1}^N$ defined in \Cref{sec:problem}, satisfying
\begin{equation} \label{eq:def_inner_product}
\forall \ u_h,v_h \in X_h, \quad {(u_h,v_h)_H} = {\langle \mathsf{R} u_h, v_h\rangle}_{H' \times H} = ({\bf H} {\bf u},{\bf v})_2 =  :{({\bf u},{\bf v})}_H,
\end{equation}
where $\mathsf{R}$ is the isometric Riesz-isomorphism ${H}\rightarrow H'$ \cite[Section 3]{hiptmair2006operator}.

We aim at detailing how the context of \Cref{thm:opprecond} and \Cref{thm:strang} transfers onto the behavior of iterative solvers such as GMRES under the above Hilbertian setting. To this end, the following matrix properties will prove useful.

\subsection{Matrix properties: $H$-FoV}

For any ${\bf Q} \in \mathbb{C}^{N\times N}$, $N\in \mathbb{N}$, we introduce $\mathcal{F}_H({\bf Q})$, the matrix $H$-FoV of ${\bf Q}$---also referred to as $H$-numerical range---and $\mathcal{V}_H({\bf Q})$, the distance of $\mathcal{F}_H({\bf Q})$ from the origin
\begin{equation}\label{eq:numerical_range}
\mathcal{F}_H({\bf Q}):=\left \{\frac{{({\bf Q} {\bf u},{\bf u})}_H}{({\bf u},{\bf u})_H} :{\bf u} \in \mathbb{C}^N \setminus \{\boldsymbol{0}\}\right \} \quad \text{and} \quad \mathcal{V}_H({\bf Q}) := \min_{z \in \mathcal{F}_H({\bf Q}) } |z| = \min_{{\bf u} \in \mathbb{C}^N \setminus \{\boldsymbol{0}\}} \frac{|({\bf Q} {\bf u},{\bf u})_H|}{({\bf u},{\bf u})_H}.
\end{equation}
Likewise, we introduce $\mathcal{F}_2({\bf Q})$, or equivalently 2-FoV, and $\mathcal{V}_2({\bf Q})$. Moreover, for any $\mathsf{Q}_h : X_h \to X_h$, we set the discrete $H$-FoV and $\mathcal{V}_H(\mathsf{Q}_h)$:
\begin{equation}\label{eq:discrete_HFOV}
\mathcal{F}_H(\mathsf{Q}_h):=\left \{\frac{{(\mathsf{Q}_h u_h,u_h)}_H}{(u_h, u_h)_H} :u_h\in X_h \setminus \{\boldsymbol{0}\}\right \} \quad \text{and} \quad \mathcal{V}_H(\mathsf{Q}_h) := \inf_{u_h \in X_h \setminus \{\boldsymbol{0}\}} \frac{|(\mathsf{Q}_h u_h,u_h)_H|}{(u_h,u_h)_H} .
\end{equation}
We recall that the $H$-adjoint of ${\bf Q}$ is ${\bf Q}^{\star}:={\bf H}^{-1}{\bf Q}^H{\bf H}$, and that ${\bf Q}$ is said to be \emph{$H$-normal} if ${\bf Q}$ commutes with ${\bf Q}^{\star}$ \cite[Section 2.2.1.1]{axelsson2009equivalent}.

The matrix $H$-FoV (and $2$-FoV) being key in describing the linear convergence of GMRES$(m)$, we aim at giving a further insight on these sets. Following \cite[Section 4]{benzi2016localization}, we state some useful properties of the matrix $H$-FoV.
\begin{lemma}[Properties of the matrix $H$-FoV $\mathcal{F}_H({\bf Q})$]\label{lemma:numrange}
Consider any ${\bf Q},{\bf H} \in \mathbb{C}^{N\times N}$, $N\in \mathbb{N}$, with ${\bf H}$ being a Hermitian positive definite matrix. The following properties hold:
\begin{enumerate}
  \item[(i)] $\mathcal{F}_H({\bf Q}) = \mathcal{F}_2({\bf H}^\frac{1}{2}{\bf Q} {\bf H}^{-\frac{1}{2}})$;
  \item[(ii)] Spectral containment: $\mathfrak{S} ({\bf Q}) \subset \mathcal{F}_H( {\bf Q})$;
  \item[(iii)] $H$-normal matrices: If ${\bf Q}$ is $H$-normal, then $\mathcal{F}_H({\bf Q})= \textup{Conv}(\mathfrak{S} ({\bf Q}))$ the convex hull of $\mathfrak{S}({\bf Q})$;
  \item[(iv)] $\mathcal{F}_H({\bf Q})$ is contained in a disk centered at $0$ with radius $\n{{\bf Q}}_H$;
  \item[(v)] $\mathcal{F}_H({\bf Q})$ is compact and convex.
\end{enumerate}
\end{lemma}
\begin{proof}Set $\widehat{{\bf Q}} : = {\bf H}^\frac{1}{2}{\bf Q} {\bf H}^{-\frac{1}{2}}$.
\begin{itemize}
\item[(i)] For any ${\bf u}\in \mathbb{C}^N\setminus \{\boldsymbol{0}\}$, one can define $\widehat{{\bf u}} : = {\bf H}^\frac{1}{2} {\bf u} $ such that
$$\frac{({\bf Q}{\bf u},{\bf u})_H}{({\bf u},{\bf u})_H} =  \frac{({\bf H}^\frac{1}{2}\widehat{{\bf Q}}{\bf H}^\frac{1}{2} {\bf u} ,{\bf u})_2 }{({\bf H}^\frac{1}{2} {\bf H}^\frac{1}{2} {\bf u},{\bf u})_2}= \frac{(\widehat{{\bf Q}} \widehat{{\bf u}},\widehat{{\bf u}})_2}{(\widehat{{\bf u}},\widehat{{\bf u}})_2},
$$
proving that $\mathcal{F}_H ({\bf Q})=\mathcal{F}_2(\widehat{{\bf Q}})$, and that $\n{\widehat{{\bf Q}}}_2 = \n{{\bf Q}}_H$.
\item[(ii)] By \cite[Section 4, Item 1]{benzi2016localization}, one has $\mathfrak{S}(\widehat{{\bf Q}}) \subset \mathcal{F}_2 ( \widehat{{\bf Q}})$. Clearly, ${\bf Q}$ and $\widehat{{\bf Q}}$ share the same spectrum.
\item[(iii)] If ${\bf Q}$ is $H$-normal, there holds that ${\bf Q} {\bf H}^{-1}{\bf Q}^H {\bf H} = {\bf H}^{-1} {\bf Q}^H {\bf H} {\bf Q}$, hence $${\bf H}^\frac{1}{2} {\bf Q} {\bf H}^{-1}{\bf Q}^H {\bf H}\bH^{- \frac{1}{2}} = {\bf H}^\frac{1}{2} {\bf H}^{-1} {\bf Q}^H {\bf H} {\bf Q} {\bf H}^{- \frac{1}{2}},$$ leading to $\widehat{{\bf Q}}\widehat{{\bf Q}}^H = \widehat{{\bf Q}}^H \widehat{{\bf Q}}$, proving that $\widehat{{\bf Q}}$ is normal. By \cite[Section 4, Item 10]{benzi2016localization}, we deduce that $\mathcal{F}_2(\widehat{{\bf Q}}) = \textup{Conv} (\mathfrak{S} (\widehat{{\bf Q}}))$.
\item[(iv)] $\mathcal{F}_2(\widehat{{\bf Q}})$ is contained in a disk centered at zero with radius $\n{\widehat{{\bf Q}}}_2$ \cite[Section 4, Item 3]{benzi2016localization}. Moreover, $\mathcal{F}_H ({\bf Q})= \mathcal{F}_2(\widehat{{\bf Q}})$ and $ \n{{\bf Q}}_H = \n{\widehat{{\bf Q}}}_2$.
\item[(v)] $\mathcal{F}_2(\widehat{{\bf Q}})$ is compact and convex by \cite[Section 4, Items 7 and 12]{benzi2016localization}.
\end{itemize}
\end{proof}

\begin{figure}[t]
\centering
\includegraphics[width=.8\textwidth]{test1.pdf}
\caption{$2$-FoV boundary (blue line), eigenvalues (green circles), convex hull for eigenvalues (green line) and $|\lambda_\text{min}|,|\lambda_\text{max}|$ (black diamonds) for a matrix ${\bf Q}:={\bf I} + 0.5\mathbf{E} \in \mathbb{R}^{40\times 40}$ (left) and its inverse ${\bf Q}^{-1}$ (right). $\mathbf{E}$ is a random matrix with $\mathbf{E}_{i,j}$ uniformly distributed random numbers in $[0,1]$ for $0\leq i,j\leq 40$. Remark that $0 \neq \textup{Conv}(\mathfrak{S}({\bf Q}))$ (resp.~$0 \neq \textup{Conv}(\mathfrak{S}({\bf Q}^{-1}))$) while $0 \in \mathcal{F}_2({\bf Q})$ (resp.~$0 \in \mathcal{F}_2({\bf Q}^{-1})$).}
\label{fig:numrange}
\end{figure}

\Cref{fig:numrange} illustrates the above definitions for a random matrix. Remark that: (i) ${\bf Q}$ is invertible, as $|\lambda_\text{min}({\bf Q})| >0$; (ii) $\mathcal{F}_2({\bf Q}) \not\subset \textup{Conv}(\mathfrak{S}({\bf Q}))$ and $\mathcal{F}_2({\bf Q}^{-1}) \not\subset \textup{Conv}(\mathfrak{S}({\bf Q}^{-1}))$; (iii) $\text{Conv}(\mathfrak{\mathfrak{S}({\bf Q}}))$ and $\text{Conv}(\mathfrak{S}({\bf Q}^{-1}))$ are bounded away from the origin, whereas $0\in \mathcal{F}_2({\bf Q})$ and $0\in \mathcal{F}_2({\bf Q}^{-1})$. Moreover, one has $\kappa_S({\bf Q}) = 30.6$ while $\kappa_2({\bf Q})= 58.3$, evidencing the non-normality of ${\bf Q}$.

\subsection{General linear convergence estimates for GMRES$(m)$}\label{subsec:iterative}
Following \cite[Chapter 5]{graham2017domain}, let us recall the application of the weighted (resp.~Euclidean) GMRES to a linear system ${\bf Q} {\bf x} = {\bf d}$ in $\mathbb{C}^N$, where ${\bf Q}\in\mathbb{C}^{N\times N}$ is a complex nonsingular matrix. For an initial guess ${\bf x}_0 \neq {\bf x}$, we introduce the residual ${\bf r}_0 = {\bf d} - {\bf Q} {\bf x}_0$ such that ${\bf r}_0 \neq 0$ as well as Krylov spaces
\begin{equation}\label{eq:Krylov}
\mathcal{K}^k ({\bf Q} , {\bf r}_0) : = \textup{span} \{  {\bf Q}^j {\bf r}_0 : j= 0,\ldots, k-1 \}, \quad  1 \leq k \leq N.
\end{equation}
For any step $1 \leq k \leq N$, we define ${\bf x}_k$ and $\tilde{{\bf x}}_k$ to be the unique elements of $\mathcal{K}^k({\bf Q}, {\bf r}_0)$ satisfying the minimal residual property under the energy and Euclidean norms:
\begin{equation}
\begin{split}
\n{{\bf r}_k}_H &: = \n{{\bf d} - {\bf Q} {\bf x}_k }_H = \min_{{\bf x} \in \mathcal{K}^k  ({\bf Q} , {\bf r}_0)} \n{{\bf d} - {\bf Q} {\bf x}}_H, \\
\n{\tilde{{\bf r}}_k}_2 &: = \n{{\bf d} - {\bf Q} \tilde{{\bf x}}_k }_2 = \min_{{\bf x} \in \mathcal{K}^k  ({\bf Q} , {\bf r}_0)} \n{{\bf d} - {\bf Q} {\bf x}}_2,
\end{split}
\end{equation}
respectively. We refer to either weighted or Euclidean GMRES collectively as GMRES. We add an $(m)$ superscript to signal restarted GMRES$(m)$, for any natural number $1\leq m\leq N$. Notice that GMRES and GMRES$(m)$ coincide up to iteration $m$.

\begin{lemma}[Weighted GMRES$(m$): Linear bounds]\label{lemma:Weighted_GMRES}Let ${\bf Q}\in \mathbb{C}^{N\times N}$, with $0 \neq \mathcal{F}_H({\bf Q})$ in \eqref{eq:numerical_range} and set $1\leq m\leq N$. Then, the $k$-th residual of weighted GMRES$(m)$ for $1\leq k\leq N$ satisfies:
\begin{equation}\label{eq:elmanm}
\frac{\n{{\bf r}_k}_H}{\n{{\bf r}_0}_H} \leq \left(1 -  \mathcal{V}_H({\bf Q}) \mathcal{V}_H\left({\bf Q}^{-1}\right)  \right)^\frac{k}{2}.
\end{equation}
\end{lemma}
\begin{proof}
We first remark that \Cref{lemma:Weighted_GMRES} for the Euclidean GMRES, i.e.~for ${\bf H}={\bf I}$, is proved in \cite{liesen2012field}. Thus, we focus on the extension to weighted GMRES. Following \cite[Theorem 5.1]{graham2017domain}, we set $\widehat{{\bf Q}} : = {\bf H}^\frac{1}{2} {\bf Q} {\bf H}^{-\frac{1}{2}}$, $\widehat{{\bf d}}:= {\bf H}^\frac{1}{2} {\bf d}$, $\widehat{{\bf x}}: = {\bf H}^\frac{1}{2}{\bf x}$ and $\widehat{{\bf r}}_0 := {\bf H}^\frac{1}{2} {\bf r}_0$. Application of the Euclidean GMRES to $\widehat{{\bf Q}}\widehat{{\bf x}} = \widehat{{\bf d}}$ yields
\begin{equation} \label{eq:proof_linear}
\frac{\n{\widehat{{\bf r}}_k}_2}{\n{\widehat{{\bf r}}_0}_2} \leq \left(1 -  \mathcal{V}_2 (\widehat{{\bf Q}} ) \mathcal{V}_2(\widehat{{\bf Q}}^{-1})  \right)^\frac{k}{2}.
\end{equation}
By \Cref{lemma:numrange}, we obtain that $\mathcal{F}_H ({\bf Q})=\mathcal{F}_2(\widehat{{\bf Q}})$ and $\mathcal{F}_H ({\bf Q}^{-1})= \mathcal{F}_2({\bf H}^{1/2} {\bf Q}^{-1} {\bf H}^{-1/2}) =\mathcal{F}_2(\widehat{{\bf Q}}^{-1})$. Consequently, by \eqref{eq:proof_linear} we derive the final bound for the weighted GMRES
\begin{equation}
\label{eq:GMRES_weight}
\frac{\n{{\bf r}_k}_H}{\n{{\bf r}_0}_H} \leq \left(1 -  \mathcal{V}_H ({\bf Q}) \mathcal{V}_H({\bf Q}^{-1})  \right)^\frac{k}{2}=\rho^k,
\end{equation}
with $\rho :=  \left(1 - \mathcal{V}_H ({\bf Q}) \mathcal{V}_H({\bf Q}^{-1})\right)^\frac{1}{2}$ and $\rho < 1$ by \cite[Section 1]{liesen2012field}. Finally, we remark that $\rho$ above does not depend on $k$: it provides a one-step bound. Therefore, we set a restart $1 \leq m \leq N $ and define $k= : i m + t$ with $0 \leq t < m$ and $0 \leq i \leq \lfloor \frac{N}{m}\rfloor$. By application of \eqref{eq:GMRES_weight}, there holds that:
\begin{equation}
\n{{\bf r}_{im + t}}_H  \leq \rho^t \n{{\bf r}_{im}}_H,
\end{equation}
and thus, $\n{{\bf r}_k}_H \leq \rho^k \n{{\bf r}_0}_H$, leading to the expected result for GMRES$(m)$.
\end{proof}
\begin{remark}
\Cref{lemma:Weighted_GMRES} provides a linear convergence bound for weighted GMRES$(m)$ with respect to $\mathcal{V}_H({\bf Q})$ and $\mathcal{V}_H({\bf Q}^{-1})$ and constitutes a sharper version of the classic result for weighted GMRES in \cite{graham2017domain,sarkis2007optimal}. Indeed, for ${\bf Q}$ in \Cref{lemma:Weighted_GMRES} there holds that \cite[Section 1]{liesen2012field}:
$$ 1 - \mathcal{V}_H({\bf Q}) \mathcal{V}_H({\bf Q}^{-1}) \leq 1- \frac{\mathcal{V}_H({\bf Q})^2}{\|{\bf Q}\|_H^2} < 1.$$
\end{remark}
\subsection{Discrete $\langle X_h\rangle$- and $(X_h)$-coercivity}
For the ensuing GMRES analysis of our preconditioned problem \textup{(\!(CA)\!)}, we need precise definitions for coercivity that relate to the BNB condition for Hilbert spaces. We introduce the notion of (discrete) $\langle X_h\rangle$-coercivity, with angle brackets referring to the dual pairing in \eqref{eq:dual_pairing} (refer to \cite[Section 5]{chandler2012numerical}).

\begin{definition}[$\langle X_h\rangle$-coercivity]\label{def:discrete_coercivity_dual}Consider $\mathsf{A}:X \to X'$ as in the BG case with $X$ being a Hilbert space. For $h>0$ given, $\mathsf{A}$ is said to be $\langle X_h \rangle $-coercive if there exists $\alpha_\mathsf{A}$ such that
\begin{equation}
0 <\alpha_\mathsf{A} \leq\frac{|\mathsf{a}(u_h,u_h)|}{\n{u_h}_X^2} = \frac{|\langle \mathsf{A} u_h,u_h\rangle_{X'\times X}|}{\n{u_h}_X^2} \quad \forall \ u_h \in X_h  \setminus \{\boldsymbol{0}\}.
\end{equation}
\end{definition}
Thus, discrete $\langle X_h \rangle$-\emph{ellipticity} refers to self-adjoint operators satisfying the $\langle X_h\rangle$-coercivity condition. These definitions extend naturally to continuous $\langle X\rangle$-coercivity and -ellipticity.
\begin{remark}[BNB condition and $\langle X_h \rangle$-coercivity]\label{rmk:inf-sup}
As pointed out for $\langle X \rangle$-coercivity in \cite[Lemma 2.8]{ern2004theory} , $\langle X_h \rangle$-coercivity for $\mathsf{A}$ in \Cref{def:discrete_coercivity_dual} provides a BNB constant $\gamma_\mathsf{A} = \alpha_\mathsf{A}$, since for any $u_h \in X_h \setminus \{\boldsymbol{0}\}$, it holds that
\begin{equation}
0 < \alpha_\mathsf{A} \n{u_h}_X \leq \frac{ |\mathsf{a}(u_h,u_h)|}{\n{u_h}_X} \leq \sup_{v_h \in X_h \setminus \{\boldsymbol{0}\}} \frac{ |\mathsf{a}(u_h,v_h)|}{\n{v_h}_X}.
\end{equation}
\end{remark}
\begin{remark}
$\langle X_h \rangle$-coercivity is a common property for BG methods in Hilbert spaces. For example, under suitable assumptions on the discretization scheme, operators with a G\aa rding inequality on $X$---of the form $\mathsf{A} = \mathsf{A}_0 +\mathsf{K}:X \to X'$ with $\mathsf{A}_0$ $\langle X \rangle$-coercive and $\mathsf{K}$ compact \cite[Section 2.1]{sauter2010boundary}--- admit a $h_0>0$ such that $\mathsf{A}$ is $\langle X_h \rangle$-coercive for all $0 < h \leq h_0$ \cite[Section 4.2.3]{sauter2010boundary}.
\end{remark}

Similarly to \Cref{def:discrete_coercivity_dual}, we introduce the discrete $(X_h)$-coercivity, the difference being the use of inner products.
\begin{definition}[$(X_h)$-coercivity]\label{def:H_coercivity}Consider $\mathsf{A}:X\to X$ for the PGE case with $X=: H$ being a Hilbert space. $\mathsf{A}$ is said to be $(X_h)$-coercive if, for any $u_h \in X_h \setminus \{\boldsymbol{0}\}$, there exists $\alpha_\mathsf{A} >0$ such that
\begin{equation}
\alpha_\mathsf{A}  \leq  \frac{ \left|(\mathsf{A} u_h ,u_h)_H\right| }{(u_h,u_h)_H},
\end{equation}
or equivalently
\begin{equation}\label{eq:HFOVcoercivity}
\alpha_\mathsf{A}  \leq  \inf_{u_h \in X_h \setminus \{\boldsymbol{0}\}} \frac{ \left|(\mathsf{A} u_h ,u_h)_H\right| }{(u_h,u_h)_H}= \mathcal{V}_H(\mathsf{A}_h).
\end{equation}
\end{definition}
\Cref{def:H_coercivity} via \eqref{eq:HFOVcoercivity} shows the strong connection between $(X_h)$-coercivity and discrete $\mathcal{V}_H$. Furthermore, under the OP setting, the discrete and matrix $H$-FoVs coincide.
\begin{lemma}\label{lemma:coicideFoV}Consider \textup{(\!(CA)\!)}~with $X=:H$ a Hilbert space with inner product $(\cdot,\cdot)_H$. There holds that
\begin{enumerate}
\item[(i)]  $\mathcal{F}_H(\mathsf{P}_h\mathsf{A}_h) = \mathcal{F}_H ({\bf P} {\bf A})$ and $\mathcal{F}_H((\mathsf{P}_h\mathsf{A}_h)^{-1}) = \mathcal{F}_H (({\bf P} {\bf A})^{-1})$;
\item[(ii)] $\mathcal{V}_H(\mathsf{P}_h\mathsf{A}_h) = \mathcal{V}_H ({\bf P} {\bf A})$ and $\mathcal{V}_H((\mathsf{P}_h\mathsf{A}_h)^{-1}) = \mathcal{V}_H (({\bf P} {\bf A})^{-1})$.
\end{enumerate}
\end{lemma}
\begin{proof}Following \eqref{eq:OPalgebra}, $q_h :=\mathsf{P}_h\mathsf{A}_h u_h \in X_h$ for any $u_h \in X_h$ has basis expansion ${\bf q} ={\bf P} {\bf A} {\bf u}$. Therefore, there holds by \eqref{eq:def_inner_product} that for any $u_h \in X_h$:
\begin{equation}
(\mathsf{P}_h \mathsf{A}_h u_h , u_h)_H = ({\bf P} {\bf A} {\bf u} , {\bf u})_H\quad \text{and} \quad (u_h,u_h)_H = ({\bf u}, {\bf u})_H,
\end{equation}
yielding $\mathcal{F}_H(\mathsf{P}_h\mathsf{A}_h)= \mathcal{F}_H({\bf P}{\bf A})$, and thus the expected result for $\mathsf{P}_h \mathsf{A}_h$. Similarly, one deduces the same result for the inverse operator since for any $q_h \in X_h$, $(\mathsf{P}_h\mathsf{A}_h)^{-1}q_h$ has basis expansion $({\bf P} {\bf A})^{-1} {\bf q}$.\end{proof}

\subsection{Linear convergence estimates for GMRES$(m)$ applied to \textup{(\!(CA)\!)}}\label{subsec:LinearCA}

Following \Cref{subsec:iterative}, application of the weighted (resp.~Euclidean) preconditioned GMRES$(m)$, for $1 \leq m \leq N$, to \textup{(\!(CA)\!)}$_{\mu,\nu}$ and initial guess ${\bf x}_0 \neq {\bf u}_\nu$, has the iterates ${\bf x}_k$ (resp.~$\tilde{{\bf x}}_k$) for any step $1\leq k \leq N$ with minimal residual properties:
\begin{equation}\label{eq:prec_residual}
\begin{split}
\n{{\bf P}_\mu {\bf r}_k}_H &: = \n{{\bf P}_\mu {\bf b}_\nu - {\bf P}_\mu {\bf A}_\nu {\bf x}_k }_H = \min_{{\bf x} \in \mathcal{K}^k  ({\bf P}_\mu {\bf A}_\nu , {\bf r}_0)} \n{{\bf P}_\mu {\bf b}_\nu - {\bf P}_\mu {\bf A}_\nu {\bf x}}_H, \\
\n{{\bf P}_\mu \tilde{{\bf r}}_k}_2 &: = \n{{\bf P}_\mu {\bf b}_\nu - {\bf P}_\mu {\bf A}_\nu \tilde{{\bf x}}_k }_2 = \min_{{\bf x} \in \mathcal{K}^k \left({\bf P}_\mu {\bf A}_\nu , {\bf r}_0\right)} \n{{\bf P}_\mu {\bf b}_\nu - {\bf P}_\mu {\bf A}_\nu {\bf x}}_2,
\end{split}
\end{equation}
with $\mathcal{K}^k$ introduced in \eqref{eq:Krylov} and obvious construction for \textup{(\!(CA)\!)}. By \eqref{eq:prec_residual}, the minimal residuals satisfy
\begin{equation}\label{eq:minimal}
\n{{\bf P}_\mu \tilde{{\bf r}}_k}_2 \leq \n{{\bf P}_\mu {\bf r}_k}_2\quad \text{and} \quad  \n{{\bf P}_\mu {\bf r}_k}_H \leq \n{{\bf P}_\mu \tilde{{\bf r}}_k}_H.
\end{equation}
We set convergence rates for the weighted (resp.~Euclidean) preconditioned GMRES$(m)$:
\begin{equation}\label{eq:ConvRates}
\Theta^{(m)}_k := \left(\frac{\n{{\bf P}_\mu {\bf r}_k}_H}{ \n{{\bf P}_\mu {\bf r}_0}_H}\right)^\frac{1}{k} \quad \text{and} \quad  \widetilde{\Theta}_k^{(m)} :=\left( \frac{\n{{\bf P}_\mu \tilde{{\bf r}}_k}_2}{ \n{{\bf P}_\mu {\bf r}_0}_2}\right)^\frac{1}{k}.
\end{equation}
Finally, we define convergence rates for non-restarted weighted (resp.~Euclidean) preconditioned GMRES $\Theta_k :=\Theta_k^{(N)}$ (resp.~$\widetilde{\Theta}_k:=\widetilde{\Theta}_k^{(N)}$).

The bounds in \Cref{thm:opprecond} and \Cref{thm:strang} are related to the spectral radius, and rely on the continuity and discrete inf-sup constants: they do not supply information on the eigenvalue or FoV distributions, as pointed out in \Cref{fig:numrange}, which are required to derive convergence results for iterative solvers to \textup{(\!(CA)\!)} or \textup{(\!(CA)\!)}$_{\mu,\nu}$. Thus, more specific conditions are required. For instance, for \textup{(\!(CA)\!)}~we enforce the following $(X_h)$-coercivity condition for $\mathsf{P}_h\mathsf{A}_h$.

\begin{assumption}[$(X_h)$-coercivity for \textup{(\!(CA)\!)}]\label{ass:FOV}For problem \textup{(\!(CA)\!)}~with $X:=H$ being a Hilbert space with inner product $(\cdot,\cdot)_H$, we assume that $\mathsf{P}_h\mathsf{A}_h$ and its inverse are $(X_h)$-coercive satisfying
\begin{equation} \label{eq:def_CAL}
\frac{\gamma_\mathsf{C} \gamma_\mathsf{A}}{\|\mathsf{m}\|\|\mathsf{n}\|}\leq \mathcal{V}_H(\mathsf{P}_h\mathsf{A}_h) \quad \text{and}  \quad \frac{\gamma_\mathsf{M} \gamma_\mathsf{N}}{\|\mathsf{c}\|\|\mathsf{a}\|}  \leq \mathcal{V}_H((\mathsf{P}_h \mathsf{A}_h)^{-1}).
\end{equation}
\end{assumption}
\begin{remark}\label{rmk:extensionXh}The $(X_h)$-coercivity constants in \Cref{ass:FOV} emerge naturally, as they are related to the BNB constants for both $\mathsf{P}_h\mathsf{A}_h$ and its inverse (cf.~proof of \Cref{thm:opprecond}). Alternatively, one can write \Cref{ass:FOV} as:
\begin{equation}
0 < \Gamma_0 \leq \mathcal{V}_H(\mathsf{P}_h \mathsf{A}_h) \quad \text{and}\quad 0<  \Gamma_1 \leq \mathcal{V}_H((\mathsf{P}_h\mathsf{A}_h)^{-1}),
\end{equation}
with $\Gamma_0, \Gamma_1$ constants depending on the discrete inf-sup and continuity constants for the induced operators and eventually for $(\cdot, \cdot)_H$ in \eqref{eq:def_inner_product}.
\end{remark}

We are ready to state the linear convergence result for GMRES$(m)$ for \textup{(\!(CA)\!)}~for the Hilbertian case.
\begin{theorem}[{GMRES$(m)$: Linear convergence estimates for \textup{(\!(CA)\!)}}]
\label{lemma_linear}
Consider \textup{(\!(CA)\!)}~with $X=:H$ Hilbert and $(\cdot,\cdot)_H$ such that \Cref{ass:FOV} holds. Then, GMRES($m$) for $1\leq k,m \leq N$ leads to
\begin{equation}
\label{eq:elmanCA}
\Theta_k^{(m)}  \leq  \left(1- \frac{1}{\operatorname{K}_\star}\right)^\frac{1}{2} \quad \textup{and} \quad \widetilde{\Theta}_k^{(m)} \leq  \operatorname{K}_{\Lambda_h}\left(1 - \frac{1 }{\operatorname{K}_\star}\right)^\frac{1}{2},
\end{equation}
with $\operatorname{K}_\star$ as defined in \eqref{eq:kS_star} and $\operatorname{K}_{\Lambda_h}$ in \eqref{eq:KL}.
\end{theorem}
\begin{proof}By combining \Cref{ass:FOV}, \Cref{lemma:coicideFoV} and definition of $\operatorname{K}_\star$, there holds that
\begin{equation}
\mathcal{V}_H ({\bf P}{\bf A}) \mathcal{V}_H(({\bf P}{\bf A})^{-1}) \geq \frac{1}{\operatorname{K}_\star}
\end{equation}
and thus
$$1 -\mathcal{V}_H ({\bf P}{\bf A}) \mathcal{V}_H(({\bf P}{\bf A})^{-1}) \leq 1 - \frac{1}{\operatorname{K}_\star}$$
Application of \Cref{lemma:Weighted_GMRES} to the preconditioned system with residuals \eqref{eq:prec_residual} provides the first bound in \eqref{eq:elmanCA}, namely
\begin{equation}\label{eq:proof_lemma_linear1}
\frac{\n{{\bf P} {\bf r}_k}_H}{\n{{\bf P} {\bf r}_0}_H} \leq \left(1 - \frac{1}{\operatorname{K}_\star}  \right)^\frac{k}{2}, \quad 1 \leq k \leq N.
\end{equation}
Next, we follow the steps in \cite[Section 4]{sarkis2007optimal} to arrive at the second bound in \eqref{eq:elmanCA}. First, the minimal residual property \eqref{eq:minimal} yields
\begin{equation}\label{eq:proof_lemma_linear2}
\n{{\bf P} \tilde{{\bf r}}_k}_2\leq \n{{\bf P} {\bf r}_k}_2.
\end{equation}
By virtue of the synthesis operator in \eqref{eq:synthesis}, one has
\begin{equation}\label{eq:proof_lemma_linear3}
\n{{\bf P} {\bf r}_k}_2 \leq  \frac{1}{\gamma_{\Lambda_h}} \n{{\bf P} {\bf r}_k}_H\quad \text{and} \quad \n{{\bf P} {\bf r}_0}_H \leq \|\Lambda_h\| \n{{\bf P} {\bf r}_0}_2.
\end{equation}
Therefore, \eqref{eq:proof_lemma_linear1} combined with \eqref{eq:proof_lemma_linear2} and \eqref{eq:proof_lemma_linear3} lead to the final result, as
\begin{align*}
\n{{\bf P} \tilde{{\bf r}}_k}_2\leq \n{{\bf P} {\bf r}_k}_2 \leq  \frac{1}{\gamma_{\Lambda_h}}\n{{\bf P} {\bf r}_k}_H\leq  \frac{1}{\gamma_{\Lambda_h}}\left(1- \frac{1}{\operatorname{K}_\star}\right)^\frac{k}{2} \n{{\bf P} {\bf r}_0}_H
\leq  \operatorname{K}_{\Lambda_h}\left(1- \frac{1}{\operatorname{K}_\star}\right)^\frac{k}{2} \n{{\bf P} {\bf r}_0}_2,
\end{align*}
as stated.
\end{proof}
\begin{remark}
This result provides extensive convergence bounds for GMRES$(m)$. It will guarantee $h$-independent convergence for weighted GMRES$(m)$ for \textup{(\!(CA)\!)}~in the Hilbert setting (cf.~\Cref{remark:Asymptotics}). Also, the synthesis operator enters as an offset factor in $\widetilde{\Theta}_k^{(m)}= \operatorname{K}_{\Lambda_h} \rho$ with $\rho:= (1- 1/ \operatorname{K}_\star)^{1/2} <1$. One should observe that $\widetilde{\Theta}_k^{(\text{m})}$ could be larger than 1 for $\operatorname{K}_{\Lambda_h} >1$, an impractical bound for Euclidean GMRES$(m)$. The latter supports theoretically the use of weighted GMRES$(m)$ as a solver \cite{feischl2017optimal}.
\end{remark}
To illustrate the application of the above results, we provide a case of interest where \Cref{ass:FOV} is satisfied. Therein, notice the extra $\mathsf{K}_\mathsf{A}$-term in \eqref{eq:lemma_precinduced} below, justifying \Cref{rmk:extensionXh}.
\begin{corollary}[Preconditioner-induced norm {\cite{feischl2017optimal,starke1997field,kirby2010functional}}]\label{case:case}Consider \textup{(\!(CA)\!)}~for OP-BG for Hilbert spaces $X=:H$ and $V$, $\mathsf{A}$ being $\langle X_h \rangle$-coercive, and $\mathsf{C}$ being $\langle V_h \rangle$-elliptic, with $\gamma_\mathsf{A} := \alpha_\mathsf{A}$ and $\gamma_\mathsf{C}:=\alpha_\mathsf{C}$. Then, $\mathsf{P}^{-1}$ is Hermitian and yields an inner product on $X_h$, denoted by $(\cdot,\cdot)_{P^{-1}}$, and
\begin{equation} \label{eq:lemma_precinduced}
 \frac{\gamma_\mathsf{C}\gamma_\mathsf{A} }{\|\mathsf{m}\|^2}  \leq  \mathcal{V}_{P^{-1}}(\mathsf{P}_h \mathsf{A}_h) \quad\text{and}\quad \frac{\gamma_\mathsf{M}^2}{\|\mathsf{c}\|\|\mathsf{a}\|}\operatorname{K}_\mathsf{A} \leq \mathcal{V}_{P^{-1}}((\mathsf{P}_h \mathsf{A}_h)^{-1}).
\end{equation}
\end{corollary}\begin{proof}First, notice that since $\mathsf{C}$ is $\langle V_h\rangle$-elliptic, ${\bf C}$ and ${\bf C}^{-1}$ are Hermitian positive definite. Therefore, we deduce that ${\bf P}= {\bf M}^{-1}{\bf C} {\bf M}^{-H} = {\bf P}^H$ and ${\bf P}^{-1} = {\bf P}^{-H}$ are Hermitian positive definite. For any ${\bf u},{\bf v}\in \mathbb{C}^N\setminus \{\boldsymbol{0}\}$ and ${\bf w} := {\bf P}^{-1}{\bf v}$, one has
$$
\mathcal{V}_{P^{-1}} ( \mathsf{P}_h \mathsf{A}_h) =  \inf_{{\bf u} \in \mathbb{C}^N \setminus \{\boldsymbol{0}\}}\frac{|({\bf P} {\bf A} {\bf u} , {\bf u} )_{P^{-1}}|}{({\bf u},{\bf u})_{P^{-1}}} =   \inf_{{\bf u} \in \mathbb{C}^N \setminus \{\boldsymbol{0}\}}\frac{| ({\bf A} {\bf u}, {\bf u})_2|}{|({\bf P}^{-1} {\bf u},{\bf u})_2|}
$$
and
$$
\quad\mathcal{V}_{P^{-1}} ( (\mathsf{P}_h \mathsf{A}_h)^{-1}) =   \inf_{{\bf v} \in \mathbb{C}^N \setminus \{\boldsymbol{0}\}}\frac{|({\bf A}^{-1}{\bf P}^{-1} {\bf v} , {\bf v} )_{P^{-1}}|}{({\bf v},{\bf v})_{P^{-1}}} =  \inf_{{\bf w} \in \mathbb{C}^N \setminus \{\boldsymbol{0}\}}\frac{| ({\bf A}^{-1} {\bf w}, {\bf w})_2|}{|({\bf P} {\bf w},{\bf w})_2|}.
$$
Next, using Equations 2.61 and 2.62 in Kirby \cite{kirby2010functional}, we deduce that:
\begin{equation}
\gamma_\mathsf{A} \|u_h\|_X^2 \leq |({\bf A} {\bf u},{\bf u})_2| \leq \|\mathsf{a}\|\|u_h\|_X^2\quad \text{and} \quad \frac{\gamma_\mathsf{A}}{\|\mathsf{a}\|} \|w_h\|_{X_{{h}}'}^2 \leq |({\bf A}^{-1} {\bf w},{\bf w})_2| \leq \|\mathsf{a}\|\|w_h\|_{X_{{h}}'}^2,
\end{equation}
while for the preconditioner ${\bf P}$ one has by \cite[Section 13.2]{steinbach2007numerical} that
\begin{equation}
\frac{\gamma_\mathsf{C}}{\|\mathsf{m}\|^2} \|w_h\|_{X_h'}^2 \leq |({\bf P} {\bf w},{\bf w})_2| \leq \frac{\|\mathsf{c}\|}{\gamma_\mathsf{M}^2}\|w_h\|_{X_{{h}}'}^2 \quad \text{and} \quad \frac{\gamma_\mathsf{M}^2}{\|\mathsf{c}\|} \|u_h\|_{X}^2 \leq |({\bf P}^{-1} {\bf u},{\bf u})_2| \leq \frac{\|\mathsf{m}\|^2}{\gamma_\mathsf{C} }\|u_h\|_{X}^2.
\end{equation}
Therefore,
\begin{equation}
\frac{\gamma_\mathsf{A} \gamma_\mathsf{C}}{\|\mathsf{m}\|^2} \leq \frac{| ({\bf A} {\bf u}, {\bf u})_2|}{|({\bf P}^{-1} {\bf u},{\bf u})_2|} \quad \text{and} \quad \frac{\gamma_\mathsf{A} \gamma_\mathsf{M}^2}{\|\mathsf{a}\|^2 \|\mathsf{c}\|}  \leq \frac{| ({\bf A}^{-1} {\bf w}, {\bf w})_2|}{|({\bf P} {\bf w},{\bf w})_2|},
\end{equation}
finalizing the proof.
\end{proof}
\begin{corollary}\label{colo:case}Consider \textup{(\!(CA)\!)}~for OP-BG for Hilbert spaces $X=:H$ and $V$, $\mathsf{A}$ being $\langle X_h \rangle$-coercive, and $\mathsf{C}$ being $\langle V_h \rangle$-elliptic. Then, GMRES$(m)$ for $1\leq k , m \leq N$ leads to
\begin{equation}
\Theta_k^{(m)} \leq \left(1 - \frac{1}{\operatorname{K}_\star \operatorname{K}_\mathsf{A}}\right)\quad \text{and} \quad \widetilde{\Theta}_k^{(m)} \leq  \operatorname{K}_{\Lambda_h}\left(1 - \frac{1 }{\operatorname{K}_\star \operatorname{K}_\mathsf{A}}\right)^\frac{1}{2},
\end{equation}
with $\operatorname{K}_\star$ as defined in \eqref{eq:kS_star}, $\operatorname{K}_{\Lambda_h}$ in \eqref{eq:KL} and $\operatorname{K}_\mathsf{A}$ in \eqref{eq:discrete_condition_number}.
\end{corollary}
\begin{remark}
The $\operatorname{K}_\mathsf{A}$-term in \Cref{case:case} and \Cref{colo:case} is removed if $\mathsf{A}$ is $\langle X_h \rangle$-elliptic, since $\mathsf{A}^{-1}$ is $\langle X_h'\rangle$-elliptic with constant $1/\|\mathsf{a}\|$ \cite[Section 13.2]{steinbach2007numerical}.
\end{remark}

\subsection{Linear convergence estimates for GMRES$(m)$ applied to \textup{(\!(CA)\!)}$_{\mu,\nu}$}

As in \Cref{subsec:LinearCA}, we give counterparts to \Cref{ass:FOV} and \Cref{lemma_linear} for the bi-parametric preconditioned problem \textup{(\!(CA)\!)}$_{\mu,\nu}$.
\begin{assumption}[$(X_h)$-coercivity for \textup{(\!(CA)\!)}$_{\mu,\nu}$]\label{ass:FOVmn}For \textup{(\!(CA)\!)}$_{\mu,\nu}$~with $X:=H$ being a Hilbert space with inner product $(\cdot,\cdot)_H$, assume that there holds that
\begin{equation} \label{eq:def_CALmn}
\frac{\gamma_{\mathsf{C}_\mu} \gamma_{\mathsf{A}_\nu}}{\|\mathsf{m}\|\|\mathsf{n}\|}\leq \mathcal{V}_H(\mathsf{P}_{h,\mu} \mathsf{A}_{h,\nu}) \quad \text{and}  \quad \frac{\gamma_\mathsf{M} \gamma_\mathsf{N}}{\|\mathsf{c}_\mu\|\|\mathsf{a}_\nu\|} \leq \mathcal{V}_H((\mathsf{P}_{h,\mu} \mathsf{A}_{h,\nu})^{-1}).
\end{equation}
\end{assumption}

\Cref{rmk:extensionXh} remains valid for \Cref{ass:FOVmn}. With this, we can extend \Cref{lemma_linear} to \textup{(\!(CA)\!)}$_{\mu,\nu}$.

\begin{theorem}[GMRES$(m)$: Linear convergence estimates for \textup{(\!(CA)\!)}$_{\mu,\nu}$]
\label{lemma_linear_strang}
Consider \textup{(\!(CA)\!)}$_{\mu,\nu}$~along with \Cref{ass:FOVmn}. Then, the residuals for GMRES($m$) for $1\leq k,m \leq N$ are bounded as
\begin{equation}
\label{eq:linear_CAmn}
\Theta_k^{(m)}  \leq  \left(1- \frac{1}{\operatorname{K}_{\star,\mu,\nu} } \right)^\frac{1}{2} \quad \textup{and} \quad \widetilde{\Theta}_k^{(m)} \leq  \operatorname{K}_{\Lambda_h} \left(1 - \frac{1 }{\operatorname{K}_{\star,\mu,\nu}}\right)^\frac{1}{2},
\end{equation}
with $\operatorname{K}_{\star,\mu,\nu}$ and $\operatorname{K}_{\Lambda_h}$ defined in \eqref{eq:kS_mu_nu} and \eqref{eq:KL}, respectively.
\end{theorem}
\begin{proof}The result follows by direct application of \Cref{lemma_linear} to \textup{(\!(CA)\!)}$_{\mu,\nu}$.
\end{proof}
\begin{remark}
The above result gives a controlled convergence rate for GMRES$(m)$ with respect to bi-parametric $(\mu,\nu)$-perturbations. As in the discussion ensuing \Cref{thm:strang} and in order to illustrate its practical implications, assume that the best approximation error in \Cref{lemma:strang} converges at a rate $\mathcal{O}(h^r)$, $r>0$, and $\nu = \mathcal{O}(h^r)$. Therefore, provided that $\mu=\mathcal{O}(1)$ guarantees a bounded $\operatorname{K}_{\star,\mu,\nu}$, the bounds in \eqref{eq:linear_CAmn} ensure linear convergence for the weighted GMRES$(m)$ (resp.~Euclidean GMRES$(m)$, for $\operatorname{K}_{\Lambda_h} < 1$).
\end{remark}

\subsection{Compact and Carleman class operators }\label{subsec:Carleman}

So far, we have focused on the linear convergence rates for GMRES($m$). Yet, it is know that in many situations the bound in \Cref{lemma:Weighted_GMRES} ``\emph{may significantly overestimate the GMRES residual norms}" \cite{liesen2012field}. To better understand this, we aim to improve bounds for the case of second-kind Fredholm operators, which are known to display super-linear convergence results for GMRES, i.e.~the radius of convergence tends to zero as $k\to \infty$. To this end, we introduce the concept of Carleman class operators.

Again, assuming $H$ to be a separable Hilbert space, we introduce $\mathcal{C}(H)\equiv \mathcal{C}(H;H)$ the space of compact operators on $H$. Given $\mathsf{T}\in \mathcal{L}(H;H)$, we denote the ordered singular values of $\mathsf{T}$ as $\sigma_j(\mathsf{T}) := \{\inf {\|\mathsf{T}-\mathsf{T}_i\|}_H : \mathsf{T}_i : H\to H , \ \textup{rank} \mathsf{T}_i < j\}$. For any $k\geq 1$, the $k$th partial arithmetic mean for the singular values reads
\begin{equation}\label{eq:partial_singular_values}
\overline{\sigma}_k (\mathsf{K}): = \frac{1}{k} \sum_{j=1}^k \sigma_j (\mathsf{K}).
\end{equation}
For $p>0$, a compact operator $\mathsf{K} \in\mathcal{C}(H)$ is said to belong to the \emph{Carleman class} $\mathcal{C}^p(H)$ \cite[Section XI.9]{dunford1963linear} if it holds that
\begin{equation}\label{eq:Carleman}
\iii{\mathsf{K}}_p = \|\sigma(\mathsf{K})\|_{p} := \left(\sum_{i=1}^\infty {\sigma_i(\mathsf{K})}^p \right)^{1/p}<\infty.
\end{equation}
Next, we identify $\mathcal{C}^0(H) \equiv \mathcal{C}(H)$ and for $p \geq 0$, we say that $\mathsf{Q}$ is a $p$\emph{-class Fredholm operator of the second-kind}, $\mathsf{Q} \in \mathcal{F}\mathcal{C}^p(H)$ if and only if $\mathsf{Q} - \mathsf{I} \in \mathcal{C}^p(H)$.
Consequently, for $H =: X$ a separable Hilbert space, $p\geq 0$ and $\nu, \mu\in [0,1)$, we define the following problems:
\begin{equation} \label{eq:Ap}
\textup{(\!(A)\!)}^p : \quad \textup{(\!(A)\!)}\quad \text{for PGE (i.e.~$\mathsf{A} : H\to H$) with } \mathsf{A} \in \mathcal{F}\mathcal{C}^p(H) \quad \text{and}\quad \mathsf{N}: = \mathsf{I},
\end{equation}
and
\begin{equation}\label{eq:CAmnp}
\textup{(\!(CA)\!)}_{\mu,\nu}^p : \quad \textup{(\!(CA)\!)}_{\mu,\nu}\quad \text{with}\quad  \mathsf{C}_\mu \mathsf{N}^{-1} \mathsf{A}_\nu \in \mathcal{F}\mathcal{C}^p(H),
\quad \text{and} \quad \mathsf{M}: = \mathsf{I},
\end{equation}
whose diagram representation is
$$
\textup{\textup{(\!(CA)\!)}}_{\mu,\nu}^p: \quad\begin{tikzcd}
H \arrow{r}{\mathsf{A}_\nu}  & Y' \arrow{d}{\mathsf{N}^{-1}} \\
H \arrow{u}{\mathsf{I}^{-1}} & V\arrow{l}{\mathsf{C}_\mu}
\end{tikzcd}.
$$
Finally, for \textup{(\!(A)\!)}$^p$ and \textup{(\!(CA)\!)}$^p_{\mu,\nu}$, the corresponding compact terms $\mathsf{K}:=\mathsf{A} -\mathsf{I} $ and $\mathsf{K}_{\mu,\nu}: = \mathsf{C}_\mu \mathsf{N}^{-1}\mathsf{A}_\nu - \mathsf{I}$) have discrete counterparts $\mathsf{K}_h := \mathsf{A}_h-\mathsf{I}_h$ and $\mathsf{K}_{h,\mu,\nu}:= \mathsf{C}_h \mathsf{N}_h^{-1}\mathsf{A}_h-\mathsf{I}_h$ with Galerkin matrices defined as
\begin{equation}\label{eq:Kmatrix}
{\bf K}:= {\bf A} - {\bf N} \quad \text{and}\quad {\bf K}_{\mu,\nu} := {\bf C}_\mu {\bf N}^{-1}{\bf A}_\nu-{\bf M},
\end{equation}
respectively. In the sequel, we introduce ordered (matrix) singular values with respect to the $H$-norm \cite[Proposition 4.2]{axelssonsuperlinear}:
\begin{equation}
\sigma_j^H({\bf Q}) := \lambda_j ({\bf Q}^\star {\bf Q})^{1/2} = \sigma_j( {\bf H}^{1/2} {\bf Q} {\bf H}^{-1/2}),
\end{equation}
for any ${\bf Q} \in \mathbb{C}^{N\times N}$ and ${\bf Q}^\star= {\bf H}^{-1} {\bf Q}^H {\bf H}$ its $H$-adjoint.
\subsection{Super-linear convergence estimates for GMRES applied to \textup{(\!(A)\!)}$^p$}\label{subsec:second-kind}
We recall the classic super-linear convergence result for weighted GMRES on a (continuous) Hilbert setting level (cf.~\cite{moret1997note} and \cite[Theorem 3.1]{axelssonsuperlinear}).

\begin{proposition}[Weighted GMRES: Classic super-linear convergence estimate {\cite[Theorem 3.1]{axelssonsuperlinear}}]\label{prop:classic_superlinear}Let $H$ be a Hilbert space. Set $p \geq 0$ and consider the application of weighted GMRES on $\mathsf{Q} x = {f}$, for a bounded and invertible operator $\mathsf{Q} \in \mathcal{F} \mathcal{C}^p (H)$ with $f \in H$. Introduce GMRES iterates $x_0 \neq x$, and $x_k$, along with $r_k : = \mathsf{Q} x_k - f$, for any $k \geq 1$. Then, the residuals satisfy
$$
\left(\frac{\n{r_k}_{H}}{\n{r_0}_{H}}\right)^\frac{1}{k} \leq\n{\mathsf{Q}^{-1}}_{H} \overline{\sigma}_k(\mathsf{K}),
$$
wherein $\mathsf{K} := \mathsf{Q} - \mathsf{I}\in \mathcal{C}^p(H)$ and $\overline{\sigma}_k(\mathsf{K})$ defined in \eqref{eq:sigmamean}.
\end{proposition}
Remark that $\overline{\sigma}_k(\mathsf{K})\to 0$ as $k\to \infty$ evidencing the super-linear convergence rate for residuals of weighted GMRES in this particular case. Furthermore, the convergence rate depends directly on the singular values of the continuous operator $\mathsf{K}$. The following result shows that the above is applicable to \textup{(\!(A)\!)}$^p$ as well.
\begin{theorem}[GMRES: Super-linear convergence estimates for \textup{(\!(A)\!)}$^p$]
\label{thm:superlinear_sf}
Consider the PGE problem \textup{(\!(A)\!)}$^{p}$ in \eqref{eq:Ap} for any $p \geq0$. Then, for $1 \leq k \leq N$, it holds that
\begin{equation}\label{eq:sigmamean}
\left(\frac{\n{{\bf r}_k}_H}{\n{{\bf r}_0}_H}\right)^\frac{1}{k} \leq \frac{ \overline{\sigma}_k(\mathsf{K})}{\gamma_\mathsf{A} \gamma_\mathsf{N}} \quad \left({\leq \frac{\iii{\mathsf{K}}_p}{\gamma_\mathsf{A} \gamma_\mathsf{N}}  k^{-\frac{1}{p}}}\quad \text{if}\quad p > 0 \right),
\end{equation}
and
\begin{equation}\label{eq:sigmameanEucl}
\left(\frac{\n{\tilde{{\bf r}}_k}_2}{\n{{\bf r}_0}_2}\right)^\frac{1}{k} \leq \operatorname{K}_{\Lambda_h}  \frac{\overline{\sigma}_k(\mathsf{K})}{\gamma_\mathsf{A} \gamma_\mathsf{N}} \quad \left({\leq \operatorname{K}_{\Lambda_h}\frac{\iii{\mathsf{K}}_p}{\gamma_\mathsf{A} \gamma_\mathsf{N}}}  k^{-\frac{1}{p}}\quad \text{if}\quad p > 0\right),
\end{equation}
wherein $\mathsf{K}:=\mathsf{A}-\mathsf{I} \in \mathcal{C}^p(H)$ and $\overline{\sigma}_k(\mathsf{K})$ in \eqref{eq:sigmamean}.
\end{theorem}
\begin{proof}
By hypothesis, we have that ${\bf N}^{-1} {\bf A} = {\bf I} + {\bf N}^{-1} {\bf K}$, with ${\bf K}$ such as in \eqref{eq:Kmatrix}. Following the same steps as in Axelsson \cite{axelssonsuperlinear}, we deduce that the following relations hold (cf.~proofs of \Cref{thm:opprecond} and \Cref{lemma:coicideFoV}):
$$
\n{({\bf N}^{-1}{\bf A})^{-1}}_H \leq \frac{\|\mathsf{n}\|}{\gamma_\mathsf{A}}\ = \frac{1}{\gamma_\mathsf{A}},
$$
since $\mathsf{N} = \mathsf{I}$. Furthermore, it holds that the singular values \cite[Proposition 4.2]{axelssonsuperlinear}
$$\label{eq:ineq_sing}
\sigma_j^{{H}}({\bf N}^{-1} {\bf K}) \leq \frac{1}{\gamma_\mathsf{N}} \sigma_j(\mathsf{K}_h) \leq \frac{1}{\gamma_\mathsf{N}} \sigma_j(\mathsf{K}).
$$
Therefore, for $1\leq k \leq N$, following \cite{axelssonsuperlinear} and using \Cref{prop:classic_superlinear}, we can show that
\begin{align*}
\frac{ \n{{\bf r}_k}_H}{\n{{\bf r}_0}_H} &\leq \frac{\n{({\bf N}^{-1}{\bf A})^{-1}}_H}{k} \sum_{j=1}^k \sigma_j^{{H}}({\bf N}^{-1}{\bf K})\leq \frac{1}{\gamma_\mathsf{A}} \sum_{j=1}^k \frac{\sigma_j^{{H}}({\bf N}^{-1}{\bf K})}{k} \leq\frac{1}{\gamma_\mathsf{A}\gamma_\mathsf{N}} \sum_{j=1}^k \frac{\sigma_j(\mathsf{K})}{k}.
\end{align*}
Now, if $\mathsf{K} \in \mathcal{C}^p(H)$ for any $p>0$, we follow \cite[Theorem 2.2]{winther1980some} and derive
\begin{align*}
\sum_{j=1}^k\frac{\sigma_j(\mathsf{K})}{k}\leq \iii{\mathsf{K}}_p k^{-\frac{1}{p}},
\end{align*}
providing the final estimate in energy norm.

Finally, the bounds in Euclidean norm are deduced in the same fashion as in \Cref{lemma_linear}.
\end{proof}
\begin{remark}
This result appears to be new and it justifies the positive results of employing mass matrix preconditioning, i.e.~$\mathsf{N} := \mathsf{I}$, to transfer the super-linear convergence bounds from the continuous to the discrete level. Indeed, the choice of $\mathsf{N}= \mathsf{I}$ guarantees a discrete system ${\bf N}^{-1} {\bf A} = {\bf I} + {\bf N}^{-1} {\bf K}$ of the form ${\bf I}$ plus discretization of a compact operator. The latter enables the application of the classical super-linear results for GMRES given in \Cref{prop:classic_superlinear}. Notice that the bounds in \eqref{eq:sigmamean} and \eqref{eq:sigmameanEucl} depend on $k$ via $\overline{\sigma}_k(\mathsf{K})$: they are not one-step bounds, and do not generalize to GMRES$(m)$, as the relative error at iteration $k$ for $2\leq k \leq N$ depends on previous iterations.
\end{remark}

\begin{remark}
The super-linear convergence rate depends on the decay rate of $\overline{\sigma}_k(\mathsf{K})$. For example, for trace class operators ($p=1$), it holds that $\n{{\bf r}_k}_H / \n{{\bf r}_0}_H = \mathcal{O}(k^{-1})$ while for Hilbert-Schmidt operators ($p=2$), one observes the faster rate $\n{{\bf r}_k}_H / \n{{\bf r}_0}_H = \mathcal{O}(k^{-2})$ \cite[Chapter XI]{dunford1963linear}. Results describing the Carleman class index for pseudo-differential operators (resp.~the Laplace double-layer operator) can be found in \cite{SOBOLEV20145886} (resp.~\cite{bessoud2006q,miyanishi2015}) and will be investigated elsewhere.
\end{remark}

\subsection{Super-linear convergence estimates for GMRES applied to \textup{(\!(CA)\!)}$_{\mu,\nu}^p$}

We next show that the reasoning in \Cref{thm:superlinear_sf} can also be applied to \textup{(\!(CA)\!)}$^p_{\mu,\nu}$.
\begin{theorem}[GMRES: Super-linear convergence estimates for \textup{(\!(CA)\!)}$_{\mu,\nu}^p$]\label{thm:superMN}
Consider {\textup{(\!(CA)\!)}$^p_{\mu,\nu}$ in \eqref{eq:CAmnp} for any $p\geq 0$} and define $\mathsf{K}_{\mu,\nu}:=\mathsf{C}_\mu \mathsf{N}^{-1} \mathsf{A}_\nu -\mathsf{I} \in \mathcal{C}^p(H)$. Then, for weighted and Euclidean GMRES, respectively, it holds that
\begin{equation}\label{eq:Extended_Theta0}
\begin{split}
\Theta_k &\leq \frac{\|\mathsf{n}\|}{ \gamma_\mathsf{C} \gamma_\mathsf{A}\gamma_\mathsf{M}}\frac{ \overline{\sigma}_k(\mathsf{K}_{\mu,\nu})}{(1-\mu)(1-\nu)} \quad\left(
  \leq \frac{\|\mathsf{n}\| }{ \gamma_\mathsf{C} \gamma_\mathsf{A}\gamma_\mathsf{M}}\frac{\iii{\mathsf{K}_{\mu,\nu}}_p}{(1-\mu)(1-\nu)} k^{-\frac{1}{p}}\quad \text{if} \quad p>0\right),
\end{split}
\end{equation}
and
\begin{equation}\label{eq:Extended_Thetap}
\begin{split}
\widetilde{\Theta}_k&\leq \operatorname{K}_{\Lambda_h} \frac{\|\mathsf{n}\|}{ \gamma_\mathsf{C} \gamma_\mathsf{A}\gamma_\mathsf{M}}\frac{\overline{\sigma}_k(\mathsf{K}_{\mu,\nu})}{(1-\mu)(1-\nu)}\quad
\left(\leq \operatorname{K}_{\Lambda_h} \frac{\|\mathsf{n}\|}{ \gamma_\mathsf{C} \gamma_\mathsf{A}\gamma_\mathsf{M}}\frac{\iii{\mathsf{K}_{\mu,\nu}}_p}{(1-\mu)(1-\nu)} k^{-\frac{1}{p}}\quad \text{if} \quad p>0\right),
\end{split}
\end{equation}
with ${\Theta}_k$ and $\widetilde{\Theta}_k$ defined in \eqref{eq:ConvRates} and $\overline{\sigma}_k(\cdot)$ in \eqref{eq:sigmamean}.
\end{theorem}
\begin{proof}
Consider \textup{(\!(CA)\!)}$^p_{\mu,\nu}$ and follow the proof of \Cref{thm:superlinear_sf}. First, we use \Cref{prop:perturbed} to deduce that
$$
\n{({\bf P}_\mu {\bf A}_\nu)^{-1}}_H ={ \n{{\bf A}^{-1}_\nu {\bf N} {\bf C}^{-1}_\mu {\bf M}}_H} \leq \frac{\|\mathsf{n}\|}{\gamma_\mathsf{A} \gamma_\mathsf{C}}\frac{1}{(1-\mu)(1-\nu)}.
$$
Next, for $1\leq j\leq N$, one has
$$
 \sigma_j^{{H}} ({\bf M}^{-1}{\bf C}_\mu {\bf N}^{-1}{\bf A}_\nu - {\bf I})  = {\sigma_j^{{H}} ({\bf M}^{-1} {\bf K}_{\mu,\nu}) }\leq  \frac{1}{\gamma_\mathsf{M}}\sigma_j(\mathsf{K}_{\mu,\nu}),
 $$
with ${\bf K}_{\mu,\nu} = {\bf C}_\mu {\bf N}^{-1} {\bf A} - {\bf M}$ as in \eqref{eq:Kmatrix}. Therefore, we obtain
\begin{align*}
\Theta_k &\leq \frac{\n{({\bf P}_\mu{\bf A}_\nu)^{-1}}_H}{k} \sum_{j=1}^k \sigma_j^{{H}}({\bf M}^{-1} {\bf K}_{\mu,\nu}) \leq \frac{\|\mathsf{n}\|}{\gamma_\mathsf{C}\gamma_\mathsf{A} \gamma_\mathsf{M}} \frac{ \overline{\sigma}_k (\mathsf{K}_{\mu,\nu})}{(1-\mu)(1-\nu)}.
\end{align*}
The second bound in \eqref{eq:Extended_Theta0} and \eqref{eq:Extended_Thetap} follows by the same arguments as in the proof of \Cref{thm:superlinear_sf}.
\end{proof}

\Cref{thm:superMN} describes precisely the residual convergence behavior of GMRES for \textup{(\!(CA)\!)}$^p_{\mu,\nu}$ for $p\geq0$. In particular, \eqref{eq:Extended_Thetap} shows that the Euclidean GMRES converges super-linearly, up to a $\operatorname{K}_{\Lambda_h}$-term as observed experimentally for the electric field integral equation on screens in \cite{hiptmair2020preconditioning}.
\begin{corollary}[$h$-Asymptotics]\label{remark:Asymptotics} Consider \textup{(\!(CA)\!)}$_{\mu,\nu}$ in \eqref{eq:linear_CAmn}, for $\mu \to 0$ and $\nu\to 0$ as $h\to0$. Additionally, let us suppose that (i) the finite dimensional subspaces are dense in their function space, satisfying the approximability property \cite[Definition 2.14]{ern2004theory}; and, (ii) the forms in \textup{(\!(CA)\!)}~have a uniform discrete inf-sup condition with respect to $h$. Then, for vanishing $h$, the following statements hold:
\begin{enumerate}
\item[(i)] $\|u-u_h\|_X\to 0$ in \Cref{lemma:strang};
\item[(ii)] $\operatorname{K}_\star$ in \Cref{thm:opprecond}, and subsequently $\operatorname{K}_{\star,\mu,\nu}$ \Cref{thm:strang} remain bounded ($h$-independence);
\item[(iii)] Under \Cref{ass:FOVmn}, the residual $\Theta_k^{(m)}$ in \eqref{eq:linear_CAmn} remains bounded ($h$-independent linear convergence);
\item[(iv)] For \textup{(\!(CA)\!)}$^p_{\mu,\nu}$ in \eqref{eq:CAmnp}, $p\geq0$, the residual $\Theta_k \to 0$ as $k\to \infty$ in \Cref{thm:superMN} ($h$-independent super-linear convergence).
\end{enumerate}
\end{corollary}
\begin{remark}

\Cref{thm:superMN} requires the operator $\mathsf{K}_{\mu,\nu}$ to be compact so as to ensure application of \Cref{prop:classic_superlinear}. Recent results by Bletcha \cite{blechta2021stability} allow to consider a more general \Cref{prop:classic_superlinear} with $\mathsf{A} : H\to H$ of the form $\mathsf{A} = \mathsf{Q} +\mathsf{K}$, with $\mathsf{Q}$ a bounded invertible operator and $\mathsf{K}$ compact. The latter could allow to relax the compactness for $\mathsf{K}_{\mu,\nu}$ and to analyze \textup{(\!(CA)\!)}$_{\mu,\nu}$ as a general bounded perturbation of \textup{(\!(CA)\!)}$^p$. This will be investigated elsewhere.
\end{remark}

\subsection{Elliptic Case}
We give further insight on the bi-parametric operator preconditioning framework by considering the elliptic case for OP-BG for $X=:H$ and $V$ being Hilbert spaces. To this end, we assume that $\mathsf{A}$ is $\langle X\rangle$-elliptic and $\mathsf{C}$ is $\langle V\rangle $-elliptic. Therefore, we have the {ellipticity conditions}
$$
\mathsf{a} ( u,u) \geq \alpha_\mathsf{A} \n{u}^2_X\quad \text{and} \quad \mathsf{c} ( v, v) \geq \alpha_\mathsf{C} \n{v}^2_{V},
$$
for all $u \in X$ and all $v \in V$. Notice that continuous ellipticity implies a discrete inf-sup condition for conforming discretization spaces, with $\gamma_\mathsf{A} = \alpha_\mathsf{A}$ and $\gamma_\mathsf{C} = \alpha_\mathsf{C}$, respectively, and allows to apply our previous analysis---without requiring \Cref{ass:FOV}.

For $p\geq0$, problem \textup{(\!(CA)\!)}$^p$ leads to $\mathsf{C} \mathsf{N}^{-1} \mathsf{A} = \mathsf{I} + \mathsf{K}$ with $\mathsf{K}$ compact and self-adjoint. Thus, we introduce the ordered eigenvalues $|\lambda_{i+1}(\mathsf{K})|\leq |\lambda_i(\mathsf{K})|$ for $i \geq 1$. By \cite[Section 2]{winther1980some}, $|\lambda_i(\mathsf{K})|= \sigma_i(\mathsf{K})$ and the Carleman class in \eqref{eq:Carleman} simplifies to the Neumann-Schatten class
\begin{equation}
\iii{\mathsf{K}}_p := \left( \sum_{i=1}^\infty |\lambda_i(\mathsf{K}) |\right)^{1/p}<\infty.
\end{equation}
As ellipticity allows for more refined bounds, one can examine the use of preconditioned CG solvers \cite[Section 13.1]{steinbach2007numerical}.
\begin{corollary}[Elliptic Case]\label{thm:strang_elliptic}
Consider \textup{(\!(CA)\!)}$_{\mu,\nu}$ with $\mathsf{c}_\mu \in \Phi_{h,\mu}(\mathsf{c})$, $\mathsf{a}_\nu \in \Phi_{h,\nu}(\mathsf{a})$, such that $\mathsf{A}_\nu$ is $\langle X\rangle$-elliptic and $\mathsf{C}_\mu$ is $\langle V \rangle$-elliptic.Then, the continuous and perturbed problems have a unique solution, $u$ and $u_{h,\nu}$, respectively, with the following error bound
\begin{align*}
\n{u - u_{h,\nu}}_X& \leq \inf_{w_h\in X_h} \left(\frac{{\operatorname{K}_\mathsf{A}}}{1-\nu} \|u - w_h\|_X +\frac{\nu}{1-\nu} \n{w_h}_X\right)
+ \frac{\nu}{\gamma_{\mathsf{A}}(1-\nu)}\n{b_{{h}}}_{Y_h'}\\
&{\leq  \left(\frac{{\operatorname{K}_\mathsf{A}^{2}}}{1-\nu}\right)\inf_{w_h\in X_h} \n{u - w_h}_X + \frac{2\nu}{\gamma_{\mathsf{A}}(1-\nu)}\n{b_{{h}}}_{Y_h'}.}
\end{align*}
with {$\operatorname{K}_\mathsf{A}$} defined in \eqref{eq:discrete_condition_number}. Furthermore, it holds that
\begin{equation}
\kappa_S ({\bf P}_\mu {\bf A}_\nu) = \kappa_2 ({\bf P}_\mu {\bf A}_\nu) \leq \operatorname{K}_{\star,\mu,\nu},
\end{equation}
with $\operatorname{K}_{\star,\mu,\nu}$ in \eqref{eq:k_mu_nu}. Therefore, for ${\bf x}_0 \neq {\bf u}_\nu$ and $1\leq k \leq N$, the $k$-th iterate ${\bf x}_k$ of CG with an error $\mathbf{e}_k:= {\bf x}_k - {\bf u}_\nu$ is bounded in the $A_\nu$-norm as
\begin{equation}\label{eq:cg_bound_linear}
 \Theta_k^\textup{CG}  := \left(\frac{\n{\mathbf{e}_k}_{A_\nu}}{\n{\mathbf{e}_0}_{A_\nu}}\right)^{\frac{1}{k}} \leq 2^\frac{1}{k} \left( 1 - \frac{2}{\sqrt{\operatorname{K}_{\star,\mu,\nu}} +1 }\right).
\end{equation}
Finally, consider \textup{(\!(CA)\!)}$_{\mu,\nu}^p$ for $p\geq 0$. It holds that
\begin{equation}
\begin{split}
\Theta_k^\textup{CG} &\leq \frac{2\|\mathsf{n}\|}{\gamma_\mathsf{C} \gamma_\mathsf{A}\gamma_\mathsf{M}}\frac{1}{(1-\mu)(1-\nu)}\cdot  \frac{1}{k} \sum_{j=1}^k |\lambda_j(\mathsf{K}_{\mu,\nu})|
\end{split}
\end{equation}
and, if $p>0$, one retrieves
\begin{equation}
\begin{split}
\Theta_k^\textup{CG} \leq \frac{2\|\mathsf{n}\|}{\gamma_\mathsf{C} \gamma_\mathsf{A} \gamma_\mathsf{M}} \frac{\iii{\mathsf{K}_{\mu,\nu}}_p}{(1-\mu)(1-\nu)}k^{-\frac{1}{p}} .
\end{split}
\end{equation}

\end{corollary}
\begin{proof}By the ellipticity hypothesis on the sesqui-linear form $\mathsf{a}$, \Cref{lemmaCea} is replaced by the Lax-Milgram lemma \cite[Section 2.1.2]{ern2004theory}, providing the sharper quasi-optimality constant ${\operatorname{K}_\mathsf{A}}$. Since the resulting system is Hermitian positive definite, the spectral and Euclidean condition numbers coincide. Next, we set $\varkappa:= \kappa_S({\bf P}_\mu{\bf A}_\nu)$ and introduce the linear bound for the preconditioned CG with respect to the condition number \cite[Theorem 1.8]{kurics2010operator}:
\begin{equation}
\Theta_k^\textup{CG} \leq 2^\frac{1}{k} \left(\frac{ \sqrt{\varkappa} -1 }{\sqrt{\varkappa} +1}\right).
\end{equation}
Observe that
$$
\left(\frac{ \sqrt{\varkappa} -1 }{\sqrt{\varkappa} +1}\right) =\left( 1 - \frac{2}{\sqrt{\varkappa}+1}\right)\leq \left( 1 - \frac{2}{\sqrt{\operatorname{K}_{\star,\mu,\nu}}+1}\right),
$$
leading to \eqref{eq:cg_bound_linear}. Since, \textup{(\!(CA)\!)}$^p_{\mu,\nu}$ entails a self-adjoint compact perturbation $\mathsf{K}_{\mu,\nu}:= \mathsf{C}_\mu \mathsf{N}^{-1}\mathsf{A}_\nu - \mathsf{I}$, one has an ordered eigenvalue decomposition, and the application of super-linear result for CG \cite[Theorem 1.9]{kurics2010operator}:
$$
\Theta_k^\textup{CG} \leq 2 \n{({\bf P}_\mu {\bf A}_\nu)^{-1}}_H \left(\frac{1}{k}\sum_{j=1}^k |\lambda_j ({\bf M}^{-1}{\bf K}_{\mu,\nu})|\right).
$$
Finally, one can show that (cf.~proof of \Cref{thm:superMN}):
$$
\n{{\bf A}_\nu^{-1} {\bf P}_\mu^{-1}}_H \leq\frac{\|\mathsf{n}\|}{\gamma_\mathsf{C} \gamma_\mathsf{A}}\frac{1}{(1-\mu)(1-\nu)} \quad \text{and} \quad |\lambda_j ({\bf M}^{-1} {\bf K}_{\mu,\nu})| \leq \frac{1}{\gamma_\mathsf{M}} |\lambda_j (\mathsf{K}_{\mu,\nu})|,$$
proving the final result.
\end{proof}
\section{Conclusion}\label{sec:concl}
For general Petrov-Galerkin methods, we considered their operator preconditioning and introduced the novel bi-parametric framework. Several results were derived including bounds in Euclidean norm for the convergence of iterative solvers when preconditioning, with GMRES as a reference. These results pave the way toward new paradigms for preconditioning, as they allow to craft robust preconditioners, better understand the efficiency of existing ones and relate them to experimental results. We see direct applications in a variety of research areas including wave propagation problems \cite{gander2015applying}, singular perturbation theory \cite[Section 3]{axelsson2009equivalent}, fast numerical methods \cite{bebendorf2008hierarchical,bebendorf2009recompression} and iterative solvers \cite{saad1986gmres}.

Future work avenues we foresee are: further analysis of second-kind Fredholm integral equations, with applications to acoustics and electromagnetics; deep learning of preconditioners for GMRES, and wavenumber asymptotic analysis for preconditioners. Also, we mention two promising research areas: (i) extension of \textup{(\!(CA)\!)}$_{\mu,\nu}^p$ to bounded perturbations of \textup{(\!(CA)\!)}$^p$ via \cite{blechta2021stability}; and (ii) characterization of Carleman class for compact operators using elliptic regularity theorems \cite{bessoud2006q}.

\section*{Acknowledgements}
The authors thank the support of Fondecyt Regular 1171491.\\

\section{Introduction}\label{sec:Introduction}
Variational equations---\emph{continuous weak forms} \cite[Section 3.1]{betcke2020product}---in suitably defined reflexive Banach spaces $X$, $Y$, or equivalently \cite[Proposition A.21]{ern2004theory} as operator equations---\emph{continuous strong forms} \cite[Section 3.1]{betcke2020product}---have successfully been employed to model a plethora of phenomena, particularly in the form of integro-differential equations. In general, one can only approximate solutions by solving linear systems or \emph{matrix equations} arising from the continuous infinite-dimensional counterparts. Galerkin methods are a widely accepted choice to derive such linear systems due to their solid theoretical and practical understanding. Specifically, \emph{Petrov-Galerkin (PG) methods} provide a generic framework for operator equations with operators of the form $\mathsf{A}:X\to Y'$, allowing to choose different trial and test spaces. Within PG methods, one finds \emph{Bubnov-Galerkin (BG) methods}, namely, the case when $\mathsf{A}:X\to X'$ as well as PG for endomorphisms (PGE), i.e.,~$\mathsf{A}:X\to X$, as in second-kind Fredholm integral equations, wherein $\mathsf{A}$  is a compact perturbation of the identity in $X$.

Most relevant applications lead to large linear systems solved by iterative methods \cite{saad2003iterative} such as Krylov (subspace) methods \cite[Chapters 6 and 7]{saad1986gmres} as direct inversion quickly becomes computationally impractical. For real symmetric (resp.~complex Hermitian) positive definite matrices, the standard choice is the conjugate gradient method (CG) \cite{hestenes1952methods}, whereas the general minimal residual method (GMRES) and its $m$-restarted variant GMRES$(m)$ \cite{saad1986gmres} are common alternatives for nonsingular indefinite complex matrices. For these methods, convergence of the residual strongly depends on matrix properties inherited from the continuous (resp.~discrete) operator. Features such as the field-of-values (FoV) or singular values distributions are key to obtain residual convergence bounds \cite{sarkis2007optimal,beckermann2005some,steinbach2007numerical,nevanlinna2012convergence}. Yet, convergence for these methods can be slow, with performance commonly deteriorating as the linear system dimension increases. Thus, the need for robust preconditioning techniques.

For a linear system ${\bf A} {\bf u} = {\bf b}$, in our case spawned by any PG method, preconditioning consists in the application of a (left) preconditioner ${\bf P}$ such that
$$
{\bf P} {\bf A} {\bf u} = {\bf P} {\bf b}.
$$
We say that the preconditioner ${\bf P}$ is good if: (i) it is relatively cheap to compute; and (ii) the product ${\bf P} {\bf A}$ approximates the identity matrix or iterative solvers perform better than on the original linear system. In this note, we focus on the framework of operator preconditioning (OP). Successfully applied to BG methods \cite{hiptmair2006operator,christiansen2000preconditionneurs}---denoted OP-BG---, we aim at extending OP to general PG methods (OP-PG) as well as understanding the effects of numerical perturbations in iterative solvers.

Fundamentally, OP relies on finding suitable endomorphic operator equations, i.e.~mappings onto the same function spaces, leading to bounded \emph{spectral condition numbers}. In the BG setting, one has reflexive Banach spaces $X$, $V$ and an operator $\mathsf{A}:X\to X'$, for which one considers another operator $\mathsf{C}:V\to V'$, such that
\begin{equation}\label{eq:OP_BG}
\text{(OP-BG)}\quad\begin{tikzcd}
X \arrow{r}{\mathsf{A} }  & X' \arrow{d}{\mathsf{M}^{-*}} \\
V' \arrow{u}{\mathsf{M}^{-1}} & V\arrow{l}{\mathsf{C}}
\end{tikzcd},
\end{equation}
with $\mathsf{M}: X \to V'$ linking the domain of $\mathsf{A}$ and the range of $\mathsf{C}$. The preconditioning operator is then $\mathsf{P}:= \mathsf{M}^{-1}\mathsf{C}\mathsf{M}^{-*}$. Similarly, opposite-order OP has been considered for PG methods \cite{andreev2012stability}, particularly in the context of pseudo-differential operators \cite{steinbach1998construction,mclean1999boundary,hsiao2008boundary}, i.e.~for $\mathsf{A} : X \to Y'$ and $\mathsf{C}: Y'\to X$, with\footnote{Recently, \cite{stevenson2019uniform} proposed a construction with $\mathsf{M}$, $\mathsf{N} \neq \mathsf{I}$, whose discretization leads to ${\bf M}$ and ${\bf N}$ being diagonal matrices.} $\mathsf{M}=\mathsf{N}=:\mathsf{I}$, leading to
\begin{equation}\label{eq:OP_OO}
\text{(opposite-order OP)}\quad\begin{tikzcd}[every arrow/.append style={shift left}]
X \arrow{r}{\mathsf{A} }  & Y' \arrow{l}{\mathsf{C}}
\end{tikzcd}.
\end{equation}
However, there is no known result for general OP-PG, which would encompass both OP-BG and opposite-order PG. This entails considering the following more general framework. For reflexive Banach spaces $X,$ $Y$, $V$ and $W$, and a preconditioner $\mathsf{C}: V \to W'$ to $\mathsf{A}: X \to Y'$, we need to build the commuting diagram:
\begin{equation}\label{eq:OP_PG}
\text{(OP-PG)}\quad\begin{tikzcd}
X \arrow{r}{\mathsf{A} }  & Y' \arrow{d}{\mathsf{N}^{-1}} \\
W' \arrow{u}{\mathsf{M}^{-1}} & V\arrow{l}{\mathsf{C}}
\end{tikzcd},
\end{equation}
with $\mathsf{M}: X \to W'$ and $\mathsf{N}: V \to Y'$ linking the domain and range spaces for $\mathsf{A}$ and $\mathsf{C}$, and leading to an endomorphism on $X$. Notice that in this case $\mathsf{P}:= \mathsf{M}^{-1}\mathsf{C}\mathsf{N}^{-1}$ and that \eqref{eq:OP_PG} reduces to \eqref{eq:OP_BG} if $W=V$, $Y=X$ and $\mathsf{N} = \mathsf{M}^*$. In this regard, our main contribution is a theory for OP-PG for which we provide estimates for spectral and Euclidean condition numbers. For the latter, we make use of the synthesis operator linking the domain space and its basis expansion, thereby acknowledging the dimension dependence.

Yet, and despite leading to bounded spectral condition numbers, OP does not necessarily ensure convergence for iterative solvers such as GMRES or GMRES$(m)$. Theoretically, one requires further assumptions on the induced problems, related primarily to the matrix FoV distribution \cite{starke1997field,liesen2012field}, to obtain linear convergence results for GMRES. Still, these bounds are pessimistic \cite{liesen2012field,kirby2010functional}, with convergence radius for GMRES close to one. This justifies the derivation of sharper convergence results at the expense of tighter assumptions on the operators. For instance, one can observe a super-linear convergence of the iterative scheme for systems derived from second-kind Fredholm operator equations. \cite{moret1997note,winther1980some,campbell1996gmres,axelsson2018superlinear}.

Furthermore, though OP general properties are retained as the linear system dimension increases, it can quickly become impractical. A well-known example is the dual mesh-based OP---also known as multiplicative Calder\'on preconditioning---for boundary element methods \cite{hiptmair2006operator,steinbach1998construction,andriulli2008multiplicative}. Indeed, due to barycentric grid refinement, the standard method entails a dramatic increase in memory and computational costs. To counter this, low-accuracy Calder\'on preconditioners have been recently proposed with promising results \cite{bebendorf2008hierarchical,escapiljerez,fierro2020fast}. Indeed, iterative solvers' performance is seen to remain stable when building relatively coarse approximations of a given operator preconditioner. Clearly, this has no impact over the solution accuracy as this is only induced by the numerical approximation of the original problem, estimated by Strang's lemma \cite{strang1972variational} and its variants \cite{ern2004theory,di2018third}. Accordingly, we recently proposed the idea of systematically ``\emph{combining distinct precision orders of magnitude inside the resolution scheme}" \cite{escapiljerez} with successful numerical results for boundary element methods in electromagnetics \cite{escapiljerez,kleanthous2020accelerated} and acoustics \cite{fierro2020fast}, despite  hitherto the lack of rigorous proof.

Thus, we aim to provide theoretical grounds for the above observations by considering parameter-dependent perturbed problems and introducing the \emph{bi-parametric} OP paradigm (\Cref{thm:strang}), with bounds on spectral and Euclidean condition numbers with respect to perturbations. We further deduce linear (resp.~super-linear) convergence results for GMRES$(m)$ (resp.~GMRES), and present exhaustive new convergence bounds for iterative solvers when working on Hilbert spaces. Due to their generality, our results apply to diverse research areas: equivalent operators theory \cite{faber1990theory,axelsson2009equivalent,kirby2010functional}, opposite-order OP \cite{winther1980some,stevenson2019uniform}, compact equivalent OP \cite{axelssonsuperlinear,axelsson2018superlinear} and (fast) Calder\'on preconditioning \cite{andriulli2008multiplicative,escapiljerez,antoine2020introduction,fierro2020fast,hiptmair2020preconditioning}. Furthermore, these ideas could be also applied on high frequency wave propagation problems \cite{graham2017domain,galkowski2019wavenumber}, Schwarz preconditioning \cite{sarkis2007optimal,feischl2017optimal} and second-kind Fredholm operator equations \cite{atkinson1976survey,colton2012inverse}.

This manuscript is structured as follows. In \Cref{sec:problem}, we present the abstract PG setting. In \Cref{sec:first_strang} we introduce perturbed forms and state the first Strang's lemma for completeness. Next, we arrive at the bi-parametric OP framework and state our main result in \Cref{sec:bi_parametric}. Finally, we investigate the performance of iterative solvers in \Cref{sec:iterative}, and discuss new research avenues in \Cref{sec:concl}. \Cref{fig:Problem} summarizes constants and problems defined throughout this work.

\begin{figure}
\begin{minipage}{0.4\linewidth}
\begin{table}[H]
\renewcommand\arraystretch{2}
\begin{center}
\footnotesize
\begin{tabular}{
    |>{\centering\arraybackslash}m{1.2cm
    |>{\centering\arraybackslash}m{2.4cm}
    |>{\centering\arraybackslash}m{1cm}|
    >{\centering\arraybackslash}m{3cm}
    |>{\centering\arraybackslash}m{2cm}|
    }
    \hline
\vspace{0.1cm}
Notation & Value  & Eq. \\ \hline\hline
$\operatorname{K}_\mathsf{A}$ & $\frac{\|\mathsf{a}\|}{\gamma_\mathsf{A}}$  & \eqref{eq:discrete_condition_number}\\\hline
$\operatorname{K}_{\Lambda_h}$ & $\frac{\|\Lambda\|}{\gamma_\Lambda}$  & \eqref{eq:KL}\\ \hline
$\operatorname{K}_\star$ & $\frac{\|\mathsf{m}\|\|\mathsf{n}\|\|\mathsf{c}\|\|\mathsf{a}\|}{\gamma_\mathsf{M}\gamma_\mathsf{N}\gamma_\mathsf{C} \gamma_\mathsf{A}}$  & \eqref{eq:kS_star}\\ \hline
$\operatorname{K}_{\star,\mu,\nu}$ & $\operatorname{K}_\star \left(\frac{1 + \mu }{1- \mu}\right)\left(\frac{1 +\nu}{1 - \nu}\right)$ \ &  \eqref{eq:k_mu_nu}\\ \hline
$ \overline{\sigma}_k(\mathsf{K})$ & $\frac{1}{k} \sum_{j=1}^k \sigma_j(\mathsf{K})$ &\eqref{eq:sigmamean}\\ \hline
\end{tabular
\end{center}
\end{table}
\end{minipage}
\begin{minipage}{0.001\linewidth}
\hspace{\fill}
\end{minipage}
\begin{minipage}{0.59\linewidth}
\begin{table}[H]
\renewcommand\arraystretch{1.7}
\begin{center}
\footnotesize
\begin{tabular}{
    |>{\centering\arraybackslash}m{1.2cm}
    |>{\centering\arraybackslash}m{5cm}
    |>{\centering\arraybackslash}m{1cm}|
    }
    \hline
\vspace{0.1cm}
Problem & Problem in matrix form & Eq. \\ \hline\hline
\textup{(\!(A)\!)} &  ${\bf A} {\bf u} = {\bf b}$ &\eqref{eq:matrix_weak}\\\hline
\textup{(\!(A)\!)}$_\nu$ &  ${\bf A}_\nu {\bf u}_\nu = {\bf b}_\nu$ &\eqref{eq:matrix_weak_perturbed}\\\hline
\textup{(\!(CA)\!)} &  ${\bf M}^{-1} {\bf C} {\bf N}^{-1} {\bf A} {\bf u} = {\bf M}^{-1} {\bf C} {\bf N}^{-1}{\bf b}$ &\eqref{eq:prec_matrix_strong}\\\hline
\textup{(\!(CA)\!)}$_{\mu,\nu}$ &   \multirow{2}{*}{${\bf M}^{-1} {\bf C}_\mu {\bf N}^{-1} {\bf A}_\nu {\bf u}_\nu = {\bf M}^{-1} {\bf C}_\mu {\bf N}^{-1}{\bf b}_\nu$ }&\eqref{eq:prec_matrix_strong_perturbed}\\\cline{1-1}\cline{3-3}
\textup{(\!(CA)\!)}$_{\mu,\nu}^p$& & \eqref{eq:CAmnp}\\ \hline
\textup{(\!(A)\!)}$^p$& ${\bf N}^{-1} {\bf A} {\bf u} = {\bf N}^{-1} {\bf b}$ &\eqref{eq:Ap}\\ \hline
\end{tabular
\end{center}
\end{table}
\end{minipage}
\caption{Comprehensive review of the constants (left) and problems (right) defined throughout this manuscript, along with their corresponding introductions. Convergence radius $\Theta_k^{(m)}$ and $\widetilde{\Theta}_k^{(m)}$ for the preconditioned GMRES are defined in \eqref{eq:ConvRates}.}
\label{fig:Problem}
\end{figure}
\section{Continuous, Discrete and Matrix Problem Statements}\label{sec:problem}
Let $X$ and $Y$ be two reflexive Banach spaces and let $\mathsf{a} \in \mathcal{L}(X\times Y;\mathbb{C})$ be a continuous complex sesqui-linear---weak---form with norm $\|\mathsf{a}\|$. We tag dual spaces by prime ($'$) and adjoint operators by asterisk (${}^*$). For a linear form $b \in Y'$, the \emph{weak continuous problem} is
\begin{equation}\label{eq:continuous_weak}
\text{seek}\quad u \in X \quad\text{such that}\quad \mathsf{a}(u,v)=b(v),\quad \forall \ v\in Y.
\end{equation}
Throughout, we assume for each $b\in Y'$ the existence of a unique continuous solution $u$ to \eqref{eq:continuous_weak}. The form $\mathsf{a}$ induces a---strong---bounded linear operator $\mathsf{A}\in \mathcal{L}(X;Y')$ defined through the \emph{dual pairing} in $Y$ as follows \cite[Proposition A.21]{ern2004theory}
\begin{equation}\label{eq:dual_pairing}
\langle \mathsf{A} u, v \rangle_{Y'\times Y}:= a(u,v) ,\quad \forall \ u \in X, ~ \forall \ v \in Y.
\end{equation}
Hence, \eqref{eq:continuous_weak} is equivalent to the \emph{strong continuous problem}:
\begin{equation} \label{eq:strongcontprob}
\text{seek}\quad u \in X \quad\text{such that}\quad \mathsf{A} u = b.
\end{equation}

Given an index $h>0$, we introduce finite-dimensional \emph{conforming spaces}, i.e.~$X_h \subset X$ and $Y_h\subset Y$, and assume that $\dim(X_h)=\dim(Y_h)=:N$, with $N\rightarrow\infty$ as $h\rightarrow0$. Customarily, $h$ relates to the mesh-size of finite or boundary elements approximations.\footnote{For the sake of simplicity, the problems under consideration are defined for a given $h>0$ although asymptotic considerations are key in proving properties such as \emph{$h$-independent} condition numbers, i.e.~remaining bounded as $h\to 0$ (cf.~\Cref{remark:Asymptotics}).}

The counterpart of \eqref{eq:continuous_weak} is the \emph{weak discrete problem}:
\begin{equation}\label{eq:discrete_weak}
\text{find}\quad u_h \in X_h \quad\text{such that}\quad \mathsf{a}(u_h,v_h)=b(v_h),\quad \forall \ v_h\in Y_h,
\end{equation}
The above admits a unique solution $u_h$ \cite[Theorem 2.22]{ern2004theory} if $\mathsf{a}$ satisfies the discrete inf-sup---Banach-Ne\v{c}as-Babu\v{s}ka (BNB)---condition, for a constant $\gamma_\mathsf{A} > 0$:
\begin{equation}\label{eq:BNBh}
\sup_{v_h\in Y_h \setminus \{\boldsymbol{0}\}}\frac{|\mathsf{a}(u_h , v_h)|}{\n{v_h}_Y} \geq \gamma_\mathsf{A} \n{u_h}_X > 0 ,~\forall \ u_h \in X_h.
\end{equation}

\begin{assumption}\label{ass:BNB}
Throughout, we assume that $\mathsf{a}$ is continuous and satisfies the BNB condition \eqref{eq:BNBh}.
\end{assumption}
Equivalently, we define the discrete operator $\mathsf{A}_h : X_h \to Y_h'$:
\begin{equation}\label{eq:discrete_operator_def}
\langle \mathsf{A}_h u_h,v_h\rangle_{Y_h'\times Y_h}:= \mathsf{a}(u_h,v_h),\quad \forall \ u_h \in X_h, \ \forall v_h \in Y_h,
\end{equation}
and $b_h \in Y_h'$ such that $b_h(v_h) := b(v_h)$ for all $v_h \in Y_h$, wherein the norms of $b_h$ and $\mathsf{A}_h$ are given by (refer to \cite[Section 4.2.3]{sauter2010boundary}):
\begin{equation}\label{eq:discrete_op_norm}
\|b_h\|_{Y_h'} := \sup_{v_h \in Y_h \setminus \{\boldsymbol{0}\}} \frac{|\mathsf{a} (u_h,v_h)|}{\n{v_h}_{Y_h}}\quad \text{and} \quad \n{\mathsf{A}_h}_{X_h \to Y'_h}  : = \sup_{u_h \in X_h \setminus \{\boldsymbol{0}\}} \frac{\n{\mathsf{A}_h u_h}_{Y_h'}}{\n{u_h}_{X_h}}.
\end{equation}
Consequently, the \emph{strong discrete problem} related to \eqref{eq:strongcontprob} reads
\begin{equation}\label{eq:discrete_strong}
\text{seek}\quad u_{h} \in X_h \quad\text{such that}\quad \mathsf{A}_h u_h=b_h.
\end{equation}
One can introduce the \emph{discrete condition number}:
\begin{equation}\label{eq:discrete_condition_number}
\kappa (\mathsf{A}_h) : = \n{\mathsf{A}_h}_{{X_h\to Y_h'}}\n{\mathsf{A}^{-1}_h}_{{Y_h'\to X_h}} \leq \gamma_\mathsf{A}^{-1}\|\mathsf{a}\|=:\operatorname{K}_\mathsf{A},
\end{equation}
with $\operatorname{K}_\mathsf{A}$ being referred to as \emph{BNB condition number}, not to be confused with the BNB condition \eqref{eq:BNBh}.

Pick bases such that $\textrm{span}\{\varphi_i\}_{i=1}^N = X_h\subset X$ and $\textrm{span}\{\phi_i\}_{i=1}^N= Y_h\subset Y$, and write the corresponding coefficient vectors in $\mathbb{C}^N$ for the basis expansion in bold letters, e.g.,
\begin{align*}
u_h \in X_h : &\quad u_h = \sum_{i=1}^N u_i \varphi_i , ~\quad {\bf u} := (u_i)_{i=1}^N \in \mathbb{C}^N,\\
v_h \in Y_h : &\quad v_h = \sum_{i=1}^N v_i \phi_i , ~\quad {\bf v} := (v_i)_{i=1}^N \in \mathbb{C}^N,
\end{align*}
and build the (stiffness) Galerkin matrix and right-hand side
$$
{\bf A} :=(\mathsf{a}(\varphi_j, \phi_i))_{i,j=1}^N,\quad {\bf b} : = (b_h(\phi_i))_{i=1}^N.
$$
It holds that
$$
\langle \mathsf{A} u_h, v_h\rangle_{Y' \times Y}=\langle \mathsf{A}_h u_h,v_h\rangle_{Y_{h}'\times Y_{h}} = ({\bf A} {\bf u}, {\bf v})_2,
$$
where $({\bf u},{\bf v} )_2$ denotes the Euclidean inner product in $\mathbb{C}^N$ with induced norm $\n{{\bf u}}_2=\sqrt{({\bf u},{\bf u})_2}$. The matrix norm is
$$\n{{\bf A}}_2 : = \max_{{\bf u} \in \mathbb{C}^N \setminus \{\boldsymbol{0}\}} \frac{ \n{{\bf A}{\bf u}}_2 }{ \n{{\bf u}}_2}.$$

We set ${\bf A}^H:=\overline{{\bf A}}^T$ the conjugate transpose of ${\bf A}$ and define vector and matrix norms induced by the Banach space setting as $\n{{\bf u}}_{X_h}:= \n{u_h}_{X_h}$ and $\n{{\bf A}}_{X_h \to Y_h'}:= \n{\mathsf{A}_h}_{X_h\to Y_h'}$, for $\mathsf{A}_h$ in \eqref{eq:discrete_op_norm}. Notice that inclusion $X_h \subset X$ ensures that $\n{{\bf u}}_{X_h} = \n{{\bf u}}_X =: \n{u_h}_X $.

Consequently, \eqref{eq:discrete_weak} and \eqref{eq:discrete_strong} correspond to the \emph{matrix problem} referred to\footnote{In the following, notation \textup{(\!($\cdot$)\!)} denotes matrix equations.} as \textup{(\!(A)\!)}:
\begin{equation}\label{eq:matrix_weak}
\text{\textup{(\!(A)\!)}}: \quad\text{Seek}\quad {\bf u} \in \mathbb{C}^N  \quad \text{such that} \quad{\bf A}{\bf u} = {\bf b}.
\end{equation}
Next, we introduce $\Lambda_h$ the \emph{synthesis operator} for $X_h$:
\begin{equation}\label{eq:synthesis}
\begin{split}
\Lambda_h : \mathbb{C}^N &\to X_h\\
{\bf u}& \mapsto  u_h,
\end{split}
\end{equation}
along with strictly positive constants for $h>0$
\begin{equation}
\gamma_{\Lambda_{h}}  : =  \inf_{u_h\in X_h \setminus \{\boldsymbol{0}\}}\frac{\n{u_h}_X}{\n{{\bf u}}_2} \quad\textup{and}\quad \|\Lambda_{h} \|: = \sup_{u_h\in X_h \setminus \{\boldsymbol{0}\}} \frac{\n{u_h}_X}{\n{{\bf u}}_2}.
\end{equation}
Notice that, for any $u_h\in X_h$, it holds that \cite[Section 2.3]{ern2006evaluation}
$$
\gamma_{\Lambda_{h}} \n{{\bf u}}_2 \leq \n{u_h}_X \leq \|\Lambda_{h} \| \n{{\bf u}}_2,
$$
and set
\begin{equation} \label{eq:KL}
\operatorname{K}_{\Lambda_h} : = \frac{\|\Lambda_h\|}{\gamma_{\Lambda_h}}.
\end{equation}

\begin{remark}\label{remark:synthesis}
One should observe the explicit use of $h$-subscripts for the synthesis operator. Indeed, while discrete inf-sup conditions are generally bounded as $h$ tends to zero, the bounds $\|\Lambda_h\|$ and $\gamma_{\Lambda_h}$ are not. For example, let $\Omega \subset\mathbb{R}^d$, $d=2,3$ be a smooth bounded Lipschitz domain \cite[Section 2]{steinbach2007numerical} with boundary $\Gamma :=\partial \Omega$. For $D$ being either $\Gamma$ or $\Omega$ and $s\in [0,1]$, we introduce the Sobolev space $H^s(D)$ \cite{steinbach2007numerical} and let $X:=H^s(D)$. We assume that $D$ is decomposed into a shape regular, locally quasi-uniform mesh $\mathcal{T}$ \cite[Section 9.1]{steinbach2007numerical} with elements $\tau \in \mathcal{T}$. Set $h_\tau$ as the diameter of each element $\tau \in \mathcal{T}$, along with $h_\textup{min}:= \min_{\tau \in \mathcal{T}}h_\tau $ and $h \equiv h_\textup{max}:= \max_{\tau \in \mathcal{T}} h_\tau $, and introduce a nodal $\mathcal{C}^0$-Lagrangian basis  \cite{ainsworth1999conditioning} on $\mathcal{T}$ as $\textup{span}\{\phi_i\}_{i=1}^N= X_h \subset X$, for any $N(h) \in \mathbb{N}$. For all $u_h \in X_h$, there holds that \cite[Sections 4.4 and 4.5]{sauter2010boundary}:
\begin{equation}
 \quad Ch_\textup{min}^\frac{d}{2} \n{{\bf u}}_2 \leq C \n{u_h}_{L^2(D)} \leq  \n{u_h}_{H^s(D)} \leq Ch_\textup{min}^{-s} \n{u_h}_{L^2(D)} \leq C h_\textup{min}^{-s} h_\textup{max}^{\frac{d}{2}} \n{{\bf u}}_2.
\end{equation}
Consequently, one obtains
\begin{equation}\label{eq:hdep1}
\gamma_{\Lambda_h} \geq C  h_\textup{min}^\frac{d}{2} ,\quad \|\Lambda_h\|\leq C h_\textup{min}^{-s}h_\textup{max}^{\frac{d}{2}}\quad \text{and} \quad \operatorname{K}_{\Lambda_h} \leq C \left(\frac{h_\textup{max}}{h_\textup{min}}\right)^{\frac{d}{2}}h_\textup{min}^{-s}.
\end{equation}
For $D=\Gamma$ and $H^s(\Gamma)$, with $s\in [-1,1]$, one has
\begin{equation} \label{eq:hdep2}
\operatorname{K}_{\Lambda_h} \leq C \left(\frac{h_\textup{max}}{h_\textup{min}}\right)^{\frac{d}{2}}h_\textup{min}^{-|s|}.
\end{equation}
In this case, one can see the synthesis operator's explicit $h$-dependence via \eqref{eq:hdep1} and \eqref{eq:hdep2}. A similar situation holds in the case of N\'ed\'elec and Raviart-Thomas (Rao-Wilton-Glisson) elements applied in electromagnetic scattering (cf.~\cite{HJM15} and references therein).
\end{remark}
For the remainder of this work, we will make extensive use of the spectral and Euclidean condition numbers, $\kappa_S ({\bf A})$ and $\kappa_2 ({\bf A})$, respectively,  defined as
\begin{equation}
\begin{split}\label{eq:kappas}
\kappa_S ({\bf A}) := \varrho({\bf A}) \varrho ({\bf A}^{-1}) = \frac{|\lambda_\textup{max}({\bf A})|}{|\lambda_\textup{min}({\bf A})|} \quad \text{and}\quad
\kappa_2 ({\bf A}) := \n{{\bf A}}_2 \n{{\bf A}^{-1}}_2,
\end{split}
\end{equation}
with $\varrho({\bf A}):= |\lambda_\textup{max}({\bf A})|$ being the spectral radius of ${\bf A}$. We denote the spectrum of ${\bf A}$ by $\mathfrak{S}({\bf A})$. Since the spectral radius is bounded by any norm on $\mathbb{C}^N$, we set, for any $\mathsf{Q}_h:X_h\to X_h$ with matrix representation ${\bf Q}$, the Banach space induced norm $\n{{\bf Q}}_X := \n{{\bf Q}}_{X\to X}$, with $\n{{\bf Q}}_{X} = \n{{\bf Q}}_{X_h} =: \n{{\bf Q}}_{X_h\to X_h}$ by inclusion $X_h \subset X$, leading to $\varrho({\bf Q}) \leq \n{{\bf Q}}_{X}$. The latter is key in proving the operator preconditioning result in \Cref{thm:opprecond}.

As mentioned in \Cref{sec:Introduction}, we are concerned with the consequences of perturbing the above sesqui-linear and linear forms over discretization spaces as it occurs when employing finite-arithmetic, numerical integration or compression algorithms. To this end, we give a notion of admissible perturbations needed for the ensuing analysis.
\begin{definition}[($h,\nu$)-perturbation]\label{def:perturbation}Let $\nu \in [0,1)$ and $h>0$ be given. We say that $\mathsf{a}_\nu \in \mathcal{L}(X \times Y;\mathbb{C})$ is a $(h,\nu)$-perturbation of $\mathsf{a}$ if it belongs to the set $\Phi_{h,\nu}(\mathsf{a})$:
\begin{equation}
 \mathsf{a}_\nu \in \Phi_{h,\nu}(\mathsf{a})  \iff \gamma_\mathsf{A}^{-1} \left| \mathsf{a} (u_h,v_h) - \mathsf{a}_\nu(u_h,v_h)\right| \leq  \nu \n{u_h}_X \n{v_h}_Y ,~ \forall \ u_h \in X_h, \ \forall \ v_h\in Y_h.
\end{equation}
Similarly, $b_{\nu}\in Y'$ is called a $(h,\nu)$-perturbation of the linear form $b$ if it belongs to the set $\Upsilon_{h,\nu}({b})$ defined as
$$ b_{\nu} \in \Upsilon_{h,\nu}(b)  \iff \left|b(v_h) - b_{\nu}(v_h) \right|\leq \nu \n{b_h}_{Y_h'}\n{v_h}_{Y_h},\quad\forall \ v_h\in Y_h. $$
We identify $\mathsf{a}_0$ and $b_0$ with $\mathsf{a}$ and $b$, respectively.
\end{definition}
The $(h,\nu)$-perturbation formalism allows to control precisely the perturbed sesqui-linear (resp.~linear) form.

\begin{proposition}\label{prop:perturbed}
Consider $\mathsf{a}_\nu \in \Psi_{h,\nu} (\mathsf{a})$. Then, $\mathsf{a}_\nu$ has a discrete inf-sup condition and is continuous, with corresponding constants $\gamma_{\mathsf{A}_\nu }$, $\|\mathsf{a}_\nu\|$, satisfying
\begin{equation}
\gamma_{\mathsf{A}_\nu } \geq \gamma_\mathsf{A}( 1- \nu) \quad \text{and} \quad \|\mathsf{a}_\nu\|\leq \|\mathsf{a}\| + \nu\gamma_\mathsf{A} \leq \|\mathsf{a}\|(1+\nu).
\end{equation}
\end{proposition}
\begin{proof}
For any $u_h \in X_h$, it holds that
\begin{equation}\label{eq:inf_sup1}
\begin{split}
\sup_{v_h \in Y_h \setminus \{\boldsymbol{0}\}} \frac{|\mathsf{a}_\nu (u_h,v_h)|}{\n{v_h}_Y} &\geq\sup_{v_h \in Y_h \setminus \{\boldsymbol{0}\}}\left( \frac{|\mathsf{a} (u_h,v_h)|}{\n{v_h}_Y} - \frac{|\mathsf{a} (u_h,v_h)-\mathsf{a}_\nu(u_h,v_h)|}{\n{v_h}_Y} \right)\\
& \geq \gamma_\mathsf{A} \n{u_h}_X - \gamma_\mathsf{A} \nu \n{u_h}_X = \gamma_\mathsf{A} (1-\nu)\n{u_h}_X
\end{split}
\end{equation}
by \Cref{ass:BNB} and \Cref{def:perturbation}. Similarly, for any $u_h\in X_h$ and $v_h \in Y_h$, one has
\begin{align*}
|\mathsf{a}_\nu (u_h,v_h)|&\leq |\mathsf{a} (u_h,v_h)| + |\mathsf{a}_\nu (u_h,v_h)-\mathsf{a}(u_h,v_h)| \\
&\leq ( \|\mathsf{a}\| +\nu  \gamma_\mathsf{A} )\n{u_h}_X \n{v_h}_Y  \leq  \|\mathsf{a}\|(1 +\nu  )\n{u_h}_X \n{v_h}_Y,
\end{align*}
as stated.\end{proof}
\begin{remark}
Though the sets of admissible perturbations $\Phi_{h,\nu}(\mathsf{a})$ and $\Upsilon_{h,\nu}(b)$ depend on $h$, the perturbed forms remain continuous.  Also, for a given $h$, one may choose different parameters for each set.
\end{remark}

Set $\nu \in [0,1)$ and introduce perturbations $\mathsf{a}_\nu\in\Phi_{h,\nu}(\mathsf{a})$ and $b_\nu\in\Upsilon_{h,\nu}(b)$. We arrive at the \emph{perturbed weak discrete problem}:
\begin{equation}\label{eq:perturbed_discrete}
\text{seek}\quad u_{h,\nu} \in X_h \quad\text{such that}\quad \mathsf{a}_\nu(u_{h,\nu},v_h)=b_\nu(v_h),\quad \forall \ v_h\in Y_h,
\end{equation}
with strong discrete counterpart
\begin{equation}\label{prob:unprecond}
 \text{find}\quad u_{h,\nu} \in X_h \quad\text{such that}\quad \mathsf{A}_{h,\nu} u_{h,\nu} =b_{h,\nu},
\end{equation}
and matrix form
\begin{equation}\label{eq:matrix_weak_perturbed}
\text{\textup{(\!(A)\!)}}_\nu: \quad\text{Seek}\quad {\bf u}_\nu \in \mathbb{C}^N  \quad \text{such that} \quad{\bf A}_\nu{\bf u} = {\bf b}_\nu.
\end{equation}
Notice that \textup{(\!(A)\!)}$_0=\textup{(\!(A)\!)}$. Moreover, one can combine \Cref{prop:perturbed} with \cite[Theorem 2.22]{ern2004theory} to obtain the next result.
\begin{proposition}\label{prop:well_posedness}For $\nu \in [0,1)$, \textup{(\!(A)\!)}$_\nu$ admits a unique solution.
\end{proposition}
\section{First Strang's lemma for perturbed forms}\label{sec:first_strang}
We start by characterizing the error between continuous and discrete solutions for the unperturbed version of \textup{(\!(A)\!)}~recalling C\'ea's lemma \cite{cea1964approximation, ern2004theory}.
\begin{lemma}[C\'ea's Lemma {\cite[Lemma 2.28]{ern2004theory}}]\label{lemmaCea}
Let $u\in X$ and $u_h\in X_h$ be the solutions to \eqref{eq:continuous_weak} and \eqref{eq:discrete_weak}, respectively. Then, one has
\begin{equation}
\n{u - u_h}_X \leq  \left(1 + {\operatorname{K}_\mathsf{A}} \right)\inf_{w_h \in X_h} \n{u-w_h}_X,
\end{equation}
with $\operatorname{K}_\mathsf{A}$ defined in \eqref{eq:discrete_condition_number}.
\end{lemma}
\begin{remark}
This fundamental result highlights the importance of the BNB condition number. It shows that if the problem has poor intrinsic conditioning for either continuous or discrete settings, then the quasi-optimality constant $(1 + \operatorname{K}_\mathsf{A})$ will be large and the solution $u_h$ far from the best approximation error. Observe that in \Cref{lemmaCea} both sesqui-linear and linear forms are computed exactly.
\end{remark}
Next, we present a modified version of the above lemma for perturbed problems \textup{(\!(A)\!)}$_\nu$.
\iffalse
\begin{lemma}[First Strang's Lemma]\label{lemma:strang}
Set $\nu\in[0,1)$ and let $u_{h,\nu}\in X_h$ and $u\in X$ be the unique solutions to \eqref{prob:unprecond} and \eqref{eq:continuous_weak}, respectively. It holds that
\begin{align*}
\n{u - u_{h,\nu}}_X & \leq \inf_{w_h\in X_h} \left(\left(1 + \frac{{\operatorname{K}_\mathsf{A}}}{1-\nu}\right) \n{u - w_h}_X +\frac{\nu}{1-\nu} \n{w_h}_X\right) + \frac{\nu}{\gamma_{\mathsf{A}}(1-\nu)}\n{b_h}_{Y_h'}\\
&\leq  \left(1 + \frac{{\operatorname{K}_\mathsf{A}}}{1-\nu}\right)\inf_{w_h\in X_h} \n{u - w_h}_X + \frac{2\nu}{\gamma_{\mathsf{A}}(1-\nu)}\n{b_h}_{Y_h'}.
\end{align*}
\end{lemma}
\begin{proof}
For any $w_h\in X_h$ and for all $v_h \in Y_h$, it holds that
\begin{align*}
\mathsf{a}_\nu (u_{h,\nu} - w_h, v_h ) &= b_\nu(v_h) -\mathsf{a}_\nu (w_h,v_h)  +\mathsf{a}(w_h,v_h) + \mathsf{a}(u-w_h ,v_h) - b(v_h)\\
& =  \mathsf{a}(u-w_h ,v_h) + (\mathsf{a}(w_h,v_h) -\mathsf{a}_\nu (w_h,v_h) ) + (b_\nu(v_h) -b(v_h)),
\end{align*}
leading to
\begin{equation}\label{eq:strang1}
\gamma_{\mathsf{A}_\nu}\n{u_{h,\nu} - w_h}_X \leq \|\mathsf{a}\| \n{u- w_h}_X + \nu \gamma_\mathsf{A} \n{w_h}_X+ \n{b_h-b_{h,\nu}}_{Y'_h}
\end{equation}
by \Cref{ass:BNB} and \Cref{def:perturbation}. Next, by combining the triangle inequality, and \eqref{eq:strang1}, one derives
\begin{align*}
\n{u - u_{h,\nu}}_X &\leq \n{u - w_h}_X + \n{w_h - u_{h,\nu}}_X \leq \left(1 +  \frac{\|{\mathsf{a}}\| }{\gamma_{\mathsf{A}_\nu}}\right)\n{u - w_h}_X + \nu \frac{\gamma_\mathsf{A}}{\gamma_{\mathsf{A}_\nu}}\n{w_h}_X +\frac{1}{\gamma_{\mathsf{A}_\nu}} \n{b_h-b_{h,\nu}}_{Y_h'},
\end{align*}
and, since $w_h$ is arbitrary in $X_h$, there holds
\begin{align*}
\n{u - u_{h,\nu}}_X &\leq \frac{1}{\gamma_{\mathsf{A}_\nu}}\n{b_h-b_{h,\nu}}_{Y'_h}+ \inf_{w_h \in X_h}\left( \left(1 + \frac{\|{\mathsf{a}}\|}{\gamma_{\mathsf{A}_\nu}}\right) \n{u-w_h}_X + \frac{\gamma_{\mathsf{A}}}{\gamma_{\mathsf{A}_\nu}}\nu\n{w_h}_{X}\right)\\
&\leq  \frac{\nu}{\gamma_\mathsf{A}(1-\nu)}\n{b_h}_{Y_h'} +\inf_{w_h \in X_h}\left( \left(1 + \frac{{\operatorname{K}_\mathsf{A}}}{1-\nu}
\right) \n{u-w_h}_X + \frac{\nu}{1-\nu} \n{w_h}_{X}\right)\\
&\leq  \frac{\nu}{\gamma_\mathsf{A}(1-\nu)}\n{b_h}_{Y_h'} +\left(1 + \frac{{\operatorname{K}_\mathsf{A}}}{1-\nu}
\right) \inf_{w_h \in X_h}\n{u-w_h}_X   + \frac{\nu}{1-\nu} \n{u_h}_{X}\\
&\leq  \frac{2\nu}{\gamma_\mathsf{A}(1-\nu)}\n{b_h}_{Y_h'} +\left( 1 + \frac{{\operatorname{K}_\mathsf{A}}}{1-\nu}
\right) \inf_{w_h \in X_h}\n{u-w_h}_X ,
\end{align*}
as stated, by recalling the continuous dependence on $b$ for $u_h$ solution of \eqref{eq:discrete_weak}, i.e.~$\n{u_h}_X \leq \frac{1}{\gamma_\mathsf{A}}\n{b_h}_{Y_h'}$.
\end{proof}\fi
\begin{lemma}[First Strang's Lemma]\label{lemma:strang}
Set $\nu\in[0,1)$ and let $u_{h,\nu}\in X_h$ and $u\in X$ be the unique solutions to \eqref{prob:unprecond} and \eqref{eq:continuous_weak}, respectively. It holds that
\begin{align*}
\n{u - u_{h,\nu}}_X & \leq \inf_{w_h\in X_h} \left(\left(1 + \frac{{\operatorname{K}_\mathsf{A}}}{1-\nu}\right) \n{u - w_h}_X +\frac{\nu}{1-\nu} \n{w_h}_X\right) + \frac{\nu}{\gamma_{\mathsf{A}}(1-\nu)}\n{b_h}_{Y_h'}\\
&\leq \left( 1 + \operatorname{K}_\mathsf{A}\right) \left(1 + \frac{{\operatorname{K}_\mathsf{A}}}{1-\nu}\right)\inf_{w_h\in X_h} \n{u - w_h}_X + \frac{2\nu}{\gamma_{\mathsf{A}}(1-\nu)}\n{b_h}_{Y_h'}.
\end{align*}
\end{lemma}
\begin{proof}
For any $w_h\in X_h$ and for all $v_h \in Y_h$, it holds that
\begin{align*}
\mathsf{a}_\nu (u_{h,\nu} - w_h, v_h ) &= b_\nu(v_h) -\mathsf{a}_\nu (w_h,v_h)  +\mathsf{a}(w_h,v_h) + \mathsf{a}(u-w_h ,v_h) - b(v_h)\\
& =  \mathsf{a}(u-w_h ,v_h) + (\mathsf{a}(w_h,v_h) -\mathsf{a}_\nu (w_h,v_h) ) + (b_\nu(v_h) -b(v_h)),
\end{align*}
leading to
\begin{equation}\label{eq:strang1}
\gamma_{\mathsf{A}_\nu}\n{u_{h,\nu} - w_h}_X \leq \|\mathsf{a}\| \n{u- w_h}_X + \nu \gamma_\mathsf{A} \n{w_h}_X+ \n{b_h-b_{h,\nu}}_{Y'_h}
\end{equation}
by \Cref{ass:BNB} and \Cref{def:perturbation}. Next, by combining the triangle inequality, and \eqref{eq:strang1}, one derives
\begin{align*}
\n{u - u_{h,\nu}}_X &\leq \n{u - w_h}_X + \n{w_h - u_{h,\nu}}_X \leq \left(1 +  \frac{\|{\mathsf{a}}\| }{\gamma_{\mathsf{A}_\nu}}\right)\n{u - w_h}_X + \nu \frac{\gamma_\mathsf{A}}{\gamma_{\mathsf{A}_\nu}}\n{w_h}_X +\frac{1}{\gamma_{\mathsf{A}_\nu}} \n{b_h-b_{h,\nu}}_{Y_h'},
\end{align*}
and, since $w_h$ is arbitrary in $X_h$, there holds
\begin{align*}
\n{u - u_{h,\nu}}_X &\leq \frac{1}{\gamma_{\mathsf{A}_\nu}}\n{b_h-b_{h,\nu}}_{Y'_h}+ \inf_{w_h \in X_h}\left( \left(1 + \frac{\|{\mathsf{a}}\|}{\gamma_{\mathsf{A}_\nu}}\right) \n{u-w_h}_X + \frac{\gamma_{\mathsf{A}}}{\gamma_{\mathsf{A}_\nu}}\nu\n{w_h}_{X}\right)\\
&\leq  \frac{\nu}{\gamma_\mathsf{A}(1-\nu)}\n{b_h}_{Y_h'} +\inf_{w_h \in X_h}\left( \left(1 + \frac{{\operatorname{K}_\mathsf{A}}}{1-\nu}
\right) \n{u-w_h}_X + \frac{\nu}{1-\nu} \n{w_h}_{X}\right)\\
&\leq  \frac{\nu}{\gamma_\mathsf{A}(1-\nu)}\n{b_h}_{Y_h'} +\left(1 + \frac{{\operatorname{K}_\mathsf{A}}}{1-\nu}
\right) \n{u-u_h}_X   + \frac{\nu}{1-\nu} \n{u_h}_{X}\\
&\leq  \frac{2\nu}{\gamma_\mathsf{A}(1-\nu)}\n{b_h}_{Y_h'} +\left(1+ \operatorname{K}_\mathsf{A}\right)\left( 1 + \frac{{\operatorname{K}_\mathsf{A}}}{1-\nu}
\right) \inf_{w_h \in X_h}\n{u-w_h}_X ,
\end{align*}
as stated, by recalling the continuous dependence on $b$ for $u_h$ solution of \eqref{eq:discrete_weak}, i.e.~$\n{u_h}_X \leq \frac{1}{\gamma_\mathsf{A}}\n{b_h}_{Y_h'}$, and by application of \Cref{lemmaCea}.
\end{proof}
\begin{remark}\label{remark:stabilityAnu}
Since
\begin{align*}
\kappa(\mathsf{A}_{h,\nu})\leq \frac{\|\mathsf{a}_{\nu}\|}{\gamma_{\mathsf{A}_\nu}}=: \operatorname{K}_{\mathsf{A}_\nu} \leq \mathsf{K}_\mathsf{A} \frac{1 + \nu}{1-\nu},
\end{align*}
one can expect the discrete (resp.~BNB) condition number of $\mathsf{a}_\nu$ to be stable with respect to small perturbations, as
$\operatorname{K}_{\mathsf{A}_\nu}= \operatorname{K}_\mathsf{A} (1 - 2\nu + o(\nu))$ for $\nu\ll 1$. For $\nu \ll 1$, \Cref{lemma:strang} shows that the perturbation implies: a best approximation error term with quasi-optimality constant $(1 + \operatorname{K}_\mathsf{A})^{2}$, and $\mathcal{O}(\nu)$ errors induced by the perturbed sesqui-linear form and right-hand side (cf.~\cite[Sections 2 and 3]{escapiljerez}).
\end{remark}
\begin{remark}Observe that contrary to C\'ea's lemma, \Cref{lemma:strang} does not invoke the solution to the continuous perturbed problem:
\begin{equation}\label{eq:continuous_weak_perturbed}
\text{seek}\quad u_\nu \in X \quad\text{such that}\quad \mathsf{a}_\nu(u_\nu,v)=b_\nu(v),\quad \forall \ v\in Y.
\end{equation}
Assuming the existence of a unique continuous solution $u_\nu$ to \eqref{eq:continuous_weak_perturbed}, \Cref{lemmaCea} and \Cref{remark:stabilityAnu} lead to the following quasi-optimal bound:
\begin{equation}
\n{u_\nu - u_{h,\nu}}_X \leq  \left(1 + \operatorname{K}_\mathsf{A}\frac{1+\nu}{1-\nu} \right)\inf_{w_h \in X_h} \n{u_\nu-w_h}_X.
\end{equation}
\end{remark}
\section{Bi-parametric Operator Preconditioning}\label{sec:bi_parametric}
We complete the setting in \Cref{sec:problem} by introducing preconditioners. To this end, let $V$ and $W$ be two reflexive Banach spaces. We consider an operator $\mathsf{c} \in \mathcal{L} (V \times W ; \mathbb{C})$ as well as pairings $\mathsf{n}\in \mathcal{L} (V\times Y; \mathbb{C})$ and $\mathsf{m} \in \mathcal{L} ( X\times W; \mathbb{C})$. These forms induce operators $\mathsf{C}: V \to W'$, $\mathsf{N} : V \to Y'$ and $\mathsf{M}: X\to W'$. With these, we state the preconditioned version of the operator equation \eqref{eq:strongcontprob}:
\begin{equation}
\text{seek}\quad u\in X \quad\text{such that}\quad \mathsf{P} \mathsf{A} u = \mathsf{P} b,\quad \text{with}  \quad \mathsf{P} : = \mathsf{M}^{-1}\mathsf{C}\mathsf{N}^{-1}.
\end{equation}

We refer the readers to \Cref{fig:Problem} and to the previous diagram in \eqref{eq:OP_PG} for an overview of domain mappings and functional spaces for OP-PG.

For our new spaces, we set conforming finite-dimensional spaces $V_h\subset V$ and $W_h\subset W$ of the same dimension $N$ as for $X_h$ and $Y_h$.

\begin{assumption}
We assume that $\mathsf{c}, \mathsf{n}$ and $\mathsf{m}$ satisfy a discrete inf-sup condition (cf.~\eqref{eq:BNBh}) over the approximations spaces, with constants $\gamma_\mathsf{C}, \gamma_\mathsf{N}$ and $\gamma_\mathsf{M}$, respectively.
\end{assumption}

Consequently, the \emph{strong discrete preconditioned problem}
\begin{equation}
\label{eq:prec_discrete_strong}\text{seek}\quad u_{h} \in X_h \quad\text{such that}\quad \mathsf{P}_h\mathsf{A}_h u_h= \mathsf{P}_h b_h,\quad \text{with} \quad \mathsf{P}_h:=\mathsf{M}_h^{-1} \mathsf{C}_h \mathsf{N}_h^{-1},\end{equation}
is well posed, by the same arguments as in \Cref{prop:well_posedness}. As in \Cref{sec:problem}, we now pick bases $\{\psi_i\}_{i=1}^N \subset V_h$ and $\{\xi_i\}_{i=1}^N \subset W_h$ of $V_h$ and $W_h$, and build the Galerkin matrices
\begin{equation}
{\bf C} : = {((\mathsf{c}( \psi_j ,\xi_i ))}_{i,j = 1}^N, \quad {\bf M} : = {((\mathsf{m}( \varphi_j , \xi_i ))}_{i,j = 1}^N \quad \text{and} \quad {\bf N} : = {((\mathsf{n}( \psi_j , \phi_i ))}_{i,j = 1}^N.
\end{equation}
Therefore, we arrive at the matrix problem:
\begin{equation}\label{eq:prec_matrix_strong}
\text{\textup{(\!(CA)\!)}}: \quad\text{find}\quad {\bf u} \in \mathbb{C}^N  \quad \text{such that}\quad {\bf P}  {\bf A} {\bf u} = {\bf P} {\bf b},\quad\text{with} \quad {\bf P}:= {\bf M}^{-1} {\bf C} {\bf N}^{-1}.
\end{equation}
\begin{table}[t]
\renewcommand\arraystretch{1.7}
\begin{center}
\footnotesize
\begin{tabular}{
    |>{\centering\arraybackslash}m{2cm
    |>{\centering\arraybackslash}m{2cm}
    |>{\centering\arraybackslash}m{2cm}
    |>{\centering\arraybackslash}m{3cm}
    |>{\centering\arraybackslash}m{2cm}|
    }
    \hline
\vspace{0.1cm}
&Operator & sesqui-linear form & Matrix  & Constants\\ \hline\hline
Impedance & $\mathsf{A}: X \to Y'$ & $\mathsf{a} : X \times Y$ &${\bf A} : [Y_h\times X_h]$  & $\gamma_\mathsf{A}, \|\mathsf{a}\|$\\\hline
Preconditioner& $\mathsf{C}: V\to W'$ & $\mathsf{c} :V \times W$ &${\bf C} : [W_h\times V_h]$ & $\gamma_\mathsf{C}, \|\mathsf{c}\|$\\\hline\hline
Pairing $\mathsf{A}$ & $\mathsf{N}: V \to Y'$ & $\mathsf{n} : V \times Y $ &${\bf N}^{-1} : [V_h\times Y_h]$& $\gamma_\mathsf{N}, \|\mathsf{n}\|$ \\\hline
Pairing $\mathsf{C}$ & $\mathsf{M}: X \to W'$ & $\mathsf{m} : X\times W $ &${\bf M}^{-1} : [X_h\times W_h]$& $\gamma_\mathsf{M}, \|\mathsf{m}\|$ \\\hline
 \end{tabular
\caption{Overview of functional spaces for OP-PG. We specify spaces for the corresponding continuous operators and sesqui-linear forms, along with their induced discrete matrices, continuity and discrete-inf sup constants. Brackets for matrices indicate the spaces associated to rows $\times$ columns.}
\label{tab:Problem}
\end{center}
\end{table}
\begin{remark}\label{remark:OPalgebra}
As hinted in \cite{betcke2020product}, OP allows to obtain an equivalent representation for both the discrete and matrix settings, referred to as Galerkin product algebra. Indeed, introduce a unique $v_h \in V_h$ such that $ \mathsf{N}_h v_h = b_h$, $w_h:=\mathsf{C}_h v_h \in W'_h$, and a unique $q_h \in X_h$ such that $\mathsf{M}_h q_h =  w_h$. We obtain that
\begin{align*}
\mathsf{A}_h u_h = b_h = \mathsf{N}_h v_h \quad \Rightarrow \quad\mathsf{N}_h^{-1} \mathsf{A}_h u_h = v_h \in V_h,\\
\mathsf{C}_h v_h =  w_h = \mathsf{M}_h q_h \quad \Rightarrow\quad \mathsf{M}_h^{-1} \mathsf{C}_h v_h = q_h \in X_h,
\end{align*}
leading to matrix counterparts
\begin{align*}
{\bf A} {\bf u} &= {\bf N} {\bf v}\quad \Rightarrow \quad {\bf N}^{-1} {\bf A} {\bf u} = {\bf v}, \\
{\bf C} {\bf v} & = {\bf M} {\bf q} \quad \Rightarrow \quad {\bf M}^{-1} {\bf C} {\bf v} = {\bf q}.
\end{align*}
Hence
\begin{equation} \label{eq:OPalgebra}
q_h = \mathsf{P}_h \mathsf{A}_h u_h\quad \text{with basis expansion} \quad {\bf q} = {\bf P} {\bf A} {\bf u}.
\end{equation}
Consequently, $u_h = (\mathsf{P}_h \mathsf{A}_h)^{-1}q_h$ is with basis expansion ${\bf u} = ({\bf P} {\bf A})^{-1}{\bf q}$.
\end{remark}
We state the following estimates for the condition numbers of ${\bf P} {\bf A}$.
\begin{theorem}[Estimates for OP-PG]
\label{thm:opprecond}For problem \textup{(\!(CA)\!)}~given in \eqref{eq:prec_matrix_strong}, the spectral condition number is bounded as
\begin{equation}\label{eq:kS_star}
\kappa_S ({\bf P}{\bf A}) \leq \kappa (\mathsf{P}_h \mathsf{A}_h) \leq  \frac{\|\mathsf{m}\|\|\mathsf{n}\|\|\mathsf{c}\|\|\mathsf{a}\|}{\gamma_\mathsf{M}\gamma_\mathsf{N}\gamma_\mathsf{C} \gamma_\mathsf{A}} =:\operatorname{K}_\star.
\end{equation}
Furthermore, the Euclidean condition number satisfies
\begin{equation}\label{eq:k2_star}
\kappa_2 ({\bf P}{\bf A}) \leq \operatorname{K}_\star \left(\frac{\n{\Lambda_h}}{\gamma_{\Lambda_h}}\right)^2= \operatorname{K}_\star \operatorname{K}_{\Lambda_h}^2,
\end{equation}
with $\operatorname{K}_{\Lambda_h}$ introduced in \eqref{eq:KL}.
\end{theorem}
\begin{proof}
Remark that, for any $u_h \in X_h$, it holds that
\begin{equation} \label{eq:spectral}
\frac{\gamma_\mathsf{C} \gamma_\mathsf{A}}{\|\mathsf{m}\|\|\mathsf{n}\|}\|u_h\|_X\leq \n{\mathsf{P}_h\mathsf{A}_h u_h }_{X} \leq \frac{\|\mathsf{c} \| \|\mathsf{a}\|}{\gamma_\mathsf{N} \gamma_\mathsf{M}}\n{u_h}_X.
\end{equation}
Let us introduce ${\bf u}$ linked to $u_h$ so as to deduce that
\begin{equation}
\n{\mathsf{P}_h\mathsf{A}_h}_{X} = \n{{\bf P} {\bf A}}_{X}\leq \frac{\|\mathsf{c} \| \|\mathsf{a}\|}{\gamma_\mathsf{N} \gamma_\mathsf{M}}\quad \text{and}\quad \n{(\mathsf{P}_h\mathsf{A}_h)^{-1}}_X = \n{({\bf P} {\bf A})^{-1}}_{X}\leq\frac{\|\mathsf{m}\|\|\mathsf{n}\|}{\gamma_\mathsf{C} \gamma_\mathsf{A}},
\end{equation}
which leads to the stated result for the spectral condition number given in \eqref{eq:kappas}, since $\varrho({\bf P} {\bf A} ) \leq \n{{\bf P} {\bf A}}_{X}$ and $\varrho(({\bf P} {\bf A})^{-1})\leq \n{({\bf P} {\bf A})^{-1}}_{X}$.

For the Euclidean condition number, we employ the synthesis operator $\Lambda_h$, introduced in \eqref{eq:synthesis}, and \eqref{eq:spectral}, to derive
\begin{equation}
\frac{1}{\|\Lambda_h\|} \left(\frac{\gamma_\mathsf{C} \gamma_\mathsf{A}}{\|\mathsf{m}\|\|\mathsf{n}\|} \right)\n{u_h}_X \leq \n{{\bf P} {\bf A}{\bf u}}_2 \leq \frac{1}{\gamma_{\Lambda_h}} \left(\frac{ \|\mathsf{c}\|\|\mathsf{a}\|}{\gamma_\mathsf{M} \gamma_\mathsf{N}} \right) \n{u_h}_X,
\end{equation}
yielding
\begin{equation}
\frac{\gamma_{\Lambda_h} }{\|\Lambda_h\|} \left(\frac{\gamma_\mathsf{C} \gamma_\mathsf{A}}{\|\mathsf{m}\|\|\mathsf{n}\|} \right)\n{{\bf u}}_2 \leq  \n{{\bf P} {\bf A}{\bf u}}_2 \leq \frac{\|\Lambda_h\|}{\gamma_{\Lambda_h}} \left(\frac{ \|\mathsf{c}\|\|\mathsf{a}\|}{\gamma_\mathsf{M} \gamma_\mathsf{N}} \right)\n{{\bf u}}_2,
\end{equation}
providing the second result.
\end{proof}

As mentioned in \Cref{sec:Introduction}, the abstract formulation in \Cref{thm:opprecond} for OP-PG encompasses the following important cases:
\begin{enumerate}
\item[(i)] OP-BG \cite{hiptmair2006operator,christiansen2000preconditionneurs}: $X=Y$, $V =W$ and $\mathsf{N} := \mathsf{M}^*$ (cf.~\eqref{eq:OP_BG});
\item[(ii)] Opposite-order OP \cite{andreev2012stability}: $Y = X'$ and $W = V'$ and $\mathsf{M} = \mathsf{N} := \mathsf{I}$ (cf.~\eqref{eq:OP_OO}).
\end{enumerate}

We are now ready to introduce perturbed sesqui-linear forms and their preconditioners. In the spirit of \eqref{eq:perturbed_discrete}, we consider the family of \emph{bi-parametric} perturbed preconditioned problems.

For two parameters $\mu,\nu\in [0,1)$, we define $\mathsf{c}_\mu \in \Phi_{h,\mu}(\mathsf{c})$, $\mathsf{a}_\nu \in \Phi_{h,\nu}(\mathsf{a})$, and $b_\nu \in \Upsilon_{h,\nu}(b)$. The \emph{perturbed preconditioned} problem reads
\begin{equation}\label{prob:precond}
\text{find}\quad u_{h,\nu} \in X_h \quad\text{such that}\quad \mathsf{P}_{h,\mu} \mathsf{A}_{h,\nu} u_{h,\nu} =\mathsf{P}_{h,\mu} b_{h,\nu},\quad \text{with}\quad \mathsf{P}_{h,\mu} : = \mathsf{M}^{-1}_h\mathsf{C}_{h,\mu},\mathsf{N}^{-1}_h,
\end{equation}
with corresponding matrix form
\begin{equation}\label{eq:prec_matrix_strong_perturbed}
\text{\textup{(\!(CA)\!)}}_{\mu,\nu}: \quad\text{seek}\quad {\bf u}_\nu \in \mathbb{C}^N  \quad \text{such that}\quad {\bf P}_\mu {\bf A}_\nu {\bf u}_\nu ={\bf P}_\mu {\bf b}_\nu,\quad \text{with}\quad {\bf P}_\mu : ={\bf M}^{-1} {\bf C}_\mu {\bf N}^{-1}.
\end{equation}
Naturally, \textup{(\!(CA)\!)}$_{0,0}=$\textup{(\!(CA)\!)}. In practice, one seeks the preconditioner parameter $\mu$ to be much larger than the original system's accuracy $\nu$ while retaining the convergence properties. Indeed, we can now state our main result.

\begin{theorem}[Bi-Parametric Operator Preconditioning]\label{thm:strang}
For the problem \textup{(\!(CA)\!)}$_{\mu,\nu}$, given in \eqref{eq:prec_matrix_strong_perturbed} for $\mu,\nu\in[0,1)$ and $h>0$, the spectral condition number is bounded as
\begin{equation}\label{eq:kS_mu_nu}\kappa_S ({\bf P}_\mu{\bf A}_\nu) \leq
 \operatorname{K}_\star \left(\frac{1+ \mu}{1-\mu}\right)\left(\frac{1+\nu}{1-\nu}\right)= :\operatorname{K}_{\star,\mu,\nu}
\end{equation}
and the Euclidean condition number satisfies
\begin{equation}\label{eq:k_mu_nu}\kappa_2 ({\bf P}_\mu {\bf A}_\nu) \leq \operatorname{K}_{\star,\mu,\nu} \operatorname{K}_{\Lambda_h}^2,\end{equation}
with $\operatorname{K}_{\star}$ and $\operatorname{K}_{\Lambda_h}$ defined in \eqref{eq:KL} and \eqref{eq:kS_star}, respectively.
\end{theorem}
\begin{proof}Application of \Cref{prop:perturbed} to $\mathsf{c}_\mu$ and $\mathsf{a}_\nu$ leads to:
\begin{equation}
\forall \ u_h \in X_h , \quad (1-\mu)(1-\nu)\frac{\gamma_\mathsf{C} \gamma_\mathsf{A}}{\|\mathsf{m}\|\|\mathsf{n}\|} \n{u_h}_X \leq \n{\mathsf{P}_{h,\mu} \mathsf{A}_{h,\nu} u_h}_X\leq \frac{\|\mathsf{c}\|\|\mathsf{a}\|}{\gamma_\mathsf{A}\gamma_\mathsf{C}}(1+\mu)(1+\nu)\n{u_h}_X,
\end{equation}
from where one derives the result for the spectral condition number following the proof of \Cref{thm:opprecond}. For the Euclidean condition number, the proof is similar modulo the term $\operatorname{K}_{\Lambda_h}$ due to the synthesis operator.
\end{proof}

\begin{remark}
\Cref{thm:strang} provides bounds for both spectral and Euclidean condition numbers. Notice that \eqref{eq:k_mu_nu} involves the synthesis operators in $X_h$ (see \Cref{remark:synthesis}). Moreover, it holds that $\operatorname{K}_{\star,\mu,\nu} = \operatorname{K}_{\star,\nu,\mu}$, and $\operatorname{K}_{\star,\mu,\nu}$ does not involve cross-terms in $\mu$ and $\nu$. Remark that \eqref{eq:kS_mu_nu} is a sharper estimate than the previous bound in \cite[Proposition 1]{escapiljerez}. Also, we have assumed $\mathsf{M}$ and $\mathsf{N}$ to be exact or unperturbed but one could also extend the above results to account for perturbed pairings.
\end{remark}

\Cref{thm:strang} constitutes the formal proof of the effectiveness of preconditioning with low-accuracy approximations hinted, for instance, by Bebendorf in \cite[Section 3.6]{bebendorf2008hierarchical}. To illustrate this, assume that the best approximation error in \Cref{lemmaCea} converges at a rate $\mathcal{O}(h^r)$, $r >0$. First, \Cref{thm:strang} shows that one can set $\nu = \mathcal{O}(h^{r})$ to preserve the convergence rate. Second, one can relax $\mu$ by setting a bounded $\mu=\mathcal{O}(1)$ guaranteeing a bounded spectral condition number.
Consequently, the result suggests using different parameters for the assembly of ${\bf P}_\mu$ and ${\bf A}_\nu$. For example, one can keep standard Galerkin methods for building stiffness matrices with preconditioners built using coarser Galerkin approximations \cite{escapiljerez,kleanthous2020accelerated,fierro2020fast}, collocation methods \cite{atkinson1976survey}, compression techniques \cite{bebendorf2008hierarchical,bebendorf2009recompression}, or feedforward neural networks \cite{meade1994numerical,sappl2019deep}.

\section{Iterative Solvers Performance: Hilbert space setting}\label{sec:iterative}
Throughout \Cref{sec:iterative}, we restrict ourselves to $X\equiv H$ with $H$ being a Hilbert space with inner product ${(\cdot,\cdot)}_{{H}}$ and ${\|\cdot\|}_{H} = \sqrt{{(\cdot,\cdot)}_{H}}$. We set ${\bf H} := ({(\varphi_j,\varphi_i)}_H)_{i,j=1}^N$, being Hermitian positive definite with $\{\varphi_i\}_{i=1}^N$ defined in \Cref{sec:problem}, satisfying
\begin{equation} \label{eq:def_inner_product}
\forall \ u_h,v_h \in X_h, \quad {(u_h,v_h)_H} = {\langle \mathsf{R} u_h, v_h\rangle}_{H' \times H} = ({\bf H} {\bf u},{\bf v})_2 =  :{({\bf u},{\bf v})}_H,
\end{equation}
where $\mathsf{R}$ is the isometric Riesz-isomorphism ${H}\rightarrow H'$ \cite[Section 3]{hiptmair2006operator}.

We aim at detailing how the context of \Cref{thm:opprecond} and \Cref{thm:strang} transfers onto the behavior of iterative solvers such as GMRES under the above Hilbertian setting. To this end, the following matrix properties will prove useful.

\subsection{Matrix properties: $H$-FoV}

For any ${\bf Q} \in \mathbb{C}^{N\times N}$, $N\in \mathbb{N}$, we introduce $\mathcal{F}_H({\bf Q})$, the matrix $H$-FoV of ${\bf Q}$---also referred to as $H$-numerical range---and $\mathcal{V}_H({\bf Q})$, the distance of $\mathcal{F}_H({\bf Q})$ from the origin
\begin{equation}\label{eq:numerical_range}
\mathcal{F}_H({\bf Q}):=\left \{\frac{{({\bf Q} {\bf u},{\bf u})}_H}{({\bf u},{\bf u})_H} :{\bf u} \in \mathbb{C}^N \setminus \{\boldsymbol{0}\}\right \} \quad \text{and} \quad \mathcal{V}_H({\bf Q}) := \min_{z \in \mathcal{F}_H({\bf Q}) } |z| = \min_{{\bf u} \in \mathbb{C}^N \setminus \{\boldsymbol{0}\}} \frac{|({\bf Q} {\bf u},{\bf u})_H|}{({\bf u},{\bf u})_H}.
\end{equation}
Likewise, we introduce $\mathcal{F}_2({\bf Q})$, or equivalently 2-FoV, and $\mathcal{V}_2({\bf Q})$. Moreover, for any $\mathsf{Q}_h : X_h \to X_h$, we set the discrete $H$-FoV and $\mathcal{V}_H(\mathsf{Q}_h)$:
\begin{equation}\label{eq:discrete_HFOV}
\mathcal{F}_H(\mathsf{Q}_h):=\left \{\frac{{(\mathsf{Q}_h u_h,u_h)}_H}{(u_h, u_h)_H} :u_h\in X_h \setminus \{\boldsymbol{0}\}\right \} \quad \text{and} \quad \mathcal{V}_H(\mathsf{Q}_h) := \inf_{u_h \in X_h \setminus \{\boldsymbol{0}\}} \frac{|(\mathsf{Q}_h u_h,u_h)_H|}{(u_h,u_h)_H} .
\end{equation}
We recall that the $H$-adjoint of ${\bf Q}$ is ${\bf Q}^{\star}:={\bf H}^{-1}{\bf Q}^H{\bf H}$, and that ${\bf Q}$ is said to be \emph{$H$-normal} if ${\bf Q}$ commutes with ${\bf Q}^{\star}$ \cite[Section 2.2.1.1]{axelsson2009equivalent}.

The matrix $H$-FoV (and $2$-FoV) being key in describing the linear convergence of GMRES$(m)$, we aim at giving a further insight on these sets. Following \cite[Section 4]{benzi2016localization}, we state some useful properties of the matrix $H$-FoV.
\begin{lemma}[Properties of the matrix $H$-FoV $\mathcal{F}_H({\bf Q})$]\label{lemma:numrange}
Consider any ${\bf Q},{\bf H} \in \mathbb{C}^{N\times N}$, $N\in \mathbb{N}$, with ${\bf H}$ being a Hermitian positive definite matrix. The following properties hold:
\begin{enumerate}
  \item[(i)] $\mathcal{F}_H({\bf Q}) = \mathcal{F}_2({\bf H}^\frac{1}{2}{\bf Q} {\bf H}^{-\frac{1}{2}})$;
  \item[(ii)] Spectral containment: $\mathfrak{S} ({\bf Q}) \subset \mathcal{F}_H( {\bf Q})$;
  \item[(iii)] $H$-normal matrices: If ${\bf Q}$ is $H$-normal, then $\mathcal{F}_H({\bf Q})= \textup{Conv}(\mathfrak{S} ({\bf Q}))$ the convex hull of $\mathfrak{S}({\bf Q})$;
  \item[(iv)] $\mathcal{F}_H({\bf Q})$ is contained in a disk centered at $0$ with radius $\n{{\bf Q}}_H$;
  \item[(v)] $\mathcal{F}_H({\bf Q})$ is compact and convex.
\end{enumerate}
\end{lemma}
\begin{proof}Set $\widehat{{\bf Q}} : = {\bf H}^\frac{1}{2}{\bf Q} {\bf H}^{-\frac{1}{2}}$.
\begin{itemize}
\item[(i)] For any ${\bf u}\in \mathbb{C}^N\setminus \{\boldsymbol{0}\}$, one can define $\widehat{{\bf u}} : = {\bf H}^\frac{1}{2} {\bf u} $ such that
$$\frac{({\bf Q}{\bf u},{\bf u})_H}{({\bf u},{\bf u})_H} =  \frac{({\bf H}^\frac{1}{2}\widehat{{\bf Q}}{\bf H}^\frac{1}{2} {\bf u} ,{\bf u})_2 }{({\bf H}^\frac{1}{2} {\bf H}^\frac{1}{2} {\bf u},{\bf u})_2}= \frac{(\widehat{{\bf Q}} \widehat{{\bf u}},\widehat{{\bf u}})_2}{(\widehat{{\bf u}},\widehat{{\bf u}})_2},
$$
proving that $\mathcal{F}_H ({\bf Q})=\mathcal{F}_2(\widehat{{\bf Q}})$, and that $\n{\widehat{{\bf Q}}}_2 = \n{{\bf Q}}_H$.
\item[(ii)] By \cite[Section 4, Item 1]{benzi2016localization}, one has $\mathfrak{S}(\widehat{{\bf Q}}) \subset \mathcal{F}_2 ( \widehat{{\bf Q}})$. Clearly, ${\bf Q}$ and $\widehat{{\bf Q}}$ share the same spectrum.
\item[(iii)] If ${\bf Q}$ is $H$-normal, there holds that ${\bf Q} {\bf H}^{-1}{\bf Q}^H {\bf H} = {\bf H}^{-1} {\bf Q}^H {\bf H} {\bf Q}$, hence $${\bf H}^\frac{1}{2} {\bf Q} {\bf H}^{-1}{\bf Q}^H {\bf H}\bH^{- \frac{1}{2}} = {\bf H}^\frac{1}{2} {\bf H}^{-1} {\bf Q}^H {\bf H} {\bf Q} {\bf H}^{- \frac{1}{2}},$$ leading to $\widehat{{\bf Q}}\widehat{{\bf Q}}^H = \widehat{{\bf Q}}^H \widehat{{\bf Q}}$, proving that $\widehat{{\bf Q}}$ is normal. By \cite[Section 4, Item 10]{benzi2016localization}, we deduce that $\mathcal{F}_2(\widehat{{\bf Q}}) = \textup{Conv} (\mathfrak{S} (\widehat{{\bf Q}}))$.
\item[(iv)] $\mathcal{F}_2(\widehat{{\bf Q}})$ is contained in a disk centered at zero with radius $\n{\widehat{{\bf Q}}}_2$ \cite[Section 4, Item 3]{benzi2016localization}. Moreover, $\mathcal{F}_H ({\bf Q})= \mathcal{F}_2(\widehat{{\bf Q}})$ and $ \n{{\bf Q}}_H = \n{\widehat{{\bf Q}}}_2$.
\item[(v)] $\mathcal{F}_2(\widehat{{\bf Q}})$ is compact and convex by \cite[Section 4, Items 7 and 12]{benzi2016localization}.
\end{itemize}
\end{proof}

\begin{figure}[t]
\centering
\includegraphics[width=.8\textwidth]{test1.pdf}
\caption{$2$-FoV boundary (blue line), eigenvalues (green circles), convex hull for eigenvalues (green line) and $|\lambda_\text{min}|,|\lambda_\text{max}|$ (black diamonds) for a matrix ${\bf Q}:={\bf I} + 0.5\mathbf{E} \in \mathbb{R}^{40\times 40}$ (left) and its inverse ${\bf Q}^{-1}$ (right). $\mathbf{E}$ is a random matrix with $\mathbf{E}_{i,j}$ uniformly distributed random numbers in $[0,1]$ for $0\leq i,j\leq 40$. Remark that $0 \neq \textup{Conv}(\mathfrak{S}({\bf Q}))$ (resp.~$0 \neq \textup{Conv}(\mathfrak{S}({\bf Q}^{-1}))$) while $0 \in \mathcal{F}_2({\bf Q})$ (resp.~$0 \in \mathcal{F}_2({\bf Q}^{-1})$).}
\label{fig:numrange}
\end{figure}

\Cref{fig:numrange} illustrates the above definitions for a random matrix. Remark that: (i) ${\bf Q}$ is invertible, as $|\lambda_\text{min}({\bf Q})| >0$; (ii) $\mathcal{F}_2({\bf Q}) \not\subset \textup{Conv}(\mathfrak{S}({\bf Q}))$ and $\mathcal{F}_2({\bf Q}^{-1}) \not\subset \textup{Conv}(\mathfrak{S}({\bf Q}^{-1}))$; (iii) $\text{Conv}(\mathfrak{\mathfrak{S}({\bf Q}}))$ and $\text{Conv}(\mathfrak{S}({\bf Q}^{-1}))$ are bounded away from the origin, whereas $0\in \mathcal{F}_2({\bf Q})$ and $0\in \mathcal{F}_2({\bf Q}^{-1})$. Moreover, one has $\kappa_S({\bf Q}) = 30.6$ while $\kappa_2({\bf Q})= 58.3$, evidencing the non-normality of ${\bf Q}$.

\subsection{General linear convergence estimates for GMRES$(m)$}\label{subsec:iterative}
Following \cite[Chapter 5]{graham2017domain}, let us recall the application of the weighted (resp.~Euclidean) GMRES to a linear system ${\bf Q} {\bf x} = {\bf d}$ in $\mathbb{C}^N$, where ${\bf Q}\in\mathbb{C}^{N\times N}$ is a complex nonsingular matrix. For an initial guess ${\bf x}_0 \neq {\bf x}$, we introduce the residual ${\bf r}_0 = {\bf d} - {\bf Q} {\bf x}_0$ such that ${\bf r}_0 \neq 0$ as well as Krylov spaces
\begin{equation}\label{eq:Krylov}
\mathcal{K}^k ({\bf Q} , {\bf r}_0) : = \textup{span} \{  {\bf Q}^j {\bf r}_0 : j= 0,\ldots, k-1 \}, \quad  1 \leq k \leq N.
\end{equation}
For any step $1 \leq k \leq N$, we define ${\bf x}_k$ and $\tilde{{\bf x}}_k$ to be the unique elements of $\mathcal{K}^k({\bf Q}, {\bf r}_0)$ satisfying the minimal residual property under the energy and Euclidean norms:
\begin{equation}
\begin{split}
\n{{\bf r}_k}_H &: = \n{{\bf d} - {\bf Q} {\bf x}_k }_H = \min_{{\bf x} \in \mathcal{K}^k  ({\bf Q} , {\bf r}_0)} \n{{\bf d} - {\bf Q} {\bf x}}_H, \\
\n{\tilde{{\bf r}}_k}_2 &: = \n{{\bf d} - {\bf Q} \tilde{{\bf x}}_k }_2 = \min_{{\bf x} \in \mathcal{K}^k  ({\bf Q} , {\bf r}_0)} \n{{\bf d} - {\bf Q} {\bf x}}_2,
\end{split}
\end{equation}
respectively. We refer to either weighted or Euclidean GMRES collectively as GMRES. We add an $(m)$ superscript to signal restarted GMRES$(m)$, for any natural number $1\leq m\leq N$. Notice that GMRES and GMRES$(m)$ coincide up to iteration $m$.

\begin{lemma}[Weighted GMRES$(m$): Linear bounds]\label{lemma:Weighted_GMRES}Let ${\bf Q}\in \mathbb{C}^{N\times N}$, with $0 \neq \mathcal{F}_H({\bf Q})$ in \eqref{eq:numerical_range} and set $1\leq m\leq N$. Then, the $k$-th residual of weighted GMRES$(m)$ for $1\leq k\leq N$ satisfies:
\begin{equation}\label{eq:elmanm}
\frac{\n{{\bf r}_k}_H}{\n{{\bf r}_0}_H} \leq \left(1 -  \mathcal{V}_H({\bf Q}) \mathcal{V}_H\left({\bf Q}^{-1}\right)  \right)^\frac{k}{2}.
\end{equation}
\end{lemma}
\begin{proof}
We first remark that \Cref{lemma:Weighted_GMRES} for the Euclidean GMRES, i.e.~for ${\bf H}={\bf I}$, is proved in \cite{liesen2012field}. Thus, we focus on the extension to weighted GMRES. Following \cite[Theorem 5.1]{graham2017domain}, we set $\widehat{{\bf Q}} : = {\bf H}^\frac{1}{2} {\bf Q} {\bf H}^{-\frac{1}{2}}$, $\widehat{{\bf d}}:= {\bf H}^\frac{1}{2} {\bf d}$, $\widehat{{\bf x}}: = {\bf H}^\frac{1}{2}{\bf x}$ and $\widehat{{\bf r}}_0 := {\bf H}^\frac{1}{2} {\bf r}_0$. Application of the Euclidean GMRES to $\widehat{{\bf Q}}\widehat{{\bf x}} = \widehat{{\bf d}}$ yields
\begin{equation} \label{eq:proof_linear}
\frac{\n{\widehat{{\bf r}}_k}_2}{\n{\widehat{{\bf r}}_0}_2} \leq \left(1 -  \mathcal{V}_2 (\widehat{{\bf Q}} ) \mathcal{V}_2(\widehat{{\bf Q}}^{-1})  \right)^\frac{k}{2}.
\end{equation}
By \Cref{lemma:numrange}, we obtain that $\mathcal{F}_H ({\bf Q})=\mathcal{F}_2(\widehat{{\bf Q}})$ and $\mathcal{F}_H ({\bf Q}^{-1})= \mathcal{F}_2({\bf H}^{1/2} {\bf Q}^{-1} {\bf H}^{-1/2}) =\mathcal{F}_2(\widehat{{\bf Q}}^{-1})$. Consequently, by \eqref{eq:proof_linear} we derive the final bound for the weighted GMRES
\begin{equation}
\label{eq:GMRES_weight}
\frac{\n{{\bf r}_k}_H}{\n{{\bf r}_0}_H} \leq \left(1 -  \mathcal{V}_H ({\bf Q}) \mathcal{V}_H({\bf Q}^{-1})  \right)^\frac{k}{2}=\rho^k,
\end{equation}
with $\rho :=  \left(1 - \mathcal{V}_H ({\bf Q}) \mathcal{V}_H({\bf Q}^{-1})\right)^\frac{1}{2}$ and $\rho < 1$ by \cite[Section 1]{liesen2012field}. Finally, we remark that $\rho$ above does not depend on $k$: it provides a one-step bound. Therefore, we set a restart $1 \leq m \leq N $ and define $k= : i m + t$ with $0 \leq t < m$ and $0 \leq i \leq \lfloor \frac{N}{m}\rfloor$. By application of \eqref{eq:GMRES_weight}, there holds that:
\begin{equation}
\n{{\bf r}_{im + t}}_H  \leq \rho^t \n{{\bf r}_{im}}_H,
\end{equation}
and thus, $\n{{\bf r}_k}_H \leq \rho^k \n{{\bf r}_0}_H$, leading to the expected result for GMRES$(m)$.
\end{proof}
\begin{remark}
\Cref{lemma:Weighted_GMRES} provides a linear convergence bound for weighted GMRES$(m)$ with respect to $\mathcal{V}_H({\bf Q})$ and $\mathcal{V}_H({\bf Q}^{-1})$ and constitutes a sharper version of the classic result for weighted GMRES in \cite{graham2017domain,sarkis2007optimal}. Indeed, for ${\bf Q}$ in \Cref{lemma:Weighted_GMRES} there holds that \cite[Section 1]{liesen2012field}:
$$ 1 - \mathcal{V}_H({\bf Q}) \mathcal{V}_H({\bf Q}^{-1}) \leq 1- \frac{\mathcal{V}_H({\bf Q})^2}{\|{\bf Q}\|_H^2} < 1.$$
\end{remark}
\subsection{Discrete $\langle X_h\rangle$- and $(X_h)$-coercivity}
For the ensuing GMRES analysis of our preconditioned problem \textup{(\!(CA)\!)}, we need precise definitions for coercivity that relate to the BNB condition for Hilbert spaces. We introduce the notion of (discrete) $\langle X_h\rangle$-coercivity, with angle brackets referring to the dual pairing in \eqref{eq:dual_pairing} (refer to \cite[Section 5]{chandler2012numerical}).

\begin{definition}[$\langle X_h\rangle$-coercivity]\label{def:discrete_coercivity_dual}Consider $\mathsf{A}:X \to X'$ as in the BG case with $X$ being a Hilbert space. For $h>0$ given, $\mathsf{A}$ is said to be $\langle X_h \rangle $-coercive if there exists $\alpha_\mathsf{A}$ such that
\begin{equation}
0 <\alpha_\mathsf{A} \leq\frac{|\mathsf{a}(u_h,u_h)|}{\n{u_h}_X^2} = \frac{|\langle \mathsf{A} u_h,u_h\rangle_{X'\times X}|}{\n{u_h}_X^2} \quad \forall \ u_h \in X_h  \setminus \{\boldsymbol{0}\}.
\end{equation}
\end{definition}
Thus, discrete $\langle X_h \rangle$-\emph{ellipticity} refers to self-adjoint operators satisfying the $\langle X_h\rangle$-coercivity condition. These definitions extend naturally to continuous $\langle X\rangle$-coercivity and -ellipticity.
\begin{remark}[BNB condition and $\langle X_h \rangle$-coercivity]\label{rmk:inf-sup}
As pointed out for $\langle X \rangle$-coercivity in \cite[Lemma 2.8]{ern2004theory} , $\langle X_h \rangle$-coercivity for $\mathsf{A}$ in \Cref{def:discrete_coercivity_dual} provides a BNB constant $\gamma_\mathsf{A} = \alpha_\mathsf{A}$, since for any $u_h \in X_h \setminus \{\boldsymbol{0}\}$, it holds that
\begin{equation}
0 < \alpha_\mathsf{A} \n{u_h}_X \leq \frac{ |\mathsf{a}(u_h,u_h)|}{\n{u_h}_X} \leq \sup_{v_h \in X_h \setminus \{\boldsymbol{0}\}} \frac{ |\mathsf{a}(u_h,v_h)|}{\n{v_h}_X}.
\end{equation}
\end{remark}
\begin{remark}
$\langle X_h \rangle$-coercivity is a common property for BG methods in Hilbert spaces. For example, under suitable assumptions on the discretization scheme, operators with a G\aa rding inequality on $X$---of the form $\mathsf{A} = \mathsf{A}_0 +\mathsf{K}:X \to X'$ with $\mathsf{A}_0$ $\langle X \rangle$-coercive and $\mathsf{K}$ compact \cite[Section 2.1]{sauter2010boundary}--- admit a $h_0>0$ such that $\mathsf{A}$ is $\langle X_h \rangle$-coercive for all $0 < h \leq h_0$ \cite[Section 4.2.3]{sauter2010boundary}.
\end{remark}

Similarly to \Cref{def:discrete_coercivity_dual}, we introduce the discrete $(X_h)$-coercivity, the difference being the use of inner products.
\begin{definition}[$(X_h)$-coercivity]\label{def:H_coercivity}Consider $\mathsf{A}:X\to X$ for the PGE case with $X=: H$ being a Hilbert space. $\mathsf{A}$ is said to be $(X_h)$-coercive if, for any $u_h \in X_h \setminus \{\boldsymbol{0}\}$, there exists $\alpha_\mathsf{A} >0$ such that
\begin{equation}
\alpha_\mathsf{A}  \leq  \frac{ \left|(\mathsf{A} u_h ,u_h)_H\right| }{(u_h,u_h)_H},
\end{equation}
or equivalently
\begin{equation}\label{eq:HFOVcoercivity}
\alpha_\mathsf{A}  \leq  \inf_{u_h \in X_h \setminus \{\boldsymbol{0}\}} \frac{ \left|(\mathsf{A} u_h ,u_h)_H\right| }{(u_h,u_h)_H}= \mathcal{V}_H(\mathsf{A}_h).
\end{equation}
\end{definition}
\Cref{def:H_coercivity} via \eqref{eq:HFOVcoercivity} shows the strong connection between $(X_h)$-coercivity and discrete $\mathcal{V}_H$. Furthermore, under the OP setting, the discrete and matrix $H$-FoVs coincide.
\begin{lemma}\label{lemma:coicideFoV}Consider \textup{(\!(CA)\!)}~with $X=:H$ a Hilbert space with inner product $(\cdot,\cdot)_H$. There holds that
\begin{enumerate}
\item[(i)]  $\mathcal{F}_H(\mathsf{P}_h\mathsf{A}_h) = \mathcal{F}_H ({\bf P} {\bf A})$ and $\mathcal{F}_H((\mathsf{P}_h\mathsf{A}_h)^{-1}) = \mathcal{F}_H (({\bf P} {\bf A})^{-1})$;
\item[(ii)] $\mathcal{V}_H(\mathsf{P}_h\mathsf{A}_h) = \mathcal{V}_H ({\bf P} {\bf A})$ and $\mathcal{V}_H((\mathsf{P}_h\mathsf{A}_h)^{-1}) = \mathcal{V}_H (({\bf P} {\bf A})^{-1})$.
\end{enumerate}
\end{lemma}
\begin{proof}Following \eqref{eq:OPalgebra}, $q_h :=\mathsf{P}_h\mathsf{A}_h u_h \in X_h$ for any $u_h \in X_h$ has basis expansion ${\bf q} ={\bf P} {\bf A} {\bf u}$. Therefore, there holds by \eqref{eq:def_inner_product} that for any $u_h \in X_h$:
\begin{equation}
(\mathsf{P}_h \mathsf{A}_h u_h , u_h)_H = ({\bf P} {\bf A} {\bf u} , {\bf u})_H\quad \text{and} \quad (u_h,u_h)_H = ({\bf u}, {\bf u})_H,
\end{equation}
yielding $\mathcal{F}_H(\mathsf{P}_h\mathsf{A}_h)= \mathcal{F}_H({\bf P}{\bf A})$, and thus the expected result for $\mathsf{P}_h \mathsf{A}_h$. Similarly, one deduces the same result for the inverse operator since for any $q_h \in X_h$, $(\mathsf{P}_h\mathsf{A}_h)^{-1}q_h$ has basis expansion $({\bf P} {\bf A})^{-1} {\bf q}$.\end{proof}

\subsection{Linear convergence estimates for GMRES$(m)$ applied to \textup{(\!(CA)\!)}}\label{subsec:LinearCA}

Following \Cref{subsec:iterative}, application of the weighted (resp.~Euclidean) preconditioned GMRES$(m)$, for $1 \leq m \leq N$, to \textup{(\!(CA)\!)}$_{\mu,\nu}$ and initial guess ${\bf x}_0 \neq {\bf u}_\nu$, has the iterates ${\bf x}_k$ (resp.~$\tilde{{\bf x}}_k$) for any step $1\leq k \leq N$ with minimal residual properties:
\begin{equation}\label{eq:prec_residual}
\begin{split}
\n{{\bf P}_\mu {\bf r}_k}_H &: = \n{{\bf P}_\mu {\bf b}_\nu - {\bf P}_\mu {\bf A}_\nu {\bf x}_k }_H = \min_{{\bf x} \in \mathcal{K}^k  ({\bf P}_\mu {\bf A}_\nu , {\bf r}_0)} \n{{\bf P}_\mu {\bf b}_\nu - {\bf P}_\mu {\bf A}_\nu {\bf x}}_H, \\
\n{{\bf P}_\mu \tilde{{\bf r}}_k}_2 &: = \n{{\bf P}_\mu {\bf b}_\nu - {\bf P}_\mu {\bf A}_\nu \tilde{{\bf x}}_k }_2 = \min_{{\bf x} \in \mathcal{K}^k \left({\bf P}_\mu {\bf A}_\nu , {\bf r}_0\right)} \n{{\bf P}_\mu {\bf b}_\nu - {\bf P}_\mu {\bf A}_\nu {\bf x}}_2,
\end{split}
\end{equation}
with $\mathcal{K}^k$ introduced in \eqref{eq:Krylov} and obvious construction for \textup{(\!(CA)\!)}. By \eqref{eq:prec_residual}, the minimal residuals satisfy
\begin{equation}\label{eq:minimal}
\n{{\bf P}_\mu \tilde{{\bf r}}_k}_2 \leq \n{{\bf P}_\mu {\bf r}_k}_2\quad \text{and} \quad  \n{{\bf P}_\mu {\bf r}_k}_H \leq \n{{\bf P}_\mu \tilde{{\bf r}}_k}_H.
\end{equation}
We set convergence rates for the weighted (resp.~Euclidean) preconditioned GMRES$(m)$:
\begin{equation}\label{eq:ConvRates}
\Theta^{(m)}_k := \left(\frac{\n{{\bf P}_\mu {\bf r}_k}_H}{ \n{{\bf P}_\mu {\bf r}_0}_H}\right)^\frac{1}{k} \quad \text{and} \quad  \widetilde{\Theta}_k^{(m)} :=\left( \frac{\n{{\bf P}_\mu \tilde{{\bf r}}_k}_2}{ \n{{\bf P}_\mu {\bf r}_0}_2}\right)^\frac{1}{k}.
\end{equation}
Finally, we define convergence rates for non-restarted weighted (resp.~Euclidean) preconditioned GMRES $\Theta_k :=\Theta_k^{(N)}$ (resp.~$\widetilde{\Theta}_k:=\widetilde{\Theta}_k^{(N)}$).

The bounds in \Cref{thm:opprecond} and \Cref{thm:strang} are related to the spectral radius, and rely on the continuity and discrete inf-sup constants: they do not supply information on the eigenvalue or FoV distributions, as pointed out in \Cref{fig:numrange}, which are required to derive convergence results for iterative solvers to \textup{(\!(CA)\!)} or \textup{(\!(CA)\!)}$_{\mu,\nu}$. Thus, more specific conditions are required. For instance, for \textup{(\!(CA)\!)}~we enforce the following $(X_h)$-coercivity condition for $\mathsf{P}_h\mathsf{A}_h$.

\begin{assumption}[$(X_h)$-coercivity for \textup{(\!(CA)\!)}]\label{ass:FOV}For problem \textup{(\!(CA)\!)}~with $X:=H$ being a Hilbert space with inner product $(\cdot,\cdot)_H$, we assume that $\mathsf{P}_h\mathsf{A}_h$ and its inverse are $(X_h)$-coercive satisfying
\begin{equation} \label{eq:def_CAL}
\frac{\gamma_\mathsf{C} \gamma_\mathsf{A}}{\|\mathsf{m}\|\|\mathsf{n}\|}\leq \mathcal{V}_H(\mathsf{P}_h\mathsf{A}_h) \quad \text{and}  \quad \frac{\gamma_\mathsf{M} \gamma_\mathsf{N}}{\|\mathsf{c}\|\|\mathsf{a}\|}  \leq \mathcal{V}_H((\mathsf{P}_h \mathsf{A}_h)^{-1}).
\end{equation}
\end{assumption}
\begin{remark}\label{rmk:extensionXh}The $(X_h)$-coercivity constants in \Cref{ass:FOV} emerge naturally, as they are related to the BNB constants for both $\mathsf{P}_h\mathsf{A}_h$ and its inverse (cf.~proof of \Cref{thm:opprecond}). Alternatively, one can write \Cref{ass:FOV} as:
\begin{equation}
0 < \Gamma_0 \leq \mathcal{V}_H(\mathsf{P}_h \mathsf{A}_h) \quad \text{and}\quad 0<  \Gamma_1 \leq \mathcal{V}_H((\mathsf{P}_h\mathsf{A}_h)^{-1}),
\end{equation}
with $\Gamma_0, \Gamma_1$ constants depending on the discrete inf-sup and continuity constants for the induced operators and eventually for $(\cdot, \cdot)_H$ in \eqref{eq:def_inner_product}.
\end{remark}

We are ready to state the linear convergence result for GMRES$(m)$ for \textup{(\!(CA)\!)}~for the Hilbertian case.
\begin{theorem}[{GMRES$(m)$: Linear convergence estimates for \textup{(\!(CA)\!)}}]
\label{lemma_linear}
Consider \textup{(\!(CA)\!)}~with $X=:H$ Hilbert and $(\cdot,\cdot)_H$ such that \Cref{ass:FOV} holds. Then, GMRES($m$) for $1\leq k,m \leq N$ leads to
\begin{equation}
\label{eq:elmanCA}
\Theta_k^{(m)}  \leq  \left(1- \frac{1}{\operatorname{K}_\star}\right)^\frac{1}{2} \quad \textup{and} \quad \widetilde{\Theta}_k^{(m)} \leq  \operatorname{K}_{\Lambda_h}\left(1 - \frac{1 }{\operatorname{K}_\star}\right)^\frac{1}{2},
\end{equation}
with $\operatorname{K}_\star$ as defined in \eqref{eq:kS_star} and $\operatorname{K}_{\Lambda_h}$ in \eqref{eq:KL}.
\end{theorem}
\begin{proof}By combining \Cref{ass:FOV}, \Cref{lemma:coicideFoV} and definition of $\operatorname{K}_\star$, there holds that
\begin{equation}
\mathcal{V}_H ({\bf P}{\bf A}) \mathcal{V}_H(({\bf P}{\bf A})^{-1}) \geq \frac{1}{\operatorname{K}_\star}
\end{equation}
and thus
$$1 -\mathcal{V}_H ({\bf P}{\bf A}) \mathcal{V}_H(({\bf P}{\bf A})^{-1}) \leq 1 - \frac{1}{\operatorname{K}_\star}$$
Application of \Cref{lemma:Weighted_GMRES} to the preconditioned system with residuals \eqref{eq:prec_residual} provides the first bound in \eqref{eq:elmanCA}, namely
\begin{equation}\label{eq:proof_lemma_linear1}
\frac{\n{{\bf P} {\bf r}_k}_H}{\n{{\bf P} {\bf r}_0}_H} \leq \left(1 - \frac{1}{\operatorname{K}_\star}  \right)^\frac{k}{2}, \quad 1 \leq k \leq N.
\end{equation}
Next, we follow the steps in \cite[Section 4]{sarkis2007optimal} to arrive at the second bound in \eqref{eq:elmanCA}. First, the minimal residual property \eqref{eq:minimal} yields
\begin{equation}\label{eq:proof_lemma_linear2}
\n{{\bf P} \tilde{{\bf r}}_k}_2\leq \n{{\bf P} {\bf r}_k}_2.
\end{equation}
By virtue of the synthesis operator in \eqref{eq:synthesis}, one has
\begin{equation}\label{eq:proof_lemma_linear3}
\n{{\bf P} {\bf r}_k}_2 \leq  \frac{1}{\gamma_{\Lambda_h}} \n{{\bf P} {\bf r}_k}_H\quad \text{and} \quad \n{{\bf P} {\bf r}_0}_H \leq \|\Lambda_h\| \n{{\bf P} {\bf r}_0}_2.
\end{equation}
Therefore, \eqref{eq:proof_lemma_linear1} combined with \eqref{eq:proof_lemma_linear2} and \eqref{eq:proof_lemma_linear3} lead to the final result, as
\begin{align*}
\n{{\bf P} \tilde{{\bf r}}_k}_2\leq \n{{\bf P} {\bf r}_k}_2 \leq  \frac{1}{\gamma_{\Lambda_h}}\n{{\bf P} {\bf r}_k}_H\leq  \frac{1}{\gamma_{\Lambda_h}}\left(1- \frac{1}{\operatorname{K}_\star}\right)^\frac{k}{2} \n{{\bf P} {\bf r}_0}_H
\leq  \operatorname{K}_{\Lambda_h}\left(1- \frac{1}{\operatorname{K}_\star}\right)^\frac{k}{2} \n{{\bf P} {\bf r}_0}_2,
\end{align*}
as stated.
\end{proof}
\begin{remark}
This result provides extensive convergence bounds for GMRES$(m)$. It will guarantee $h$-independent convergence for weighted GMRES$(m)$ for \textup{(\!(CA)\!)}~in the Hilbert setting (cf.~\Cref{remark:Asymptotics}). Also, the synthesis operator enters as an offset factor in $\widetilde{\Theta}_k^{(m)}= \operatorname{K}_{\Lambda_h} \rho$ with $\rho:= (1- 1/ \operatorname{K}_\star)^{1/2} <1$. One should observe that $\widetilde{\Theta}_k^{(\text{m})}$ could be larger than 1 for $\operatorname{K}_{\Lambda_h} >1$, an impractical bound for Euclidean GMRES$(m)$. The latter supports theoretically the use of weighted GMRES$(m)$ as a solver \cite{feischl2017optimal}.
\end{remark}
To illustrate the application of the above results, we provide a case of interest where \Cref{ass:FOV} is satisfied. Therein, notice the extra $\mathsf{K}_\mathsf{A}$-term in \eqref{eq:lemma_precinduced} below, justifying \Cref{rmk:extensionXh}.
\begin{corollary}[Preconditioner-induced norm {\cite{feischl2017optimal,starke1997field,kirby2010functional}}]\label{case:case}Consider \textup{(\!(CA)\!)}~for OP-BG for Hilbert spaces $X=:H$ and $V$, $\mathsf{A}$ being $\langle X_h \rangle$-coercive, and $\mathsf{C}$ being $\langle V_h \rangle$-elliptic, with $\gamma_\mathsf{A} := \alpha_\mathsf{A}$ and $\gamma_\mathsf{C}:=\alpha_\mathsf{C}$. Then, $\mathsf{P}^{-1}$ is Hermitian and yields an inner product on $X_h$, denoted by $(\cdot,\cdot)_{P^{-1}}$, and
\begin{equation} \label{eq:lemma_precinduced}
 \frac{\gamma_\mathsf{C}\gamma_\mathsf{A} }{\|\mathsf{m}\|^2}  \leq  \mathcal{V}_{P^{-1}}(\mathsf{P}_h \mathsf{A}_h) \quad\text{and}\quad \frac{\gamma_\mathsf{M}^2}{\|\mathsf{c}\|\|\mathsf{a}\|}\operatorname{K}_\mathsf{A} \leq \mathcal{V}_{P^{-1}}((\mathsf{P}_h \mathsf{A}_h)^{-1}).
\end{equation}
\end{corollary}\begin{proof}First, notice that since $\mathsf{C}$ is $\langle V_h\rangle$-elliptic, ${\bf C}$ and ${\bf C}^{-1}$ are Hermitian positive definite. Therefore, we deduce that ${\bf P}= {\bf M}^{-1}{\bf C} {\bf M}^{-H} = {\bf P}^H$ and ${\bf P}^{-1} = {\bf P}^{-H}$ are Hermitian positive definite. For any ${\bf u},{\bf v}\in \mathbb{C}^N\setminus \{\boldsymbol{0}\}$ and ${\bf w} := {\bf P}^{-1}{\bf v}$, one has
$$
\mathcal{V}_{P^{-1}} ( \mathsf{P}_h \mathsf{A}_h) =  \inf_{{\bf u} \in \mathbb{C}^N \setminus \{\boldsymbol{0}\}}\frac{|({\bf P} {\bf A} {\bf u} , {\bf u} )_{P^{-1}}|}{({\bf u},{\bf u})_{P^{-1}}} =   \inf_{{\bf u} \in \mathbb{C}^N \setminus \{\boldsymbol{0}\}}\frac{| ({\bf A} {\bf u}, {\bf u})_2|}{|({\bf P}^{-1} {\bf u},{\bf u})_2|}
$$
and
$$
\quad\mathcal{V}_{P^{-1}} ( (\mathsf{P}_h \mathsf{A}_h)^{-1}) =   \inf_{{\bf v} \in \mathbb{C}^N \setminus \{\boldsymbol{0}\}}\frac{|({\bf A}^{-1}{\bf P}^{-1} {\bf v} , {\bf v} )_{P^{-1}}|}{({\bf v},{\bf v})_{P^{-1}}} =  \inf_{{\bf w} \in \mathbb{C}^N \setminus \{\boldsymbol{0}\}}\frac{| ({\bf A}^{-1} {\bf w}, {\bf w})_2|}{|({\bf P} {\bf w},{\bf w})_2|}.
$$
Next, using Equations 2.61 and 2.62 in Kirby \cite{kirby2010functional}, we deduce that:
\begin{equation}
\gamma_\mathsf{A} \|u_h\|_X^2 \leq |({\bf A} {\bf u},{\bf u})_2| \leq \|\mathsf{a}\|\|u_h\|_X^2\quad \text{and} \quad \frac{\gamma_\mathsf{A}}{\|\mathsf{a}\|} \|w_h\|_{X_{{h}}'}^2 \leq |({\bf A}^{-1} {\bf w},{\bf w})_2| \leq \|\mathsf{a}\|\|w_h\|_{X_{{h}}'}^2,
\end{equation}
while for the preconditioner ${\bf P}$ one has by \cite[Section 13.2]{steinbach2007numerical} that
\begin{equation}
\frac{\gamma_\mathsf{C}}{\|\mathsf{m}\|^2} \|w_h\|_{X_h'}^2 \leq |({\bf P} {\bf w},{\bf w})_2| \leq \frac{\|\mathsf{c}\|}{\gamma_\mathsf{M}^2}\|w_h\|_{X_{{h}}'}^2 \quad \text{and} \quad \frac{\gamma_\mathsf{M}^2}{\|\mathsf{c}\|} \|u_h\|_{X}^2 \leq |({\bf P}^{-1} {\bf u},{\bf u})_2| \leq \frac{\|\mathsf{m}\|^2}{\gamma_\mathsf{C} }\|u_h\|_{X}^2.
\end{equation}
Therefore,
\begin{equation}
\frac{\gamma_\mathsf{A} \gamma_\mathsf{C}}{\|\mathsf{m}\|^2} \leq \frac{| ({\bf A} {\bf u}, {\bf u})_2|}{|({\bf P}^{-1} {\bf u},{\bf u})_2|} \quad \text{and} \quad \frac{\gamma_\mathsf{A} \gamma_\mathsf{M}^2}{\|\mathsf{a}\|^2 \|\mathsf{c}\|}  \leq \frac{| ({\bf A}^{-1} {\bf w}, {\bf w})_2|}{|({\bf P} {\bf w},{\bf w})_2|},
\end{equation}
finalizing the proof.
\end{proof}
\begin{corollary}\label{colo:case}Consider \textup{(\!(CA)\!)}~for OP-BG for Hilbert spaces $X=:H$ and $V$, $\mathsf{A}$ being $\langle X_h \rangle$-coercive, and $\mathsf{C}$ being $\langle V_h \rangle$-elliptic. Then, GMRES$(m)$ for $1\leq k , m \leq N$ leads to
\begin{equation}
\Theta_k^{(m)} \leq \left(1 - \frac{1}{\operatorname{K}_\star \operatorname{K}_\mathsf{A}}\right)\quad \text{and} \quad \widetilde{\Theta}_k^{(m)} \leq  \operatorname{K}_{\Lambda_h}\left(1 - \frac{1 }{\operatorname{K}_\star \operatorname{K}_\mathsf{A}}\right)^\frac{1}{2},
\end{equation}
with $\operatorname{K}_\star$ as defined in \eqref{eq:kS_star}, $\operatorname{K}_{\Lambda_h}$ in \eqref{eq:KL} and $\operatorname{K}_\mathsf{A}$ in \eqref{eq:discrete_condition_number}.
\end{corollary}
\begin{remark}
The $\operatorname{K}_\mathsf{A}$-term in \Cref{case:case} and \Cref{colo:case} is removed if $\mathsf{A}$ is $\langle X_h \rangle$-elliptic, since $\mathsf{A}^{-1}$ is $\langle X_h'\rangle$-elliptic with constant $1/\|\mathsf{a}\|$ \cite[Section 13.2]{steinbach2007numerical}.
\end{remark}

\subsection{Linear convergence estimates for GMRES$(m)$ applied to \textup{(\!(CA)\!)}$_{\mu,\nu}$}

As in \Cref{subsec:LinearCA}, we give counterparts to \Cref{ass:FOV} and \Cref{lemma_linear} for the bi-parametric preconditioned problem \textup{(\!(CA)\!)}$_{\mu,\nu}$.
\begin{assumption}[$(X_h)$-coercivity for \textup{(\!(CA)\!)}$_{\mu,\nu}$]\label{ass:FOVmn}For \textup{(\!(CA)\!)}$_{\mu,\nu}$~with $X:=H$ being a Hilbert space with inner product $(\cdot,\cdot)_H$, assume that there holds that
\begin{equation} \label{eq:def_CALmn}
\frac{\gamma_{\mathsf{C}_\mu} \gamma_{\mathsf{A}_\nu}}{\|\mathsf{m}\|\|\mathsf{n}\|}\leq \mathcal{V}_H(\mathsf{P}_{h,\mu} \mathsf{A}_{h,\nu}) \quad \text{and}  \quad \frac{\gamma_\mathsf{M} \gamma_\mathsf{N}}{\|\mathsf{c}_\mu\|\|\mathsf{a}_\nu\|} \leq \mathcal{V}_H((\mathsf{P}_{h,\mu} \mathsf{A}_{h,\nu})^{-1}).
\end{equation}
\end{assumption}

\Cref{rmk:extensionXh} remains valid for \Cref{ass:FOVmn}. With this, we can extend \Cref{lemma_linear} to \textup{(\!(CA)\!)}$_{\mu,\nu}$.

\begin{theorem}[GMRES$(m)$: Linear convergence estimates for \textup{(\!(CA)\!)}$_{\mu,\nu}$]
\label{lemma_linear_strang}
Consider \textup{(\!(CA)\!)}$_{\mu,\nu}$~along with \Cref{ass:FOVmn}. Then, the residuals for GMRES($m$) for $1\leq k,m \leq N$ are bounded as
\begin{equation}
\label{eq:linear_CAmn}
\Theta_k^{(m)}  \leq  \left(1- \frac{1}{\operatorname{K}_{\star,\mu,\nu} } \right)^\frac{1}{2} \quad \textup{and} \quad \widetilde{\Theta}_k^{(m)} \leq  \operatorname{K}_{\Lambda_h} \left(1 - \frac{1 }{\operatorname{K}_{\star,\mu,\nu}}\right)^\frac{1}{2},
\end{equation}
with $\operatorname{K}_{\star,\mu,\nu}$ and $\operatorname{K}_{\Lambda_h}$ defined in \eqref{eq:kS_mu_nu} and \eqref{eq:KL}, respectively.
\end{theorem}
\begin{proof}The result follows by direct application of \Cref{lemma_linear} to \textup{(\!(CA)\!)}$_{\mu,\nu}$.
\end{proof}
\begin{remark}
The above result gives a controlled convergence rate for GMRES$(m)$ with respect to bi-parametric $(\mu,\nu)$-perturbations. As in the discussion ensuing \Cref{thm:strang} and in order to illustrate its practical implications, assume that the best approximation error in \Cref{lemma:strang} converges at a rate $\mathcal{O}(h^r)$, $r>0$, and $\nu = \mathcal{O}(h^r)$. Therefore, provided that $\mu=\mathcal{O}(1)$ guarantees a bounded $\operatorname{K}_{\star,\mu,\nu}$, the bounds in \eqref{eq:linear_CAmn} ensure linear convergence for the weighted GMRES$(m)$ (resp.~Euclidean GMRES$(m)$, for $\operatorname{K}_{\Lambda_h} < 1$).
\end{remark}

\subsection{Compact and Carleman class operators }\label{subsec:Carleman}

So far, we have focused on the linear convergence rates for GMRES($m$). Yet, it is know that in many situations the bound in \Cref{lemma:Weighted_GMRES} ``\emph{may significantly overestimate the GMRES residual norms}" \cite{liesen2012field}. To better understand this, we aim to improve bounds for the case of second-kind Fredholm operators, which are known to display super-linear convergence results for GMRES, i.e.~the radius of convergence tends to zero as $k\to \infty$. To this end, we introduce the concept of Carleman class operators.

Again, assuming $H$ to be a separable Hilbert space, we introduce $\mathcal{C}(H)\equiv \mathcal{C}(H;H)$ the space of compact operators on $H$. Given $\mathsf{T}\in \mathcal{L}(H;H)$, we denote the ordered singular values of $\mathsf{T}$ as $\sigma_j(\mathsf{T}) := \{\inf {\|\mathsf{T}-\mathsf{T}_i\|}_H : \mathsf{T}_i : H\to H , \ \textup{rank} \mathsf{T}_i < j\}$. For any $k\geq 1$, the $k$th partial arithmetic mean for the singular values reads
\begin{equation}\label{eq:partial_singular_values}
\overline{\sigma}_k (\mathsf{K}): = \frac{1}{k} \sum_{j=1}^k \sigma_j (\mathsf{K}).
\end{equation}
For $p>0$, a compact operator $\mathsf{K} \in\mathcal{C}(H)$ is said to belong to the \emph{Carleman class} $\mathcal{C}^p(H)$ \cite[Section XI.9]{dunford1963linear} if it holds that
\begin{equation}\label{eq:Carleman}
\iii{\mathsf{K}}_p = \|\sigma(\mathsf{K})\|_{p} := \left(\sum_{i=1}^\infty {\sigma_i(\mathsf{K})}^p \right)^{1/p}<\infty.
\end{equation}
Next, we identify $\mathcal{C}^0(H) \equiv \mathcal{C}(H)$ and for $p \geq 0$, we say that $\mathsf{Q}$ is a $p$\emph{-class Fredholm operator of the second-kind}, $\mathsf{Q} \in \mathcal{F}\mathcal{C}^p(H)$ if and only if $\mathsf{Q} - \mathsf{I} \in \mathcal{C}^p(H)$.
Consequently, for $H =: X$ a separable Hilbert space, $p\geq 0$ and $\nu, \mu\in [0,1)$, we define the following problems:
\begin{equation} \label{eq:Ap}
\textup{(\!(A)\!)}^p : \quad \textup{(\!(A)\!)}\quad \text{for PGE (i.e.~$\mathsf{A} : H\to H$) with } \mathsf{A} \in \mathcal{F}\mathcal{C}^p(H) \quad \text{and}\quad \mathsf{N}: = \mathsf{I},
\end{equation}
and
\begin{equation}\label{eq:CAmnp}
\textup{(\!(CA)\!)}_{\mu,\nu}^p : \quad \textup{(\!(CA)\!)}_{\mu,\nu}\quad \text{with}\quad  \mathsf{C}_\mu \mathsf{N}^{-1} \mathsf{A}_\nu \in \mathcal{F}\mathcal{C}^p(H),
\quad \text{and} \quad \mathsf{M}: = \mathsf{I},
\end{equation}
whose diagram representation is
$$
\textup{\textup{(\!(CA)\!)}}_{\mu,\nu}^p: \quad\begin{tikzcd}
H \arrow{r}{\mathsf{A}_\nu}  & Y' \arrow{d}{\mathsf{N}^{-1}} \\
H \arrow{u}{\mathsf{I}^{-1}} & V\arrow{l}{\mathsf{C}_\mu}
\end{tikzcd}.
$$
Finally, for \textup{(\!(A)\!)}$^p$ and \textup{(\!(CA)\!)}$^p_{\mu,\nu}$, the corresponding compact terms $\mathsf{K}:=\mathsf{A} -\mathsf{I} $ and $\mathsf{K}_{\mu,\nu}: = \mathsf{C}_\mu \mathsf{N}^{-1}\mathsf{A}_\nu - \mathsf{I}$) have discrete counterparts $\mathsf{K}_h := \mathsf{A}_h-\mathsf{I}_h$ and $\mathsf{K}_{h,\mu,\nu}:= \mathsf{C}_h \mathsf{N}_h^{-1}\mathsf{A}_h-\mathsf{I}_h$ with Galerkin matrices defined as
\begin{equation}\label{eq:Kmatrix}
{\bf K}:= {\bf A} - {\bf N} \quad \text{and}\quad {\bf K}_{\mu,\nu} := {\bf C}_\mu {\bf N}^{-1}{\bf A}_\nu-{\bf M},
\end{equation}
respectively. In the sequel, we introduce ordered (matrix) singular values with respect to the $H$-norm \cite[Proposition 4.2]{axelssonsuperlinear}:
\begin{equation}
\sigma_j^H({\bf Q}) := \lambda_j ({\bf Q}^\star {\bf Q})^{1/2} = \sigma_j( {\bf H}^{1/2} {\bf Q} {\bf H}^{-1/2}),
\end{equation}
for any ${\bf Q} \in \mathbb{C}^{N\times N}$ and ${\bf Q}^\star= {\bf H}^{-1} {\bf Q}^H {\bf H}$ its $H$-adjoint.
\subsection{Super-linear convergence estimates for GMRES applied to \textup{(\!(A)\!)}$^p$}\label{subsec:second-kind}
We recall the classic super-linear convergence result for weighted GMRES on a (continuous) Hilbert setting level (cf.~\cite{moret1997note} and \cite[Theorem 3.1]{axelssonsuperlinear}).

\begin{proposition}[Weighted GMRES: Classic super-linear convergence estimate {\cite[Theorem 3.1]{axelssonsuperlinear}}]\label{prop:classic_superlinear}Let $H$ be a Hilbert space. Set $p \geq 0$ and consider the application of weighted GMRES on $\mathsf{Q} x = {f}$, for a bounded and invertible operator $\mathsf{Q} \in \mathcal{F} \mathcal{C}^p (H)$ with $f \in H$. Introduce GMRES iterates $x_0 \neq x$, and $x_k$, along with $r_k : = \mathsf{Q} x_k - f$, for any $k \geq 1$. Then, the residuals satisfy
$$
\left(\frac{\n{r_k}_{H}}{\n{r_0}_{H}}\right)^\frac{1}{k} \leq\n{\mathsf{Q}^{-1}}_{H} \overline{\sigma}_k(\mathsf{K}),
$$
wherein $\mathsf{K} := \mathsf{Q} - \mathsf{I}\in \mathcal{C}^p(H)$ and $\overline{\sigma}_k(\mathsf{K})$ defined in \eqref{eq:sigmamean}.
\end{proposition}
Remark that $\overline{\sigma}_k(\mathsf{K})\to 0$ as $k\to \infty$ evidencing the super-linear convergence rate for residuals of weighted GMRES in this particular case. Furthermore, the convergence rate depends directly on the singular values of the continuous operator $\mathsf{K}$. The following result shows that the above is applicable to \textup{(\!(A)\!)}$^p$ as well.
\begin{theorem}[GMRES: Super-linear convergence estimates for \textup{(\!(A)\!)}$^p$]
\label{thm:superlinear_sf}
Consider the PGE problem \textup{(\!(A)\!)}$^{p}$ in \eqref{eq:Ap} for any $p \geq0$. Then, for $1 \leq k \leq N$, it holds that
\begin{equation}\label{eq:sigmamean}
\left(\frac{\n{{\bf r}_k}_H}{\n{{\bf r}_0}_H}\right)^\frac{1}{k} \leq \frac{ \overline{\sigma}_k(\mathsf{K})}{\gamma_\mathsf{A} \gamma_\mathsf{N}} \quad \left({\leq \frac{\iii{\mathsf{K}}_p}{\gamma_\mathsf{A} \gamma_\mathsf{N}}  k^{-\frac{1}{p}}}\quad \text{if}\quad p > 0 \right),
\end{equation}
and
\begin{equation}\label{eq:sigmameanEucl}
\left(\frac{\n{\tilde{{\bf r}}_k}_2}{\n{{\bf r}_0}_2}\right)^\frac{1}{k} \leq \operatorname{K}_{\Lambda_h}  \frac{\overline{\sigma}_k(\mathsf{K})}{\gamma_\mathsf{A} \gamma_\mathsf{N}} \quad \left({\leq \operatorname{K}_{\Lambda_h}\frac{\iii{\mathsf{K}}_p}{\gamma_\mathsf{A} \gamma_\mathsf{N}}}  k^{-\frac{1}{p}}\quad \text{if}\quad p > 0\right),
\end{equation}
wherein $\mathsf{K}:=\mathsf{A}-\mathsf{I} \in \mathcal{C}^p(H)$ and $\overline{\sigma}_k(\mathsf{K})$ in \eqref{eq:sigmamean}.
\end{theorem}
\begin{proof}
By hypothesis, we have that ${\bf N}^{-1} {\bf A} = {\bf I} + {\bf N}^{-1} {\bf K}$, with ${\bf K}$ such as in \eqref{eq:Kmatrix}. Following the same steps as in Axelsson \cite{axelssonsuperlinear}, we deduce that the following relations hold (cf.~proofs of \Cref{thm:opprecond} and \Cref{lemma:coicideFoV}):
$$
\n{({\bf N}^{-1}{\bf A})^{-1}}_H \leq \frac{\|\mathsf{n}\|}{\gamma_\mathsf{A}}\ = \frac{1}{\gamma_\mathsf{A}},
$$
since $\mathsf{N} = \mathsf{I}$. Furthermore, it holds that the singular values \cite[Proposition 4.2]{axelssonsuperlinear}
$$\label{eq:ineq_sing}
\sigma_j^{{H}}({\bf N}^{-1} {\bf K}) \leq \frac{1}{\gamma_\mathsf{N}} \sigma_j(\mathsf{K}_h) \leq \frac{1}{\gamma_\mathsf{N}} \sigma_j(\mathsf{K}).
$$
Therefore, for $1\leq k \leq N$, following \cite{axelssonsuperlinear} and using \Cref{prop:classic_superlinear}, we can show that
\begin{align*}
\frac{ \n{{\bf r}_k}_H}{\n{{\bf r}_0}_H} &\leq \frac{\n{({\bf N}^{-1}{\bf A})^{-1}}_H}{k} \sum_{j=1}^k \sigma_j^{{H}}({\bf N}^{-1}{\bf K})\leq \frac{1}{\gamma_\mathsf{A}} \sum_{j=1}^k \frac{\sigma_j^{{H}}({\bf N}^{-1}{\bf K})}{k} \leq\frac{1}{\gamma_\mathsf{A}\gamma_\mathsf{N}} \sum_{j=1}^k \frac{\sigma_j(\mathsf{K})}{k}.
\end{align*}
Now, if $\mathsf{K} \in \mathcal{C}^p(H)$ for any $p>0$, we follow \cite[Theorem 2.2]{winther1980some} and derive
\begin{align*}
\sum_{j=1}^k\frac{\sigma_j(\mathsf{K})}{k}\leq \iii{\mathsf{K}}_p k^{-\frac{1}{p}},
\end{align*}
providing the final estimate in energy norm.

Finally, the bounds in Euclidean norm are deduced in the same fashion as in \Cref{lemma_linear}.
\end{proof}
\begin{remark}
This result appears to be new and it justifies the positive results of employing mass matrix preconditioning, i.e.~$\mathsf{N} := \mathsf{I}$, to transfer the super-linear convergence bounds from the continuous to the discrete level. Indeed, the choice of $\mathsf{N}= \mathsf{I}$ guarantees a discrete system ${\bf N}^{-1} {\bf A} = {\bf I} + {\bf N}^{-1} {\bf K}$ of the form ${\bf I}$ plus discretization of a compact operator. The latter enables the application of the classical super-linear results for GMRES given in \Cref{prop:classic_superlinear}. Notice that the bounds in \eqref{eq:sigmamean} and \eqref{eq:sigmameanEucl} depend on $k$ via $\overline{\sigma}_k(\mathsf{K})$: they are not one-step bounds, and do not generalize to GMRES$(m)$, as the relative error at iteration $k$ for $2\leq k \leq N$ depends on previous iterations.
\end{remark}

\begin{remark}
The super-linear convergence rate depends on the decay rate of $\overline{\sigma}_k(\mathsf{K})$. For example, for trace class operators ($p=1$), it holds that $\n{{\bf r}_k}_H / \n{{\bf r}_0}_H = \mathcal{O}(k^{-1})$ while for Hilbert-Schmidt operators ($p=2$), one observes the faster rate $\n{{\bf r}_k}_H / \n{{\bf r}_0}_H = \mathcal{O}(k^{-2})$ \cite[Chapter XI]{dunford1963linear}. Results describing the Carleman class index for pseudo-differential operators (resp.~the Laplace double-layer operator) can be found in \cite{SOBOLEV20145886} (resp.~\cite{bessoud2006q,miyanishi2015}) and will be investigated elsewhere.
\end{remark}

\subsection{Super-linear convergence estimates for GMRES applied to \textup{(\!(CA)\!)}$_{\mu,\nu}^p$}

We next show that the reasoning in \Cref{thm:superlinear_sf} can also be applied to \textup{(\!(CA)\!)}$^p_{\mu,\nu}$.
\begin{theorem}[GMRES: Super-linear convergence estimates for \textup{(\!(CA)\!)}$_{\mu,\nu}^p$]\label{thm:superMN}
Consider {\textup{(\!(CA)\!)}$^p_{\mu,\nu}$ in \eqref{eq:CAmnp} for any $p\geq 0$} and define $\mathsf{K}_{\mu,\nu}:=\mathsf{C}_\mu \mathsf{N}^{-1} \mathsf{A}_\nu -\mathsf{I} \in \mathcal{C}^p(H)$. Then, for weighted and Euclidean GMRES, respectively, it holds that
\begin{equation}\label{eq:Extended_Theta0}
\begin{split}
\Theta_k &\leq \frac{\|\mathsf{n}\|}{ \gamma_\mathsf{C} \gamma_\mathsf{A}\gamma_\mathsf{M}}\frac{ \overline{\sigma}_k(\mathsf{K}_{\mu,\nu})}{(1-\mu)(1-\nu)} \quad\left(
  \leq \frac{\|\mathsf{n}\| }{ \gamma_\mathsf{C} \gamma_\mathsf{A}\gamma_\mathsf{M}}\frac{\iii{\mathsf{K}_{\mu,\nu}}_p}{(1-\mu)(1-\nu)} k^{-\frac{1}{p}}\quad \text{if} \quad p>0\right),
\end{split}
\end{equation}
and
\begin{equation}\label{eq:Extended_Thetap}
\begin{split}
\widetilde{\Theta}_k&\leq \operatorname{K}_{\Lambda_h} \frac{\|\mathsf{n}\|}{ \gamma_\mathsf{C} \gamma_\mathsf{A}\gamma_\mathsf{M}}\frac{\overline{\sigma}_k(\mathsf{K}_{\mu,\nu})}{(1-\mu)(1-\nu)}\quad
\left(\leq \operatorname{K}_{\Lambda_h} \frac{\|\mathsf{n}\|}{ \gamma_\mathsf{C} \gamma_\mathsf{A}\gamma_\mathsf{M}}\frac{\iii{\mathsf{K}_{\mu,\nu}}_p}{(1-\mu)(1-\nu)} k^{-\frac{1}{p}}\quad \text{if} \quad p>0\right),
\end{split}
\end{equation}
with ${\Theta}_k$ and $\widetilde{\Theta}_k$ defined in \eqref{eq:ConvRates} and $\overline{\sigma}_k(\cdot)$ in \eqref{eq:sigmamean}.
\end{theorem}
\begin{proof}
Consider \textup{(\!(CA)\!)}$^p_{\mu,\nu}$ and follow the proof of \Cref{thm:superlinear_sf}. First, we use \Cref{prop:perturbed} to deduce that
$$
\n{({\bf P}_\mu {\bf A}_\nu)^{-1}}_H ={ \n{{\bf A}^{-1}_\nu {\bf N} {\bf C}^{-1}_\mu {\bf M}}_H} \leq \frac{\|\mathsf{n}\|}{\gamma_\mathsf{A} \gamma_\mathsf{C}}\frac{1}{(1-\mu)(1-\nu)}.
$$
Next, for $1\leq j\leq N$, one has
$$
 \sigma_j^{{H}} ({\bf M}^{-1}{\bf C}_\mu {\bf N}^{-1}{\bf A}_\nu - {\bf I})  = {\sigma_j^{{H}} ({\bf M}^{-1} {\bf K}_{\mu,\nu}) }\leq  \frac{1}{\gamma_\mathsf{M}}\sigma_j(\mathsf{K}_{\mu,\nu}),
 $$
with ${\bf K}_{\mu,\nu} = {\bf C}_\mu {\bf N}^{-1} {\bf A} - {\bf M}$ as in \eqref{eq:Kmatrix}. Therefore, we obtain
\begin{align*}
\Theta_k &\leq \frac{\n{({\bf P}_\mu{\bf A}_\nu)^{-1}}_H}{k} \sum_{j=1}^k \sigma_j^{{H}}({\bf M}^{-1} {\bf K}_{\mu,\nu}) \leq \frac{\|\mathsf{n}\|}{\gamma_\mathsf{C}\gamma_\mathsf{A} \gamma_\mathsf{M}} \frac{ \overline{\sigma}_k (\mathsf{K}_{\mu,\nu})}{(1-\mu)(1-\nu)}.
\end{align*}
The second bound in \eqref{eq:Extended_Theta0} and \eqref{eq:Extended_Thetap} follows by the same arguments as in the proof of \Cref{thm:superlinear_sf}.
\end{proof}

\Cref{thm:superMN} describes precisely the residual convergence behavior of GMRES for \textup{(\!(CA)\!)}$^p_{\mu,\nu}$ for $p\geq0$. In particular, \eqref{eq:Extended_Thetap} shows that the Euclidean GMRES converges super-linearly, up to a $\operatorname{K}_{\Lambda_h}$-term as observed experimentally for the electric field integral equation on screens in \cite{hiptmair2020preconditioning}.
\begin{corollary}[$h$-Asymptotics]\label{remark:Asymptotics} Consider \textup{(\!(CA)\!)}$_{\mu,\nu}$ in \eqref{eq:linear_CAmn}, for $\mu \to 0$ and $\nu\to 0$ as $h\to0$. Additionally, let us suppose that (i) the finite dimensional subspaces are dense in their function space, satisfying the approximability property \cite[Definition 2.14]{ern2004theory}; and, (ii) the forms in \textup{(\!(CA)\!)}~have a uniform discrete inf-sup condition with respect to $h$. Then, for vanishing $h$, the following statements hold:
\begin{enumerate}
\item[(i)] $\|u-u_h\|_X\to 0$ in \Cref{lemma:strang};
\item[(ii)] $\operatorname{K}_\star$ in \Cref{thm:opprecond}, and subsequently $\operatorname{K}_{\star,\mu,\nu}$ \Cref{thm:strang} remain bounded ($h$-independence);
\item[(iii)] Under \Cref{ass:FOVmn}, the residual $\Theta_k^{(m)}$ in \eqref{eq:linear_CAmn} remains bounded ($h$-independent linear convergence);
\item[(iv)] For \textup{(\!(CA)\!)}$^p_{\mu,\nu}$ in \eqref{eq:CAmnp}, $p\geq0$, the residual $\Theta_k \to 0$ as $k\to \infty$ in \Cref{thm:superMN} ($h$-independent super-linear convergence).
\end{enumerate}
\end{corollary}
\begin{remark}

\Cref{thm:superMN} requires the operator $\mathsf{K}_{\mu,\nu}$ to be compact so as to ensure application of \Cref{prop:classic_superlinear}. Recent results by Bletcha \cite{blechta2021stability} allow to consider a more general \Cref{prop:classic_superlinear} with $\mathsf{A} : H\to H$ of the form $\mathsf{A} = \mathsf{Q} +\mathsf{K}$, with $\mathsf{Q}$ a bounded invertible operator and $\mathsf{K}$ compact. The latter could allow to relax the compactness for $\mathsf{K}_{\mu,\nu}$ and to analyze \textup{(\!(CA)\!)}$_{\mu,\nu}$ as a general bounded perturbation of \textup{(\!(CA)\!)}$^p$. This will be investigated elsewhere.
\end{remark}

\subsection{Elliptic Case}
We give further insight on the bi-parametric operator preconditioning framework by considering the elliptic case for OP-BG for $X=:H$ and $V$ being Hilbert spaces. To this end, we assume that $\mathsf{A}$ is $\langle X\rangle$-elliptic and $\mathsf{C}$ is $\langle V\rangle $-elliptic. Therefore, we have the {ellipticity conditions}
$$
\mathsf{a} ( u,u) \geq \alpha_\mathsf{A} \n{u}^2_X\quad \text{and} \quad \mathsf{c} ( v, v) \geq \alpha_\mathsf{C} \n{v}^2_{V},
$$
for all $u \in X$ and all $v \in V$. Notice that continuous ellipticity implies a discrete inf-sup condition for conforming discretization spaces, with $\gamma_\mathsf{A} = \alpha_\mathsf{A}$ and $\gamma_\mathsf{C} = \alpha_\mathsf{C}$, respectively, and allows to apply our previous analysis---without requiring \Cref{ass:FOV}.

For $p\geq0$, problem \textup{(\!(CA)\!)}$^p$ leads to $\mathsf{C} \mathsf{N}^{-1} \mathsf{A} = \mathsf{I} + \mathsf{K}$ with $\mathsf{K}$ compact and self-adjoint. Thus, we introduce the ordered eigenvalues $|\lambda_{i+1}(\mathsf{K})|\leq |\lambda_i(\mathsf{K})|$ for $i \geq 1$. By \cite[Section 2]{winther1980some}, $|\lambda_i(\mathsf{K})|= \sigma_i(\mathsf{K})$ and the Carleman class in \eqref{eq:Carleman} simplifies to the Neumann-Schatten class
\begin{equation}
\iii{\mathsf{K}}_p := \left( \sum_{i=1}^\infty |\lambda_i(\mathsf{K}) |\right)^{1/p}<\infty.
\end{equation}
As ellipticity allows for more refined bounds, one can examine the use of preconditioned CG solvers \cite[Section 13.1]{steinbach2007numerical}.
\begin{corollary}[Elliptic Case]\label{thm:strang_elliptic}
Consider \textup{(\!(CA)\!)}$_{\mu,\nu}$ with $\mathsf{c}_\mu \in \Phi_{h,\mu}(\mathsf{c})$, $\mathsf{a}_\nu \in \Phi_{h,\nu}(\mathsf{a})$, such that $\mathsf{A}_\nu$ is $\langle X\rangle$-elliptic and $\mathsf{C}_\mu$ is $\langle V \rangle$-elliptic.Then, the continuous and perturbed problems have a unique solution, $u$ and $u_{h,\nu}$, respectively, with the following error bound
\begin{align*}
\n{u - u_{h,\nu}}_X& \leq \inf_{w_h\in X_h} \left(\frac{{\operatorname{K}_\mathsf{A}}}{1-\nu} \|u - w_h\|_X +\frac{\nu}{1-\nu} \n{w_h}_X\right)
+ \frac{\nu}{\gamma_{\mathsf{A}}(1-\nu)}\n{b_{{h}}}_{Y_h'}\\
&{\leq  \left(\frac{{\operatorname{K}_\mathsf{A}^{2}}}{1-\nu}\right)\inf_{w_h\in X_h} \n{u - w_h}_X + \frac{2\nu}{\gamma_{\mathsf{A}}(1-\nu)}\n{b_{{h}}}_{Y_h'}.}
\end{align*}
with {$\operatorname{K}_\mathsf{A}$} defined in \eqref{eq:discrete_condition_number}. Furthermore, it holds that
\begin{equation}
\kappa_S ({\bf P}_\mu {\bf A}_\nu) = \kappa_2 ({\bf P}_\mu {\bf A}_\nu) \leq \operatorname{K}_{\star,\mu,\nu},
\end{equation}
with $\operatorname{K}_{\star,\mu,\nu}$ in \eqref{eq:k_mu_nu}. Therefore, for ${\bf x}_0 \neq {\bf u}_\nu$ and $1\leq k \leq N$, the $k$-th iterate ${\bf x}_k$ of CG with an error $\mathbf{e}_k:= {\bf x}_k - {\bf u}_\nu$ is bounded in the $A_\nu$-norm as
\begin{equation}\label{eq:cg_bound_linear}
 \Theta_k^\textup{CG}  := \left(\frac{\n{\mathbf{e}_k}_{A_\nu}}{\n{\mathbf{e}_0}_{A_\nu}}\right)^{\frac{1}{k}} \leq 2^\frac{1}{k} \left( 1 - \frac{2}{\sqrt{\operatorname{K}_{\star,\mu,\nu}} +1 }\right).
\end{equation}
Finally, consider \textup{(\!(CA)\!)}$_{\mu,\nu}^p$ for $p\geq 0$. It holds that
\begin{equation}
\begin{split}
\Theta_k^\textup{CG} &\leq \frac{2\|\mathsf{n}\|}{\gamma_\mathsf{C} \gamma_\mathsf{A}\gamma_\mathsf{M}}\frac{1}{(1-\mu)(1-\nu)}\cdot  \frac{1}{k} \sum_{j=1}^k |\lambda_j(\mathsf{K}_{\mu,\nu})|
\end{split}
\end{equation}
and, if $p>0$, one retrieves
\begin{equation}
\begin{split}
\Theta_k^\textup{CG} \leq \frac{2\|\mathsf{n}\|}{\gamma_\mathsf{C} \gamma_\mathsf{A} \gamma_\mathsf{M}} \frac{\iii{\mathsf{K}_{\mu,\nu}}_p}{(1-\mu)(1-\nu)}k^{-\frac{1}{p}} .
\end{split}
\end{equation}

\end{corollary}
\begin{proof}By the ellipticity hypothesis on the sesqui-linear form $\mathsf{a}$, \Cref{lemmaCea} is replaced by the Lax-Milgram lemma \cite[Section 2.1.2]{ern2004theory}, providing the sharper quasi-optimality constant ${\operatorname{K}_\mathsf{A}}$. Since the resulting system is Hermitian positive definite, the spectral and Euclidean condition numbers coincide. Next, we set $\varkappa:= \kappa_S({\bf P}_\mu{\bf A}_\nu)$ and introduce the linear bound for the preconditioned CG with respect to the condition number \cite[Theorem 1.8]{kurics2010operator}:
\begin{equation}
\Theta_k^\textup{CG} \leq 2^\frac{1}{k} \left(\frac{ \sqrt{\varkappa} -1 }{\sqrt{\varkappa} +1}\right).
\end{equation}
Observe that
$$
\left(\frac{ \sqrt{\varkappa} -1 }{\sqrt{\varkappa} +1}\right) =\left( 1 - \frac{2}{\sqrt{\varkappa}+1}\right)\leq \left( 1 - \frac{2}{\sqrt{\operatorname{K}_{\star,\mu,\nu}}+1}\right),
$$
leading to \eqref{eq:cg_bound_linear}. Since, \textup{(\!(CA)\!)}$^p_{\mu,\nu}$ entails a self-adjoint compact perturbation $\mathsf{K}_{\mu,\nu}:= \mathsf{C}_\mu \mathsf{N}^{-1}\mathsf{A}_\nu - \mathsf{I}$, one has an ordered eigenvalue decomposition, and the application of super-linear result for CG \cite[Theorem 1.9]{kurics2010operator}:
$$
\Theta_k^\textup{CG} \leq 2 \n{({\bf P}_\mu {\bf A}_\nu)^{-1}}_H \left(\frac{1}{k}\sum_{j=1}^k |\lambda_j ({\bf M}^{-1}{\bf K}_{\mu,\nu})|\right).
$$
Finally, one can show that (cf.~proof of \Cref{thm:superMN}):
$$
\n{{\bf A}_\nu^{-1} {\bf P}_\mu^{-1}}_H \leq\frac{\|\mathsf{n}\|}{\gamma_\mathsf{C} \gamma_\mathsf{A}}\frac{1}{(1-\mu)(1-\nu)} \quad \text{and} \quad |\lambda_j ({\bf M}^{-1} {\bf K}_{\mu,\nu})| \leq \frac{1}{\gamma_\mathsf{M}} |\lambda_j (\mathsf{K}_{\mu,\nu})|,$$
proving the final result.
\end{proof}
\section{Conclusion}\label{sec:concl}
For general Petrov-Galerkin methods, we considered their operator preconditioning and introduced the novel bi-parametric framework. Several results were derived including bounds in Euclidean norm for the convergence of iterative solvers when preconditioning, with GMRES as a reference. These results pave the way toward new paradigms for preconditioning, as they allow to craft robust preconditioners, better understand the efficiency of existing ones and relate them to experimental results. We see direct applications in a variety of research areas including wave propagation problems \cite{gander2015applying}, singular perturbation theory \cite[Section 3]{axelsson2009equivalent}, fast numerical methods \cite{bebendorf2008hierarchical,bebendorf2009recompression} and iterative solvers \cite{saad1986gmres}.

Future work avenues we foresee are: further analysis of second-kind Fredholm integral equations, with applications to acoustics and electromagnetics; deep learning of preconditioners for GMRES, and wavenumber asymptotic analysis for preconditioners. Also, we mention two promising research areas: (i) extension of \textup{(\!(CA)\!)}$_{\mu,\nu}^p$ to bounded perturbations of \textup{(\!(CA)\!)}$^p$ via \cite{blechta2021stability}; and (ii) characterization of Carleman class for compact operators using elliptic regularity theorems \cite{bessoud2006q}.

\section*{Acknowledgements}
The authors thank the support of Fondecyt Regular 1171491.\\