Algoritmos Holográficos - Equivalencia de Bases

10

Estaba revisando el trabajo seminal de Les Valiant y tuve un momento difícil con la Proposición 4.3 en la página 10 del documento.

No puedo ver por qué es el caso que si hay un generador con ciertos valores para con una base { ( a 1 , b 1 ) ... ( a r , b r ) } , entonces existe algún generador con el mismo v a l G valores para cualquier base { ( x a 1 , y b 1 ) ... ( x a r , y b r )valG{(a1,b1)(ar,br)}valG ( 1 s t k i n d ) o { ( x b 1 , y un 1 ) ... ( x b r , y un r ) } ( 2 n d k i n d ) para cualquier x , y F .{(xa1,yb1)(xar,ybr)}1stkind{(xb1,ya1)(xbr,yar)}2ndkindx,yF

Valiant señala la razón en el párrafo anterior: a saber, el tipo de transformación se puede lograr al agregar a cada nodo de entrada o salida un borde de peso 1 . El 2 n d tipo de transformación, Valiant dice, se puede lograr añadiendo a de entrada o salida nodos cadenas de longitud 2 ponderados por x y y respectivamente.1st12nd2xy

Realmente no he podido entender estas declaraciones. Tal vez ya estén claros, pero aún así no puedo ver realmente por qué la construcción anterior ayuda a lograr valores de realizables con una base con la nueva base, que es uno de los tipos anteriores.valG

Por favor, ayuda a iluminarme. En una nota diferente, ¿hay algunas encuestas sin tensor para algoritmos holográficos disponibles en línea? La mayoría de ellos usan tensores que, lamentablemente, me asustan :-(

El mejor -Akash

Akash Kumar
fuente

Respuestas:

8

Los tensores (en este sentido) son solo matrices de números, por lo que no creo que encuentres encuestas sin tensor a menos que estén completamente libres de cálculos.

La operación " " formaliza tanto las operaciones de cambio de base como la conexión de gadgets a cada nodo de salida (de hecho, me gusta pensar en un cambio de base como una especie de operación de gadget). Deje Γ ser un matchgate generador con firma estándar M i 1 i 2i k = u ( Γ ) . Esta es una matriz de 2 k números. La firma en una nueva base está dada porTkΓMi1i2ik=u(Γ)2k

(TkM)i1i2ik:=i1,,ikTi1i1TikikMi1i2ik

donde es una matriz de dos por dos que describe la nueva base.T

Deje sea el matchgate formado mediante la adición de k nuevos vértices a Γ , teniendo éstos a ser las nuevas salidas, y la conexión de ellos a los viejos salidas por un borde de peso x . Entonces la nueva firma es C k M donde C i j es la matriz ( 0 x 1 0 ) . Si a continuación, realizar el cambio de base de T C - 1 se obtiene la firma T k M .ΓkΓxCkMCij(0x10)TC1TkM

Colin McQuillan
fuente
Su(Γ)S=S0Tk×S=u(Γ)valG(Γ,x)ejemplo que solo pretendía expresar el vector perfMatch como la suma de coeficientes wrt a la nueva base. Sin embargo, no puedo estar seguro de mi evidente falta de antecedentes con los tensores.
Akash Kumar
CkM
S0(T1)kSTn0,n1,p0,p1
(0,1,1,0,1,0,0,1)x(1,1,1,1 1,1,1,0)C3whereC=(0, 1)t(x=1, 0)tu(Γ)
1
P3P3Zu(P3)=(0,1,0,0,1,0,0,1)(1,0,0,1,0,0,1,0)(C3u(P3))1,2,2=1