Physics – Quantum Physics
Scientific paper
2006-12-22
The 19th Int. Conf. on Rewriting Techniques and Applications, RTA 2008, Austria. Proceedings to appear in LNCS
Physics
Quantum Physics
16 pages, revtex. v2: typos corrected. Explanatory pdf slides available at http://membres-lig.imag.fr/~arrighi/linealtalk/
Scientific paper
We introduce a minimal language combining both higher-order computation and linear algebra. Roughly, this is nothing else than the Lambda-calculus together with the possibility to make linear combinations of terms a.t+b.u. We describe how to "execute" this language in terms of a few rewrite rules, and justify them through the two fundamental requirements that the language be a language of linear operators, and that it be higher-order. We mention the perspectives of this work in field of quantum computation, whose circuits we show can be easily encoded in the calculus. Finally we prove the confluence of the calculus, this is our main result. Keywords: quantum programming language, quantum control, quantum logic, probabilistic and quantitative analysis, rewriting techniques.
Arrighi Pablo
Dowek Gilles
No associations
LandOfFree
Linear-algebraic Lambda-calculus: higher-order, encodings and confluence does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.
If you have personal experience with Linear-algebraic Lambda-calculus: higher-order, encodings and confluence, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Linear-algebraic Lambda-calculus: higher-order, encodings and confluence will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-O-531623