Il calcolo reversibile è un modello computazionale che consente solo operazioni termodinamicamente reversibili. Secondo il principio di Landauer, che afferma che la cancellazione di un po 'di informazioni rilascia joule di calore, questo esclude le funzioni di transizione che non sono one-to-one (ad esempio, gli operatori booleani AND e OR). È noto che il calcolo quantistico è intrinsecamente reversibile perché le operazioni consentite nel calcolo quantistico sono rappresentate da matrici unitarie.
Questa domanda riguarda la crittografia. Informalmente, la nozione di "reversibilità" sembra un anatema agli obiettivi fondamentali della crittografia, suggerendo così la domanda: "La crittografia ha un costo termodinamico intrinseco?"
Credo che questa sia una domanda diversa rispetto a "Si può fare tutto in quantistica?"
Nei suoi appunti , il Dr. Preskill afferma: "Esiste una strategia generale per simulare un calcolo irreversibile su un computer reversibile. Ogni cancello irreversibile può essere simulato da un cancello di Toffoli fissando gli input e ignorando gli output. Accumuliamo e salviamo tutti i rifiuti" "bit di output necessari per invertire i passaggi del calcolo."
Ciò suggerisce che queste simulazioni quantistiche reversibili di operazioni irreversibili prendono un input e anche uno spazio "scratch". Quindi, l'operazione genera output insieme ad alcuni bit scratch "sporchi". Le operazioni sono tutte reversibili rispetto all'output più bit di immondizia, ma a un certo punto, i bit di immondizia vengono "eliminati" e non considerati ulteriormente.
Poiché la crittografia dipende dall'esistenza di funzioni unidirezionali della botola, un'affermazione alternativa della domanda potrebbe essere: "Esistono funzioni unidirezionali della botola che possono essere implementate usando solo operazioni logiche reversibili, senza ulteriore spazio di memoria?" In tal caso, è anche possibile calcolare una funzione unidirezionale di botola unidirezionale usando solo operazioni reversibili (e senza spazio di lavoro)?