In the theory of quadratic forms, a Hermite reduction of a real positive definite form is another real positive definite form integrally equivalent to it whose coefficients are reasonably small in the sense defined below.
Definition A positive definite form
Q ( x ) = ∑ i = 1 n ∑ j = 1 n Q i j x i x j {\displaystyle Q(x)=\sum _{i=1}^{n}\sum _{j=1}^{n}Q_{ij}x_{i}x_{j}}
on R n {\displaystyle \mathbb {R} ^{n}} is Hermite reduced if the following recursively defined condition is satisfied.
0 < | Q 11 | ≤ ( 4 / 3 ) ( n − 1 ) / 2 det Q n {\displaystyle 0<|Q_{11}|\leq (4/3)^{(n-1)/2}{\sqrt[{n}]{\det Q}}}
2 | Q 1 i | ≤ | Q 11 | ( i = 2 , … , n ) {\displaystyle 2|Q_{1i}|\leq |Q_{11}|\qquad (i=2,\dots ,n)}
The form Q ′ ( x 2 , … , x n ) = Q 11 Q ( x ) − ( Q 11 x 1 + ⋯ + Q 1 n x n ) 2 {\displaystyle Q'(x_{2},\dots ,x_{n})=Q_{11}Q(x)-(Q_{11}x_{1}+\cdots +Q_{1n}x_{n})^{2}} is a Hermite reduced form on R n − 1 {\displaystyle \mathbb {R} ^{n-1}}
For every positive definite form Q {\displaystyle Q} on R n {\displaystyle \mathbb {R} ^{n}} , there exists a Z {\displaystyle \mathbb {Z} } -module isomorphism U : Z n → Z n {\displaystyle U\colon \mathbb {Z} ^{n}\to \mathbb {Z} ^{n}} and a Hermite reduced form Q ~ {\displaystyle {\tilde {Q}}} on R n {\displaystyle \mathbb {R} ^{n}} such that
Q ∘ ( U ⊗ Z R ) = Q ~ . {\displaystyle Q\circ (U\otimes _{\mathbb {Z} }\mathbb {R} )={\tilde {Q}}.}
In matrix notation, for every real n × n {\displaystyle n\times n} positive definite matrix Q {\displaystyle Q} , there exists an integer n × n {\displaystyle n\times n} invertible matrix U {\displaystyle U} (so-called unimodular matrix) and an n × n {\displaystyle n\times n} Hermite reduced matrix Q ~ {\displaystyle {\tilde {Q}}} such that
U T Q U = Q ~ . {\displaystyle U^{T}QU={\tilde {Q}}.}
Then Q ~ {\displaystyle {\tilde {Q}}} is called a Hermite reduction of Q {\displaystyle Q} . Each real positive definite form has only a finite number of Hermite reductions; they are not unique in general.
… excerpt ends here. Continue reading the full article.
