Tersinir hesaplama , yalnızca termodinamik olarak tersinir işlemlere izin veren bir hesaplama modelidir. Landauer'ın biraz bilgi silmesinin ısı joule'lerini serbest bıraktığını belirten ilkesine göre , bu bire bir olmayan geçiş işlevlerini (örneğin, Boole AND ve OR operatörleri) dışlar. Kuantum hesaplamanın doğası gereği geri dönüşümlü olduğu iyi bilinmektedir, çünkü kuantum hesaplamada izin verilen işlemler üniter matrisler ile temsil edilmektedir.
Bu soru kriptografi ile ilgili. Gayri resmi olarak, "tersinirlik" kavramı, kriptografinin temel hedeflerine aforoz gibi görünerek şu soruyu akla getirir: "Kriptografinin doğal bir termodinamik maliyeti var mı?"
Bunun "Her şey kuantumda yapılabilir mi?" Sorusundan farklı bir soru olduğuna inanıyorum.
Onun içinde ders notları , Dr. Preskill devletler, "Bir geri dönüşümlü bilgisayarda geri dönüşü olmayan bir hesaplama taklit için genel bir strateji yoktur. Her geri dönüşü olmayan kapı girişlerini tespit ve çıkışları görmezden gelerek bir Toffoli kapıdan simüle edilebilir. Biz birikir ve tüm 'çöp kaydet "hesaplama adımlarını tersine çevirmek için gereken çıktı bitleri."
Bu, geri dönüşü olmayan operasyonların bu geri dönüşümlü kuantum simülasyonlarının bir girdi ve aynı zamanda bir "çizik" alan aldığını göstermektedir. Ardından, işlem bazı "kirli" çizik bitleri ile birlikte çıktı üretir. İşlemlerin tümü çıktı artı çöp bitlerine göre tersine çevrilebilir, ancak bir noktada çöp bitleri "atılır" ve daha fazla dikkate alınmaz.
Kriptografi, kapaklı tek yönlü işlevlerin varlığına bağlı olduğundan, sorunun alternatif bir ifadesi, "Ek çizik alanı olmadan yalnızca geri döndürülebilir mantıksal işlemler kullanılarak uygulanabilen herhangi bir kapaklı tek yönlü işlev var mı?" Olabilir. Öyleyse, yalnızca ters çevrilebilir işlemleri kullanarak (ve çizik alanı olmadan) rastgele bir trapdoor tek yönlü işlevi COMPUTE yapmak mümkün mü?