Finden expliziter unimodularer Transformationen für Chern-Simons-K-Matrizen

Eine invertierbare, symmetrische Matrix mit ganzzahligen Einträgen, K , die das Geflecht und die Statistik eines abelschen topologisch geordneten Zustands codiert, ist äquivalent zu einer anderen solchen Matrix, K ' , wenn es eine ganzzahlige unimodulare Matrix gibt, W , so dass

W T K W = K '
Angenommen, ich habe K Und K ' und einen solchen finden wollen W . Gibt es ein allgemeines Verfahren, um dies zu finden? Ich finde keinen besonders cleveren Weg, es zu tun. Es scheint jedoch, dass die Leute vielleicht wissen, wie das geht, da in -

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

sie finden groß W Matrizen (sogar 10 × 10 ). Ich würde gerne wissen, ob dies nur in bestimmten Fällen allgemein möglich ist (in Systemen ohne topologische Ordnung, dh det | K | = 1 ) oder es gibt ein bekanntes Verfahren zum Auffinden einer solchen Transformation für alle K .

Siehe auch - https://math.stackexchange.com/questions/1800488/existence-of-unimodular-congruence-transformation-for-symmetric-integer-matrice

Antworten (1)

Notwendige und hinreichende Bedingung für Konjugation : siehe Sylvester's Trägheitsgesetz . In Ihrer Notation die beiden symmetrischen Matrizen K Und K ' sind durch eine Transformation konjugiert W T K W = K ' genau dann, wenn sie die gleiche Anzahl positiver und negativer Eigenwerte haben (keine Null-Eigenwerte, da beide nichtsingulär sind). Die Eigenwerte selbst müssen jedoch nicht identisch sein.

Notwendige und hinreichende Bedingung für W unimodular sein : K muss nicht unimodular sein, aber die Konjugationsbeziehung macht es erforderlich

[ det ( W ) ] 2 = det ( K ' ) det ( K )
So W ist genau dann unimodular, wenn
det ( K ) = det ( K ' )

Verwandlung finden W : Diagonalisieren K Und K ' als

K = U T Q U , , U T U = U U T = ICH Q = Q T = Diag ( λ K )
K ' = U ' T Q ' U ' , U ' T U ' = U ' U ' T = ICH Q ' = Q ' T = Diag ( λ K ' )
wo die diagonalen Matrizen Q , Q ' Listen Sie die Eigenwerte auf λ K , λ K ' in der Reihenfolge, sagen wir vom kleinsten zum größten. Weiter definieren S = Diag ( | λ K | ) , S ' = Diag ( | λ K ' | ) , und umschreiben
Q = S T D S , Q ' = S ' T D S '
Wo
D = Diag ( Zeichen ( λ K ) ) = Diag ( Zeichen ( λ K ' ) )
ist nun eine diagonale unimodulare Matrix, [ det ( D ) ] 2 = 1 . Das Einsetzen von allem in die Konjugationsbeziehung bringt es in die Form
( S U W ) T D ( S U W ) = ( S ' U ' ) T D ( S ' U ' )
und ermöglicht die Identifizierung, z.
S U W = S ' U '
was schließlich gibt
W = U T S 1 S ' U '
Wenn det ( K ) = det ( K ' ) dann auch det ( S ) = det ( S ' ) und so det ( W ) = ± 1 , es hängt davon ab det ( U ) , det ( U ' ) .

Beachte das aber W ist nicht einzigartig. Beliebig W ¯ = U T S 1 v S ' U ' mit v so dass v T D v = D (Zum Beispiel [ v , D ] = [ v T , D ] = 0 Und v T v = ICH ) funktioniert genauso gut.

@udvr Also um das sicherzustellen W hat nur ganzzahlige Einträge, müssen Sie anpassen v bis diese erfüllt ist?
Entschuldigung, ich habe jetzt gemerkt, dass ich nicht angegeben hatte, dass ich will W ganzzahlig sein.
Das scheint ein hartes(er) zu sein. Aber es gibt eine Reihe verwandter Fragen zu Mathoverflow, vielleicht können Sie dort etwas Hilfreiches finden. Siehe 2. Antwort von mathoverflow.net/questions/70528/symmetric-integer-matrices (umreißt einen Algorithmus) und auch mathoverflow.net/questions/97448/… (hat interessante Referenzen, aber irgendwie außerhalb meiner Komfortzone). Hoffe das hilft bisschen :)