Klasik olarak, hesaplama hakkında düşünmenin 3 popüler yolu vardır: Turing makinesi, devreler ve lambda-calculus (Bunu, en işlevsel görünümler için bir seçenek olarak kullanıyorum). Her 3 farklı tip problemler hakkında düşünmenin verimli yolları olmuştur ve bu nedenle farklı alanlar farklı formülasyonlar kullanmaktadır.
Ancak kuantum hesaplama ile çalışırken, sadece devre modelini düşünüyorum. Asıl olarak, QC kuantum Turing makineleri olarak tanımlandı, ancak anladığım kadarıyla, bu tanım (her ikisi de dikkatli bir şekilde formüle edildiğinde kuantum devrelerine eşdeğer olsa da) yaklaşık olarak verimli değildi. 3. formülasyon (lambda-calculus veya benzeri fonksiyonel ayarlar açısından) Ben tamamen aşina değilim. Dolayısıyla benim sorularım:
Kuantum lambda-hesabının (veya diğer işlevsel paradigmaların) faydalı tanımları nelerdir?
Hangi QIP alt alanları devre formülasyonu yerine bu formülasyonu kullanma konusunda daha derin bir fikir edinir?
notlar
Hücresel otomatlar, RAM modelleri vb. Gibi diğer popüler formalizmi görmezden geldiğimin farkındayım. Bunları çoğunlukla dışlarım çünkü klasik olarak, bu modeller açısından düşünme konusunda deneyime sahip değilim, nicel olarak bile .
Kuantum ayarında ölçüm tabanlı, topolojik ve adyabatik gibi popüler alternatiflerin de bulunduğunun farkındayım. Onları tartışmıyorum çünkü klasik meslektaşlara aşina değilim.