Encontrar transformaciones unimodulares explícitas para matrices K de Chern-Simons

Una matriz invertible y simétrica con entradas enteras, k , que codifica el trenzado y las estadísticas de un estado ordenado topológicamente abeliano, es equivalente a otra matriz similar, k , si existe una matriz unimodular entera, W , tal que

W T k W = k
Supongamos que tengo k y k y quiero encontrar tal W . ¿Existe un procedimiento general para encontrar esto? No puedo encontrar una forma particularmente inteligente de hacerlo. Sin embargo, parece que tal vez la gente sabe cómo hacer esto ya que en -

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

encuentran grandes W matrices (incluso 10 × 10 ). Me gustaría saber si esto solo se puede hacer en general en ciertos casos (en sistemas sin orden topológico, es decir, det | k | = 1 ) o de que existe un procedimiento conocido para encontrar tal transformación para cualquier k .

Consulte también: https://math.stackexchange.com/questions/1800488/existence-of-unimodular-congruence-transformation-for-symmetric-integer-matrice

Respuestas (1)

Condición necesaria y suficiente para la conjugación : véase la ley de inercia de Sylvester . En su notación, las dos matrices simétricas k y k son conjugados por una transformación W T k W = k si y solo si tienen el mismo número de valores propios positivos y negativos (no hay valores propios nulos ya que ambos no son singulares). Sin embargo, los valores propios no necesitan ser idénticos.

Condición necesaria y suficiente para W ser unimodular : k no tiene por qué ser unimodular, pero la relación de conjugación impone

[ det ( W ) ] 2 = det ( k ) det ( k )
entonces W es unimodular si y solo si
det ( k ) = det ( k )

Encontrar la transformación W : Diagonalizar k y k como

k = tu T q tu , , tu T tu = tu tu T = I q = q T = Diagnóstico ( λ k )
k = tu T q tu , tu T tu = tu tu T = I q = q T = Diagnóstico ( λ k )
donde las matrices diagonales q , q enumere los valores propios λ k , λ k en orden, digamos de menor a mayor. Definir más S = Diagnóstico ( | λ k | ) , S = Diagnóstico ( | λ k | ) , y reescribir
q = S T D S , q = S T D S
dónde
D = Diagnóstico ( firmar ( λ k ) ) = Diagnóstico ( firmar ( λ k ) )
es ahora una matriz unimodular diagonal, [ det ( D ) ] 2 = 1 . Sustituir todo en la relación de conjugación lo lleva a la forma
( S tu W ) T D ( S tu W ) = ( S tu ) T D ( S tu )
y permite la identificación, por ejemplo,
S tu W = S tu
que finalmente da
W = tu T S 1 S tu
Si det ( k ) = det ( k ) Después también det ( S ) = det ( S ) y entonces det ( W ) = ± 1 , Dependiendo de det ( tu ) , det ( tu ) .

Tenga en cuenta sin embargo que W no es único Cualquier W ¯ = tu T S 1 V S tu con V tal que V T D V = D (Por ejemplo [ V , D ] = [ V T , D ] = 0 y V T V = I ) funciona igual de bien.

@udvr Entonces, para asegurarse de que W solo tiene entradas enteras, tienes que ajustar V hasta que esto esté satisfecho?
Lo siento, ahora me di cuenta de que no había especificado que quiero W ser de valor entero.
Ese parece ser uno difícil (er). Pero hay un montón de preguntas relacionadas en Mathoverflow, tal vez puedas encontrar algo útil allí. Consulte la segunda respuesta de mathoverflow.net/questions/70528/symmetric-integer-matrices (describe un algoritmo), y también mathoverflow.net/questions/97448/… (tiene referencias interesantes, pero un poco fuera de mi zona de confort). Espero que esto ayude un poco :)