Results 61 to 70 of about 475,169 (310)
A verified optimizer for Quantum circuits [PDF]
Proceedings of the ACM on Programming Languages, 2021 We present VOQC, the first fully verified optimizer for quantum circuits, written using the Coq proof assistant. Quantum circuits are expressed as programs in a simple, low-level language called SQIR, a simple quantum intermediate representation, which is deeply embedded in Coq.
Kesha Hietala +4 more
openaire +3 more sources
A quantum hamiltonian simulation benchmark
npj Quantum Information, 2022 Hamiltonian simulation is one of the most important problems in quantum computation, and quantum singular value transformation (QSVT) is an efficient way to simulate a general class of Hamiltonians.
Yulong Dong, K. Birgitta Whaley, Lin Lin
doaj +1 more source
Quantum Deep Dreaming: A Novel Approach for Quantum Circuit Design [PDF]
arXiv, 2022 One of the challenges currently facing the quantum computing community is the design of quantum circuits which can efficiently run on near-term quantum computers, known as the quantum compiling problem. Algorithms such as the Variational Quantum Eigensolver (VQE), Quantum Approximate Optimization Algorithm (QAOA), and Quantum Architecture Search (QAS ...
arxiv
IEEE Transactions on Quantum Engineering, 2021 Computationally expensive applications, including machine learning, chemical simulations, and financial modeling, are promising candidates for noisy intermediate scale quantum (NISQ) computers.
Janusz Kusyk +2 more
doaj +1 more source
Universal quantum circuits for quantum chemistry
Quantum, 2022 Universal gate sets for quantum computing have been known for decades, yet no universal gate set has been proposed for particle-conserving unitaries, which are the operations of interest in quantum chemistry. In this work, we show that controlled single-excitation gates in the form of Givens rotations are universal for particle-conserving unitaries ...
Juan Miguel Arrazola +5 more
openaire +3 more sources
Improved circuit implementation of the HHL algorithm and its simulations on QISKIT
Scientific Reports, 2022 In 2019, Yonghae Lee et al. combined the circuit implementation of the Harrow–Hassidim–Lloyd (HHL) algorithm with a classical computer, and designed a hybrid HHL algorithm to reduce experimental errors caused by decoherence and so on.
Meng Zhang +3 more
doaj +1 more source
Optimization of Clifford Circuits [PDF]
Phys. Rev. A 88, 052307 (2013), 2013 We study optimal synthesis of Clifford circuits, and apply the results to peep-hole optimization of quantum circuits. We report optimal circuits for all Clifford operations with up to four inputs. We perform peep-hole optimization of Clifford circuits with up to 40 inputs found in the literature, and demonstrate the reduction in the number of gates by ...
arxiv +1 more source
Characterizing the Reproducibility of Noisy Quantum Circuits
Entropy, 2022 The ability of a quantum computer to reproduce or replicate the results of a quantum circuit is a key concern for verifying and validating applications of quantum computing.
Samudra Dasgupta, Travis S. Humble
doaj +1 more source
Quantum Circuit Simplification and Level Compaction [PDF]
IEEE Transactions on Computer-Aided Design of Integrated Circuits
and Systems, 27(3):436-444, March 2008, 2006 Quantum circuits are time dependent diagrams describing the process of quantum computation. Usually, a quantum algorithm must be mapped into a quantum circuit. Optimal synthesis of quantum circuits is intractable and heuristic methods must be employed. With the use of heuristics, the optimality of circuits is no longer guaranteed.
arxiv +1 more source
Strong hole-photon coupling in planar Ge for probing charge degree and strongly correlated states
Nature CommunicationsSemiconductor quantum dots (QDs) in planar germanium (Ge) heterostructures have emerged as front-runners for future hole-based quantum processors. Here, we present strong coupling between a hole charge qubit, defined in a double quantum dot (DQD) in ...
Franco De Palma +9 more
doaj +1 more source