Showing 1–3 of 3 results for author: van Tonder, A

Quantum Computation, Categorical Semantics and Linear Logic

Authors: André van Tonder, Miquel Dorca

Abstract: This preprint has been withdrawn. This preprint has been withdrawn. △ Less

Submitted 25 May, 2011; v1 submitted 20 December, 2003; originally announced December 2003.

Comments: Withdrawn: The construction of the category in section 5 contains a flaw that invalidates the assertion that Hilbert bundles provide a monoidal closed category

A Lambda Calculus for Quantum Computation

Authors: Andre van Tonder

Abstract: The classical lambda calculus may be regarded both as a programming language and as a formal algebraic system for reasoning about computation. It provides a computational model equivalent to the Turing machine, and continues to be of enormous benefit in the classical theory of computation. We propose that quantum computation, like its classical counterpart, may benefit from a version of the lamb… ▽ More The classical lambda calculus may be regarded both as a programming language and as a formal algebraic system for reasoning about computation. It provides a computational model equivalent to the Turing machine, and continues to be of enormous benefit in the classical theory of computation. We propose that quantum computation, like its classical counterpart, may benefit from a version of the lambda calculus suitable for expressing and reasoning about quantum algorithms. In this paper we develop a quantum lambda calculus as an alternative model of quantum computation, which combines some of the benefits of both the quantum Turing machine and the quantum circuit models. The calculus turns out to be closely related to the linear lambda calculi used in the study of Linear Logic. We set up a computational model and an equational proof system for this calculus, and we argue that it is equivalent to the quantum Turing machine. △ Less

Submitted 3 April, 2004; v1 submitted 21 July, 2003; originally announced July 2003.

Comments: To appear in SIAM Journal on Computing. Minor corrections and improvements. Simulator available at http://www.het.brown.edu/people/andre/qlambda/index.html

Report number: BROWN-HET-1366

Journal ref: SIAM J.Comput. 33 (2004) 1109-1135

Ghosts as Negative Spinors

Authors: Andre van Tonder

Abstract: We study the the properties of a BRST ghost degree of freedom complementary to a two-state spinor. We show that the ghost may be regarded as a unit carrier of negative entropy. We construct an irreducible representation of the su(2) Lie algebra with negative spin, equal to -1/2, on the ghost state space and discuss the representation of finite SU(2) group elements. The Casimir operator J^2 of th… ▽ More We study the the properties of a BRST ghost degree of freedom complementary to a two-state spinor. We show that the ghost may be regarded as a unit carrier of negative entropy. We construct an irreducible representation of the su(2) Lie algebra with negative spin, equal to -1/2, on the ghost state space and discuss the representation of finite SU(2) group elements. The Casimir operator J^2 of the combined spinor-ghost system is nilpotent and coincides with the BRST operator Q. Using this, we discuss the sense in which the positive and negative spin representations cancel in the product to give an effectively trivial representation. We compute an effective dimension, equal to 1/2, and character for the ghost representation and argue that these are consistent with this cancellation. △ Less

Submitted 11 July, 2002; originally announced July 2002.

Comments: 20 pages, no figures, Latex2e

Report number: BROWN-HET-1282

Journal ref: Nucl.Phys. B645 (2002) 371-386