Algoritmi olografici - Equivalenza delle basi


10

Stavo esaminando il seminario di Les Valiant e mi sono trovata in difficoltà con la proposizione 4.3 a pagina 10 del documento.

Non riesco a capire perché se esiste un generatore con determinati valori per con una base , allora esiste un generatore con gli stessi valori per qualsiasi base ( ) o ( ) per ogni .valG{(a1,b1)(ar,br)}valG{(xa1,yb1)(xar,ybr)}1stkind{(xb1,ya1)(xbr,yar)}2ndkindx,yF

Valiant sottolinea il motivo nel paragrafo precedente: il tipo di trasformazione può essere ottenuto aggiungendo a ciascun nodo di input o output un bordo di peso . La tipo di trasformazione, Valiant dice, può essere realizzato aggiungendo al ingresso o uscita nodi catene di lunghezza ponderate con ed , rispettivamente.1st12nd2xy

Non sono stato davvero in grado di capire queste affermazioni. Forse sono già chiari, ma ancora non riesco davvero a capire perché il costrutto di cui sopra aiuta a raggiungere qualsiasi valore realizzabile con una base con la nuova base che è uno dei tipi di cui sopra.valG

Per favore, aiutami a illuminarmeli. In un'altra nota, ci sono alcuni sondaggi senza tensore per algoritmi ologafici disponibili online. Molti di loro usano tensori che, purtroppo, mi spaventano :-(

Best-Akash

Risposte:


8

I tensori (in questo senso) sono solo matrici di numeri, quindi non credo che troverai sondaggi gratuiti, a meno che non siano completamente privi di calcoli.

L'operazione " " formalizza entrambe le operazioni di modifica della base e di collegamento dei gadget a ciascun nodo di output (in effetti mi piace pensare a un cambio di base come una sorta di operazione gadget). Sia un generatore di fiammiferi con firma standard . Questo è un array di numeri. La firma in una nuova base è data daTkΓMi1i2ik=u(Γ)2k

(TkM)i1i2ik:=i1,,ikTi1i1TikikMi1i2ik

dove è una matrice due per due che descrive la nuova base.T

Sia il matchgate formato aggiungendo nuovi vertici a , assumendoli come nuovi output e collegandoli ai vecchi output con un bordo di peso . Quindi la nuova firma è dove è la matrice . Se quindi si esegue la modifica della base si ottiene la firma .ΓkΓxCkMCij(0x10)TC1TkM


Ci scusiamo per la risposta tardiva, oggi sono stato occupato. Temo che, a causa della mia limitata comprensione dei tensori, non riesco ancora a capirti. Pensavo che la firma di un generatore matchgate nella nuova base, fosse derivata dalla firma nella vecchia base dalla soluzione a . Pensavo che Valiant menzionato nel suo esempio che intendeva semplicemente esprimere il vettore perfMatch come la somma dei coefficienti rispetto alla nuova base. Non posso esserne sicuro, per la mia ovvia mancanza di background con i tensori. Su(Γ)S=S0Tk×S=u(Γ)valG(Γ,x)
Akash Kumar,

[continua] Inoltre, io non sono in grado di seguire il vostro esempio con . Potresti per favore elaborare un po 'di più? Grazie - AkashCkM
Akash Kumar il

Sono felice di provare a elaborare, ma potrei semplicemente aggiungere una notazione confusa. Potresti rispondere prima a questa domanda: se aggiungi bordi ad ogni nodo di output, quale effetto pensi che ciò avrebbe sulla firma? Inoltre, che può essere espresso come - Non riesco a ricordare a mano a mano quali dovrebbero essere i coefficienti effettivi di in termini di di Valiant . S0(T1)kSTn0,n1,p0,p1
Colin McQuillan,

Proverò a esprimere la mia confusione con un esempio. Considera un generatore che è un percorso di lunghezza 3 in cui tutti e 3 i nodi sono nodi o / p. La firma di questo generatore è . E la firma del gadget modificato con 3 nuovi nodi collegati ciascuno a un nodo O / P nella base è . Potresti continuare con questo esempio? Vorrei vedere come fa agisce su di te . Grazie per la tua pazienza(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
Lascia che sia un percorso dell'ordine 3. Chiama i vertici x, y, z dove y è il vertice centrale. ha una corrispondenza perfetta se Z è {x}, {z} o {x, y, z}. Quindi . Con i bordi attaccati la firma è . Prova ad esempio a calcolare usando la formula sopra. P3P3Zu(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,
Utilizzando il nostro sito, riconosci di aver letto e compreso le nostre Informativa sui cookie e Informativa sulla privacy.
Licensed under cc by-sa 3.0 with attribution required.