A Theoretical Analysis of Deep Neural Networks and Parametric PDEs

Abstract

We derive upper bounds on the complexity of ReLU neural networks approximating the solution maps of parametric partial differential equations. In particular, without any knowledge of its concrete shape, we use the inherent low dimensionality of the solution manifold to obtain approximation rates which are significantly superior to those provided by classical neural network approximation results. Concretely, we use the existence of a small reduced basis to construct, for a large variety of parametric partial differential equations, neural networks that yield approximations of the parametric solution maps in such a way that the sizes of these networks essentially only depend on the size of the reduced basis.

1 Introduction

In this work, we analyze the suitability of deep neural networks (DNNs) for the numerical solution of parametric problems. Such problems connect a parameter space with a solution state space via a so-called parametric map [51]. One special case of such a parametric problem arises when the parametric map results from solving a partial differential equation (PDE) and the parameters describe physical or geometrical constraints of the PDE such as, for example, the shape of the physical domain, boundary conditions, or a source term. Applications that lead to these problems include modeling unsteady and steady heat and mass transfer, acoustics, fluid mechanics, or electromagnetics [33].

Solving a parametric PDE for every point in the parameter space of interest individually typically leads to two types of problems. First, if the number of parameters of interest is excessive—a scenario coined many-query application—then the associated computational complexity could be unreasonably high. Second, if the computation time is severely limited, such as in real-time applications, then solving even a single PDE might be too costly.

A core assumption to overcome the two issues outlined above is that the solution manifold, i.e., the set of all admissible solutions associated with the parameter space, is inherently low-dimensional. This assumption forms the foundation for the so-called reduced basis method (RBM). A reduced basis discretization is then a (Galerkin) projection on a low-dimensional approximation space that is built from snapshots of the parametrically induced manifold [60].

Constructing the low-dimensional approximation spaces is typically computationally expensive because it involves solving the PDEs for multiple instances of parameters. These computations take place in a so-called offline phase—a step of pre-computation, where one assumes to have access to sufficiently powerful computational resources. Once a suitable low-dimensional space is found, the cost of solving the associated PDEs for a new parameter value is significantly reduced and can be performed quickly and online, i.e., with limited resources [5, 56]. We will give a more thorough introduction to RBMs in Sect. 2. An extensive survey of works on RBMs, which can be traced back to the seventies and eighties of the last century (see, for instance, [22, 49, 50]), is beyond the scope of this paper. We refer, for example, to [33, Chapter 1.1], [16, 29, 57] and [12, Chapter 1.9] for (historical) studies of this topic.

In this work, we show that the low-dimensionality of the solution manifold also enables an efficient approximation of the parametric map by DNNs. In this context, the RBM will be, first and foremost, a tool to model this low-dimensionality by acting as a blueprint for the construction of the DNNs.

1.1 Statistical Learning Problems

The motivation to study the approximability of parametric maps by DNNs stems from the following similarities between parametric problems and statistical learning problems: Assume that we are given a domain set $X\subset {\mathbb {R}}^n$, $n \in {\mathbb {N}}$ and a label set $Y \subset {\mathbb {R}}^k$, $k \in {\mathbb {N}}$. Further assume that there exists an unknown probability distribution $\rho$ on $X \times Y$.

Given a loss function ${\mathcal {L}} :Y \times Y\rightarrow {\mathbb {R}}^+$, the goal of a statistical learning problem is to find a function f, which we will call prediction rule, from a hypothesis class $H \subset \{h:X \rightarrow Y\}$ such that the expected loss ${\mathbb {E}}_{({\mathbf {x}},{\mathbf {y}})\sim \rho }{\mathcal {L}}(f({\mathbf {x}}), {\mathbf {y}})$ is minimized [14]. Since the probability measure $\rho$ is unknown, we have no direct access to the expected loss. Instead, we assume that we are given a set of training data, i.e., pairs $({\mathbf {x}}_i, {\mathbf {y}}_i)_{i = 1}^N$, $N \in {\mathbb {N}}$, which were drawn independently with respect to $\rho$. Then one finds f by minimizing the so-called empirical loss

$$\begin{aligned} \sum _{i = 1}^N {\mathcal {L}}(f({\mathbf {x}}_i), {\mathbf {y}}_i) \end{aligned}$$

(1.1)

over H. We will call optimizing the empirical loss the learning procedure.

In view of PDEs, the approach proposed above can be rephrased in the following way. We are aiming to produce a function from a parameter set to a state space based on a few snapshots only. This function should satisfy the involved PDEs as precisely as possible, and the evaluation of this function should be very efficient even though the construction of it can potentially be computationally expensive.

In the above-described sense, a parametric PDE problem almost perfectly matches the definition of a statistical learning problem. Indeed, the PDEs and the metric on the state space correspond to a (deterministic) distribution $\rho$ and a loss function. Moreover, the snapshots are construed as the training data, and the offline phase mirrors the learning procedure. Finally, the parametric map is the prediction rule.

One of the most efficient learning methods nowadays is deep learning. This method describes a range of learning procedures to solve statistical learning problems where the hypothesis class H is taken to be a set of DNNs [24, 40]. These methods outperform virtually all classical machine learning techniques in sufficiently complicated tasks from speech recognition to image classification. Strikingly, training DNNs is a computationally very demanding task that is usually performed on highly parallelized machines. Once a DNN is fully trained, however, its application to a given input is orders of magnitudes faster than the training process. This observation again reflects the offline–online phase distinction that is common in RBM approaches.

Based on the overwhelming success of these techniques and the apparent similarities of learning problems and parametric problems, it appears natural to apply methods from deep learning to statistical learning problems in the sense of (partly) replacing the parameter-dependent map by a DNN. Very successful advances in this direction have been reported in [17, 34, 39, 42, 58, 68].

1.2 Our Contribution

In the applications [17, 34, 39, 42, 58, 68] mentioned above, the combination of DNNs and parametric problems seems to be remarkably efficient. In this paper, we present a theoretical justification of this approach. We address the question to what extent the hypothesis class of DNNs is sufficiently broad to approximately and efficiently represent the associated parametric maps. Concretely, we aim at understanding the necessary number of parameters of DNNs required to allow a sufficiently accurate approximation. We will demonstrate that depending on the target accuracy the required number of parameters of DNNs essentially only scales with the intrinsic dimension of the solution manifold, in particular, according to its Kolmogorov N-widths. We outline our results in Sect. 1.2.1. Then, we present a simplified exposition of our argument leading to the main results in Sect. 1.2.2.

1.2.1 Approximation Theoretical Results

The main contributions of this work are given by an approximation result with DNNs based on ReLU activation functions. Here, we aim to learn a variation of the parametric map

$$\begin{aligned} {\mathcal {Y}} \ni y \mapsto u_y \in {\mathcal {H}}, \end{aligned}$$

where ${\mathcal {Y}}$ is the parameter space and ${\mathcal {H}}$ is a Hilbert space. In our case, the parameter space will be a compact subset of ${\mathbb {R}}^p$ for some fixed, but possibly large $p\in {\mathbb {N}},$ i.e., we consider the case of finitely supported parameter vectors.

We assume that there exists a basis of a high-fidelity discretization of ${\mathcal {H}}$ which may potentially be quite large. Let ${\mathbf {u}}_y$ be the coefficient vector of $u_y$ with respect to the high-fidelity discretization. Moreover, we assume that there exists a RB approximating $u_y$ sufficiently accurately for every $y\in {\mathcal {Y}}$.

Theorem 4.3 then states that, under some technical assumptions, there exists a DNN that approximates the discretized solution map

$$\begin{aligned} {\mathcal {Y}} \ni y \mapsto {\mathbf {u}}_y \end{aligned}$$

up to a uniform error of $\epsilon >0$, while having a size that is polylogarithmical in $\epsilon$, cubic in the size of the reduced basis, and at most linear in the size of the high-fidelity basis.

This result highlights the common observation that if a low-dimensional structure is present in a problem, then DNNs are able to identify it and use it advantageously. Concretely, our results show that a DNN is sufficiently flexible to benefit from the existence of a reduced basis in the sense that its size in the complex task of solving a parametric PDE does not or only weakly depend on the high-fidelity discretization and mainly on the size of the reduced basis.

The main result is based on four pillars that are described in detail in Sect. 1.2.2: First, we show that DNNs can efficiently solve linear systems, in the sense that, if supplied with a matrix and a right-hand side, a moderately sized network outputs the solution of the inverse problem. Second, the reduced-basis approach allows reformulating the parametric problem, as a relatively small and parametrized linear system. Third, in many cases, the map that takes the parameters to the stiffness matrices with respect to the reduced basis and right-hand side can be very efficiently represented by DNNs. Finally, the fact that neural networks are naturally compositional allows combining the efficient representation of linear problems with the NN implementing operator inversion.

In practice, the approximating DNNs that we show to exist need to be found using a learning algorithm. In this work, we will not analyze the feasibility of learning these DNNs. The typical approach here is to apply methods based on stochastic gradient descent. Empirical studies of this procedure in the context of learning deep neural networks were carried out in [34, 39, 42, 58, 68]. In particular, we mention the recent study in [23], which analyzes precisely the setup described in this work and finds a strong impact of the approximation-theoretical behavior of DNNs on their practical performance.

1.2.2 Simplified Presentation of the Argument

In this section, we present a simplified outline of the arguments leading to the approximation result described in Sect. 1.2.1. In this simplified setup, we think of a ReLU neural network (ReLU NN) as a function

$$\begin{aligned} {\mathbb {R}}^n\rightarrow {\mathbb {R}}^k,~{\mathbf {x}} \mapsto T_L\varrho (T_{L-1}\varrho ( \dots \varrho (T_1({\mathbf {x}})))), \end{aligned}$$

(1.2)

where $L \in {\mathbb {N}}$, $T_1, \dots , T_L$ are affine maps, and $\varrho : {\mathbb {R}}\rightarrow {\mathbb {R}}$, $\varrho (x) :=\max \{ 0, x\}$ is the ReLU activation function which is applied coordinate-wise in (1.2). We call L the number of layers of the NN. Since $T_\ell$ are affine linear maps, we have for all ${\mathbf {x}} \in \mathrm {dom } \, T_\ell$ that $T_\ell ({\mathbf {x}}) = {\mathbf {A}}_\ell ({\mathbf {x}}) + {\mathbf {b}}_\ell$ for a matrix ${\mathbf {A}}_\ell$ and a vector ${\mathbf {b}}_\ell$. We define the size of the NN as the number of nonzero entries of all ${\mathbf {A}}_\ell$ and ${\mathbf {b}}_\ell$ for $\ell \in \{1, \dots , L\}$. This definition will later be sharpened and extended in Definition 3.1.

• 1. As a first step, we recall the construction of a scalar multiplication operator by ReLU NNs due to [69]. This construction is based on two observations. First, defining $g:[0,1] \rightarrow [0,1]$, $g(x) :=\min \{2x, 2-2x\}$, we see that g is a hat function. Moreover, multiple compositions of g with itself produce saw-tooth functions. We set, for $s \in {\mathbb {N}}$, $g_1 :=g$ and $g_{s+1} :=g \circ g_s$. It was demonstrated in [69] that

  $$\begin{aligned} x^2 = \lim _{n \rightarrow \infty } f_n(x) :=\lim _{n \rightarrow \infty } x - \sum _{s = 1}^n \frac{g_s(x)}{2^{2s}}, \quad \text { for all } x \in [0,1]. \end{aligned}$$

  (1.3)

  The second observation for establishing an approximation of a scalar multiplication by NNs is that we can write $g(x) = 2\varrho (x)-4\varrho (x-1/2) + 2\varrho (x-2)$ and therefore $g_s$ can be exactly represented by a ReLU NN. Given that $g_s$ is bounded by 1, it is not hard to see that $f_n$ converges to the square function exponentially fast for $n \rightarrow \infty$. Moreover, $f_n$ can be implemented exactly as a ReLU NN by previous arguments. Finally, the parallelogram identity, $xz = 1/4((x+z)^2 - (x-z)^2)$ for $x,z\in {\mathbb {R}}$, demonstrates how an approximate realization of the square function by ReLU NNs yields an approximate realization of scalar multiplication by ReLU NNs.

  It is intuitively clear from the exponential convergence in (1.3) and proved in [69, Proposition 3] that the size of a NN approximating the scalar multiplication on $[-1,1]^2$ up to an error of $\epsilon >0$ is ${\mathcal {O}}(\log _2(1/\epsilon ))$.

• 2. As a next step, we use the approximate scalar multiplication to approximate a multiplication operator for matrices by ReLU NNs. A matrix multiplication of two matrices of size $d \times d$ can be performed using $d^3$ scalar multiplications. Of course, as famously shown in [64], a more efficient matrix multiplication can also be carried out with less than $d^3$ multiplications. However, for simplicity, we focus here on the most basic implementation of matrix multiplication. Hence, the approximate multiplication of two matrices with entries bounded by 1 can be performed by NN of size ${\mathcal {O}}(d^3 \log _2(1/\epsilon ))$ with accuracy $\epsilon >0$. We make this precise in Proposition 3.7. Along the same lines, we can demonstrate how to construct a NN emulating matrix-vector multiplications.

• 3. Concatenating multiple matrix multiplications, we can implement matrix polynomials by ReLU NNs. In particular, for ${\mathbf {A}}\in {\mathbb {R}}^{d\times d}$ such that $\Vert {\mathbf {A}}\Vert _2 \le 1-\delta$ for some $\delta \in (0,1)$, the map ${\mathbf {A}} \mapsto \sum _{s = 0}^m {\mathbf {A}}^s$ can be approximately implemented by a ReLU NN with an accuracy of $\epsilon >0$ and which has a size of ${\mathcal {O}}(m \log _2^2(m)d^3 \cdot ( \log (1/\epsilon )+\log _2(m) )$, where the additional $\log _2$ term in m inside the brackets appears since each of the approximations of the sum needs to be performed with accuracy $\epsilon /m$. It is well known that the Neumann series $\sum _{s = 0}^m {\mathbf {A}}^s$ converges exponentially fast to $(\mathbf {Id}_{{\mathbb {R}}^d}-{\mathbf {A}})^{-1}$ for $m \rightarrow \infty$. Therefore, under suitable conditions on the matrix ${\mathbf {A}}$, we can construct a NN $\Phi _{\epsilon }^{\mathrm {inv}}$ that approximates the inversion operator, i.e., the map ${\mathbf {A}} \mapsto {\mathbf {A}}^{-1}$ up to accuracy $\epsilon >0$. This NN has size ${\mathcal {O}}(d^3\log _2^q(1/\epsilon ))$ for a constant $q>0$. This is made precise in Theorem 3.8.

• 4. The existence of $\Phi _{\epsilon }^{\mathrm {inv}}$ and the emulation of approximate matrix-vector multiplications yield that there exists a NN that for a given matrix and right-hand side approximately solves the associated linear system. Next, we make two assumptions that are satisfied in many applications as we demonstrate in Sect. 4.2:

  • The map from the parameters to the associated stiffness matrices of the Galerkin discretization of the parametric PDE with respect to a reduced basis can be well approximated by NNs.

  • The map from the parameters to the right-hand side of the parametric PDEs discretized according to the reduced basis can be well approximated by NNs.

  From these assumptions and the existence of $\Phi _{\epsilon }^{\mathrm {inv}}$ and a ReLU NN emulating a matrix-vector multiplication, it is not hard to see that there is a NN that approximately implements the map from a parameter to the associated discretized solution with respect to the reduced basis. If the reduced basis has size d and the implementations of the map yielding the stiffness matrix and the right-hand side are sufficiently efficient, then, by the construction of $\Phi _{\epsilon }^{\mathrm {inv}}$, the resulting NN has size ${\mathcal {O}}(d^3\log _2^q(1/\epsilon ))$. We call this NN $\Phi _{\epsilon }^{\mathrm {rb}}$.

• 5. Finally, we build on the construction of $\Phi _{\epsilon }^{\mathrm {rb}}$ to establish the result of Sect. 1.2.1. First of all, let D be the size of the high-fidelity basis. If D is sufficiently large, then every element from the reduced basis can be approximately represented in the high-fidelity basis. Therefore, one can perform an approximation to a change of bases by applying a linear map ${\mathbf {V}} \in {\mathbb {R}}^{D \times d}$ to a vector with respect to the reduced basis. The first statement of Sect. 1.2.1 now follows directly by considering the NN ${\mathbf {V}} \circ \Phi _{\epsilon }^{\mathrm {rb}}$. Through this procedure, the size of the NN is increased to ${\mathcal {O}}(d^3\log _2^q(1/\epsilon )) + d D)$. The full argument is presented in the proof of Theorem 4.3.

1.3 Potential Impact and Extensions

We believe that the results of this article have the potential to significantly impact the research on NNs and parametric problems in the following ways:

• Theoretical foundation: We offer a theoretical underpinning for the empirical success of NNs for parametric problems which was observed in, e.g., [34, 39, 42, 58, 68]. Indeed, our result, Theorem 4.3, indicates that properly trained NNs are as efficient in solving parametric PDEs as RBMs if the complexity of NNs is measured in terms of free parameters. On a broader level, linking deep learning techniques for parametric PDE problems with approximation theory opens the field up to a new direction of thorough mathematical analysis.

• Understanding the role of the ambient dimension: It has been repeatedly observed that NNs seem to offer approximation rates of high-dimensional functions that do not deteriorate exponentially with increasing dimension [24, 45].

  In this context, it is interesting to identify the key quantity determining the achievable approximation rates of DNNs. Possible explanation for approximation rates that are essentially independent from the ambient dimension have been identified if the functions to be approximated have special structures such as compositionality [48, 55], or invariances [45, 53]. In this article, we identify the highly problem-specific notion of the dimension of the solution manifold as a key quantity determining the achievable approximation rates by NNs for parametric problems. We discuss the connection between the approximation rates that NNs achieve and the ambient dimension in detail in Sect. 5.

• Identifying suitable architectures: One question in applications is how to choose the right NN architectures for the associated problem. Our results show that NNs of sufficient depth and size are able to produce very efficient approximations. Nonetheless, it needs to be mentioned that our results do not yield a lower bound on the number of layers and thus it is not clear whether deep NNs are indeed necessary.

This work is a step toward establishing a theory of deep learning-based solutions of parametric problems. However, given the complexity of this field, it is clear that many more steps need to follow. We outline a couple of natural further questions of interest below:

• General parametric problems: Below we restrict ourselves to coercive, symmetric, and linear parametric problems with finitely many parameters. There exist many extensions to, e.g., non-coercive, non-symmetric, or nonlinear problems [10, 11, 25, 38, 67, 70], or to infinite parameter spaces, see, e.g., [2, 4]. It would be interesting to see if the methods proposed in this work can be generalized to these more challenging situations.

• Bounding the number of snapshots: The interpretation of the parametric problem as a statistical learning problem has the convenient side-effect that various techniques have been established to bound the number of necessary samples N, such that the empirical loss (1.1) is very close to the expected loss. In other words, the generalization error of the minimizer of the learning procedure is small, meaning that the prediction rule performs well on unseen data. (Here, the error is measured in a norm induced by the loss function and the underlying probability distribution.) Using these techniques, it is possible to bound the number of snapshots required for the offline phase to achieve a certain fidelity in the online phase. Estimates of the generalization error in the context of high-dimensional PDEs have been deduced in, e.g., [7, 19, 20, 26, 59].

• Special NN architectures: This article studies the feasibility of standard feed-forward NNs. In practice, one often uses special architectures that have proved efficient in applications. First and foremost, almost all NNs used in applications are convolutional neural networks (CNNs) [41]. Hence, a relevant question is to what extent the results of this work also hold for such architectures. It was demonstrated in [54] that there is a direct correspondence between the approximation rates of CNNs and that of standard NNs. Thus, we expect that the results of this work translate to CNNs.

  Another successful architecture is that of residual neural networks (ResNets) [32]. These neural networks also admit skip-connections, i.e., do not only connect neurons in adjacent layers. This architecture is by design at least as powerful as a standard NN and hence inherits all approximation properties of standard NNs.

• Necessary properties of neural networks: In this work, we demonstrate the attainability of certain approximation rates by NNs. It is not clear if the presented results are optimal or if there are specific necessary assumptions on the architectures, such as a minimal depth, a minimal number of parameters, or a minimal number of neurons per layer. For approximation results of classical function spaces, such lower bounds on specifications of NNs have been established, for example, in [9, 28, 53, 69]. It is conceivable that the techniques in these works can be transferred to the approximation tasks described in this work.

• General matrix polynomials: As outlined in Sect. 1.2.2, our results are based on the approximate implementation of matrix polynomials. Naturally, this construction can be used to define and construct a ReLU NN based functional calculus. In other words, for any $d \in {\mathbb {N}}$ and every continuous function f that can be well approximated by polynomials, we can construct a ReLU NN which approximates the map ${\mathbf {A}} \mapsto f({\mathbf {A}})$ for any appropriately bounded matrix ${\mathbf {A}}$.

  A special instance of such a function of interest is given by $f({\mathbf {A}}):=e^{t{\mathbf {A}}},~t>0,$ which is analytic and plays an important role in the treatment of initial value problems.

• Numerical studies: In a practical learning problem, the approximation-theoretical aspect only describes one part of the problem. Two further central factors are the data generation and the optimization process. It is conceivable that in comparison with these issues, approximation theoretical considerations only play a negligible role. To understand the extent to which the result of this paper is relevant for applications, comprehensive studies of the theoretical setup of this work should be carried out. A first one was published recently in [23].

1.4 Related Work

In this section, we give an extensive overview of works related to this paper. In particular, for completeness, we start by giving a review of approximation theory of NNs without an explicit connection to PDEs. Afterward, we will see how NNs have been employed for the solution of PDEs.

1.4.1 Review of Approximation Theory of Neural Networks

The first and most fundamental results on the approximation capabilities of NNs were universality results. These results claim that NNs with at least one hidden layer can approximate any continuous function on a bounded domain to arbitrary accuracy if they have sufficiently many neurons [15, 35]. However, these results do not quantify the required sizes of NNs to achieve these rates. One of the first results in this direction was given in [6]. There, a bound on the sufficient size of NNs with sigmoidal activation functions approximating a function with finite Fourier moments is presented. Further results describe approximation rates for various smoothness classes by sigmoidal or even more general activation functions [43, 44, 46, 47].

For the non-differentiable activation function ReLU, first rates of approximation were identified in [69] for classes of smooth functions, in [53] for piecewise smooth functions, and in [27] for oscillatory functions. Moreover, NNs mirror the approximation rates of various dictionaries such as wavelets [62], general affine systems [9], linear finite elements [31], and higher-order finite elements [52].

1.4.2 Neural Networks and PDEs

A well-established line of research is that of solving high-dimensional PDEs by NNs assuming that the NN is the solution of the underlying PDE, e.g., [7, 19, 20, 30, 36, 37, 59, 63]. In this regime, it is often possible to bound the size of the involved NNs in a way that does not scale exponentially with the underlying dimension. In that way, these results are quite related to our approaches. Our results do not seek to represent the solution of a PDE as a NN, but a parametric map. Moreover, we analyze the complexity of the solution manifold in terms of Kolmogorov N-widths. Finally, the underlying spatial dimension of the involved PDEs in our case would usually be moderate. However, the dimension of the parameter space could be immense.

One of the first approaches analyzing NN approximation rates for solutions of parametric PDEs was carried out in [61]. In that work, the analyticity of the solution map $y\mapsto u_y$ and polynomial chaos expansions with respect to the parametric variable are used to approximate the map $y\mapsto u_y$ by ReLU NNs of moderate size. Moreover, we mention the works [34, 39, 42, 58, 68] which apply NNs in one way or another to parametric problems. These approaches study the topic of learning a parametric problem but do not offer a theoretical analysis of the required sizes of the involved NNs. These results form our motivation to study the constructions of this paper.

Finally, we mention that the setup of the recent numerical study [23] is closely related to this work.

1.5 Outline

In Sect. 2, we describe the type of parametric PDEs that we consider in this paper, and we recall the theory of RBs. Section 3 introduces a NN calculus which is the basis for all constructions in this work. There we will also construct the NN that maps a matrix to its approximate inverse in Theorem 3.8. In Sect. 4, we construct NNs approximating parametric maps. First, in Theorem 4.1, we approximate the parametric maps after a high-fidelity discretization. Afterward, in Sect. 4.2, we list two broad examples where all assumptions which we imposed are satisfied.

We conclude this paper in Sect. 5 with a discussion of our results in light of the dependence of the underlying NN complexities in terms of the governing quantities.

To not interrupt the flow of reading, we have deferred all auxiliary results and proofs to the appendices.

1.6 Notation

We denote by ${\mathbb {N}}=\{1,2,\ldots \}$ the set of all natural numbers and define ${\mathbb {N}}_0:={\mathbb {N}}\cup \{0\}.$ Moreover, for $a\in {\mathbb {R}}$ we set $\lfloor a \rfloor :=\max \{b\in {\mathbb {Z}}:~b\le a\}$ and $\lceil a\rceil :=\min \{b\in {\mathbb {Z}}:~b\ge a\}.$ Let $n,l\in {\mathbb {N}}.$ Let $\mathbf {Id}_{{\mathbb {R}}^n}$ be the identity and ${\mathbf {0}}_{{\mathbb {R}}^n}$ be the zero vector on ${\mathbb {R}}^n.$ Moreover, for ${\mathbf {A}}\in {\mathbb {R}}^{n\times l}$, we denote by ${\mathbf {A}}^T$ its transpose, by $\sigma ({\mathbf {A}})$ the spectrum of ${\mathbf {A}}$, by $\Vert {\mathbf {A}}\Vert _2$ its spectral norm and by $\Vert {\mathbf {A}}\Vert _0:=\# \{(i,j):{\mathbf {A}}_{i,j}\ne 0\},$ where $\# V$ denotes the cardinality of a set V, the number of nonzero entries of ${\mathbf {A}}$. Moreover, for ${\mathbf {v}}\in {\mathbb {R}}^n$ we denote by $|{\mathbf {v}}|$ its Euclidean norm. Let V be a vector space. Then we say that $X\subset ^{\mathrm {s}}V,$ if X is a linear subspace of V. Moreover, if $(V,\Vert \cdot \Vert _V)$ is a normed vector space, X is a subset of V and $v\in V,$ we denote by $\mathrm {dist}(v,X):=\inf \{\Vert x-v\Vert _V:~x\in X\}$ the distance between v, X and by $(V^*,\Vert \cdot \Vert _{V^*})$ the topological dual space of V, i.e., the set of all scalar-valued, linear, continuous functions equipped with the operator norm. For a compact set $\Omega \subset {\mathbb {R}}^n$, we denote by $C^r(\Omega ),~r\in {\mathbb {N}}_0\cup \{\infty \},$ the spaces of r times continuously differentiable functions, by $L^p(\Omega ,{\mathbb {R}}^n),p\in [1,\infty ]$ the ${\mathbb {R}}^n$-valued Lebesgue spaces, where we set $L^p(\Omega ):=L^p(\Omega ,{\mathbb {R}})$ and by $H^1(\Omega ):=W^{1,2}(\Omega )$ the first-order Sobolev space.

2 Parametric PDEs and Reduced Basis Methods

In this section, we introduce the type of parametric problems that we study in this paper. A parametric problem in its most general form is based on a map ${\mathcal {P}}:{\mathcal {Y}} \rightarrow {\mathcal {Z}}$, where ${\mathcal {Y}}$ is the parameter space and ${\mathcal {Z}}$ is called solution state space ${\mathcal {Z}}$. In the case of parametric PDEs, ${\mathcal {Y}}$ describes certain parameters of a partial differential equation, ${\mathcal {Z}}$ is a function space or a discretization thereof, and ${\mathcal {P}}(y)\in {\mathcal {Z}}$ is found by solving a PDE with parameter y.

We will place several assumptions on the PDEs underlying ${\mathcal {P}}$ and the parameter spaces ${\mathcal {Y}}$ in Sect. 2.1. Afterward, we give an abstract overview of Galerkin methods in Sect. 2.2 before recapitulating some basic facts about RBs in Sect. 2.3.

2.1 Parametric Partial Differential Equations

In the following, we will consider parameter-dependent equations given in the variational form

$$\begin{aligned} b_y\left( u_y, v\right) = f_y(v), \quad \text { for all } y\in {\mathcal {Y}},~v\in {\mathcal {H}}, \end{aligned}$$

(2.1)

where

• (i) ${\mathcal {Y}}$ is the parameter set specified in Assumption 2.1,

• (ii) ${\mathcal {H}}$ is a Hilbert space,

• (iii) $b_y:{\mathcal {H}}\times {\mathcal {H}}\rightarrow {\mathbb {R}}$ is a continuous bilinear form, which fulfills certain well-posedness conditions specified in Assumption 2.1,

• (iv) $f_{y}\in {\mathcal {H}}^*$ is the parameter-dependent right-hand side of (2.1),

• (v) $u_y\in {\mathcal {H}}$ is the solution of (2.1).

Assumption 2.1

Throughout this paper, we impose the following assumptions on Eq. (2.1).

• The parameter set ${\mathcal {Y}}$: We assume that ${\mathcal {Y}}$ is a compact subset of ${\mathbb {R}}^p,$ where $p\in {\mathbb {N}}$ is fixed and potentially large.

Remark

In [12, Section 1.2], it has been demonstrated that if ${\mathcal {Y}}$ is a compact subset of some Banach space V, then one can describe every element in ${\mathcal {Y}}$ by a sequence of real numbers in an affine way. To be more precise, there exist $(v_i)_{i=0}^\infty \subset V$ such that for every $y\in {\mathcal {Y}}$ and some coefficient sequence ${\mathbf {c}}_y$ whose elements can be bounded in absolute value by 1 there holds $y=v_0 +\sum _{i=1}^\infty ({\mathbf {c}}_y)_i v_i,$ implying that ${\mathcal {Y}}$ can be completely described by the collection of sequences ${\mathbf {c}}_y$. In this paper, we assume these sequences ${\mathbf {c}}_y$ to be finite with a fixed, but possibly large support size.

• Symmetry, uniform continuity, and coercivity of the bilinear forms: We assume that for all $y\in {\mathcal {Y}}$ the bilinear forms $b_y$ are symmetric, i.e.,

  $$\begin{aligned} b_y(u,v)=b_y(v,u), \qquad \text { for all } u,v\in {\mathcal {H}}. \end{aligned}$$

  Moreover, we assume that the bilinear forms $b_y$ are uniformly continuous in the sense that there exists a constant $C_{\mathrm {cont}} > 0$ with

  $$\begin{aligned} \left| b_y(u,v) \right| \le C_{\mathrm {cont}}\Vert u\Vert _{{\mathcal {H}}}\Vert v\Vert _{{\mathcal {H}}}, \qquad \text { for all } u\in {\mathcal {H}},v\in {\mathcal {H}},y\in {\mathcal {Y}}. \end{aligned}$$

  Finally, we assume that the involved bilinear forms are uniformly coercive in the sense that there exists a constant $C_{\mathrm {coer}}>0$ such that

  $$\begin{aligned} \inf _{u\in {\mathcal {H}}\setminus \{0\}} \frac{b_y(u,u)}{\Vert u\Vert _{{\mathcal {H}}}^2} \ge C_{\mathrm {coer}}, \qquad \text { for all } u\in {\mathcal {H}},y\in {\mathcal {Y}}. \end{aligned}$$

  Hence, by the Lax-Milgram lemma (see [57, Lemma 2.1]), Eq. (2.1) is well-posed, i.e., for every $y\in {\mathcal {Y}}$ and every $f_y\in {\mathcal {H}}^*$ there exists exactly one $u_y\in {\mathcal {H}}$ such that (2.1) is satisfied and $u_y$ depends continuously on $f_y$.

• Uniform boundedness of the right-hand side: We assume that there exists a constant $C_{\mathrm {rhs}}>0$ such that

  $$\begin{aligned} \left\| f_y\right\| _{{\mathcal {H}}^*}\le C_{\mathrm {rhs}}, \qquad \text { for all } y\in {\mathcal {Y}}. \end{aligned}$$

• Compactness of the solution manifold: We assume that the solution manifold

  $$\begin{aligned} S({\mathcal {Y}}):=\left\{ u_y:u_y \text { is the solution of } (2.1),~ y\in {\mathcal {Y}}\right\} \end{aligned}$$

  is compact in ${\mathcal {H}}.$

Remark

The assumption that $S({\mathcal {Y}})$ is compact follows immediately if the solution map $y\mapsto u_y$ is continuous. This condition is true (see [57, Proposition 5.1, Corollary 5.1]), if for all $u,v\in {\mathcal {H}}$ the maps $y\mapsto b_y(u,v)$ as well as $y\rightarrow f_y(v)$ are Lipschitz continuous. In fact, there exists a multitude of parametric PDEs, for which the maps $y\mapsto b_y(u,v)$ and $y\rightarrow f_y(v)$ are even in $C^{r}$ for some $r\in {\mathbb {N}}\cup \{\infty \}.$ In this case, $\left\{ \left( y,u_y\right) :y\in {\mathcal {Y}}\right\} \subset {\mathbb {R}}^p\times {\mathcal {H}}$ is a p-dimensional manifold of class $C^r$ (see [57, Proposition 5.2, Remark 5.4]). Moreover, we refer to [57, Remark 5.2] and the references therein for a discussion under which circumstances it is possible to turn a discontinuous parameter dependency into a continuous one ensuring the compactness of $S({\mathcal {Y}})$.

2.2 High-Fidelity Approximations

In practice, one cannot hope to solve (2.1) exactly for every $y\in {\mathcal {Y}}$. Instead, if we assume for the moment that y is fixed, a common approach toward the calculation of an approximate solution of (2.1) is given by the Galerkin method, which we will describe shortly following [33, Appendix A] and [57, Chapter 2.4]. In this framework, instead of solving (2.1), one solves a discrete scheme of the form

$$\begin{aligned} b_y\left( u^{\mathrm {disc}}_y , v\right) = f_y(v) \qquad \text { for all } v\in U^{\mathrm {disc}}, \end{aligned}$$

(2.2)

where $U^{\mathrm {disc}}\subset ^{\mathrm {s}}{\mathcal {H}}$ is a subspace of ${\mathcal {H}}$ with $\mathrm {dim}\left( U^{\mathrm {disc}} \right) < \infty$ and $u^{\mathrm {disc}}_y\in U^{\mathrm {disc}}$ is the solution of (2.2). For the solution $u^{\mathrm {disc}}_y$ of (2.2) we have that

$$\begin{aligned} \left\| u^{\mathrm {disc}}_y \right\| _{{\mathcal {H}}} \le \frac{1}{C_{\mathrm {coer}}}\left\| f_y \right\| _{{\mathcal {H}}^*}. \end{aligned}$$

Moreover, up to a constant, we have that $u^{\mathrm {disc}}_y$ is a best approximation of the solution $u_y$ of (2.1) by elements in $U^{\mathrm {disc}}$. To be more precise, by Cea’s Lemma, [57, Lemma 2.2],

$$\begin{aligned} \left\| u_y-u^{\mathrm {disc}}_y \right\| _{{\mathcal {H}}} \le \frac{C_{\mathrm {cont}}}{C_{\mathrm {coer}}} \inf _{w\in U^{\mathrm {disc}}}\left\| u_y-w \right\| _{{\mathcal {H}}}. \end{aligned}$$

(2.3)

Let us now assume that $U^\mathrm {disc}$ is given. Moreover, if $N:=\mathrm {dim}\left( U^{\mathrm {disc}}\right)$, let $\left( \varphi _{i} \right) _{i=1}^N$ be a basis for $U^{\mathrm {disc}}$. Then, the matrix

$$\begin{aligned} {\mathbf {B}}_y:=\left( b_y\left( \varphi _{j},\varphi _{i}\right) \right) _{i,j=1}^N \end{aligned}$$

is non-singular and positive definite. The solution $u^{\mathrm {disc}}_y$ of (2.2) satisfies

$$\begin{aligned} u^{\mathrm {disc}}_y= \sum _{i=1}^N ({\mathbf {u}}_y)_{i} \varphi _{i}, \end{aligned}$$

where

$$\begin{aligned} {\mathbf {u}}_y:=\left( {\mathbf {B}}_y\right) ^{-1}{\mathbf {f}}_y \in {\mathbb {R}}^N \end{aligned}$$

and ${\mathbf {f}}_y:=\left( f_y\left( \varphi _{i}\right) \right) _{i=1}^N\in {\mathbb {R}}^N$. Typically, one starts with a high-fidelity discretization of the space ${\mathcal {H}}$, i.e., one chooses a finite but potentially high-dimensional subspace for which the computed discretized solutions are sufficiently accurate for any $y\in {\mathcal {Y}}$. To be more precise, we postulate the following:

Assumption 2.2

We assume that there exists a finite dimensional space $U^\mathrm {h}\subset ^{\mathrm {s}}{\mathcal {H}}$ with dimension $D<\infty$ and basis $(\varphi _i)_{i=1}^D$. This space is called high-fidelity discretization. For $y\in {\mathcal {Y}},$ denote by ${\mathbf {B}}_{y}^{\mathrm {h}}:=\left( b_y(\varphi _j,\varphi _i)\right) _{i,j=1}^{D}\in {\mathbb {R}}^{D\times D}$ the stiffness matrix of the high-fidelity discretization, by ${\mathbf {f}}_{y}^{\mathrm {h}}:=\left( f_y(\varphi _i) \right) _{i=1}^{D}$ the discretized right-hand side, and by ${\mathbf {u}}_{y}^{\mathrm {h}}:=\left( {\mathbf {B}}_{y}^{\mathrm {h}} \right) ^{-1}{\mathbf {f}}_{y}^{\mathrm {h}}\in {\mathbb {R}}^{D}$ the coefficient vector of the Galerkin solution with respect to the high-fidelity discretization. Moreover, we denote by $u^\mathrm {h}_y:=\sum _{i=1}^{D} \left( {\mathbf {u}}_{y}^{\mathrm {h}}\right) _i \varphi _i$ the Galerkin solution.

We assume that, for every $y\in {\mathcal {Y}}$, $\sup _{y\in {\mathcal {Y}}} \left\| u_y-u^{\mathrm {h}}_y \right\| _{\mathcal {H}}\le {\hat{\epsilon }}$ for an arbitrarily small, but fixed ${\hat{\epsilon }}>0$. In the following, similarly as in [16], we will not distinguish between ${\mathcal {H}}$ and $U^{\mathrm {h}}$, unless such a distinction matters.

In practice, following this approach, one often needs to calculate $u^{\mathrm {h}}_y\approx u_y$ for a variety of parameters $y\in {\mathcal {Y}}$. This, in general, is a very expensive procedure due to the high-dimensionality of the space $U^{\mathrm {h}}.$ In particular, given $\left( \varphi _{i} \right) _{i=1}^{D},$ one needs to solve high-dimensional systems of linear equations to determine the coefficient vector ${\mathbf {u}}^{\mathrm {h}}_y.$ A well-established remedy to overcome these difficulties is given by methods based on the theory of reduced bases, which we will recapitulate in the upcoming subsection.

Before we proceed, let us fix some notation. We denote by ${\mathbf {G}}:=\left( \langle \varphi _i,\varphi _j\rangle _{\mathcal {H}}\right) _{i,j=1}^{D}\in {\mathbb {R}}^{D\times D}$ the symmetric, positive definite Gram matrix of the basis vectors $(\varphi _i)_{i=1}^{D}.$ Then, for any $v\in U^{\mathrm {h}}$ with coefficient vector ${\mathbf {v}}$ with respect to the basis $(\varphi _i)_{i=1}^{D}$ we have (see [57, Equation 2.41])

$$\begin{aligned} \left| {\mathbf {v}}\right| _{{\mathbf {G}}}:=\left| {\mathbf {G}}^{1/2}{\mathbf {v}}\right| = \Vert v\Vert _{\mathcal {H}}. \end{aligned}$$

(2.4)

2.3 Theory of Reduced Bases

In this subsection and unless stated otherwise, we follow [57, Chapter 5] and the references therein. The main motivation behind the theory of RBs lies in the fact that under Assumption 2.1 the solution manifold $S({\mathcal {Y}})$ is a compact subset of ${\mathcal {H}}.$ This compactness property allows posing the question whether, for every ${{\tilde{\epsilon }}}\ge {\hat{\epsilon }}$, it is possible to construct a finite-dimensional subspace $U^{\mathrm {rb}}_{{\tilde{\epsilon }}}$ of ${\mathcal {H}}$ such that $d({{\tilde{\epsilon }}}):=\mathrm {dim}\left( U^{\mathrm {rb}}_{{\tilde{\epsilon }}}\right) \ll D$ and such that

$$\begin{aligned} \sup _{y\in {\mathcal {Y}}} \inf _{w\in U^{\mathrm {rb}}_{{\tilde{\epsilon }}}}\left\| u_y- w \right\| _{{\mathcal {H}}} \le {{\tilde{\epsilon }}}, \end{aligned}$$

(2.5)

or, equivalently, if there exist linearly independent vectors $\left( \psi _{i} \right) _{i=1}^{d({{\tilde{\epsilon }}})}$ with the property that

$$\begin{aligned} \left\| \sum _{i=1}^{d({{\tilde{\epsilon }}})} ({\mathbf {c}}_y)_i \psi _{i} - u_y \right\| _{\mathcal {H}}\le {{\tilde{\epsilon }}}, \quad \text { for all } y\in {\mathcal {Y}}\text { and some coefficient vector } {\mathbf {c}}_y\in {\mathbb {R}}^{d({{\tilde{\epsilon }}})}. \end{aligned}$$

The starting point of this theory lies in the concept of the Kolmogorov N-width which is defined as follows.

Definition 2.3

[16] For $N\in {\mathbb {N}},$ the Kolmogorov N-width of a bounded subset X of a normed space V is defined by

$$\begin{aligned} W_N(X) :=\inf _{\begin{array}{c} V_N \subset ^\mathrm {s} V \\ \mathrm {dim}(V_N) \le N \end{array}}\sup _{x\in X} \mathrm {dist}\left( x,V_N\right) . \end{aligned}$$

This quantity describes the best possible uniform approximation error of X by an at most N-dimensional linear subspace of V. We discuss concrete upper bounds on $W_N(S({\mathcal {Y}}))$ in more detail in Sect. 5. The aim of RBMs is to construct the spaces $U_{{{\tilde{\epsilon }}}}^{\mathrm {rb}}$ in such a way that the quantity $\sup _{y\in {\mathcal {Y}}}\mathrm {dist}\left( u_y,U^{\mathrm {rb}}_{{{\tilde{\epsilon }}}}\right)$ is close to $W_{d({{\tilde{\epsilon }}})}\left( S({\mathcal {Y}})\right)$.

The identification of the basis vectors $(\psi _i)_{i=1}^{d({{\tilde{\epsilon }}})}$ of $U_{{{\tilde{\epsilon }}}}^{\mathrm {rb}}$ usually happens in an offline phase in which one has considerable computational resources available and which is usually based on the determination of high-fidelity discretizations of samples of the parameter set ${\mathcal {Y}}.$ The most common methods are based on (weak) greedy procedures (see for instance [57, Chapter 7] and the references therein) or proper orthogonal decompositions (see, for instance, [57, Chapter 6] and the references therein). In the last step, an orthogonalization procedure (such as a Gram–Schmidt process) is performed to obtain an orthonormal set of basis vectors $(\psi _i)_{i=1}^{d({{\tilde{\epsilon }}})}$.

Afterward, in the online phase, one assembles for a given input y the corresponding low-dimensional stiffness matrices and vectors and determines the Galerkin solution by solving a low-dimensional system of linear equations. To ensure an efficient implementation of the online phase, a common assumption which we do not require in this paper is the affine decomposition of (2.1), which means that there exist $Q_b,Q_f\in {\mathbb {N}},$ parameter-independent bilinear forms $b^q:{\mathcal {H}}\times {\mathcal {H}}\rightarrow {\mathbb {R}},$ maps $\theta _q:{\mathcal {Y}}\rightarrow {\mathbb {R}}$ for $q=1,\ldots ,Q_b,$ parameter-independent $f^{q'}\in {\mathcal {H}}^*$ as well as maps $\theta ^{q'}:{\mathcal {Y}}\rightarrow {\mathbb {R}}$ for $q'=1,\ldots ,Q_f$ such that

$$\begin{aligned} b_y = \sum _{q=1}^{Q_b} \theta _q(y)b^q, \qquad \text {as well as}\qquad f_y = \sum _{q'=1}^{Q_f} \theta ^{q'}(y)f^{q'}, \qquad \text {for all } y\in {\mathcal {Y}}. \end{aligned}$$

(2.6)

As has been pointed out in [57, Chapter 5.7], in principal three types of reduced bases generated by RBMs have been established in the literature—the Lagrange reduced basis, the Hermite reduced basis and the Taylor reduced basis. While the most common type, the Lagrange RB, consists of orthonormalized versions of high-fidelity snapshots $u^{\mathrm {h}}\left( y^1\right) \approx u\left( y^1\right) ,\ldots ,u^{\mathrm {h}}\left( y^{n}\right) \approx u\left( y^{n}\right) ,$ Hermite RBs consist of snapshots $u^{\mathrm {h}}\left( y^1\right) \approx u\left( y^1\right) ,\ldots ,u^{\mathrm {h}}\left( y^{n}\right) \approx u\left( y^{n}\right) ,$ as well as their first partial derivatives $\frac{\partial u^{\mathrm {h}}}{\partial y_i}(y^j)\approx \frac{\partial u}{\partial y_i}(y^j) ,i=1,\ldots ,p,~j=1,\ldots ,n$, whereas Taylor RBs are built of derivatives of the form $\frac{\partial ^k u^{\mathrm {h}}}{\partial y_i^k}({\overline{y}})\approx \frac{\partial ^k u}{\partial y_i^k}({\overline{y}}),~i=1,\ldots ,p,~k=0,\ldots ,n-1$ around a given expansion point ${\overline{y}}\in {\mathcal {Y}}$. In this paper, we will later assume that there exist small RBs $(\psi _i)_{i=1}^{d({{\tilde{\epsilon }}})}$ generated by arbitrary linear combinations of the high-fidelity elements $(\varphi _i)_{i=1}^{D}$. Note that all types of RBs discussed above satisfy this assumption.

The next statement gives a (generally sharp) upper bound which relates the possibility of constructing small snapshot RBs directly to the Kolmogorov N-width.

Theorem 2.4

[8, Theorem 4.1.] Let $N\in {\mathbb {N}}.$ For a compact subset X of a normed space V,  define the inner N-width of X by

$$\begin{aligned} {\overline{W}}_N(X):=\inf _{V_N\in {\mathcal {M}}_N} \sup _{x\in X} \mathrm {dist}\left( x,V_N\right) , \end{aligned}$$

where ${\mathcal {M}}_N:=\left\{ V_N\subset ^{\mathrm {s}}V:~V_N=\mathrm {span}\left( x_i\right) _{i=1}^N,x_1,\ldots ,x_N\in X \right\} .$ Then

$$\begin{aligned} {\overline{W}}_N(X) \le (N+1) W_N(X). \end{aligned}$$

Translated into our framework, Theorem 2.4 states that for every $N\in {\mathbb {N}},$ there exist solutions $u^{\mathrm {h}}(y^i)\approx u(y^i),$  $i=1,\ldots ,N$ of (2.1) such that

$$\begin{aligned} \sup _{y\in {\mathcal {Y}}} ~\inf _{w\in \mathrm {span}\left( u^{\mathrm {h}}(y^i)\right) _{i=1}^{N}} \left\| u_y-w \right\| _{\mathcal {H}}\le (N+1)W_N(S({\mathcal {Y}})). \end{aligned}$$

Remark 2.5

We note that this bound is sharp for general X, V. However, it is not necessarily optimal for special instances of $S({\mathcal {Y}})$. If, for instance, $W_N(S({\mathcal {Y}}))$ decays polynomially, then ${\overline{W}}_N(S({\mathcal {Y}}))$ decays with the same rate (see [8, Theorem 3.1.]). Moreover, if $W_N(S({\mathcal {Y}})) \le C e^{-cN^{\beta }}$ for some $c,C,\beta >0$ then by [18, Corollary 3.3 (iii)] we have ${\overline{W}}_N(S({\mathcal {Y}})) \le {\tilde{C}}e^{-{\tilde{c}}N^{\beta }}$ for some ${\tilde{c}},{\tilde{C}}>0.$

Taking the discussion above as a justification, we assume from now on that for every ${{\tilde{\epsilon }}}\ge {\hat{\epsilon }}$ there exists a RB space $U_{{\tilde{\epsilon }}}^{\mathrm {rb}}=\mathrm {span} \left( \psi _i \right) _{i=1}^{d({{\tilde{\epsilon }}})},$ which fulfills (2.5), where the linearly independent basis vectors $\left( \psi _i \right) _{i=1}^{d({{\tilde{\epsilon }}})}$ are linear combinations of the high-fidelity basis vectors $\left( \varphi _i\right) _{i=1}^{D}$ in the sense that there exists a transformation matrix ${\mathbf {V}}_{{\tilde{\epsilon }}}\in {\mathbb {R}}^{D\times d({{\tilde{\epsilon }}})}$ such that

$$\begin{aligned} \left( \mathbf {\psi }_i\right) _{i=1}^{d({{\tilde{\epsilon }}})}= \left( \sum _{j=1}^{D} ({\mathbf {V}}_{{\tilde{\epsilon }}})_{j,i}\varphi _j\right) _{i=1}^{d({{\tilde{\epsilon }}})} \end{aligned}$$

and where $d({{\tilde{\epsilon }}})\ll D$ is chosen to be as small as possible, at least fulfilling $\mathrm {dist}\left( S({\mathcal {Y}}),U_{{\tilde{\epsilon }}}^{\mathrm {rb}}\right) \le {\overline{W}}_{d({{\tilde{\epsilon }}})}(S({\mathcal {Y}})).$ In addition, we assume that the vectors $(\psi _i)_{i=1}^{d({{\tilde{\epsilon }}})}$ form an orthonormal system in ${\mathcal {H}},$ which is equivalent to the fact that the columns of ${\mathbf {G}}^{1/2}{\mathbf {V}}_{{\tilde{\epsilon }}}$ are orthonormal (see [57, Remark 4.1]). This in turn implies

$$\begin{aligned} \left\| {\mathbf {G}}^{1/2}{\mathbf {V}}_{{\tilde{\epsilon }}}\right\| _2=1, \quad \text { for all } {{\tilde{\epsilon }}}\ge {\hat{\epsilon }}\end{aligned}$$

(2.7)

as well as

$$\begin{aligned} \left\| \sum _{i=1}^{d({{\tilde{\epsilon }}})} {\mathbf {c}}_i \psi _i \right\| _{{\mathcal {H}}} = \left| {\mathbf {c}}\right| , \quad \text { for all } {\mathbf {c}}\in {\mathbb {R}}^{d({{\tilde{\epsilon }}})}. \end{aligned}$$

(2.8)

For the underlying discretization matrix, one can demonstrate (see, for instance, [57, Section 3.4.1]) that

$$\begin{aligned} {\mathbf {B}}_{y,{{\tilde{\epsilon }}}}^{\mathrm {rb}} :=\left( b_y(\psi _j,\psi _i) \right) _{i,j=1}^{d({{\tilde{\epsilon }}})}= {\mathbf {V}}_{{\tilde{\epsilon }}}^T {\mathbf {B}}_{y,{{\tilde{\epsilon }}}}^{\mathrm {h}} {\mathbf {V}}_{{\tilde{\epsilon }}}\in {\mathbb {R}}^{d({{\tilde{\epsilon }}})\times d({{\tilde{\epsilon }}})}, \quad \text { for all } y\in {\mathcal {Y}}. \end{aligned}$$

Moreover, due to the symmetry and the coercivity of the underlying bilinear forms combined with the orthonormality of the basis vectors $(\psi _i)_{i=1}^{d({{\tilde{\epsilon }}})}$, one can show (see, for instance, [57, Remark 3.5]) that

$$\begin{aligned} C_{\mathrm {coer}} \le \left\| {\mathbf {B}}_{y,{{\tilde{\epsilon }}}}^{\mathrm {rb}} \right\| _2 \le C_{\mathrm {cont}}, \quad \text { as well as }\quad \frac{1}{C_{\mathrm {cont}}} \le \left\| \left( {\mathbf {B}}_{y,{{\tilde{\epsilon }}}}^{\mathrm {rb}}\right) ^{-1} \right\| _2\le \frac{1}{C_{\mathrm {coer}}}, \quad \text { for all } y\in {\mathcal {Y}}, \end{aligned}$$

(2.9)

implying that the condition number of the stiffness matrix with respect to the RB remains bounded independently of y and the dimension $d({{\tilde{\epsilon }}}).$ Additionally, the discretized right-hand side with respect to the RB is given by

$$\begin{aligned} {\mathbf {f}}_{y,{{\tilde{\epsilon }}}}^{\mathrm {rb}} :=\left( f_y(\psi _i) \right) _{i=1}^{d({{\tilde{\epsilon }}})}= {\mathbf {V}}_{{\tilde{\epsilon }}}^T {\mathbf {f}}_{y,{{\tilde{\epsilon }}}}^{\mathrm {h}} \in {\mathbb {R}}^{d({{\tilde{\epsilon }}})} \end{aligned}$$

and, by the Bessel inequality, we have that $\left| {\mathbf {f}}_{y,{{\tilde{\epsilon }}}}^{\mathrm {rb}} \right| \le \left\| f_{y}\right\| _{{\mathcal {H}}^*} \le C_{\mathrm {rhs}}.$ Moreover, let

$$\begin{aligned} {\mathbf {u}}_{y,{{\tilde{\epsilon }}}}^{\mathrm {rb}}:=\left( {\mathbf {B}}^{\mathrm {rb}}_{y,{{\tilde{\epsilon }}}}\right) ^{-1} {\mathbf {f}}_{y,{{\tilde{\epsilon }}}}^{\mathrm {rb}} \end{aligned}$$

be the coefficient vector of the Galerkin solution with respect to the RB space. Then, the Galerkin solution $u_{y,{{\tilde{\epsilon }}}}^{\mathrm {rb}}$ can be written as

$$\begin{aligned} u_{y,{{\tilde{\epsilon }}}}^{\mathrm {rb}}= \sum _{i=1}^{d({{\tilde{\epsilon }}})} \left( {\mathbf {u}}_{y,{{\tilde{\epsilon }}}}^{\mathrm {rb}} \right) _i \psi _i = \sum _{j=1}^{D} \left( {\mathbf {V}}_{{\tilde{\epsilon }}}{\mathbf {u}}_{y,{{\tilde{\epsilon }}}}^{\mathrm {rb}} \right) _j \varphi _j, \end{aligned}$$

i.e.,

$$\begin{aligned} \tilde{{\mathbf {u}}}_{y,{{\tilde{\epsilon }}}}^{\mathrm {h}}:={\mathbf {V}}_{{\tilde{\epsilon }}}{\mathbf {u}}_{y,{{\tilde{\epsilon }}}}^{\mathrm {rb}}\in {\mathbb {R}}^{D} \end{aligned}$$

is the coefficient vector of the RB solution if expanded with respect to the high-fidelity basis $\left( \varphi _i \right) _{i=1}^{D}.$ Finally, as in Eq. 2.3, we obtain

$$\begin{aligned} \sup _{y\in {\mathcal {Y}}} \left\| u_y- u_{y,{{\tilde{\epsilon }}}}^{\mathrm {rb}}\right\| _{\mathcal {H}}\le \sup _{y\in {\mathcal {Y}}} \frac{C_{\mathrm {cont}}}{C_{\mathrm {coer}}} \inf _{w\in U^{\mathrm {rb}}_{{{\tilde{\epsilon }}}}} \left\| u_y-w \right\| _{{\mathcal {H}}} \le \frac{C_{\mathrm {cont}}}{C_{\mathrm {coer}}} {{\tilde{\epsilon }}}. \end{aligned}$$

In the following sections, we will emulate RBMs with NNs by showing that we are able to construct NNs which approximate the maps ${\mathbf {u}}_{\cdot ,{{\tilde{\epsilon }}}}^{\mathrm {rb}},\tilde{{\mathbf {u}}}_{\cdot ,{{\tilde{\epsilon }}}}^{\mathrm {h}}$ such that their complexity depends only on the size of the reduced basis and at most linearly on D. The key ingredient will be the construction of small NNs implementing an approximate matrix inversion based on Richardson iterations in Sect. 3. In Sect. 4, we then proceed with building the NNs the realizations of which approximate the maps ${\mathbf {u}}_{\cdot ,{{\tilde{\epsilon }}}}^{\mathrm {rb}},\tilde{{\mathbf {u}}}_{\cdot ,{{\tilde{\epsilon }}}}^{\mathrm {h}}$, respectively.

3 Neural Network Calculus

The goal of this chapter is to emulate the matrix inversion by NNs. In Sect. 3.1, we introduce some basic notions connected to NNs as well as some basic operations one can perform with these. In Sect. 3.2, we state a result which shows the existence of NNs the ReLU-realizations of which take a matrix ${\mathbf {A}}\in {\mathbb {R}}^{d\times d},~\Vert {\mathbf {A}}\Vert _2<1$ as their input and calculate an approximation of $\left( \mathbf {Id}_{{\mathbb {R}}^d}-{\mathbf {A}}\right) ^{-1}$ based on its Neumann series expansion. The associated proofs can be found in “Appendix A.”

3.1 Basic Definitions and Operations

We start by introducing a formal definition of a NN. Afterward, we introduce several operations, such as parallelization and concatenation that can be used to assemble complex NNs out of simpler ones. Unless stated otherwise, we follow the notion of [53] where most of this formal framework was introduced. First, we introduce a terminology for NNs that allows us to differentiate between a NN as a family of weights and the function implemented by the NN. This implemented function will be called the realization of the NN.

Definition 3.1

Let $n, L\in {\mathbb {N}}$. A NN $\Phi$ with input dimension $\mathrm {dim}_{\mathrm {in}}\left( \Phi \right) :=n$ and L layers is a sequence of matrix-vector tuples

$$\begin{aligned} \Phi = \big ( ({\mathbf {A}}_1,{\mathbf {b}}_1), ({\mathbf {A}}_2,{\mathbf {b}}_2), \dots , ({\mathbf {A}}_L, {\mathbf {b}}_L) \big ), \end{aligned}$$

where $N_0 = n$ and $N_1, \dots , N_{L} \in {\mathbb {N}}$, and where each ${\mathbf {A}}_\ell$ is an $N_{\ell } \times N_{\ell -1}$ matrix, and ${\mathbf {b}}_\ell \in {\mathbb {R}}^{N_\ell }$.

If $\Phi$ is a NN as above, $K \subset {\mathbb {R}}^n$, and if $\varrho :{\mathbb {R}}\rightarrow {\mathbb {R}}$ is arbitrary, then we define the associated realization of $\Phi$ with activation function $\varrho$ over K (in short, the $\varrho$-realization of $\Phi$ over K) as the map $\mathrm {R}_{\varrho }^K(\Phi ):K \rightarrow {\mathbb {R}}^{N_L}$ such that

$$\begin{aligned} \mathrm {R}_{\varrho }^K(\Phi )({\mathbf {x}}) = {\mathbf {x}}_L , \end{aligned}$$

where ${\mathbf {x}}_L$ results from the following scheme:

$$\begin{aligned} \begin{aligned} {\mathbf {x}}_0&:={\mathbf {x}}, \\ {\mathbf {x}}_{\ell }&:=\varrho ({\mathbf {A}}_{\ell } \, {\mathbf {x}}_{\ell -1} + {\mathbf {b}}_\ell ), \qquad \text { for } \ell = 1, \dots , L-1,\\ {\mathbf {x}}_L&:={\mathbf {A}}_{L} \, {\mathbf {x}}_{L-1} + {\mathbf {b}}_{L}, \end{aligned} \end{aligned}$$

and where $\varrho$ acts componentwise, that is, $\varrho ({\mathbf {v}}) = (\varrho ({\mathbf {v}}_1), \dots , \varrho ({\mathbf {v}}_m))$ for any ${\mathbf {v}} = ({\mathbf {v}}_1, \dots , {\mathbf {v}}_m) \in {\mathbb {R}}^m$.

We call $N(\Phi ) :=n + \sum _{j = 1}^L N_j$ the number of neurons of the NN $\Phi$ and $L = L(\Phi )$ the number of layers. For $\ell \le L$ we call $M_\ell (\Phi ) :=\Vert {\mathbf {A}}_\ell \Vert _0 + \Vert {\mathbf {b}}_\ell \Vert _0$ the number of weights in the $\ell$-th layer and we define $M(\Phi ):=\sum _{\ell = 1}^L M_\ell (\Phi )$, which we call the number of weights of $\Phi .$ Moreover, we refer to $\mathrm {dim}_{\mathrm {out}}\left( \Phi \right) :=N_L$ as the output dimension of $\Phi$.

First of all, we note that it is possible to concatenate two NNs in the following way.

Definition 3.2

Let $L_1, L_2 \in {\mathbb {N}}$ and let ${\sum _j} \Phi ^1 = \big ( ({\mathbf {A}}_1^1,{\mathbf {b}}_1^1), \dots , ({\mathbf {A}}_{L_1}^1,{\mathbf {b}}_{L_1}^1) \big ), \Phi ^2 = \big (({\mathbf {A}}_1^2,{\mathbf {b}}_1^2), \dots , ({\mathbf {A}}_{L_2}^2,{\mathbf {b}}_{L_2}^2) \big )$ be two NNs such that the input layer of $\Phi ^1$ has the same dimension as the output layer of $\Phi ^2$. Then, denotes the following $L_1+L_2-1$ layer NN:

We call the concatenation of $\Phi ^1,$ $\Phi ^2$.

In general, there is no bound on that is linear in $M(\Phi ^1)$ and $M(\Phi ^2)$. For the remainder of the paper, let $\varrho$ be given by the ReLU activation function, i.e., $\varrho (x)=\max \{x,0\}$ for $x\in {\mathbb {R}}.$ We will see in the following, that we are able to introduce an alternative concatenation which helps us to control the number of nonzero weights. Toward this goal, we give the following result which shows that we can construct NNs the ReLU-realization of which is the identity function on ${\mathbb {R}}^n.$

Lemma 3.3

For any $L\in {\mathbb {N}}$, there exists a NN $\Phi ^{\mathbf {Id}}_{n,L}$ with input dimension n,  output dimension n and at most 2nL nonzero, $\{-1,1\}$-valued weights such that

$$\begin{aligned} \mathrm {R}^{{\mathbb {R}}^n}_\varrho \left( \Phi ^{\mathbf {Id}}_{n,L} \right) =\mathbf {Id}_{{\mathbb {R}}^n}. \end{aligned}$$

We now introduce the sparse concatenation of two NNs.

Definition 3.4

Let $\Phi ^1,\Phi ^2$ be two NNs such that the output dimension of $\Phi ^2$ and the input dimension of $\Phi ^1$ equal $n\in {\mathbb {N}}$. Then, the sparse concatenation of $\Phi ^1$ and $\Phi ^2$ is defined as

We will see later in Lemma 3.6 the properties of the sparse concatenation of NNs. We proceed with the second operation that we can perform with NNs. This operation is called parallelization.

Definition 3.5

[21, 53] Let $\Phi ^1,\ldots ,\Phi ^k$ be NNs which have equal input dimension such that there holds $\Phi ^i=\left( ({\mathbf {A}}^i_1,{\mathbf {b}}^i_1),\ldots ,({\mathbf {A}}^i_L,{\mathbf {b}}^i_L) \right)$ for some $L\in {\mathbb {N}}$. Then, we define the parallelization of $\Phi ^1,\ldots ,\Phi ^k$ by

$$\begin{aligned} \mathrm {P}\left( \Phi ^1,\ldots ,\Phi ^k\right) :=\left( \left( \left( \begin{array}{cccc} {\mathbf {A}}^1_1 &{} &{} &{} \\ &{} {\mathbf {A}}^2_1 &{} &{} \\ &{} &{} \ddots &{} \\ &{} &{} &{} {\mathbf {A}}^k_1 \end{array} \right) , \begin{pmatrix}{\mathbf {b}}^1_1 \\ {\mathbf {b}}^2_1 \\ \vdots \\ {\mathbf {b}}^k_1 \end{pmatrix}\right) ,\ldots ,\left( \left( \begin{array}{cccc} {\mathbf {A}}^1_L &{} &{} &{} \\ &{} {\mathbf {A}}^2_L &{} &{} \\ &{} &{} \ddots &{} \\ &{} &{} &{} {\mathbf {A}}^k_L \end{array} \right) , \begin{pmatrix}{\mathbf {b}}^1_L \\ {\mathbf {b}}^2_L \\ \vdots \\ {\mathbf {b}}^k_L \end{pmatrix} \right) \right) . \end{aligned}$$

Now, let $\Phi$ be a NN and $L\in {\mathbb {N}}$ such that $L(\Phi )\le L.$ Then, define the NN

$$\begin{aligned} E_L(\Phi ):={\left\{ \begin{array}{ll} \Phi , \qquad &{}\text { if } L(\Phi )=L, \\ \Phi ^{\mathbf {Id}}_{\mathrm {dim}_{\mathrm {out}}(\Phi ),L-L(\Phi )}\odot \Phi ,\qquad &{}\text { if } L(\Phi )<L.\end{array}\right. } \end{aligned}$$

Finally, let ${\tilde{\Phi }}^1,\ldots ,{\tilde{\Phi }}^k$ be NNs which have the same input dimension and let

$$\begin{aligned} {\tilde{L}}:=\max \left\{ L\left( {\tilde{\Phi }}^1\right) ,\ldots ,L\left( {\tilde{\Phi }}^k\right) \right\} . \end{aligned}$$

Then, we define

$$\begin{aligned} \mathrm {P}\left( {\tilde{\Phi }}^1,\ldots ,{\tilde{\Phi }}^k \right) :=\mathrm {P}\left( E_{{\tilde{L}}}\left( {\tilde{\Phi }}^1 \right) ,\ldots ,E_{{\tilde{L}}}\left( {\tilde{\Phi }}^k \right) \right) . \end{aligned}$$

We call $\mathrm {P}\left( {\tilde{\Phi }}^1,\ldots ,{\tilde{\Phi }}^k \right)$ the parallelization of ${\tilde{\Phi }}^1,\ldots ,{\tilde{\Phi }}^k.$

The following lemma was established in [21, Lemma 5.4] and examines the properties of the sparse concatenation as well as of the parallelization of NNs.

Lemma 3.6

[21] Let $\Phi ^1,\ldots ,\Phi ^k$ be NNs.

• (a) If the input dimension of $\Phi ^1$, which shall be denoted by $n_1$, equals the output dimension of $\Phi ^2,$ and $n_2$ is the input dimension of $\Phi ^2,$ then

  $$\begin{aligned} \mathrm {R}^{{\mathbb {R}}^{n_1}}_\varrho \left( \Phi ^1\right) \circ \mathrm {R}^{{\mathbb {R}}^{n_2}}_\varrho \left( \Phi ^2\right) = \mathrm {R}^{{\mathbb {R}}^{n_2}}_\varrho \left( \Phi ^1 \odot \Phi ^2\right) \end{aligned}$$

  and

  • (i) $L\left( \Phi ^1 \odot \Phi ^2\right) \le L\left( \Phi ^1\right) +L\left( \Phi ^2\right) ,$

  • (ii) $M\left( \Phi ^1 \odot \Phi ^2\right) \le M\left( \Phi ^1\right) + M\left( \Phi ^2\right) + M_1\left( \Phi ^1\right) +M_{L\left( \Phi ^2\right) }\left( \Phi ^2\right) \le 2M\left( \Phi ^1\right) +2M\left( \Phi ^2\right) ,$

  • (iii) $M_1\left( \Phi ^1\odot \Phi ^2\right) =M_1\left( \Phi ^2\right) ,$

  • (iv) $M_{L\left( \Phi ^1\odot \Phi ^2\right) }\left( \Phi ^1\odot \Phi ^2\right) = M_{L\left( \Phi ^1\right) }\left( \Phi ^1\right) .$

• (b) If the input dimension of $\Phi ^i$, denoted by n, equals the input dimension of $\Phi ^j,$ for all i, j, then for the NN $\mathrm {P}\left( \Phi ^1,\Phi ^2,\ldots ,\Phi ^k\right)$ and all ${\mathbf {x}}_1,\dots {\mathbf {x}}_k\in {\mathbb {R}}^n$ we have

  $$\begin{aligned}&\mathrm {R}^{{\mathbb {R}}^n}_\varrho \left( \mathrm {P}\left( \Phi ^1,\Phi ^2,\ldots ,\Phi ^k\right) \right) ({\mathbf {x}}_1,\dots ,{\mathbf {x}}_k) = \left( \mathrm {R}^{{\mathbb {R}}^n}_\varrho \left( \Phi ^1\right) ({\mathbf {x}}_1), \mathrm {R}^{{\mathbb {R}}^n}_\varrho \left( \Phi ^2\right) ({\mathbf {x}}_2) ,\right. \\&\quad \left. \dots , \mathrm {R}^{{\mathbb {R}}^n}_\varrho \left( \Phi ^k\right) ({\mathbf {x}}_k)\right) \end{aligned}$$

  as well as

  • (i) $L\left( \mathrm {P}\left( \Phi _1,\Phi ^2,\ldots ,\Phi ^k\right) \right) = \max _{i=1,\ldots ,k}L\left( \Phi ^i\right) ,$

  • (ii) $M\left( \mathrm {P}\left( \Phi ^1,\Phi ^2,\ldots ,\Phi ^k\right) \right) \le 2\left( \sum _{i=1}^k M\left( \Phi ^i\right) \right) +4\left( \sum _{i=1}^k \mathrm {dim}_{\mathrm {out}}\left( \Phi ^i\right) \right) \max _{i=1,\ldots ,k}L\left( \Phi ^i\right) ,$

  • (iii) $M\left( \mathrm {P}\left( \Phi ^1,\Phi ^2,\ldots ,\Phi ^k\right) \right) = \sum _{i=1}^k M\left( \Phi ^i\right)$, if $L\left( \Phi ^1\right) = L\left( \Phi ^2\right) = \ldots = L\left( \Phi ^k\right)$,

  • (iv) $M_1\left( \mathrm {P}\left( \Phi ^1,\Phi ^2,\ldots ,\Phi ^k\right) \right) =\sum _{i=1}^k M_1\left( \Phi ^i\right) ,$

  • (v) $M_{L\left( \mathrm {P}\left( \Phi ^1,\Phi ^2,\ldots ,\Phi ^k\right) \right) }\left( \mathrm {P}\left( \Phi ^1,\Phi ^2,\ldots ,\Phi ^k\right) \right) \le \sum _{i=1}^k \max \Big \{2\mathrm {dim}_{\mathrm {out}}\left( \Phi ^i\right) ,M_{L\left( \Phi ^i\right) }\left( \Phi ^i\right) \Big \},$

  • (vi) $M_{L\left( \mathrm {P}\left( \Phi ^1,\Phi ^2,\ldots ,\Phi ^k\right) \right) }\left( \mathrm {P}\left( \Phi ^1,\Phi ^2,\ldots ,\Phi ^k\right) \right) =\sum _{i=1}^k M_{L\left( \Phi ^i\right) }\left( \Phi ^i\right) ,$ if $L\left( \Phi ^1\right) = L\left( \Phi ^2\right) = \ldots = L\left( \Phi ^k\right)$.

3.2 A Neural Network-Based Approach Toward Matrix Inversion

The goal of this subsection is to emulate the inversion of square matrices by realizations of NNs which are comparatively small in size. In particular, Theorem 3.8 shows that, for $d\in {\mathbb {N}},~\epsilon \in (0,1/4),$ and $\delta \in (0,1),$ we are able to efficiently construct NNs $\Phi ^{1-\delta ,d}_{\mathrm {inv};\epsilon }$ the ReLU-realization of which approximates the map

$$\begin{aligned} \left\{ {\mathbf {A}}\in {\mathbb {R}}^{d\times d}:\Vert {\mathbf {A}}\Vert _2\le 1-\delta \right\} \rightarrow {\mathbb {R}}^{d\times d},~{\mathbf {A}}\mapsto \left( \mathbf {Id}_{{\mathbb {R}}^d}-{\mathbf {A}} \right) ^{-1}=\sum _{k=0}^\infty {\mathbf {A}}^k \end{aligned}$$

up to an $\Vert \cdot \Vert _2$- error of $\epsilon$.

To stay in the classical NN setting, we employ vectorized matrices in the remainder of this paper. Let ${\mathbf {A}}\in {\mathbb {R}}^{d\times l}.$ We write

$$\begin{aligned} \mathbf {vec}({\mathbf {A}}):=({\mathbf {A}}_{1,1},\ldots ,{\mathbf {A}}_{d,1},\ldots ,{\mathbf {A}}_{1,l},\ldots ,{\mathbf {A}}_{d,l})^T\in {\mathbb {R}}^{dl}. \end{aligned}$$

Moreover, for a vector ${\mathbf {v}}=({\mathbf {v}}_{1,1},\ldots ,{\mathbf {v}}_{d,1},\ldots ,{\mathbf {v}}_{1,d},\ldots ,{\mathbf {v}}_{d,l})^T\in {\mathbb {R}}^{d l }$ we set

$$\begin{aligned} \mathbf {matr}({\mathbf {v}}) :=({\mathbf {v}}_{i,j})_{i=1,\ldots ,d,~j=1,\ldots ,l}\in {\mathbb {R}}^{d\times l}. \end{aligned}$$

In addition, for $d,n,l\in {\mathbb {N}}$ and $Z>0$ we set

$$\begin{aligned} K^Z_{d,n,l}:=\left\{ (\mathbf {vec}({\mathbf {A}}),\mathbf {vec}({\mathbf {B}})):({\mathbf {A}},{\mathbf {B}})\in {\mathbb {R}}^{d\times n}\times {\mathbb {R}}^{n\times l} ,~\Vert {\mathbf {A}}\Vert _2,\Vert {\mathbf {B}}\Vert _2\le Z\right\} \end{aligned}$$

as well as

$$\begin{aligned} K^Z_{d}:=\left\{ \mathbf {vec}({\mathbf {A}}):{\mathbf {A}}\in {\mathbb {R}}^{d\times d},~\Vert {\mathbf {A}}\Vert _2\le Z\right\} . \end{aligned}$$

The basic ingredient for the construction of NNs emulating a matrix inversion is the following result about NNs emulating the multiplication of two matrices.

Proposition 3.7

Let $d,n,l\in {\mathbb {N}},~\epsilon \in (0,1),~Z> 0.$ There exists a NN $\Phi ^{Z,d,n,l}_{\mathrm {mult};\epsilon }$ with $n\cdot (d+l)$- dimensional input, dl-dimensional output such that, for an absolute constant $C_{\mathrm {mult}}>0,$ the following properties are fulfilled:

• (i) $L\left( \Phi ^{Z,d,n,l}_{\mathrm {mult};{\tilde{\epsilon }}}\right) \le C_{\mathrm {mult}}\cdot \left( \log _2\left( 1/\epsilon \right) +\log _2\left( n\sqrt{dl}\right) +\log _2\left( \max \left\{ 1,Z\right\} \right) \right)$,

• (ii) $M\left( \Phi ^{Z,d,n,l}_{\mathrm {mult};{\tilde{\epsilon }}}\right) \le C_{\mathrm {mult}}\cdot \left( \log _2\left( 1/\epsilon \right) +\log _2\left( n\sqrt{dl}\right) +\log _2\left( \max \left\{ 1,Z\right\} \right) \right) dnl,$

• (iii) $M_1\left( \Phi ^{Z,d,n,l}_{\mathrm {mult};{\tilde{\epsilon }}}\right) \le C_{\mathrm {mult}} dnl, \qquad \text { as well as } \qquad M_{L\left( \Phi ^{Z,d,n,l}_{\mathrm {mult};{\tilde{\epsilon }}}\right) }\left( \Phi ^{Z,d,n,l}_{\mathrm {mult};{\tilde{\epsilon }}}\right) \le C_{\mathrm {mult}} dnl$,

• (iv) $\sup _{(\mathbf {vec}({\mathbf {A}}),\mathbf {vec}({\mathbf {B}}))\in K^Z_{d,n,l}}\left\| {\mathbf {A}} {\mathbf {B}}- \mathbf {matr}\left( \mathrm {R}_{\varrho }^{K^Z_{d,n,l}}\left( \Phi ^{Z,d,n,l}_{\mathrm {mult};\epsilon }\right) (\mathbf {vec}({\mathbf {A}}),\mathbf {vec}({\mathbf {B}}))\right) \right\| _2 \le \epsilon$,

• (v) for any $(\mathbf {vec}({\mathbf {A}}),\mathbf {vec}({\mathbf {B}}))\in K^Z_{d,n,l}$ we have

  $$\begin{aligned} \left\| \mathbf {matr}\left( \mathrm {R}_{\varrho }^{K^Z_{d,n,l}}\left( \Phi ^{Z,d,n,l}_{\mathrm {mult};{\tilde{\epsilon }}}\right) (\mathbf {vec}({\mathbf {A}}),\mathbf {vec}({\mathbf {B}}))\right) \right\| _2\le & {} \epsilon +\Vert {\mathbf {A}}\Vert _2 \Vert {\mathbf {B}}\Vert _2\\\le & {} \epsilon +Z^2 \le 1+Z^2. \end{aligned}$$

Based on Proposition 3.7, we construct in “Appendix A.2” NNs emulating the map ${\mathbf {A}}\mapsto {\mathbf {A}}^k$ for square matrices ${\mathbf {A}}$ and $k\in {\mathbb {N}}.$ This construction is then used to prove the following result.

Theorem 3.8

For $\epsilon ,\delta \in (0,1)$ define

$$\begin{aligned} m(\epsilon ,\delta ):=\left\lceil \frac{\log _2\left( 0.5 \epsilon \delta \right) }{\log _{2}(1-\delta )}\right\rceil . \end{aligned}$$

There exists a universal constant $C_{\mathrm {inv}} > 0$ such that for every $d\in {\mathbb {N}},$ $\epsilon \in (0,1/4)$ and every $\delta \in (0,1)$ there exists a NN $\Phi ^{1-\delta , d}_{\mathrm {inv};\epsilon }$ with $d^2$-dimensional input, $d^2$-dimensional output and the following properties:

• (i) $L\left( \Phi ^{1-\delta , d}_{\mathrm {inv};\epsilon }\right) \le C_{\mathrm {inv}} \log _2\left( m(\epsilon ,\delta ) \right) \cdot \left( \log _2\left( 1/ \epsilon \right) +\log _2\left( m(\epsilon ,\delta ) \right) +\log _2(d)\right)$,

• (ii) $M\left( \Phi ^{1-\delta , d}_{\mathrm {inv};\epsilon }\right) \le C_{\mathrm {inv}} m(\epsilon ,\delta ) \log _2^2(m(\epsilon ,\delta ))d^3\cdot \left( \log _2\left( 1/\epsilon \right) + \log _2\left( m(\epsilon ,\delta )\right) \right.$ $\left. +\log _2(d) \right)$,

• (iii) $\sup _{\mathbf {vec}({\mathbf {A}})\in K^{1-\delta }_{d}} \left\| \left( \mathbf {Id}_{{\mathbb {R}}^{d}}-{\mathbf {A}} \right) ^{-1} - \mathbf {matr}\left( \mathrm {R}_\varrho ^{K^{1-\delta }_{d}}\left( \Phi ^{1-\delta ,d}_{\mathrm {inv};\epsilon }\right) (\mathbf {vec}({\mathbf {A}}))\right) \right\| _2 \le \epsilon ,$

• (iv) for any $\mathbf {vec}({\mathbf {A}})\in K^{1-\delta }_d$ we have

  $$\begin{aligned}&\left\| \mathbf {matr}\left( \mathrm {R}_\varrho ^{K^{1-\delta }_{d}}\left( \Phi ^{1-\delta ,d}_{\mathrm {inv};\epsilon }\right) (\mathbf {vec}({\mathbf {A}}))\right) \right\| _2\le \epsilon + \left\| \left( \mathbf {Id}_{{\mathbb {R}}^d}-{\mathbf {A}}\right) ^{-1} \right\| _2\\&\quad \le \epsilon + \frac{1}{1-\Vert {\mathbf {A}}\Vert _2} \le \epsilon + \frac{1}{\delta }. \end{aligned}$$

Remark 3.9

In the proof of Theorem 3.8, we approximate the function mapping a matrix to its inverse via the Neumann series and then emulate this construction by NNs. There certainly exist alternative approaches to approximating this inversion function, such as, for example, via Chebyshev matrix polynomials (for an introduction of Chebyshev polynomials, see, for instance, [65, Chapter 8.2]). In fact, approximation by Chebyshev matrix polynomials is more efficient in terms of the degree of the polynomials required to reach a certain approximation accuracy. However, emulation of Chebyshev matrix polynomials by NNs either requires larger networks than that of monomials or, if they are represented in a monomial basis, coefficients that grow exponentially with the polynomial degree. In the end, the advantage of a smaller degree in the approximation through Chebyshev matrix polynomials does not seem to set off the drawbacks described before.

4 Neural Networks and Solutions of PDEs Using Reduced Bases

In this section, we invoke the estimates for the approximate matrix inversion from Sect. 3.2 to approximate the parameter-dependent solution of parametric PDEs by NNs. In other words, for ${{\tilde{\epsilon }}}\ge {\hat{\epsilon }}$, we construct NNs approximating the maps

$$\begin{aligned} {\mathcal {Y}}\rightarrow {\mathbb {R}}^{D}:\quad y\mapsto \tilde{{\mathbf {u}}}_{y,{{\tilde{\epsilon }}}}^{\mathrm {h}}, \text { and } {\mathcal {Y}}\rightarrow {\mathbb {R}}^{d({{\tilde{\epsilon }}})}:\quad y\mapsto {\mathbf {u}}_{y,{{\tilde{\epsilon }}}}^{\mathrm {rb}}. \end{aligned}$$

Here, the sizes of the NNs essentially only depend on the approximation fidelity ${{\tilde{\epsilon }}}$ and the size $d({{\tilde{\epsilon }}})$ of an appropriate RB, but are independent or at most linear in the dimension of the high-fidelity discretization D.

We start in Sect. 4.1 by constructing, under some general assumptions on the parametric problem, a NN emulating the maps $\tilde{{\mathbf {u}}}_{\cdot ,{{\tilde{\epsilon }}}}^{\mathrm {h}}$ and ${\mathbf {u}}_{\cdot ,{{\tilde{\epsilon }}}}^{\mathrm {rb}}$. In Sect. 4.2, we verify these assumptions on two examples.

4.1 Determining the Coefficients of the Solution

Next, we present constructions of NNs the ReLU-realizations of which approximate the maps $\tilde{{\mathbf {u}}}_{\cdot ,{{\tilde{\epsilon }}}}^{\mathrm {h}}$ and ${\mathbf {u}}_{\cdot ,{{\tilde{\epsilon }}}}^{\mathrm {rb}}$, respectively. In our main result of this subsection, the approximation error of the NN approximation $\tilde{{\mathbf {u}}}_{\cdot ,{{\tilde{\epsilon }}}}^{\mathrm {h}}$ will be measured with respect to the $|\cdot |_{{\mathbf {G}}}$-norm since we can relate this norm directly to the norm on ${\mathcal {H}}$ via Eq. (2.4). In contrast, the approximation error of the NN approximating ${\mathbf {u}}^{\mathrm {rb}}_{\cdot ,{{\tilde{\epsilon }}}}$ will be measured with respect to the $|\cdot |$-norm due to Eq. 2.8.

As already indicated earlier, the main ingredient of the following arguments is an application of the NN of Theorem 3.8 to the matrix ${\mathbf {B}}_{y,{{\tilde{\epsilon }}}}^{\mathrm {rb}}$. As a preparation, we show in Proposition B.1 in Appendix, that we can rescale the matrix ${\mathbf {B}}_{y,{{\tilde{\epsilon }}}}^{\mathrm {rb}}$ with a constant factor $\alpha :=(C_{\mathrm {coer}}+C_{\mathrm {cont}})^{-1}$ (in particular, independent of y and $d({{\tilde{\epsilon }}})$) so that with $C_{\mathrm {coer}}\delta :=\alpha C_{\mathrm {coer}}$

$$\begin{aligned} \left\| \mathbf {Id}_{{\mathbb {R}}^{d({{\tilde{\epsilon }}})}}-\alpha {\mathbf {B}}_{y,{{\tilde{\epsilon }}}}^{\mathrm {rb}} \right\| _2 \le 1-\delta <1. \end{aligned}$$

We will fix these values of $\alpha$ and $\delta$ for the remainder of the manuscript. Next, we state two abstract assumptions on the approximability of the map ${\mathbf {B}}_{\cdot ,{{\tilde{\epsilon }}}}^{\mathrm {rb}}$ which we will later on specify when we consider concrete examples in Sect. 4.2.

Assumption 4.1

We assume that, for any ${{\tilde{\epsilon }}}\ge {\hat{\epsilon }},\epsilon >0,$ and for a corresponding RB $(\psi _{i})_{i=1}^{d({{\tilde{\epsilon }}})},$ there exists a NN $\Phi ^{{\mathbf {B}}}_{{{\tilde{\epsilon }}},\epsilon }$ with p-dimensional input and $d({{\tilde{\epsilon }}})^2$-dimensional output such that

$$\begin{aligned} \sup _{y\in {\mathcal {Y}}} \left\| \alpha {\mathbf {B}}^{\mathrm {rb}}_{y,{{\tilde{\epsilon }}}}- \mathbf {matr}\left( \mathrm {R}^{{\mathcal {Y}}}_{\varrho }\left( \Phi ^{{\mathbf {B}}}_{{{\tilde{\epsilon }}},\epsilon }\right) (y)\right) \right\| _2\le \epsilon . \end{aligned}$$

We set $B_{M}\left( {{\tilde{\epsilon }}}, \epsilon \right) :=M\left( \Phi ^{{\mathbf {B}}}_{{{\tilde{\epsilon }}},\epsilon }\right) \in {\mathbb {N}}$ and $B_{L}\left( {{\tilde{\epsilon }}}, \epsilon \right) :=L\left( \Phi ^{{\mathbf {B}}}_{{{\tilde{\epsilon }}},\epsilon }\right) \in {\mathbb {N}}.$

In addition to Assumption 4.1, we state the following assumption on the approximability of the map ${\mathbf {f}}_{\cdot ,{{\tilde{\epsilon }}}}^{\mathrm {rb}}$.

Assumption 4.2

We assume that for every ${{\tilde{\epsilon }}}\ge {\hat{\epsilon }},\epsilon >0,$ and a corresponding RB $(\psi _{i})_{i=1}^{d({{\tilde{\epsilon }}})}$ there exists a NN $\Phi ^{{\mathbf {f}}}_{{{\tilde{\epsilon }}},\epsilon }$ with p-dimensional input and $d({{\tilde{\epsilon }}})$-dimensional output such that

$$\begin{aligned} \sup _{y\in {\mathcal {Y}}} \left| {\mathbf {f}}^{\mathrm {rb}}_{y,{{\tilde{\epsilon }}}}- \mathrm {R}^{{\mathcal {Y}}}_{\varrho }\left( \Phi ^{{\mathbf {f}}}_{{{\tilde{\epsilon }}},\epsilon } \right) (y)\right| \le \epsilon . \end{aligned}$$

We set $F_L\left( {{\tilde{\epsilon }}}, \epsilon \right) :=L(\Phi ^{{\mathbf {f}}}_{{{\tilde{\epsilon }}},\epsilon })$ and $F_M\left( {{\tilde{\epsilon }}}, \epsilon \right) :=M\left( \Phi ^{{\mathbf {f}}}_{{{\tilde{\epsilon }}},\epsilon }\right)$.

Now we are in a position to construct NNs the ReLU-realizations of which approximate the coefficient maps $\tilde{{\mathbf {u}}}_{\cdot ,{{\tilde{\epsilon }}}}^{\mathrm {h}},{\mathbf {u}}_{\cdot ,{{\tilde{\epsilon }}}}^{\mathrm {rb}}.$

Theorem 4.3

Let ${{\tilde{\epsilon }}}\ge {\hat{\epsilon }}$ and $\epsilon \in \left( 0,\alpha /4 \cdot \min \{1,C_{\mathrm {coer}}\} \right) .$ Moreover, define $\epsilon ':=\epsilon /\max \{6,C_{\mathrm {rhs}}\}$, $\epsilon '':=\epsilon /3 \cdot C_{\mathrm {coer}}$, $\epsilon ''':=3/8\cdot \epsilon '\alpha C_{\mathrm {coer}}^2$ and $\kappa :=2 \max \left\{ 1,C_{\mathrm {rhs}},1/C_{\mathrm {coer}}\right\}$. Additionally, assume that Assumption 4.1 and Assumption 4.2 hold. Then, there exist NNs $\Phi ^{{\mathbf {u}},\mathrm {rb}}_{{{\tilde{\epsilon }}},\epsilon }$ and $\Phi ^{{\mathbf {u}},\mathrm {h}}_{{{\tilde{\epsilon }}},\epsilon }$ such that the following properties hold:

• (i) $\sup _{y\in {\mathcal {Y}}}\left| {\mathbf {u}}^{\mathrm {rb}}_{y,{{\tilde{\epsilon }}}} - \mathrm {R}_\varrho ^{\mathcal {Y}}\left( \Phi ^{{\mathbf {u}},\mathrm {rb}}_{{{\tilde{\epsilon }}},\epsilon }\right) (y) \right| \le \epsilon$, and $\sup _{y\in {\mathcal {Y}}}\left| \tilde{{\mathbf {u}}}^{\mathrm {h}}_{y,{{\tilde{\epsilon }}}} - \mathrm {R}_\varrho ^{\mathcal {Y}}\left( \Phi ^{{\mathbf {u}},\mathrm {h}}_{{{\tilde{\epsilon }}},\epsilon }\right) (y) \right| _{{\mathbf {G}}}\le \epsilon ,$

• (ii) there exists a constant $C^{{\mathbf {u}}}_L= C^{{\mathbf {u}}}_L(C_{\mathrm {coer}}, C_{\mathrm {cont}}, C_{\mathrm {rhs}})>0$ such that

  $$\begin{aligned}&L\left( \Phi ^{{\mathbf {u}}, \mathrm {rb}}_{{{\tilde{\epsilon }}},\epsilon }\right) \le L\left( \Phi ^{{\mathbf {u}},\mathrm {h}}_{{{\tilde{\epsilon }}},\epsilon }\right) \\&\quad \le C^{{\mathbf {u}}}_L \max \left\{ \log _2(\log _2(1/\epsilon ))\left( \log _2(1/\epsilon )+ \log _2(\log _2(1/\epsilon ))+\log _2(d({{\tilde{\epsilon }}}))\right) \right. \\&\quad \quad \left. + B_L({{\tilde{\epsilon }}}, \epsilon '''), F_L\left( {{\tilde{\epsilon }}},\epsilon ''\right) \right\} , \end{aligned}$$

• (iii) there exists a constant $C^{{\mathbf {u}}}_M= C^{{\mathbf {u}}}_M(C_{\mathrm {coer}}, C_{\mathrm {cont}}, C_{\mathrm {rhs}})>0$ such that

  $$\begin{aligned}&M\left( \Phi ^{{\mathbf {u}}, \mathrm {rb}}_{{{\tilde{\epsilon }}},\epsilon }\right) \le C^{{\mathbf {u}}}_M d({{\tilde{\epsilon }}})^2 \cdot \bigg (d({{\tilde{\epsilon }}})\log _2(1/\epsilon ) \log _2^2(\log _2(1/\epsilon ))\\&\big (\log _2(1/\epsilon )+\log _2(\log _2(1/\epsilon )) + \log _2(d({{\tilde{\epsilon }}}))\big )\ldots \\&\cdots + B_L({{\tilde{\epsilon }}},\epsilon ''') + F_L\left( {{\tilde{\epsilon }}},\epsilon ''\right) \bigg ) +2B_M({{\tilde{\epsilon }}},\epsilon ''') +F_M\left( {{\tilde{\epsilon }}},\epsilon ''\right) , \end{aligned}$$

• (iv) $M\left( \Phi ^{{\mathbf {u}},\mathrm {h}}_{{{\tilde{\epsilon }}},\epsilon }\right) \le 2 D d({{\tilde{\epsilon }}}) + 2M\left( \Phi ^{{\mathbf {u}}, \mathrm {rb}}_{{{\tilde{\epsilon }}},\epsilon }\right) ,$

• (v) $\sup _{y\in {\mathcal {Y}}}\left| \mathrm {R}_\varrho ^{\mathcal {Y}}\left( \Phi ^{{\mathbf {u}},\mathrm {rb}}_{{{\tilde{\epsilon }}},\epsilon }\right) (y) \right| \le \kappa ^2 + \frac{\epsilon }{3}$, and $\sup _{y\in {\mathcal {Y}}}\left| \mathrm {R}_\varrho ^{\mathcal {Y}}\left( \Phi ^{{\mathbf {u}},\mathrm {h}}_{{{\tilde{\epsilon }}},\epsilon }\right) (y) \right| _{{\mathbf {G}}}\le \kappa ^2 + \frac{\epsilon }{3}.$

Remark 4.4

In the proof of Theorem 4.3, we construct a NN $\Phi ^{{\mathbf {B}}}_{\mathrm {inv};{{\tilde{\epsilon }}},\epsilon }$ the ReLU realization of which $\epsilon$-approximates $\left( {\mathbf {B}}_{y}^{\mathrm {rb}}\right) ^{-1}$ (see Proposition B.3). Then, the NNs of Theorem 4.3 can be explicitly constructed as

Remark 4.5

It can be checked in the proof of Theorem 4.3, specifically (B.4) and (B.5) that the constants $C^{{\mathbf {u}}}_L, C^{{\mathbf {u}}}_M$ depend on the constants $C_{\mathrm {coer}},C_{\mathrm {cont}},C_{\mathrm {rhs}}$ in the following way (recall that $\frac{C_{\mathrm {coer}}}{2C_{\mathrm {cont}}} \le \delta = \frac{C_{\mathrm {coer}}}{C_{\mathrm {coer}}+C_\mathrm {cont}}\le \frac{1}{2}$):

• $C^{{\mathbf {u}}}_L$ depends affine linearly on

  $$\begin{aligned} \log ^2_2\left( \frac{\log _2(\delta /2)}{\log _2(1-\delta )}\right) , \quad \log _2\left( \frac{1}{C_{\mathrm {coer}}+C_{\mathrm {cont}}}\right) ,\quad \log _2\left( \max \left\{ 1,C_{\mathrm {rhs}}, 1/C_{\mathrm {coer}}\right\} \right) . \end{aligned}$$

• $C^{{\mathbf {u}}}_M$ depends affine linearly on

  $$\begin{aligned} \log _2\left( \frac{1}{C_{\mathrm {coer}}+C_{\mathrm {cont}}}\right) , \ \frac{\log _2(\delta /2)}{\log _2(1-\delta )}\cdot \log _2^3\left( \frac{\log _2(\delta /2)}{\log _2(1-\delta )} \right) , \ \log _2\left( \max \left\{ 1,C_{\mathrm {rhs}}, 1/C_{\mathrm {coer}}\right\} \right) . \end{aligned}$$

Remark 4.6

Theorem 4.3 guarantees the existence of two moderately sized NNs the realizations of which approximate the discretized solution maps:

$$\begin{aligned} {\mathcal {Y}}\rightarrow {\mathbb {R}}^{D}:\quad y\mapsto \tilde{{\mathbf {u}}}_{y,{{\tilde{\epsilon }}}}^{\mathrm {h}}, \text { and } {\mathcal {Y}}\rightarrow {\mathbb {R}}^{d({{\tilde{\epsilon }}})}:\quad y\mapsto {\mathbf {u}}_{y,{{\tilde{\epsilon }}}}^{\mathrm {rb}}. \end{aligned}$$

(4.1)

Also of interest is the approximation of the parametrized solution of the PDE, i.e., the map ${\mathcal {Y}}\times \Omega \rightarrow {\mathbb {R}}:\quad (y,x)\mapsto u_y(x)$, where $\Omega$ is the domain on which the PDE is defined. Note that if either the elements of the reduced basis or the elements of the high-fidelity basis can be very efficiently approximated by realizations of NNs, then the representation

$$\begin{aligned} u_y(x) \approx \sum _{i= 1}^{d({{\tilde{\epsilon }}})} ({\mathbf {u}}_{y,{{\tilde{\epsilon }}}}^{\mathrm {rb}})_i \psi _i(x) = \sum _{i=1}^D (\tilde{{\mathbf {u}}}_{y,{{\tilde{\epsilon }}}}^{\mathrm {h}})_i \varphi _i(x) \end{aligned}$$

suggests that $(y,x)\mapsto u_y(x)$ can be approximated with essentially the cost of approximating the respective function in (4.1). Many basis elements that are commonly used for the high-fidelity representation can indeed be approximated very efficiently by realizations of NNs, such as, e.g., polynomials, finite elements, or wavelets [31, 52, 62, 69].

4.2 Examples of Neural Network Approximation of Parametric Maps

In this subsection, we apply Theorem 4.3 to a variety of concrete examples in which the approximation of the coefficient maps ${\mathbf {u}}_{\cdot ,{{\tilde{\epsilon }}}}^{\mathrm {rb}},$ $\tilde{{\mathbf {u}}}_{\cdot ,{{\tilde{\epsilon }}}}^{\mathrm {h}}$ can be approximated by comparatively small NNs. We show that the sizes of these NNs depend only on the size of associated reduced bases by verifying Assumption 4.1 and Assumption 4.2, respectively. We will discuss to what extent our results depend on the respective ambient dimensions D,  p in Sect. 5.

We will state the following examples already in their variational formulation and note that they fulfill the requirements of Assumption 2.1. We also remark that the presented examples represent only a small portion of problems to which our theory is applicable.

4.2.1 Example I: Diffusion Equation

We consider a special case of [57, Chapter 2.3.1] which can be interpreted as a generalized version of the heavily used example $-\mathrm {div}(a\nabla u)=f,$ where a is a scalar field (see for instance [13, 61] and the references therein). Let $n\in {\mathbb {N}},~\Omega \subset {\mathbb {R}}^n,$ be a Lipschitz domain and ${\mathcal {H}}:=H_0^1(\Omega )=\left\{ u\in H^1(\Omega ):~u|_{\partial \Omega }=0\right\}$. We assume that the parameter set is given by a compact set ${\mathcal {T}}\subset L^{\infty }(\Omega ,{\mathbb {R}}^{n\times n})$ such that for all ${\mathbf {T}}\in {\mathcal {T}}$ and almost all ${\mathbf {x}}\in \Omega$ the matrix ${\mathbf {T}}({\mathbf {x}})$ is symmetric, positive definite with matrix norm that can be bounded from above and below independently of ${\mathbf {T}}$ and ${\mathbf {x}}$. As we have noted in Assumption 2.1, we can assume that there exist some $({\mathbf {T}}_i)_{i=0}^{\infty }\subset L^{\infty }(\Omega ,{\mathbb {R}}^{n\times n})$ such that for every ${\mathbf {T}}\in {\mathcal {T}}$ there exist $(y_i({\mathbf {T}}))_{i=1}^\infty \subset [-1,1]$ with ${\mathbf {T}}= {\mathbf {T}}_0+\sum _{i=1}^\infty y_i({\mathbf {T}}) {\mathbf {T}}_i.$ We restrict ourselves to the case of finitely supported sequences $(y_i)_{i=1}^\infty .$ To be more precise, let $p\in {\mathbb {N}}$ be potentially very high but fixed, let ${\mathcal {Y}}:=[-1,1]^{p}$ and consider for $y\in {\mathcal {Y}}$ and some fixed $f\in {\mathcal {H}}^*$ the parametric PDE

$$\begin{aligned} b_y(u_y,v):=\int _{\Omega } {\mathbf {T}}_0\nabla u_y \nabla v~{\text {d}}{\mathbf {x}}+ \sum _{i=1}^{p} y_i \int _{\Omega } {\mathbf {T}}_i\nabla u_y \nabla v~{\text {d}}{\mathbf {x}} = f(v), \qquad \text {for all } v\in {\mathcal {H}}. \end{aligned}$$

Then, the parameter dependency of the bilinear forms is linear, hence analytic whereas the parameter dependency of the right-hand side is constant, hence also analytic, implying that ${\overline{W}}(S({\mathcal {Y}}))$ decays exponentially fast. This in turn implies existence of small RBs $(\psi _i)_{i=1}^{d({{\tilde{\epsilon }}})}$ where $d({{\tilde{\epsilon }}})$ depends at most polylogarithmically on $1/{{\tilde{\epsilon }}}$. In this case, Assumption 4.1 and Assumption 4.2 are trivially fulfilled: for ${{\tilde{\epsilon }}}>0,\epsilon >0$ we can construct one-layer NNs $\Phi ^{{\mathbf {B}}}_{{{\tilde{\epsilon }}},\epsilon }$ with p-dimensional input and $d({{\tilde{\epsilon }}})^2$-dimensional output as well as $\Phi ^{{\mathbf {f}}}_{{{\tilde{\epsilon }}},\epsilon }$ with p-dimensional input and $d({{\tilde{\epsilon }}})$-dimensional output the ReLU-realizations of which exactly implement the maps $y\mapsto {\mathbf {B}}^{\mathrm {rb}}_{y,{{\tilde{\epsilon }}}}$ and $y\mapsto {\mathbf {f}}^{\mathrm {rb}}_{y,{{\tilde{\epsilon }}}},$ respectively.

In conclusion, in this example, we have, for ${{\tilde{\epsilon }}}, \epsilon >0$,

$$\begin{aligned} B_L\left( {{\tilde{\epsilon }}}, \epsilon \right) = 1, \quad F_L\left( {{\tilde{\epsilon }}}, \epsilon \right) = 1, \quad B_M\left( {{\tilde{\epsilon }}}, \epsilon \right) \le pd({{\tilde{\epsilon }}})^2, \quad F_M\left( {{\tilde{\epsilon }}}, \epsilon \right) \le pd({{\tilde{\epsilon }}}). \end{aligned}$$

Theorem 4.3 hence implies the existence of a NN approximating ${\mathbf {u}}^{\mathrm {rb}}_{\cdot ,{{\tilde{\epsilon }}}}$ up to error $\epsilon$ with a size that is linear in p,  polylogarithmic in $1/\epsilon$, and, up to a log factor, cubic in $d({{\tilde{\epsilon }}})$. Moreover, we have shown the existence of a NN approximating $\tilde{{\mathbf {u}}}^{\mathrm {h}}_{\cdot ,{{\tilde{\epsilon }}}}$ with a size that is linear in p,  polylogarithmic in $1/\epsilon ,$ linear in D and, up to a log factor, cubic in $d({{\tilde{\epsilon }}}).$

4.2.2 Example II: Linear Elasticity Equation

Let $\Omega \subset {\mathbb {R}}^3$ be a Lipschitz domain,  $\Gamma _D,\Gamma _{N_1},\Gamma _{N_2},\Gamma _{N_3}\subset \partial \Omega ,$ be disjoint such that $\Gamma _D\cup \Gamma _{N_1}\cup \Gamma _{N_2}\cup \Gamma _{N_3} = \partial \Omega ,$ ${\mathcal {H}}:=[H_{\Gamma _D}^1(\Omega )]^3,$ where $H_{\Gamma _D}^1(\Omega )= \left\{ u\in H^1(\Omega ):u|_{\Gamma _D}=0 \right\} .$ In variational formulation, this problem can be formulated as an affinely decomposed problem dependent on five parameters, i.e., $p=5.$ Let ${\mathcal {Y}}:=[{\tilde{y}}^{1,1},{\tilde{y}}^{2,1}]\times \cdots \times [{\tilde{y}}^{1,5},{\tilde{y}}^{2,5}]\subset {\mathbb {R}}^5$ such that $[{\tilde{y}}^{1,2},{\tilde{y}}^{2,2}]\subset (-1, 1/2 )$ and for $y=(y_1,\ldots ,y_5)\in {\mathcal {Y}}$ we consider the problem

$$\begin{aligned} b_y(u_y,v)=f_y(v), \quad \text { for all } v\in {\mathcal {H}}, \end{aligned}$$

where

• $b_y(u_y,v) :=\frac{y_1}{1+y_2} \int _{\Omega } \mathrm {trace}\left( \left( \nabla u_y + (\nabla (u_y)^T \right) \cdot \left( \nabla v + (\nabla v)^T \right) ^T\right) {\text {d}}{\mathbf {x}} + \frac{y_1y_2}{1-2y_2} \int _{\Omega } \mathrm {div}(u_y)\, \mathrm {div}(v)~{\text {d}}{\mathbf {x}},$

• $f_y(v) :=y_3\int _{\Gamma _1} {\mathbf {n}}\cdot v\, {\text {d}}{\mathbf {x}}+y_4\int _{\Gamma _2} {\mathbf {n}}\cdot v \, {\text {d}}{\mathbf {x}} +y_5\int _{\Gamma _3} {\mathbf {n}}\cdot v \, {\text {d}}{\mathbf {x}},$ and where ${\mathbf {n}}$ denotes the outward unit normal on $\partial \Omega .$

The parameter dependency of the right-hand side is linear (hence analytic), whereas the parameter dependency of the bilinear forms is rational, hence (due to the choice of ${\tilde{y}}^{1,2},{\tilde{y}}^{2,2}$) also analytic and ${\overline{W}}_N(S({\mathcal {Y}}))$ decays exponentially fast implying that we can choose $d({{\tilde{\epsilon }}})$ to depend polylogarithmically on ${{\tilde{\epsilon }}}$. It is now easy to see that Assumption 4.1 and Assumption 4.2 are fulfilled with NNs the size of which is comparatively small: By [66], for every ${{\tilde{\epsilon }}},\epsilon >0$ we can find a NN with ${\mathcal {O}}(\log ^2_2(1/\epsilon ))$ layers and ${\mathcal {O}}(d({{\tilde{\epsilon }}})^2\log ^3_2(1/\epsilon ))$ nonzero weights the ReLU-realization of which approximates the map $y\mapsto {\mathbf {B}}_{y,{{\tilde{\epsilon }}}}^{\mathrm {rb}}$ up to an error of $\epsilon$. Moreover, there exists a one-layer NN $\Phi ^{{\mathbf {f}}}_{{{\tilde{\epsilon }}},\epsilon }$ with p-dimensional input and $d({{\tilde{\epsilon }}})$-dimensional output the ReLU-realization of which exactly implements the map $y\mapsto {\mathbf {f}}^{\mathrm {rb}}_{y,{{\tilde{\epsilon }}}}$. In other words, in these examples, for ${{\tilde{\epsilon }}}, \epsilon >0$,

$$\begin{aligned}&B_L({{\tilde{\epsilon }}}, \epsilon ) \in {\mathcal {O}}\left( \log _2^2(1/\epsilon ) \right) , \quad F_L\left( {{\tilde{\epsilon }}}, \epsilon \right) = 1, \quad B_M\left( {{\tilde{\epsilon }}}, \epsilon \right) \in {\mathcal {O}}\left( d({{\tilde{\epsilon }}})^2\log _2^3(1/\epsilon ) \right) ,\\&\quad F_M\left( {{\tilde{\epsilon }}}, \epsilon \right) \le 5 d({{\tilde{\epsilon }}}). \end{aligned}$$

Thus, Theorem 4.3 implies the existence of NNs approximating ${\mathbf {u}}^{\mathrm {rb}}_{\cdot ,{{\tilde{\epsilon }}}}$ up to error $\epsilon$ with a size that is polylogarithmic in $1/\epsilon$, and, up to a log factor, cubic in $d({{\tilde{\epsilon }}})$. Moreover, there exist NNs approximating $\tilde{{\mathbf {u}}}^{\mathrm {h}}_{\cdot ,{{\tilde{\epsilon }}}}$ up to error $\epsilon$ with a size that is linear in D,  polylogarithmic in $1/\epsilon$, and, up to a log factor, cubic in $d({{\tilde{\epsilon }}})$.

For a more thorough discussion of this example (a special case of the linear elasticity equation which describes the displacement of some elastic structure under physical stress on its boundaries), we refer to [57, Chapter 2.1.2, Chapter 2.3.2, Chapter 8.6].

5 Discussion: Dependence of Approximation Rates on Involved Dimensions

In this section, we will discuss our results in terms of the dependence on the involved dimensions. We would like to stress that the resulting approximation rates (which can be derived from Theorem 4.3) differ significantly from and are often substantially better than alternative approaches. As described in Sect. 2, there are three central dimensions that describe the hardness of the problem. These are the dimension D of the high-fidelity discretization space $U^{\mathrm {h}}$, the dimension $d({{\tilde{\epsilon }}})$ of the reduced basis space, and the dimension p of the parameter space ${\mathcal {Y}}.$

Dependence on D: Examples I and II above establish approximation rates that depend at most linearly on D; in particular, the dependence on D is not coupled to the dependence on $\epsilon$. Another approach to solve these problems would be to directly solve the linear systems from the high-fidelity discretization. Without further assumptions on sparsity properties of the matrices, the resulting complexity would be ${\mathcal {O}}(D^3)$ plus the cost of assembling the high-fidelity stiffness matrices. Since $D \gg d({{\tilde{\epsilon }}})$, this is significantly worse than the approximation rate provided by Theorem 4.3.

Dependence on $d({{\tilde{\epsilon }}}):$ If one assembles and solves the Galerkin scheme for a previously found reduced basis, one typically needs ${\mathcal {O}}\left( d({{\tilde{\epsilon }}})^3\right)$ operations. By building NNs emulating this method, we achieve essentially the same approximation rate of ${\mathcal {O}}\left( d({{\tilde{\epsilon }}})^3\log _2(d({{\tilde{\epsilon }}}))\cdot C(\epsilon )\right)$ where $C(\epsilon )$ depends polylogarithmically on the approximation accuracy $\epsilon .$

Note that, while having comparable complexity, the NN-based approach is more versatile than using a Galerkin scheme and can be applied even when the underlying PPDE is fully unknown as long as sufficiently many snapshots are available.

Dependence on p:

We start by comparing our result to naive NN approximation results which are simply based on the smoothness properties of the map $y \mapsto \tilde{{\mathbf {u}}}_{\cdot ,{{\tilde{\epsilon }}}}^{\mathrm {h}}$ without using its specific structure. For example, if these maps are analytic, then classical approximation rates with NNs (such as those provided by [69, Theorem 1], [53, Theorem 3.1] or [28, Corollary 4.2]) promise approximations up to an error of $\epsilon$ with NNs $\Phi$ of size $M(\Phi ) \le c(p,n) D \epsilon ^{-p/n}$ for arbitrary $n \in {\mathbb {N}}$ and a constant c(p, n). In this case, the dependence on D is again linear, but coupled with the potentially quickly growing term $\epsilon ^{-p/n}$. Similarly, when approximating the map $y \mapsto \tilde{{\mathbf {u}}}_{\cdot ,{{\tilde{\epsilon }}}}^{\mathrm {rb}},$ one would obtain an approximation rate of $\epsilon ^{-p/n}.$ In addition, our approach is more flexible than the naive approach in the sense that Assumptions 4.1 and 4.2 could even be satisfied if the map $y \mapsto {\mathbf {B}}^{\mathrm {rb}}_{y,{{\tilde{\epsilon }}}}$ is non-smooth.

Now we analyze the dependence of our result to p in more detail. We recall from Theorem 4.3, that in our approach the sizes of approximating networks to achieve an error of $\epsilon$ depend only polylogarithmically on $1/\epsilon$, (up to a log factor) cubically on $d({{\tilde{\epsilon }}})$, are independent from or at worst linear in D, and depend linearly on $B_{M}({{\tilde{\epsilon }}}, \epsilon ),$ $B_{M}({{\tilde{\epsilon }}}, \epsilon ),$ $F_M\left( {{\tilde{\epsilon }}}, \epsilon \right)$, $F_{L}({{\tilde{\epsilon }}}, \epsilon )$, respectively. First of all, the dependence on p materializes through the quantities $B_{M}({{\tilde{\epsilon }}}, \epsilon ),$ $B_{L}({{\tilde{\epsilon }}}, \epsilon ),$ $F_M\left( {{\tilde{\epsilon }}}, \epsilon \right)$, $F_{L}({{\tilde{\epsilon }}}, \epsilon )$ from Assumptions 4.1 and 4.2 . We have seen that in both examples above, the associated weight quantities $B_{M}({{\tilde{\epsilon }}}, \epsilon ),$ $F_{M}({{\tilde{\epsilon }}}, \epsilon )$ scale like $pd({{\tilde{\epsilon }}})^2\cdot \mathrm {polylog}(1/\epsilon ),$ whereas the depth quantities $B_{L}({{\tilde{\epsilon }}}, \epsilon ),$ $F_{L}({{\tilde{\epsilon }}}, \epsilon )$ scale polylogarithmically in $1/\epsilon .$ Combining this observation with the statement of Theorem 4.3, we can conclude that the governing quantity in the obtained approximation rates is given by the dimension of the solution manifold $d({{\tilde{\epsilon }}})$, derived by bounds on the Kolmogorov N-width (and, consequently, the inner N-width).

For problems of the type (2.6), where the involved maps $\theta _q$ are sufficiently smooth and the right-hand side is parameter-independent, one can show (see, for instance, [1, Equation 3.17] or [51] that $W_N(S({\mathcal {Y}}))$ (and hence also ${\overline{W}}_N(S({\mathcal {Y}}))$) scales like $e^{-cN^{Q_b}}$ for some $c>0$. This implies for the commonly studied case $Q_b=p$ (such as in Example I of Sect. 4.2.1) that the dimension $d({{\tilde{\epsilon }}})$ of the reduced basis space scales like ${\mathcal {O}}(\log _2(1/{{\tilde{\epsilon }}})^p).$ This bound (which is based on a Taylor expansion of the solution map) has been improved only in very special cases of Example I (see, for instance, [1, 3]) for small parameter dimensions p. Hence, by Theorem 4.3, the number of nonzero weights necessary to approximate the parameter-to-solution map $\tilde{{\mathbf {u}}}^{\mathrm {h}}_{y,{{\tilde{\epsilon }}}}$, can be upper bounded by ${\mathcal {O}}\left( p \log _2^{3 p}(1/{{\tilde{\epsilon }}})\log _2(\log _2(1/{{\tilde{\epsilon }}}))\log _2^2(1/\epsilon )\log _2^2(\log _2(1/\epsilon )) + D\log _2(1/{{\tilde{\epsilon }}})^p\right)$ and the number of layers by ${\mathcal {O}}\left( p\log ^2_2(1/\epsilon )\log _2(1/{{\tilde{\epsilon }}})\right) .$ This implies that in our results there is a (mild form of a) curse of dimensionality which can only be circumvented if the sensitivity of the Kolmogorov N-width with regard to the parameter dimension p can be reduced further.

Appendices

Proofs of the Results from Sect. 3

1.1 Proof of Proposition 3.7

In this subsection, we will prove Proposition 3.7. As a preparation, we first prove the following special instance under which can be estimated by $\max \left\{ M(\Phi ^1), M(\Phi ^2)\right\}$.

Lemma A.1

Let $\Phi$ be a NN with m-dimensional output and d-dimensional input. If ${\mathbf {a}} \in {\mathbb {R}}^{1 \times m}$, then, for all $\ell = 1, \dots , L(\Phi )$,

In particular, it holds that Moreover, if ${\mathbf {D}} \in {\mathbb {R}}^{d \times n}$ such that, for every $k \le d$ there is at most one $l_k\le n$ such that ${\mathbf {D}}_{k,l_k} \ne 0$, then, for all $\ell = 1, \dots , L(\Phi )$,

In particular, it holds that .

Proof

Let $\Phi = \big ( ({\mathbf {A}}_1,{\mathbf {b}}_1), \dots , ({\mathbf {A}}_{L},{\mathbf {b}}_{L}) \big )$, and ${\mathbf {a}}, {\mathbf {D}}$ as in the statement of the lemma. Then, the result follows if

$$\begin{aligned} \Vert {\mathbf {a}} {\mathbf {A}}_L\Vert _0 + \Vert {\mathbf {a}}{\mathbf {b}}_L\Vert _{0} \le \Vert {\mathbf {A}}_L\Vert _0 + \Vert {\mathbf {b}}_L\Vert _{0} \end{aligned}$$

(A.1)

and

$$\begin{aligned} \Vert {\mathbf {A}}_1 {\mathbf {D}}\Vert _0 \le \Vert {\mathbf {A}}_1\Vert _0. \end{aligned}$$

It is clear that $\Vert {\mathbf {a}} {\mathbf {A}}_L\Vert _0$ is less than the number of nonzero columns of ${\mathbf {A}}_L$ which is certainly bounded by $\Vert {\mathbf {A}}_L\Vert _0$. The same argument shows that $\Vert {\mathbf {a}}{\mathbf {b}}_L\Vert _{0} \le \Vert {\mathbf {b}}_L\Vert _{0}$. This yields (A.1).

We have that for two vectors ${\mathbf {p}},{\mathbf {q}} \in {\mathbb {R}}^{k}$, $k \in {\mathbb {N}}$ and for all $\mu , \nu \in {\mathbb {R}}$

$$\begin{aligned} \Vert \mu {\mathbf {p}} + \nu {\mathbf {q}} \Vert _{0} \le I(\mu ) \Vert {\mathbf {p}}\Vert _{0} + I(\nu )\Vert {\mathbf {q}} \Vert _{0}, \end{aligned}$$

where $I(\gamma ) = 0$ if $\gamma = 0$ and $I(\gamma ) = 1$ otherwise. Also,

$$\begin{aligned} \Vert {\mathbf {A}}_1 {\mathbf {D}}\Vert _0 = \left\| {\mathbf {D}}^T {\mathbf {A}}_1^T \right\| _0 = \sum _{l = 1}^n \left\| \left( {\mathbf {D}}^T {\mathbf {A}}_1^T\right) _{l, -}\right\| _0, \end{aligned}$$

where, for a matrix ${\mathbf {G}}$, ${\mathbf {G}}_{l, -}$ denotes the l-th row of ${\mathbf {G}}$. Moreover, we have that for all $l \le n$

$$\begin{aligned} \left( {\mathbf {D}}^T {\mathbf {A}}_1^T\right) _{l, -} = \sum _{k = 1}^d \left( {\mathbf {D}}^T\right) _{l, k} \left( {\mathbf {A}}_1^T\right) _{k, -} = \sum _{k = 1}^d {\mathbf {D}}_{k, l} \left( {\mathbf {A}}_1^T\right) _{k, -}. \end{aligned}$$

As a consequence, we obtain

$$\begin{aligned} \Vert {\mathbf {A}}_1 {\mathbf {D}}\Vert _0&\le \sum _{l = 1}^n \left\| \sum _{k = 1}^d {\mathbf {D}}_{k, l} \left( {\mathbf {A}}_1^T\right) _{k, -}\right\| _0 \le \sum _{l = 1}^n \sum _{k = 1}^d I\left( {\mathbf {D}}_{k, l} \right) \left\| \left( {\mathbf {A}}_1^T\right) _{k, -}\right\| _0\\&= \sum _{k = 1}^d I\left( {\mathbf {D}}_{k, l_k} \right) \left\| \left( {\mathbf {A}}_1^T\right) _{k, -}\right\| _0 \le \Vert {\mathbf {A}}_1\Vert _0. \end{aligned}$$

$\square$

Now we are ready to prove Proposition 3.7.

Proof of Proposition 3.7

Without loss of generality, assume that $Z\ge 1$. By [21, Lemma 6.2], there exists a NN $\times ^Z_{\epsilon }$ with input dimension 2, output dimension 1 such that for $\Phi _{\epsilon } :=\times ^Z_{\epsilon }$

$$\begin{aligned} L\left( \Phi _{\epsilon }\right)&\le 0.5 \log _2\left( \frac{n\sqrt{dl}}{\epsilon }\right) +\log _2(Z)+6, \end{aligned}$$

(A.2)

$$\begin{aligned} M\left( \Phi _{\epsilon }\right)&\le 90 \cdot \left( \log _2\left( \frac{n\sqrt{dl}}{\epsilon }\right) +2\log _2(Z) +6\right) , \end{aligned}$$

(A.3)

$$\begin{aligned} M_1\left( \Phi _{\epsilon }\right)&\le 16, \text { as well as } M_{L \left( \Phi _{\epsilon }\right) }\left( \Phi _{\epsilon }\right) \le 3, \end{aligned}$$

(A.4)

$$\begin{aligned} \sup _{|a|,|b| \le Z}\left| ab - \mathrm {R}^{{\mathbb {R}}^2}_{\varrho }\left( \Phi _{\epsilon }\right) (a,b) \right|&\le \frac{\epsilon }{n\sqrt{dl}}. \end{aligned}$$

(A.5)

Since $\Vert {\mathbf {A}}\Vert _2,\Vert {\mathbf {B}}\Vert _2\le Z$, we know that for every $i=1,\ldots ,d,~ k=1,\ldots ,n,~j=1,\ldots ,l$ we have that $|{\mathbf {A}}_{i,k}|,|{\mathbf {B}}_{k,j}|\le Z$. We define, for $i\in \{1, \dots , d\}, k \in \{1, \dots , n\}, j \in \{1, \dots , l\}$, the matrix ${\mathbf {D}}_{i,k,j}$ such that, for all ${\mathbf {A}} \in {\mathbb {R}}^{d\times n}, {\mathbf {B}} \in {\mathbb {R}}^{n\times l}$

$$\begin{aligned} {\mathbf {D}}_{i,k,j}(\mathbf {vec}({\mathbf {A}}),\mathbf {vec}({\mathbf {B}})) = ({\mathbf {A}}_{i,k}, {\mathbf {B}}_{k,j}). \end{aligned}$$

Moreover, let

We have, for all $i\in \{1, \dots , d\}, k \in \{1, \dots , n\}, j \in \{1, \dots , l\}$, that $L\left( \Phi ^Z_{i,k,j;\epsilon }\right) = L\left( \times ^Z_{\epsilon }\right)$ and by Lemma A.1 that $\Phi ^Z_{i,k,j;\epsilon }$ satisfies (A.2), (A.3), (A.4) with $\Phi _{\epsilon } :=\Phi ^Z_{i,k,j;\epsilon }$. Moreover, we have by (A.5)

$$\begin{aligned} \sup _{(\mathbf {vec}({\mathbf {A}}),\mathbf {vec}({\mathbf {B}}))\in K^{Z}_{d,n,l}} \left| {\mathbf {A}}_{i,k}{\mathbf {B}}_{k,j}-\mathrm {R}^{K^Z_{d,n,l}}_\varrho \left( \Phi ^Z_{i,j,k;\epsilon } \right) (\mathbf {vec}({\mathbf {A}}),\mathbf {vec}({\mathbf {B}})) \right| \le \frac{\epsilon }{n\sqrt{dl}}. \end{aligned}$$

(A.6)

As a next step, we set, for ${\mathbf {1}}_{{\mathbb {R}}^n} \in {\mathbb {R}}^n$ being a vector with each entry equal to 1,

which by Lemma 3.6 is a NN with $n\cdot (d+l)$-dimensional input and 1-dimensional output such that (A.2) holds with $\Phi _{\epsilon } :=\Phi ^Z_{i,j;\epsilon }$. Moreover, by Lemmas A.1 and 3.6 and by (A.3) we have that

$$\begin{aligned} M\left( \Phi ^Z_{i,j;\epsilon }\right)&\le M\left( \mathrm {P}\left( \Phi ^Z_{i,1,j;\epsilon },\ldots ,\Phi ^Z_{i,n,j;\epsilon }\right) \right) \nonumber \\&\le 90 n \cdot \left( \log _2\left( \frac{n\sqrt{dl}}{\epsilon }\right) +2\log _2(Z)+6\right) . \end{aligned}$$

(A.7)

Additionally, by Lemmas 3.6 and A.1 and (A.4), we obtain

$$\begin{aligned} M_1\left( \Phi ^Z_{i,j;\epsilon }\right)&\le M_1\left( \mathrm {P}\left( \Phi ^Z_{i,1,j;\epsilon },\ldots ,\Phi ^Z_{i,n,j;\epsilon }\right) \right) \le 16 n. \end{aligned}$$

and

$$\begin{aligned} M_{L\left( \Phi ^Z_{i,j;\epsilon }\right) }\left( \Phi ^Z_{i,j;\epsilon }\right)&= M_{L\left( \Phi ^Z_{i,j;\epsilon }\right) }\left( \mathrm {P}\left( \Phi ^Z_{i,1,j;\epsilon },\ldots ,\Phi ^Z_{i,n,j;\epsilon }\right) \right) \le 2 n. \end{aligned}$$

(A.8)

By construction it follows that

$$\begin{aligned} \mathrm {R}^{K^Z_{d,n,l}}_{\varrho }\left( \Phi ^Z_{i,j;\epsilon }\right) (\mathbf {vec}({\mathbf {A}}),\mathbf {vec}({\mathbf {B}})) = \sum _{k=1}^n \mathrm {R}^{K^Z_{d,n,l}}_{\varrho }\left( \Phi ^Z_{i,k,j;\epsilon }\right) (\mathbf {vec}({\mathbf {A}}),\mathbf {vec}({\mathbf {B}})) \end{aligned}$$

and hence we have, by (A.6),

$$\begin{aligned}&\sup _{(\mathbf {vec}({\mathbf {A}}),\mathbf {vec}({\mathbf {B}}))\in K^Z_{d,n,l}} \left| \sum _{k=1}^n {\mathbf {A}}_{i,k} {\mathbf {B}}_{k,j}- \mathrm {R}^ {K^Z_{d,n,l}}_{\varrho }\left( \Phi ^Z_{i,j;\epsilon }\right) (\mathbf {vec}({\mathbf {A}}),\mathbf {vec}({\mathbf {B}})) \right| \le \frac{\epsilon }{\sqrt{dl}}. \end{aligned}$$

As a final step, we define . Then, by Lemma 3.6, we have that (A.2) is satisfied for $\Phi _{\epsilon } :=\Phi ^{Z,d,n,l}_{\mathrm {mult};{\tilde{\epsilon }}}$. This yields (i) of the asserted statement. Moreover, invoking Lemma 3.6, Lemma A.1 and (A.7) yields that

$$\begin{aligned} M\left( \Phi ^{Z,d,n,l}_{\mathrm {mult};{\tilde{\epsilon }}}\right)&\le 90 dln \cdot \left( \log _2\left( \frac{n\sqrt{dl}}{\epsilon }\right) +2\log _2(Z)+6\right) , \end{aligned}$$

which yields (ii) of the result. Moreover, by Lemma 3.6 and (A.8) it follows that

$$\begin{aligned} M_1\left( \Phi ^{Z,d,n,l}_{\mathrm {mult};{\tilde{\epsilon }}}\right) \le 16 d l n \text { and } M_{L\left( \Phi ^{Z,d,n,l}_{\mathrm {mult};{\tilde{\epsilon }}}\right) } \left( \Phi ^{Z,d,n,l}_{\mathrm {mult};{\tilde{\epsilon }}}\right) \le 2 d l n, \end{aligned}$$

completing the proof of (iii). By construction and using the fact that for any ${\mathbf {N}}\in {\mathbb {R}}^{d\times l}$ there holds

$$\begin{aligned} \Vert {\mathbf {N}}\Vert _2\le \sqrt{dl} \max _{i,j}|{\mathbf {N}}_{i,j}|, \end{aligned}$$

we obtain that

$$\begin{aligned}&\sup _{(\mathbf {vec}({\mathbf {A}}),\mathbf {vec}({\mathbf {B}}))\in K^Z_{d,n,l}} \left\| {\mathbf {A}} {\mathbf {B}}- \mathbf {matr} \left( \mathrm {R}^{K^Z_{d,n,l}}_{\varrho }\left( \Phi ^{Z,d,n,l}_{\mathrm {mult};{\tilde{\epsilon }}}\right) (\mathbf {vec}({\mathbf {A}}), \mathbf {vec}({\mathbf {B}}))\right) \right\| _2 \nonumber \\&\le \sqrt{dl} \sup _{(\mathbf {vec}({\mathbf {A}}),\mathbf {vec}({\mathbf {B}}))\in K^Z_{d,n,l}} \max _{i=1,\ldots ,d,~ j=1,\ldots ,l} \nonumber \\&\quad \left| \sum _{k=1}^n {\mathbf {A}}_{i,k} {\mathbf {B}}_{k,j} - \mathrm {R}^{K^Z_{d,n,l}}_{\varrho }\left( \Phi ^Z_{i,j;\epsilon }\right) (\mathbf {vec}({\mathbf {A}}),\mathbf {vec}({\mathbf {B}})) \right| \le \epsilon . \end{aligned}$$

(A.9)

Equation (A.9) establishes (iv) of the asserted result. Finally, we have for any $(\mathbf {vec}({\mathbf {A}}),\mathbf {vec}({\mathbf {B}}))\in K^Z_{d,n,l}$ that

$$\begin{aligned}&\left\| \mathbf {matr}\left( \mathrm {R}_{\varrho }^{K^Z_{d,n,l}}\left( \Phi ^{Z,d,n,l}_{\mathrm {mult};{\tilde{\epsilon }}}\right) (\mathbf {vec}({\mathbf {A}}),\mathbf {vec}({\mathbf {B}}))\right) \right\| _2 \\&\le \left\| \mathbf {matr}\left( \mathrm {R}_{\varrho }^{K^Z_{d,n,l}}\left( \Phi ^{Z,d,n,l}_{\mathrm {mult};{\tilde{\epsilon }}}\right) (\mathbf {vec}({\mathbf {A}}),\mathbf {vec}({\mathbf {B}}))\right) -{\mathbf {A}} {\mathbf {B}}\right\| _2 +\Vert {\mathbf {A}} {\mathbf {B}}\Vert _2 \\&\le \epsilon +\Vert {\mathbf {A}}\Vert _2 \Vert {\mathbf {B}}\Vert _2\le \epsilon +Z^2\le 1+Z^2. \end{aligned}$$

This demonstrates that (v) holds and thereby finishes the proof. $\square$

1.2 Proof of Theorem 3.8

The objective of this subsection is to prove of Theorem 3.8. Toward this goal, we construct NNs which emulate the map ${\mathbf {A}}\mapsto {\mathbf {A}}^k$ for $k\in {\mathbb {N}}$ and square matrices ${\mathbf {A}}.$ This is done by heavily using Proposition 3.7. First of all, as a direct consequence of Proposition 3.7 we can estimate the sizes of the emulation of the multiplication of two squared matrices. Indeed, there exists a universal constant $C_1>0$ such that for all $d \in {\mathbb {N}}$, $Z>0$, $\epsilon \in (0,1)$

• (i) $L\left( \Phi _{\mathrm {mult}; \epsilon }^{Z, d, d, d}\right) \le C_1\cdot \left( \log _2\left( 1/\epsilon \right) +\log _2\left( d\right) +\log _2\left( \max \left\{ 1,Z\right\} \right) \right)$,

• (ii) $M\left( \Phi _{\mathrm {mult}; \epsilon }^{Z, d, d, d}\right) \le C_1\cdot \left( \log _2\left( 1/\epsilon \right) +\log _2\left( d\right) +\log _2\left( \max \left\{ 1,Z\right\} \right) \right) d^3$,

• (iii) $M_1\left( \Phi _{\mathrm {mult}; \epsilon }^{Z, d, d, d}\right) \le C_1 d^3, \qquad \text {as well as} \qquad M_{L\left( \Phi _{\mathrm {mult}; \epsilon }^{Z, d, d, d}\right) }\left( \Phi _{\mathrm {mult}; \epsilon }^{Z, d, d, d}\right) \le C_1 d^3$,

• (iv) $\sup _{(\mathbf {vec}({\mathbf {A}}),\mathbf {vec}({\mathbf {B}}))\in K^Z_{d,d,d}}\left\| {\mathbf {A}} {\mathbf {B}}- \mathbf {matr}\left( \mathrm {R}_{\varrho }^{K^Z_{d,d,d}}\left( \Phi _{\mathrm {mult}; \epsilon }^{Z, d, d, d}\right) (\mathbf {vec}({\mathbf {A}}),\mathbf {vec}({\mathbf {B}}))\right) \right\| _2 \le \epsilon$,

• (v) for every $(\mathbf {vec}({\mathbf {A}}),\mathbf {vec}({\mathbf {B}}))\in K^Z_{d,d,d}$ we have

  $$\begin{aligned} \left\| \mathbf {matr}\left( \mathrm {R}_{\varrho }^{K^Z_{d,d,d}}\left( \Phi _{\mathrm {mult}; \epsilon }^{Z, d, d, d}\right) (\mathbf {vec}({\mathbf {A}}),\mathbf {vec}({\mathbf {B}}))\right) \right\| _2\le & {} \epsilon +\Vert {\mathbf {A}}\Vert _2 \Vert {\mathbf {B}}\Vert _2\\\le & {} \epsilon +Z^2 \le 1+Z^2. \end{aligned}$$

One consequence of the ability to emulate the multiplication of matrices is that we can also emulate the squaring of matrices. We make this precise in the following definition.

Definition A.2

For $d \in {\mathbb {N}}$, $Z>0$, and $\epsilon \in (0,1)$ we define the NN

which has $d^2$-dimensional input and $d^2$-dimensional output. By Lemma 3.6 we have that there exists a constant $C_{\mathrm {sq}}>C_1$ such that for all $d \in {\mathbb {N}}$, $Z>0$, $\epsilon \in (0,1)$

• (i) $L\left( \Phi ^{Z, d}_{2;\epsilon }\right) \le C_{\mathrm {sq}}\cdot \left( \log _2(1/\epsilon )+\log _2(d)+\log _2\left( \max \left\{ 1,Z\right\} \right) \right) ,$

• (ii) $M\left( \Phi ^{Z, d}_{2;\epsilon }\right) \le C_{\mathrm {sq}} d^3 \cdot \left( \log _2(1/\epsilon )+\log _2(d)+\log _2\left( \max \left\{ 1,Z\right\} \right) \right) ,$

• (iii) $M_1\left( \Phi ^{Z, d}_{2;\epsilon }\right) \le C_{\mathrm {sq}} d^3,\qquad \text {as well as} \qquad M_{L\left( \Phi ^{Z, d}_{2;\epsilon }\right) }\left( \Phi ^{Z, d}_{2;\epsilon }\right) \le C_{\mathrm {sq}} d^3,$

• (iv) $\sup _{\mathbf {vec}({\mathbf {A}})\in K^Z_{d}}\left\| {\mathbf {A}}^2- \mathbf {matr}\left( \mathrm {R}_{\varrho }^{K^Z_{d}}\left( \Phi ^{Z, d}_{2;\epsilon }\right) (\mathbf {vec}({\mathbf {A}}))\right) \right\| _2 \le \epsilon ,$

• (v) for all $\mathbf {vec}({\mathbf {A}})\in K^Z_{d}$ we have

  $$\begin{aligned} \left\| \mathbf {matr}\left( \mathrm {R}_{\varrho }^{K^Z_{d}}\left( \Phi ^{Z, d}_{2;\epsilon }\right) (\mathbf {vec}({\mathbf {A}}))\right) \right\| _2\le \epsilon + \Vert {\mathbf {A}}\Vert ^2 \le \epsilon +Z^2\le 1+Z^2. \end{aligned}$$

Our next goal is to approximate the map ${\mathbf {A}}\mapsto {\mathbf {A}}^k$ for an arbitrary $k\in {\mathbb {N}}_0.$ We start with the case that k is a power of 2 and for the moment we only consider the set of all matrices the norm of which is bounded by 1/2.

Proposition A.3

Let $d\in {\mathbb {N}},~j\in {\mathbb {N}},~$ as well as $\epsilon \in \left( 0, 1/4\right)$. Then there exists a NN $\Phi ^{1/2, d}_{2^j;\epsilon }$ with $d^2$-dimensional input and $d^2$-dimensional output with the following properties:

• (i) $L\left( \Phi ^{1/2, d}_{2^j;\epsilon }\right) \le C_{\mathrm {sq}} j\cdot \left( \log _2(1/\epsilon )+\log _2(d) \right) +2C_{\mathrm {sq}}\cdot (j-1)$,

• (ii) $M\left( \Phi ^{1/2, d}_{2^j;\epsilon }\right) \le C_{\mathrm {sq}} j d^3\cdot \left( \log _2(1/\epsilon )+\log _2(d) \right) +4C_{\mathrm {sq}}\cdot (j-1)d^3$,

• (iii) $M_1\left( \Phi ^{1/2, d}_{2^j;\epsilon }\right) \le C_{\mathrm {sq}} d^3,\qquad \text {as well as} \qquad M_{L\left( \Phi ^{1/2, d}_{2^j;\epsilon }\right) }\left( \Phi ^{1/2, d}_{2^j;\epsilon }\right) \le C_{\mathrm {sq}} d^3$,

• (iv) $\sup _{\mathbf {vec}({\mathbf {A}})\in K^{1/2}_d}\left\| {\mathbf {A}}^{2^j}- \mathbf {matr}\left( \mathrm {R}_{\varrho }^{K^{1/2}_d}\left( \Phi ^{1/2, d}_{2^j;\epsilon }\right) (\mathbf {vec}({\mathbf {A}}))\right) \right\| _2 \le \epsilon$,

• (v) for every $\mathbf {vec}({\mathbf {A}})\in K^{1/2}_d$ we have

  $$\begin{aligned} \left\| \mathbf {matr}\left( \mathrm {R}_{\varrho }^{K^{1/2}_d}\left( \Phi ^{1/2, d}_{2^j;\epsilon }\right) (\mathbf {vec}({\mathbf {A}}))\right) \right\| _2 \le \epsilon +\left\| {\mathbf {A}}^{2^j}\right\| _2\le & {} \epsilon +\left\| {\mathbf {A}}\right\| ^{2^j}_2 \\\le & {} \frac{1}{4}+\left( \frac{1}{2}\right) ^{2^j}\le \frac{1}{2}. \end{aligned}$$

Proof

We show the statement by induction over $j\in {\mathbb {N}}$. For $j=1$, the statement follows by choosing $\Phi ^{1/2, d}_{2;\epsilon }$ as in Definition A.2. Assume now, as induction hypothesis, that the claim holds for an arbitrary, but fixed $j\in {\mathbb {N}}$, i.e., there exists a NN $\Phi ^{1/2, d}_{2^j;\epsilon }$ such that

$$\begin{aligned}&\left\| \mathbf {matr}\!\left( \!\mathrm {R}_{\varrho }^{K_d^{1/2}}\!\left( \Phi ^{1/2,d}_{2^{j};\epsilon }\right) \! (\mathbf {vec}({\mathbf {A}}))\!\right) \! -{\mathbf {A}}^{2^{j}} \right\| _2 \le \epsilon , \ \ \left\| \mathbf {matr}\left( \!\mathrm {R}_{\varrho }^{K_d^{1/2}}\!\left( \Phi ^{1/2,d}_{2^{j};\epsilon }\right) (\mathbf {vec}({\mathbf {A}}))\!\right) \! \right\| _2\nonumber \\&\quad \le \epsilon + \left( \frac{1}{2}\right) ^{2^j} \end{aligned}$$

(A.10)

and $\Phi ^{1/2, d}_{2^j;\epsilon }$ satisfies (i),(ii),(iii). Now we define

$$\begin{aligned} \Phi ^{1/2, d}_{2^{j+1};\epsilon } :=\Phi ^{1, d}_{2;\frac{\epsilon }{4}}\odot \Phi ^{1/2, d}_{2^{j};\epsilon }. \end{aligned}$$

By the triangle inequality, we obtain for any $\mathbf {vec}({\mathbf {A}})\in K_d^{1/2}$

$$\begin{aligned}&\left\| \mathbf {matr}\left( \mathrm {R}_{\varrho }^{K_d^{1/2}} \left( \Phi ^{1/2,d}_{2^{j+1};\epsilon } \right) (\mathbf {vec}({\mathbf {A}})) \right) -{\mathbf {A}}^{2^{j+1}}\right\| _2 \nonumber \\&\le \left\| \mathbf {matr}\left( \mathrm {R}_{\varrho }^{K_d^{1/2}}\left( \Phi ^{1/2,d}_{2^{j+1};\epsilon }\right) (\mathbf {vec}({\mathbf {A}})) \right) -{\mathbf {A}}^{2^{j}} \mathbf {matr}\left( \mathrm {R}_{\varrho }^{K_d^{1/2}}\left( \Phi ^{1/2,d}_{2^{j};\epsilon }\right) (\mathbf {vec}({\mathbf {A}}))\right) \right\| _2\nonumber \\&\qquad + \left\| {\mathbf {A}}^{2^{j}} \mathbf {matr}\left( \mathrm {R}_{\varrho }^{K_d^{1/2}}\left( \Phi ^{1/2,d}_{2^{j};\epsilon }\right) (\mathbf {vec}({\mathbf {A}}))\right) - \left( {\mathbf {A}}^{2^{j}}\right) ^2 \right\| _2. \end{aligned}$$

(A.11)

By construction of $\Phi ^{1/2, d}_{2^{j+1};\epsilon }$, we know that

$$\begin{aligned} \left\| \mathbf {matr}\left( \mathrm {R}_{\varrho }^{K_d^{1/2}} \left( \Phi ^{1/2,d}_{2^{j+1};\epsilon } \right) (\mathbf {vec}({\mathbf {A}})) \right) - \left( \mathbf {matr}\left( \mathrm {R}_{\varrho }^{K_d^{1/2}}\left( \Phi ^{1/2, d}_{2^{j};\epsilon }\right) (\mathbf {vec}({\mathbf {A}}))\right) \right) ^2\right\| _2 \le \frac{\epsilon }{4}. \end{aligned}$$

Therefore, using the triangle inequality and the fact that $\Vert \cdot \Vert _2$ is a submultiplicative operator norm, we derive that

$$\begin{aligned}&\left\| \mathbf {matr}\left( \mathrm {R}_{\varrho }^{K_d^{1/2}}\left( \Phi ^{1/2,d}_{2^{j+1};\epsilon }\right) (\mathbf {vec}({\mathbf {A}})) \right) -{\mathbf {A}}^{2^{j}} \mathbf {matr}\left( \mathrm {R}_{\varrho }^{K_d^{1/2}}\left( \Phi ^{1/2,d}_{2^{j};\epsilon }\right) (\mathbf {vec}({\mathbf {A}}))\right) \right\| _2\nonumber \\&\le \frac{\epsilon }{4} + \left\| \left( \mathbf {matr}\left( \mathrm {R}_{\varrho }^{K_d^{1/2}} \left( \Phi ^{1/2,d}_{2^{j};\epsilon }\right) (\mathbf {vec}({\mathbf {A}}))\right) \right) ^2 - {\mathbf {A}}^{2^{j}} \mathbf {matr}\left( \mathrm {R}_{\varrho }^{K_d^{1/2}} \left( \Phi ^{1/2,d}_{2^{j};\epsilon }\right) (\mathbf {vec}({\mathbf {A}}))\right) \right\| _2\nonumber \\&\le \frac{\epsilon }{4} + \left\| \mathbf {matr}\left( \mathrm {R}_{\varrho }^{K_d^{1/2}} \left( \Phi ^{1/2,d}_{2^{j};\epsilon }\right) (\mathbf {vec}({\mathbf {A}}))\right) - {\mathbf {A}}^{2^{j}}\right\| _2 \left\| \mathbf {matr}\left( \mathrm {R}_{\varrho }^{K_d^{1/2}}\left( \Phi ^{1/2,d}_{2^{j}; \epsilon }\right) (\mathbf {vec}({\mathbf {A}}))\right) \right\| _2\nonumber \\&\le \frac{\epsilon }{4} + \epsilon \cdot \left( \epsilon + \left( \frac{1}{2}\right) ^{2^j}\right) \le \frac{3}{4} \epsilon , \end{aligned}$$

(A.12)

where the penultimate estimate follows by the induction hypothesis (A.10) and $\epsilon <1/4$. Hence, since $\Vert \cdot \Vert _2$ is a submultiplicative operator norm, we obtain

$$\begin{aligned}&\left\| {\mathbf {A}}^{2^{j}} \mathbf {matr}\left( \mathrm {R}_{\varrho }^{K_d^{1/2}} \left( \Phi ^{1/2,d}_{2^{j};\epsilon }\right) (\mathbf {vec}({\mathbf {A}}))\right) - \left( {\mathbf {A}}^{2^{j}}\right) ^2 \right\| _2\nonumber \\&\quad \le \left\| \mathbf {matr}\left( \mathrm {R}_{\varrho }^{K_d^{1/2}} \left( \Phi ^{1/2,d}_{2^{j};\epsilon }\right) (\mathbf {vec}({\mathbf {A}}))\right) - {\mathbf {A}}^{2^{j}} \right\| _2 \left\| {\mathbf {A}}^{2^{j}}\right\| _2 \nonumber \\&\quad \le \frac{\epsilon }{4}, \end{aligned}$$

(A.13)

where we used $\left\| {\mathbf {A}}^{2^{j}}\right\| _2\le 1/4$ and the induction hypothesis (A.10). Applying (A.13) and (A.12) to (A.11) yields

$$\begin{aligned} \left\| \mathbf {matr}\left( \mathrm {R}_{\varrho }^{K_d^{1/2}}\left( \Phi ^{1/2,d}_{2^{j+1};\epsilon }\right) (\mathbf {vec}({\mathbf {A}})) \right) -{\mathbf {A}}^{2^{j+1}}\right\| _2 \le \epsilon . \end{aligned}$$

(A.14)

A direct consequence of (A.14) is that

$$\begin{aligned} \left\| \mathbf {matr}\left( \mathrm {R}_{\varrho }^{K_d^{1/2}}\left( \Phi ^{1/2, d}_{2^{j+1};\epsilon }\right) (\mathbf {vec}({\mathbf {A}}))\right) \right\| _2 \le \epsilon + \left\| {\mathbf {A}}^{2^{j+1}}\right\| _2 \le \epsilon + \Vert {\mathbf {A}}\Vert ^{2^{j+1}}_2. \end{aligned}$$

(A.15)

The estimates (A.14) and (A.15) complete the proof of the assertions (iv) and (v) of the proposition statement. Now we estimate the size of $\Phi ^{1/2, d}_{2^{j+1};\epsilon }$. By the induction hypothesis and Lemma 3.6(a)(i), we obtain

$$\begin{aligned} L\left( \Phi ^{1/2, d}_{2^{j+1};\epsilon }\right)&= L\left( \Phi ^{1, d}_{2;\frac{\epsilon }{4}}\right) +L\left( \Phi ^{1/2, d}_{2^{j};\epsilon }\right) \\&\le C_{\mathrm {sq}} \cdot \left( \log _2(1/\epsilon ) +\log _2(d) + \log _2(4) + j \log _2(1/\epsilon )\right. \\&\left. + 2\cdot (j-1) +j \log _2(d) \right) \\&= C_{\mathrm {sq}} \cdot \left( (j+1)\log _2(1/\epsilon ) +(j+1)\log _2(d)+2j\right) , \end{aligned}$$

which implies (i). Moreover, by the induction hypothesis and Lemma 3.6(a)(ii), we conclude that

$$\begin{aligned} M\left( \Phi ^{1/2,d}_{2^{j+1};\epsilon }\right)&\le M\left( \Phi ^{1,d}_{2;\frac{\epsilon }{4}}\right) + M\left( \Phi ^{1/2, d}_{2^{j};\epsilon }\right) + M_1\left( \Phi ^{1,d}_{2;\frac{\epsilon }{4}}\right) + M_{L\left( \Phi ^{1/2, d}_{2^{j};\epsilon }\right) }\left( \Phi ^{1/2,d}_{2^j;\epsilon }\right) \\&\le C_{\mathrm {sq}} d^3\cdot \left( \log _2(1/\epsilon ) +\log _2(d)+\log _2(4) + j \log _2(1/\epsilon ) +j \log _2(d) \right. \\&\quad \left. + 4\cdot (j-1) \right) + 2C_{\mathrm {sq}}d^3 \\&= C_{\mathrm {sq}} d^3\cdot \left( (j+1)\log _2(1/\epsilon ) +(j+1)\log _2(d)+ 4j \right) , \end{aligned}$$

implying (ii). Finally, it follows from Lemma 3.6(a)(iii) in combination with the induction hypothesis as well Lemma  3.6(a)(iv) that

$$\begin{aligned} M_1\left( \Phi ^{1/2, d}_{2^{j+1};\epsilon }\right) = M_1\left( \Phi ^{1/2, d}_{2^{j};\epsilon }\right) \le C_{\mathrm {sq}} d^3, \end{aligned}$$

as well as

$$\begin{aligned} M_{L\left( \Phi ^{1/2, d}_{2^{j+1};\epsilon }\right) }\left( \Phi ^{1/2, d}_{2^{j+1};\epsilon }\right) = M_{L\left( \Phi ^{1,d}_{2;\frac{\epsilon }{4}}\right) }\left( \Phi ^{1,d}_{2;\frac{\epsilon }{4}}\right) \le C_{\mathrm {sq}} d^3, \end{aligned}$$

which finishes the proof. $\square$

We proceed by demonstrating, how to build a NN that emulates the map ${\mathbf {A}}\mapsto {\mathbf {A}}^k$ for an arbitrary $k \in {\mathbb {N}}_0$. Again, for the moment we only consider the set of all matrices the norms of which are bounded by 1/2. For the case of the set of all matrices the norms of which are bounded by an arbitrary $Z>0$, we refer to Corollary A.5.

Proposition A.4

Let $d\in {\mathbb {N}}$, $k\in {\mathbb {N}}_0$, and $\epsilon \in \left( 0,1/4\right)$. Then, there exists a NN $\Phi ^{1/2, d}_{k;\epsilon }$ with $d^2$- dimensional input and $d^2$-dimensional output satisfying the following properties:

• (i)
  $$\begin{aligned} L\left( \Phi ^{1/2, d}_{k;\epsilon }\right)&\le \left\lfloor \log _2\left( \max \{k,2\}\right) \right\rfloor L\left( \Phi ^{1,d}_{\mathrm {mult};\frac{\epsilon }{4}} \right) + L\left( \Phi ^{1/2, d}_{2^{\left\lfloor \log _2(\max \{k,2\})\right\rfloor };\epsilon }\right) \\&\le 2C_{\mathrm {sq}} \left\lfloor \log _2\left( \max \{k,2\}\right) \right\rfloor \cdot \left( \log _2(1/\epsilon )+\log _2(d)+2 \right) , \end{aligned}$$

• (ii) $M\left( \Phi ^{1/2, d}_{k;\epsilon }\right) \le \frac{3}{2}C_{\mathrm {sq}} d^3\cdot \left\lfloor \log _2\left( \max \{k,2\}\right) \right\rfloor \cdot \left( \left\lfloor \log _2\left( \max \{k,2\}\right) \right\rfloor +1\right) \cdot \left( \log _2(1/\epsilon )+\log _2(d)+4 \right)$,

• (iii) $M_1\left( \Phi ^{1/2, d}_{k;\epsilon } \right) \le C_{\mathrm {sq}}\cdot \left( \left\lfloor \log _2\left( \max \{k,2\}\right) \right\rfloor +1\right) d^3, \ \text {as well as} \ M_{L\left( \Phi ^{1/2, d}_{k;\epsilon }\right) }\left( \Phi ^{1/2, d}_{k;\epsilon }\right) \le C_{\mathrm {sq}} d^3,$

• (iv) $\sup _{\mathbf {vec}({\mathbf {A}})\in K^{1/2}_d}\left\| {\mathbf {A}}^k- \mathbf {matr}\left( \mathrm {R}_{\varrho }^{K^{1/2}_d}\left( \Phi ^{1/2, d}_{k;\epsilon }\right) (\mathbf {vec}({\mathbf {A}}))\right) \right\| _2 \le \epsilon$,

• (v) for any $\mathbf {vec}({\mathbf {A}})\in K^{1/2}_d$ we have

  $$\begin{aligned} \left\| \mathbf {matr}\left( \mathrm {R}_{\varrho }^{K^{1/2}_d}\left( \Phi ^{1/2, d}_{k;\epsilon }\right) (\mathbf {vec}({\mathbf {A}}))\right) \right\| _2 \le \epsilon +\Vert {\mathbf {A}}^k\Vert _2 \le \frac{1}{4}+\Vert {\mathbf {A}}\Vert _2^k \le \frac{1}{4}+\left( \frac{1}{2}\right) ^k. \end{aligned}$$

Proof

We prove the result per induction over $k\in {\mathbb {N}}_{0}$. The cases $k=0$ and $k=1$ hold trivially by defining the NNs

$$\begin{aligned} \Phi ^{1/2, d}_{0;\epsilon }:=\left( \left( {\mathbf {0}}_{{\mathbb {R}}^{d^2}\times {\mathbb {R}}^{d^2}},\mathbf {vec}(\mathbf {Id}_{{\mathbb {R}}^{d}})\right) \right) ,\qquad \Phi ^{1/2, d}_{1;\epsilon }:=\left( \left( \mathbf {Id}_{{\mathbb {R}}^{d^2}},{\mathbf {0}}_{{\mathbb {R}}^{d^2}}\right) \right) . \end{aligned}$$

For the induction hypothesis, we claim that the result holds true for all $k' \le k \in {\mathbb {N}}$. If k is a power of two, then the result holds per Proposition A.3; thus, we can assume without loss of generality, that k is not a power of two. We define $j :=\lfloor \log _2(k)\rfloor$ such that, for $t :=k - 2^{j}$, we have that $0< t < 2^{j}$. This implies that $A^k= A^{2^j} A^{t}$. Hence, by Proposition A.3 and by the induction hypothesis, respectively, there exist a NN $\Phi ^{1/2,d}_{2^j;\epsilon }$ satisfying (i)–(v) of Proposition A.3 and a NN $\Phi ^{1/2,d}_{t;\epsilon }$ satisfying (i)-(v) of the statement of this proposition. We now define the NN

By construction and Lemma 3.6(a)(iv), we first observe that

$$\begin{aligned} M_{L\left( \Phi ^{1/2,d}_{k;\epsilon } \right) }\left( \Phi ^{1/2,d}_{k;\epsilon } \right) = M_{L\left( \Phi ^{1,d,d,d}_{\mathrm {mult};\frac{\epsilon }{4}} \right) }\left( \Phi ^{1,d,d,d}_{\mathrm {mult};\frac{\epsilon }{4}} \right) \le C_{\mathrm {sq}} d^3. \end{aligned}$$

Moreover, we obtain by the induction hypothesis as well as Lemma 3.6(a)(iii) in combination with Lemma 3.6(b)(iv) that

$$\begin{aligned} M_1\left( \Phi ^{1/2,d}_{k;\epsilon } \right)&= M_1\left( \mathrm {P}\left( \Phi ^{1/2,d}_{2^j;\epsilon },\Phi ^{1/2,d}_{t;\epsilon }\right) \right) = M_1\left( \Phi ^{1/2,d}_{2^j;\epsilon } \right) + M_{1}\left( \Phi ^{1/2,d}_{t;\epsilon } \right) \\&\le C_{\mathrm {sq}} d^3+ (j+1) C_{\mathrm {sq}} d^3 = (j+2) C_{\mathrm {sq}} d^3. \end{aligned}$$

This shows (iii). To show (iv), we perform a similar estimate as the one following (A.11). By the triangle inequality,

$$\begin{aligned}&\left\| \mathbf {matr}\left( \mathrm {R}_{\varrho }^{K_d^{1/2}}\left( \Phi ^{1/2,d}_{k;\epsilon }\right) (\mathbf {vec}({\mathbf {A}})) \right) -{\mathbf {A}}^{k}\right\| _2 \nonumber \\&\le \left\| \mathbf {matr}\left( \mathrm {R}_{\varrho }^{K_d^{1/2}}\left( \Phi ^{1/2,d}_{k;\epsilon }\right) (\mathbf {vec}({\mathbf {A}})) \right) - {\mathbf {A}}^{2^j} \mathbf {matr}\left( \mathrm {R}_{\varrho }^{K_d^{1/2}}\left( \Phi ^{1/2,d}_{t;\epsilon }\right) (\mathbf {vec}({\mathbf {A}}))\right) \right\| _2 \nonumber \\&\qquad + \left\| {\mathbf {A}}^{2^j} \mathbf {matr}\left( \mathrm {R}_{\varrho }^{K_d^{1/2}}\left( \Phi ^{1/2,d}_{t;\epsilon }\right) (\mathbf {vec}({\mathbf {A}}))\right) - {\mathbf {A}}^{2^{j}} {\mathbf {A}}^{t} \right\| _2. \end{aligned}$$

(A.16)

By the construction of $\Phi ^{1/2, d}_{k;\epsilon }$ and Proposition 3.7, we conclude that

$$\begin{aligned}&\bigg \Vert \mathbf {matr}\left( \mathrm {R}_{\varrho }^{K_d^{1/2}}\left( \Phi ^{1/2,d}_{k;\epsilon }\right) (\mathbf {vec}({\mathbf {A}})) \right) \\&\quad - \mathbf {matr}\left( \mathrm {R}_{\varrho }^{K_d^{1/2}}\left( \Phi ^{1/2,d}_{2^j;\epsilon }\right) (\mathbf {vec}({\mathbf {A}}))\right) \mathbf {matr}\left( \mathrm {R}_{\varrho }^{K_d^{1/2}}\left( \Phi ^{1/2,d}_{t;\epsilon }\right) (\mathbf {vec}({\mathbf {A}}))\right) \bigg \Vert _2 \\&\qquad \le \frac{\epsilon }{4}. \end{aligned}$$

Hence, using (A.16), we can estimate

$$\begin{aligned}&\left\| \mathbf {matr}\left( \mathrm {R}_{\varrho }^{K_d^{1/2}}\left( \Phi ^{1/2,d}_{k;\epsilon } (\mathbf {vec}({\mathbf {A}}))\right) \right) -{\mathbf {A}}^{k}\right\| _2 \nonumber \\&\le \frac{\epsilon }{4} + \left\| \mathbf {matr}\left( \mathrm {R}_{\varrho }^{K_d^{1/2}}\left( \Phi ^{1/2,d}_{2^j;\epsilon }\right) (\mathbf {vec}({\mathbf {A}}))\right) \mathbf {matr}\left( \mathrm {R}_{\varrho }^{K_d^{1/2}}\left( \Phi ^{1/2,d}_{t;\epsilon }\right) (\mathbf {vec}({\mathbf {A}}))\right) \right. \\&\qquad - \left. {\mathbf {A}}^{2^j} \mathbf {matr}\left( \mathrm {R}_{\varrho }^{K_d^{1/2}}\left( \Phi ^{1/2,d}_{t;\epsilon }\right) (\mathbf {vec}({\mathbf {A}}))\right) \right\| _2\\&\quad + \left\| {\mathbf {A}}^{2^{j}} \mathbf {matr}\left( \mathrm {R}_{\varrho }^{K_d^{1/2}}\left( \Phi ^{1/2,d}_{t;\epsilon }\right) (\mathbf {vec}({\mathbf {A}}))\right) - {\mathbf {A}}^{k} \right\| _2\\&\le \frac{\epsilon }{4} + \left\| \mathbf {matr}\left( \mathrm {R}_{\varrho }^{K_d^{1/2}}\left( \Phi ^{1/2,d}_{t;\epsilon }\right) (\mathbf {vec}({\mathbf {A}}))\right) \right\| _2 \left\| \mathbf {matr}\left( \mathrm {R}_{\varrho }^{K_d^{1/2}}\left( \Phi ^{1/2,d}_{2^{j};\epsilon } \right) (\mathbf {vec}({\mathbf {A}}))\right) - {\mathbf {A}}^{2^j} \right\| _2 \\&\quad + \left\| {\mathbf {A}}^{2^j}\right\| _2 \left\| \mathbf {matr}\left( \mathrm {R}_{\varrho }^{K_d^{1/2}}\left( \Phi ^{1/2,d}_{t;\epsilon }\right) (\mathbf {vec}({\mathbf {A}}))\right) -{\mathbf {A}}^{t}\right\| _2 =:\frac{\epsilon }{4} + \mathrm {I}+\mathrm {II}. \end{aligned}$$

We now consider two cases: If $t=1,$ then we know by the construction of $\Phi ^{1/2, d}_{1;\epsilon }$ that $\mathrm {II}=0$. Thus,

$$\begin{aligned} \frac{\epsilon }{4}+\mathrm {I}+\mathrm {II} = \frac{\epsilon }{4} + \mathrm {I}\le \frac{\epsilon }{4}+\Vert {\mathbf {A}}\Vert _2 \epsilon \le \frac{3\epsilon }{4}\le \epsilon . \end{aligned}$$

If $t\ge 2$, then

$$\begin{aligned} \frac{\epsilon }{4}+\mathrm {I}+\mathrm {II}&\le \frac{\epsilon }{4}+ \left( \epsilon + \Vert {\mathbf {A}}\Vert ^{t}+\Vert {\mathbf {A}}\Vert ^{2^j} \right) \epsilon \le \frac{\epsilon }{4} + \left( \frac{1}{4}+ \left( \frac{1}{2}\right) ^{t}+ \left( \frac{1}{2} \right) ^{2^j} \right) \epsilon \\&\le \frac{\epsilon }{4}+\frac{3\epsilon }{4} = \epsilon , \end{aligned}$$

where we have used that $\left( \frac{1}{2}\right) ^{t}\le \frac{1}{4}$ for $t \ge 2$. This shows (iv). In addition, by an application of the triangle inequality, we have that

$$\begin{aligned} \left\| \mathbf {matr}\left( \mathrm {R}_{\varrho }^{K_d^{1/2}}\left( \Phi ^{1/2, d}_{k;\epsilon }\right) (\mathbf {vec}({\mathbf {A}}))\right) \right\| _2 \le \epsilon + \left\| {\mathbf {A}}^{k} \right\| _2 \le \epsilon + \Vert {\mathbf {A}}\Vert _2^{k} \le \frac{1}{4}+\left( \frac{1}{2}\right) ^k. \end{aligned}$$

This shows (v). Now we analyze the size of $\Phi ^{1/2,d}_{k;\epsilon }$. We have by Lemma 3.6(a)(i) in combination with Lemma 3.6(b)(i) and by the induction hypothesis that

$$\begin{aligned} L\left( \Phi ^{1/2,d}_{k;\epsilon }\right)&\le L\left( \Phi ^{1,d,d,d}_{\mathrm {mult};\frac{\epsilon }{4}} \right) + \max \left\{ L\left( \Phi ^{1/2,d}_{2^j;\epsilon }\right) , L\left( \Phi ^{1/2,d}_{t;\epsilon } \right) \right\} \\&\le L\left( \Phi ^{1,d,d,d}_{\mathrm {mult};\frac{\epsilon }{4}} \right) + \max \left\{ L\left( \Phi ^{1/2,d}_{2^j;\epsilon }\right) , (j-1) L\left( \Phi ^{1,d,d,d}_{\mathrm {mult};\frac{\epsilon }{4}}\right) +L\left( \Phi ^{1/2,d}_{2^{j-1};\epsilon } \right) \right\} \\&\le L\left( \Phi ^{1,d,d,d}_{\mathrm {mult};\frac{\epsilon }{4}} \right) \\&\quad + \max \left\{ (j-1) L\left( \Phi ^{1,d,d,d}_{\mathrm {mult};\frac{\epsilon }{4}}\right) +L\left( \Phi ^{1/2,d}_{2^j;\epsilon }\right) , (j-1) L\left( \Phi ^{1,d,d,d}_{\mathrm {mult};\frac{\epsilon }{4}}\right) \right. \\&\qquad \left. +L\left( \Phi ^{1/2,d}_{2^{j-1};\epsilon } \right) \right\} \\&\le j L\left( \Phi ^{1,d,d,d}_{\mathrm {mult};\frac{\epsilon }{4}} \right) + L\left( \Phi ^{1/2,d}_{2^{j};\epsilon } \right) \\&\le C_{\mathrm {sq}} j\cdot \left( \log _2(1/\epsilon )+\log _2(d)+ 2\right) +C_{\mathrm {sq}} j\cdot \left( \log _2(1/\epsilon )+\log _2(d) \right) \\&\quad +2C_{\mathrm {sq}}\cdot (j-1) \\&\le 2 C_{\mathrm {sq}} j\cdot \left( \log _2(1/\epsilon )+\log _2(d) +2 \right) , \end{aligned}$$

which implies (i). Finally, we address the number of nonzero weights of the resulting NN. We first observe that, by Lemma 3.6(a)(ii),

$$\begin{aligned} M\left( \Phi ^{1/2,d}_{k;\epsilon } \right)&\le \left( M\left( \Phi ^{1,d,d,d}_{\mathrm {mult};\frac{\epsilon }{4}} \right) +M_1\left( \Phi ^{1,d,d,d}_{\mathrm {mult};\frac{\epsilon }{4}}\right) \right) + M\left( \mathrm {P}\left( \Phi ^{1/2,d}_{2^j;\epsilon }, \Phi ^{1/2,d}_{t;\epsilon }\right) \right) \\&\qquad + M_{L\left( \mathrm {P}\left( \Phi ^{1/2,d}_{2^j;\epsilon }, \Phi ^{1/2,d}_{t;\epsilon }\right) \right) }\left( \mathrm {P}\left( \Phi ^{1/2,d}_{2^j;\epsilon }, \Phi ^{1/2,d}_{t;\epsilon }\right) \right) \\&=:\mathrm {I'}+\mathrm {II'}(a)+\mathrm {II'}(b). \end{aligned}$$

Then, by the properties of the NN $\Phi ^{1,d,d,d}_{\mathrm {mult};\frac{\epsilon }{4}}$, we obtain

$$\begin{aligned} \mathrm {I'}=M\left( \Phi ^{1, d,d,d}_{\mathrm {mult};\frac{\epsilon }{4}}\right) + M_1\left( \Phi ^{1,d,d,d}_{\mathrm {mult};\frac{\epsilon }{4}}\right)&\le C_{\mathrm {sq}} d^3\cdot \left( \log _2(1/\epsilon )+\log _2(d)+2 \right) + C_{\mathrm {sq}} d^3 \\&= C_{\mathrm {sq}} d^3\cdot \left( \log _2(1/\epsilon )+\log _2(d)+3 \right) . \end{aligned}$$

Next, we estimate

$$\begin{aligned} \mathrm {II'}(a)+\mathrm {II'}(b)&=M\left( \mathrm {P}\left( \Phi ^{1/2, d}_{2^j;\epsilon }, \Phi ^{1/2, d}_{t;\epsilon }\right) \right) \\&+ M_{L\left( \mathrm {P}\left( \Phi ^{1/2, d}_{2^j;\epsilon }, \Phi ^{1/2, d}_{t;\epsilon }\right) \right) }\left( \mathrm {P}\left( \Phi ^{1/2, d}_{2^j;\epsilon }, \Phi ^{1/2, d}_{t;\epsilon }\right) \right) . \end{aligned}$$

Without loss of generality we assume that $L:=L\left( \Phi ^{1/2, d}_{t;\epsilon }\right) - L\left( \Phi ^{1/2, d}_{2^j;\epsilon }\right) > 0.$ The other cases follow similarly. We have that $L\le 2C_{\mathrm {sq}} j\cdot \left( \log _2(1/\epsilon )+\log _2(d)+2\right)$ and, by the definition of the parallelization of two NNs with a different number of layers that

$$\begin{aligned} \mathrm {II'}(a)&= M\left( \mathrm {P}\left( \Phi ^{1/2,d}_{2^j;\epsilon }, \Phi ^{1/2,d}_{t;\epsilon } \right) \right) \\&= M\left( \mathrm {P}\left( \Phi ^{\mathbf {Id}}_{d^2,L} \odot \Phi ^{1/2,d}_{2^j;\epsilon }, \Phi ^{1/2,d}_{t;\epsilon } \right) \right) \\&=M\left( \Phi ^{\mathbf {Id}}_{d^2,L} \odot \Phi ^{1/2,d}_{2^j;\epsilon }\right) + M\left( \Phi ^{1/2,d}_{t;\epsilon } \right) \\&\le M\left( \Phi ^{\mathbf {Id}}_{d^2,L}\right) +M_1\left( \Phi ^{\mathbf {Id}}_{d^2,L}\right) + M_{L\left( \Phi ^{1/2,d}_{2^j;\epsilon } \right) }\left( \Phi ^{1/2,d}_{2^j;\epsilon } \right) \\&+ M\left( \Phi ^{1/2,d}_{2^j;\epsilon } \right) +M\left( \Phi ^{1/2,d}_{t;\epsilon } \right) \\&\le 2d^2(L+1) + C_{\mathrm {sq}} d^3 + M\left( \Phi ^{1/2,d}_{t;\epsilon }\right) +M\left( \Phi ^{1/2,d}_{2^j;\epsilon } \right) , \end{aligned}$$

where we have used the definition of the parallelization for the first two equalities, Lemma  3.6(b)(iii) for the third equality, Lemma  3.6(a)(ii) for the fourth inequality as well as the properties of $\Phi ^{\mathbf {Id}}_{d^2,L}$ in combination with Proposition A.3(iii) for the last inequality. Moreover, by the definition of the parallelization of two NNs with different numbers of layers, we conclude that

Combining the estimates on $\mathrm {I'}$, $\mathrm {II'}(a)$, and $\mathrm {II'}(b)$, we obtain by using the induction hypothesis that

$$\begin{aligned}&M\left( \Phi ^{1/2,d}_{k;\epsilon } \right) \le C_{\mathrm {sq}} d^3\cdot \left( \log _2(1/\epsilon ) + \log _2(d)+3 \right) + 2 d^2 \cdot (L+1)+d^2+C_{\mathrm {sq}} d^3 \\&\quad + M\left( \Phi ^{1/2,d}_{t;\epsilon }\right) + M\left( \Phi ^{1/2,d}_{2^j;\epsilon }\right) \\&\quad \le C_{\mathrm {sq}} d^3\cdot \left( \log _2(1/\epsilon )+\log _2(d)+4 \right) + 2 d^2 \cdot (L+2) + M\left( \Phi ^{1/2,d}_{t;\epsilon }\right) + M\left( \Phi ^{1/2,d}_{2^j;\epsilon }\right) \\&\quad \le C_{\mathrm {sq}} \cdot (j+1) d^3\cdot \left( \log _2(1/\epsilon )+\log _2(d)+4 \right) + 2 d^2 \cdot (L+2)+M\left( \Phi ^{1/2,d}_{t;\epsilon }\right) \\&\quad \le C_{\mathrm {sq}}\cdot (j+1) d^3\cdot \left( \log _2(1/\epsilon )+\log _2(d)+4 \right) +2C_{\mathrm {sq}} j d^2\cdot \left( \log _2(1/\epsilon )+\log _2(d)+2 \right) \\&\qquad +4d^2+M\left( \Phi ^{1/2,d}_{t;\epsilon }\right) \\&\quad \quad \le 3C_{\mathrm {sq}}\cdot (j+1) d^3\cdot \left( \log _2(1/\epsilon )+\log _2(d)+4\right) + M\left( \Phi ^{1/2,d}_{t;\epsilon }\right) \\&\le 3C_{\mathrm {sq}} d^3\cdot \left( j+1+ \frac{j\cdot (j+1)}{2}\right) \cdot \left( \log _2(1/\epsilon ) +\log _2(d)+4)\right) \\&\quad = \frac{3}{2} C_{\mathrm {sq}}\cdot (j+1)\cdot (j+2) d^3\cdot \left( \log _2(1/\epsilon )+\log _2(d)+4 \right) . \end{aligned}$$

$\square$

Proposition A.4 only provides a construction of a NN the ReLU-realization of which emulates a power of a matrix ${\mathbf {A}}$, under the assumption that $\Vert {\mathbf {A}}\Vert _2\le 1/2$. We remove this restriction in the following corollary by presenting a construction of a NN $\Phi ^{Z, d}_{k;\epsilon }$ the ReLU-realization of which approximates the map ${\mathbf {A}}\mapsto {\mathbf {A}}^k,$ on the set of all matrices ${\mathbf {A}}$ the norms of which are bounded by an arbitrary $Z>0$.

Corollary A.5

There exists a universal constant $C_{\mathrm {pow}}>C_{\mathrm {sq}}$ such that for all $Z>0,$ $d\in {\mathbb {N}}$ and $k\in {\mathbb {N}}_0,$ there exists some NN $\Phi ^{Z,d}_{k;\epsilon }$ with the following properties:

• (i) $L\left( \Phi ^{Z, d}_{k;\epsilon }\right) \le C_{\mathrm {pow}} \log _2\left( \max \{k,2\}\right) \cdot \left( \log _2(1/\epsilon )+\log _2(d)+k \log _2\left( \max \left\{ 1,Z\right\} \right) \right)$,

• (ii) $M\left( \Phi ^{Z,d}_{k;\epsilon }\right) \le C_{\mathrm {pow}}\log _2^2\left( \max \{k,2\}\right) d^3 \cdot \left( \log _2(1/\epsilon )+\log _2(d)+k \log _2\left( \max \left\{ 1,Z\right\} \right) \right)$,

• (iii) $M_1\left( \Phi ^{Z,d}_{k;\epsilon } \right) \le C_{\mathrm {pow}} \log _2\left( \max \{k,2\}\right) d^3, \qquad \text {as well as} \qquad M_{L\left( \Phi ^{Z,d}_{k;\epsilon }\right) }\left( \Phi ^{Z}_{k;\epsilon }\right) \le C_{\mathrm {pow}} d^3$,

• (iv) $\sup _{\mathbf {vec}({\mathbf {A}})\in K^{Z}_d}\left\| {\mathbf {A}}^k- \mathbf {matr}\left( \mathrm {R}_{\varrho }^{K^{Z}_d}\left( \Phi ^{Z,d}_{k;\epsilon }\right) (\mathbf {vec}({\mathbf {A}}))\right) \right\| _2 \le \epsilon$,

• (v) for any $\mathbf {vec}({\mathbf {A}})\in K^{Z}_d$ we have

  $$\begin{aligned} \left\| \mathbf {matr}\left( \mathrm {R}_{\varrho }^{K^{Z}_d}\left( \Phi ^{Z,d}_{k;\epsilon }\right) (\mathbf {vec}({\mathbf {A}}))\right) \right\| _2 \le \epsilon + \Vert {\mathbf {A}}^k\Vert _2 \le \epsilon +\Vert {\mathbf {A}}\Vert _2^k. \end{aligned}$$

Proof

Let $\left( ({\mathbf {A}}_1,{\mathbf {b}}_1),\ldots ,({\mathbf {A}}_L,{\mathbf {b}}_L) \right) :=\Phi ^{1/2,d}_{k;\frac{\epsilon }{2\max \left\{ 1,Z^k\right\} }}$ according to Proposition A.4. Then, the NN

$$\begin{aligned} \Phi ^{Z,d}_{k;\epsilon } :=\left( \left( \frac{1}{2Z}{\mathbf {A}}_1 ,{\mathbf {b}}_1\right) , ({\mathbf {A}}_2,{\mathbf {b}}_2),\ldots ,({\mathbf {A}}_{L-1},{\mathbf {b}}_{L-1}), \left( 2Z^k {\mathbf {A}}_L,2Z^k {\mathbf {b}}_L\right) \right) \end{aligned}$$

fulfills all of the desired properties. $\square$

We have seen how to construct a NN that takes a matrix as an input and computes a power of this matrix. With this tool at hand, we are now ready to prove Theorem 3.8.

Proof of Theorem 3.8

By the properties of the partial sums of the Neumann series, for $m\in {\mathbb {N}}$ and every $\mathbf {vec}({\mathbf {A}})\in K_d^{1-\delta },$ we have that

$$\begin{aligned} \left\| \left( \mathbf {Id}_{{\mathbb {R}}^{d}}-{\mathbf {A}}\right) ^{-1}- \sum _{k=0}^{m}{\mathbf {A}}^k\right\| _2&=\left\| \left( \mathbf {Id}_{{\mathbb {R}}^{d}}-{\mathbf {A}}\right) ^{-1} {\mathbf {A}}^{m+1}\right\| _2 \le \left\| \left( \mathbf {Id}_{{\mathbb {R}}^{d}}-{\mathbf {A}}\right) ^{-1}\right\| _2 \Vert {\mathbf {A}}\Vert _2^{m+1} \\&\le \frac{1}{1-(1-\delta )}\cdot (1-\delta )^{m+1} = \frac{(1-\delta )^{m+1}}{\delta }. \end{aligned}$$

Hence, for

$$\begin{aligned} m(\epsilon ,\delta ) = \left\lceil \log _{1-\delta }(2) \log _2\left( \frac{\epsilon \delta }{2}\right) \right\rceil= & {} \left\lceil \frac{\log _2(\epsilon )+\log _2(\delta )-1}{\log _{2}(1-\delta )}\right\rceil \\&\ge \frac{\log _2(\epsilon )+\log _2(\delta )-1}{\log _{2}(1-\delta )} \end{aligned}$$

we obtain

$$\begin{aligned} \left\| \left( \mathbf {Id}_{{\mathbb {R}}^{d}}-{\mathbf {A}}\right) ^{-1}- \sum _{k=0}^{m(\epsilon ,\delta )}{\mathbf {A}}^k\right\| _2 \le \frac{\epsilon }{2}. \end{aligned}$$

Let now

where $\left( \mathbf {Id}_{{\mathbb {R}}^{d^2}}|\cdots |\mathbf {Id}_{{\mathbb {R}}^{d^2}}\right) \in {\mathbb {R}}^{ d^2\times m(\epsilon ,\delta )\cdot d^2}$. Then we set

$$\begin{aligned} \Phi ^{1-\delta ,d}_{\mathrm {inv};\epsilon } :=\left( ({\mathbf {A}}_1,{\mathbf {b}}_1),\ldots ,\left( {\mathbf {A}}_L,{\mathbf {b}}_L+\mathbf {vec}\left( \mathbf {Id}_{{\mathbb {R}}^{d}}\right) \right) \right) . \end{aligned}$$

We have for any $\mathbf {vec}({\mathbf {A}})\in K^{1-\delta }_{d}$

$$\begin{aligned}&\left\| \left( \mathbf {Id}_{{\mathbb {R}}^{d}}-{\mathbf {A}} \right) ^{-1} - \mathbf {matr}\left( \mathrm {R}_\varrho ^{K^{1-\delta }_{d}}\left( \Phi ^{1-\delta ,d}_{\mathrm {inv};\epsilon }\right) (\mathbf {vec}({\mathbf {A}}))\right) \right\| _2 \\&\le \left\| \left( \mathbf {Id}_{{\mathbb {R}}^{d}}-{\mathbf {A}}\right) ^{-1}- \sum _{k=0}^{m(\epsilon ,\delta )}{\mathbf {A}}^k\right\| _2 + \left\| \sum _{k=0}^{m(\epsilon ,\delta )}{\mathbf {A}}^k - \mathbf {matr}\left( \mathrm {R}_\varrho ^{K^{1-\delta }_{d}}\left( \Phi ^{1-\delta ,d}_{\mathrm {inv};\epsilon }\right) (\mathbf {vec}({\mathbf {A}}))\right) \right\| _2 \\&\le \frac{\epsilon }{2} + \sum _{k=2}^{m(\epsilon ,\delta )} \left\| {\mathbf {A}}^k- \mathbf {matr}\left( \mathrm {R}_\varrho ^{K^{1-\delta }_{d}}\left( \Phi ^{1,d}_{k;\frac{\epsilon }{2\left( m(\epsilon ,\delta )-1\right) }}\right) (\mathbf {vec}({\mathbf {A}})) \right) \right\| _2 \\&\le \frac{\epsilon }{2} + \left( m(\epsilon ,\delta )-1\right) \frac{\epsilon }{2(m(\epsilon ,\delta )-1)} = \epsilon , \end{aligned}$$

where we have used that

$$\begin{aligned} \left\| {\mathbf {A}}-\mathbf {matr}\left( \mathrm {R}_\varrho ^{K^{1-\delta }_{d}}\left( \Phi ^{1, d}_{1;\frac{\epsilon }{2\left( m(\epsilon ,\delta )-1\right) }}\right) (\mathbf {vec}({\mathbf {A}})) \right) \right\| _2 = 0. \end{aligned}$$

This completes the proof of (iii). Moreover, (iv) is a direct consequence of (iii). Now we analyze the size of the resulting NN. First of all, we have by Lemma 3.6(b)(i) and Corollary A.5 that

$$\begin{aligned} L\left( \Phi ^{1-\delta , d}_{\mathrm {inv};\epsilon } \right)&= \max _{k=1,\ldots ,m(\epsilon ,\delta )} L\left( \Phi ^{1, d}_{k;\frac{\epsilon }{2\left( m(\epsilon ,\delta )-1\right) }}\right) \\&\le C_{\mathrm {pow}} \log _2\left( m(\epsilon ,\delta )-1 \right) \cdot \left( \log _2\left( 1/\epsilon \right) +1+\log _2\left( m(\epsilon ,\delta )-1 \right) +\log _2(d)\right) \\&\le C_{\mathrm {pow}} \log _2\left( \frac{\log _2\left( 0.5 \epsilon \delta \right) }{\log _{2}(1-\delta )} \right) \cdot \left( \log _2\left( 1/ \epsilon \right) +1+\log _2\left( \frac{\log _2\left( 0.5 \epsilon \delta \right) }{\log _{2}(1-\delta )} \right) +\log _2(d)\right) , \end{aligned}$$

which implies (i). Moreover, by Lemma 3.6(b)(ii), Corollary A.5 and the monotonicity of the logarithm, we obtain

$$\begin{aligned}&M\left( \Phi ^{1-\delta , d}_{\mathrm {inv};\epsilon }\right) \le 3\cdot \left( \sum _{k=1}^{m(\epsilon ,\delta )} M\left( \Phi ^{1,d}_{k;\frac{\epsilon }{2\left( m(\epsilon ,\delta )-1\right) }} \right) \right) \\&\quad +4C_{\mathrm {pow}} m(\epsilon ,\delta ) d^2 \log _2\left( m(\epsilon ,\delta )\right) \cdot \left( \log _2\left( 1/ \epsilon \right) +1+\log _2\left( m(\epsilon ,\delta ) \right) +\log _2(d)\right) \\&\quad \le 3 C_{\mathrm {pow}}\cdot \left( \sum _{k=1}^{m(\epsilon ,\delta )}\log _2^2(\max \{k,2\})\right) d^3 \cdot \left( \log _2(1/\epsilon )+1+\log _2\left( m(\epsilon ,\delta )\right) + \log _2(d) \right) \\&\quad +5 m(\epsilon ,\delta ) d^2 C_{\mathrm {pow}} \log _2\left( m(\epsilon ,\delta )\right) \cdot \left( \log _2\left( 1/ \epsilon \right) +1+\log _2\left( m(\epsilon ,\delta ) \right) +\log _2(d)\right) =:\mathrm {I}. \end{aligned}$$

Since $\sum _{k=1}^{m(\epsilon ,\delta )}\log _2^2(\max \{k,2\})\le m(\epsilon ,\delta )\log _2^2(m(\epsilon ,\delta )),$ we obtain for some constant $C_{\mathrm {inv}}>C_{\mathrm {pow}}$ that

$$\begin{aligned} \mathrm {I} \le C_{\mathrm {inv}} m(\epsilon ,\delta ) \log _2^2(m(\epsilon ,\delta ))d^3\cdot \left( \log _2(1/\epsilon ) + \log _2\left( m(\epsilon ,\delta )\right) + \log _2(d) \right) . \end{aligned}$$

This completes the proof. $\square$

Proof of Theorem 4.3

We start by establishing a bound on $\left\| \mathbf {Id}_{{\mathbb {R}}^{d({{\tilde{\epsilon }}})}}-\alpha {\mathbf {B}}_{y,{{\tilde{\epsilon }}}}^{\mathrm {rb}} \right\| _2.$

Proposition B.1

For any $\alpha \in \left( 0, {1}/{C_{\mathrm {cont}}}\right)$ and $\delta :=\alpha C_{\mathrm {coer}}\in (0, 1)$ there holds

$$\begin{aligned} \left\| \mathbf {Id}_{{\mathbb {R}}^{d({{\tilde{\epsilon }}})}}-\alpha {\mathbf {B}}_{y,{{\tilde{\epsilon }}}}^{\mathrm {rb}} \right\| _2 \le 1-\delta <1, \quad \text { for all } y\in {\mathcal {Y}},~{{\tilde{\epsilon }}}>0. \end{aligned}$$

Proof

Since ${\mathbf {B}}_{y,{{\tilde{\epsilon }}}}^{\mathrm {rb}}$ is symmetric, there holds that

$$\begin{aligned} \left\| \mathbf {Id}_{{\mathbb {R}}^{d({{\tilde{\epsilon }}})}}-\alpha {\mathbf {B}}_{y,{{\tilde{\epsilon }}}}^{\mathrm {rb}} \right\| _2&= \max _{\mu \in \sigma \left( {\mathbf {B}}_{y,{{\tilde{\epsilon }}}}^{\mathrm {rb}}\right) } \left| 1-\alpha \mu \right| \le \max _{\mu \in [C_{\mathrm {coer}},C_{\mathrm {cont}}]} \left| 1-\alpha \mu \right| \\&=1-\alpha C_{\mathrm {coer}} = 1-\delta <1, \end{aligned}$$

for all $y\in {\mathcal {Y}},~{{\tilde{\epsilon }}}>0.$ $\square$

With an approximation to the parameter-dependent stiffness matrices with respect to a RB, due to Assumption 4.1, we can next state a construction of a NN the ReLU-realization of which approximates the map $y\mapsto \left( {\mathbf {B}}_{y,{{\tilde{\epsilon }}}}^{\mathrm {rb}}\right) ^{-1}$. As a first step, we observe the following remark.

Remark B.2

It is not hard to see that if $\left( ({\mathbf {A}}^1_{{{\tilde{\epsilon }}},\epsilon },{\mathbf {b}}^1_{{{\tilde{\epsilon }}},\epsilon }),\ldots ,({\mathbf {A}}^L_{{{\tilde{\epsilon }}},\epsilon },{\mathbf {b}}^L_{{{\tilde{\epsilon }}},\epsilon })\right) :=\Phi ^{{\mathbf {B}}}_{{{\tilde{\epsilon }}},\epsilon }$ is the NN of Assumption 4.1, then for

$$\begin{aligned} \Phi ^{{\mathbf {B}},\mathbf {Id}}_{{{\tilde{\epsilon }}},\epsilon }:=\left( ({\mathbf {A}}^1_{{{\tilde{\epsilon }}},\epsilon },{\mathbf {b}}^1_{{{\tilde{\epsilon }}},\epsilon }),\ldots ,(- {\mathbf {A}}^L_{{{\tilde{\epsilon }}},\epsilon },- {\mathbf {b}}^L_{{{\tilde{\epsilon }}},\epsilon }+\mathbf {vec}\left( \mathbf {Id}_{{\mathbb {R}}^{d({{\tilde{\epsilon }}})}}) \right) \right) \end{aligned}$$

we have that

$$\begin{aligned} \sup _{y\in {\mathcal {Y}}} \left\| \mathbf {Id}_{{\mathbb {R}}^{d({{\tilde{\epsilon }}})}} - \alpha {\mathbf {B}}^{\mathrm {rb}}_{y,{{\tilde{\epsilon }}}} -\mathbf {matr}\left( \mathrm {R}^{\mathcal {Y}}_{\varrho } \left( \Phi ^{{\mathbf {B}},\mathbf {Id}}_{{{\tilde{\epsilon }}},\epsilon } \right) (y) \right) \right\| _2 \le \epsilon , \end{aligned}$$

as well as $M\left( \Phi ^{{\mathbf {B}},\mathbf {Id}}_{{{\tilde{\epsilon }}},\epsilon }\right) \le B_{M}({{\tilde{\epsilon }}}, \epsilon ) + d({{\tilde{\epsilon }}})^2$ and $L\left( \Phi ^{{\mathbf {B}},\mathbf {Id}}_{{{\tilde{\epsilon }}},\epsilon }\right) = B_{L}\left( {{\tilde{\epsilon }}}, \epsilon \right)$.

Now we present the construction of the NN emulating $y\mapsto \left( {\mathbf {B}}_{y,{{\tilde{\epsilon }}}}^{\mathrm {rb}}\right) ^{-1}$.

Proposition B.3

Let ${{\tilde{\epsilon }}}\ge {\hat{\epsilon }},\epsilon \in \left( 0, \alpha /4 \cdot \min \{1,C_{\mathrm {coer}}\} \right)$ and $\epsilon ':=3/8 \cdot \epsilon \alpha C_{\mathrm {coer}}^2 <\epsilon$. Assume that Assumption 4.1 holds. We define

which has p-dimensional input and $d({{\tilde{\epsilon }}})^2$- dimensional output.

Then, there exists a constant $C_B=C_B(C_{\mathrm {coer}},C_{\mathrm {cont}} ) > 0$ such that

• (i) $L\left( \Phi ^{{\mathbf {B}}}_{\mathrm {inv};{{\tilde{\epsilon }}},\epsilon } \right) \le C_{B} \log _2(\log _2(1/\epsilon ))\big (\log _2(1/\epsilon ) + \log _2(\log _2(1/\epsilon ))+\log _2(d({{\tilde{\epsilon }}}))\big ) + B_L({{\tilde{\epsilon }}}, \epsilon '),$

• (ii) $M\left( \Phi ^{{\mathbf {B}}}_{\mathrm {inv};{{\tilde{\epsilon }}},\epsilon } \right) \le C_{B} \log _2(1/\epsilon ) \log _2^2(\log _2(1/\epsilon )) d({{\tilde{\epsilon }}})^3\cdot \big (\log _2(1/\epsilon )+\log _2(\log _2(1/\epsilon ))+\log _2(d({{\tilde{\epsilon }}})) \big ) + 2 B_M\left( {{\tilde{\epsilon }}},\epsilon '\right) ,$

• (iii) $\sup _{y\in {\mathcal {Y}}} \left\| \left( {\mathbf {B}}_{y,{{\tilde{\epsilon }}}}^{\mathrm {rb}}\right) ^{-1} -\mathbf {matr}\left( \mathrm {R}_\varrho ^{\mathcal {Y}}\left( \Phi ^{{\mathbf {B}}}_{\mathrm {inv}; {{\tilde{\epsilon }}},\epsilon } \right) (y)\right) \right\| _2 \le \epsilon$,

• (iv) $\sup _{y\in {\mathcal {Y}}} \left\| {\mathbf {G}}^{1/2}{\mathbf {V}}_{{\tilde{\epsilon }}}\cdot \left( \left( {\mathbf {B}}_{y,{{\tilde{\epsilon }}}}^{\mathrm {rb}}\right) ^{-1} -\mathbf {matr}\left( \mathrm {R}_\varrho ^{\mathcal {Y}}\left( \Phi ^{{\mathbf {B}}}_{\mathrm {inv}; {{\tilde{\epsilon }}},\epsilon } \right) (y)\right) \right) \right\| _2 \le \epsilon$,

• (v) $\sup _{y\in {\mathcal {Y}}} \left\| \mathbf {matr}\left( \mathrm {R}_\varrho ^{\mathcal {Y}}\left( \Phi ^{{\mathbf {B}}}_{\mathrm {inv};{{\tilde{\epsilon }}},\epsilon } \right) (y)\right) \right\| _2 \le \epsilon + \frac{1}{C_{\mathrm {coer}}},$

• (vi) $\sup _{y\in {\mathcal {Y}}} \left\| {\mathbf {G}}^{1/2}{\mathbf {V}}_{{\tilde{\epsilon }}}\mathbf {matr} \left( \mathrm {R}_\varrho ^{\mathcal {Y}}\left( \Phi ^{{\mathbf {B}}}_{\mathrm {inv}; {{\tilde{\epsilon }}},\epsilon } \right) (y)\right) \right\| _2 \le \epsilon + \frac{1}{C_{\mathrm {coer}}}.$

Proof

First of all, for all $y\in {\mathcal {Y}}$ the matrix $\mathbf {matr}\left( \mathrm {R}^{{\mathcal {Y}}}_{\varrho }\left( \Phi ^{{\mathbf {B}}}_{{{\tilde{\epsilon }}},\epsilon '}\right) (y) \right)$ is invertible. This can be deduced from the fact that

$$\begin{aligned} \left\| \alpha {\mathbf {B}}^{\mathrm {rb}}_{y,{{\tilde{\epsilon }}}}- \mathbf {matr}\left( \mathrm {R}^{{\mathcal {Y}}}_{\varrho }\left( \Phi ^{{\mathbf {B}}}_{{{\tilde{\epsilon }}},\epsilon '}\right) (y)\right) \right\| _2 \le \epsilon '<\epsilon \le \frac{\alpha \min \{1,C_{\mathrm {coer}}\}}{4} \le \frac{\alpha C_{\mathrm {coer}}}{4}. \end{aligned}$$

(B.1)

Indeed, we estimate

$$\begin{aligned}&\min _{{\mathbf {z}} \in {\mathbb {R}}^{d({{\tilde{\epsilon }}})}\setminus \{0\}} \frac{\left| \mathbf {matr}\left( \mathrm {R}^{{\mathcal {Y}}}_{\varrho } \left( \Phi ^{{\mathbf {B}}}_{{{\tilde{\epsilon }}},\epsilon '}\right) (y)\right) {\mathbf {z}} \right| }{|{\mathbf {z}}|} \\ \text {[Reverse triangle inequality]} \quad&\quad \ge \min _{{\mathbf {z}} \in {\mathbb {R}}^{d({{\tilde{\epsilon }}})}\setminus \{0\}} \frac{\left| \alpha {\mathbf {B}}^{\mathrm {rb}}_{y,{{\tilde{\epsilon }}}} {\mathbf {z}}\right| }{|{\mathbf {z}}|} \\&\quad - \max _{{\mathbf {z}} \in {\mathbb {R}}^{d({{\tilde{\epsilon }}})}\setminus \{0\}} \frac{\left| \alpha {\mathbf {B}}^{\mathrm {rb}}_{y,{{\tilde{\epsilon }}}} {\mathbf {z}} - \mathbf {matr}\left( \mathrm {R}^{{\mathcal {Y}}}_{\varrho } \left( \Phi ^{{\mathbf {B}}}_{{{\tilde{\epsilon }}},\epsilon '}\right) (y)\right) {\mathbf {z}}\right| }{|{\mathbf {z}}|}\\ \text {[Definition of }\Vert .\Vert _2] \quad&\quad \ge \left( \max _{{\mathbf {z}} \in {\mathbb {R}}^{d({{\tilde{\epsilon }}})}\setminus \{0\}} \frac{|{\mathbf {z}}|}{\left| \alpha {\mathbf {B}}^{\mathrm {rb}}_{y,{{\tilde{\epsilon }}}} {\mathbf {z}}\right| }\right) ^{-1} \\&\quad - \left\| \alpha {\mathbf {B}}^{\mathrm {rb}}_{y,{{\tilde{\epsilon }}}} - \mathbf {matr}\left( \mathrm {R}^{{\mathcal {Y}}}_{\varrho }\left( \Phi ^{{\mathbf {B}}}_{{{\tilde{\epsilon }}},\epsilon '} \right) (y)\right) \right\| _2\\ \text {[Set }\tilde{{\mathbf {z}}} :=(\alpha {\mathbf {B}}^{\mathrm {rb}}_{y,{{\tilde{\epsilon }}}}){\mathbf {z}}] \quad&\quad \ge \left( \max _{\tilde{{\mathbf {z}}} \in {\mathbb {R}}^{d({{\tilde{\epsilon }}})} \setminus \{0\}} \frac{|(\alpha {\mathbf {B}}^{\mathrm {rb}}_{y,{{\tilde{\epsilon }}}})^{-1} \tilde{{\mathbf {z}}}|}{\left| \tilde{{\mathbf {z}}}\right| }\right) ^{-1}\\&\quad - \left\| \alpha {\mathbf {B}}^{\mathrm {rb}}_{y,{{\tilde{\epsilon }}}} - \mathbf {matr} \left( \mathrm {R}^{{\mathcal {Y}}}_{\varrho }\left( \Phi ^{{\mathbf {B}}}_{{{\tilde{\epsilon }}}, \epsilon '}\right) (y)\right) \right\| _2\\ \text {[Definition of }\Vert \cdot \Vert _2] \quad&\quad \ge \left\| \left( \alpha {\mathbf {B}}^{\mathrm {rb}}_{y,{{\tilde{\epsilon }}}}\right) ^{-1}\right\| _2^{-1} - \left\| \alpha {\mathbf {B}}^{\mathrm {rb}}_{y,{{\tilde{\epsilon }}}} - \mathbf {matr}\left( \mathrm {R}^{{\mathcal {Y}}}_{\varrho }\left( \Phi ^{{\mathbf {B}}}_{{{\tilde{\epsilon }}},\epsilon '}\right) (y)\right) \right\| _2\\ \text {[By Equations }(B.1) \hbox { and } (2.9)]\quad&\quad \ge \alpha C_{\mathrm {coer}} - \frac{\alpha C_{\mathrm {coer}}}{4} \ge \frac{3}{4} \alpha C_{\mathrm {coer}}. \end{aligned}$$

Thus, it follows that

$$\begin{aligned} \left\| \left( \mathbf {matr}\left( \mathrm {R}^{{\mathcal {Y}}}_{\varrho } \left( \Phi ^{{\mathbf {B}}}_{{{\tilde{\epsilon }}},\epsilon '}\right) (y)\right) \right) ^{-1} \right\| _2 \le \frac{4 }{3}\frac{1}{C_{\mathrm {coer}}\alpha }. \end{aligned}$$

(B.2)

Then,

$$\begin{aligned}&\left\| \frac{1}{\alpha }\left( {\mathbf {B}}_{y,{{\tilde{\epsilon }}}}^{\mathrm {rb}} \right) ^{-1} -\mathbf {matr}\left( \mathrm {R}_\varrho ^{\mathcal {Y}}\left( \Phi ^{1-\delta /2,d({{\tilde{\epsilon }}})}_{\mathrm {inv};\frac{\epsilon }{2\alpha }} \odot \Phi ^{{\mathbf {B}},\mathbf {Id}}_{{{\tilde{\epsilon }}},\epsilon '}\right) (y) \right) \right\| _2 \\&\quad \le \left\| \frac{1}{\alpha }\left( {\mathbf {B}}_{y,{{\tilde{\epsilon }}}}^{\mathrm {rb}} \right) ^{-1} -\left( \mathbf {matr}\left( \mathrm {R}_\varrho ^{\mathcal {Y}}\left( \Phi ^{{\mathbf {B}}}_{{{\tilde{\epsilon }}},\epsilon '}\right) (y) \right) \right) ^{-1}\right\| _2 \\&\quad \quad + \left\| \left( \mathbf {matr}\left( \mathrm {R}_\varrho ^{\mathcal {Y}}\left( \Phi ^{{\mathbf {B}}}_{{{\tilde{\epsilon }}},\epsilon '}\right) (y) \right) \right) ^{-1} -\mathbf {matr}\left( \mathrm {R}_\varrho ^{\mathcal {Y}}\left( \Phi ^{1-\delta /2,d({{\tilde{\epsilon }}})}_{\mathrm {inv};\frac{\epsilon }{2\alpha }} \odot \Phi ^{{\mathbf {B}},\mathbf {Id}}_{{{\tilde{\epsilon }}},\epsilon '}\right) (y) \right) \right\| _2 \\&\qquad =:\mathrm {I}+\mathrm {II}. \end{aligned}$$

Due to the fact that for two invertible matrices ${\mathbf {M}},{\mathbf {N}},$

$$\begin{aligned} \left\| {\mathbf {M}}^{-1}-{\mathbf {N}}^{-1} \right\| _2 = \left\| {\mathbf {M}}^{-1}({\mathbf {N}}-{\mathbf {M}}){\mathbf {N}}^{-1}\right\| _2 \le \Vert {\mathbf {M}}-{\mathbf {N}}\Vert _2 \Vert {\mathbf {M}}^{-1}\Vert _2\Vert {\mathbf {N}}^{-1}\Vert _2, \end{aligned}$$

we obtain

$$\begin{aligned} \mathrm {I}&\le \left\| \alpha {\mathbf {B}}^{\mathrm {rb}}_{y,{{\tilde{\epsilon }}}}- \mathbf {matr}\left( \mathrm {R}_\varrho ^{\mathcal {Y}}\left( \Phi ^{{\mathbf {B}}}_{{{\tilde{\epsilon }}},\epsilon '}\right) (y) \right) \right\| _2 \left\| \left( \alpha {\mathbf {B}}_{y,{{\tilde{\epsilon }}}}^{\mathrm {rb}}\right) ^{-1} \right\| _2 \left\| \left( \mathbf {matr}\left( \mathrm {R}_\varrho ^{\mathcal {Y}}\left( \Phi ^{{\mathbf {B}}}_{{{\tilde{\epsilon }}},\epsilon '}\right) (y) \right) \right) ^{-1}\right\| _2 \\&\le \frac{3 }{8} \epsilon \alpha C_{\mathrm {coer}}^2 \frac{1}{\alpha C_{\mathrm {coer}}} \frac{4}{3}\frac{1}{C_{\mathrm {coer}}\alpha } = \frac{\epsilon }{2\alpha }, \end{aligned}$$

where we have used Assumption 4.1, Eq. (2.9) and Eq. (B.2). Now we turn our attention to estimating II. First, observe that for every $y\in {\mathcal {Y}}$ by the triangle inequality and Remark B.2, that

$$\begin{aligned}&\left\| \mathbf {matr}\left( \mathrm {R}_{\varrho }^{{\mathcal {Y}}}\left( \Phi ^{{\mathbf {B}},\mathbf {Id}}_{{{\tilde{\epsilon }}},\epsilon '}\right) (y)\right) \right\| _2 \le \left\| \mathbf {matr}\left( \mathrm {R}_{\varrho }^{{\mathcal {Y}}}\left( \Phi ^{{\mathbf {B}},\mathbf {Id}}_{{{\tilde{\epsilon }}},\epsilon '}\right) (y)\right) -\left( \mathbf {Id}_{{\mathbb {R}}^{d({{\tilde{\epsilon }}})}}-\alpha {\mathbf {B}}_{y,{{\tilde{\epsilon }}}}^{\mathrm {rb}}\right) \right\| _2 \\&\quad + \left\| \mathbf {Id}_{{\mathbb {R}}^{d({{\tilde{\epsilon }}})}}-\alpha {\mathbf {B}}_{y,{{\tilde{\epsilon }}}}^{\mathrm {rb}}\right\| _2 \\&\quad \le \epsilon '+1-\delta \le 1-\delta +\frac{\alpha C_{\mathrm {coer}}}{4} \le 1-\delta + \frac{\alpha C_{\mathrm {cont}}}{4} \le 1-\delta +\frac{\delta }{2}=1-\frac{\delta }{2}. \end{aligned}$$

Moreover, have that $\epsilon /(2\alpha ) \le \alpha /(8\alpha )< 1/4.$ Hence, by Theorem 3.8, we obtain that $\mathrm {II} \le {\epsilon }/{2\alpha }.$ Putting everything together yields

$$\begin{aligned} \sup _{y\in {\mathcal {Y}}} \left\| \frac{1}{\alpha }\left( {\mathbf {B}}_{y,{{\tilde{\epsilon }}}}^{\mathrm {rb}} \right) ^{-1} -\mathbf {matr}\left( \mathrm {R}_\varrho ^{\mathcal {Y}}\left( \Phi ^{1-\delta /2,d({{\tilde{\epsilon }}})}_{\mathrm {inv};\frac{\epsilon }{2\alpha }} \odot \Phi ^{{\mathbf {B}},\mathbf {Id}}_{{{\tilde{\epsilon }}},\epsilon '}\right) (y) \right) \right\| _2 \le \mathrm {I}+\mathrm {II} \le \frac{\epsilon }{\alpha }. \end{aligned}$$

Finally, by construction we can conclude that

$$\begin{aligned} \sup _{y\in {\mathcal {Y}}} \left\| \left( {\mathbf {B}}_{y,{{\tilde{\epsilon }}}}^{\mathrm {rb}} \right) ^{-1}- \mathbf {matr}\left( \mathrm {R}^{\mathcal {Y}}_{\varrho }\left( \Phi ^{{\mathbf {B}}}_{\mathrm {inv};{{\tilde{\epsilon }}},\epsilon }\right) (y)\right) \right\| _2 \le \epsilon . \end{aligned}$$

This implies (iii) of the assertion. Now, by Equation (2.7) we obtain

$$\begin{aligned} \sup _{y\in {\mathcal {Y}}}\left\| {\mathbf {G}}^{1/2}{\mathbf {V}}_{{\tilde{\epsilon }}}\left( {\mathbf {B}}_{y,{{\tilde{\epsilon }}}}^{\mathrm {rb}}\right) ^{-1} -{\mathbf {G}}^{1/2}{\mathbf {V}}_{{\tilde{\epsilon }}}\mathbf {matr}\left( \mathrm {R}_\varrho ^{\mathcal {Y}}\left( \Phi ^{{\mathbf {B}}}_{\mathrm {inv};{{\tilde{\epsilon }}},\epsilon } \right) (y)\right) \right\| _2 \le \left\| {\mathbf {G}}^{1/2}{\mathbf {V}}_{{\tilde{\epsilon }}}\right\| _2 \epsilon =\epsilon , \end{aligned}$$

completing the proof of (iv). Finally, for all $y\in {\mathcal {Y}}$ we estimate

$$\begin{aligned}&\left\| {\mathbf {G}}^{1/2}{\mathbf {V}}_{{\tilde{\epsilon }}}\mathbf {matr}\left( \mathrm {R}_\varrho ^{\mathcal {Y}}\left( \Phi ^{{\mathbf {B}}}_{\mathrm {inv};{{\tilde{\epsilon }}},\epsilon } \right) (y)\right) \right\| _2 \\&\le \left\| {\mathbf {G}}^{1/2}{\mathbf {V}}_{{\tilde{\epsilon }}}\cdot \left( \left( {\mathbf {B}}_{y,{{\tilde{\epsilon }}}}^{\mathrm {rb}}\right) ^{-1} -\mathbf {matr}\left( \mathrm {R}_\varrho ^{\mathcal {Y}}\left( \Phi ^{{\mathbf {B}}}_{\mathrm {inv};{{\tilde{\epsilon }}},\epsilon } \right) (y)\right) \right) \right\| _2+ \left\| {\mathbf {G}}^{1/2}{\mathbf {V}}_{{\tilde{\epsilon }}}\left( {\mathbf {B}}_{y,{{\tilde{\epsilon }}}}^{\mathrm {rb}}\right) ^{-1} \right\| _2 \\&\le \epsilon + \frac{1}{C_{\mathrm {coer}}}. \end{aligned}$$

This yields (vi). A minor modification of the calculation above yields (v). At last, we show (i) and (ii). First of all, it is clear that $L\left( \Phi ^{{\mathbf {B}}}_{\mathrm {inv};{{\tilde{\epsilon }}},\epsilon }\right) = L\left( \Phi ^{1-\delta /2,d({{\tilde{\epsilon }}})}_{\mathrm {inv};\frac{\epsilon }{2\alpha }} \odot \Phi ^{{\mathbf {B}},\mathbf {Id}}_{{{\tilde{\epsilon }}},\epsilon '} \right)$ and $M\left( \Phi ^{{\mathbf {B}}}_{\mathrm {inv};{{\tilde{\epsilon }}},\epsilon }\right) = M\left( \Phi ^{1-\delta /2,d({{\tilde{\epsilon }}})}_{\mathrm {inv};\frac{\epsilon }{2\alpha }} \odot \Phi ^{{\mathbf {B}},\mathbf {Id}}_{{{\tilde{\epsilon }}},\epsilon '} \right) .$ Moreover, by Lemma 3.6(a)(i) in combination with Theorem 3.8 (i) we have

$$\begin{aligned}&L\left( \Phi ^{{\mathbf {B}}}_{\mathrm {inv};{{\tilde{\epsilon }}},\epsilon } \right) \le C_{\mathrm {inv}} \log _2\left( m\left( \epsilon /(2\alpha ),\delta /2\right) \right) \cdot \left( \log _2\left( 2\alpha /\epsilon \right) +\log _2\left( m\left( \epsilon /(2\alpha ),\delta /2\right) \right) \right. \\&\quad \left. +\log _2(d({{\tilde{\epsilon }}}))\right) + B_L({{\tilde{\epsilon }}},\epsilon ') \end{aligned}$$

and, by Lemma 3.6(a)(ii) in combination with Theorem 3.8(ii), we obtain

$$\begin{aligned}&M\left( \Phi ^{{\mathbf {B}}}_{\mathrm {inv};{{\tilde{\epsilon }}},\epsilon } \right) \\&\quad \le 2C_{\mathrm {inv}} m(\epsilon /(2\alpha ),\delta /2)\log _2^2\left( m(\epsilon /(2\alpha ),\delta /2) \right) d({{\tilde{\epsilon }}})^3\cdot \left( \log _2\left( 2\alpha /\epsilon \right) \right. \\&\quad \left. + \log _2\left( m(\epsilon /(2\alpha ),\delta /2)\right) +\log _2(d({{\tilde{\epsilon }}})) \right) \\&\quad +2d({{\tilde{\epsilon }}})^2 + 2B_M({{\tilde{\epsilon }}}, \epsilon '). \end{aligned}$$

In addition, by definition of $m(\epsilon ,\delta )$ in the statement of Theorem 3.8, for some constant ${\tilde{C}}>0$ there holds $m\left( \epsilon /(2\alpha ),\delta /2\right) \le {\tilde{C}}\log _2(1/\epsilon ).$ Hence, the claim follows for a suitably chosen constant $C_B = C_B(C_{\mathrm {coer}},C_{\mathrm {cont}}) > 0$. $\square$

1.1 Proof of Theorem 4.3

We start with proving (i) by deducing the estimate for $\Phi ^{{\mathbf {u}},\mathrm {h}}_{{{\tilde{\epsilon }}},\epsilon }$. The estimate for $\Phi ^{{\mathbf {u}},\mathrm {rb}}_{{{\tilde{\epsilon }}},\epsilon }$ follows in a similar, but simpler way. For $y\in {\mathcal {Y}}$, we have that

$$\begin{aligned}&\left| \tilde{{\mathbf {u}}}^{\mathrm {h}}_{y,{{\tilde{\epsilon }}}} - \mathrm {R}_\varrho ^{\mathcal {Y}}\left( \Phi ^{{\mathbf {u}},\mathrm {h}}_{{{\tilde{\epsilon }}},\epsilon }\right) (y) \right| _{{\mathbf {G}}} \\&=\left| {\mathbf {G}}^{1/2}\cdot \left( {\mathbf {V}}_{{\tilde{\epsilon }}}\left( {\mathbf {B}}_{y,{{\tilde{\epsilon }}}}^{\mathrm {rb}}\right) ^{-1} {\mathbf {f}}_{y,{{\tilde{\epsilon }}}}^{\mathrm {rb}} - \mathrm {R}_\varrho ^{\mathcal {Y}}\left( \Phi ^{{\mathbf {u}},\mathrm {h}}_{{{\tilde{\epsilon }}},\epsilon }\right) (y) \right) \right| \\&\le \left| {\mathbf {G}}^{1/2}{\mathbf {V}}_{{\tilde{\epsilon }}}\cdot \left( \left( {\mathbf {B}}_{y,{{\tilde{\epsilon }}}}^{\mathrm {rb}}\right) ^{-1} {\mathbf {f}}_{y,{{\tilde{\epsilon }}}}^{\mathrm {rb}} -\left( {\mathbf {B}}_{y,{{\tilde{\epsilon }}}}^{\mathrm {rb}}\right) ^{-1} \mathrm {R}_\varrho ^{\mathcal {Y}}\left( \Phi ^{{\mathbf {f}}}_{{{\tilde{\epsilon }}},\epsilon ''} \right) (y)\right) \right| \\&\quad +\left| {\mathbf {G}}^{1/2}{\mathbf {V}}_{{\tilde{\epsilon }}}\cdot \left( \left( {\mathbf {B}}_{y,{{\tilde{\epsilon }}}}^{\mathrm {rb}}\right) ^{-1} \mathrm {R}_\varrho ^{\mathcal {Y}}\left( \Phi ^{{\mathbf {f}}}_{{{\tilde{\epsilon }}},\epsilon ''} \right) (y) - \mathbf {matr}\left( \mathrm {R}_\varrho ^{\mathcal {Y}}\left( \Phi ^{{\mathbf {B}}}_{\mathrm {inv};{{\tilde{\epsilon }}},\epsilon '} \right) (y) \right) \mathrm {R}_\varrho ^{\mathcal {Y}}\left( \Phi ^{{\mathbf {f}}}_{{{\tilde{\epsilon }}},\epsilon ''} \right) (y)\right) \right| \\&\quad + \left| {\mathbf {G}}^{1/2}\cdot \left( {\mathbf {V}}_{{\tilde{\epsilon }}}\mathbf {matr}\left( \mathrm {R}_\varrho ^{\mathcal {Y}}\left( \Phi ^{{\mathbf {B}}}_{\mathrm {inv};{{\tilde{\epsilon }}},\epsilon '} \right) (y) \right) \mathrm {R}_\varrho ^{\mathcal {Y}}\left( \Phi ^{{\mathbf {f}}}_{{{\tilde{\epsilon }}},\epsilon ''} \right) (y) - \mathrm {R}_\varrho ^{\mathcal {Y}}\left( \Phi ^{{\mathbf {u}},\mathrm {h}}_{{{\tilde{\epsilon }}},\epsilon }\right) (y) \right) \right| \\&\quad =:\mathrm {I} + \mathrm {II} + \mathrm {III}. \end{aligned}$$

We now estimate $\mathrm {I},\mathrm {II},\mathrm {III}$ separately. By Equation (2.7), Equation (2.9), Assumption 4.2, and the definition of $\epsilon ''$ there holds for $y\in {\mathcal {Y}}$ that

$$\begin{aligned} \mathrm {I}&\le \left\| {\mathbf {G}}^{1/2}{\mathbf {V}}_{{\tilde{\epsilon }}}\right\| _2 \left\| \left( {\mathbf {B}}_{y,{{\tilde{\epsilon }}}}^{\mathrm {rb}}\right) ^{-1} \right\| _2 \left| {\mathbf {f}}_{y,{{\tilde{\epsilon }}}}^{\mathrm {rb}}- \mathrm {R}_\varrho ^{\mathcal {Y}}\left( \Phi ^{{\mathbf {f}}}_{{{\tilde{\epsilon }}},\epsilon ''} \right) (y) \right| \le \frac{1}{C_{\mathrm {coer}}} \frac{\epsilon C_{\mathrm {coer}}}{3} = \frac{\epsilon }{3}. \end{aligned}$$

We proceed with estimating II. It is not hard to see from Assumption 4.2 that

$$\begin{aligned} \sup _{y\in {\mathcal {Y}}} \left| \mathrm {R}^{{\mathcal {Y}}}_{\varrho }\left( \Phi ^{{\mathbf {f}}}_{{{\tilde{\epsilon }}},\epsilon }\right) (y)\right| \le \epsilon +C_{\mathrm {rhs}}. \end{aligned}$$

(B.3)

By definition, $\epsilon ' = \epsilon /\max \{6,C_{\mathrm {rhs}}\} \le \epsilon .$ Hence, by Assumption 4.1 and (B.3) in combination with Proposition B.3 (i), we obtain

$$\begin{aligned} \mathrm {II}&\le \left\| {\mathbf {G}}^{1/2}{\mathbf {V}}_{{\tilde{\epsilon }}}\cdot \left( \left( {\mathbf {B}}_{y,{{\tilde{\epsilon }}}}^{\mathrm {rb}}\right) ^{-1} - \mathbf {matr}\left( \mathrm {R}_\varrho ^{\mathcal {Y}}\left( \Phi ^{{\mathbf {B}}}_{\mathrm {inv};{{\tilde{\epsilon }}},\epsilon '} \right) (y) \right) \right) \right\| _2 \left| \mathrm {R}_\varrho ^{\mathcal {Y}}\left( \Phi ^{{\mathbf {f}}}_{{{\tilde{\epsilon }}},\epsilon ''} \right) (y) \right| \\&\le \epsilon '\cdot \left( C_{\mathrm {rhs}}+\frac{\epsilon \cdot C_{\mathrm {coer}}}{3} \right) \\&\le \frac{\epsilon }{\max \{6,C_{\mathrm {rhs}}\}} C_{\mathrm {rhs}} + \frac{\epsilon C_{\mathrm {coer}}}{\max \{6,C_{\mathrm {rhs}}\}} \frac{\epsilon }{3} \le \frac{2\epsilon }{6}=\frac{\epsilon }{3}, \end{aligned}$$

where we have used that $C_{\mathrm {coer}} \epsilon<C_{\mathrm {coer}} {\alpha }/{4}<1.$ Finally, we estimate III. Per construction, we have that

$$\begin{aligned} \mathrm {R}_\varrho ^{\mathcal {Y}}\left( \Phi ^{{\mathbf {u}},\mathrm {h}}_{{{\tilde{\epsilon }}},\epsilon }\right) (y) = {\mathbf {V}}_{{\tilde{\epsilon }}}\mathrm {R}_\varrho ^{\mathcal {Y}}\left( \Phi ^{\kappa ,d({{\tilde{\epsilon }}}),d({{\tilde{\epsilon }}}),1}_{\mathrm {mult};\frac{\epsilon }{3}} \odot \mathrm {P}\left( \Phi ^{{\mathbf {B}}}_{\mathrm {inv};{{\tilde{\epsilon }}},\epsilon '},\Phi ^{{\mathbf {f}}}_{{{\tilde{\epsilon }}},\epsilon ''} \right) \right) (y,y). \end{aligned}$$

Moreover, we have by Proposition B.3(v)

$$\begin{aligned} \left\| \mathbf {matr}\left( \mathrm {R}_\varrho ^{\mathcal {Y}}\left( \Phi ^{{\mathbf {B}}}_{\mathrm {inv};{{\tilde{\epsilon }}},\epsilon '} \right) (y) \right) \right\| _2 \le \epsilon + \frac{1}{C_{\mathrm {coer}}} \le 1+\frac{1}{C_{\mathrm {coer}}}\le \kappa \end{aligned}$$

and by (B.3) that

$$\begin{aligned} \left| \mathrm {R}_\varrho ^{\mathcal {Y}}\left( \Phi ^{{\mathbf {f}}}_{{{\tilde{\epsilon }}},\epsilon ''} \right) (y) \right| \le \epsilon '' + C_{\mathrm {rhs}} \le \epsilon C_{\mathrm {coer}}+ C_{\mathrm {rhs}} \le 1+ C_{\mathrm {rhs}} \le \kappa . \end{aligned}$$

Hence, by the choice of $\kappa$ and Proposition 3.7 we conclude that $\mathrm {III} \le {\epsilon }/{3}$. Combining the estimates on $\mathrm {I}, \mathrm {II}$, and $\mathrm {III}$ yields (i) and using (i) implies (v). Now we estimate the size of the NNs. We start with proving (ii). First of all, we have by the definition of $\Phi ^{{\mathbf {u}}, \mathrm {rb}}_{{{\tilde{\epsilon }}},\epsilon }$ and $\Phi ^{{\mathbf {u}}, \mathrm {h}}_{{{\tilde{\epsilon }}},\epsilon }$ as well as Lemma 3.6(a)(i) in combination with Proposition 3.7 that

$$\begin{aligned}&L\left( \Phi ^{{\mathbf {u}}, \mathrm {rb}}_{{{\tilde{\epsilon }}},\epsilon }\right) < L\left( \Phi ^{{\mathbf {u}},\mathrm {h}}_{{{\tilde{\epsilon }}},\epsilon }\right) \le 1 + L\left( \Phi ^{\kappa ,d({{\tilde{\epsilon }}}),d({{\tilde{\epsilon }}}),1}_{\mathrm {mult};\frac{\epsilon }{3}}\right) + L\left( \mathrm {P}\left( \Phi ^{{\mathbf {B}}}_{\mathrm {inv};{{\tilde{\epsilon }}},\epsilon '},\Phi ^{{\mathbf {f}}}_{{{\tilde{\epsilon }}},\epsilon ''} \right) \right) \nonumber \\&\quad \le 1 +C_{\mathrm {mult}}\cdot \left( \log _2(3/\epsilon )+3/2 \log _2(d({{\tilde{\epsilon }}}))+\log _2(\kappa )\right) \nonumber \\&\qquad +\max \left\{ L\left( \Phi ^{{\mathbf {B}}}_{\mathrm {inv};{{\tilde{\epsilon }}},\epsilon '} \right) , F_L\left( {{\tilde{\epsilon }}},\epsilon ''\right) \right\} \nonumber \\&\quad \le C^{{\mathbf {u}}}_L \max \left\{ \log _2(\log _2(1/\epsilon ))\left( \log _2(1/\epsilon )+ \log _2(\log _2(1/\epsilon ))+\log _2(d({{\tilde{\epsilon }}}))\right) \right. \nonumber \\&\quad \left. + B_L({{\tilde{\epsilon }}}, \epsilon '''), F_L\left( {{\tilde{\epsilon }}},\epsilon ''\right) \right\} \end{aligned}$$

(B.4)

where we applied Proposition B.3(i) and chose a suitable constant

$$\begin{aligned} C^{{\mathbf {u}}}_L = C^{{\mathbf {u}}}_L(\kappa , \epsilon ', C_B) = C^{{\mathbf {u}}}_L(C_{\mathrm {rhs}}, C_{\mathrm {coer}},C_{\mathrm {cont}}) >0. \end{aligned}$$

We now note that if we establish (iii), then (iv) follows immediately by Lemma 3.6(a)(ii). Thus, we proceed with proving (iii). First of all, by Lemma 3.6(a)(ii) in combination with Proposition 3.7 we have

$$\begin{aligned} M\left( \Phi ^{{\mathbf {u}}, \mathrm {rb}}_{{{\tilde{\epsilon }}},\epsilon }\right)&\le 2M\left( \Phi ^{\kappa ,d({{\tilde{\epsilon }}}),d({{\tilde{\epsilon }}}),1}_{\mathrm {mult};\frac{\epsilon }{3}}\right) + 2M\left( \mathrm {P}\left( \Phi ^{{\mathbf {B}}}_{\mathrm {inv};{{\tilde{\epsilon }}},\epsilon '},\Phi ^{{\mathbf {f}}}_{{{\tilde{\epsilon }}},\epsilon ''} \right) \right) \\&\le 2C_{\mathrm {mult}}d({{\tilde{\epsilon }}})^2 \cdot \left( \log _2(3/\epsilon )+3/2 \log _2(d({{\tilde{\epsilon }}}))+\log _2(\kappa )\right) \\&\quad + 2M\left( \mathrm {P}\left( \Phi ^{{\mathbf {B}}}_{\mathrm {inv};{{\tilde{\epsilon }}},\epsilon '},\Phi ^{{\mathbf {f}}}_{{{\tilde{\epsilon }}},\epsilon ''} \right) \right) . \end{aligned}$$

Next, by Lemma 3.6(b)(ii) in combination with Proposition B.3 as well as Assumption 4.1 and Assumption 4.2 we have that

$$\begin{aligned}&M\left( \mathrm {P}\left( \Phi ^{{\mathbf {B}}}_{\mathrm {inv};{{\tilde{\epsilon }}},\epsilon '},\Phi ^{{\mathbf {f}}}_{{{\tilde{\epsilon }}},\epsilon ''} \right) \right) \nonumber \\&\le M\left( \Phi ^{{\mathbf {B}}}_{\mathrm {inv};{{\tilde{\epsilon }}},\epsilon '}\right) + M\left( \Phi ^{{\mathbf {f}}}_{{{\tilde{\epsilon }}},\epsilon ''} \right) \nonumber \\&\quad + 8d({{\tilde{\epsilon }}})^2 \max \left\{ C^{{\mathbf {u}}}_L \log _2(\log _2(1/\epsilon '))\left( \log _2(1/\epsilon ') + \log _2(\log _2(1/\epsilon '))+\log _2(d({{\tilde{\epsilon }}}))\right) \right. \nonumber \\&\quad \left. + B_L({{\tilde{\epsilon }}}, \epsilon '''), F_L\left( {{\tilde{\epsilon }}},\epsilon ''\right) \right\} \nonumber \\&\le C_{B} \log _2(1/\epsilon ') \log _2^2(\log _2(1/\epsilon ')) d({{\tilde{\epsilon }}})^3\cdot \left( \log _2(1/\epsilon ')+\log _2(\log _2(1/\epsilon '))+\log _2(d({{\tilde{\epsilon }}})) \right) \nonumber \\&\quad + 8d({{\tilde{\epsilon }}})^2 \max \left\{ C^{{\mathbf {u}}}_L \log _2(\log _2(1/\epsilon '))\left( \log _2(1/\epsilon ') + \log _2(\log _2(1/\epsilon '))+\log _2(d({{\tilde{\epsilon }}}))\right) \right. \nonumber \\&\quad \left. + B_L({{\tilde{\epsilon }}}, \epsilon '''),\nonumber F_L\left( {{\tilde{\epsilon }}},\epsilon ''\right) \right\} \\&\quad + 2B_M\left( {{\tilde{\epsilon }}},\epsilon '''\right) + F_M\left( {{\tilde{\epsilon }}},\epsilon '' \right) \nonumber \\&\le C^{{\mathbf {u}}}_M d({{\tilde{\epsilon }}})^2 \cdot \bigg (d({{\tilde{\epsilon }}})\log _2(1/\epsilon ) \log _2^2(\log _2(1/\epsilon ))\big (\log _2(1/\epsilon )+\log _2(\log _2(1/\epsilon )) + \log _2(d({{\tilde{\epsilon }}}))\big )\ldots \nonumber \\&\quad \cdots + B_L({{\tilde{\epsilon }}},\epsilon ''') + F_L\left( {{\tilde{\epsilon }}},\epsilon ''\right) \bigg ) \quad +2B_M({{\tilde{\epsilon }}},\epsilon ''') +F_M\left( {{\tilde{\epsilon }}},\epsilon ''\right) , \end{aligned}$$

(B.5)

for a suitably chosen constant $C^{{\mathbf {u}}}_M = C^{{\mathbf {u}}}_M(\epsilon ', C_B, C^{{\mathbf {u}}}_L) = C^{{\mathbf {u}}}_L(C_{\mathrm {rhs}}, C_{\mathrm {coer}},C_{\mathrm {cont}})> 0$. This shows the claim.