336 6. Theory and Application of Mixed Polynomial Matrices
where ord
s
denotes the minimum degree of a nonzero term in a polynomial
in s. Since o
k
(A) is equal to −δ
k
(B)forB(s)=A(1/s), all the results for
δ
k
(A) can be translated to those for o
k
(A). For instance, (6.10) yields
o
k−1
(A)+o
k+1
(A) ≥ 2o
k
(A)(1≤ k ≤ r − 1),
where o
0
(A)=0andr =rankA. 2
6.2.2 Graph-theoretic Method
Let us start with a graph-theoretic characterization of δ
k
(A) for a polynomial
matrix A(s). We consider a bipartite graph G(A)=(R, C; E), where R =
Row(A), C = Col(A), and E = {(i, j) | i ∈ R, j ∈ C, A
ij
(s) =0}.Toarc
(i, j) ∈ E is attached a weight w
ij
= deg
s
A
ij
(s), and the weight of M ⊆ E
is defined by w(M )=
(i,j)∈M
w
ij
. The weighted matching problem treated
in §2.2.5 is closely related to δ
k
(A).
Theorem 6.2.2. Let A(s) be a polynomial matrix.
(1) δ
k
(A) ≤ max{w(M) | M: k-matching in G(A)},
where the right-hand side is equal to −∞ if no k-matching exists.
(2) The equality holds if A(s) is a generic polynomial matrix, i.e., if the
nonzero coefficients in A(s) are algebraically independent.
Proof. Consider the defining expansion of the determinant of a submatrix
A[I,J] of order |I| = |J| = k:
det A[I,J]=
σ:I→J
sgnσ
i∈I
A
iσ(i)
(s), (6.12)
where σ runs over all one-to-one correspondences from I to J, and sgnσ is
defined with reference to a fixed one-to-one correspondence. Put
ˆ
δ
k
(A)=
max{w(M) | M : k-matching}. It is easy to see that the highest degree of a
nonzero term
0
i∈I
A
iσ(i)
(s) is equal to
ˆ
δ
k
(A), i.e.,
max
|I|=|J|=k
max
σ:I→J
deg
s
i∈I
A
iσ(i)
(s) = max
|I|=|J|=k
max
σ:I→J
i∈I
w
iσ(i)
=
ˆ
δ
k
(A).
This expression, when combined with the definition (6.9) of δ
k
(A), shows that
δ
k
(A) ≤
ˆ
δ
k
(A). The equality holds if A(s) is a generic polynomial matrix since
no cancellation occurs on the right-hand side of (6.12).
The above theorem is most fundamental among the graph-theoretic meth-
ods for degree of determinant as well as for structure at infinity. The graph-
theoretic method for the DAE-index problem based on this theorem has been
fully demonstrated in §1.1. For graph-theoretic methods for structure at in-
finity and related topics, see Commault–Dion–Hovelaque [38], Commault–
Dion–Perez [39], Dion–Commault [48], Linnemann [174], Svaricek [307], van
der Woude [326, 327], and van der Woude–Murota [328].