English
Related papers

Related papers: Branch Sequentialization in Quantum Polytime

200 papers

As quantum computing technology advances, the complexity of quantum algorithms increases, necessitating a shift from low-level circuit descriptions to high-level programming paradigms. This paper addresses the challenges of developing a…

Quantum Physics · Physics 2025-03-04 Israel Reichental , Ravid Alon , Lior Preminger , Matan Vax , Amir Naveh

In order to implement a quantum computing application, problem instances must be encoded into a quantum circuit and then compiled for a specific platform. The lengthy compilation process is a key bottleneck in this workflow, especially for…

Quantum Physics · Physics 2024-06-26 Nils Quetschlich , Lukas Burgholzer , Robert Wille

Most existing quantum programming languages are based on the quantum circuit model of computation, as higher-level abstractions are particularly challenging to implement - especially ones relating to quantum control flow. The Qunity…

Programming Languages · Computer Science 2025-10-14 Mikhail Mints , Finn Voichick , Leonidas Lampropoulos , Robert Rand

Compilation optimizes quantum algorithms performances on real-world quantum computers. To date, it is performed via classical optimization strategies. We introduce a class of quantum algorithms to perform compilation via quantum computers,…

Quantum Physics · Physics 2025-09-25 Davide Rattacaso , Daniel Jaschke , Marco Ballarin , Ilaria Siloi , Simone Montangero

Quantum computing has made tremendous improvements in both software and hardware that have sparked interest in academia and industry to realize quantum computing applications. To this end, several steps are necessary: The underlying problem…

Programming a quantum computer, i.e., implementing quantum algorithms on a quantum processor-based copmputer architecture, is a task that can be addressed (just as for classical computers) at different levels of abstraction. This paper…

Programming Languages · Computer Science 2025-07-01 Nicola Assolini , Alessandra Di Pierro

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

Any quantum computing application, once encoded as a quantum circuit, must be compiled before being executable on a quantum computer. Similar to classical compilation, quantum compilation is a sequential process with many compilation steps…

Quantum Physics · Physics 2024-06-25 Nils Quetschlich , Lukas Burgholzer , Robert Wille

A large class of problems in the current era of quantum devices involve interfacing between the quantum and classical system. These include calibration procedures, characterization routines, and variational algorithms. The control in these…

Quantum signal processing (QSP) provides a systematic framework for implementing a polynomial transformation of a linear operator, and unifies nearly all known quantum algorithms. In parallel, recent works have developed randomized…

Quantum Physics · Physics 2025-03-26 John M. Martyn , Patrick Rall

Quantum compilation is the process of converting a target unitary operation into a trainable unitary represented by a quantum circuit. It has a wide range of applications, including gate optimization, quantum-assisted compiling, quantum…

Quantum Physics · Physics 2024-11-27 Vu Tuan Hai , Nguyen Tan Viet , Jesus Urbaneja , Nguyen Vu Linh , Lan Nguyen Tran , Le Bin Ho

The architecture of circuital quantum computers requires computing layers devoted to compiling high-level quantum algorithms into lower-level circuits of quantum gates. The general problem of quantum compiling is to approximate any unitary…

Quantum Physics · Physics 2021-09-21 Lorenzo Moro , Matteo G. A. Paris , Marcello Restelli , Enrico Prati

The quantum circuit model essentially treats every quantum algorithm as a straight-line program. While this view is universal, recent work has shown that it is inconvenient for using different-length quantum subroutines in superposition.…

Quantum Physics · Physics 2026-05-11 Stacey Jeffery , Manideep Mamindlapally , Alex Baudoin Nguetsa Tankeu

We apply numerical optimization and linear algebra algorithms for classical computers to the problem of automatically synthesizing algorithms for quantum computers. Using our framework, we apply several common techniques from these…

Numerical Analysis · Mathematics 2025-09-16 Yuxin Huang , Benjamin E. Grossman-Ponemon , David A. B. Hyde

The standard model of quantum circuits assumes operations are applied in a fixed sequential "causal" order. In recent years, the possibility of relaxing this constraint to obtain causally indefinite computations has received significant…

Quantum Physics · Physics 2024-08-20 Alastair A. Abbott , Mehdi Mhalla , Pierre Pocreau

This work proposes double-bracket iterations as a framework for obtaining diagonalizing quantum circuits. Their implementation on a quantum computer consists of interlacing evolutions generated by the input Hamiltonian with diagonal…

Quantum Physics · Physics 2024-04-10 Marek Gluza

The quantum simulation kernel is an important subroutine appearing as a very long gate sequence in many quantum programs. In this paper, we propose Paulihedral, a block-wise compiler framework that can deeply optimize this subroutine by…

Quantum Physics · Physics 2021-09-09 Gushu Li , Anbang Wu , Yunong Shi , Ali Javadi-Abhari , Yufei Ding , Yuan Xie

In this paper, we give quantum algorithms for two fundamental computation problems: solving polynomial systems over finite fields and optimization where the arguments of the objective function and constraints take values from a finite field…

Symbolic Computation · Computer Science 2018-10-09 Yu-Ao Chen , Xiao-Shan Gao , Chun-Ming Yuan

Quantum computers provide an opportunity to efficiently sample from probability distributions that include non-trivial interference effects between amplitudes. Using a simple process wherein all possible state histories can be specified by…

Quantum Physics · Physics 2019-08-22 Davide Provasoli , Benjamin Nachman , Wibe A. de Jong , Christian W Bauer

Polylogarithmic time delineates a relevant notion of feasibility on several classical computational models such as Boolean circuits or parallel random access machines. As far as the quantum paradigm is concerned, this notion yields the…

Logic in Computer Science · Computer Science 2025-07-22 Florent Ferrari , Emmanuel Hainry , Romain Péchoux , Mário Silva
‹ Prev 1 2 3 10 Next ›