Klasycznie istnieją 3 popularne sposoby myślenia o obliczeniach: maszyna Turinga, obwody i rachunek lambda (używam tego jako haczyka dla większości widoków funkcjonalnych). Wszystkie 3 były owocnymi sposobami myślenia o różnych typach problemów, a różne dziedziny stosują różne formuły z tego powodu.
Kiedy jednak pracuję z obliczeniami kwantowymi, zawsze myślę tylko o modelu obwodu. Pierwotnie QC zdefiniowano w kategoriach kwantowych maszyn Turinga, ale o ile rozumiem, ta definicja (choć równoważna obwodom kwantowym, jeśli oba są formułowane ostrożnie), nie była tak owocna. Trzecie sformułowanie (pod względem rachunku lambda lub podobnych ustawień funkcjonalnych) jest mi zupełnie nieznane. Stąd moje pytania:
Jakie są przydatne definicje kwantowego rachunku lambda (lub innych paradygmatów funkcjonalnych)?
Jakie podpola QIP zyskują głębszy wgląd dzięki zastosowaniu tego sformułowania zamiast modelu obwodu?
Notatki
Wiem, że ignoruję wiele innych popularnych formalizmów, takich jak automaty komórkowe, modele pamięci RAM itp. Wykluczam je głównie dlatego, że nie mam doświadczenia w myśleniu o tych modelach klasycznie, a co dopiero kwantowo .
Zdaję sobie również sprawę, że w ustawieniach kwantowych istnieją popularne alternatywy, takie jak oparte na pomiarach, topologiczne i adiabatyczne. Nie omawiam ich, ponieważ nie znam klasycznych odpowiedników.