Constant-depth circuits for Uniformly Controlled Gates and Boolean
functions with application to quantum memory circuits
- URL: http://arxiv.org/abs/2308.08539v2
- Date: Thu, 14 Dec 2023 09:52:40 GMT
- Title: Constant-depth circuits for Uniformly Controlled Gates and Boolean
functions with application to quantum memory circuits
- Authors: Jonathan Allcock, Jinge Bao, Jo\~ao F. Doriguello, Alessandro Luongo,
Miklos Santha
- Abstract summary: We propose two types of constant-depth constructions for implementing Uniformly Controlled Gates.
We obtain constant-depth circuits for the quantum counterparts of read-only and read-write memory devices.
- Score: 42.979881926959486
- License: http://creativecommons.org/publicdomain/zero/1.0/
- Abstract: We explore the power of the unbounded Fan-Out gate and the Global Tunable
gates generated by Ising-type Hamiltonians in constructing constant-depth
quantum circuits, with particular attention to quantum memory devices. We
propose two types of constant-depth constructions for implementing Uniformly
Controlled Gates. These gates include the Fan-In gates defined by
$|x\rangle|b\rangle\mapsto |x\rangle|b\oplus f(x)\rangle$ for $x\in\{0,1\}^n$
and $b\in\{0,1\}$, where $f$ is a Boolean function. The first of our
constructions is based on computing the one-hot encoding of the control
register $|x\rangle$, while the second is based on Boolean analysis and
exploits different representations of $f$ such as its Fourier expansion. Via
these constructions, we obtain constant-depth circuits for the quantum
counterparts of read-only and read-write memory devices -- Quantum Random
Access Memory (QRAM) and Quantum Random Access Gate (QRAG) -- of memory size
$n$. The implementation based on one-hot encoding requires either
$O(n\log{n}\log\log{n})$ ancillae and $O(n\log{n})$ Fan-Out gates or
$O(n\log{n})$ ancillae and $6$ Global Tunable gates. On the other hand, the
implementation based on Boolean analysis requires only $2$ Global Tunable gates
at the expense of $O(n^2)$ ancillae.
Related papers
- On encoded quantum gate generation by iterative Lyapunov-based methods [0.0]
The problem of encoded quantum gate generation is studied in this paper.
The emphReference Input Generation Algorithm (RIGA) is generalized in this work.
arXiv Detail & Related papers (2024-09-02T10:41:15Z) - Quantum Circuit for Random Forest Prediction [0.0]
We present a quantum circuit for a binary classification prediction algorithm using a random forest model.
One of our goals is reducing the number of basic quantum gates (elementary gates)
arXiv Detail & Related papers (2023-12-28T08:07:11Z) - Polylogarithmic-depth controlled-NOT gates without ancilla qubits [0.0]
Controlled operations are fundamental building blocks of quantum algorithms.
Decomposing $n$-control-NOT gates into arbitrary single-qubit and CNOT gates is a crucial but non-trivial task.
arXiv Detail & Related papers (2023-12-20T17:23:11Z) - One Gate Scheme to Rule Them All: Introducing a Complex Yet Reduced Instruction Set for Quantum Computing [8.478982715648547]
Scheme for qubits with $XX+YY$ coupling realizes any two-qubit gate up to single-qubit gates.
We observe marked improvements across various applications, including generic $n$-qubit gate synthesis, quantum volume, and qubit routing.
arXiv Detail & Related papers (2023-12-09T19:30:31Z) - On the average-case complexity of learning output distributions of
quantum circuits [55.37943886895049]
We show that learning the output distributions of brickwork random quantum circuits is average-case hard in the statistical query model.
This learning model is widely used as an abstract computational model for most generic learning algorithms.
arXiv Detail & Related papers (2023-05-09T20:53:27Z) - Spacetime-Efficient Low-Depth Quantum State Preparation with
Applications [93.56766264306764]
We show that a novel deterministic method for preparing arbitrary quantum states requires fewer quantum resources than previous methods.
We highlight several applications where this ability would be useful, including quantum machine learning, Hamiltonian simulation, and solving linear systems of equations.
arXiv Detail & Related papers (2023-03-03T18:23:20Z) - Exponential Separation between Quantum and Classical Ordered Binary
Decision Diagrams, Reordering Method and Hierarchies [68.93512627479197]
We study quantum Ordered Binary Decision Diagrams($OBDD$) model.
We prove lower bounds and upper bounds for OBDD with arbitrary order of input variables.
We extend hierarchy for read$k$-times Ordered Binary Decision Diagrams ($k$-OBDD$) of width.
arXiv Detail & Related papers (2022-04-22T12:37:56Z) - Quantum simulation of $\phi^4$ theories in qudit systems [53.122045119395594]
We discuss the implementation of quantum algorithms for lattice $Phi4$ theory on circuit quantum electrodynamics (cQED) system.
The main advantage of qudit systems is that its multi-level characteristic allows the field interaction to be implemented only with diagonal single-qudit gates.
arXiv Detail & Related papers (2021-08-30T16:30:33Z) - QUANTIFY: A framework for resource analysis and design verification of
quantum circuits [69.43216268165402]
QUANTIFY is an open-source framework for the quantitative analysis of quantum circuits.
It is based on Google Cirq and is developed with Clifford+T circuits in mind.
For benchmarking purposes QUANTIFY includes quantum memory and quantum arithmetic circuits.
arXiv Detail & Related papers (2020-07-21T15:36:25Z) - Demonstrating a Continuous Set of Two-qubit Gates for Near-term Quantum
Algorithms [1.9240845160743125]
We demonstrate a continuous two-qubit gate set that can provide a 3x reduction in circuit depth as compared to a standard decomposition.
We benchmark the fidelity of the iSWAP-like and CPHASE gate families as well as 525 other fSim gates spread evenly across the entire fSim parameter space.
arXiv Detail & Related papers (2020-01-23T02:12:45Z)
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.