/
rzx.py
190 lines (147 loc) · 6.79 KB
/
rzx.py
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
# This code is part of Qiskit.
#
# (C) Copyright IBM 2017, 2020.
#
# This code is licensed under the Apache License, Version 2.0. You may
# obtain a copy of this license in the LICENSE.txt file in the root directory
# of this source tree or at http://www.apache.org/licenses/LICENSE-2.0.
#
# Any modifications or derivative works of this code must retain this
# copyright notice, and modified files need to carry a notice indicating
# that they have been altered from the originals.
"""Two-qubit ZX-rotation gate."""
import math
from typing import Optional
from qiskit.circuit.gate import Gate
from qiskit.circuit.quantumregister import QuantumRegister
from qiskit.circuit.parameterexpression import ParameterValueType
class RZXGate(Gate):
r"""A parametric 2-qubit :math:`Z \otimes X` interaction (rotation about ZX).
This gate is maximally entangling at :math:`\theta = \pi/2`.
The cross-resonance gate (CR) for superconducting qubits implements
a ZX interaction (however other terms are also present in an experiment).
Can be applied to a :class:`~qiskit.circuit.QuantumCircuit`
with the :meth:`~qiskit.circuit.QuantumCircuit.rzx` method.
**Circuit Symbol:**
.. parsed-literal::
┌─────────┐
q_0: ┤0 ├
│ Rzx(θ) │
q_1: ┤1 ├
└─────────┘
**Matrix Representation:**
.. math::
\newcommand{\rotationangle}{\frac{\theta}{2}}
R_{ZX}(\theta)\ q_0, q_1 = \exp\left(-i \frac{\theta}{2} X{\otimes}Z\right) =
\begin{pmatrix}
\cos\left(\rotationangle\right) & 0 & -i\sin\left(\rotationangle\right) & 0 \\
0 & \cos\left(\rotationangle\right) & 0 & i\sin\left(\rotationangle\right) \\
-i\sin\left(\rotationangle\right) & 0 & \cos\left(\rotationangle\right) & 0 \\
0 & i\sin\left(\rotationangle\right) & 0 & \cos\left(\rotationangle\right)
\end{pmatrix}
.. note::
In Qiskit's convention, higher qubit indices are more significant
(little endian convention). In the above example we apply the gate
on (q_0, q_1) which results in the :math:`X \otimes Z` tensor order.
Instead, if we apply it on (q_1, q_0), the matrix will
be :math:`Z \otimes X`:
.. parsed-literal::
┌─────────┐
q_0: ┤1 ├
│ Rzx(θ) │
q_1: ┤0 ├
└─────────┘
.. math::
\newcommand{\rotationangle}{\frac{\theta}{2}}
R_{ZX}(\theta)\ q_1, q_0 = exp(-i \frac{\theta}{2} Z{\otimes}X) =
\begin{pmatrix}
\cos(\rotationangle) & -i\sin(\rotationangle) & 0 & 0 \\
-i\sin(\rotationangle) & \cos(\rotationangle) & 0 & 0 \\
0 & 0 & \cos(\rotationangle) & i\sin(\rotationangle) \\
0 & 0 & i\sin(\rotationangle) & \cos(\rotationangle)
\end{pmatrix}
This is a direct sum of RX rotations, so this gate is equivalent to a
uniformly controlled (multiplexed) RX gate:
.. math::
R_{ZX}(\theta)\ q_1, q_0 =
\begin{pmatrix}
RX(\theta) & 0 \\
0 & RX(-\theta)
\end{pmatrix}
**Examples:**
.. math::
R_{ZX}(\theta = 0) = I
.. math::
R_{ZX}(\theta = 2\pi) = -I
.. math::
R_{ZX}(\theta = \pi) = -i Z \otimes X
.. math::
RZX(\theta = \frac{\pi}{2}) = \frac{1}{\sqrt{2}}
\begin{pmatrix}
1 & 0 & -i & 0 \\
0 & 1 & 0 & i \\
-i & 0 & 1 & 0 \\
0 & i & 0 & 1
\end{pmatrix}
"""
def __init__(
self, theta: ParameterValueType, label: Optional[str] = None, *, duration=None, unit="dt"
):
"""Create new RZX gate."""
super().__init__("rzx", 2, [theta], label=label, duration=duration, unit=unit)
def _define(self):
"""
gate rzx(theta) a, b { h b; cx a, b; u1(theta) b; cx a, b; h b;}
"""
# pylint: disable=cyclic-import
from qiskit.circuit.quantumcircuit import QuantumCircuit
from .h import HGate
from .x import CXGate
from .rz import RZGate
# q_0: ───────■─────────────■───────
# ┌───┐┌─┴─┐┌───────┐┌─┴─┐┌───┐
# q_1: ┤ H ├┤ X ├┤ Rz(0) ├┤ X ├┤ H ├
# └───┘└───┘└───────┘└───┘└───┘
theta = self.params[0]
q = QuantumRegister(2, "q")
qc = QuantumCircuit(q, name=self.name)
rules = [
(HGate(), [q[1]], []),
(CXGate(), [q[0], q[1]], []),
(RZGate(theta), [q[1]], []),
(CXGate(), [q[0], q[1]], []),
(HGate(), [q[1]], []),
]
for instr, qargs, cargs in rules:
qc._append(instr, qargs, cargs)
self.definition = qc
def inverse(self, annotated: bool = False):
"""Return inverse RZX gate (i.e. with the negative rotation angle).
Args:
annotated: when set to ``True``, this is typically used to return an
:class:`.AnnotatedOperation` with an inverse modifier set instead of a concrete
:class:`.Gate`. However, for this class this argument is ignored as the inverse
of this gate is always a :class:`.RZXGate` with an inverted parameter value.
Returns:
RZXGate: inverse gate.
"""
return RZXGate(-self.params[0])
def __array__(self, dtype=None, copy=None):
"""Return a numpy.array for the RZX gate."""
import numpy
if copy is False:
raise ValueError("unable to avoid copy while creating an array as requested")
half_theta = float(self.params[0]) / 2
cos = math.cos(half_theta)
isin = 1j * math.sin(half_theta)
return numpy.array(
[[cos, 0, -isin, 0], [0, cos, 0, isin], [-isin, 0, cos, 0], [0, isin, 0, cos]],
dtype=dtype,
)
def power(self, exponent: float, annotated: bool = False):
(theta,) = self.params
return RZXGate(exponent * theta)
def __eq__(self, other):
if isinstance(other, RZXGate):
return self._compare_parameters(other)
return False