Ермітова нормальна форма

Ермітова нормальна форма — це аналог ступінчастого вигляду матриці для матриць над кільцем $\mathbb{Z}$ цілих чисел. Тоді як ступінчастий вигляд матриці використовується для розв'язання систем лінійних рівнянь виду $Ax=b$ для $x\in {ℝ}^n$, ермітову нормальну форму можна використати для розв'язання лінійних систем діофантових рівнянь, у яких мається на увазі, що $x\in {\mathbb{Z}}^n$. Ермітова нормальна форма використовується у розв'язанні задач цілочисельного програмування, криптографії і загальної алгебри.

Визначення

Матриця $H$ є ермітовою нормальною формою цілочисельної матриці $A$ якщо є унімодулярна матриця $U$ така що $H=UA$ і $H$ задовольняє таким вимогам:

1. $H$ є верхньо-трикутною, тобто, $h_{ij}=0$ якщо $i>j$ і будь-який рядок, що цілком складається з нулів, лежить нижче від всіх інших.
2. Ведучий елемент будь-якого ненульового рядка завжди додатний і лежить правіше від ведучого коефіцієнта рядка над ним.
3. Елементи під ведучими дорівнюють нулю, а елементи над ведучими невід'ємні і строго менші від ведучого.

Деякі автори в третій умові вимагають, щоб елементи були недодатними або взагалі не накладають на них знакових обмежень.

Існування та єдиність ермітової нормальної форми

Ермітова нормальна форма $H$ існує і єдина для будь-якої цілочисельної матриці $A$.

Приклади

У прикладах нижче матриця $H$ є ермітовою нормальною формою матриці $A$, а відповідною унімодулярною матрицею є матриця $U$ така що $H=UA$.

$A=\left(\begin{array}{cccc}3& 3& 1& 4\\ 0& 1& 0& 0\\ 0& 0& 19& 16\\ 0& 0& 0& 3\end{array}\right)H=\left(\begin{array}{cccc}3& 0& 1& 1\\ 0& 1& 0& 0\\ 0& 0& 19& 1\\ 0& 0& 0& 3\end{array}\right)U=\left(\begin{array}{cccc}1& -3& 0& -1\\ 0& 1& 0& 0\\ 0& 0& 1& -5\\ 0& 0& 0& 1\end{array}\right)$

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

Алгоритми

Перші алгоритми обчислення ермітової нормальної форми датуються 1851 роком. При цьому перший алгоритм, що працює за строго поліноміальний час, розроблено лише 1979 року. Один із широко використовуваних класів алгоритмів для зведення матриці до ермітової нормальної форми ґрунтується на модифікованому методі Гауса. Іншим поширеним методом обчислення ермітової нормальної форми є Шаблон:Нп.

Застосування

Обчислення в ґратках

Зазвичай ґратки в ${ℝ}^n$ мають вигляд $L=\{{\alpha }_1{a}_1+{\alpha }_2{a}_2+\dots +{\alpha }_n{a}_n|{\alpha }_i\in \mathbb{Z}\}$, де $a_i\in {ℝ}^n$. Якщо розглянути матрицю $A$, чиї рядки складені із векторів $a_i$, то її ермітова нормальна форма задаватиме деякий єдиним чином визначений базис ґратки. Це спостереження дозволяє швидко перевіряти, чи збігаються ґратки, породжені рядками матриць $A$ і $A^{\prime }$, для чого достатньо перевірити, що в матриць збігаються їхні ермітові нормальні форми. Аналогічно можна перевірити, чи є ґратка $L_{A^{\prime }}$ підґраткою ґратки $L_A$, для чого достатньо розглянути матрицю $A^{″}$, отриману з об'єднання рядків $A$ і $A^{\prime }$. У такій постановці $L_{A^{\prime }}$ є підґраткою $L_A$ якщо і тільки якщо збігаються ермітові нормальні форми $A$ і $A^{″}$.

Лінійні діофантові рівняння

Система лінійних рівнянь $Ax=b$ має цілочисельний розв'язок $x$, якщо і тільки якщо система $Hx=Ub$ має цілочисельний розв'язок, де $H=UA$ — ермітова нормальна форма матриці $A$Шаблон:Rp.

Реалізація

Обчислення ермітової нормальної форми реалізовано в багатьох системах комп'ютерної алгебри:

• HermiteForm Шаблон:Webarchive в Maple
• HermiteDecomposition Шаблон:Webarchive в Mathematica
• hermiteForm Шаблон:Webarchive в MATLAB
• hermite_form Шаблон:Webarchive в Шаблон:Нп

Див. також

• Нормальна форма Сміта
• Діофантові рівняння

Джерела

• Шаблон:Гантмахер.Теорія матриць