We gratefully acknowledge support from
the Simons Foundation and member institutions.

Emerging Technologies

New submissions

[ total of 2 entries: 1-2 ]
[ showing up to 2000 entries per page: fewer | more ]

New submissions for Thu, 22 Oct 20

[1]  arXiv:2010.10510 [pdf, other]
Title: Compiling quantamorphisms for the IBM Q Experience
Comments: 18 pages
Subjects: Quantum Physics (quant-ph); Emerging Technologies (cs.ET); Category Theory (math.CT)

Based on the connection between the categorical derivation of classical programs from specifications and the category-theoretic approach to quantum physics, this paper contributes to extending the laws of classical program algebra to quantum programming. This aims at building correct-by-construction quantum circuits to be deployed on quantum devices such as those available at the IBM Q Experience. Quantum circuit reversibility is ensured by minimal complements, extended recursively. Measurements are postponed to the end of such recursive computations, termed "quantamorphisms", thus maximising the quantum effect. Quantamorphisms are classical catamorphisms which, extended to ensure quantum reversibility, implement quantum cycles (vulg. for-loops) and quantum folds on lists. By Kleisli correspondence, quantamorphisms can be written as monadic functional programs with quantum parameters. This enables the use of Haskell, a monadic functional programming language, to perform the experimental work. Such calculated quantum programs prepared in Haskell are pushed through Quipper to the Qiskit interface to IBM Q quantum devices. The generated quantum circuits - often quite large - exhibit the predicted behaviour. However, running them on real quantum devices incurs into a significant amount of errors. As quantum devices are constantly evolving, an increase in reliability is likely in the near future, allowing for our programs to run more accurately.

Replacements for Thu, 22 Oct 20

[2]  arXiv:2008.02195 (replaced) [pdf, other]
Title: Machine Learning in Nano-Scale Biomedical Engineering
Comments: 27 pages, 15 figures, 1 table, Journal paper
Subjects: Machine Learning (cs.LG); Emerging Technologies (cs.ET); Signal Processing (eess.SP)
[ total of 2 entries: 1-2 ]
[ showing up to 2000 entries per page: fewer | more ]

Disable MathJax (What is MathJax?)

Links to: arXiv, form interface, find, cs, recent, 2010, contact, help  (Access key information)