2022
DOI: 10.1145/3505181
|View full text |Cite
|
Sign up to set email alerts
|

Best Approximate Quantum Compiling Problems

Abstract: We study the problem of finding the best approximate circuit that is the closest (in some pertinent metric) to a target circuit, and which satisfies a number of hardware constraints, like gate alphabet and connectivity. We look at the problem in the CNOT+rotation gate set from a mathematical programming standpoint, offering contributions both in terms of understanding the mathematics of the problem and its efficient solution. Among the results that we present, we are able to derive a 14-CNOT 4-qubit Toffoli de… Show more

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
5

Citation Types

0
29
0

Year Published

2022
2022
2024
2024

Publication Types

Select...
5
1

Relationship

1
5

Authors

Journals

citations
Cited by 31 publications
(29 citation statements)
references
References 57 publications
0
29
0
Order By: Relevance
“…Works for the best approximate quantum compilation problems appeared in the literature as [11]- [17]. Here we focus primarily on the recent [12], [17], which formulate the problem as a mathematical optimization program over properly parameterized hardware-compatible circuits.…”
Section: Introductionmentioning
confidence: 99%
See 4 more Smart Citations
“…Works for the best approximate quantum compilation problems appeared in the literature as [11]- [17]. Here we focus primarily on the recent [12], [17], which formulate the problem as a mathematical optimization program over properly parameterized hardware-compatible circuits.…”
Section: Introductionmentioning
confidence: 99%
“…Works for the best approximate quantum compilation problems appeared in the literature as [11]- [17]. Here we focus primarily on the recent [12], [17], which formulate the problem as a mathematical optimization program over properly parameterized hardware-compatible circuits. In particular, in [17], one defines a target circuit as a unitary matrix in n qubits, U , and a parametric ansatz V ct (θ) built upon allowed gates and interconnections, and solves (classically) the optimization problem:…”
Section: Introductionmentioning
confidence: 99%
See 3 more Smart Citations