Quantum Mechanics and Quantum Computing

Pooja Srivastava, Anushtup Mishra, Yogesh K. Srivastava

Oscar Humberto Montiel Ross, Roberto Sepulveda

In the twenty-fi rst century, many signifi cant developments in science and engineering have been achieved through interdisciplinary research. Quantum computing (QC) is about computing with quantum systems, called quantum computers. A quantum computer is a computational device that makes use of the quantum mechanics (QM) phenomena such as entanglement, superposition and interference to perform operations on data. Quantum computers are different from classical binary digital computers since they work with quantum bits. The theoretical model is the quantum turing machine (QTM) which is a normal turing machine (TM) with quantum parallelism. Richard Feynman introduced this fi eld for the fi rst time in the 80’s (Feynman 1982) since he observed that certain quantum-mechanical effects cannot be simulated in an effi cient way using a classical computer. Such observation let to speculate that using quantum effects may become more effi cient computing. The interest grew up in 1994 when Peter Shor published the paper entitled “Algorithms for Quantum Computation : Discrete Logarithms and Factoring” (Shor 1994) where he described polynomial time quantum algorithms for fi nding discrete logarithms and factoring integers.

Carmelo R. Cartiere

Quantum computing (QC) represents the future of computing systems, but the tools for reasoning about the quantum model of computation, in which the laws obeyed are those on the quantum mechanical scale, are still a mix of linear algebra and Dirac notation; two subjects more suitable for physicists, rather than computer scientists and software engineers. On this ground, we believe it is possible to provide a more intuitive approach to thinking and writing about quantum computing systems, in order to simplify the design of quantum algorithms and the development of quantum software. In this paper, we move the first step in such direction, introducing a specification language as the tool to represent the operations of a quantum computer via axiomatic definitions, by adopting the same symbolisms and reasoning principles used by formal methods in software engineering. We name this approach formal quantum software engineering (F-QSE). This work assumes familiarity with the basic principles of quantum mechanics (QM), with the use of Zed (Z) which is a formal language of software engineering (SE), and with the notation and techniques of first-order logic (FOL) and functional programming (FP).

Joseph M. Landsberg

Dorit Aharonov, Umesh V. Vazirani

Quantum computation teaches us that quantum mechanics exhibits exponential complexity. We argue that the standard scientific paradigm of "predict and verify" cannot be applied to testing quantum mechanics in this limit of high complexity. We describe how QM can be tested in this regime by extending the usual scientific paradigm to include {\it interactive experiments}.

Günter Mahler A