Download LIQUiD Users Manual

S E R I O U S





C O D I N G
Adjoint (Adj gate): Take the unitary matrix in gate and performs an adjoint
operation on it before applying the matrix to the qubit list. This only works
if the provided gate is defined by a unitary matrix (of course).
Control gate (Cgate gate). This may be thought of as the quantum
equivalent of BC. Take the matrix in gate and expand it to include a control
line. Then apply the resulting gate to the qubit list. For example: Cgate X is
the same thing as CNOT.
Control Control gate (CCgate gate). Take the matrix in gate and expand
it to include two control lines. Then apply the resulting gate to the qubit list.
For example: CCgate X is the same thing as CCNOT.
Transverse Gate (Transverse). Take any other gate and convert it into its
transverse equivalent (for QECC).
Transverse Binary Control (T_BC). Convert a binary control gate into its
transverse equivalent (for QECC).
There are also sets of specialized gates. The largest set is for Hamiltonian operations
(these are in the model HamiltonianGates):









Couple two 𝜎𝑧 operations (ZZ).
Rotated Pauli (Rpauli). Takes a Pauli gate (X,Y,Z) and rotates it to an
arbitrary angle (𝑅𝑥 , 𝑅𝑦 , 𝑅𝑧 ).
Rotate a Pauli Z and ZZ (ZR, ZZR). This is just a short-hand version.
Rotate phase by arbitrary angle (Ttheta).
Rotate global phase by an arbitrary angle (Gtheta).
Flip the current qubit basis from Z to Y or back (Ybasis, YbasisAdj).
Rotate around Z, Y or X in the natural units (Rz, Ry, Rx).
Controlled versions of above (CRz, Cry, CRx, CTtheta, CGtheta).
Use CNOTs to entangle/unentangle across any number of qubits (Entangle,
UnEntangle). This is for implementing Jordan-Wigner strings.
There are also a few specialized gates for Joint Measurement operations (used in
braiding circuits for Majorana Fermions). See the sample in Joint.fsx for details:




Joint measure in the Z basis (JMz). This gate take a symbol name to store
the result in (since it isn’t local to any one qubit) and a list of qubits to
perform the joint measurement on.
Joint measure in the X basis (JMx).
Joint measure in multiple basis (JM). This op takes a string of basis values
“xyz” that match up 1-to-1 with the qubit list you provide.
Parity Control (PC). This gate takes the results of previous joint
measurements and decides whether to apply a gate (like BC). It takes a label
(to put on drawings to show the formula used), a function to compute the
36
Copyright © 2015 by Microsoft Corporation. All Rights Reserved.