All Questions
Tagged with gate-synthesis compiling
8 questions
3
votes
1
answer
150
views
Is Controlled$(R_z(\theta))$ more expensive than Controlled$(Z^t)$ on the surface code?
There are (at least) two conventions for single-qubit, arbitrary-angle Z rotations in quantum computing, which I will call Rz(theta) and Z^t.
$$
R_Z(\theta) = \exp(-i \theta Z/2) = \mathrm{diag}(e^{-i ...
1
vote
0
answers
40
views
Qiskit not efficiently compiling with new gate basis
I am using Qiskit to compile a small Qiskit circuit (shown below) with a gate basis consisting of Rigetti native gates:
RZ
...
1
vote
0
answers
40
views
Calculation of feasible operations for a certain set of primitive gates
Assume we have a set of primitive operations of a quantum processor. How can I determine the set of feasible operations or prove that a certain operation is not feasible?
As an example, one could ...
- 23
1
vote
0
answers
53
views
How to find the canonical form (i.e., phase-free representation) of a unitary matrix?
While reading Weiden and others' recent paper: Improving Quantum Circuit Synthesis with Machine Learning, I came across the notion of canonically representing a unitary matrix. More precisely, two ...
- 39
4
votes
1
answer
89
views
Computing the Bloch sphere representation of an arbitrary operator in $U(2)$
Computing the Matsumoto-Amano normal form of an operator in $U(2)$ involves finding the Bloch sphere representation of said operator, see Remarks on Matsumoto and Amano’s normal form for single-qubit ...
- 453
8
votes
1
answer
769
views
Is the Solovay-Kitaev theorem relevant for modern hardware?
The Solovay-Kitaev theorem (and more recent improvements) explains how to efficiently compile any 2-qubit unitary into any universal (dense) finite set of gates. My question is if this theorem is ...
- 1,695
10
votes
2
answers
2k
views
Transpilation into custom gate set in qiskit
In qiskit, I can transpile a given circuit into a some predefined gate set as follows (just an example)
...
- 1,695
7
votes
1
answer
1k
views
Would IBM's "compiler" turn my identity circuit into nothing?
If I were to create a circuit with the following gate:
$$\tag{1}R_\phi = \begin{bmatrix} 1 & 0 \\ 0 & e^{i \phi} \end{bmatrix},$$
with $\phi$ specified to be equal to 0, then the gate that I ...
