Questions tagged [unitarity]

For questions related to the unitarity (unitary evolution) of quantum systems, as applicable to quantum computing or quantum information.

Filter by
Sorted by
Tagged with
1
vote
1answer
49 views

Hadamard gate for three qubits; inconsistency between IBM and Matlab

I am trying to build a large and quite complex three qubit quantum circuit on IBMs quantum computer. I have a specific unitary which I am trying to implement and I am building a circuit following the ...
2
votes
1answer
51 views

How can I convert the unitary matrix $e^\frac{i\pi}{2}$ into a quantum circuit in Qiskit?

How can I put the unitary matrix $$e^\frac{i\pi}{2}I$$ to the quantum circuit? I don't know if it is belong to $$U3(\theta, \phi, \lambda), U2(\phi, \lambda), U1(\lambda)$$ Thanks a lot.
4
votes
1answer
80 views

Is the Haar measure invariant under conjugation?

Denote the Haar measure on the unitary group $U(\mathcal X)$ by $\eta$. Does this equation hold (assuming the integral exists): $\int d\eta(U) f(U) = \int d\eta(U) f(U^\dagger)$? Intuitively this ...
3
votes
1answer
89 views

How to find the unitary operation of a depolarizing channel?

Suppose we have a depolarizing channel operation $$E(\rho)=\frac{p}{2}\textbf{1}+(1-p)\rho$$ acting on a Spin$\frac{1}{2}$ density matrix of the form $\rho=\frac{1}{2}(\textbf{1}+\textbf{s}\cdot\...
1
vote
1answer
46 views

Nielsen & Chuang Theorem 2.6 Proof

I got a problem in understanding the proof of the Theorem 2.6 (Unitary freedom in the ensenble for density matrices), 2.168 and 2.169 in the Nielsen and Chuang book Equation 2.168 Suppose $|{\tilde\...
3
votes
1answer
33 views

Can we always find a unitary operation connecting qubit states with given eigendecompositions?

Consider the density matrices $\rho_0 = |0 \rangle \langle 0|$ and $\rho_1 = |1 \rangle \langle 1|$. Let $\{p_1, p_2\}$, and $\{p_3, p_4\}$ be two probability distributions, that is, $$0 \leq p_1, p_2,...
5
votes
0answers
87 views

What is the probability $\Pr(||U-I||_{op}<\varepsilon)$ of a Haar-random unitary being close to the identity?

If one generates an $n\times n$ Haar random unitary $U$, then clearly $\Pr(U=I)=0$. However, for every $\epsilon>0$, the probability $$\Pr(||U-I||_{op}<\varepsilon)$$ should be positive. How can ...
2
votes
0answers
70 views

Representing a von Neumann measurement as $[\mathcal{I} \otimes P_i] U(\rho_s \otimes \rho_a)U^{-1} [\mathcal{I} \otimes P_i]$, how do we choose $U$?

Given the state of a system as $\rho_s$ and that of the ancilla (pointer) as $\rho_a$, the Von-Neumann measurement involves entangling a system with ancilla and then performing a projective ...
3
votes
1answer
68 views

How do you embed a POVM matrix in a Unitary?

In QuantumKatas Measurement Task 2.3 - Peres-Wooter's Game, we are given 3 states A,B and C. We construct a POVM of these states. But how do we convert that POVM into a Unitary that we can apply. ...
0
votes
0answers
29 views

Convert a two-ququart (16 x 16) density matrix into normal form--so that the components of the Bloch vectors of the two reduced systems are all zero

The two-ququart ($16 \times 16$) "Hiesmayr-Loffler" density matrix https://iopscience.iop.org/article/10.1088/1367-2630/15/8/083036/meta, (https://arxiv.org/abs/2004.06745 eq. (13)), What ...
2
votes
1answer
61 views

Is $e^{i\beta} R_Z(-2\beta)$ equivalent to $U_1(2\beta)$?

As far as I know the single qubit gate $$ e^{i\beta\sigma_z} = \begin{bmatrix} e^{i\beta} & 0 \\ 0 & e^{-i\beta} \end{bmatrix} = e^{i\beta} \begin{bmatrix} 1 & 0 \\ 0 & e^{-i2\beta} \...
3
votes
2answers
61 views

Bipartite states whose coefficients are entries of a unitary matrix

I've been trying to solve this question It seems that in order to show it has unit length, we must show that $$ \frac{1}{d} \sum_{m, n=0}^{d=1} \lvert U_{m, n}\rvert ^2 = 1 $$ I've tried searching ...
1
vote
1answer
80 views

Initial assumption of the unitary that allows us to estimate the label function

You can find the paper here , in which they describe the architecture of a QNN that can be used to learn binary functions and correctly classify unseen data. They say that for each binary label ...
0
votes
1answer
58 views

Find the decomposition of the following matrix into two level unitary matrices [duplicate]

Find the decomposition of the following matrix into two level unitary matrices: $$ \frac{1}{2} \begin{pmatrix} 1 & 1 & 1 & 1\\ 1 & i & -1 & -i\\ 1 & -1 & 1 & -1\\ ...
0
votes
1answer
52 views

Could someone give an example of this pic?

This is a picture from Wiki(https://en.wikipedia.org/wiki/Quantum_logic_gate). Can someone give me a simple example by using two qubits?
4
votes
2answers
259 views

How can I fill a unitary knowing only its first column?

I have a unitary matrix that I want to construct. I only care what happens to the first computational state, so the first column is specified. So far, I've been assigning each question mark to a ...
2
votes
2answers
94 views

How to prove that a matrix is an arbitrary unitary?

My goal is to prove that I can synthesise arbitrary unitary from two components. In the end, I find a matrix with the form \begin{equation} \mathbf{W}_j=\begin{pmatrix} |\alpha|2\cos{(\phi_{...
3
votes
2answers
444 views

How should I understand the change of qubit's basis as a rotation?

I have a little difficulty with understanding. How do I properly visualize the change of qubit's basis as a rotation? Let's say that we have classical basis vectors, $|0\rangle$ and $|1\rangle$. Now, ...
3
votes
1answer
54 views

Explicit form for composition of Choi representation quantum channels

Let $|\Omega \rangle$ be the maximally entangled state over a bipartite system whose parts are each dimension $d$, i.e. $$ | \Omega \rangle \equiv \sum_i^{d}| ii \rangle $$ Then one way of writing ...
4
votes
2answers
56 views

What is the correct sign in the unitary evolution operator of a beam splitter?

I'm a bit confused about which is the correct sign in the unitary evolution operator of a beam splitter. In paper Digital quantum simulation of linear and nonlinear optical elements author uses the ...
1
vote
2answers
90 views

Circuit of a very trivial thing

I am writing to double check that if have a hamiltonian of the form $H = I_1 \otimes I_2$, when I seek to find the unitary, $e^{-i\gamma I_1 \otimes I_2}$, there really is no need to convert this into ...
0
votes
1answer
85 views

How can I build up an arbitrary quantum circuit given a certain unitary matrix operation?

Suppose I want to put a qubit whose initial state is $|0\rangle$ to the final state $\frac{1}{\sqrt{3}}|0\rangle + \sqrt{\frac{2}{3}}|1\rangle$. Well, in that case, the unitary matrix that performs ...
1
vote
0answers
34 views

Are there different orderings of the fifteen SU(4) generators in common use?

I've recently performed certain analyses (Archipelagos of Total Bound and Free Entanglement) pertaining to eq. (50) in Separable Decompositions of Bipartite Mixed States , that is \begin{equation} ...
4
votes
2answers
135 views

What unitary gate produces these quantum states from the computational basis?

Suppose that we have one-qubit unitary $U$ that maps $$ \left| 0 \right> \longmapsto \frac{1}{\sqrt{2}} \left| 0 \right> + {\frac{1+i}{2}} \left| 1\right> $$ and $$ \left| 1 \right> \...
-1
votes
1answer
278 views

Why is a Hadamard gate unitary?

The Hadamard gate is a unitary gate, but how does the matrix times its own conjugate transpose actually result in the $I$ matrix? I am currently looking at it as a scalar, 0.707..., multiplied by the ...
4
votes
2answers
97 views

Prove that the state $\sum_{S\in P_n}(-)^{\tau(S)}|S\rangle$ is invariant up to a phase when changing the basis

I am trying to prove that the $|S_{n}\rangle$ is $n$-lateral rotationally invariant, where $|S_{n}\rangle$ is defined as $$|S_{n}\rangle=\sum_{S \in P_{n}^{n}} (-)^{\tau(S)}|S\rangle\equiv\sum_{S \in ...
1
vote
1answer
99 views

Trying to make irreversable operation in the quantum circuit

I want to make a 2 qubit circuit such that the non-unitary program will transform the regular basis in the way that: $|0 0\rangle \to |00\rangle$ $|0 1\rangle \to |01\rangle$ $|10\rangle \to |01\...
6
votes
3answers
213 views

Is there a quantum operation whose output is always orthogonal to the input?

I'm trying to show/convince myself the following statement is correct (I haven't been able to find any similar posts): "There is no reversible quantum operation that transforms any input state to a ...
1
vote
1answer
59 views

How can classical computations be non-unitary?

Given that classical physics emerges from quantum physics on a macroscopic scale, and all quantum operators are unitary, how are we able to perform non-unitary operations (such as setting a register ...
0
votes
1answer
82 views

Should a Pauli $X$ matrix equal the identity matrix to be unitary?

My understanding is that any unitary matrix must have its inverse be equal to its conjugate transpose. Looking at the pauli x gate as shown here: $$\begin{bmatrix}0&1\\1&0\end{bmatrix}$$ It ...
1
vote
1answer
62 views

Find the local unitary that takes the bell state to a state phi that has an extractable bell state

I have a state $|p\rangle$ that has an extractable Bell state and I want to write it as a Bell state, $|b\rangle$, with a local unitary acting on one side. Basically I am trying to find a local ...
2
votes
1answer
94 views

Does the general form of a unitary operator define strict signs for the second column?

As per IBM's documentation for quantum circuits, the general unitary operator is defined as: $$\hat{U}=\begin{bmatrix}\cos(\frac{\theta}{2})&-e^{i\lambda}\sin(\frac{\theta}{2})\\e^{i\phi}\sin(\...
4
votes
1answer
69 views

What is the unitary operator realizing a given CPTP operator

Complete Positive Trace Preserving Map (CPTP) operator is the most general operation that can be performed on a quantum system. This post mentioned that a CPTP operator is nothing but a unitary ...
2
votes
1answer
109 views

Are CPTP operators and unitary operators the same thing?

I am reading some quantum papers (In particular, this one page 34) . One of the theorem statement reads, "For every CPTP operator M, we have that .... " I ...
5
votes
1answer
118 views

Finding a global phase that transform the Hadamard gate to an element of $SU(2)$ and propose an evoultion operator which implents the operation

I was looking back over an old assignment and I came across a question I wasn't quite sure how to do the problem statement is as follows: The Hadamard rotation is an element of the group $U(2)$. (i)...
10
votes
4answers
3k views

Implementing “Classical AND Gate” and “Classical OR Gate” with a quantum circuit

Quantum cNOT Gate (Classical XOR Gate) A "Controlled NOT (cNOT) Gate" flips the 2nd qubit if the 1st qubit is $\left|1\right>$, and returns the 2nd qubit as-is if the 1st qubit is $\left|0\right&...
6
votes
2answers
747 views

How to prove that the query oracle is unitary?

The query oracle: $O_{x}|i\rangle|b\rangle = |i\rangle|b \oplus x_{i}\rangle$ used in algorithms like Deutsch Jozsa is unitary. How do I prove it is unitary?
4
votes
1answer
126 views

Differentiate between local and global unitaries

Just like we have the PPT, NPT criteria for checking if states can be written in tensor form or not, is there any criteria, given the matrix of a unitary acting on 2 qubits, to check if it is local or ...
1
vote
3answers
440 views

Is it correct to say that we need controlled gates because unitary matrices are reversible?

I am new to quantum computing and saw this argument on this site but I don't understand it. First of all, I don't understand what is exactly meant by 'reversible'. Because even if you had a unitary ...
6
votes
1answer
896 views

General parametrisation of an arbitrary $2\times 2$ unitary matrix?

Following is an excerpt from QCQI: I can understand that this matrix satisfies a unitary matrix. Also, intuitively, I am able to understand it. However, what is the proof that any given Unitary ...
3
votes
0answers
70 views

What do you specify when you physically apply a unitary?

In the Environment and Quantum Operations in Nielsen and Chuang, section 8.2.2, they say that when you apply a unitary on a state, you expect the output as the just the state transformed by the ...
5
votes
2answers
373 views

What are the constraints on a matrix that allow it to be “extended” into a unitary?

DaftWulie's answer to Extending a square matrix to a Unitary matrix says that extending a matrix into a unitary cannot be done unless there's constraints on the matrix. What are the constraints?
5
votes
1answer
271 views

Extending a square matrix to a unitary matrix

Suppose we have a square matrix $M$ of size $n\times n$. It is given that any element $M_{ij}$ of $M$ is a real number and satisfies $0 \leq M_{ij} \leq 1$, $\forall$ $i,j$. No other property for $M$ ...
4
votes
1answer
162 views

Understanding why the modular function part of Shor's algorithm is unitary

I've been struggling to understand the modular exponent bit of Shor's algorithm. My understanding is that it takes a register in the state $\frac{1}{\sqrt{Q}}\sum_{k=1}^{Q-1} |k\rangle |0\rangle$ to ...
4
votes
1answer
266 views

Unitary gate(s) from product of exponent

Often unitary gates are defined as a product of exponentials, with some parameter in the power-term. However, often it is not clear how to construct unitary gates from it, at least not for me that is. ...
3
votes
2answers
70 views

Unitary acting on standard qubit basis properties

If we have a $U$ (unitary with all real entries) such that: $U|0\rangle =a|0\rangle +b|1\rangle$ What is $U|1\rangle=?$ I know: the definition of what it means to be unitary ie. $U^\dagger U=UU^\...
9
votes
3answers
1k views

What do they mean by “qubit can't be copied”?

What does it mean by ''qubit can't be copied'' ? In a note, it is saying that: Copying a qubit means $$U|\psi\rangle_A|0\rangle_B=|\psi\rangle_A|\psi\rangle_B$$ i.e; applying a unitary transformation ...
6
votes
2answers
151 views

What is the smallest quantum circuit to produce two-qubit state (a,b,b,b)?

How can I synthesis a two-qubit quantum state of the state vector (a,b,b,b) using basic quantum-gate circuit (arbitrary single-qubit rotation and controlled $Z$ gate)? And further, can I know a given ...
16
votes
6answers
4k views

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

The most general definition of a quantum state I found is (rephrasing the definition from Wikipedia) Quantum states are represented by a ray in a finite- or infinite-dimensional Hilbert space over ...
13
votes
4answers
2k views

Why are quantum gates unitary and not special unitary?

Given that the global phases of states cannot be physically discerned, why is it that quantum circuits are phrased in terms of unitaries and not special unitaries? One answer I got was that it is just ...