English
Related papers

Related papers: Scheme Pearl: Quantum Continuations

200 papers

As we begin to reach the limits of classical computing, quantum computing has emerged as a technology that has captured the imagination of the scientific world. While for many years, the ability to execute quantum algorithms was only a…

Quantum Physics · Physics 2020-11-12 Bela Bauer , Sergey Bravyi , Mario Motta , Garnet Kin-Lic Chan

Graph structures are ubiquitous throughout the natural sciences. Here we consider graph-structured quantum data and describe how to carry out its quantum machine learning via quantum neural networks. In particular, we consider training data…

Quantum Physics · Physics 2021-03-22 Kerstin Beer , Megha Khosla , Julius Köhler , Tobias J. Osborne

Quantum computing is an emerging paradigm that opens a new era for exponential computational speedup. Still, quantum computers have yet to be ready for commercial use. However, it is essential to train and qualify today the workforce that…

Quantum Physics · Physics 2022-10-28 Evandro C. R. da Rosa , Claudio Lima

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 processes, such as quantum circuits, quantum memories, and quantum channels, are essential ingredients in almost all quantum information processing tasks. However, the characterization of these processes remains a daunting task due…

Quantum Physics · Physics 2020-04-16 Ye-Chao Liu , Jiangwei Shang , Xiao-Dong Yu , Xiangdong Zhang

Simulating quantum circuits on classical computers is a notoriously hard, yet increasingly important task for the development and testing of quantum algorithms. In order to alleviate this inherent complexity, efficient data structures and…

Quantum Physics · Physics 2022-09-08 Lukas Burgholzer , Alexander Ploier , Robert Wille

A logical system derived from linear logic and called QMLL is introduced and shown able to capture all unitary quantum circuits. Conversely, any proof is shown to compute, through a concrete GoI interpretation, some quantum circuits. The…

Logic in Computer Science · Computer Science 2012-10-03 Ugo Dal Lago , Claudia Faggian

As quantum computers become available to the general public, the need has arisen to train a cohort of quantum programmers, many of whom have been developing classical computer programs for most of their careers. While currently available…

To explore the possibilities of a near-term intermediate-scale quantum algorithm and long-term fault-tolerant quantum computing, a fast and versatile quantum circuit simulator is needed. Here, we introduce Qulacs, a fast simulator for…

The precise control of complex quantum systems promises numerous technological applications including digital quantum computing. The complexity of such devices renders the certification of their correct functioning a challenge. To address…

Quantum Physics · Physics 2021-12-21 Martin Kliesch , Ingo Roth

Quantum computing is presently undergoing rapid development to achieve a significant speedup promised in certain applications. Nonetheless, scaling quantum computers remains a formidable engineering challenge, prompting exploration of…

Modeling and reasoning about concurrent quantum systems is very important both for distributed quantum computing and for quantum protocol verification. As a consequence, a general framework describing formally the communication and…

Logic in Computer Science · Computer Science 2013-11-15 Yuan Feng , Runyao Duan , Zhengfeng Ji , Mingsheng Ying

Basic concepts of quantum theory of information, principles of quantum calculations and the possibility of creation on this basis unique on calculation power and functioning principle device, named quantum computer, are briefly reviewed.…

Quantum Physics · Physics 2007-12-10 Steven Duplij , Illia Shapoval

Recent years have seen unprecedented advance in the design and control of quantum computers. Nonetheless, their applicability is still restricted and access remains expensive. Therefore, a substantial amount of quantum algorithms research…

Quantum Physics · Physics 2020-12-11 Thomas Grurl , Richard Kueng , Jürgen Fuß , Robert Wille

The development of quantum computing technologies builds on the unique features of quantum physics while borrowing familiar principles from the design of conventional devices. We introduce the fundamental concepts required for designing and…

Near term quantum computers suffer from the presence of different noise sources. In order to mitigate for this effect and acquire results with significantly better accuracy, there is the urge of designing efficient error correction or error…

Quantum simulation is a leading candidate for demonstrating practical quantum advantage over classical computation, as it is believed to provide exponentially more compute power than any classical system. It offers new means of studying the…

Quantum Physics · Physics 2026-01-23 Maja Franz , Lukas Schmidbauer , Joshua Ammermann , Ina Schaefer , Wolfgang Mauerer

Lattice field theory, along with its algorithmic and hardware ecosystems, has been at the forefront of computational particle and nuclear physics. It continues to deliver impressive results on the hadronic spectrum, structure, decays, and…

High Energy Physics - Lattice · Physics 2026-05-21 Zohreh Davoudi

People are witnessing quantum computing revolutions nowadays. Progress in the number of qubits, coherence times and gate fidelities are happening. Although quantum error correction era has not arrived, the research and development of…

Quantum Physics · Physics 2023-10-17 Guanru Feng , Dawei Lu , Jun Li , Tao Xin , Bei Zeng

Quantum federated learning (QFL) is an emerging field that has the potential to revolutionize computation by taking advantage of quantum physics concepts in a distributed machine learning (ML) environment. However, the majority of available…

Quantum Physics · Physics 2025-11-14 Ratun Rahman , Atit Pokharel , Md Raihan Uddin , Dinh C. Nguyen