Abstract
A sum of a large-dimensional random matrix polynomial and a fixed low-rank matrix polynomial is considered. The main assumption is that the resolvent of the random polynomial converges to some deterministic limit. A formula for the limit of the resolvent of the sum is derived, and the eigenvalues are localised. Four instances are considered: a low-rank matrix perturbed by the Wigner matrix, a product HX of a fixed diagonal matrix H and the Wigner matrix X and two special matrix polynomials of higher degree. The results are illustrated with various examples and numerical simulations.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
1.1 Motivation
Since the seminal works of Wigner [58] and Marchenko and Pastur [38], spectral theory of random matrices has gathered a huge interest. In particular, studying the limit laws of eigenvalues was considered many times in the literature ([1, 10, 11, 16, 19,20,21, 26, 51, 54, 55]). One of the recent techniques in this field is to investigate the limit (in probability) of the resolvent \( (X_N-zI_N)^{-1}. \) This was done already for Hermitian matrices, e.g. when \(X_N\in {\mathbb {C}}^{N\times N}\) is a generalised Wigner matrix, see [13, 25, 29, 32, 33]. In particular, the local isotropic semicircle law, stated in [13], says that for a suitably chosen family of compact set \({\mathbf {S}}_N\) in the upper half-plane
converges in probability, with a rate \({\mathcal {O}}(N^{-\frac{\omega }{2}})\), to zero, see Example 7 for details. Here \(m_{{{\,\mathrm{W}\,}}}(z)\) denotes the Stieltjes transform of the Wigner semicircle law. As the sets \({\mathbf {S}}_N\) approach the real line, the local isotropic semicircle law becomes a tool to study the distribution of the eigenvalues.
Our aim is to investigate the limit of the resolvent for some classes of nonsymmetric matrices and matrix polynomials. Let us recall that already several studies have addressed the canonical forms of nonrandom structured matrices and matrix polynomials [28] and their change under a low-rank perturbation, see, for example, [4, 22, 23, 34, 40,41,42,43, 48]. However, the theory of random matrix polynomials is yet uncharted.
The additional motivation for the current research lies in noncommutative probability. Recall that deforming a random matrix \(X_N\), one obtains a deformation of the moment expansion of its limiting resolvent. This was already studied in [49] for \( X_N=H_NW_N, \) where \(W_N\) is a symmetric Wigner matrix and \(H_N={{\,\mathrm{diag}\,}}(c_1,1,\dots ,1)\), \(c_1\in {\mathbb {R}}\). See also [17, 18] for other works on moment deformations.
1.2 The Results
Let us recall first the basic notions. For a matrix polynomial \(X(z)=\sum _{j=0}^k X^{(j)} z^j\), with \(X^{(j)}\in {\mathbb {C}}^{N\times N}\), \(j=1,\dots n\) a point \(\lambda \in {\mathbb {C}}\) is called an eigenvalue if \(X(\lambda )x=0\) for some nonzero \(x\in {\mathbb {C}}^N\). A polynomial is called regular if \(\det X(z)\) is a nonzero function. In such case, the matrix \(X(\lambda )\) (\(\lambda \in {\mathbb {C}}\)) is invertible if and only if \(\lambda \) is not an eigenvalue. This allows us to define the resolvent of a regular matrix polynomial as
which is a matrix-valued rational function with poles in the eigenvalues. We will consider eigenvalues and resolvent only for regular polynomials with the leading coefficient being invertible matrix. Hence, we will not investigate the eigenvalue infinity. Let us turn now to the main results of the paper, a further review of necessary linear algebra and probability notions is contained in Sect. 1.
In Sect. 2, we will consider a general setting of random matrix polynomials
where the degree k of the polynomial is fixed and does not depend on N and the matrices \(X_N^{(i)}\) are either deterministic or random. The leading assumption is that the polynomials \(X_N(z)\) are regular and \(X_N(z)\) is invertible on a set \(S_N\subseteq {\mathbb {C}}\), \(S_N\subseteq S_{N+1}\) for \(N=1,2,\dots \) and the resolvent \(X_N(z)^{-1}\) converges, pointwise in z, in probability to M(z) on the union of \(S_N\) (see Definition 5 for details). In such setting, we will investigate how these objects behave under a low-rank perturbation \(X_N(z)+A_N(z)\). Our first main result, as shown in Theorem 11, states precisely how the sets \(S_N\), the limit \(M_N(z)\) and the convergence rate are deformed in this general situation. Further, in Theorem 14, we locate and count the eigenvalues of \(X_N(z)+A_N(z)\), appearing in the union of \(S_N\), after such deformation.
Further sections are devoted to the study of concrete ensembles. And so, Sect. 3 contains a result on low-rank non-Hermitian perturbations of Wigner and random sample covariance matrices. We obtain the limit of the resolvent \((A_N+X_N-zI_N)^{-1}\) and show the limit points and convergence rate of the nonreal points of the spectrum in Theorem 16. Shortly, these can be formulated as follows.
Let \(X_N\) be a generalised Wigner or sample covariance matrix, and let \(A_N\) be deterministic, fixed low-rank perturbation, e.g. \( A_N:= C\oplus 0_{N-n,N-n} \in {\mathbb {C}}^{N \times N}. \) Then the resolvent of \(A_N+X_N\) converges in the maximum norm in probability to
Furthermore, if \(z_0\in {\mathbb {C}}^+\) is such that \(\xi =-\frac{1}{m(z_0)}\) is an eigenvalue of C with the algebraic multiplicity \(k_\xi \) and the size of the largest Jordan block equal to \(p_\xi \), then the \(k_\xi \) eigenvalues \(\lambda _{1}^N,\dots ,\lambda ^N_{k_\xi }\) of \(X_N+A_N\) closest to \(z_0\) are simple and converge to \(z_0\) in probability, with the rate \({\mathcal {O}}( N^{-\frac{1}{ 2p_\xi }})\).
Matrices of type HX with \(H=H^*\) invertible are well known in linear algebra, see, for example, [28, 40]. Section 4 discusses products \(H_NX_N\), where \(H_N\) is a deterministic diagonal matrix with \((H_N-I_N)\) being of fixed low rank and \(X_N\) is a Wigner or a random sample covariance matrix. In Theorem 22, we provide the limit of the resolvent and limit and convergence rate of nonreal eigenvalues for \(H_MX_N\). It is important to notice that already in this matrix problem, it is necessary to apply the main results to nontrivial matrix polynomials of degree one (linear pencils). Namely, we set \(X_N(z)=X_N-zI_N\), \(A_N(z)=-zH_N^{-1}(I-H_N))\) so that \(H_N(X_N(z)+A_N(z))=H_NX_N-zI_N\).
Section 5 contains a study of matrix polynomials of the form
and
where p, q are polynomials, \(X_N\) is either a Wigner or a random sample covariance matrix, \(u_N\) is some deterministic vector, and \(C_n,D_n\in {\mathbb {C}}^{n\times n}\) are diagonal deterministic matrices. This choice is motivated by the fact that matrix polynomials of this form appear in numerical methods for partial differential equations, see [6]. Again, we localise the spectrum of the given above polynomial by means of Theorems 11 and 14 and show difficulties appearing in a particular example.
1.3 Relation to Existing Results
The main novelty of the current paper lies in the formula for the limit of the resolvent and in considering nonlinear eigenvalue problems. So far the limit laws for the resolvent were considered only for matrices and were of isotropic type, i.e. \(m(z)I_N\) with a scalar analytic function m(z). Our construction leads to limit laws of different types and also for polynomials of degree greater than one. Note that although eigenvalue problems for matrices are special cases of eigenvalue problems for polynomials, many of the methods suitable for matrices, like, e.g. analysis of \({{\,\mathrm{tr}\,}}X^n\), cannot be adapted in the polynomial case. Our general theorems from Sect. 2 develop a method which works like a ‘black box’: knowing a limit of the resolvent of a polynomial \(X_N(z)\) one is able to compute the limit of the resolvent of \(X_N(z)+A_N(z)\). Furthermore, by detecting the sets on which \(X_N(z)+A_N(z)\) is invertible, we localise the eigenvalues.
As it was already said, our technique is applied also to matrices, i.e. to polynomials \(X_N-zI_N\). Although the low-rank perturbations of Wigner matrices were considered in many papers, see, for example, [7,8,9,10,11, 13, 16, 20, 54, 55], the authors usually concentrate on Hermitian or symmetric perturbations. The exceptions are the papers [31, 54], see the former for the literature on physical motivations. In the latter paper, Rochet considered the possibly non-Hermitian finite-rank perturbations A of Wigner matrices W, proving results on the limit and convergence rate of nonreal eigenvalues. More precisely, the ‘Furthermore’ part of Theorem 16 (see also the simplified version above) is, generally speaking, a repetition of Theorems 2.3 and 2.10 from [54]. Note that the paper [54] was a continuation of [11], where the authors considered a low-rank perturbation of a random matrix with a distribution invariant under the left and right actions of the unitary group. Analogous convergence rates for outliers \({\mathcal {O}}( N^{-1/({ 2p_\xi })})\) were obtained therein.
In the current paper, we show how the resolvent tools can be used to find the convergence rate of the eigenvalues of matrices converging to the nonreal limits, repeating the aforementioned result on eigenvalues from [54]. However, in addition to [54], we provide a formula and convergence rate for the limit of the resolvent after perturbation. We also estimate the rate of the convergence (to zero) of the imaginary part nonreal eigenvalues which are not outliers, see Example 20. These two aspects were not studied in [54].
The results on the products \(H_NW_N\) also refine the existing ones from [49, 59] by showing the limit of the resolvent and considering a much wider class of \(H_N\).
The last section on polynomials contains original, up to our knowledge, results on nonlinear eigenvalue problems with random coefficients.
1.4 The Outcome
There are two main outcomes of the present paper:
-
extension of the knowledge of limit laws for the resolvents by providing new limit laws for the resolvents of polynomials of type \(X_N+A_N-zI_N\), \(X_N-zI_N-zA_N\), \(p(z)I_N +q(z) A_N + X_N\), \( z^2(A_N+I_N)+zX_N+B_N, \)where \(A_N\) are \(B_N\) are low rank and nonsymmetric matrix and p(z) and q(z) are scalar polynomials, we stress that these limit laws are no longer isotropic;
-
analysis of limits in N of spectra of polynomials of the above type, with a special emphasis on investigating the convergence rates.
In the future, employing results for nonsymmetric matrices or structured matrix polynomials would be most desirable, see, for example, [53] for applications in neural networks. However, the limit laws for the resolvent have not been discovered yet, see [15] for a review. Nonetheless, the general scheme we propose in Sect. 2 is perfectly suited for studying those as well.
2 Preliminaries
2.1 Linear Algebra
First, let us introduce various norms on spaces of matrices. If b is a vector, then by \(\left\| b\right\| _p\), we denote the \(\ell ^p\)-norm of b. If \(A\in {\mathbb {C}}^{k \times l}\), then
We abbreviate \(\left\| A\right\| _{p,p}\) to \(\left\| A\right\| _p\). Recall that
Recall also the following formulas, valid for \(A=[a_{ij}]\in {\mathbb {C}}^{k\times l}\),
Further, \(\left\| A\right\| _{\max }\) denotes the maximum of the absolute values of all entries of A, and clearly
By \(I_N\), we denote the identity matrix of size N. For matrices \(P\in {\mathbb {C}}^{N\times n}\) and \(Q\in {\mathbb {C}}^{n\times N}\), we define
Let us denote the maximal number of nonzero entries in each row of Q by r(Q) and the maximal number of nonzero entries in each column of P by c(P).
Proposition 1
For \(Q\in {\mathbb {C}}^{n\times N}\) and \(P\in {\mathbb {C}}^{N\times n}\), the following inequalities hold
Proof
For \(Q=[q_{ij}]\), \(E=[d_{ij}]\) we obtain, using formula (4), the following
Similarly,
The last claim results from the inequalities
and the relation (5). \(\square \)
The following elementary result on matrices will be of frequent use. Let \(A,B\in {\mathbb {C}}^{n\times n}\), and let A be nonsingular. Then, \(A+B\) is nonsingular if and only if \(I_n+BA^{-1}\) is nonsingular, and in such case
Let \(\left\| \cdot \right\| \) denote any matrix norm. Then,
Furthermore,
and
In many places of this article, we will use the well-known Woodbury matrix identity. Let us recall that for invertible matrices \(X\in {\mathbb {C}}^{N\times N}\), \(C\in {\mathbb {C}}^{k \times k}\), and matrices \(P\in {\mathbb {C}}^{N \times k}\), \(Q\in {\mathbb {C}}^{k \times N}\), the matrix \(X+PCQ\) is invertible if and only if \(L:=C^{-1}+QX^{-1}P\) is invertible. In such case
2.2 Probability Theory
In the whole paper, we will work with one probability space, which is hidden in the background in the usual manner. By \({\mathbb {P}}\) and \({\mathbb {E}}\), we denote the probability and expectation, respectively. We will use the symbol ‘const’ to denote a universal constant, independent from N.
Definition 2
Let
be two families of nonnegative random variables, where \(U^{(N)}\) is possibly an N-dependent parameter set. We say that \(\xi \) is stochastically dominated by \(\zeta \) simultaneously in u, if for all \(\varepsilon >0\) and \(\gamma >0\) we have
for large enough \(N\ge N_0(\varepsilon ,\gamma )\). We will denote the above definition in symbols as \(\xi \prec \zeta \), usually remarking that the convergence is simultaneous and naming the set of parameters.
Furthermore, we say that N-dependent event \(\Delta =\{\Delta ^{(N)}(u)\subset \Omega :N\in {\mathbb {N}},\ u\in U^{(N)}\}\) holds (simultaneously in u) with high probability if 1 is stochastically dominated by \(\mathbf{1 }_\Delta \) simultaneously in u, equivalently, if for all \(\gamma >0\), we have
for large enough \(N\ge N_0(\gamma )\).
Remark 3
In the sequel, we will use without saying the following facts:
-
if \(\xi ^{(N)}(u)\le \zeta ^{(N)}(u)\) for all \(u\in U^{(N)}\) and N sufficiently large then \(\xi \prec \zeta \),
-
if \(\xi \prec \eta \prec \zeta \) then \(\xi \prec \zeta \),
-
if \(\xi _1,\dots ,\xi _l\prec \zeta \), \(\alpha _1,\dots ,\alpha _n\ge 0\) then \(\alpha _1\xi _1+\dots +\alpha _l\xi _l\prec \zeta \),
-
if \(\alpha >0\) and \(\xi \prec N^{-\beta }\) for all \(0<\beta <\alpha \) then \(\xi \prec N^{-\alpha }\),
where \(\xi ,\eta ,\zeta ,\xi _1,\dots ,\xi _l\) denote families of nonnegative random variables with a parameter set \(U^{(N)}\), as in Definition 2.
Remark 4
Recall that in the literature (cf., e.g. [13] Definition 2.1), the symbol \(\prec \) denotes the uniform stochastic domination; namely, for all \(\varepsilon >0\) and \(\gamma >0\), we have
for large enough \(N\ge N_0(\varepsilon ,\gamma )\). It is clear that simultaneous stochastic domination implies uniform stochastic domination and if the variables are Lipschitz continuous, then the converse implication also holds, see, for example, Remark 2.6 of [13] or Corollary 3.19 of [24]. See also Lemma 3.2 of [13] for other properties of stochastic uniform domination. To avoid assuming Lipschitz continuity, we will speak only about simultaneous stochastic domination.
Let us now introduce one of the main objects of our study: a limit law for the resolvent, defined here for random matrix polynomials.
Definition 5
Let
be a random matrix polynomial, i.e. the matrices \(X_N^{(i)}\) are either deterministic or random matrices, and the degree k of the polynomial is fixed and does not depend on N. Let \({\mathbf {S}}_N\subset {\mathbb {C}}\) be a family of deterministic open sets with \({\mathbf {S}}_N\subset {\mathbf {S}}_{N+1}\) for all N, and let
be sequences of deterministic functions such that for any \(z\in \bigcup _N{\mathbf {S}}_{N}\), the sequence \((\Psi _N(z))_{N}\) converges to zero. We say that the resolvent \(X_N(z)^{-1}\) has the limit law \(M_N(z)\) on sets \({\mathbf {S}}_N\) with the rate \(\Psi _N(z)\) if the eigenvalues of \(X_N(z)\) are with high probability outside the set \({\mathbf {S}}_N\) and
simultaneously in \(z\in {\mathbf {S}}_N\).
Remark 6
Note that the requirement that the eigenvalues are with high probability outside \({\mathbf {S}}_N\) should be read formally as: the (parameter-free) event \(\{\)the eigenvalues are outside \({\mathbf{S}}_N\}\) holds with probability \(\ge 1-N^{-\gamma }\) for N large enough and all \(\gamma >0\). This is equivalent to saying that the polynomial \(X_N(z)+A_N(z)\) is invertible with high probability simultaneously in \(z\in { {\mathbf {S}}}_N\).
We present main examples, which are the motivation for the above definition.
Example 7
Let \(W=W_N=W_N^*\) be an \(N\times N\) Hermitian matrix whose entries \(W_{ij}\) are independent complex-valued random variables for \(i\le j\), such that
and for any \(p\in {\mathbb {N}}\) expectation of \(|\sqrt{N}W_{ij}|^p\) is bounded, i.e.
where \({{\,\mathrm{const}\,}}(p)\) denotes a constant depending on p only.
The function
is the Stieltjes transform of Wigner semicircle distribution. It was shown in [13] (see also [29]) that for each \(\omega \in (0,1)\), the resolvent \((W_N-zI_N)^{-1}\) has a limit law \(M_N(z)=m_{{{\,\mathrm{W}\,}}}(z)I_N\) on the set
with the rate
Indeed, this can easily be deduced from Theorem 2.12, remark after Theorem 2.15 (see also Remark 2.6) and Lemma 3.2(i) of [13]. The authors call this the isotropic local limit law because of the form \(M_N(z)=m_{{{\,\mathrm{W}\,}}}(z)I_N\). In the next section, we will provide polynomials with the resolvent having limit law of a different type. Furthermore, since \(|m(z)|\le \omega ^{-1}\) for \(z\in {\mathbf {S}}_N\), one has
Another example of a resolvent having a limit law is given by the same polynomial \(W_N-zI_N\) but now with \({\mathbf {S}}_N={\mathbf {T}}\), where \({\mathbf {T}}\) is some compact set in the upper half-plane. Observe that in this setting, we again have \(M_N(z)=m_{{{\,\mathrm{W}\,}}}(z)I_N\) with the same rate \(\Psi _N^W(z)\), but the estimate (16) can be improved to
In what follows, we will need both constructions presented in this example.
Our second example is the isotropic local Marchenko–Pastur limit law.
Example 8
Let \(Y=Y_N\) be an \(M\times N\) matrix, with N, M satisfying
whose entries \(Y_{ij}\) are independent complex-valued random variables such that
and for all \(p\in {\mathbb {N}}\)
Let also
Then, resolvent of the polynomial \(Y_N^*Y_N-zI_N\) has a limit law \(M_N=m_{{{\,\mathrm{MP}\,}}}(z) I_N\), where
on the set
with the rate
As in the previous example, this is an example of an isotropic limit law and can be deduced from the results in [13]: Theorem 2.4, Remark 2.6 and Lemma 3.2(i). Furthermore, one has that
As in Example 7, we change the setting by putting \({\mathbf {S}}_N={\mathbf {T}}\), where \({\mathbf {T}}\) is some compact set in the upper half-plane, which leads to the estimate
Further examples of local limit laws in the literature (which are, in particular, limit laws for the resolvent) concern matrices of type \((Y_N-w I_N)^*(Y_N-w I_N)\), where w is a complex parameter, applied in the Hermitisation technique, see [14, Theorem 6.1].
Remark 9
It is worth mentioning, that having a limit law for the resolvent of the family of polynomials \(X_N(z)=\sum _{j=0}^k z^jX_N^{(j)}\), it is relatively easy to derive a limit law for the resolvent of the polynomials \(\alpha X_N(z) +\beta I_N\), \(\alpha ,\beta \in {\mathbb {C}}\), \(zX_N(z)\) and \(\text {rev}X_N(z):=\sum _{j=0}^k z^{k-j}X_N^{(j)}\). In particular, \(X_N(z)=zX_N-I_N\), where \(X_N\) is a generalised Wigner matrix, is an example of a first-order polynomial having a limit law for the resolvent, with a nontrivial leading coefficient.
We conclude this section with an example of a random matrix without a resolvent limit law, to show the difference between the resolvent limit law and stochastic convergence of eigenvalues.
Example 10
Let \(X_N\in {\mathbb {C}}^{N\times N}\) be a diagonal matrix, with elements on the diagonal being i.i.d. standard normal variables. Although the empirical measures of the eigenvalues of \(X_N\) converge weakly in probability to the normal distribution, the resolvent \((X_N-zI_N)^{-1}\) does not converge in any reasonable sense.
3 Main Results
3.1 The Resolvent
In this subsection, we will show how a low-dimensional perturbation deforms a resolvent limit law. Recall that r(B), c(B) denote, respectively, the maximal number of nonzero entries in each row and column of a matrix B.
Theorem 11
Let \((n_N)_N\) be a nondecreasing sequence, and let
be deterministic matrix polynomials, where \(P_N\in {\mathbb {C}}^{N\times n_N}\), \(Q_N\in {\mathbb {C}}^{n_N\times N}\). Let \(X_N(z)\in {\mathbb {C}}^{N\times N}[z]\) be a random matrix polynomial. We assume that
-
(a1)
\(X_N(z)^{-1}\) has a limit law \(M_N(z)\) on a family of sets \({\mathbf {S}}_N\) with rate \(\Psi _N(z)\), see Definition 5,
-
(a2)
\(C_N(z)\) is invertible for \(z\in {\mathbf {S}}_N\),
-
(a3)
we have that
$$\begin{aligned} n_N \sup _{z\in {\mathbf {S}}_N}\Psi _N(z) \le {\mathcal {O}}(N^{-\alpha }), \end{aligned}$$(23)for some \(\alpha >0\),
-
(a4)
\(\left\| P_N\right\| _2,\left\| Q_N\right\| _2,c(P_N),r(Q_N)\le {{\,\mathrm{const}\,}}\).
Then, for any \(\beta \in (0,\alpha )\), the eigenvalues of the random polynomial \(X_N(z)+A_N(z)\) are with high probability outside the set
where
Furthermore, the resolvent of \(X_N(z)+A_N(z)\) has a limit law on \(\widetilde{{\mathbf {S}}}_N\)
with the rate
under the additional assumption that \({\widetilde{\Psi }}_N(z)\) converges to zero for \(z\in \bigcup _N{\mathbf {S}}_N\).
Proof
We set \(\beta =\alpha /2\), and the proof for arbitrary \(\beta <\alpha \) requires only few technical adjustments. Fix arbitrary \(\gamma >0\). Due to (a1) and the definition of stochastic simultaneous domination (Definition 2, \(\varepsilon =\alpha /4\)), we have that with \(E_N(z)=X_N(z)^{-1}-M_N(z)\), the following event
holds with probability \(\ge 1-N^{-\gamma }\), for \(N\ge N_0(\alpha ,\gamma )\) sufficiently large. Note that if \(\Theta \) occurs, one has that, for all \(z\in \widetilde{{\mathbf {S}}}_N\),
Note that by the assumption (a3), if \(\Theta \) occurs, then
Consequently, the above inequality holds with probability \(\ge 1-N^{-\gamma }\), for sufficiently large \(N\ge N_0(\alpha ,\gamma )\). By the Woodbury matrix equality, the matrix \(X_N(z)+P_NC_N(z)Q_N\) is invertible if and only if \(C_N(z)^{-1}+Q_NX_N(z)^{-1}P_N\) is invertible. Note that
This together with (7) implies that on the event \(\Theta \), the matrix \(X_N(z)+P_NC_N(z)Q_N\) is invertible for sufficiently large \(N\ge N_0(\alpha ,\gamma )\). As \(\gamma \) was arbitrary, we see that the eigenvalues of \(X_N(z)+A_N(z)\) are outside \(\widetilde{{\mathbf {S}}}_N\) with high probability.
Now, we prove the convergence of \((X_N(z)+A_N(z))^{-1}\). Let
Consider
Confronting with (26) and dropping the z-dependence (\(z\in \widetilde{{\mathbf {S}}}_N\)) and the N-dependence, we obtain the difference to estimate
We will estimate the maximum norm of each summand in the right-hand side of the above equation. For this aim, we state some preliminary inequalities. Recall that by Proposition 1, assumptions on \(P_N\) and \(Q_N\) and (5), one has
The stochastic domination below in this proof is simultaneous in \(z\in \widetilde{{\mathbf {S}}}_N\). One has
We can now derive the announced estimation of summands of \(E^{(2)}(z)\). In the following estimations, we again drop the z-dependence and the N-dependence, and the stochastic domination below in this proof is simultaneous in \(z\in \widetilde{{\mathbf {S}}}_N\). And so, we have
Due to the fact that
the proof is finished. \(\square \)
3.2 The Spectrum
In the current subsection, the dimension \(n_N\) will be constant and denoted by n. First, let us prove a technical lemma.
Lemma 12
Let the matrices \(A,B\in {\mathbb {C}}^{k\times k}\). Then,
Proof
Observe that with
, one has
\(\square \)
The next step in the analysis of the spectra of matrices \(X_N+A_N\) is the following theorem; for its formulation, let us introduce a usual technical definition.
Definition 13
Suppose a point \(z_0\in {\mathbb {C}}\) is given. We order the complex plane with respect to the lexicographic order on \([0,+\infty )\times [0,2\pi )\) identifying a point \( \lambda \) with the pair \((|\lambda -z_0|, \arg (\lambda -z_0))\).
Theorem 14
Let n be fixed, and let
be deterministic matrix polynomials, where \(P_N\in {\mathbb {C}}^{N\times n}\), \(Q_N\in {\mathbb {C}}^{n\times N}\), \(N=1,2,\dots \) Let \(X_N(z)\in {\mathbb {C}}^{N\times N}[z]\) be a random matrix polynomial. We assume that
-
(a1)
\(X_N(z)^{-1}\) has a limit law \(M_N(z)\) on a family of sets \({\mathbf {S}}_N\) with the rate \(\Psi _N(z)\), see Definition 5,
-
(a2.1)
C(z) is invertible for \(z\in \bigcup _N{\mathbf {S}}_N\),
-
(a3.1)
the following estimate holds
$$\begin{aligned} \sup _{z\in {\mathbf {S}}_N}|\Psi _N(z)|\le {\mathcal {O}}(N^{-\alpha }) \end{aligned}$$with some \(\alpha >0\),
-
(a4)
\(\left\| P_N\right\| _2,\left\| Q_N\right\| _2,c(P_N),r(Q_N)\le {{\,\mathrm{const}\,}}\),
-
(a5.1)
the matrix-valued function \(z\mapsto Q_NM_N(z)P_N\) is analytic on the interior of \(\bigcup _N{\mathbf {S}}_N\) and does not depend on N.
Let also
Assume that the function \(\det K(z)\) has a zero of order \(k>0\) at a point \(z_0\) lying in the interior of \(\bigcup _N{\mathbf {S}}_N\) and let \(\lambda _1^N,\dots ,\lambda _k^N,\dots \) be the zeros of \(\det {L_N}(z)\) written down with multiplicities in the order given by their distance to \(z_0\). Then, the first k of them converge to \(z_0\) in the following sense
while the \(k+1\)-st, and in consequence all following ones, do not converge to \(z_0\); more precisely, for any \(\beta >0\), the set of random variables \(|\lambda _{k+1}^N-z_0|\) is not simultaneously stochastically dominated by \(N^{-\beta }\).
Proof
Fix \(\varepsilon ,\gamma >0\), with \(\varepsilon <\alpha \). We show that there are exactly k zeros \(\lambda _1^N,\dots ,\lambda _k ^N\) of \(\det {L_N}(z)\) in \(B(z_0,N^{-\beta })\) with probability \(\ge 1-N^{-\gamma }\) for \(N\ge N_0(\varepsilon ,\gamma )\) large enough and any \(\beta \le \frac{-\varepsilon +\alpha }{k}\). This will prove both statements. Indeed, setting \(\beta =\frac{-\varepsilon +\alpha }{k}\) shows that condition (12) in the definition of stochastic simultaneous domination is satisfied for any \(\varepsilon <\alpha \), and hence in an obvious way for any \(\varepsilon >0\). Setting \(\beta \) to be arbitrary small shows that \(|\lambda _{k+1}^N-z_0|\) is not simultaneously stochastically dominated by \(N^{-\beta }\).
Let us fix an open bounded set \({\mathbf {T}}\) such that \(z_0\in {\mathbf {T}}\) and the closure of \({\mathbf {T}}\) is contained in the interior of some \({\mathbf {S}}_{N}\) (\(N\ge 1\)). We may assume without loss of generality that \(X_N(z)\) is invertible on \({\mathbf {T}}\). Note that due to (a2’) and (a5), the function K(z) is continuous on the closure of \({\mathbf {T}}\), hence,
Moreover, due to Proposition 1 one has
Hence, by (a1) and (a4) the probability of the event
is higher than \(1-N^{-\gamma },\) for \(N\ge N_1(\varepsilon ,\gamma )\) large enough. Note that \( N^{\frac{\varepsilon }{5}}\Psi _N(z)\le N^{\frac{\varepsilon }{4}-\alpha } \) by (a3). By Lemma 12, one has
Hence, the probability of the event
is higher than \(1-N^{-\gamma },\) for \(N\ge N_2(\varepsilon ,\gamma )\) large enough. As \(\frac{\varepsilon }{3}-\alpha <0\) and \(\left\| K(z)\right\| _{\max }\) is bounded on \({\mathbf {T}}\), the probability of the event
is higher than \(1-N^{-\gamma },\) for \(N\ge N_3(\varepsilon ,\gamma )\) large enough.
Observe that
Consequently,
for sufficiently large \(N\ge N_4(\varepsilon ,\gamma )\) and any \(\beta \le \frac{-\varepsilon +\alpha }{k}\).
Combining (34) and (35), we get
with probability higher than \(1-N^{-\gamma }\) for \(N\ge N_5(\varepsilon ,\gamma )\) large enough.
However, (36) implies, via the Rouché theorem, that \(\det K(z)\) and \(\det {L_N}(z)\) have the same number of zeros in \(B(z_0,N^{-\beta })\). Hence, there are exactly k zeros \(\lambda _1,\dots ,\lambda _k \) of \(\det {L_N}(z)\) in \(B(z_0,N^{-\beta })\) with probability higher than \(1-N^{-\gamma }\) for \(N\ge N_5(\varepsilon ,\gamma )\) large enough. \(\square \)
Remark 15
Let us compare Theorems 11 and 14. First, note that the latter one has slightly stronger assumptions, which are, however, necessary for defining the limit point \(z_0\), also the sequence \(n_N\) is required there to be constant. Comparing the claims, let us note that both theorems state more or less the same fact: the eigenvalues converge to some limit points with a certain convergence rate. If \(n=1\), the claim of Theorem 14 is slightly than the one of Theorem 11. Namely, the function K(z) is a scalar function in this situation, and the condition
which constitutes the set \(\widetilde{ {\mathbf {S}}}_N\), locates with high probability the eigenvalues in the (approximate) discs around the points \(z_0\) and with radius equal to \(N^{-\beta }\), for \(\beta <\alpha \), while Theorem 14 already states that \(\beta =\alpha \).
However, already for \(n=2\) the estimates given by Theorem 14 are weaker, and we will see this more clearly in Sect. 3. The main reason for stating Theorem 14, although it is giving a weaker estimate, is that it allows us in some situations to count the eigenvalues, while Theorem 11 does not even guarantee that inside each connected component of the complement of \(\widetilde{{\mathbf {S}}}_N\), there is any eigenvalue of \(X_N+A_N\). Therefore, in what follows, we will use Theorem 11 to get the optimal convergence rate and Theorem 14 to get the number of eigenvalues which converge to \(z_0\).
4 Random Perturbations of Matrices
In this section, we will consider the situation where \(A_N(z)=A_N\) is a matrix and \(X_N(z)=X_N-zI_N\). In this subsection, like in Theorem 11, neither n nor C depends on N.
Theorem 16
Let n be fixed, and let
be deterministic matrices, where \(P_N\in {\mathbb {C}}^{N\times n}\), \(Q_N\in {\mathbb {C}}^{n\times N}\), \(N=1,2,\dots \) Let \(X_N\in {\mathbb {C}}^{N\times N}\) be a random matrix. We assume that
-
(a1.2)
\(X_N\) is either a Wigner matrix from Example 7 or a random sample covariance matrix from Example 8, so that the resolvent of \(X_N-zI_N\) has a limit law \(m_{\star }(z) I_N\) on the family of sets \({\mathbf {S}}^{\star }_{N,\omega }\) with the rate \(\Psi ^{\star }_N(z)\), where \(\star \in \left\{ {{\,\mathrm{W}\,}},{{\,\mathrm{MP}\,}}\right\} \), respectively, and let \({\mathbf {T}}\) be a compact set that does not intersect the real line.
-
(a2.2)
C is invertible,
-
(a4)
\(\left\| P_N\right\| _2,\left\| Q_N\right\| _2,c(P_N),r(Q_N)\le {{\,\mathrm{const}\,}}\),
-
(a5.2)
the matrix \(D:=CQ_NP_N\) is independent from N.
Then, the eigenvalues of \(X_N+A_N\) are with high probability outside the set
and
where \(\rho<\tau <\frac{1}{2}\), \(p_\xi \) denotes the size of the largest block corresponding to \(\xi \) and \(\sigma (D)\) is the set of eigenvalues of D. The resolvent of the polynomial \(A_N+X_N-zI_N\) has on \(\widetilde{{\mathbf {S}}}^{\star }_{N,\omega }\) and \(\widetilde{{\mathbf {T}}}_N\) the following limit law
with the rates
respectively.
Furthermore, if \(z_0\in {\mathbb {C}}\setminus {\mathbb {R}}\) is such that \(\xi =-\frac{1}{m_{\star }(z_0)}\) is an eigenvalue of D with algebraic multiplicity \(k_\xi \) and the size of the largest Jordan block is equal to \(p_\xi \), then the \(k_\xi \) eigenvalues \(\lambda _{1}^N,\dots ,\lambda ^N_{k_\xi }\) of \(X_N+A_N\) closest to \(z_0\) are simple and converge to \(z_0\) in the following sense
provided that the independent random variables constituting the matrix \(X_N\), i.e. \(W_{ij}\) in Example 7 or, respectively, \(Y_{ij}\) in Example 8, have continuous distributions.
Proof
I: Limit law for the resolvent
First, we prove that the resolvent of \(X_N+A_N\) contains with high probability the set \({\mathbf {S}}_{N,\omega }^{\star }\). We fix \(\tau < \frac{1}{2}\) and let \(\tau '\in (\tau ,1/2)\). Let us note that the assumptions (a1)–(a4) of Theorem 11 are satisfied with \(\alpha =\omega /2\) and \(\beta =\tau '\omega <\alpha \). With K(z) as in Theorem 11 and \(D=S J_D S^{-1}\), where S is invertible and \(J_D\) is in Jordan normal form, one has
Note that \((I_n+ m_{\star }(z)J_D)^{-1}\) is a block-diagonal matrix with blocks corresponding to possibly different eigenvalues \(\xi \) of D, of possibly different sizes r, of the form
where \(s=\frac{1+\xi m_{\star }(z)}{m_{\star }(z)}\) and the nonindicated entries are zeros. Hence,
As \(m_{\star }(z)\) is bounded on \(\bigcup _N{\mathbf {S}}^{\star }_{N,\omega }\), we can apply estimates (16) and (21) and Theorem 11 with \(\alpha =\frac{\omega }{2}\) and get that the eigenvalues of \(X_N+A_N\) are with high probability outside the set
which in turn contains the following sets
where \(\delta \) is an appropriate constant and \(N>N_0(\tau ,\tau ',\delta ,\omega )\) is sufficiently large.
The formula for the limit law \({{\widetilde{M}}}_N(z)\) follows straightforwardly, and let us discuss now the convergence rate. First, consider the case \({\mathbf {S}}_N={\mathbf {S}}^{\star }_{N,\omega }\) and apply Theorem 11. For this aim, we need to check the additional assumption that \({\widetilde{\Psi }}_N(z)=N^{\frac{\omega }{2}}\Psi _N^\star (z)\) converges to zero for each z. This is, however, satisfied due to \(\Psi _N^\star (z)={\mathcal {O}}(N^{-1/2})\) and \(\omega <1\).
Now, consider the case \({\mathbf {S}}_N={\mathbf {T}}\), we apply Theorem 11 with \(\alpha =\tau \) and \(\beta =\rho \). Repeating the arguments from the previous case (with (17), (22) used instead of (16) and (21)), we see that the eigenvalues of \(X_N+A_N\) are with high probability outside \(\widetilde{{\mathbf {T}}}_N\). The formula for the limit law \({{\widetilde{M}}}_N(z)\) follows straightforwardly, to see the convergence rates observing that the additional assumption on convergence of \({{\widetilde{\Psi }}}_N(z)\) is satisfied due to \(\tau <1/2\).
II: Eigenvalues (‘Furthermore’ part). First note that due to the fact that \(m_{\star }'(z_0)\ne 0\) the function
has a zero of order \(k_\xi \) at \(z_0\). By Theorem 14, \(\det L_N(z)\) has exactly \(k_\xi \) zeros, counting with multiplicities, \(\lambda _1^N,\dots ,\lambda _{k_\xi }^N\), that converge to \(z_0\) as
with some \(\alpha >0\). Each of these zeros is an eigenvalue of \(X_N+A_N\) converging to \(z_0\). We show now that \(\alpha =\frac{1}{2p_\xi }\). Let us fix a compact set \({\mathbf {T}}\), not intersecting the real line, and such that \(z_0\) is in the interior of \({\mathbf {T}}\). As \(\frac{d(1+m_{\star }(z)\xi )}{dz} (z_0)\ne 0\), one gets immediately from (40) and the form of the set \(\widetilde{{\mathbf {T}}}_N\) in (38) that \(\alpha \ge \tau /p_\xi \) with arbitrary \(\tau <\frac{1}{2}\). Hence, (40) holds with \(\alpha =\frac{1}{2p_\xi }\) as well.
Let us see that the zeros of L(z) are almost surely simple. Note that \( \det L(z)=\det C^{-1} \frac{\det (X_N-zI+A)}{\det (X_N-zI)} \) is a rational function and if it has a double zero, then \(\det (X_N-zI+A)\) has a double zero. However, it is a well-known fact that the eigenvalues of the random matrix with the continuously distributed entries are almost surely simple, see, for example, [56, Exercise 2.6.1]. Thus, the zeros \(\lambda _1^N,\dots ,\lambda _{k_\xi }^N\) are almost surely mutually different. \(\square \)
Remark 17
The theorem above may be easily generalised to the situation where the resolvent of \(X_N-zI_N\) has a limit law of the form \(\mu (z)I_N\) with \(\mu (z)\) being a Stieltjes transform of a probability measure. The only exception is the counting of the eigenvalues in (39); namely, it is not true that the eigenvalues converging to \(z_0\) need to be simple and that their number has to be precisely \(k_\xi \). The proof of this generalisation follows exactly the same lines except the last two paragraphs.
Example 18
Let \(X_N\) be the Wigner matrix as in Example 7. For the simulations, Wigner matrices with real Gaussian entries were used. We use the notation from Theorem 16. We compare the convergence rates of eigenvalues for the following four instances of the matrix C
with
We have \(D^{(j)}=C^{(j)}\), \(j=1,2,3,4\) and \(\xi ^{(j)}=8{{\,\mathrm{i}\,}}\), \(j=1,2,3\) and, \(\xi ^{(4)}=2{{\,\mathrm{i}\,}}\). It is a matter of a straightforward calculation that the only solution of \(1+\xi ^{(j)} m_{{{\,\mathrm{W}\,}}}(z)=0\) equals \(63{{\,\mathrm{i}\,}}/8\) for \(j=1,2,3\) and \(3{{\,\mathrm{i}\,}}/2\) for \(j=4\). A sample set \(\tilde{\mathbf {S}}_N\) and the spectrum of \(X_N+A_N^{(4)}\) are plotted in Fig. 2. According to Theorem 16, the rate of convergence is (simplifying the statement slightly) \(N^{-\frac{1}{2}}\) in the \(C^{(1)}\), \(C^{(2)}\), and \(C^{(4)}\) case, and \(N^{-\frac{1}{6}}\) in the \(C^{(3)}\) case. The graphs of
are presented in Fig. 1. Note that the log–log plot supports the conjecture that the exponents in estimates of the convergence rates cannot be in practice improved. Namely, in all four cases the slope of the corresponding group of points is approximately \({-1/2}\) in cases (1), (2) and (4) and \(-1/6 \) case (3). Furthermore, it is visible that while the exponent in the rate of convergence in the cases (1), (2) and (4) is the same, \( N^{-\frac{1}{2}}\), these rates may differ by a constant. This is visible as a vertical shift of the graphs in corresponding to cases (1), (2) and (4).
The log–log plots for \(C^{(1)}\) (red circle), \(C^{(2)}\) (blue cross), \(C^{(3)}\) (green star) and \(C^{(4)}\) (black plus), see Example 18. The plots of \(N^{-1/2}\) and \(N^{-1/6}\) are marked with black lines for reference (Color figure online)
The set \( \widetilde{{\mathbf {S}}}^{W}_{1000}\) (in blue) and the spectrum of \(W_{1000}+A_{1000}^{(4)}\) (red crosses) from Example 18 (Color figure online)
The set \(\tilde{{\mathbf {S}}}^{W}_{1000,\omega }\) (in blue) and the spectrum of \(W_{1000}+A_{1000}^{(5)}\) (red crosses) from Example 20 (Color figure online)
Let us formulate now a direct corollary from Theorem 16.
Corollary 19
If, additionally to the assumptions of Theorem 16, \(Q_NP_N=0\), then the eigenvalues of \(X_N+A_N\) are with high probability outside the set \({\mathbf {S}}^{\star }_{N,\omega }\) and the resolvent of \(X_N+A_N\) has on \({\mathbf {S}}^{\star }_{N,\omega }\) the following limit law
with the rate
Example 20
In this example, we will compare the convergence of the eigenvalues of \(X_N+A_N\) to the real axis in three different situations. Here, \(X_N\) is again a Wigner matrix. First, let us take the matrix \(A^{(1)}_N=P_N^{(1)} C^{(1)}Q_N^{(1)}\) from Example 18. In this situation, there is one eigenvalue \(\lambda _1^N\) of \(X_N+A_N^{(1)}\) converging to \(z_0=63{{\,\mathrm{i}\,}}/8\), cf. Example 18, and the set \(\widetilde{{\mathbf {S}}}_{N,\omega }^{{{\,\mathrm{W}\,}}}\) is for large N a rectangle with an (approximately) small disc around \(z_0\) removed, similarly as for \(C^{(4)}\) in Fig. 2. The other eigenvalues converge to the real line with the rate \(N^{-1}\), i.e. \(\Delta (N)\prec N^{-1}\) where
By definition of \({\mathbf {S}}_{N,\omega }^{{{\,\mathrm{W}\,}}}\), one can see that \(\Delta (N)\prec N^{-1+\omega }\) with the arbitrary parameter \(\omega \in (0,1)\). However, by the definition of stochastic domination, it means that \(\Delta (N)\prec N^{-1}\), see Remark 3. The numbers \(\Delta (N)\) are plotted in Fig. 4. One can observe that the plot bends in the direction of the line given by \(N^{-1}\), which is still in accordance with the definition of stochastic domination.
The second situation to consider is \(A^{(5)}_N=P_N^{(1)} C^{(5)}Q_N^{(1)}\) with
In this situation, the equation \(1+\xi m_{{{\,\mathrm{W}\,}}}(x)\), with \(\xi ={{\,\mathrm{i}\,}}\), has no solutions in \({\mathbb {C}}\setminus [-2,2]\). However, \(z_0=0\) can be seen as a solution, if we define \(m_{{{\,\mathrm{W}\,}}}(0)\) as \(\lim _{y\downarrow 0} m_{{{\,\mathrm{W}\,}}}(y{{\,\mathrm{i}\,}})=1i\). Hence, the set \(\widetilde{{\mathbf {S}}}^{{{\,\mathrm{W}\,}}}_N\) is a rectangle with an (approximately) half-disc around \(z_0=0\) removed, see Fig. 3. The half-disc has radius of order \(N^{-\frac{1}{2}}\); hence,
converges to zero with the rate \(N^{-\frac{1}{2}}\), which can be seen in Fig. 4.
The last situation to consider is \(A^{(6)}_N=P_N^{(2)} C^{(5)}Q_N^{(2)}\) with
Here, according to Corollary 19 the sets \({\mathbf {S}}^{{{\,\mathrm{W}\,}}}_N\) and \(\widetilde{{\mathbf {S}}}^{{{\,\mathrm{W}\,}}}_N\) coincide. Hence, all the eigenvalues converge to the real axis with the rate \(N^{-1}\), and the same comments concerning \(\omega \) as in the \(C^{(4)}\) case above apply. The plot of \(\Delta (N)\), defined as in (42), can be seen in Fig. 4.
As in Example 18, the plot suggests that the exponent in the convergence rate cannot be improved in the discussed examples.
The log–log plots of \(\Delta (N)\) for \(A_N^{(1)}\) (red circle), \(A_N^{(5)}\) (blue cross) and \(A_N^{(6)}\) (green star), see Example 20. The plots of \(N^{-1}\) and \(N^{-1/2}\) are marked with black lines for reference (Color figure online)
The next corollary will concern the class of port Hamiltonian matrices, i.e. matrices of the form \(A-Z\), where \(A=-A^*\) and Z is positive definite. This class has recently gathered some interest [44, 45] due to its role in mathematical modelling. Clearly, the spectrum of \(A-Z\) lies in the closed left half-plane. We will consider below the case where \(A=C\oplus 0_{N-n,N-n}\) is a nonrandom matrix with n fixed and \(Z=Y^*Y\) is the random sample covariance matrix. For the sake of simplicity, we will take a square random sample covariance matrix (\(N=M\)).
Corollary 21
Let \(Z_N=Y_N^*Y_N\in {\mathbb {C}}^{N\times N}\) be a random sample covariance matrix from Example 8 with \(M=N\). Let \(n>0\) be fixed, and let \(A_N=C\oplus 0_{N-n,N-n}\), where \(C\in {\mathbb {C}}^{n\times n}\) is a skew-symmetric matrix \(C=-C^*\) with nonzero eigenvalues \({{\,\mathrm{i}\,}}t_j\) with algebraic multiplicities, respectively, \(k_j\) \((j=1,\dots r,\ k_1+\dots +k_r=n)\). Let
Then, for any \(j=1,2,\dots ,r\), the \(k_j\) eigenvalues \(\lambda _{j,1},\lambda _{j,2},\dots ,\lambda _{j,k_j}\) of \(A_N-Z_N\) converge in probability to \(z_j\) as
where \(l\in \{1,2,\dots ,k_j\}\).
Proof
Consider the matrix \(Z_N-A_N\). As \({{\,\mathrm{i}\,}}C\) is Hermitian, the matrix \(D=-C\) from Theorem 16 does not have any Jordan chains longer than one. Note that \(-z_j\) is the solution of \(1+{{\,\mathrm{i}\,}}t_jm_1(z)=0\). The claim follows now directly from Theorem 16. \(\square \)
5 Random Matrix Pencils and H-Selfadjoint Random Matrices
In this section, we will employ the setting of random matrix pencils. The theory is aimed on localisation of the spectrum of the products of matrices \(H_NX_N\). Although the linear pencil appears only in the proof of the main result (Theorem 22), its role here is crucial. In what follows, \(H_N\) is a nonrandom diagonal matrix
and \(X_N\) is a generalised Wigner or random sample covariance matrix. To prove a limit law for the resolvent, we need \(n_N\) to be a slowly increasing sequence, while to count the number of eigenvalues converging to their limits, we need \(n_N\) to be constant. Note that unlike in the case of perturbations \(X_N+A_N\) considered in Theorem 16, we do not need to localise the spectrum near the real line, as the spectrum of \(X_N\) is symmetric with respect to the real line and contains at most \(n_N\) points in the upper half-plane, see, for example, [28]. The following theorem explains the behaviour of all nonreal eigenvalues of \(H_NX_N\). It covers the results on locating the nonreal eigenvalues of \(H_NX_N\) of [49] and [59], where the case \(n_N=1\) was considered. In addition, the convergence rate and formula for the resolvent are obtained.
Theorem 22
Let \(n_N \le \log N\) be a sequence of nonrandom natural numbers, and let
where \((c_j)_j\) is a negative sequence such that the sequence \((c_j^{-1})_j\) is bounded. We also assume that
-
(a1.3)
\(X_N\) is either a Wigner matrix from Example 7 or a random sample covariance matrix from Example 8, so that the resolvent of \(X_N-zI_N\) has a limit law \(m_{\star }(z) I_N\) on the compact set \({\mathbf {T}}\) with the rate \(\Psi ^{\star }_N(z)\), where \(\star \in \left\{ {{\,\mathrm{W}\,}},{{\,\mathrm{MP}\,}}\right\} \), respectively.
Then, with high probability, the eigenvalues of the matrix \(H_NX_N\) are outside the set
where \(\beta<\alpha <\frac{1}{2}\). Furthermore, the resolvent of \(H_NX_N-zI_N\) has a limit law on \(\widetilde{{\mathbf {T}}}_N\)
with
and the rate \(n_N N^{\alpha }\Psi _N^{\star }(z)\).
If, additionally, \(n_N=n\) is constant and if \(k_j\) denotes the number of repetitions of \(c_j\) in the sequence \(c_1,\dots ,c_n\) and if, using the notation of Example 8,
then, for any \(j=1,2,\dots ,n\), there are exactly \(k_j\) eigenvalues \( \lambda _{1}^N,\dots ,\lambda _{k_j}^N\) of \(H_NX_N\) converging to \(z_j\) in probability as
Proof
First, note that for \(z\in {\mathbf {T}}\), we have
where
Note that, by (17) and (22), the polynomials \(X_N(z)=X_N-zI_N\), \(A_N(z)=zP_NC_NQ_N\) satisfy the assumptions of Theorem 11 with any \(\alpha <\frac{1}{2}\).
Hence, the resolvent of \(H_N(X_N-zI_N+zP_NC_NQ_N)\) has a limit law
on the set \(\widetilde{{\mathbf {T}}}_N\) with \(\beta<\alpha <\frac{1}{2}\). The rate of this convergence is \(n_N N^{\alpha }\Psi _N^{\star }(z)\), due to the fact that \(H_N^{-1}\) is a diagonal matrix with bounded entries. Finally, note that \(n_N N^{\alpha }\Psi ^x_N(z)\) converges to zero pointwise in z.
Now, let us prove the statement concerning the eigenvalues. By (44), the eigenvalues of \(H_NX_N\) are the eigenvalues of the linear pencil \(X_N-zI_N+zP_NC_NQ_N\). Define K(z) as in Theorems 11 and 14:
As the matrix C is diagonal, we have that \(\det K(z)=0\) is equivalent to
for some \( j\in \left\{ 1,\dots n\right\} \). Consequently, the points \(z_j\), \(j=1,\dots , n\) are precisely the zeros of \(\det K(z)\).
If \(X_N\) is a Wigner matrix, then using the well-known equality
it is easy to show that equation (45) has for each \(j=1,\dots n\) two complex solutions
let \(z_j=z_j^-\). If \(X_N\) is a random sample covariance matrix, then direct computations give the formula for \(z_j\). By Theorem 14, for each \(z_j\), there are \(k_j\) eigenvalues of \(X_N\) converging to \(z_j\) as
with some \(\alpha >0\). By the first part of the theorem, with high probability, the eigenvalues of \(H_NX_N\) are outside the set
where \(\beta '<\beta <\frac{1}{2}\). Hence, \(\alpha \) in (47) can be chosen as arbitrary \(\beta '<\frac{1}{2}\). Hence, by the definition of stochastic domination (see Definition 2), equation (47) holds with \(\alpha =\frac{1}{2}\) as well. \(\square \)
Remark 23
Let us note two facts about the formula for \(z_j\) in Theorem 22.
In the Wigner matrix case, the point \(z_j\) is in the upper half-plane and its complex conjugate is also a limit point of \(k_j\) eigenvalues of \(H_NX_N\) due to the symmetry of spectrum of \(H_NX_N\) with respect to the real line.
Further, in the random sample covariance matrix case it holds that \(z_j<0\). Further, if the underlying matrix is a square matrix, then the formula simplifies to
Example 24
Let us consider \(H={{\,\mathrm{diag}\,}}(-1,-2,-2,1,1,\dots ,1)\in {\mathbb {C}}^{N\times N}\). The spectrum of the matrix \(X_N=H_NW_N\) is symmetric to the real line, and there are three pairs of eigenvalues which do not lie on the real line. The rest of the spectrum is real. By Theorem 22, the resolvent of \(X_N\) converges in probability to
Moreover, one eigenvalue of \(X_N\) converges in probability to \(z_1=\frac{\sqrt{2}}{2}{{\,\mathrm{i}\,}}\) and two eigenvalues converge in probability to \(z_2=\frac{2\sqrt{3}}{3}{{\,\mathrm{i}\,}}\).
We conclude the section with a different type of a random pencil.
Remark 25
We recall the method of detecting damped oscillations in a noisy signal via Padé approximations of the Z-transform of the signal, proposed in [5]. The method has found several practical applications [12, 30, 47, 52], and its numerical analysis can be found in [5]. Here, finding the limit law (if it exists) for the resolvent of the pencil \(zU_0-U_1\), where
![](http://media.springernature.com/lw394/springer-static/image/art%3A10.1007%2Fs10959-020-01048-3/MediaObjects/10959_2020_1048_Equ146_HTML.png)
and \(s=s_0,\dots s_{2n-1}\) is a white noise, would substantially contribute to the signal analysis, via Theorem 11, see [2, 3] for details. The spectral properties of Hankel matrices were studied, e.g. in [19]. The investigation of the pencil \(zU_0-U_1\) is left for subsequent papers.
6 Analysis of Some Random Quadratic Matrix Polynomials
In the present section, we will consider the spectra of matrix polynomials of the form
where \( X_N\) is either a Wigner or a random sample covariance matrix and \(u_N\) is some deterministic vector and p(z) and q(z) are some (scalar-valued) polynomials and polynomials of type
where \(C_n,D_n\in {\mathbb {C}}^{n\times n}\) are diagonal deterministic matrices. This we see as a step forward in a systematic study of polynomials with random entries. The problem of localising the spectrum of (48) is a clear extension of the usual perturbation problem for random matrices, see, for example, [11, 16, 20, 26, 31, 40, 41, 46, 51, 55]. Indeed, the latter problem can be seen as studying the pencil \(X_N- zI_N + u_N u_N^*\). In Example 27, we will demonstrate an essential difference between these two problems. The general case, i.e. following the setting of Theorem 11, is as yet unclear and requires developing new methods for estimating the expression \(\left\| K(z)^{-1}\right\| _2\) appearing therein.
Note that matrix polynomials of type \(A- p(z)I_N + q(z)u u^*\) (\(A\in {\mathbb {C}}^{n\times n}\), \(u\in {\mathbb {C}}^n\)) appear in many practical problems connected with modelling, cf. [6].
Theorem 26
Let
be deterministic matrix polynomials, where \(u_N\in {\mathbb {C}}^{N}\), \(N=1,2,\dots \). Let \(X_N(z)=X_N- p(z) I_N \in {\mathbb {C}}^{N\times N}[z]\) be a random matrix polynomial, and let neither p(z) nor q(z) depend on N. We assume that
-
(a1.2)
\(X_N\) is either a Wigner matrix from Example 7 or a random sample covariance matrix from Example 8, so that the resolvent of \(X_N\) has a local limit law \(m_{\star }(z) I_N\) on the family of sets \({\mathbf {S}}^{\star }_{N,\omega }\) with the rate \(\Psi ^{\star }_N(z)\), where \(\star \in \left\{ {{\,\mathrm{W}\,}},{{\,\mathrm{MP}\,}}\right\} \), respectively, and let \({\mathbf {T}}\) be a compact set that does not intersect the real line.
-
(a2.3)
p(z) and q(z) are fixed nonzero polynomials,
-
(a4.3)
\(u_N\) is a deterministic vector of norm one, having at most n nonzero entries, where n is fixed and independent from N.
Then, the eigenvalues of \(X_N(z)+A_N(z)\) are with high probability outside the set
and
where \(\beta<\alpha <\frac{1}{2}\). The resolvent of the polynomial \(X_N(z)+A_N(z)\) has on \(\widetilde{{\mathbf {S}}}^{\star }_{N,\omega }\) and \(\widetilde{{\mathbf {T}}}_N\) the following limit law
with the rates
respectively.
Furthermore, for each solution \(z_0\) with \(p(z_0)\in {\mathbb {C}}\setminus {\mathbb {R}}\) of the equation \(m_{\star }(p(z))+q(z)^{-1}=0\) there exist eigenvalues \(\lambda ^N_j\), \(j=1,\dots ,k\), where \(k\ge 1\), of \(X_N(z)\) converging to \(z_0\) as
Proof
For the proof, we note that the assumptions of Theorem 11 are satisfied, \(X_N(z)\) has a limit law \(m_{\star }(p(z))I_N\) and that
and so the first part of the claim follows directly.
The statement concerning the convergence of eigenvalues follows from Theorem 14 and from the form of the set \(\widetilde{{\mathbf {T}}}_N\), cf. the proofs of Theorems 16 and 22. \(\square \)
Example 27
We present an example showing how the techniques above may be useful in localising eigenvalues of second-order matrix polynomials. Consider a particular matrix polynomial (48):
where \(W_N\) is the real Wigner matrix. Note that a similar matrix can be found in [6] as Problem acoustic_wave_1d (after substitution \(z=\frac{\lambda }{N}\)), but with the Wigner matrix replaced by
The matrix polynomial in (50) is real and symmetric; hence, its spectrum is symmetric with respect to the real line. Let us note that the spectrum is a priori not localised on the real and imaginary axis, for small N, we can have eigenvalues with relatively large both real and imaginary parts. However, these eigenvalues will converge to the real and imaginary axis as N grows. To see this, first note that the sets \({\tilde{S}}^W_{N,\omega } \subset p^{-1}(S^W_{N,\omega })\) are contained in the first and third quadrant of the plane. However, due to the symmetry of the spectrum, we may extend the set to
which lies in all four quadrants of the complex plane. The spectrum of \(P(\lambda )\) is located with high probability in the complement of the set (51). A sample set (51) is plotted in Fig. 5. Note that the complement of (51) contains both the real and the imaginary axis with some neighbourhood, which is not clearly seen in the picture. Hence, for large N, the spectrum is either (approximately) on the real or imaginary axis. Furthermore, the real spectrum concentrates on \( p^{-1}([-2,2])=\left[ -\frac{1}{\pi },\frac{1}{\pi }\right] \) and there is also one real eigenvalue (near \(z=0.5\)), which converges to a real solution of
(We extend the function \(m_{{{\,\mathrm{W}\,}}}(z)\) onto the real line as \(m_{{{\,\mathrm{W}\,}}}(x)=\lim _{y\downarrow 0}m(x+{{\,\mathrm{i}\,}}y)\), similarly for the matrix \(A^{(5)}\) in Example 20.)
Due to its role in applications, computation of spectra of quadratic polynomials is currently an important task, see, for example, [6, 36, 39, 50, 57]. The usual procedure is a linearisation (see [35, 37]), which, however, has some limitations [27]. Above we obtained a family of matrix polynomials (i.e. one coefficient is a random matrix) for which we are able to control the real part of the nonreal eigenvalues. This property can be useful, e.g. in testing particular numerical algorithms, by plotting maximum of \(|{{\,\mathrm{Re}\,}}\lambda |\), over all nonreal eigenvalues \(\lambda \). If the algorithm works properly, then this quantity should converge to zero as approximately \(N^{-1}\). A preliminary picture in matlab (Fig. 6) of maximum of \(|{{\,\mathrm{Re}\,}}\lambda |\), over all nonreal eigenvalues \(\lambda \), does not reveal any numerical anomalies for \(N\le 10^3\), and the upper bound of order \(N^{-1}\) is visible.
Maximum of \(|{{\,\mathrm{Re}\,}}\lambda |\), over all nonreal eigenvalues \(\lambda \) of the polynomial (50)
We present yet another possible application of the main results. Again, investigating this particular polynomial is motivated by examples from [6].
Theorem 28
Let
be deterministic matrix polynomials, where \(n\ge 1\) and \(c_1,\dots ,c_n,d_1,\dots ,d_n\in {\mathbb {C}}\) are fixed. Let \(X_N(z)=z^2I+zX_N \in {\mathbb {C}}^{N\times N}[z]\) be a random matrix polynomial. We assume that
-
(a1.4)
\(X_N\) is either a Wigner matrix from Example 7 or a random sample covariance matrix from Example 8, so that the resolvent of \(z^2I_N+zX_N\) has a limit law \(z^{-1}m_{\star }(z) I_N\) on the family of sets \({\mathbf {S}}^{\star }_{N,\omega }\) with the rate \(\Psi ^{\star }_N(z)\), where \(\star \in \left\{ {{\,\mathrm{W}\,}},{{\,\mathrm{MP}\,}}\right\} \), respectively, and let \({\mathbf {T}}\) be a compact set that does not intersect the real line.
-
(a2.4)
\(z^2c_i + d_i\ne 0\) for \(z\in {\mathbf {S}}^{\star }_{N,\omega }\) or \(z\in {\mathbf {T}}\), respectively, \(i=1,\dots ,n\), e.g. \(c_i,d_i>0,\) for \(i=1,\dots ,n\).
Then, the eigenvalues of \( X_N(z)+A_N(z) \) are with high probability outside the set
and
where \(\beta<\alpha <\frac{1}{2}\). The resolvent of the polynomial \(X_N(z)+A_N(z)\) has on \(\widetilde{{\mathbf {S}}}^{\star }_{N,\omega }\) and \(\widetilde{{\mathbf {T}}}_N\) the following limit law
with the rates
respectively.
Furthermore, for each solution \(z_0\) with \(z_0\in {\mathbb {C}}\setminus {\mathbb {R}}\) of the equation \((z^2c_i+d_i)^{-1}+z^{-1}m_{\star }(z) =0\) there exist eigenvalues \(\lambda ^N_j\), \(j=1,\dots ,k\), where \(k\ge 1\), of \(X_N(z)\) converging to \(z_0\) as
Proof
First, note that the resolvent of \(z^2I_N+zX_N\) has indeed the limit law \(z^{-1}m_{\star }(z)I_N\) on the same sets and with the same convergence rate as \(X_N-zI_N\). Now, the proof becomes another application of Theorem 11 with
see Theorem 26 for details. We highlight that the factor \(\left\| M(z)\right\| _2^2\) in the formula for \({\widetilde{\Psi }}(z)\) in Theorem 11 cannot be ignored here. (In previous applications, introducing this factor was not necessary as \(m_{\star }(z)\) is bounded in the upper half-plane.) However, in the current situation we have \(\left\| M_N(z)\right\| _2^2={{\,\mathrm{const}\,}}|z|^{-2}\) in the case \({\mathbf {S}}_N^{\star }\) and \(\left\| M_N(z)\right\| _2^2={{\,\mathrm{const}\,}}\) in the case \({\mathbf {T}}\). \(\square \)
References
Bai, Z.D.: Methodologies in spectral analysis of large-dimensional random matrices, a review. Stat. Sin. 9, 611–677 (1999)
Barone, P.: On the distribution of poles of Padé approximants to the Z-transform of complex Gaussian white noise. J. Approx. Theory 132, 224–240 (2005)
Barone, P.: On the universality of the distribution of the generalized eigenvalues of a pencil of Hankel random matrices. Random Matrices Theory Appl. 2(01), 1250014 (2013)
Batzke, L., Mehl, C., Ran, A.C.M., Rodman, L.: Generic Rank-k Perturbations of Structured Matrices, Operator Theory, Function Spaces, and Applications, pp. 27–48. Springer, Berlin (2016)
Bessis, D., Perotti, L.: Universal analytic properties of noise: introducing the j-matrix formalism. J. Phys. A 42(36), 365202 (2009)
Betcke, T., Higham, N.J., Mehrmann, V., Schröder, C., Tisseur, F.: NLEVP: A Collection of Nonlinear Eigenvalue Problems, The University of Manchester, MIMS EPrint 2011.116 (2011)
Benaych-Georges, F., Guionnet, A., Maïda, M.: Fluctuations of the extreme eigenvalues of finite rank deformations of random matrices. Electron. J. Probab. 16, 1621–1662 (2011)
Benaych-Georges, F., Guionnet, A., Maïda, M.: Large deviations of the extreme eigenvalues of random deformations of matrices. Probab. Theory Relat. Fields 154, 703–51 (2012)
Benaych-Georges, F., Nadakuditi, R.R.: The eigenvalues and eigenvectors of finite, low rank perturbations of large random matrices. Adv. Math. 227, 494–521 (2011)
Benaych-Georges, F.: Exponential bounds for the support convergence in the Single Ring Theorem. J. Funct. Anal. 268, 3492–3507 (2015)
Benaych-Georges, F., Rochet, J.: Outliers in the single ring theorem. Probab. Theory Related Fields 165, 313–363 (2016)
Belkic, D., Belkic, K.: In vivo magnetic resonance spectroscopy by the fast Padé transform. Phys. Med. Biol. 51, 1049–1076 (2006)
Bloemendal, A., Erdös, L., Knowles, A., Yau, H., Yin, J.: Isotropic local laws for sample covariance and generalized Wigner matrices. Electron. J. Probab. 19, 53 (2014)
Bourgade, P., Yau, H.-T., Yin, J.: Local circular law for random matrices. Prob. Theory Relat. Fields 159, 545–595 (2014)
Bordenave, C., Chafaï, D.: Around the circular law. Probab. Surv. 9, 1–89 (2012)
Bordenave, C., Capitaine, M.: Outlier eigenvalues for deformed i.i.d. random matrices. Commun. Pure Appl. Math. 69, 2131–2194 (2016)
Bożejko, M., Wysoczański, J.: New examples of convolutions and noncommutative central limit theorems. Banach Center Publ. 43, 95–103 (1998)
Bożejko, M., Wysoczański, J.: Remarks on \(t\)-transformations of measures and convolutions. Ann. I. H. Poincaré 6, 737–761 (2001)
Bryc, W., Dembo, A., Jiang, T.: Spectral measure of large random Hankel, Markov and Toeplitz matrices. Ann. Probab. 34, 1–38 (2006)
Capitaine, M., Donati-Martin, C., Féral, D.: The largest eigenvalues of finite rank deformation of large Wigner matrices: convergence and nonuniversality of the fluctuations. Ann. Prob. 37, 1–47 (2009)
Capitaine, M., Donati-Martin, C., Féral, D., Février, M.: Free convolution with a semicircular distribution and eigenvalues of spiked deformations of Wigner matrices. Electron. J. Probab. 16, 1750–1792 (2011)
De Terán, F., Dopico, F.M.: Low rank perturbation of Kronecker structures without full rank. SIAM J. Matrix Anal. Appl. 29, 496–529 (2007)
De Terán, F., Dopico, F.M.: Low rank perturbation of regular matrix polynomials. Linear Algebra Appl. 430, 579–586 (2009)
Erdös, L., Knowles, A., Yau, H-T., Yin, J.: Spectral statistics of Erdös–Rényi graphs I: local semicircle law. Ann. Prob. 41(3B), 2279-2375
Erdös, L., Yau, H.-T., Yin, J.: Rigidity of eigenvalues of generalized Wigner matrices. Adv. Math. 229(3), 1435–1515 (2012)
Féral, D., Péché, S.: The largest eigenvalue of rank one deformation of large Wigner matrices. Commun. Math. Phys. 272, 185–228 (2007)
Higham, N.J., Mackey, D.S., Tissueur, F., Garvey, S.D.: Scaling, sensitivity and stability in the numerical solution of quadratic eigenvalue problems. Int. J. Numer. Methods Eng. 73, 344–360 (2008)
Gohberg, I., Lancaster, P., Rodman, L.: Indefinite Linear Algebra and Applications. Birkhäuser-Verlag, Berlin (2005)
He, Y., Knowles, A., Rosenthal, R.: Isotropic self-consistent equations for mean-field random matrices. Prob. Theor. Rel. Fields. 171, 203–249 (2018)
Junior, L.S., Franca, I.D.P.: Shocks in financial markets, price expectation, and damped harmonic oscillators, arXiv preprint arXiv:1103.1992 (2011)
Kozhan, R.: Rank one non-hermitian perturbations of Hermitian \(\beta \)-ensembles of random matrices. J. Stat. Phys. 168, 92 (2017)
Knowles, A., Yin, J.: The isotropic semicircle law and deformation of Wigner matrices. Commun. Pure Appl. Math. 66, 1663–1749 (2013)
Knowles, A., Yin, J.: Anisotropic local laws for random matrices. Probab. Theory Relat. Fields 169, 257–352 (2017)
Lancaster, P., Markus, A.S., Zhou, F.: Perturbation theory for analytic matrix functions: the semisimple case. SIAM J. Matrix Anal. Appl. 25, 606–626 (2003)
Mackey, D.S., Mackey, N., Mehl, C., Mehrmann, V.: Structured polynomial eigenvalue problems: Good vibrations from good linearizations. SIAM J. Matrix Anal. Appl. 28, 1029–1051 (2006)
Mackey, D.S., Mackey, N., Mehl, C., Mehrmann, V.: Palindromic polynomial eigenvalue problems: good vibrations from good linearizations. MIMS EPrint 38, 2006 (2006)
Mackey, D.S., Mackey, N., Tisseur, F.: Polynomial eigenvalue problems: theory, computation, and structure. In: Benner, P., et al. (eds.) Numerical Algebra. Matrix Theory, Differential-Algebraic Equations and Control Theory, pp. 319–348. Springer, Basel (2015)
Marchenko, M.A., Pastur, L.A.: Distribution of eigenvalues in some ensembles of random matrices. Mat. Sb. 72(114), 507–536 (1967). [Russian]
Meerbergen, K., Tisseur, F.: The quadratic eigenvalue problem. SIAM Rev. 43, 235–286 (2001)
Mehl, C., Mehrmann, V., Ran, A.C.M., Rodman, L.: Eigenvalue perturbation theory of classes of structured matrices under generic structured rank one perturbations. Linear Algebra Appl. 425, 687–716 (2011)
Mehl, C., Mehrmann, V., Ran, A.C.M., Rodman, L.: Perturbation theory of selfadjoint matrices and sign characteristics under generic structured rank one perturbations. Linear Algebra Appl. 436, 4027–4042 (2012)
Mehl, C., Mehrmann, V., Ran, A.C.M., Rodman, L.: Jordan forms of real and complex symmetric matrices under rank one perturbations Oper. Matrices 7, 381–398 (2013)
Mehl, C., Mehrmann, V., Ran, A.C.M., Rodman, L.: Eigenvalue perturbation theory for symplectic, orthogonal, and unitary matrices under generic structured rank one perturbations. BIT 54, 219–255 (2014)
Mehl, C., Mehrmann, V., Sharma, P.: Stability radii for linear Hamiltonian systems with dissipation under structure-preserving perturbations. SIAM J. Matrix Anal. Appl. 37, 1625–1654 (2016)
Mehl, C., Mehrmann, V., Sharma, P.: Stability radii for real linear Hamiltonian systems with perturbed dissipation. BIT Numer. Math. 57(3), 811–843 (2017)
Mehl, C., Mehrmann, V., Wojtylak, M.: Parameter Dependent Rank-One Perturbations of Singular Hermitian or Symmetric Pencils. SIAM J. Matrix Anal. Appl. 38, 72–95 (2017)
Ming-Chya, Wu: Damped oscillations in the ratios of stock market indices. EPL (Europhys. Lett.) 97, 48009 (2012)
Moro, J., Dopico, F.M.: First order eigenvalue perturbation theory and the Newton diagram, in: Z. Drmac et al. (Ed.), Applied Mathematics and Scientific Computing. In: Proceedings of the Second Conference on Applied Mathematics and Scientific Computing, held in June 4th–9th 2001 in Dubrovnik, Croatia, Kluwer Academic Publishers, pp. 143–175 (2002)
Pagacz, P., Wojtylak, M.: On spectral properties of a class of H-selfadjoint random matrices and the underlying combinatorics. Electron. Commun. Probab. 19(7), 1–14 (2014)
Peters, H., Kessissoglou, N., Marburg, S.: Modal decomposition of exterior acoustic-structure interaction. J. Acoust. Soc. Am. 133, 2668–2677 (2013)
Pizzo, A., Renfrew, D., Soshnikov, A.: On finite rank deformations of Wigner matrices. Ann. Inst. Henri Poincaré Probab. Stat. 49, 64–94 (2013)
Perotti, L., Regimbau, T., Vrinceanu, D., Bessis, D.: Identification of gravitational-wave bursts in high noise using Padé filtering. Phys. Rev. D 90, 124047 (2014)
Rajan, K., Abbot, L.F.: Eigenvalue spectra of random matrices for neural networks. Phys. Rev. Lett. 97(18), 188104 (2006)
Rochet, J.: Complex outliers of Hermitian random matrices. J. Theor. Probab. 30, 1624–1654 (2017)
Tao, T.: Outliers in the spectrum of i.i.d. matrices with bounded rank perturbations. Probab. Theory Related Fields 155, 231–263 (2013)
Tao, T.: Topics in Random Matrix Theory, vol. 132. American Mathematical Society, Providence (2012)
Tisseur, F., Higham, N.J.: Structured pseudospectra for polynomial eigenvalue problems, with applications. SIAM J. Matrix Anal. Appl. 23, 1625–1654 (2006)
Wigner, E.P.: Characteristic vectors of bordered matrices with infinite dimensions. Ann. Math. 62, 548–564 (1955)
Wojtylak, M.: On a class of \(H\)-selfadjoint random matrices with one eignvalue of nonpositive type. Electron. Commun. Probab. 17, 1–14 (2012)
Acknowledgements
The authors are indebted to Antti Knowles and Volker Mehrmann for inspiring discussions and helpful remarks. The referee’s remarks led to an essentially improved version of the manuscript, for which we express our gratitude.
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
MW acknowledges the financial support by the NCN (National Science Center) Grant, decision No. DEC-2013/11/B/ST1/03613.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Pagacz, P., Wojtylak, M. Random Perturbations of Matrix Polynomials. J Theor Probab 35, 52–88 (2022). https://doi.org/10.1007/s10959-020-01048-3
Received:
Revised:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10959-020-01048-3