Quantum circuit design for universal distribution using a superposition
of classical automata
- URL: http://arxiv.org/abs/2006.00987v2
- Date: Thu, 24 Feb 2022 12:43:13 GMT
- Title: Quantum circuit design for universal distribution using a superposition
of classical automata
- Authors: Aritra Sarkar, Zaid Al-Ars, Koen Bertels
- Abstract summary: This circuit is able to accelerate the inference of algorithmic structures in data for discovering causal generative models.
A classical exhaustive enumeration of all possible programs on the automata is shown for a couple of example cases.
This is the first time, a superposition of classical automata is implemented on the circuit model of quantum computation.
- Score: 2.4192504570921622
- License: http://creativecommons.org/licenses/by-nc-sa/4.0/
- Abstract: In this research, we present a quantum circuit design and implementation for
a parallel universal linear bounded automata. This circuit is able to
accelerate the inference of algorithmic structures in data for discovering
causal generative models. The computation model is practically restricted in
time and space resources. A classical exhaustive enumeration of all possible
programs on the automata is shown for a couple of example cases. The precise
quantum circuit design that allows executing a superposition of programs, along
with a superposition of inputs as in the standard quantum Turing machine
formulation, is presented. This is the first time, a superposition of classical
automata is implemented on the circuit model of quantum computation, having the
corresponding mechanistic parts of a classical Turing machine. The
superposition of programs allows our model to be used for experimenting with
the space of program-output behaviors in algorithmic information theory. Our
implementations on OpenQL and Qiskit quantum programming language is copy-left
and is publicly available on GitHub.
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) - Q-gen: A Parameterized Quantum Circuit Generator [0.6062751776009752]
We introduce Q-gen, a high-level, parameterized quantum circuit generator incorporating 15 realistic quantum algorithms.
Q-gen is an open-source project that serves as the entrance for users with a classical computer science background to dive into the world of quantum computing.
arXiv Detail & Related papers (2024-07-26T12:22:40Z) - Hybrid Quantum-Classical Machine Learning with String Diagrams [49.1574468325115]
This paper develops a formal framework for describing hybrid algorithms in terms of string diagrams.
A notable feature of our string diagrams is the use of functor boxes, which correspond to a quantum-classical interfaces.
arXiv Detail & Related papers (2024-07-04T06:37:16Z) - Visualizing Quantum Circuit Probability -- estimating computational
action for quantum program synthesis [0.0]
The probability of states in the circuit model of computation is defined.
The reachability and expressibility in a space-time-bounded setting for classical and quantum gate sets are enumerated and visualized.
The article suggests how applications like geometric quantum machine learning, novel quantum algorithm and quantum artificial general intelligence can benefit from studying circuit probabilities.
arXiv Detail & Related papers (2023-04-05T10:49:36Z) - 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 Clustering with k-Means: a Hybrid Approach [117.4705494502186]
We design, implement, and evaluate three hybrid quantum k-Means algorithms.
We exploit quantum phenomena to speed up the computation of distances.
We show that our hybrid quantum k-Means algorithms can be more efficient than the classical version.
arXiv Detail & Related papers (2022-12-13T16:04:16Z) - A Quantum Algorithm for Computing All Diagnoses of a Switching Circuit [73.70667578066775]
Faults are by nature while most man-made systems, and especially computers, work deterministically.
This paper provides such a connecting via quantum information theory which is an intuitive approach as quantum physics obeys probability laws.
arXiv Detail & Related papers (2022-09-08T17:55:30Z) - Exploring ab initio machine synthesis of quantum circuits [0.0]
Gate-level quantum circuits are often derived manually from higher level algorithms.
Here we explore methods for the ab initio creation of circuits within a machine.
arXiv Detail & Related papers (2022-06-22T17:48:29Z) - Quantum State Complexity in Computationally Tractable Quantum Circuits [0.0]
We discuss a special class of numerically tractable quantum circuits, known as quantum automaton circuits.
We show that automaton wave functions have high quantum state complexity.
We present evidence of a linear growth of design complexity in local quantum circuits.
arXiv Detail & Related papers (2020-09-11T16:25:11Z) - Electronic structure with direct diagonalization on a D-Wave quantum
annealer [62.997667081978825]
This work implements the general Quantum Annealer Eigensolver (QAE) algorithm to solve the molecular electronic Hamiltonian eigenvalue-eigenvector problem on a D-Wave 2000Q quantum annealer.
We demonstrate the use of D-Wave hardware for obtaining ground and electronically excited states across a variety of small molecular systems.
arXiv Detail & Related papers (2020-09-02T22:46:47Z)
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.