Abstract
An efficient method for construction of J-unitary matrix polynomials is proposed, associated with companion matrix functions the last row of which is a polynomial in 1/t. The method relies on Wiener-Hopf factorization theory and stems from recently developed J-spectral factorization algorithm for certain Hermitian matrix functions.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
Introduction
Matrix spectral factorization method developed in [3, 7, 8] reveals important properties of unitary matrix functions of the following special structure:
which play a crucial role in the method. Here, \(\mathcal {P}_N^+:=\{\sum _{k=0}^N\alpha _kt^k:\alpha _k\in \mathbb {C}\}\) is the set of polynomials of degree \(\le N\). The matrix functions (1.1) we consider are unitary on the unit circle \(\mathbb {T}:=\{t\in \mathbb {C}: |t|=1\}\),
and they have the determinant equal to 1,
It turns out that these matrices are closely related to the so-called wavelet matrices [9], and complete parameterization of such matrices in terms of coordinates in the Euclidian space \(\mathbb {C}^{(m-1)N}\) is given in [2]. In particular, it is proved in [2] that there is one-to-one correspondence between the unitary matrix functions (1.1) satisfying (1.2),
and
and companion matrix functions
where \(\mathcal {P}_N^-:=\{\sum _{k=1}^N\alpha _kt^{-k}:\alpha _k\in \mathbb {C}\}\). This bijective correspondence is reflected in the fact that
is the first factor in the right Wiener-Hopf factorization of (1.1). Namely,
where \(\Phi ^+\in (\mathcal {P}_N^+)^{m\times m}\), i.e., the entries of \(m\times m\) matrix \(\Phi ^+\) are from \(\mathcal {P}_N^+\).
It is explicitly described in [2] how to construct U(t) for the given matrix function (1.5) and how to construct F(t) for the given unitary matrix function (1.1). If we multiply the last row of (1.1) by \(t^N\), we get a unitary (for \(|z|=1\)) matrix polynomial
of rank m, order N, and degree N. Since
where \(\widetilde{\mathbf {A}}(z)=\sum _{k=0}^N A_k^*z^{-k}\), the polynomial \(\det \mathbf {A}(z)\) is the monomial \(cz^d\), where \(|c|=1\), and d is called the degree of A. Since we have a natural bijection
the abovementioned one-to-one map \(F(t) \longleftrightarrow U(t)\) parametrizes also the class of unitary matrix polynomials (1.7) such that \(\det \mathbf {A}(z)=z^N\), \(A(1)=I_m\), and at least one entry in the last row of \(A_N\) does not vanish.
In [4], the first steps have been made towards the generalization of the abovementioned matrix spectral factorization method to the J-spectral factorization of Hermitian matrices. This generalization is achieved by observing that J-unitary matrix functions of structure (1.1) play a similar important role in the proposed J-spectral factorization method.
Throughout the paper, J is a diagonal matrix
where each \(j_k\) is either positive or negative 1 (without loss of generality, we assume that \(j_m\) is always equal to 1). A matrix U is called J-unitary if \(UJU^*=J\), and a matrix function U(t) is called J-unitary if
In the present paper, we prove the following:
Theorem 1.1
For any matrix function F(t) of the form (1.5), there exists (generically) a J-unitary matrix function U(t) of the form (1.1), satisfying (1.2), and such that
holds. The matrix function U(t) satisfies (1.4) and it is unique if we require in addition (1.3).
Conversely, for each J-unitary matrix function U(t) of the form (1.1) which satisfies (1.2) and (1.4), there exists a unique matrix function F(t) of the form (1.5) such that (1.11) holds.
The explicit algorithms which construct U(t) from F(t) and F(t) from U(t) are described in the following sections, where the exact meaning of the word “generic” used in the theorem is also specified.
Due to the one-to-one correspondence (1.9), Theorem 1.1 gives a description of the class of J-unitary matrix polynomials (1.7) in terms of the coordinates of the Euclidian space \(\mathbb {C}^{(m-1)N}\). Such description can be used to apply convex optimization methods for searching specific J-unitary matrix polynomials with additional properties required, e.g., for construction of quasi-tight framelets [1].
Notation and Preliminary Observations
For a matrix \(A=[A_{ij}]\), its transpose is denoted by \(A^T\) and \(A^*=\overline{A}^T=[\overline{A_{ji}}]\) stands for the Hermitian conjugate.
The set of J-unitary matrices, \(\mathcal {U}_J\) (defined in the “Introduction”) is a group. Furthermore, \(U\in \mathcal {U}_J \Longrightarrow U^T\in \mathcal {U}_J\), since \(AJB=J \Longrightarrow BJA=J\). Indeed, \(AJB=J \Longrightarrow BJAJB=B \Longrightarrow BJA=J\). Note that \(\mathcal {U}_J=\mathcal {U}_{-J}\), which is the reason why we can assume without loss of generality that \(j_m=1\) in (1.10). Obviously, every diagonal matrix D with unimodular diagonal entries belongs to \(\mathcal {U}_J\). Also, every permutation matrix \(\mathbb {P}\) belongs to \(\mathcal {U}_J\),
If A is a square matrix (function), then \(\mathrm{Cof}(A)\) denotes the cofactor matrix of A (so that \(A^{-1}=\frac{1}{\det (A)} \mathrm{Cof}(A)^T\) for non-singular matrices) and \(\mathrm{cof} A_{ij}\) denotes the cofactor of \(A_{ij}\) in the matrix A, i.e., \(\mathrm{cof} A_{ij}=( \mathrm{Cof} A)_{ij}\).
Let \(\mathbb {T}\) be the unit circle in the complex plane and \(\mathbb {T}_+=\{z\in \mathbb {C}:|z|<1\}\), \(\mathbb {T}_-=\{z\in \mathbb {C}:|z|>1\}\cup \{\infty \}\).We assign the variable t as an argument to functions with domain \(\mathbb {T}\), and the variable z to functions with domain \(\mathbb {C}\) (or \(\mathbb {C}\backslash \{0\}\)). Slightly abusing the notation, we denote by f(t) not only the value of function f at t, but the function itself (with corresponding domain). The exact meaning of the notation will be clear from the context. Also let \(A_{ij}^c\) be the submatrix of A obtained by deleting its ith row and jth column.
For a set \(\mathcal {S}\), let \(\mathcal {S}^{m\times m}\) stand for the set of \(m\times m\) matrices with entries in \(\mathcal {S}\).
The set of Laurent polynomials with complex coefficients is denoted by \(\mathcal {P}\). We consider the following subsets of \(\mathcal {P}\): for \(M,N\ge 0\), let \(\mathcal {P}_{\{-M,N\}}:=\{\sum _{k=-M}^N \alpha _k z^k:\alpha _k\in \mathbb {C}\}\); for \(N\ge 1\), \(\mathcal {P}_N:=\mathcal {P}_{\{-N,N\}}\); \(\mathcal {P}_N^+:=\mathcal {P}_{\{0,N\}}\); \(\mathcal {P}_N^-:=\mathcal {P}_{\{-N,-1\}}\); \(\mathcal {P}_{N,0}^-:=\mathcal {P}_{\{-N,0\}}\); \(\mathcal {P}^+:=\cup _{N\ge 1}\mathcal {P}_N^+\), \(\mathcal {P}^-:=\cup _{N\ge 1}\mathcal {P}_N^-\), \(\mathcal {P}^-_0:=\cup _{N\ge 1}\mathcal {P}_{\{N,0\}}^-\). Note that \(\mathcal {P}_N^+\cap \mathcal {P}_N^-=\{0\}\) according to our notation.
For \(p(z)=\sum _{k=-M}^N \alpha _kz^k \in \mathcal {P}_{\{-M,N\}}\), let
Note that \(\widetilde{p}(z)=\overline{p(z)}\) for \(z\in \mathbb {T}\). If
then
Note that \(\widetilde{P}(z)={P^*(z)}\) for \(z\in \mathbb {T}\). Furthermore, \(\widetilde{PQ}=\widetilde{Q}\widetilde{P}\) and if \(P^{-1}(z)\in (\mathcal {P}_{\{-M,N\}})^{m\times m}\), then \((\widetilde{P}(z))^{-1}=\widetilde{P^{-1}}(z)\).
The matrix J was defined in the “Introduction” (see (1.10)). A matrix polynomial \(\mathbf {U}(z)\in (\mathcal {P}^+_N)^{m\times m}\) is called J-unitary if
For
condition (2.2) can be as well expressed in terms of the coefficients:
where \(\delta\) stands for the Kronecker delta.
If \(A_N\not =0\) in (2.3), then we say that the order of A is equal to N.
Note that (2.2) implies that \(\det \mathbf {A}(z)=cz^d\), \(|c|=1\), for some integer d. The latter is called the degree of the J-unitary matrix.
Lemma 2.1
(cf.[2], Lemma 1) If (2.3) is a J-unitary matrix polynomial of order N and degree d, then:
-
a)
\(d\ge N\);
-
b)
\(d=N\) if and only if \(\mathrm{rank}(A_0)=m-1\).
Proof
Due to (2.2), we have
Therefore,
Since \(J\, \big ( \mathrm{Cof} {\mathbf {A}}(z)\big )^TJ\in (\mathcal {P}^+)^{m\times m}\) and \(A_N^*\not =0\) the relation (a) follows.
In order to prove (b), note that \(\mathrm{rank} A_0\not =m\) since \(A_0(JA_N^*)=0\) due to (2.4) for \(n=N\). In addition, we have \(rank\left(A_0\right)<m-1\Leftrightarrow\mathrm{Cof}\left({\mathrm A}_0\right)=\mathbf0\) and \(\mathrm{Cof}\mathbf {A}(z)|_{z=0}= \mathrm{Cof}(A_0)\). Therefore, it follows from (2.5) that \(rank\left(A_0\right)<m-1\) is equivalent to \(d>N\). Hence, (b) follows.
The class of J-unitary matrix polynomials (2.3) which have the order and the degree equal to N is denoted by \(\mathcal {A}_J(m,N)\). Since \(\mathbf {A}(z)\in \mathcal {A}_J(m,N)\Longrightarrow \mathbb {P}\mathbf {A}(z)\in \mathcal {A}_J(m,N)\) for any permutation matrix \(\mathbb {P}\) (see (2.1)), and \(A_N\not =\mathbf {0}\), we can rearrange the rows, if necessary, and assume without loss of generality that the last row of \(A_N\) is nonzero. The subclass of functions (2.3) from \(\mathcal {A}_J(m,N)\) for which the last row of \(A_N\) is not 0 will be denoted by \(\mathcal {A}_J^0(m,N)\).
Wiener-Hopf Factorization
In this section, we briefly review some well-known facts from Wiener-Hopf factorization theory which are used in what follows.
Every \(P\in \mathcal {P}^{m\times m}\) without zeros of its determinant and poles of its entries on \(\mathbb {T}\) can be factorized as (see, e.g., [6])
where \(P_\pm \in (\mathcal {P}^\pm )^{m\times m}\) with \(\det P_\pm (z)\not =0\) for \(z\in \mathbb {T}_\pm\) and \(D(z)= \mathrm{diag}(z^{\varkappa _1}, z^{\varkappa _2},\ldots ,z^{\varkappa _m})\) is a diagonal matrix function. The factorization (3.1) is called a left factorization since the analytic in \(\mathbb {T}_+\) factor \(P_+\) stands on the left. The integers \(\varkappa _1, \varkappa _2,\ldots ,\varkappa _m\) are called the (left) partial indices of P and they are determined uniquely if we assume \(\varkappa _1\ge \varkappa _2\ge \ldots \ge \varkappa _m\). If all partial indices are equal to 0, i.e., \(D=I_m\), the factorization has the form
and it is called a canonical factorization. The necessary and sufficient condition for the existence of canonical factorization is that (see, e.g., [6]) \(\det P\) has the winding number equal to 0 and
If \(P\in \mathcal {P}_N^{m\times m}\) has a canonical factorization (3.2), then \(P_+\in (\mathcal {P}^+_N)^{m\times m}\) and \(P_-\in (\mathcal {P}^-_{N,0})^{m\times m}\) (see [5]). If, in addition, P is symmetric \(P(z)=\widetilde{P}(z)\), then its Wiener-Hopf factorization can be represented in J-factorization form (see [10])
and it has a special name: J-spectral factorization. Factorization (3.3) is unique up to a constant right J-unitary factor. Indeed if \(P_+(z)J\widetilde{P_+}(z)= Q_+(z)J\widetilde{Q_+}(z)\), then the continuous (on \(\mathbb {T}\)) function \(Q_+^{-1}(t)P_+(t)=J\widetilde{Q_+}(t)\widetilde{P_+^{-1}}(t)J\) can be extended analytically on \(\mathbb {C}\cup \{\infty \}\) and, therefore, it is constant.
Proof of the Main Result
In this section, we prove Theorem 1.1, which for convenience of exposition is split into two statements.
Theorem 4.1
Let matrix function (1.5) be such that \(F(z)\,J\,\widetilde{F}(z)\) has a left J-spectral factorization
Then there exists a J-unitary matrix function
with the determinant 1,
and such that
Furthermore, this matrix function is unique under the additional restriction (1.3), and the relation (1.4) is also fulfilled.
Remark 4.1
The algorithm for construction of (4.2) will be provided in Section “5.”
Proof
As it was mentioned in Section “3,” the existence of factorization (4.1) is equivalent to the condition that \(F(z)\,J\,\widetilde{F}(z)\) possesses the canonical factorization, and
Since \(|\det \Phi _+(z)|^2=1\) for \(z\in \mathbb {T}\), because of (4.1), \(\det \Phi _+\in \mathcal {P}^+\) and \(\det \Phi _+(z)\not =0\) for \(z\in \mathbb {T}_+\), we have that \(\det \Phi _+(z)= \mathrm{Const}\). Without loss of generality, we can assume that
Suppose
where \(F^{-1}\) is determined by (1.6). Then \(\mathbf {U}\) is J-unitary since
Equation (4.3) follows from (4.7), (1.6) and (4.6).
It follows from Eqs. (1.6) and (4.7) that the first \(m-1\) rows of \(\mathbf {U}\) and \(\Phi _+\) coincide. Therefore, by virtue of (4.5),
It follows from (4.8) and (4.3) that
which, taking into account (4.9), implies that
Since we know from the beginning that (4.7) belongs to \((\mathcal {P}_N)^{m\times m}\), we conclude that
Therefore, matrix (4.7) has the structure (4.2). In particular, due to (4.10),
in matrix (4.2).
The relation (1.3) will be satisfied if we consider the matrix \(\mathbf {U}(z)\mathbf {U}^{-1}(1)\) instead of \(\mathbf {U}(z)\), which does not change the structure of (4.2), and the uniqueness of \(\mathbf {U}\) follows from the uniqueness of J-spectral factorization (4.1).
Because of (4.6), we have
which implies that
However, because of (4.9),
and
since the signs in matrices \(\mathbf {U}\), \(J\mathbf {U}\), and \(J\mathbf {U} J\) can differ only across entire rows and columns. Therefore, by virtue of (4.11), (4.14), (4.13), and (4.12), the relation (1.4) holds.
Theorem 4.2
For any J-unitary matrix function \(\mathbf {U}\) of structure (4.2) which satisfies (4.3) and (1.4), there exists a unique matrix function F of structure (1.5) such that (4.4) holds.
Proof
Because of (1.4), there exists \(n\le m\) such that \(u_{mn}(0)\not =0\). Define functions
where \([\;\cdot \;]^-\) stands for the projection operator:
and \(\frac{1}{u_{mn}(z)}\) is understood as its formal series expansion in a neighborhood of 0. Note that we need only the first \(N+1\) coefficients of this expansion in order to compute (4.15).
Define the matrix function F by (1.5) and let us prove that (4.4) holds. To this end, we need only to check that the entries of the last row of the product \(F\mathbf {U}\),
belong to \(\mathcal {P}^+_N\). Because of the definition (4.15), we know that the functions in (4.16) belong to \(\mathcal {P}_N\). In addition, for \(1\le j\le m\), we have
The latter expression is analytic in a neighborhood of 0 which yields that (4.16) belongs to \(\mathcal {P}_N\cap \mathcal {P}^+=\mathcal {P}^+_N\). Thus, (4.4) holds.
Let us now show the uniqueness of the desired F(z). Suppose
where \(F_1(z)\) has the same form (1.5) with the last row \([\zeta _1'(z),\zeta _2'(z),\ldots ,\zeta _{m-1}'(z),1]\), \(\zeta '_i\in \mathcal {P}^-_N\), \(i=1,2,\ldots , m-1\). Since \(\det \Phi ^+(z)=1\), we have
It follows from (4.17) and (4.18) that
Hence, the last row of the above product \([\zeta _1'-\zeta _1,\zeta _2'-\zeta _2,\ldots ,\zeta _{m-1}'-\zeta _{m-1},1]\in (\mathcal {P}^+)^{1\times m}\), which implies that \(\zeta '_i-\zeta _i=0\), \(i=1,2,\ldots ,m-1\) since these functions belong to \(\mathcal {P}^-_N\) which has a trivial intersection with \(\mathcal {P}^+\).
Remark 4.2
Theorems 4.1 and 4.2 deliver one-to-one correspondence between the matrix functions (1.5) for which J-spectral factorization (4.1) exists and the class \(\mathcal {A}_J^0(m,N)\) defined in the end of Section “2”.
The Algorithm for Constructing J-unitary Matrix Polynomials
In this section, we provide an algorithm for constructing J-unitary matrix function (4.3) for a given matrix function (1.5). Consider the following system of conditions:
where \(\zeta _i\in \mathcal {P}^-_N\), \(i=1,2,\ldots ,m-1\), are the entries of F in (1.5).
Definition 5.1
We say that a vector function
is a solution of (5.1) if and only if all the conditions in (5.1) are satisfied whenever \(x_i=u_k\), \(i=1,2,\ldots ,m\).
Remark 5.1
Note that the set of solutions of (5.1) is a linear subspace of \((\mathcal {P}_N)^{m\times 1}\).
Lemma 5.1
Let
be two (possibly identical) solutions of the system (5.1). Then
Proof
Substituting the functions v in the first \(m-1\) conditions and the functions u in the last condition of (5.1), and then multiplying the first \(m-1\) conditions by u and the last condition by \(v_m\), we get
Subtracting the first \(m-1\) conditions from the last condition in the latter system, we get
We can interchange the roles of u and v in the above discussion to derive in a similar manner that
Consequently, the function in (5.2) belongs to \(\mathcal {P}^+\cap \mathcal {P}^-_0\), which implies (5.2).
We construct m linearly independent solutions of (5.1). Namely, we rewrite (5.1) in equivalent form of a linear system of equations. Let in (5.1)
and
Equating all the coefficients of the non-positive powers of z of the functions in the left-hand side of (5.1) with 0, except for the free term of the qth function which we set equal to 1, we arrive at the following system of algebraic equations in the block matrix form, which we denote by \(\mathbb {S}_q\):
Here the following notation is used:
Determining \(X_i\), \(i=1,2,\ldots ,m-1\), from the first \(m-1\) equations of (5.6),
\(i=1,2,\ldots ,m-1\), and then substituting them in the last equation of (5.6), we get
(it is assumed that the right-hand side is equal to \(\mathbf{1}\) when \(q=m\)) or, equivalently,
(we used \(\Gamma ^*\) in place of \(\overline{\Gamma }\) because \(\Gamma ^T=\Gamma\)). For each \(q=1,2,\ldots ,m\), (5.10) is a linear system of \(N+1\) equations with \(N+1\) unknowns. This system (5.10), and consequently (5.6), has the unique solution for each \(q=1,2,\ldots ,m\) if and only if
where
We will assume that (5.11) holds. Finding \(\overline{X_m}\) from (5.10) and then determining \(X_1,X_2,\ldots ,X_{m-1}\) from (5.8), we get the unique solution of \(\mathbb {S}_q\). To indicate its dependence on q, we denote the solution of \(\mathbb {S}_q\) by \((X_1^q,X_2^q,\ldots ,X_{m-1}^q,X_m^q)\),
so that if we construct a matrix function V,
by letting (see (5.13))
then the columns of (5.14) are solutions of the system (5.1). Hence, due to the last equation in (5.1),
and, by virtue of Lemma 5.1,
where C is a constant Hermitian matrix with signature J.
Let us show also that the determinant of V is constant.
It follows from (1.5) and (5.16) that
Since the columns of (5.14) are solutions of (5.1), the direct computations show that
where \(\psi ^+_{ik}=-\zeta _iv_{mk}+j_i\widetilde{v_{ik}}.\) In addition, due to the choice of the right-hand side vector in (5.6), we have
Since the right-hand side of (5.19) belongs to \((\mathcal {P}^+ )^{m\times m}\), we have
Relations (5.18) and (5.21) imply that \(\det V\in \mathcal {P}^+\cap \mathcal {P}^-_0\). Hence, it is constant:
If we denote the right-hand matrix in (5.19) by \(\Psi ^+\), then it follows from (5.22) that \(\det \Psi ^+(z)= \mathrm{Const}\) and hence
It now follows from (5.20) that
Recall from (5.9)–(5.12) that \(\overline{v_{mm}(0)}\) is the 0th term of the solution of the equation
where \(\mathbf{1}=(1,0,0,\ldots ,0)^T\in \mathbb {C}^{(N+1)\times 1}\), i.e., if the solution of (5.23) is \(X=(x_0,x_1,\ldots ,x_N)^T\), then \(x_0=\overline{v_{mm}(0)}\).
Since \(x_0=\Delta _0/\Delta\), where \(\Delta _0\) is the \(N\times N\) submatrix of \(\Delta\) obtained by deleteing its first row and column,
we get
The following simple example shows that (5.25) does not always hold.
Example
If \(m=2\), \(J=\mathrm{diag}(-1,1)\), and
where \(\alpha\) is a root of the equation \(x^2-3x+1=0\), then \(\det \Delta \not =0\) and \(\det \Delta _0=0\), where \(\Delta\) is defined by (5.12) and \(\Delta _0\) is defined by (5.24). Indeed
and \(\det \Delta _0=\left| \begin{matrix} 2\alpha -1 &{} \alpha \\ \alpha &{}\alpha -1 \end{matrix}\right| =\alpha ^2-3\alpha +1=0\). Note that corresponding to (5.26) matrix function F is
We proceed with the construction of \(\mathbf {U}\) by the algorithm under the additional restriction (5.25), since, as it is proved in Theorem 5.1 below, the desired J-unitary matrix \(\mathbf {U}\) does not otherwise exist.
Suppose
(the matrix \(V^{-1}(1)\) exists since \(V^*(1)JV(1)=C\) and \(|\det C|=|\det V(1)|^2=|c|^2\not =0\) because of (5.25)). Then (5.27) is J-unitary since \(\widetilde{\mathbf {U}}(z)J\mathbf {U}(z)\) is equal to
Of course, (4.4) holds because of (5.16) and (5.27). The structure of the matrix function (5.14) is preserved, and \(\det \mathbf {U}(z)=\det \mathbf {U}(1)=1\), so that (4.3) holds. Thus, \(\mathbf {U}\) is the desired matrix because of the uniqueness of J-spectral factorization presented in Section “3.”
Theorem 5.1
Let F be a matrix function (1.5), and define matrices \(\Gamma _i\) \(i=1,2,\ldots ,m-1\), \(\Delta\), and \(\Delta _0\) according to (5.4), (5.7), (5.12), and (5.24). Suppose \(\det \Delta \not =0\) and \(\det \Delta _0=0\). Then the canonical J-spectral factorization of F, i.e., the representation (4.1), does not exist.
First, we prove the following:
Lemma 5.2
Let F and \(\mathbf {U}\) be as in Theorem 4.1. Then the columns of \(\mathbf {U}\),
are solutions of the system (5.1).
Proof
The last equation in (5.1) holds automatically because of (4.4).
Suppose
where \(\Phi _+\in (\mathcal {P}_N^+)^{m\times m}\). Since \(\mathbf {U}^{-1}(z)=J\widetilde{\mathbf {U}}(z)\,J\) and \(\det \Phi _+(z)=1\), the equation (5.29) implies
Hence,
Writing the left-hand side product in (5.30) explicitly, we get that
belongs to \((\mathcal {P}^+)^{m\times m}\), which shows that (5.28) are solutions of (5.1).
Proof of Theorem 5.1
For the sake of contradiction, let us assume that factorization (4.1) exists. Then, by virtue of Theorem 4.1, there exists (4.2) such that (4.4) holds, and by virtue of Lemma 5.2, the columns (5.28) are the solutions of (5.1). Consequently, for each \(q=1,2,\ldots ,m\), the vectors constructed from the coefficients of \(\mathbf {U}_q=(u_{1q},u_{2q},\ldots ,u_{m-1,\,q},\widetilde{u_{mq}})^T\)
will be solutions of the following system of linear equations (cf. (5.6))
where each \(B_{qi}\) has the form
We can consider \(\mathbb {S}_q\) as \(m(N+1)\times m(N+1)\) linear system of equations (with unknown \(X=(X_1^T, X_2^T,\ldots , X_{m-1}^T, X_m^T)^T\)). It is clear that since \(\Delta X=b\) has a unique solution for each \(b\in \mathbb {C}^{(N+1)\times 1}\), the system \(\mathbb {S}_q\) will also be non-singular. Consequently, since the columns of the matrix (5.14) constructed by the algorithm are solutions of the system (5.1), and the corresponding vectors
(see (5.15)) are solutions of (5.6) with the standard right-hand side vectors, we will have
This implies that \(\mathbf {U}(z)=V(z)B\) for some \(B\in \mathbb {C}^{m\times m}\) which is impossible since \(\det \mathbf {U}(z)=1\) and \(\det V(z)=0\). We arrive at a contradiction.
Remark 5.2
It is natural to ask if the condition (5.11) is necessary for the existence of J-spectral factorization (4.1). Presently, we do not know the answer.
References
C. Diao and B. Han, Generalized matrix spectral factorization and quasi-tight framelets with a minimum number of generators, Math. Comp. 89 (2020), no. 326, 2867–2911.
L. Ephremidze and E. Lagvilava, On compact wavelet matrices of rank\(m\)and of order and degree\(N\), J. Fourier Anal. Appl. 20 (2014), no. 2, 401–420.
L. Ephremidze, F. Saied, and I. Spitkovsky, On the algorithmization of Janashia-Lagvilava matrix spectral factorization method, IEEE Trans. Inform. Theory 64 (2018), no. 2, 728–737.
L. Ephremidze and I. Spitkovsky, An algorithm for J-spectral factorization of certain matrix functions, IEEE CDC2021, 60th Conference on Decision and Control.
L. Ephremidze and I. Spitkovsky, A remark on a polynomial matrix factorization theorem, Georgian Math. J. 19 (2012), 489–495.
I. Gohberg, M. A. Kaashoek, and I. M. Spitkovsky, An overview of matrix factorization theory and operator applications, Factorization and Integrable Systems (Basel), Birkhäuser Basel, 2003, pp. 1–102.
G. Janashia and E. Lagvilava, A method of approximate factorization of positive definite matrix functions, Studia Math. 137 (1999), no. 1, 93–100.
G. Janashia, E. Lagvilava, and L. Ephremidze, A new method of matrix spectral factorization, IEEE Trans. Inform. Theory 57 (2011), no. 4, 2318–2326.
G. Janashia, E. Lagvilava, and L. Ephremidze, Matrix spectral factorization and wavelets, J. Math. Sci. (N.Y.) 195 (2013), no. 4, 445–454, Translated from Sovrem. Mat. Prilozh., Vol. 83, 2012. MR 3207131
A. M. Nikolaichuk and I. Spitkovskii, The factorization of hermitian matrix functions and its applications to boundary-value problems, Ukrainian Mathematical Journal 27 (1975), 629–639.
Funding
The first and the third authors were partially supported by Faculty Research funding from the Division of Science and Mathematics, NYUAD and H2020-MSCA-RISE-2020 grant ID: 101008140.
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.
In memory of Nikolai Karapetiants, an outstanding mathematician and a noble person, on the 80th anniversary of his birthday.
Rights and permissions
Springer Nature or its licensor holds exclusive rights to this article under a publishing agreement with the author(s) or other rightsholder(s); author self-archiving of the accepted manuscript version of this article is solely governed by the terms of such publishing agreement and applicable law.
About this article
Cite this article
Ephremidze, L., Saatashvili, A. & Spitkovsky, I.M. ON J-UNITARY MATRIX POLYNOMIALS. J Math Sci 266, 196–209 (2022). https://doi.org/10.1007/s10958-022-05878-w
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10958-022-05878-w