English
Related papers

Related papers: Quipper: A Scalable Quantum Programming Language

200 papers

Quantum computing proposes a revolutionary paradigm that can radically transform numerous scientific and industrial application domains. To realize this promise, these new capabilities need software solutions that are able to effectively…

Quantum Physics · Physics 2025-07-11 Otso Kinanen , Andrés D. Muñoz-Moller , Vlad Stirbu , Tommi Mikkonen

Accurate models for open quantum systems -- quantum states that have non-trivial interactions with their environment -- may aid in the advancement of a diverse array of fields, including quantum computation, informatics, and the prediction…

I assess the potential of quantum computation. Broad and important applications must be found to justify construction of a quantum computer; I review some of the known quantum algorithms and consider the prospects for finding new ones.…

Quantum Physics · Physics 2009-10-30 John Preskill

Quantum computing promises the ability to compute properties of quantum systems exponentially faster than classical computers. Quantum advantage is achieved when a practical problem is solved more efficiently on a quantum computer than on a…

Quantum Physics · Physics 2025-12-03 William A. Simon , Peter J. Love

Semiconductors, a significant type of material in the information era, are becoming more and more powerful in the field of quantum information. In the last decades, semiconductor quantum computation was investigated thoroughly across the…

Mesoscale and Nanoscale Physics · Physics 2020-03-04 Xin Zhang , Hai-Ou Li , Gang Cao , Ming Xiao , Guang-Can Guo , Guo-Ping Guo

Analysis and verification of quantum circuits are highly challenging, given the exponential dependence of the number of states on the number of qubits. For analytical derivation, we propose a new quantum polynomial representation (QPR) to…

Quantum Physics · Physics 2025-03-14 Yu-Ting Kao , Hao-Yu Lu , Yeong-Jar Chang , Darsen Lu

Quantum computing has the potential to revolutionize multiple fields by solving complex problems that can not be solved in reasonable time with current classical computers. Nevertheless, the development of quantum computers is still in its…

We show a representation of Quantum Computers defines Quantum Turing Machines with associated Quantum Grammars. We then create examples of Quantum Grammars. Lastly we develop an algebraic approach to high level Quantum Languages using…

Quantum Physics · Physics 2007-05-23 Stephen Blaha

Quantum computing is greatly advanced in recent years and is expected to transform the computation paradigm in the near future. Quantum circuit simulation plays a key role in the toolchain for the development of quantum hardware and…

Emerging Technologies · Computer Science 2020-07-21 Yuan-Hung Tsai , Jie-Hong R. Jiang , Chiao-Shan Jhang

This paper proposes a descriptive language called QHDL, akin to VHDL, to program gate-based quantum computing systems. Unlike other popular quantum programming languages, QHDL targets low-level quantum computing programming and aims to…

Emerging Technologies · Computer Science 2023-08-15 Gilbert Netzer , Stefano Markidis

Running quantum algorithms often involves implementing complex quantum circuits with such a large number of multi-qubit gates that the challenge of tackling practical applications appears daunting. To date, no experiments have successfully…

Quantum computer is the key to controlling complex processes. If its hardware, in general is successfully created on the basis of the physical baggage of the 20th century, the mathematical software is fundamentally lagging behind. Feynman's…

General Physics · Physics 2020-06-03 Y. I. Ozhigov

This paper presents a novel semantics for a quantum programming language by operator algebras, which are known to give a formulation for quantum theory that is alternative to the one by Hilbert spaces. We show that the opposite category of…

Logic in Computer Science · Computer Science 2014-12-31 Kenta Cho

Quantum computing has quickly emerged as a revolutionary paradigm that holds the potential for greatly enhanced computational capability and algorithmic efficiency, in a wide range of areas. Among the various hardware platforms, neutral…

Quantum Physics · Physics 2026-03-19 Matteo Grotti , Sara Marzella , Gabriella Bettonte , Daniele Ottaviani , Elisa Ercolessi

It is now clear that the use of resilient encoding schemes will be required for any quantum computing device to be realised. However, quantum programmers of the future will not wish to be tied up in the particulars of such encoding schemes.…

Quantum Physics · Physics 2012-10-03 James Barratt

Quantum computers leverage the unique advantages of quantum mechanics to achieve acceleration over classical computers for certain problems. Currently, various quantum simulators provide powerful tools for researchers, but simulating…

Quantum Physics · Physics 2024-10-31 Shuangxiang Zhou , Ronghang Chen , Zheng An , Shi-Yao Hou

Quantum computers offer a new paradigm of computing with the potential to vastly outperform any imagineable classical computer. This has caused a gold rush towards new quantum algorithms and hardware. In light of the growing expectations…

Quantum Physics · Physics 2023-07-04 Torsten Hoefler , Thomas Haener , Matthias Troyer

We present qHiPSTER, the Quantum High Performance Software Testing Environment. qHiPSTER is a distributed high-performance implementation of a quantum simulator on a classical computer, that can simulate general single-qubit gates and…

Quantum Physics · Physics 2016-05-16 Mikhail Smelyanskiy , Nicolas P. D. Sawaya , Alán Aspuru-Guzik

Modern quantum programming languages integrate quantum resources and classical control. They must, on the one hand, be linearly typed to reflect the no-cloning property of quantum resources. On the other hand, high-level and practical…

Programming Languages · Computer Science 2023-06-22 Peng Fu , Kohei Kishida , Peter Selinger

Quantum computing is experiencing the transition from a scientific to an engineering field with the promise to revolutionize an extensive range of applications demanding high-performance computing. Many implementation approaches have been…

Quantum Physics · Physics 2023-10-06 Reza Nikandish , Elena Blokhina , Robert Bogdan Staszewski