Discovering Quantum Circuit Components with Program Synthesis
- URL: http://arxiv.org/abs/2305.01707v1
- Date: Tue, 2 May 2023 18:17:07 GMT
- Title: Discovering Quantum Circuit Components with Program Synthesis
- Authors: Leopoldo Sarra, Kevin Ellis, Florian Marquardt
- Abstract summary: We show how a computer can incrementally learn concepts relevant for quantum circuit synthesis with experience.
We show how, starting from a set of elementary gates, we can automatically discover a library of new useful composite gates.
- Score: 6.390357081534995
- License: http://creativecommons.org/licenses/by/4.0/
- Abstract: Despite rapid progress in the field, it is still challenging to discover new
ways to take advantage of quantum computation: all quantum algorithms need to
be designed by hand, and quantum mechanics is notoriously counterintuitive. In
this paper, we study how artificial intelligence, in the form of program
synthesis, may help to overcome some of these difficulties, by showing how a
computer can incrementally learn concepts relevant for quantum circuit
synthesis with experience, and reuse them in unseen tasks. In particular, we
focus on the decomposition of unitary matrices into quantum circuits, and we
show how, starting from a set of elementary gates, we can automatically
discover a library of new useful composite gates and use them to decompose more
and more complicated unitaries.
Related papers
- Efficient Learning for Linear Properties of Bounded-Gate Quantum Circuits [63.733312560668274]
Given a quantum circuit containing d tunable RZ gates and G-d Clifford gates, can a learner perform purely classical inference to efficiently predict its linear properties?
We prove that the sample complexity scaling linearly in d is necessary and sufficient to achieve a small prediction error, while the corresponding computational complexity may scale exponentially in d.
We devise a kernel-based learning model capable of trading off prediction error and computational complexity, transitioning from exponential to scaling in many practical settings.
arXiv Detail & Related papers (2024-08-22T08:21:28Z) - Character Complexity: A Novel Measure for Quantum Circuit Analysis [0.0]
This paper introduces Character Complexity, a novel measure that bridges Group-theoretic concepts with practical quantum computing concerns.
I prove several key properties of character complexity and establish a surprising connection to the classical simulability of quantum circuits.
I present innovative visualization methods for character complexity, providing intuitive insights into the structure of quantum circuits.
arXiv Detail & Related papers (2024-08-19T01:58:54Z) - Quantum Compiling with Reinforcement Learning on a Superconducting Processor [55.135709564322624]
We develop a reinforcement learning-based quantum compiler for a superconducting processor.
We demonstrate its capability of discovering novel and hardware-amenable circuits with short lengths.
Our study exemplifies the codesign of the software with hardware for efficient quantum compilation.
arXiv Detail & Related papers (2024-06-18T01:49:48Z) - Exploring Gamification in Quantum Computing: The Qubit Factory [0.0]
Qubit Factory is an engineering-style puzzle game based on a gamified quantum circuit simulator.
It introduces an intuitive visual language for representing quantum states, gates and circuits.
Each task requires the user to construct and run an appropriate classical/quantum circuit built from a small selection of components.
arXiv Detail & Related papers (2024-06-17T18:08:53Z) - Quantum algorithms: A survey of applications and end-to-end complexities [90.05272647148196]
The anticipated applications of quantum computers span across science and industry.
We present a survey of several potential application areas of quantum algorithms.
We outline the challenges and opportunities in each area in an "end-to-end" fashion.
arXiv Detail & Related papers (2023-10-04T17:53:55Z) - Demonstration of a Hardware-Independent Toolkit for Automated Quantum
Subcircuit Synthesis [2.828466685313335]
This article describes an automated quantum-software toolkit for synthesis, compilation, and optimization.
It transforms classically-specified, irreversible functions into both technology-independent and technology-dependent quantum circuits.
We describe and analyze the toolkit's application to three situations -- quantum read-only memories, quantum random number generators, and quantum oracles.
arXiv Detail & Related papers (2023-09-02T21:46:38Z) - Quantivine: A Visualization Approach for Large-scale Quantum Circuit
Representation and Analysis [31.203764035373677]
We develop Quantivine, an interactive system for exploring and understanding quantum circuits.
A series of novel circuit visualizations are designed to uncover contextual details such as qubit provenance, parallelism, and entanglement.
The effectiveness of Quantivine is demonstrated through two usage scenarios of quantum circuits with up to 100 qubits.
arXiv Detail & Related papers (2023-07-18T04:51:28Z) - The Basis of Design Tools for Quantum Computing: Arrays, Decision
Diagrams, Tensor Networks, and ZX-Calculus [55.58528469973086]
Quantum computers promise to efficiently solve important problems classical computers never will.
A fully automated quantum software stack needs to be developed.
This work provides a look "under the hood" of today's tools and showcases how these means are utilized in them, e.g., for simulation, compilation, and verification of quantum circuits.
arXiv Detail & Related papers (2023-01-10T19:00:00Z) - Quantum Machine Learning: from physics to software engineering [58.720142291102135]
We show how classical machine learning approach can help improve the facilities of quantum computers.
We discuss how quantum algorithms and quantum computers may be useful for solving classical machine learning tasks.
arXiv Detail & Related papers (2023-01-04T23:37:45Z) - Parametric Synthesis of Computational Circuits for Complex Quantum
Algorithms [0.0]
The purpose of our quantum synthesizer is enabling users to implement quantum algorithms using higher-level commands.
The proposed approach for implementing quantum algorithms has a potential application in the field of machine learning.
arXiv Detail & Related papers (2022-09-20T06:25:47Z) - On exploring the potential of quantum auto-encoder for learning quantum systems [60.909817434753315]
We devise three effective QAE-based learning protocols to address three classically computational hard learning problems.
Our work sheds new light on developing advanced quantum learning algorithms to accomplish hard quantum physics and quantum information processing tasks.
arXiv Detail & Related papers (2021-06-29T14:01:40Z)
This list is automatically generated from the titles and abstracts of the papers in this site.
This site does not guarantee the quality of this site (including all information) and is not responsible for any consequences.