Vi visar att lambda-q kalkylen effektivt kan simulera kvant Turing maskiner genom att visa hur lambda-q kalkylen effektivt kan simulera en klass av kvantcellig automaton som är likvärdiga med kvant Turing maskiner. Vi avslutar med att notera att lambda-q kalkylen kan vara strikt starkare än kvantdatorer eftersom NP-kompletta problem som tillfredsställelse är effektivt solvable i lambda-q kalkylen men det finns en utbredd tvekan om att de är effektivt solvable av kvantdatorer.
Men hans kalkyl verkar vara strikt starkare än kvant Turing maskin REF.
The lambda-q calculus can efficiently simulate quantum computers
{'venue': None, 'journal': 'arXiv: Quantum Physics', 'mag_field_of_study': ['Mathematics', 'Physics']}