Replication Package for: On the Principles of Differentiable Quantum Programming Languages

2020 ◽  
Author(s):  
Shaopeng Zhu ◽  
Shih-Han Hung ◽  
Shouvanik Chakrabarti ◽  
Xiaodi Wu
Keyword(s):  
Programming Languages ◽  
Quantum Programming Languages ◽  
Quantum Programming

Quingo: A Programming Framework for Heterogeneous Quantum-Classical Computing with NISQ Features

2021 ◽  
Vol 2 (4) ◽  
pp. 1-37
Author(s):  
X. Fu ◽  
Jintao Yu ◽  
Xing Su ◽  
Hanru Jiang ◽  
Hua Wu ◽  
...  
Keyword(s):  
Programming Languages ◽  
Model Matching ◽  
Domain Specific ◽  
External Domain ◽  
Quantum Programming Languages ◽  
Quantum Programming ◽  
Software And Hardware ◽  
Classical Computing ◽  
Key Techniques ◽  
Execution Models

The increasing control complexity of Noisy Intermediate-Scale Quantum (NISQ) systems underlines the necessity of integrating quantum hardware with quantum software. While mapping heterogeneous quantum-classical computing (HQCC) algorithms to NISQ hardware for execution, we observed a few dissatisfactions in quantum programming languages (QPLs), including difficult mapping to hardware, limited expressiveness, and counter-intuitive code. In addition, noisy qubits require repeatedly performed quantum experiments, which explicitly operate low-level configurations, such as pulses and timing of operations. This requirement is beyond the scope or capability of most existing QPLs. We summarize three execution models to depict the quantum-classical interaction of existing QPLs. Based on the refined HQCC model, we propose the Quingo framework to integrate and manage quantum-classical software and hardware to provide the programmability over HQCC applications and map them to NISQ hardware. We propose a six-phase quantum program life-cycle model matching the refined HQCC model, which is implemented by a runtime system. We also propose the Quingo programming language, an external domain-specific language highlighting timer-based timing control and opaque operation definition, which can be used to describe quantum experiments. We believe the Quingo framework could contribute to the clarification of key techniques in the design of future HQCC systems.

scholarly journals Quantum Turing Machines: Computations and Measurements

2020 ◽  
Vol 10 (16) ◽  
pp. 5551
Author(s):  
Stefano Guerrini ◽  
Simone Martini ◽  
Andrea Masini
Keyword(s):  
Programming Languages ◽  
Classical Case ◽  
Turing Machines ◽  
Quantum Programming Languages ◽  
Quantum Programming ◽  
Definition Of ◽  
Observation Protocol ◽  
Class Of Functions ◽  
Computable Functions ◽  
Arbitrary Quantum

Contrary to the classical case, the relation between quantum programming languages and quantum Turing Machines (QTM) has not been fully investigated. In particular, there are features of QTMs that have not been exploited, a notable example being the intrinsic infinite nature of any quantum computation. In this paper, we propose a definition of QTM, which extends and unifies the notions of Deutsch and Bernstein & Vazirani. In particular, we allow both arbitrary quantum input, and meaningful superpositions of computations, where some of them are “terminated” with an “output”, while others are not. For some infinite computations an “output” is obtained as a limit of finite portions of the computation. We propose a natural and robust observation protocol for our QTMs, which does not modify the probability of the possible outcomes of the machines. Finally, we use QTMs to define a class of quantum computable functions—any such function is a mapping from a general quantum state to a probability distribution of natural numbers. We expect that our class of functions, when restricted to classical input-output, will not be different from the set of the recursive functions.

scholarly journals Models of quantum computation and quantum programming languages

2011 ◽  
Vol 59 (3) ◽  
pp. 305-324 ◽  
Author(s):  
J. Miszczak
Keyword(s):  
Information Theory ◽  
Programming Languages ◽  
Quantum Computation ◽  
Computational Models ◽  
Random Access ◽  
Quantum Information Theory ◽  
Quantum Circuits ◽  
Quantum Programming Languages ◽  
Quantum Programming ◽  
Quantum Turing Machine

Models of quantum computation and quantum programming languagesThe goal of the presented paper is to provide an introduction to the basic computational models used in quantum information theory. We review various models of quantum Turing machine, quantum circuits and quantum random access machine (QRAM) along with their classical counterparts. We also provide an introduction to quantum programming languages, which are developed using the QRAM model. We review the syntax of several existing quantum programming languages and discuss their features and limitations.

scholarly journals Formal Meta-level Analysis Framework for Quantum Programming Languages

2018 ◽  
Vol 338 ◽  
pp. 185-201 ◽  
Author(s):  
Mohamed Yousri Mahmoud ◽  
Amy P. Felty
Keyword(s):  
Programming Languages ◽  
Analysis Framework ◽  
Meta Level ◽  
Quantum Programming Languages ◽  
Quantum Programming ◽  
Level Analysis

Quantum programming languages

2008 ◽  
Vol 2 (2) ◽  
pp. 161-166 ◽  
Author(s):  
Jiafu Xu ◽  
Fanming Song
Keyword(s):  
Programming Languages ◽  
Quantum Programming Languages ◽  
Quantum Programming

Quantum programming languages: A tentative study

2008 ◽  
Vol 51 (6) ◽  
pp. 623-637 ◽  
Author(s):  
JiaFu Xu ◽  
FangMin Song
Keyword(s):  
Programming Languages ◽  
Quantum Programming Languages ◽  
Quantum Programming
Sign in / Sign up

Export Citation Format

Share Document