An improved architecture of a realizable quantum computer for quantum programming languages

2009 ◽  
Author(s):  
Nan Wu ◽  
FangMin Song ◽  
Xiangdong Li
Keyword(s):  
Programming Languages ◽  
Quantum Computer ◽  
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 Tools for Performing and Emulating Quantum Computing

2020 ◽  
Vol 18 (2) ◽  
pp. 43-53
Author(s):  
Pavel E. Baskakov ◽  
Yuri Yu. Khabovets ◽  
Irina A. Pilipenko ◽  
Veronika O. Kravchenko ◽  
Larisa V. Cherkesova
Keyword(s):  
Quantum Computing ◽  
Programming Languages ◽  
Quantum Computer ◽  
Individual Characteristics ◽  
Computer Work ◽  
Quantum Computers ◽  
Web Interface ◽  
Advantages And Disadvantages ◽  
Quantum Programming ◽  
Main Language

Currently, quantum technologies are at the forefront of scientific thought. Large corporations are creating their own quantum supercomputers, developing quantum analogues of classical algorithms, and research is being conducted in the field of quantum cryptography. But since quantum computers have not yet become widespread, the question becomes relevant: how can ordinary users, scientists and researchers keep up with the development of science? One possible solution is to use various kinds of tools to emulate quantum computing on a local non-quantum computer. In addition, there is also the opportunity to have several qubits of IBM's quantum supercomputer available. As a rule, such tools are implemented in the form of libraries for various programming languages. Due to the fact that working with real quantum computers is available only to a narrow circle of researchers, emulators are simply necessary to test hypotheses or algorithms. This article examined the most popular quantum emulators used for quantum computing and allowing emulating the process of a quantum computer. Work was carried out to study quantum emulators, to identify and describe their individual characteristics, to make recommendations for a more convenient start to work with them, as well as to describe their advantages and disadvantages. A review of several libraries for the JavaScript, Python, C / C ++ languages was made, as well as a tool with a web interface (Quantum Programming Studio) and a set of tools from Microsoft (Microsoft Quantum Development Kit), the main language of which is Q #, is examined. At the end of the article, a conclusion is made regarding the considered tools.

Sign in / Sign up

Export Citation Format

Share Document