English
Related papers

Related papers: On the Hardness of Analyzing Quantum Programs Quan…

200 papers

Quantum computers promise to transform our notions of computation by offering a completely new paradigm. To achieve scalable quantum computation, optimizing compilers and a corresponding software design flow will be essential. We present a…

Programming Languages · Computer Science 2018-07-24 Thomas Häner , Damian S. Steiger , Krysta Svore , Matthias Troyer

We assess the potential of quantum computing to accelerate computation of central tasks in genomics, focusing on often-neglected theoretical limitations. We discuss state-of-the-art challenges of quantum search, optimization, and machine…

Quantum Physics · Physics 2026-01-09 Aurora Maurizio , Guglielmo Mazzola

Quantum computers have the potential to provide an advantage over classical computers in a number of areas. Numerous metrics to benchmark the performance of quantum computers, ranging from their individual hardware components to entire…

Quantum computing is a new model of computation, based on quantum physics. Quantum computers can be exponentially faster than conventional computers for problems such as factoring. Besides full-scale quantum computers, more restricted…

Formal Languages and Automata Theory · Computer Science 2018-07-05 Andris Ambainis , Abuzer Yakaryılmaz

We describe how one may go about performing quantum computation with arbitrary "quantum stuff", as long as it has some basic physical properties. Imagine a long strip of stuff, equipped with regularly spaced wires to provide input settings…

Quantum Physics · Physics 2019-12-03 Lucien Hardy , Adam G. M. Lewis

Numerically solving partial differential equations is a ubiquitous computational task with broad applications in many fields of science. Quantum computers can potentially provide high-degree polynomial speed-ups for solving PDEs, however…

Quantum Physics · Physics 2026-01-09 Gumaro Rendon , Stepan Smid

Quantum computing has emerged as a promising field with the potential to revolutionize various domains by harnessing the principles of quantum mechanics. As quantum hardware and algorithms continue to advance, developing high-quality…

Software Engineering · Computer Science 2024-05-27 Peixun Long , Jianjun Zhao

Current quantum systems have significant limitations affecting the processing of large datasets with high dimensionality, typical of high energy physics. In the present paper, feature and data prototype selection techniques were studied to…

High Energy Physics - Phenomenology · Physics 2023-12-18 Miguel Caçador Peixoto , Nuno Filipe Castro , Miguel Crispim Romão , Maria Gabriela Jordão Oliveira , Inês Ochoa

This paper presents a quantum algorithm for the solution of prototypical second-order linear elliptic partial differential equations discretized by $d$-linear finite elements on Cartesian grids of a bounded $d$-dimensional domain. An…

Quantum Physics · Physics 2025-08-20 Matthias Deiml , Daniel Peterseim

Qualitative modelling is a technique integrating the fields of theoretical computer science, artificial intelligence and the physical and biological sciences. The aim is to be able to model the behaviour of systems without estimating…

Computational Engineering, Finance, and Science · Computer Science 2012-09-19 Thomas W. Kelsey , Lars Kotthoff , Christoffer A. Jefferson , Stephen A. Linton , Ian Miguel , Peter Nightingale , Ian P. Gent

Flexible characterization techniques that identify and quantify experimental imperfections under realistic assumptions are crucial for the development of quantum computers. Gate set tomography is a characterization approach that…

Quantum Physics · Physics 2023-03-31 Raphael Brieger , Ingo Roth , Martin Kliesch

It is expected that quantum computers would enable solving various problems that are beyond the capabilities of the most powerful current supercomputers, which are based on classical technologies. In the last three decades, advances in…

Quantum Physics · Physics 2022-04-01 A. K. Fedorov , N. Gisin , S. M. Beloussov , A. I. Lvovsky

Quantum computing is a new computational paradigm with the potential to solve certain computationally challenging problems much faster than traditional approaches. Civil engineering encompasses many computationally challenging problems,…

Emerging Technologies · Computer Science 2024-03-29 Joern Ploennigs , Markus Berger , Martin Mevissen , Kay Smarsly

Quantum computing (QC) has gained popularity due to its unique capabilities that are quite different from that of classical computers in terms of speed and methods of operations. This paper proposes hybrid models and methods that…

Quantum Physics · Physics 2019-11-12 Akshay Ajagekar , Travis Humble , Fengqi You

The quest for quantum computers is motivated by their potential for solving problems that defy existing, classical, computers. The theory of computational complexity, one of the crown jewels of computer science, provides a rigorous…

Statistical Mechanics · Physics 2010-09-10 C. R. Laumann , R. Moessner , A. Scardicchio , S. L. Sondhi

Research in software engineering is essential for improving development practices, leading to reliable and secure software. Leveraging the principles of quantum physics, quantum computing has emerged as a new computational paradigm that…

Software Engineering · Computer Science 2025-02-14 Ashis Kumar Mandal , Md Nadim , Chanchal K. Roy , Banani Roy , Kevin A. Schneider

Quantum computers hold the promise to solve certain computational task much more efficiently than classical computers. We review the recent experimental advancements towards a quantum computer with trapped ions. In particular, various…

Quantum Physics · Physics 2008-11-20 H. Haeffner , C. F. Roos , R. Blatt

Estimating properties of quantum states, such as fidelities, molecular energies, and correlation functions, is a fundamental task in quantum information science. Due to the limitation of practical quantum devices, including limited circuit…

Quantum Physics · Physics 2025-10-17 Bujiao Wu , Lingyu Kong , Yuxuan Yan , Fuchuan Wei , Zhenhuan Liu

Quantitative automata model beyond-boolean aspects of systems: every execution is mapped to a real number by incorporating weighted transitions and value functions that generalize acceptance conditions of boolean $\omega$-automata. Despite…

Formal Languages and Automata Theory · Computer Science 2025-01-28 Marek Chalupa , Thomas A. Henzinger , Nicolas Mazzocchi , N. Ege Saraç

Measuring expectation values of observables is an essential ingredient in variational quantum algorithms. A practical obstacle is the necessity of a large number of measurements for statistical convergence to meet requirements of precision,…

Quantum Physics · Physics 2022-09-07 Masaya Kohda , Ryosuke Imai , Keita Kanno , Kosuke Mitarai , Wataru Mizukami , Yuya O. Nakagawa
‹ Prev 1 4 5 6 7 8 10 Next ›