Piuttosto che prove empiriche, con quali principi formali abbiamo dimostrato che il calcolo quantistico sarà più veloce del calcolo tradizionale / classico?
Piuttosto che prove empiriche, con quali principi formali abbiamo dimostrato che il calcolo quantistico sarà più veloce del calcolo tradizionale / classico?
Risposte:
Questa è una domanda che è un po 'difficile da disimballare se non si ha familiarità con la complessità computazionale. Come la maggior parte del campo della complessità computazionale, i risultati principali sono ampiamente ritenuti ma congetturali.
Le classi di complessità tipicamente associate a un calcolo classico efficiente sono (per algoritmi deterministici) e (per randomizzati). La controparte quantistica di queste classi è . Tutte e tre le classi sono sottoinsiemi di (una classe molto potente). Tuttavia, i nostri attuali metodi di dimostrazione non sono abbastanza forti per dimostrare definitivamente che non è la stessa cosa di . Pertanto, non sappiamo nemmeno come separare formalmente da - poichéB P P B Q P P S P A C E P P S P A C E P B Q P P ⊆ B Q P ⊆ P S P A C E P P S P A C E P ≠ B Q P, separare queste due classi è più difficile del già formidabile compito di separare da . (Se potessimo provare , otterremmo immediatamente una prova che P ≠ P S P A C E , quindi provare P ≠ B Q P deve essere almeno duro quanto il già-molto- difficile problema di dimostrare P ≠ P S P A C E). Per questo motivo, nell'attuale stato dell'arte, è difficile ottenere una rigorosa dimostrazione matematica che dimostri che il calcolo quantico sarà più veloce del calcolo classico.
Pertanto, di solito facciamo affidamento su prove circostanziali per la separazione delle classi di complessità. La nostra prova più forte e la più famosa è l'algoritmo di Shor, che ci permette di fattore . Al contrario, non conosciamo alcun algoritmo che possa tener conto di B P P - e la maggior parte delle persone crede che non esista; questo è uno dei motivi per cui usiamo RSA per la crittografia, per esempio. In parole povere, ciò implica che è possibile per un computer quantistico fare un fattore in modo efficiente, ma suggerisce che potrebbe non essere possibile per un computer classico fare un fattore in modo efficiente. Per questi motivi, il risultato di Shor ha suggerito a molti che B Q P è strettamente più potente di B P P(e quindi anche più potente di ).
Non conosco argomenti seri secondo cui , tranne quelli che credono nel collasso di classi di complessità molto più grandi (che sono una minoranza della comunità). Gli argomenti più seri che ho sentito contro il calcolo quantistico provengono da posizioni più vicine alla fisica e sostengono che B Q P non catturi correttamente la natura del calcolo quantistico. Questi argomenti in genere affermano che gli stati coerenti macroscopici sono impossibili da mantenere e controllare (ad es. Perché esiste un blocco stradale fondamentale ancora sconosciuto), e quindi gli operatori su cui si basa B Q P non possono essere realizzati (nemmeno in linea di principio) nel nostro mondo .
Se iniziamo a passare ad altri modelli di calcolo, un modello particolarmente semplice con cui lavorare è la complessità delle query quantistiche (la versione classica che corrisponde ad essa è la complessità dell'albero decisionale). In questo modello, per le funzioni totali possiamo dimostrare che (per alcuni problemi) gli algoritmi quantistici possono raggiungere uno speedup quadratico, anche se possiamo anche mostrare che per le funzioni totali non possiamo fare meglio di un power-6 speed e credere che quadratic sia il migliore possibile. Per funzioni parziali, è una storia totalmente diversa, e possiamo dimostrare che sono possibili accelerazioni esponenziali. Ancora una volta, questi argomenti si basano sulla convinzione che abbiamo una discreta comprensione della meccanica quantistica e non esiste alcuna barriera teorica magica sconosciuta per impedire il controllo degli stati quantistici macroscopici.
Per la complessità computazionale, non vi è alcuna prova che i computer quantistici siano migliori dei computer classici a causa di quanto sia difficile ottenere limiti inferiori sulla durezza dei problemi. Tuttavia, ci sono impostazioni in cui un computer quantistico dimostra di fatto meglio di un computer classico. Il più famoso di questi esempi è nel modello blackbox in cui è possibile accedere tramite blackbox a una funzione e si desidera trovare la x unica per cui f restituisce 1. La misura della complessità in questo caso è il numero di chiamate a f. Classicamente, non si può fare di meglio che indovinare a caso, il che richiede in media Ω ( 2 n ) query a f . Tuttavia, usando l'algoritmo di Grover puoi ottenere lo stesso compito in O ( √.
Per ulteriori separazioni dimostrabili, puoi esaminare la complessità della comunicazione in cui sappiamo come dimostrare limiti inferiori. Ci sono compiti che due computer quantistici che comunicano attraverso un canale quantistico possono svolgere con meno comunicazione rispetto a due computer classici. Ad esempio, il calcolo del prodotto interno di due stringhe, uno dei problemi più difficili nella complessità della comunicazione, ha una velocità quando si utilizzano computer quantistici.
Artem Kaznatcheev fornisce un eccezionale riassunto di alcuni dei motivi principali per cui ci aspettiamo che i computer quantistici siano fondamentalmente più veloci dei computer classici, per alcune attività.
Se desideri qualche lettura aggiuntiva, puoi leggere le note di Scott Aaronson sull'informatica quantistica , che discutono dell'algoritmo Shor e di altri algoritmi che ammettono algoritmi quantistici efficienti ma non sembrano ammettere alcun algoritmo classico efficiente.
V'è un dibattito sul fatto che i computer quantistici possono essere costruite in pratica: è BQP un modello accurato della realtà, oppure c'è qualcosa che ci potrebbe impedire di costruire un computer quantico, sia per ragioni di ingegneria oa causa di barriere fisiche fondamentali? Puoi leggere gli appunti di Scott Aaronson che riassumono gli argomenti sollevati da altri e anche leggere il suo post sul blog con il suo punto di vista su quel dibattito , ma probabilmente non avremo una risposta definitiva fino a quando qualcuno non costruirà effettivamente un computer quantico in grado di svolgere compiti non banali (come il fattore numeri grandi).
L'edificio di base del calcolo quantistico è la trasformazione Unitaria, questo è lo strumento principale per avere la velocità in molti algortitmi in letteratura. Gli algoritmi che usano Unitaries usano proprietà teoriche numeriche / numeriche dei problemi a portata di mano: ricerca di periodi, accelerazioni in passeggiate quantistiche, ecc. Le accelerazioni in problemi naturali sono ancora sfuggenti - come sottolineato. Se il factoring di grandi numeri sia la fine in sé per il calcolo quantistico, è ancora una domanda aperta. Altre domande aperte come QNC, la sua separazione da NC potrebbe ancora fornire indizi sfuggenti su ciò che i computer quantistici potrebbero fare. Ma, se l'obiettivo del computer quantistico è di fattorizzare un gran numero - potrebbe essere fattibile, di per sé in qualche futuro, con implicazioni spaventose (ovviamente sulla privacy personale)!
Volevo rispondere ai commenti di Niel de Beaudrap in merito alla fonte di accelerazioni quantistiche, ma non posso commentare. Non so se posso pubblicare una risposta.
A mio avviso, tutte le accelerazioni quantistiche sono dovute all'entanglement. L'unico algoritmo in cui possiamo fare qualcosa di più veloce dei computer classici senza usare gli stati intrecciati è Deutsch-Jozsa per calcolare la parità di due bit. Se discutiamo di accelerazioni asintotiche, è necessario l'entanglement, e in effetti molto. Se un algoritmo quantistico necessita di una piccola quantità di entanglement, può essere simulato in modo efficiente in modo classico. Posso sottolineare il documento http://arxiv.org/abs/quant-ph/0201143 , che discute in modo specifico l'algoritmo di factoring e la quantità di entanglement richiesta.
questa è quasi la stessa domanda chiave che sta guidando qualcosa come centinaia di milioni, o forse miliardi di dollari di iniziative di ricerca nel campo del QM sia pubbliche che private in tutto il mondo. la domanda viene attaccata allo stesso tempo sia a livello sperimentale che teorico e i progressi da entrambe le parti passano dall'altra parte.
la domanda tenta di separare nettamente gli aspetti teorici e pragmatici / sperimentali di questa domanda, ma uno sperimentatore o un ingegnere sosterrebbero che sono strettamente accoppiati, inseparabili, e che il progresso storico finora sulla sfida ne è la prova / prova.
il punto seguente non vincerà certamente alcun concorso di popolarità (probabilmente a causa in qualche modo del noto / osservato pregiudizio secondo cui i risultati negativi vengono raramente riportati scientificamente), ma vale la pena notare che esiste un'opinione di minoranza / contrarian promossa da vari credibili , anche i ricercatori d'élite che il QM computing può o non si materializzerà mai fisicamente a causa di sfide insormontabili di implementazione, e c'è anche qualche giustificazione / analisi teorica per questo (ma forse più dalla fisica teorica che dalla TCS). (e nota che alcuni possono avere dubbi ma non sono disposti a mettere in discussione il "paradigma dominante"). Gli argomenti principali sono basati sulla rumorosità intrinseca del QM, sul principio di incertezza di Heisenberg e sul disordine sperimentale fondamentale delle configurazioni del QM, ecc.
ora ci sono 2 decenni abbastanza solidi di ricerca sia teorica che sperimentale e la fazione di minoranza sosterrebbe che i risultati finora non sono incoraggianti, poco brillanti, o addirittura ora stanno sfiorando una risposta negativa definitiva.
uno dei sostenitori più espliciti della visione negativa (al limite dell'estremo / irascibile!) è Dyakonov ma che comunque sostiene il caso con passione basandosi su tutti gli angoli:
Stato dell'arte e prospettive per il calcolo quantistico / Dyakonov
Prospettive di calcolo quantistico: estremamente incerto / Dyakonov
si può accusare Dyakonov di quasi un polemismo, ma serve da contrappunto quasi simmetrico ad alcuni sostenitori del QM che hanno una fervida credenza nella posizione opposta (che non c'è quasi assolutamente dubbio sulla sua fattibilità futura / eventuale / inevitabile). un altro grande teorico che sostiene le limitazioni intrinseche nell'informatica QM (basato sul rumore) è Kalai. ecco un ampio dibattito tra lui e Harrow sull'argomento.
è anche naturale tracciare almeno un'analogia approssimativa con un altro massiccio / complesso progetto di fisica che finora non ha raggiunto il suo obiettivo finale dopo decenni di tentativi e predizioni ottimistiche precoci, quello di esperimenti di fusione che generano energia .