Hermite Normal Form

In linear algebra, the Hermite normal form is an analogue of reduced echelon form for matrices over the integers Z. Just as reduced echelon form can be used to solve problems about the solution to the linear system Ax=b where x is in R^''n'', the Hermite normal form can solve problems about the solution to the linear system Ax=b where this time x is restricted to have integer coordinates only. Other applications of the Hermite normal form include integer programming, cryptography, and abstract algebra.

Definition

Various authors may prefer to talk about Hermite normal form in either row-style or column-style. They are essentially the same up to transposition.

Row-style Hermite normal form

An m by n matrix A with integer entries has a (row) Hermite normal form H if there is a square unimodular matrix U where H=UA and H has the following restrictions:
# H is upper triangular (that is, h_''ij'' = 0 for ''i'' > ''j''), and any rows of zeros are located below any other row.
# The leading coefficient (the first nonzero entry from the left, also called the pivot) of a nonzero row is always strictly to the right of the leading coefficient of the row above it; moreover, it is positive.
# The elements below pivots are zero and elements above pivots are nonnegative and strictly smaller than the pivot.
The third condition is not standard among authors, for example some sources force non-pivots to be nonpositive or place no sign restriction on them. However, these definitions are equivalent by using a different unimodular matrix U. A unimodular matrix is a square invertible integer matrix whose determinant is 1 or −1.

Column-style Hermite normal form

A ''m''-by-''n'' matrix A with integer entries has a (column) Hermite normal form H if there is a square unimodular matrix U where H=AU and H has the following restrictions:
# H is lower triangular, ''h''_''ij'' = 0 for ''i'' < ''j'', and any columns of zeros are located on the right.
# The leading coefficient (the first nonzero entry from the top, also called the pivot) of a nonzero column is always strictly below of the leading coefficient of the column before it; moreover, it is positive.
# The elements to the right of pivots are zero and elements to the left of pivots are nonnegative and strictly smaller than the pivot.
Note that the row-style definition has a unimodular matrix U multiplying A on the left (meaning U is acting on the rows of A), while the column-style definition has the unimodular matrix action on the columns of A. The two definitions of Hermite normal forms are simply transposes of each other.

Existence and uniqueness of the Hermite normal form

Every ''m''-by-''n'' matrix A with integer entries has a unique ''m''-by-''n'' matrix H, such that H=UA for some square unimodular matrix U.

Examples

In the examples below, is the Hermite normal form of the matrix , and is a unimodular matrix such that .
$A=\begin 3 & 3 & 1 & 4 \\ 0 & 1 & 0 & 0 \\ 0 & 0 & 19 & 16 \\ 0 & 0 & 0 & 3 \end \qquad H=\begin 3 & 0 & 1 & 1\\ 0 & 1 & 0 & 0\\ 0 & 0 &19 & 1\\ 0 & 0 & 0 & 3 \end \qquad U = \left(\begin 1 & -3 & 0 & -1 \\ 0 & 1 & 0 & 0 \\ 0 & 0 & 1 & -5 \\ 0 & 0 & 0 & 1 \end\right)$

$A = \begin 2 & 3 & 6 & 2 \\ 5 & 6 & 1 & 6 \\ 8 & 3 & 1 & 1 \end \qquad H = \left(\begin 1 & 0 & 50 & -11 \\ 0 & 3 & 28 & -2 \\ 0 & 0 & 61 & -13 \end\right) \qquad U = \left(\begin 9 & -5 & 1 \\ 5 & -2 & 0 \\ 11 & -6 & 1 \end\right)$

If has only one row then either or , depending on whether the single row of has a positive or negative leading coefficient.

Algorithms

There are many algorithms for computing the Hermite normal form, dating back to 1851. It was not until 1979 when an algorithm for computing the Hermite normal form that ran in strongly polynomial time was first developed; that is, the number of steps to compute the Hermite normal form is bounded above by a polynomial in the dimensions of the input matrix, and the space used by the algorithm (intermediate numbers) is bounded by a polynomial in the binary encoding size of the numbers in the input matrix. One class of algorithms is based on Gaussian elimination in that special elementary matrices are repeatedly used. The LLL algorithm can also be used to efficiently compute the Hermite normal form.

Applications

Lattice calculations

A typical lattice in R^''n'' has the form $L = \left\$ where the a_''i'' are in R^''n''. If the ''columns'' of a matrix A are the a_''i'', the lattice can be associated with the columns of a matrix, and A is said to be a basis of L. Because the Hermite normal form is unique, it can be used to answer many questions about two lattice descriptions. For what follows, $L_A$ denotes the lattice generated by the columns of A. Because the basis is in the columns of the matrix A, the column-style Hermite normal form must be used. Given two bases for a lattice, A and A', the equivalence problem is to decide if $L_ = L_.$ This can be done by checking if the column-style Hermite normal form of A and A' are the same up to the addition of zero columns. This strategy is also useful for deciding if a lattice is a subset ($L_ \subseteq L_$ if and only if $L_ = L_$), deciding if a vector v is in a lattice ($v \in L_$ if and only if $L_ = L_A$), and for other calculations.

Integer solutions to linear systems

The linear system has an integer solution if and only if the system has an integer solution where and is the column-style Hermite normal form of . Checking that has an integer solution is easier than because the matrix is triangular.

Implementations

Many mathematical software packages can compute the Hermite normal form:
* Maple wit
HermiteForm
* Mathematica wit
HermiteDecomposition
* MATLAB wit
hermiteForm
* NTL wit
HNF
* PARI/GP wit
mathnf
* SageMath wit
hermite_form

Over an arbitrary Dedekind domain

Hermite normal form can be defined when we replace Z by an arbitrary Dedekind domain. (for instance, any principal-ideal domain). For instance, in control theory it can be useful to consider Hermite normal form for the polynomials F /math> over a given field F.

See also

* Hermite ring
*Smith normal form
* Howell normal form
*Diophantine equation

References

{{reflist

Linear algebra
Matrix normal forms