Permanente de una matriz y partir de determinantes


9

Sea una matriz o con entradas . ¿Alguien puede proporcionarme una matriz para que ? ¿Cuál es la B explícita más pequeña que se conoce de modo que \ operatorname {per} (A) = \ det (B) ? ¿Alguna referencia sobre esto con ejemplos explícitos?UNA3×34 4×4 4unayojsipor(UNA)=det(si)sipor(UNA)=det(si)

Algunas restricciones podrían ser los siguientes casos:

Caso Sólo lineal funcionales están permitidos como entradas de .(1)si

Caso Se permiten funciones no lineales siempre que cada término tenga un grado de máximo (grado es la suma del grado de variables) donde es el tamaño de la matriz involucrada. En nuestro caso, hasta grado .(2)O(losol(norte))norte2


2
@vs ¿Cuáles son las restricciones sobre ? Si no hay ninguno, entonces es una matriz con , pero Supongo que eso no es lo que tenías en mente. Típicamente uno permite las entradas de a ser funciones lineales afines de las variables en . si
si=(por(UNA))
1×1det(si)=por(UNA)siUNA
Tyson Williams

Respuestas:


18

[EDITAR]

  1. Por coherencia, cambié las notaciones de a d c ( n ) .C(norte)reC(norte)
  2. Se preguntó por vs en los comentarios si mi respuesta se generaliza a dimensiones superiores. Lo hace y da un límite superior sobre cualquier campo: Vea mi borrador sobre esto: Un límite superior para el problema permanente versus el determinante .
    dc(n)2n1)

[/EDITAR]

[Un comentario lateral: creo que podría editar su pregunta anterior en lugar de crear una nueva].

Tengo la siguiente respuesta para ti:

por(unasiCremiFsolhyo)=det(0 0unaresol0 00 00 00 010 00 0yoF0 00 00 010 00 0Cyo0 00 00 01C0 0Fmi0 00 00 010 00 0h0 00 00 00 010 0si0 00 00 00 00 01)

Tenga en cuenta que al buscar tales referencias sobre ejemplos explícitos, no pude encontrar ninguno y, por lo tanto, el ejemplo que le doy es un ejemplo que construí.

Esta pregunta que hace se denomina comúnmente "Problema permanente versus determinante". Supongamos que se nos da una de la matriz A , y queremos la matriz más pequeña B de tal manera que por A = det B . Denotemos por d c ( n ) las dimensiones de la B más pequeña . Aquí están los resultados históricos:(norte×norte)UNAsiporUNA=detsireC(norte)si

  • [Szegö 1913] reC(norte)norte+1
  • [von zur Gathen 1986] reC(norte)norte2-6 6norte
  • [Cai 1990] reC(norte)norte2
  • [Mignon y Ressayre 2004] en la característica 0dc(n)n2/20
  • [Cai, Chen y Li 2008] en la característica 2 .dc(n)n2/22

Esto muestra que (el límite superior es la matriz dada anteriormente).5dc(3)7

Como soy vago, solo te doy una referencia donde puedes encontrar las otras. Es el artículo más reciente que cité, por Cai, Chen y Li: un límite inferior cuadrático para el problema permanente y determinante sobre cualquier característica 2 .

Si lees francés, también puedes echar un vistazo a mis diapositivas sobre este tema: permanente versus determinante .


Muchas gracias. Olvidé mencionar que estaba familiarizado con los límites inferiores lineales y cuadráticos. Su ejemplo es nuevo para mí y, por supuesto, veré sus diapositivas en francés :)
vs

1
Para convertir una fórmula en un determinante, es un resultado (clásico?) De Valiant en 1979. Explicamos este resultado en nuestro artículo en la Sección 2.1 (cf [ arxiv.org/abs/1007.3804] ).
Bruno

2
Para , tenga en cuenta que hay una constante en O (n2 ^ n) de modo que 24 no es el valor correcto. Sin embargo, creo que mi ejemplo es mejor que simplemente aplicar la fórmula de Ryser + la construcción de Valiant. Esto es bastante normal, ya que uno puede imaginar que pasar de lo permanente a una fórmula y luego a un determinante no es la mejor manera de hacerlo. No diría que mi ejemplo es "mejor que el de Ryser" ya que los objetivos no son los mismos. Tenga en cuenta también que las fórmulas de Glynn o Ryser no son tan buenas como la fórmula trivial para n = 3 , solo lo superan asintóticamente. n=3n=3
Bruno

2
Eché un nuevo vistazo al papel de JY Cai. El teorema 3 da un mejor límite: . c(n)O(2n)
Bruno

2
@Bruno: excelente respuesta!
Dai Le
Al usar nuestro sitio, usted reconoce que ha leído y comprende nuestra Política de Cookies y Política de Privacidad.
Licensed under cc by-sa 3.0 with attribution required.