Heterotic quantum and classical computing on convergence spaces

D. R. Patten; D. W. Jakel; R. J. Irwin; H. A. Blair

doi:10.1117/12.2179050

21 May 2015 Heterotic quantum and classical computing on convergence spaces

D. R. Patten, D. W. Jakel, R. J. Irwin, H. A. Blair

Proceedings Volume 9500, Quantum Information and Computation XIII; 950010 (2015) https://doi.org/10.1117/12.2179050
Event: SPIE Sensing Technology + Applications, 2015, Baltimore, MD, United States

Abstract

Category-theoretic characterizations of heterotic models of computation, introduced by Stepney et al., combine computational models such as classical/quantum, digital/analog, synchronous/asynchronous, etc. to obtain increased computational power. A highly informative classical/quantum heterotic model of computation is represented by Abramsky's simple sequential imperative quantum programming language which extends the classical simple imperative programming language to encompass quantum computation. The mathematical (denotational) semantics of this classical language serves as a basic foundation upon which formal verification methods can be developed. We present a more comprehensive heterotic classical/quantum model of computation based on heterotic dynamical systems on convergence spaces. Convergence spaces subsume topological spaces but admit finer structure from which, in prior work, we obtained differential calculi in the cartesian closed category of convergence spaces allowing us to define heterotic dynamical systems, given by coupled systems of first order differential equations whose variables are functions from the reals to convergence spaces.

Citation Download Citation

D. R. Patten, D. W. Jakel, R. J. Irwin, and H. A. Blair "Heterotic quantum and classical computing on convergence spaces", Proc. SPIE 9500, Quantum Information and Computation XIII, 950010 (21 May 2015); https://doi.org/10.1117/12.2179050

ACCESS THE FULL ARTICLE

INSTITUTIONAL
Select your institution to access the SPIE Digital Library.

SELECT YOUR INSTITUTION

PERSONAL
Sign in with your SPIE account to access your personal subscriptions or to use specific features such as save to my library, sign up for alerts, save searches, etc.

PERSONAL SIGN IN

No SPIE Account? Create one

PURCHASE THIS CONTENT

SUBSCRIBE TO DIGITAL LIBRARY

50 downloads per 1-year subscription

Members: $195

Non-members: $335 ADD TO CART

25 downloads per 1 - year subscription

Members: $145

Non-members: $250 ADD TO CART

PURCHASE SINGLE ARTICLE

Includes PDF, HTML & Video, when available