38 2. Matrix, Graph, and Matroid
As a combinatorial version of nonsingularity, let us say that a matrix A is
term-nonsingular if the defining expansion (2.2) of the determinant contains
at least one nonvanishing term, that is, if A
iπ(i)
=0(∀ i ∈ R) for some
bijection π : R → C. Obviously, nonsingularity implies term-nonsingularity,
since (2.2) is distinct from zero only if the summation contains a nonzero
term. The term-rank of A is then defined by
term-rank A = max{|I||A[I,J] is term-nonsingular,I⊆ R, J ⊆ C}.
In other words, the term-rank of A is defined as the maximum of k such
that A
i
1
j
1
=0,A
i
2
j
2
=0,···, A
i
k
j
k
= 0 for some suitably chosen dis-
tinct rows i
1
,i
2
, ···,i
k
and distinct columns j
1
,j
2
, ···,j
k
. A set of pairs
{(i
1
,j
1
), (i
2
,j
2
), ···, (i
k
,j
k
)} with the property that A
i
1
j
1
=0,A
i
2
j
2
=0,
···, A
i
k
j
k
= 0 is sometimes called a partial transversal. It holds that
rank A ≤ term-rank A, (2.8)
since nonsingularity implies term-nonsingularity.
Another related concept, called the generic-rank, is defined for a ma-
trix containing parameters, as follows. Let the entries A
ij
of A be rational
functions over a field K in q independent parameters, or indeterminates,
X
1
, ···,X
q
; i.e., A
ij
∈ K(X
1
, ···,X
q
) (= the field of rational functions in
(X
1
, ···,X
q
)overK). Then any subdeterminant is a rational function in
X
1
, ···,X
q
over K. The rank of A viewed as a matrix over K(X
1
, ···,X
q
)
is defined to be the maximum size of a submatrix whose determinant is a
nonzero rational function. We call this rank the generic rank of A, and de-
note it by generic-rank A. The generic-rank of A is equal to the rank of A
with parameters X =(X
1
, ···,X
q
) fixed to a set of numbers t =(t
1
, ···,t
q
)
(in some extension field of K) which is algebraically independent over K:
generic-rank A =rankA(t). (2.9)
This means, in the case of K = Q, that (2.9) holds true for “almost all”
choices of real numbers t =(t
1
, ···,t
q
) ∈ R
q
.
Let F be an extension field of K containing an infinite number of elements
(typically, K = Q and F = R). If a set of numerical values a ∈ F
q
are
substituted for the parameters X =(X
1
, ···,X
q
), each entry of A(a) belongs
to F , and therefore the rank of A(a) as a matrix over F can be defined.
This rank is uniquely determined for those parameter values a ∈ F
q
which
lie outside some proper algebraic variety
1
(⊂ F
q
). The uniquely determined
rank is equal to the maximum of rank A(a)overa ∈ F
q
,andalsotothe
generic-rank of A:
generic-rank A = max
a∈F
q
rank A(a).
1
By a proper algebraic variety is meant a proper subset of F
q
that can be
represented as {(x
1
, ···,x
q
) ∈ F
q
| p(x
1
, ···,x
q
)=0} for some p(X) ∈
K[X
1
, ···,X
q
].