4
Your approach is correct. In particular, sandwiching a controlled rotation between two CNOT gates is a common technique for implementing rotations on the $|01\rangle, |10\rangle$ subspace on hardware that does not implement it natively.
We can justify your approach using the fact that if $A$ has eigendecomposition
$$
A = \sum_i \lambda_i|i\rangle\langle i|
$$...
1
Yes.
A uniformly (Haar random) sampled state vector $|\psi\rangle$ is characterized by the fact that the probability measure is invariant under any $U$, i.e., colloquially, $U|\psi\rangle$ is just as likely as $|\psi\rangle$ for any unitary $U$.
On the other hand, a Haar random unitary $V$ is defined the same way: "$UV$ is just as likely as $V$, for any ...
Only top voted, non community-wiki answers of a minimum length are eligible
Related Tags
matrix-representation × 96quantum-gate × 44
mathematics × 24
programming × 12
qiskit × 10
circuit-construction × 10
quantum-state × 9
textbook-and-exercises × 9
nielsen-and-chuang × 8
unitarity × 6
tensor-product × 5
pauli-gates × 5
hadamard × 5
algorithm × 4
entanglement × 4
density-matrix × 4
hamiltonian-simulation × 4
linear-algebra × 3
measurement × 2
q# × 2
teleportation × 2
notation × 2
qudit × 2
error-correction × 1
resource-request × 1