A mathematical model for a universal digital quantum computer with an application to the Grover-Rudolph algorithm

Antonio Falcó, Daniela Falcó--Pomares, Hermann G. Matthies

In this work, we develop a novel mathematical framework for universal digital quantum computation using algebraic probability theory. We rigorously define quantum circuits as finit…