Tag Info

Accepted

How to understand the Haar measure from a quantum information perspective?

Computations in quantum information processing are implemented by means of unitary operations. Sometimes, we need to think not about a specific unitary operation required to execute a specific ...
• 2,555
Accepted

How to derive the CNOT matrix for a 3-qubit system where the control & target qubits are not adjacent?

For a presentation from first principles, I like Ryan O'Donnell's answer. But for a slightly higher-level algebraic treatment, here's how I would do it. The main feature of a controlled-$U$ operation,...
• 12.1k
Accepted

• 1,066
Accepted

How to show a density matrix is in a pure/mixed state?

First, the example that you give is not a density matrix (they must have trace 1). Second, you’re asking how to go from the matrix into an operator representation that is not unique. So, there are ...
• 58.1k
Accepted

How is the ground state of a Hamiltonian defined?

A couple of points: The ground state is by definition the eigenvector associated with the minimum valued eigenvalue. Lets consider the Pauli Z matrix as you have. First, \begin{align*} Z = \begin{...
• 525
Accepted

What are the possible non-entangling two-qubit gates?

There are no other non-entangling gates in $SU(d^2)$ in any dimension $d=2,3,\dots$. Note that the global phase is irrelevant to the problem, so we lose no generality by considering non-entangling ...
• 22.4k
Accepted

Quantum states are unit vectors... with respect to which norm?

Born's rule states that $|\psi(x)|^2 = P(x)$ which is the probability of finding the quantum system in the state $|x\rangle$ after a measurement. We need the sum (or integral!) over all $x$ to be 1: \...
Accepted

How can we be sure that for every $A$, $A^\dagger A$ has a positive square root?

A matrix is positive if and only if it is Hermitian (and thus unitarily diagonalizable) and all its eigenvalues are positive (that they are real follows automatically from it being Hermitian). If this ...
• 24.9k

When can a matrix be "extended" into a unitary?

A necessary and sufficient condition is that, given an $n\times n$ matrix $M$, you can construct a $2n\times 2n$ unitary matrix $U$ provided the singular values of $M$ are all upper bounded by 1. ...
• 58.1k

• 58.1k
Accepted

How do I prove that the Hadamard satisfies $H\equiv e^{i\pi H/2}$?

First of all, note that the statement, as written, is wrong (or rather, it is correct only as long as the "$\equiv$" symbol is taken to mean "equal up to a phase"). An easy way to see it is by ...
• 24.9k
Accepted

Correct Formulation of N&C Exercise 4.11 and other textbooks misquoting

The errata is correct. I had a project student who erroneously took one of these mis-quotes and she spent ages working with it, realising it didn't make sense, and subsequently proving that the stated ...
• 58.1k
Accepted

• 2,024