Add to_phased_xz_gate function for SingleQubitCliffordGate #4050
Conversation
|
In case, it is not intuitive how clifford gates can be transferred to phased xz gates, take a look at following gif as example: |
cirq-core/cirq/ops/clifford_gate.py
Outdated
| a = 0.0 | ||
| x = -0.5 if x_to.flip ^ z_to.flip else 0.5 | ||
| z = -0.5 if x_to.flip else 0.5 | ||
| # It is impossible that there are other cases. |
There was a problem hiding this comment.
I would maybe rephrase the last branch to:
else:
# the only possible case left
assert (x_to.to, z_to.to) == (pauli_gates.Y, pauli_gates.X)There was a problem hiding this comment.
Thanks, that looks beter.
There was a problem hiding this comment.
BTW, face rotation may be ambiguous at first glance, I learn it called axis swapping rotation in some literatures.
| * {middle point of xyz in 4 Quadrant} * {120, 240} --- rotation in face | ||
| note 1 + 9 + 6 + 8 = 24 in total. | ||
|
|
||
| To associate with Clifford Tableau, it can also be grouped by 4: |
There was a problem hiding this comment.
I don't know if this information here is useful at all...in the end we use the above axis/degree categorization.
There was a problem hiding this comment.
The if branch is based on the second group while the gate name is based on the first group.
I particularly choose the second group is for preparing to switch to the Tableau-based approach.
For example, the condition (x_to.to, z_to.to) == (pauli_gates.X, pauli_gates.Z) can be directly convert into something like tableau.matrix() == np.array([[1, 0], [0, 1]]).
Each branch condition is corresponding one of the six symplectic matrices.
Co-authored-by: Balint Pato <balopat@users.noreply.github.com>
Co-authored-by: Balint Pato <balopat@users.noreply.github.com>
Co-authored-by: Balint Pato <balopat@users.noreply.github.com>
Co-authored-by: Balint Pato <balopat@users.noreply.github.com>
Co-authored-by: Balint Pato <balopat@users.noreply.github.com>
Co-authored-by: Balint Pato <balopat@users.noreply.github.com>
Co-authored-by: Balint Pato <balopat@users.noreply.github.com>
Co-authored-by: Balint Pato <balopat@users.noreply.github.com>
Co-authored-by: Balint Pato <balopat@users.noreply.github.com>
Co-authored-by: Balint Pato <balopat@users.noreply.github.com>
Co-authored-by: Balint Pato <balopat@users.noreply.github.com>
cirq-core/cirq/ops/clifford_gate.py
Outdated
|
|
||
| To associate with Clifford Tableau, it can also be grouped by 4: | ||
| * {I,X,Y,Z} is [[1 0], [0, 1]] | ||
| * {+/- X_sqrt, 2 Hadamard-like gates acting on the XZ plane} is [[1, 0], [1, 1]] |
There was a problem hiding this comment.
| * {+/- X_sqrt, 2 Hadamard-like gates acting on the XZ plane} is [[1, 0], [1, 1]] | |
| * {+/- X_sqrt, 2 Hadamard-like gates acting on the XY plane} is [[1, 0], [1, 1]] |
There was a problem hiding this comment.
Sorry, I found both this one and the comment in the following Z_sqrt was wrong as well. Fixed now. (Comments under the if-else branches are correct).
balopat
added
the
automerge
CirqBot
added
the
front_of_queue_automerge
|
Automerge cancelled: A status check is failing. |
CirqBot
removed
automerge
balopat
added
the
automerge
CirqBot
added
the
front_of_queue_automerge
CirqBot
removed
automerge
…b#4050) Allow transferring SingleQubitCliffordGate to Phased X and Z Gates.
…b#4050) Allow transferring SingleQubitCliffordGate to Phased X and Z Gates.
Allow transferring SingleQubitCliffordGate to Phased X and Z Gates.