Prove that a C2(U) gate (for any single qubit unitary U) can be constructed using at most eight one-qubit gates, and six controlled- NOTs
71945
How to reduce circuit elements of a decomposed $C^2(U)$ operation?
94383
Prove that $A^TD-C^TB=I$
146812
Explicit construction for unitary extensions of completely positive and trace preserving (CPTP) maps?
148753
Quantum Stat-Mech Proof of an Inequality for the Partition Function
15210
Group of order 6 proof
45626
How do I calculate the eigenvalues of the positive partial transpose of this two-qubit state?
151038
How to prove (A v B), (A → C), (B → D) therefore (C v D)
55385
How can I design a 4-to-16 decoder using two 3-to-8 decoders and 16 two-input AND gates?
79425
Prove the direct product of nonzero complex numbers under multiplication.
90247
How to construct matrix of regular and "flipped" 2-qubit CNOT?
114341
Classical algorithm with complexity similar to Shor's discovered: Are there more efficient quantum algorithms than Shor's?
100142
Is the Pauli group for $n$-qubits a basis for $\mathbb{C}^{2^n\times 2^n}$?
100421
How to write this boolean expression using only NOR gates?
3918
How do I get the Unitary matrix of a circuit without using the 'unitary_simulator'?
92802
Proof of Borsuk-Ulam Theorem .
74730
Combinatorial Proof of ${{n}\choose{k}} {{k}\choose{j}} = {{n}\choose{j}} {{n-j}\choose{k-j}}$
40496
Understanding (theoretical) computing power of quantum computers