Límite inferior para determinante y permanente


22

A la luz del reciente abismo en el resultado de profundidad-3 (que entre otras cosas produce un circuito aritmético de profundidad -3 para el determinante sobre ), Tengo las siguientes preguntas: Grigoriev y Karpinski demostraron un límite inferior para cualquier circuito aritmético de profundidad-3 que calcule el determinante de matrices sobre campos finitos (que supongo, también vale para el permanente). La fórmula de Ryser para calcular el permanente da un circuito aritmético de profundidad 3 de tamañon×nC2nlognn×nC n × n2Ω(n)n×nO(n22n)=2O(n). Esto muestra que el resultado es esencialmente ajustado para circuitos de profundidad 3 para el permanente sobre campos finitos. Tengo dos preguntas:

1) ¿Existe una fórmula de profundidad 3 para el determinante análogo a la fórmula de Ryser para el permanente?

2) ¿Un límite inferior en el tamaño de los circuitos aritméticos que calculan el polinomio determinante \ textit {siempre} produce un límite inferior para el polinomio permanente? (Over son los mismos polinomios).F2

Aunque mi pregunta actualmente es sobre estos polinomios sobre campos finitos, también me gustaría saber el estado de estas preguntas sobre campos arbitrarios.


3
Eso es interesante ... recientemente ( eccc.hpi-web.de/report/2013/026 ) se ha demostrado un límite superior sobre los números complejos. Entonces, de alguna manera, hay una gran diferencia en los campos cero y finitos característicos ...2O(n1/2logn)
Ryan Williams

Debería haber mencionado el nuevo resultado. Estaba leyendo el periódico y quería saber qué se puede inferir de los resultados conocidos para el caso de campo finito. Actualizará la pregunta para incluir el documento.
Nikhil

¿Existen límites inferiores / similares conocidos para determinantes / permanentes en caso de circuitos de profundidad 3 sobre campos de característica cero?
Gorav Jindal

Sobre la característica cero, AFAIK, el mejor límite inferior es para la función simétrica elemental (y también el polinomio determinante) debido a Shpilka y Wigderson. Consulte cs.technion.ac.il/~shpilka/publications/…Ω(n2)
Nikhil

Respuestas:


11

El permanente está completo para VNP bajo proyecciones p sobre cualquier campo que no sea de la característica 2. Esto proporciona una respuesta positiva a su segunda pregunta. Si esta reducción fuera lineal, daría una respuesta positiva a su primera pregunta, pero creo que sigue abierta.

Más detalladamente: hay un polinomio tal que es una proyección de , es decir, hay una cierta sustitución que envía cada variable a una variable o una constante tal que después de esta sustitución el permanente esté calculando el determinante .d e t n ( X ) p e r m q ( n ) ( Y ) y i j x k q ( n ) × q ( n ) n × nq(n)detn(X)permq(n)(Y)yijxkq(n)×q(n)n×n

1) Por lo tanto, la fórmula de Ryser produce una fórmula de profundidad 3 (la profundidad no aumenta bajo las proyecciones porque las sustituciones se pueden hacer en las puertas de entrada) de tamaño para determinante. ACTUALIZACIÓN : Como @Ramprasad señala en los comentarios, ¡esto solo da algo no trivial si , ya que existe una fórmula trivial de profundidad 2 de tamaño para det. Estoy con Ramprasad porque lo mejor que sé es la reducción a través de ABP, que produce . q ( n ) = o ( n log n ) n n ! = 2 O ( n log n ) q ( n ) = O ( n 3 )2O(q(n))q(n)=o(nlogn)nn!=2O(nlogn)q(n)=O(n3)

2) Si el permanente puede calcularse, de nuevo, sobre un campo de característica no 2, por un circuito de tamaño , entonces determinante puede calcularse por un circuito de tamaño . Entonces, un límite inferior de en el tamaño del circuito para produce un límite inferior de en el tamaño del circuito para el permanente ( inverso , no ). El produce una límite inferior permanente de a det límite inferior.s ( m ) n × n s ( q ( n ) ) b ( n ) d e t n b ( q - 1 ( n ) ) q 1 / q ( n )m×ms(m)n×ns(q(n))b(n)detnb(q1(n))q q ( n ) = O ( n 3 ) b ( n 1 / 3 ) b ( n1/q(n)q(n)=O(n3)b(n1/3)b(n)


66
Solo quiero señalar que el factor determinante que es una proyección de un permanente polinomialmente más grande no produce mucho. El determinante, por supuesto, tiene un trivialCircuito dimensionado. Entonces, incluso mostrar que el determinante es una proyección de un permanente no produce nada no trivial a través de la fórmula de Ryser. Supongo que, para su estrategia de prueba, uno debe mostrar que , pero no veo cómo obtener esto de la reducción habitual. AFAIK, no hay circuito de profundidad-3 asintóticamente más pequeño quees conocido por el determinante sobre campos finitos. n × n n 2 × n 2 q ( n ) = O ( n ) n !n!n×nn2×n2q(n)=O(n)n!
Ramprasad

@Ramprasad: Hay una proyección de a P E R M O ( n ) en el caso general sobre campos arbitrarios, ¿verdad? Entonces, implementar esta reducción en la profundidad 3 es el obstáculo, ¿es eso lo que quieres decir? DETnPERMO(n)
Nikhil

1
@Nikhil: ¿Hay tal proyección? Si eso fuera cierto, entonces, por supuesto, tendríamos inmediatamente un circuito profundidad-3 para el determinante simplemente usando la fórmula de Ryser (que no se conocía antes del resultado de abismo en profundidad-3). La única reducción que conozco es tomar el ABP para el determinante (que tiene un tamaño de O ( n 3 ) ) y escribirlo como una proyección de un permanente de tamaño O ( n 3 ) . Me sorprendería mucho una reducción a las reservas permanentes de tamaño O ( n ) . 2O(n)O(n3)O(n3)O(n)
Ramprasad

1
Estoy bastante seguro de que es un error tipográfico / error en el artículo (pero lo comprobaré con Manindra). La charla de Avi Wigderson (PPT) durante las celebraciones del 60 cumpleaños de Valiant es uno de los lugares donde se afirmó que mejorar para la profundidad-3 la complejidad del determinante era desconocida. ¡Los circuitos de profundidad-3 sobre campos finitos son un curioso ejemplo en el que el mejor límite superior para el permanente es más pequeño que el determinante! n!
Ramprasad


11

Es muy posible que el determinante sea, en cierto modo, más difícil que el permanente. Ambos son polinomios, el rango de advertencia (sumas de n potencias de formas lineales) del permanente es aproximadamente 4 ^ n, el rango de Chow (sumas de productos de formas lineales) es aproximadamente 2 ^ n. Claramente, Waring Rank \ leq 2 ^ {n-1} Chow Rank. Para el determinante, esos números son solo límites inferiores. Por otro lado, ¡probé hace un tiempo que el rango Waring del determinante está limitado por (n + 1)! y esto podría estar cerca de la verdad.


77
Quité el anuncio.
Jeffε

3
¿Puedes dar la referencia para la prueba?
Kaveh
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.