Una nozione di circuiti quantistici monotoni


27

Nella complessità computazionale esiste un'importante distinzione tra calcoli monotone e generali e un famoso teorema di Razborov afferma che 3-SAT e persino MATCHING non sono polinomiali nel modello monotono dei circuiti booleani.

La mia domanda è semplice: esiste un analogo quantico per circuiti monotone (o più di uno)? Esiste un teorema quantistico di Razborov?


10
Ecco i miei due centesimi: il salto dai circuiti classici ai circuiti quantistici può essere suddiviso in due passaggi aggiungendo classici circuiti reversibili nel mezzo. I circuiti reversibili classici sono quelli in cui sono ammessi solo cancelli reversibili. Ad esempio il cancello Toffoli è un cancello universale per il calcolo reversibile. Non so come definire la nozione di monotono per questi circuiti. Mi sembra che la definizione di circuiti reversibili classici monotoni sia un prerequisito per la definizione di circuiti quantistici monotoni.
Robin Kothari,

6
(1) Un circuito reversibile (classico) implementa una biiezione su {0,1} ^ n, e chiaramente l'unica biiezione monotona è la mappatura dell'identità. Quindi non penso che sia ragionevole definire "circuiti reversibili monotone" in modo non banale.
Tsuyoshi Ito,

3
(2) Non sono sicuro del caso quantistico. Se possiamo definire "canali quantistici monotoni", allora sarà naturale definire "circuiti quantistici monotoni" come circuiti quantistici il cui set di gate è scelto da canali quantistici monotoni, proprio come i circuiti classici monotoni sono circuiti il ​​cui set di gate è scelto da funzioni monotone .
Tsuyoshi Ito,

2
@RobinKothari, TsuyoshiIto: L'importanza della reversibilità al calcolo quantistico deriva proprio dal caso speciale dell'evoluzione di Schrödinger di un sistema chiuso. Quando parliamo di porte AND e OR, tuttavia, stiamo prendendo in considerazione un sistema fisico astratto che è una caricatura delle porte logiche che sono nei computer; e quelle porte funzionano proprio perché non sono sistemi chiusi. Se ci permettiamo di parlare di porte AND e OR di per sé, penso che sia abbastanza ragionevole alzare la convenzione di considerare anche i sistemi chiusi per la questione computazionale quantistica.
Niel de Beaudrap,

3
@Niel, Tsuyoshi: Immagino di aver pensato che un circuito quantistico monotono sarebbe ancora un circuito quantico in senso tradizionale (cioè unità unitarie seguite da una misurazione). Ma seguendo l'argomento di Niel, immagino abbia senso eliminare questo vincolo. Quindi il mio commento precedente non si applica davvero allora.
Robin Kothari,

Risposte:


17

Stai davvero facendo due domande diverse e speri che ci sia una sola risposta che risponda ad entrambe: (1) Quali sono le nozioni naturali dei circuiti monotoni quantistici? (2) Come sarebbe un risultato quantico in stile Razborov basato su reticolo?

Non è ovvio come raggiungere entrambi allo stesso tempo, quindi descriverò ciò che a me sembra una nozione ragionevole di circuiti monotonici quantistici (senza indicare se esiste o meno un risultato Razborov corrispondente) e una nozione completamente diversa di che aspetto avrebbe una congettura quantistica "naturale" di Razborov (senza indicare se è probabile che sia vera).

Cosa vogliamo dal quantum

Come ho osservato nei commenti, penso che non sia necessario cercare di spremere la nozione di circuiti monotonici in uno stampo di unità. Sia nel fatto che l'evoluzione nel tempo non debba preservare la base standard, sia che esistano molteplici basi di misurazione in cui i risultati possono essere intrecciati, penso che la sine qua non del calcolo quantistico sia il fatto che il la base standard non è l'unica base. Anche tra gli stati del prodotto, in alcune implementazioni è definito solo da una scelta di frame di riferimento.

Ciò che dobbiamo fare è considerare le cose in modo tale da rimuovere la base standard dal suo tradizionale luogo privilegiato - o, in questo caso, il più possibile mantenendo una nozione significativa di monotonia.

Un semplice modello di circuiti monotoni quantistici

Si consideri un modello circuitale implicito nel commento di Tsuyoshi Ito sui "canali quantistici monotone" (e che è praticamente ciò che si deve fare se si desidera una nozione di "circuito" che non si limiti all'evoluzione unitaria).

Sia H lo spazio degli operatori eremiti su C2 (in modo che contenga tutti gli operatori di densità su un qubit). Come definiremmo una porta monotona quantistica G:HaHbHc da due qubit di input a,b a un qubit di output c , in modo tale che non sia effettivamente un gate monotono classico? Penso che sia semplice affermare che l'output non dovrebbe essere limitato a |00|o|11|o loro miscele; bu che per essere "monotono", dobbiamo obbligare i1|Tra(ρab)|1e 1|Trb(ρab)|1incremento, il valore di1|G(ρab)|1deve essere non decrescente. Per un gate a due qubit di input, ciò significa cheGdeve essere implementabile in linea di principio come

  1. eseguire una misurazione a due qubit rispetto ad alcune basi ortonormali {|00,|μ,|ν,|11} , dove |μ,|ν coprire l'sottospazio di Hamming peso 1, e

  2. producendo come output uno stato ρ{ρ00,ρμ,ρν,ρ11} corrispondente al risultato misurato, dove per ogni .1|ρ00|11|ρλ|11|ρ11|1λ{μ,ν}

I circuiti sono solo composizioni di questi nel modo ragionevole. Potremmo anche consentire il fan-out, sotto forma di circuiti che incorporano e ; dovremmo almeno consentire queste mappe all'ingresso, per consentire a ciascun bit di ingresso (nominalmente classico) di essere copiato.|0|000|1|111

Sembra ragionevole considerare l'intero continuum di tali cancelli o limitarsi a una raccolta finita di tali cancelli. Ogni scelta dà origine a una "base quantistica monotona" diversa per i circuiti; si può considerare quali proprietà hanno diverse basi monotone. Gli stati possono essere scelti in modo completamente indipendente, soggetto al vincolo di monotonicità; sarebbe indubbiamente interessante (e probabilmente pratico limitare l'errore) impostaree, anche se non vedo alcun motivo per richiederlo nella teoria. Ovviamente AND e OR sono porte di questo tipo, doveeρ00,ρμ,ρν,ρ11ρ00=|00|ρ11=|11|ρμ=ρν=|00|ρμ=ρν=|11|rispettivamente, qualunque cosa si scelga o .|μ|ν

Per ogni costante k , si potrebbero anche considerare le basi del gate, comprese le porte k -input-one-output. L'approccio più semplice in questo caso sarebbe probabilmente quello di consentire a Gates che può essere implementato come sopra, consentendo qualsiasi decomposizione dei sottospazi di ogni peso di Hamming , e di richiedere che per ciascunoG:HkHVwH2k0wk

max|ψVw1|G(|ψψ|)|1min|ψVw+11|G(|ψψ|)|1
0w<k . Non è chiaro quanta potenza computazionale aggiuntiva questo ti darebbe (nemmeno nel caso classico).

Non so se c'è qualcosa di interessante da dire su tali circuiti oltre al caso classico, ma questa mi sembra la definizione di candidato più promettente di un "circuito monotono quantistico".

Una variante quantistica del risultato di Razborov

Considera l' esposizione di Tim Gowers dei risultati di Alon & Boppana (1987), Combinatorica 7 pagg. 1–22 che rafforzano i risultati di Razborov (e rendono esplicite alcune delle sue tecniche) per la complessità monotona di CLIQUE. Gowers lo presenta in termini di costruzione ricorsiva di una famiglia di insiemi, a partire dagli " " del cubo booleano per ogni . Se rimuoviamo la posizione privilegiata della base standard nei set di basi, analogamente al Lemma locale Quantum Lovász , potremmo considerare un sottospazio di

Ej={x{0,1}n:xj=1}
1jnH2ncorrispondere a una proposizione binaria (se uno stato appartiene al sottospazio o è invece ortogonale ad esso) che potrebbe derivare dalla misurazione. Ad esempio, possiamo considerare sottospazi dati da Permettiamo i quantum-logico analoghi di congiunzione e disgiunzione di sottospazi: nAjH2n
Aj=UjEj, for each 1jnwhere Ej:={|x:xEj};Uj:H2nH2n a unitary of bounded complexity.
AB=AB;AB=A+B={a+b:aA,bB}.
Chiediamo quindi per quanto tempo è necessaria una costruzione ricorsiva di congiunzioni e disgiunzioni di spazi per ottenere uno spazio , in modo tale che il proiettore su differisca solo leggermente dal proiettore sullo spazio attraversato dalle funzioni indicatore di grafici aventi cricche di dimensione ; per esempio, in modo cheCΠCCΠK(r)rΠCΠK(r)<1/poly(n). La parte monotonica è coinvolta nelle operazioni logiche quantistiche e anche le proposizioni primitive sull'input sono quantistiche.

Nel caso generale, c'è un problema nel trattare questo come un problema computazionale: la disgiunzione non corrisponde a nessuna conoscenza che potrebbe essere ottenuta con certezza da misurazioni su un numero finito di copie usando misure in scatola nera per A e B da solo, a meno che non siano immagini di proiettori pendolari. Questo problema generale può ancora essere trattato come un risultato interessante sulla complessità geometrico-combinatoria e potrebbe dare origine a risultati relativi ai frustrati Hamiltionians locali. Tuttavia, potrebbe essere più naturale richiedere solo che i sottospazi Ajderivano da proiettori pendolari, nel qual caso la disgiunzione è solo la classica OR dei risultati di misurazione di quei proiettori. Quindi potremmo richiedere che gli unitari siano tutti uguali, e questo diventa un problema su un circuito unitario (che dà origine agli "eventi primitivi") con post-elaborazione classica monotona (che esegue le operazioni logiche su quegli eventi).Uj

Si noti inoltre che se non imponiamo ulteriori restrizioni agli spazi , potrebbe trattarsi di un sottospazio con sovrapposizione molto elevata con dello spazio attraversato da stati di base standard , quali sono quelle stringhe binarie in cui .AjEkxE¯kxk=0

  • Se questa possibilità ti rende schizzinoso, puoi sempre richiedere che abbia un angolo di separazione da qualsiasi di almeno (in modo che i nostri sottospazi primitivi siano, nel peggiore dei casi, approssimativamente imparziali dai sottospazi in cui uno dei bit è impostato su 1).AjEkπ21/poly(n)

  • Se non imponiamo tale restrizione, mi sembra che ammettere sottospazi con una sovrapposizione elevata con sarebbe comunque un ostacolo per approssimare CLIQUE (r); o saremmo più o meno limitati a considerare l' assenza di un bordo particolare (piuttosto che la sua presenza), o saremmo costretti a ignorare del tutto uno dei bordi. Quindi, non vedo che sia estremamente importante imporre alcuna restrizione a , tranne forse che sono tutte le immagini di un set di proiettori pendolari, se il proprio obiettivo è considerare come "valutare monotonicamente CLIQUE da semplici proposizioni quantiche ". Nel peggiore dei casi, equivarrebbe in modo classico a consentire le porte NOT all'ingresso (e che tutte le uscite di ventilazione si verifichino dopo la negazione).EkAj

Ancora una volta, non mi è chiaro se la sostituzione dei set di basi con sottospazi arbitrari di dia origine a un problema più interessante rispetto al semplice utilizzo dei sottospazi ; sebbene se ci limitassimo al caso delle formule CNF (sia nel caso pendolarismo che non pendolarismo), i risultati che otteniamo corrisponderebbero a qualche nozione di complessità di un hamiltoniano privo di frustrazione il cui stato fondamentale era costituito da una base standard stati che rappresentano cricche.H2nEj


il tuo schizzo mi fa meravigliare. esiste un concetto di monotonia per valori complessi? forse studierò di più le vere carte sui circuiti aritmetici. potrebbe essere qualcosa di semplice come<? o per un gate complesso a due ingressi e come input, output,e? |x||y|x1x2y|y|>|x1||y|>|x2|
vzn

Oops, ho fatto un errore ... Avevo programmato di dare la grazia a Niel, ma ho cliccato nel posto sbagliato. Ti devo 200 reputazioni Niel :).
Gil Kalai,

C'è un modo per passarlo a Niel?
Joe Fitzsimons,

@Joe, puoi mettere una nuova taglia sulla domanda e assegnarla a Niel.
Kaveh,

@Kaveh: Va bene, lo farà. Non posso assegnarlo per 24 ore, ma lo assegnerò allora.
Joe Fitzsimons,

7

Come evidenziato dai commenti di Robin e Tsuyoshi, la nozione di circuiti monotoni sembra facilmente estendibile ai circuiti quantistici.

Per avere una definizione significativa del circuito monotono quantistico, dobbiamo scegliere un ordinamento su stati quantistici rispetto al quale è definita la monotonia. Classicamente un'opzione ragionevole (e una che conduce alla nozione normale di circuiti monotonici), è il peso di Hamming, ma consideriamo un ordinamento dato da una funzione arbitraria .f

Poiché l'evoluzione di un sistema quantistico chiuso è unitaria (che possiamo supporre sia data da ), allora per ogni stato tale che esiste uno stato alternativo tale che ma per il quale , e quindi l'evoluzione non è monotonica.U|ψf(U|ψ)>f(|ψ)|ϕf(|ϕ)>f(|ψ)f(U|ψ)>f(U|ϕ)U

Quindi gli unici circuiti monotonici rispetto a sono quelli che per tutti . Pertanto, qualsiasi set di porte monotonico rispetto a è composto da porte che commutano con .ff(U|ψ)=f(|ψ)|ψff

Ovviamente, gli insiemi di porte che possono soddisfare questo dipendono dalla definizione di . Se è costante, tutti i set di porte sono monotonici rispetto ad essa. Tuttavia, se scegliamo come peso di Hamming degli stati nella base computazionale (un'estensione in qualche modo naturale della usata nel caso classico), otteniamo una struttura interessante. La restrizione imposta richiede che il peso di Hamming rimanga invariato. Le operazioni che mantengono questo importo in operazioni diagonali o SWAP parziali o combinazioni di queste. Questa struttura si presenta abbastanza spesso in fisica (in modelli a legame stretto ecc.), Ed è simile al problema di scattering del Bosone studiato da Aaronson e Arkhipovffff, sebbene non identico (è un problema di scattering leggermente diverso). Inoltre contiene circuiti per IQP e quindi non dovrebbe essere simulabile in modo efficiente in modo classico.


1
(1) Non penso che la tua nozione di "monotono quantico" sia una generalizzazione della nozione di monotonicità per le funzioni booleane classiche. Ad esempio, la porta AND è monotona perché x_1 ≤ y_1 e x_2 ≤ y_2 implicano AND (x_1, x_2) ≤ AND (y_1, y_2), dove x_1, x_2, y_1, y_2 ∈ {0,1}. Si noti che il confronto è tra due ingressi o tra due uscite, non tra ingresso e uscita.
Tsuyoshi Ito,

(2) Per ogni evenienza, non ho detto che la nozione di circuiti monotoni non si estenda facilmente ai circuiti quantistici (né ho detto che lo sia). Ho appena detto che rispetto al caso dei circuiti reversibili, in cui la nozione di circuiti monotoni non è interessante, il caso dei circuiti quantistici non è chiaro.
Tsuyoshi Ito,

1
@JoeFitzsimons: penso che il peso di Hamming si adatti abbastanza bene al requisito della monotonicità, o (più precisamente) che la proprietà di non diminuire mentre "accendi" i bit da zero a uno è esattamente l'idea che gli informatici si preoccupano quando si riferiscono a circuiti monotonici. Potresti considerare le variazioni in cui la funzione calcolata è una funzione non decrescente di alcune funzioni a valore reale delle stringhe di bit, come la tua proposta di reindicizzazione; ma questo è anche un significativo distacco da ciò a cui gli scienziati informatici sono interessati ad eccezione di casi fortemente motivati.
Niel de Beaudrap,

1
Il solito ordine parziale su stringhe di bit (il confronto elementwise) sembra molto più naturale rispetto al confronto con i loro pesi di Hamming per me, ma se pensi che il peso di Hamming sia naturale, non discuterò. Per quanto riguarda il terzo paragrafo, ho ancora difficoltà a seguire la tua argomentazione, ma credo che mi manchi qualcosa di semplice e ho solo bisogno di un po 'di tempo e uno sguardo nuovo a questo.
Tsuyoshi Ito,

1
@NieldeBeaudrap: sono d'accordo. Non intendevo suggerire di pensare diversamente.
Joe Fitzsimons,

-6

poni fondamentalmente due domande di difficoltà ampiamente divergenti, alla frontiera di due grandi campi, vale a dire circuiti booleani e informatica QM, sulla possibilità di quello che a volte viene chiamato un "teorema del ponte" in matematica:

  • analogo quantico dei circuiti monotoni

  • analogo quantico di Razborovs thm

la breve e candida risposta è no o non così lontana .

poiché (1), una domanda non così difficile, ma apparentemente ancora considerata raramente, ha rivelato il seguente riferimento che potrebbe essere preso come un caso correlato in letteratura.

Durezza di approssimazione per problemi quantistici di Gharibian e Kempe

considerano alcuni problemi "monotone" in un contesto quantico, ad esempio QMSA, "Quantum Monotone Minimum Satisfying Assignment, QMSA", ovvero un analogo SAT QM; (anche un altro problema Parola di peso minimo monotono quantico, QMW) e mostrano alcuni risultati di durezza di approssimazione, cioè limiti inferiori. non considerano i circuiti quantistici monotoni di per sé, ma un'idea potrebbe essere che un circuito quantistico o un algoritmo che risolva la funzione monotona QMSA può essere preso come un analogo QM.

quanto a (2) sarebbe un risultato molto avanzato se esistesse, che non sembra "finora". Il thm di Razborov è fondamentalmente un risultato di tipo "collo di bottiglia" con limite inferiore considerato una svolta distintiva e un risultato pressoché ineguagliabile nella teoria dei circuiti (monotona).

in modo approssimativo sì, certo, ci sono alcuni colli di bottiglia nel limite inferiore che si trovano nell'informatica QM, ad esempio relativi a teoremi di prodotto diretti, per un sondaggio vedi ad es.

Algoritmi quantistici, limiti inferiori e compromessi spazio-tempo di Spalek

tuttavia, probabilmente un limite inferiore di calcolo QM analogo migliore metterebbe un limite inferiore sul numero di operazioni qubit o eventualmente basato su porte "complete" come porte Toffoli per una funzione monotona. non sono a conoscenza di prove di questo tipo.

un altro approccio potrebbe limitare l'analisi a speciali porte quantiche AND e OR con ulteriori bit "ancilla" aggiunti per rendere reversibili le porte.


ps è anche interessante notare che razborovs thm coinvolge quelli che a volte vengono chiamati circuiti / gate "approssimatori" e la durezza di approssimazione è probabilmente / apparentemente connessa al concetto di circuito / gate di approssimatore in modi che non sono stati mappati ....
vzn

6
piuttosto che aggiungere commenti, mi preoccuperei per i 7 voti negativi ...
Alessandro Cosentino,

2
??? colpevole fino a prova contraria? =)
vzn,
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.