Algorithmes holographiques - Équivalence des bases


10

Je parcourais le papier séminal de Les Valiant et j'ai eu du mal avec la proposition 4.3 à la page 10 du papier.

Je ne vois pas pourquoi est-ce que s'il y a un générateur avec certaines valeurs pour avec une base , alors il existe un générateur avec les mêmes valeurs pour tout base ( ) ou ( ) pour tout .{ ( a 1 , b 1 ) ( a r , b r ) } v a l G { ( x a 1 , y b 1 ) ( x a r , y b r ) } 1 s t k i n d { ( x b 1 , y avalG{(a1,b1)(ar,br)}valG{(xa1,yb1)(xar,ybr)}1stkind2 n d k i n d x , y F{(xb1,ya1)(xbr,yar)}2ndkindx,yF

Valiant souligne la raison du paragraphe précédent - à savoir que le type de transformation peut être obtenu en ajoutant à chaque nœud d'entrée ou de sortie un bord de poids 1 . Le type de transformation 2 ^ {nd} , dit Valiant, peut être obtenu en ajoutant aux nœuds d'entrée ou de sortie des chaînes de longueur 2 pondérées respectivement par x et y . 1 2 n d 2 x y1st12nd2xy

Je n'ai pas vraiment pu comprendre ces déclarations. Peut-être qu'ils sont déjà clairs, mais je ne vois toujours pas vraiment pourquoi la construction ci-dessus aide à atteindre des valeurs valG réalisables valGavec une base avec la nouvelle base qui est l'un des types ci-dessus.

Aidez-moi à les éclairer. Sur une note différente, existe-t-il des enquêtes sans tensor pour les algorithmes holographiques disponibles en ligne. La plupart d'entre eux utilisent des tenseurs qui, malheureusement, me font peur :-(

Meilleur -Akash

Réponses:


8

Les tenseurs (dans ce sens) ne sont que des tableaux de nombres, donc je ne pense pas que vous trouverez des sondages sans tensor à moins qu'ils ne soient complètement libres de calculs.

L'opération " " formalise à la fois les opérations de changement de base et d'attachement de gadgets à chaque noeud de sortie (en fait j'aime penser à un changement de base comme une sorte d'opération de gadget). Soit un matchgate de générateur avec la signature standard . C'est un tableau de nombres. La signature dans une nouvelle base est donnée par Γ M i 1 i 2i k = u ( Γ ) 2 kTkΓMi1i2ik=u(Γ)2k

(TkM)i1i2ik:=i1,,ikTi1i1TikikMi1i2ik

où est une matrice deux par deux décrivant la nouvelle base.T

Soit la porte de correspondance formée en ajoutant nouveaux sommets à , en les prenant comme nouvelles sorties et en les connectant aux anciennes sorties par un bord de poids . La nouvelle signature est alors où est la matrice . Si vous effectuez ensuite le changement de base vous obtenez la signature . k Γ x C k M C i j ( 0 x 1 0 ) T C - 1 T k MΓkΓxCkMCij(0x10)TC1TkM


Désolé pour la réponse tardive, j'étais occupé aujourd'hui. J'ai peur, en raison de ma compréhension limitée des tenseurs, je ne peux toujours pas vous comprendre. Je pensais que la signature d'une allumette de générateur dans la nouvelle base, était dérivée de la signature dans l'ancienne base par la solution à . Je pensais que Valiant avait mentionné dans son exemple qu'il avait simplement l'intention d'exprimer le vecteur perfMatch comme la somme des coefficients par rapport à la nouvelle base. Je ne peux pas être sûr cependant, pour mon manque évident de fond avec des tenseurs. u ( Γ ) S = S 0 T k × S = u ( Γ ) v a l G ( Γ , x )Su(Γ)S=S0Tk×S=u(Γ)valG(Γ,x)
Akash Kumar

[suite] En outre, je ne suis pas en mesure de suivre votre exemple avec . Pourriez-vous nous en dire un peu plus? Merci - AkashCkM
Akash Kumar

Je suis heureux d'essayer d'élaborer, mais je pourrais simplement ajouter une notation confuse. Pourriez-vous répondre à cette question en premier: si vous ajoutez des bords à chaque nœud de sortie, quel effet pensez-vous que cela aurait sur la signature? En outre, que peut être exprimé comme - Je ne me souviens pas au devraient être les coefficients réels de en termes de de Valiant . ( T - 1 ) k S T n 0 , n 1 , p 0 , p 1S0(T1)kSTn0,n1,p0,p1
Colin McQuillan

Je vais essayer d'exprimer ma confusion avec un exemple. Considérons un générateur qui est un chemin de longueur 3 où tous les 3 nœuds sont des nœuds o / p. La signature std de ce générateur est . Et la signature du gadget modifié avec 3 nouveaux nœuds connectés chacun à un nœud o / p dans la base std est . Pourriez-vous s'il vous plaît continuer avec cet exemple? Je voudrais voir comment agit sur . Merci de votre patiencex ( 1 , 1 , 1 , 1 1 , 1 , 1 , 0 ) C 3 w h e r e C = ( 0 , 1 ) t ( x = 1 , 0 ) t u ( Γ(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(Γ)
Akash Kumar

1
Soit un chemin d'ordre 3. Appelez les sommets x, y, z où y est le sommet du milieu. a une correspondance parfaite si Z est {x}, {z} ou {x, y, z}. Donc . Avec les bords attachés, la signature est . Essayez de calculer par exemple utilisant la formule ci-dessus. P 3Z u ( P 3 ) = ( 0 , 1 , 0 , 0 , 1 , 0 , 0 , 1 ) ( 1 , 0 , 0 , 1 , 0 , 0 , 1 , 0 ) ( C 3 u ( P 3 ) ) 1 , 2 , 2P3P3Zu(P3)=(0,1,0,0,1,0,0,1)(1,0,0,1,0,0,1,0)(C3u(P3))1,2,2=1
Colin McQuillan
En utilisant notre site, vous reconnaissez avoir lu et compris notre politique liée aux cookies et notre politique de confidentialité.
Licensed under cc by-sa 3.0 with attribution required.