# Yao.jl: Extensible, Efficient Framework for Quantum Algorithm Design

@article{Luo2020YaojlEE, title={Yao.jl: Extensible, Efficient Framework for Quantum Algorithm Design}, author={Xiu-Zhe Luo and Jin-Guo Liu and Pan Zhang and Lei Wang}, journal={Quantum}, year={2020}, volume={4}, pages={341} }

We introduce Yao, an extensible, efficient open-source framework for quantum algorithm design. Yao features generic and differentiable programming of quantum circuits. It achieves state-of-the-art performance in simulating small to intermediate-sized quantum circuits that are relevant to near-term applications. We introduce the design principles and critical techniques behind Yao. These include the quantum block intermediate representation of quantum circuits, a builtin automatic… Expand

#### Figures and Tables from this paper

#### 36 Citations

Qibo: a framework for quantum simulation with hardware acceleration

- Computer Science, Physics
- ArXiv
- 2020

A new quantum simulation framework that enables developers to delegate all complicated aspects of hardware or platform implementation to the library so they can focus on the problem and quantum algorithms at hand is introduced. Expand

Efficient calculation of gradients in classical simulations of variational quantum algorithms

- Computer Science, Physics
- 2020

A novel derivation of an emulation strategy to precisely calculate the gradient in O(P) time and using O(1) state-vectors, compatible with "full-state" state-vector simulators and compatible with hardware accelerated and distributed simulators. Expand

Solving quantum statistical mechanics with variational autoregressive networks and quantum circuits

- Computer Science, Physics
- Mach. Learn. Sci. Technol.
- 2021

An efficient variational algorithm is devised to jointly optimize the classical neural network and the quantum circuit to solve quantum statistical mechanics problems and obtain thermal observables such as the variational free energy, entropy, and specific heat. Expand

QDNN: DNN with Quantum Neural Network Layers

- Physics, Computer Science
- ArXiv
- 2019

This paper introduces a general quantum DNN, which consists of fully quantum structured layers with better representation power than the classical DNN and still keeps the advantages of the Classical DNN such as the non-linear activation, the multi-layer structure, and the efficient backpropagation training algorithm. Expand

Differentiate Everything with a Reversible Domain-Specific Language.

- Computer Science
- 2020

This paper answers the question that how practical it is to implement a machine instruction level reverse mode AD in a reversible programming language by implementing sparse matrix operations and some machine learning applications in the reversible eDSL NiLang, and benchmark the performance with state-of-the-art AD frameworks. Expand

Differentiate Everything with a Reversible Programming Language

- Computer Science
- ArXiv
- 2020

A reversible eDSL NiLang in Julia is developed that can differentiate a general program while being compatible with Julia’s ecosystem and demonstrates that a source-to-source AD framework can achieve the state-of-the-art performance. Expand

Capacity and quantum geometry of parametrized quantum circuits

- Physics, Computer Science
- PRX Quantum
- 2021

The capacity and trainability of parametrized quantum circuits are evaluated using the geometric structure of the parameter space via the effective quantum dimension, which reveals the expressive power of circuits in general as well as of particular initialization strategies. Expand

Efficient quantum circuit simulation using a multi-qubit Bloch vector representation of density matrices

- Physics
- 2021

In the Bloch sphere picture, one finds the coefficients for expanding a single-qubit density operator in terms of the identity and Pauli matrices. A generalization to n qubits via tensor products… Expand

Estimating the gradient and higher-order derivatives on quantum hardware

- Physics
- 2021

The authors show how to evaluate, with near-term quantum computers, high-order derivatives of expectation values with respect to the variational parameters of quantum circuits. The authors also study… Expand

Hamiltonian Operator Approximation for Energy Measurement and Ground-State Preparation

- Physics
- PRX Quantum
- 2021

The Hamiltonian operator plays a central role in quantum theory being a generator of unitary quantum dynamics. Its expectation value describes the energy of a quantum system. Typically being a… Expand

#### References

SHOWING 1-10 OF 134 REFERENCES

ProjectQ: An Open Source Software Framework for Quantum Computing

- Computer Science, Physics
- ArXiv
- 2016

We introduce ProjectQ, an open source software effort for quantum computing. The first release features a compiler framework capable of targeting various types of hardware, a high-performance… Expand

Q#: Enabling Scalable Quantum Computing and Development with a High-level DSL

- Computer Science, Physics
- RWDSL2018
- 2018

Q# is presented, a quantum-focused domain-specific language explicitly designed to correctly, clearly and completely express quantum algorithms that provides a type system; a tightly constrained environment to safely interleave classical and quantum computations; specialized syntax; symbolic code manipulation to automatically generate correct transformations of quantum operations. Expand

Overview and Comparison of Gate Level Quantum Software Platforms

- Computer Science, Mathematics
- Quantum
- 2019

A current picture of the rapidly evolving quantum computing landscape is provided by comparing four software platforms - Forest, Qiskit, ProjectQ, and the Quantum Developer Kit (Q#) - that enable researchers to use real and simulated quantum devices. Expand

A Practical Quantum Instruction Set Architecture

- Computer Science, Physics
- ArXiv
- 2016

An abstract machine architecture for classical/quantum computations---including compilation---along with a quantum instruction language called Quil for explicitly writing these computations are introduced and concrete implementations of the machine and non-trivial algorithms targeting them are discussed. Expand

Quantum Circuit Learning

- Physics, Computer Science
- 2018

A classical-quantum hybrid algorithm for machine learning on near-term quantum processors, which is hybridizing a low-depth quantum circuit and a classical computer for machinelearning, paves the way toward applications of near- term quantum devices for quantum machine learning. Expand

Hybrid Quantum-Classical Approach to Quantum Optimal Control.

- Physics, Medicine
- Physical review letters
- 2017

It is shown that the most computationally demanding part of gradient-based algorithms, namely, computing the fitness function and its gradient for a control input, can be accomplished by the process of evolution and measurement on a quantum simulator. Expand

Quantum Computation and Shor's Factoring Algorithm

- Physics
- 1996

Current technology is beginning to allow us to manipulate rather than just observe individual quantum phenomena. This opens up the possibility of exploiting quantum effects to perform computations… Expand

Minimal universal two-qubit controlled-NOT-based circuits (8 pages)

- Physics
- 2004

We give quantum circuits that simulate an arbitrary two-qubit unitary operator up to a global phase. For several quantum gate libraries we prove that gate counts are optimal in the worst and average… Expand

General-Purpose Quantum Circuit Simulator with Projected Entangled-Pair States and the Quantum Supremacy Frontier.

- Physics, Computer Science
- Physical review letters
- 2019

This work brings together many-body quantum physics and quantum computing by using a method for strongly interacting two-dimensional systems, the projected entangled-pair states, to realize an effective general-purpose simulator of quantum algorithms. Expand

Progress towards practical quantum variational algorithms

- Physics
- 2015

The preparation of quantum states using short quantum circuits is one of the most promising near-term applications of small quantum computers, especially if the circuit is short enough and the… Expand