Quantum Circuits in Additive Hilbert Space
- URL: http://arxiv.org/abs/2111.01211v2
- Date: Thu, 4 Nov 2021 10:27:21 GMT
- Title: Quantum Circuits in Additive Hilbert Space
- Authors: Luca Mondada
- Abstract summary: We show how conventional circuits can be expressed in the additive space and how they can be recovered.
In particular in our formalism we are able to synthesize high-level multi-controlled primitives from low-level circuit decompositions.
Our formulation also accepts a circuit-like diagrammatic representation and proposes a novel and simple interpretation of quantum computation.
- Score: 0.0
- License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
- Abstract: Representations of quantum computations are almost always based on a tensor
product $\otimes$-structure. This coincides with what we are able to execute in
our experiments, as well as what we observe in Nature, but it makes certain
familiar quantum primitives convoluted. Reversible classical circuits, diagonal
operations or controlled unitaries all have very elegant and simple matrix
representations that cannot be expressed succinctly as a circuit in a simple
gate set, complicating quantum algorithm design and circuit optimization.
We propose a new additive presentation of quantum computation to address
this. We show how conventional circuits can be expressed in the additive space
and how they can be recovered. In particular in our formalism we are able to
synthesize high-level multi-controlled primitives from low-level circuit
decompositions, making it an invaluable tool for circuit optimization. Our
formulation also accepts a circuit-like diagrammatic representation and
proposes a novel and simple interpretation of quantum computation.
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) - Unified framework for efficiently computable quantum circuits [0.0]
Quantum circuits consisting of Clifford and matchgates are two classes of circuits that are known to be efficiently simulatable on a classical computer.
We introduce a unified framework that shows in a transparent way the special structure that allows these circuits can be efficiently simulatable.
arXiv Detail & Related papers (2024-01-16T08:04:28Z) - Quantum Circuit Completeness: Extensions and Simplifications [44.99833362998488]
The first complete equational theory for quantum circuits has only recently been introduced.
We simplify the equational theory by proving that several rules can be derived from the remaining ones.
The complete equational theory can be extended to quantum circuits with ancillae or qubit discarding.
arXiv Detail & Related papers (2023-03-06T13:31:27Z) - Near-optimal quantum circuit construction via Cartan decomposition [4.900041609957432]
We show the applicability of the Cartan decomposition of Lie algebras to quantum circuits.
This approach can be used to synthesize circuits that can efficiently implement any desired unitary operation.
arXiv Detail & Related papers (2022-12-25T17:01:13Z) - A Complete Equational Theory for Quantum Circuits [58.720142291102135]
We introduce the first complete equational theory for quantum circuits.
Two circuits represent the same unitary map if and only if they can be transformed one into the other using the equations.
arXiv Detail & Related papers (2022-06-21T17:56:31Z) - Low-rank tensor decompositions of quantum circuits [14.531461873576449]
We show how MPOs can be used to express certain quantum states, quantum gates, and entire quantum circuits as low-rank tensors.
This enables the analysis and simulation of complex quantum circuits on classical computers.
arXiv Detail & Related papers (2022-05-19T22:09:15Z) - LOv-Calculus: A Graphical Language for Linear Optical Quantum Circuits [58.720142291102135]
We introduce the LOv-calculus, a graphical language for reasoning about linear optical quantum circuits.
Two LOv-circuits represent the same quantum process if and only if one can be transformed into the other with the rules of the LOv-calculus.
arXiv Detail & Related papers (2022-04-25T16:59:26Z) - Gaussian initializations help deep variational quantum circuits escape
from the barren plateau [87.04438831673063]
Variational quantum circuits have been widely employed in quantum simulation and quantum machine learning in recent years.
However, quantum circuits with random structures have poor trainability due to the exponentially vanishing gradient with respect to the circuit depth and the qubit number.
This result leads to a general belief that deep quantum circuits will not be feasible for practical tasks.
arXiv Detail & Related papers (2022-03-17T15:06:40Z) - Algebraic Compression of Quantum Circuits for Hamiltonian Evolution [52.77024349608834]
Unitary evolution under a time dependent Hamiltonian is a key component of simulation on quantum hardware.
We present an algorithm that compresses the Trotter steps into a single block of quantum gates.
This results in a fixed depth time evolution for certain classes of Hamiltonians.
arXiv Detail & Related papers (2021-08-06T19:38:01Z) - Capacity and quantum geometry of parametrized quantum circuits [0.0]
Parametrized quantum circuits can be effectively implemented on current devices.
We evaluate the capacity and trainability of these circuits using the geometric structure of the parameter space.
Our results enhance the understanding of parametrized quantum circuits for improving variational quantum algorithms.
arXiv Detail & Related papers (2021-02-02T18:16:57Z)
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.