Talk:Unimodular matrix

From Wikipedia, the free encyclopedia

Examples of totally unimodular matrices?

Charles Matthews 10:14, 13 Apr 2004 (UTC)

The definition of unimodular matrix is really with +1 or -1, and so I have deleted the special linear group link.

Simon Lacoste-Julien 01:02, 25 Apr 2004 (PST)

A number of definitions circulates on the web of totally unimodular matrices. The important difference is whether or not the matrix should be square. Some authors even claim that a totally unimodular matrix need to be unimodular itself (which would exclude the zero matrix). I think that now the correct definition is used.

Basten 11:50, 19 February 2007 (UTC)

[edit] kronecker

Does anybody know if the Kronecker product of two totally unimodular matrices is again totally unimodular?

[edit] integer matrices

I strongly think that you need an additional restriction of unimodular matrices being integer matrices.

Some sources ("Loop Parallelization", Utpal Banerjee) require the inverted matrix to be an integer matrix, even though I think this is unecessary.

--M1ck1 12:10, 1 December 2006 (UTC)

Ok, I also found 2 standard books on the subject that also agree on requiring integer matrices:

  • "Integer and Combinational Optimization", Geroge L. Nemhauser, Laurence A. Wolsey, 1988, page 189
  • "Theory of Linear and Integer Programming", Alexander Schrijver, 1989, page 49

--M1ck1 14:52, 1 December 2006 (UTC)

[edit] Other concepts of "unimodular matrices"

I find a variety of definitions for “Unimodular” on the web as of 2007 Mar 15.

This Wikipedia article presumes a matrix over Z, the integers with determinate = ±1.

<a href=http://planetmath.org/encyclopedia/UnimodularMatrix.html>Planet Math</a> requires a square matrix over some field and determinant = 1.

<a href=http://mathworld.wolfram.com/UnimodularMatrix.html>Wolfram</a> requires real elements with det = 1 but generalizes by allowing elements from some polynomial domain if the matrix has an inverse in the same domain. (This suggests ring elements, requiring inverse matrix over same ring.)

<a href=http://www.amazon.com/Analysis-Manifolds-Physics-Part-I/dp/0444860177>Analysis, Manifolds and Physics</a> (page 173 in my edition) specifies real entries and det=1.

All of these are groups but are generalizations in different directions. In physics contexts it seems to be a real matrix with det=1. Perhaps there needs to be a category split between the discrete and continuous cases. I have no idea what they should be called. Wikipedia has a good disambiguation pattern for cases where one word applies to different subjects. —The preceding unsigned comment was added by NormHardy (talk • contribs) 05:19, 16 March 2007 (UTC).