Unimodular Matrix - Total Unimodularity - Common Totally Unimodular Matrices

Common Totally Unimodular Matrices

1. The unoriented incidence matrix of a bipartite graph, which is the coefficient matrix for bipartite matching, is totally unimodular (TU). (The unoriented incidence matrix of a non-bipartite graph is not TU.) More generally, in the appendix to a paper by Heller and Tompkins, A.J. Hoffman and D. Gale prove the following. Let be an m by n matrix whose rows can be partitioned into two disjoint sets and . Then the following four conditions together are sufficient for A to be totally unimodular:

  • Every column of contains at most two non-zero entries;
  • Every entry in is 0, +1, or −1;
  • If two non-zero entries in a column of have the same sign, then the row of one is in, and the other in ;
  • If two non-zero entries in a column of have opposite signs, then the rows of both are in, or both in .

It was realized later that these conditions define an incidence matrix of a balanced signed graph; thus, this example says that the incidence matrix of a signed graph is totally unimodular if the signed graph is balanced. The converse is valid for signed graphs without half edges (this generalizes the property of the unoriented incidence matrix of a graph).

2. The constraints of maximum flow and minimum cost flow problems yield a coefficient matrix with these properties (and with empty C). Thus, such network flow problems with bounded integer capacities have an integral optimal value. Note that this does not apply to multi-commodity flow problems, in which it is possible to have fractional optimal value even with bounded integer capacities.

3. The consecutive-ones property: if A is (or can be permuted into) a 0-1 matrix in which for every row, the 1s appear consecutively, then A is TU. (The same holds for columns since the transpose of a TU matrix is also TU.)

4. Every network matrix is TU. The rows of a network matrix correspond to a tree T=(V,R), each of whose arcs has an arbitrary orientation (it is not necessary that there exist a root vertex r such that the tree is "rooted into r" or "out of r").The columns correspond to another set C of arcs on the same vertex set V. To compute the entry at row R and column C=st, look at the s-to-t path P in T; then the entry is:

  • +1 if arc R appears forward in P,
  • -1 if arc R appears backwards in P,
  • 0 if arc R does not appear in P.

See more in Schrijver (2003).

5. Ghouila-Houri showed that a matrix is TU iff for every subset R of rows, there is an assignment of signs to rows so that the signed sum (which is a row vector of the same width as the matrix) has all its entries in (i.e. the row-submatrix has discrepancy at most one). This and several other if-and-only-if characterizations are proven in Schrijver (2003).

6. Hoffman and Kruskal proved the following theorem. Suppose is a directed graph without any 2-dicycle, is the set of all dipaths in, and is the 0-1 incidence matrix of versus . Then is totally unimodular if and only if every simple arbitrarily-oriented cycle in consists of alternating forwards and backwards arcs.

7. Suppose a matrix has 0-(1) entries and in each column, the entries are non-decreasing from top to bottom (so all -1's are on top, then 0's, then 1's are on the bottom). Fujishige showed that the matrix is TU iff every 2-by-2 submatrix has determinant in .

8. Seymour (1980) proved a full characterization of all TU matrices, which we describe here only informally. Seymour's theorem is that a matrix is TU if and only if it is a certain natural combination of some network matrices and some copies of a particular 5-by-5 TU matrix.

Read more about this topic:  Unimodular Matrix, Total Unimodularity

Famous quotes containing the words common and/or totally:

    How like a prodigal doth nature seem,
    When thou, for all thy gold, so common art!
    Thou teachest me to deem
    More sacredly of every human heart,
    Since each reflects in joy its scanty gleam
    Of Heaven, and could some wondrous secret show,
    Did we but pay the love we owe,
    And with a child’s undoubting wisdom look
    On all these living pages of God’s book.
    James Russell Lowell (1819–1891)

    Age wins and one must learn to grow old.... I must learn to walk this long unlovely wintry way, looking for spectacles, shunning the cruel looking-glass, laughing at my clumsiness before others mistakenly condole, not expecting gallantry yet disappointed to receive none, apprehending every ache of shaft of pain, alive to blinding flashes of mortality, unarmed, totally vulnerable.
    Diana Cooper (1892–1986)