Research in quantum computation is looking for the consequences of having information encoding, processing and communication exploit the laws of quantum physics, i.e. the laws which govern the ultimate knowledge that we have, today, of the foreign world of elementary particles, as described by quantum mechanics. This paper starts with a short survey of the principles which underlie quantum computing, and of some of the major breakthroughs brought by the first ten to fifteen years of research in this domain; quantum algorithms and quantum teleportation are very biefly presented. The next sections are devoted to one among the many directions of current research in the quantum computation paradigm, namely quantum programming languages and their semantics. A few other hot topics and open problems in quantum information processing and communication are mentionned in few words in the concluding remarks, the most difficult of them being the physical implementation of a quantum computer. The interested reader will find a list of useful references at the end of the paper.
Research in quantum computation is looking for the consequences of having information encoding, processing and communication exploit the laws of quantum physics, i.e. the laws which govern the ultimate knowledge that we have, today, of the foreign world of elementary particles, as described by quantum mechanics. This paper starts with a short survey of the principles which underlie quantum computing, and of some of the major breakthroughs brought by the first ten to fifteen years of research in this domain; quantum algorithms and quantum teleportation are very biefly presented. The next sections are devoted to one among the many directions of current research in the quantum computation paradigm, namely quantum programming languages and their semantics. A few other hot topics and open problems in quantum information processing and communication are mentionned in few words in the concluding remarks, the most difficult of them being the physical implementation of a quantum computer. The interested reader will find a list of useful references at the end of the paper.
Information is physical: the laws which govern its encoding, processing and communication are bound by those of its unavoidably physical embodiment. In today's informatics, information obeys the laws of Newton's and Maxwell's classical physics: this assertion holds all the way from commercial computers down to (up to?) their most abstract models, e.g. Turing machines and lambda-calculus. Today's computation and communication are classical. Research in quantum information processing and communication was born some twenty five years ago, as a child of two major scientific achievements of the 20th century, namely quantum physics and information sciences. The driving force of this interdisciplinary research is that of looking for the consequences of having information encoding, computation and communication based upon the laws of quantum physics, i.e. the ultimate knowledge that we have, today, of the foreign world of elementary particles, as described by quantum mechanics. Breakthroughs in cryptography, communications, information theory, algorithmics and, more recently, in abstract computational models, programming languages and semantics frameworks, have shown that this transplantation of information from classical to quantum has far reaching consequences, both quantitative and qualitative, and opens new avenues for research within the foundations of computer science.From a computer scientist's point of view, which is my point of view, I will explain the basics, survey the main achievements, and outline the current hot topics and major challenges of this promising and stimulating research. I will not assume any prior knowledge in quantum mechanics from the audience.
Information is physical: the laws which govern its encoding, processing and communication are those of its unavoidable physical embodyment. In today's computing, information obeys the laws of Newton's and Maxwell's classical physics: this assertion holds all the way from commercial computers down to their most abstract models, e.g. Turing machines and lambda-calculi. Today's computation is classical.Research in quantum information processing and communication (QIPC) was born some twenty years ago, as a child of two major scientific achievements of the 20th century, namely quantum physics and information sciences. The driving force of this interdisciplinary research is that of looking for the consequences of having information encoding, computation and communication obey the laws of quantum physics, i.e. the ultimate knowledge that we have, today, of the foreign world of elementary particles, as described by quantum mechanics. Breakthroughs in algorithmics, cryptography, information theory and abstract computational models have shown that this rerooting of information from classical to quantum has far reaching consequences, both quantitative and qualitative, and opens new avenues for research within the foundations of computer science.The aim of this tutorial is to give a survey of the principles, main results and long term perspectives of current research in QIPC, from a computer science point of view. No prior knowledge in quantum mechanics is required to follow this tutorial. There will be two parts:1 - Computation, the quantum way: quantum bits and quantum operations; two major quantum algorithms: quadratic speedup for unordered database search (Grover's algorithm), exponential speedup for integer factoring (Shor's algorithm);2 - Communication, the quantum way, and longer term perspectives: quantum state teleportation; a quantum cryptographic protocol for secret key distribution. Hot topics in QIPC research, state of the art in physical implementation of quantum computers.
On the basis of its unrivalled potential to solve factorization problems and further application in cryptography, quantum computing is considered as one of the most promising computational models for the future. It provides a new angle for thinking of computation and a new approach for attack various computationally difficult problems. In this article, we give a comprehensive survey of developments in the last twenty years on quantum algorithms, quantum complexity, quantum programming theory, quantum circuits, and quantum cryptography that we hope will serve as references for researchers in related fields. We also outline various research directions and open problems in this area, with the hope of prompting further progress or even solutions.
A paradigm shift in computation is being brought about by quantum computing, which uses the concepts of quantum mechanics to tackle problems that even the most powerful conventional supercomputers cannot solve. This review provides an in-depth overview of the field, covering everything from basic concepts to the cutting edge. The three fundamental building blocks of quantum processing—the qubit, superposition, and entanglement—are first described.These ideas enable quantum computers to concurrently explore large computational domains. After that, the paper examines the various physical implementations, highlighting the advantages and disadvantages of the top hardware platforms, such as neutral atoms, trapped ions, photonic systems, and superconducting circuits, in terms of coherence and scalability. Shor's method for integer factorization and Grover's algorithm for unstructured search are two examples of groundbreaking quantum algorithms that are highlighted for their potential to achieve exponential and quadratic speedups over their classical counterparts. We also examine how programming languages that bridge the gap between abstract algorithms and physical hardware are being developed, as well as the new quantum software stack. The paper also explores how quantum computing can revolutionize a number of fields, such as machine learning, materials research, medication development, and cryptography. subsequently, we discuss two of the biggest challenges impeding the development of large-scale, fault-tolerant quantum computers: the requirement for robust quantum error correction and decoherence. In the end, a view of the current period of Noisy Intermediate-Scale Quantum (NISQ) and the path towards quantum advantage is presented. Researchers, students, and professionals looking for a comprehensive grasp of this quickly developing and revolutionary topic are expected to find this review to be an invaluable asset.
Quantum computing has seen multiple recent breakthroughs and is getting closer to demonstrations of an exponential advantage over classical computing for certain problems. Programmers will require high-level, general-purpose, executable programming languages to express quantum solutions clearly and effectively, and the field has already produced a wide variety of such languages. This paper presents a language classification framework and uses it to survey ten popular quantum programming languages. The findings include conceptual and experimental comparisons that result in a list of challenges for future language design.
Quantum theory and quantum computing in recent years, has raised more and more increasing interest within the scientific community because of various reasons. First, the highly interdisciplinary nature of the subject which involves diverse topics such as, on the theoretical side, information theory and foundational issues of quantum mechanics and on the experimental side, the physics of quantum, optical, atomic and solid state systems. Secondly, the field is extremely promising for revolutionary technological implications in the near future. It is now perfectly clear that one can use quantum mechanics to process and transmit information in a way which does not have a classical analogue, and that using quantum techniques one can implement fully secure cryptographic systems. Recent breakthroughs, such as quantum teleportation, have led to extremely rapid progresses in a fascinating new field and, as a consequence, have attracted the interest of many scientists from varied disciplines. The purpose of this article is to provide a comprehensive overview about the deep involvement of quantum theory in quantum computation to young researchers and newcomers in the field.