Нахождение явных унимодулярных преобразований для K-матриц Черна-Саймонса

Обратимая симметричная матрица с целыми элементами, К , которая кодирует плетение и статистику абелева топологически упорядоченного состояния, эквивалентна другой такой матрице, К , если существует целочисленная унимодулярная матрица, Вт , такой, что

Вт Т К Вт "=" К
Предположим, у меня есть К и К и хочу найти такого Вт . Существует ли общая процедура для определения этого? Я не могу найти особенно умный способ сделать это. Тем не менее, кажется, что, возможно, люди знают, как это сделать, поскольку в -

http://arxiv.org/abs/1404.6256 и https://arxiv.org/abs/1310.5708

они находят большие Вт матрицы (даже 10 × 10 ). Я хотел бы знать, возможно ли это сделать вообще только в определенных случаях (в системах без топологического порядка, т.е. | К | "=" 1 ) или известна процедура нахождения такого преобразования для любого К .

См. Также - https://math.stackexchange.com/questions/1800488/existence-of-unimodular-congruence-transformation-for-symmetric-integer-matrice

Ответы (1)

Необходимое и достаточное условие сопряженности : см. закон инерции Сильвестра . В ваших обозначениях две симметричные матрицы К и К сопряжены преобразованием Вт Т К Вт "=" К тогда и только тогда, когда они имеют одинаковое количество положительных и отрицательных собственных значений (нет нулевых собственных значений, поскольку оба несингулярны). Однако сами собственные значения не обязательно должны быть идентичными.

Необходимое и достаточное условие для Вт быть унимодулярным : К не обязательно должен быть унимодулярным, но отношение сопряженности накладывает

[ дет ( Вт ) ] 2 "=" дет ( К ) дет ( К )
так Вт унимодулярно тогда и только тогда, когда
дет ( К ) "=" дет ( К )

Поиск трансформации Вт : Диагонализация К и К как

К "=" U Т Вопрос U , , U Т U "=" U U Т "=" я Вопрос "=" Вопрос Т "=" Диаг. ( λ К )
К "=" U Т Вопрос U , U Т U "=" U U Т "=" я Вопрос "=" Вопрос Т "=" Диаг. ( λ К )
где диагональные матрицы Вопрос , Вопрос перечислить собственные значения λ К , λ К по порядку, скажем, от меньшего к большему. Дальнейшее определение С "=" Диаг. ( | λ К | ) , С "=" Диаг. ( | λ К | ) , и переписать
Вопрос "=" С Т Д С , Вопрос "=" С Т Д С
где
Д "=" Диаг. ( знак ( λ К ) ) "=" Диаг. ( знак ( λ К ) )
теперь диагональная унимодулярная матрица, [ дет ( Д ) ] 2 "=" 1 . Подстановка всего в отношение сопряженности приводит его к виду
( С U Вт ) Т Д ( С U Вт ) "=" ( С U ) Т Д ( С U )
и позволяет идентифицировать, например,
С U Вт "=" С U
что в итоге дает
Вт "=" U Т С 1 С U
Если дет ( К ) "=" дет ( К ) тогда также дет ( С ) "=" дет ( С ) и так дет ( Вт ) "=" ± 1 , в зависимости от дет ( U ) , дет ( U ) .

Однако обратите внимание, что Вт не уникален. Любой Вт ¯ "=" U Т С 1 В С U с В такой, что В Т Д В "=" Д (например [ В , Д ] "=" [ В Т , Д ] "=" 0 и В Т В "=" я ) работает так же хорошо.

@udvr Итак, чтобы убедиться, что Вт имеет только целочисленные записи, вы должны настроить В пока это не устраивает?
Извините, теперь я понял, что не указал, что хочу Вт быть целым числом.
Это кажется более трудным (более) одним. Но на Mathoverflow есть куча связанных вопросов, возможно, вы найдете там что-то полезное. См. 2-й ответ mathoverflow.net/questions/70528/symmetric-integer-matrix (излагает алгоритм), а также mathoverflow.net/questions/97448/… (имеет интересные ссылки, но немного не в моей зоне комфорта). Надеюсь, это немного поможет :)