Questions tagged [haar-distribution]
Having to do with continuous distributions, which are 'uniform' in the sense of being invariant under some relevant symmetry. In the case of quantum information theory, this usually relates to unitarily invariant distributions on single-qubit states, many-qubit states, single-qubit unitary transformations, or many-qubit unitary transformations.
48
questions
0
votes
1
answer
43
views
Twirling of quantum states: Maximally entangled states
I have been reading the paper "Resource theory of unextendibility and non-asymptotic quantum capacity" (https://arxiv.org/pdf/1803.10710.pdf) by Kaur et.al, I have two questions ...
- 13
1
vote
1
answer
48
views
Expressibility and Entanglement Capability of the Parameterized Quantum Circuits
I am trying to calculate the expressibility and entangling capability of a quantum state resulting from a circuit as defined in reference I.
One of my attempts was to follow reference II which gives ...
- 25
2
votes
1
answer
63
views
How to compute k-moment of Haar averaging with n qubits
Let us consider the following Haar averaging over $k$ copies of Pauli strings of $n$ qubits:
$\mathbb{E}_U \left[ U^{\otimes k}\sigma_{q_1} \otimes … \otimes \sigma_{q_k} (U^{\dagger})^{\otimes k}\...
- 31
1
vote
1
answer
30
views
Werner Twirling Channel - How to Retrieve Prefactors?
In Watrous' Theory of Quantum Information, Example 7.25 discusses the Werner Twirling Channel:
$$\Xi(X) = \int (U \otimes U) X (U \otimes U)^* \mathrm{d}\eta(U)$$
where $\eta$ denotes the Haar measure ...
- 85
8
votes
0
answers
176
views
Optimal estimation of quantum state overlap - Circuit implementation?
I've been reading this paper, but don't understand what their optimal method really is, and how it can be realized as a quantum circuit.
The paper mentions the "Schur transform" which has a ...
- 373
3
votes
1
answer
88
views
Integral over Haar measure of squared density matrix of Haar random state is proportional to the identity plus swap operator
I am having some trouble understanding why $\int d\psi (| \psi \rangle \langle \psi | )^{\otimes ^2}\propto \ I+$ SWAP , where $|\psi \rangle =U|\psi _0\rangle$ are Haar random states and $d\psi $ is ...
7
votes
1
answer
129
views
Generating random, but non-uniform state
I would like an algorithm that generates a random state, sampled according to some probability distribution which is not uniform in Hilbert space. Assume though that I have at my disposal a uniform (...
- 500
3
votes
1
answer
64
views
Independence in state prepared by independently drawn Haar random gates
Consider independently drawn $2 \times 2$ Haar random unitaries $U_1, U_2, \ldots, U_n$ and
$$V = U_1 \otimes U_2 \otimes \cdots U_n.$$ Consider the state $\sigma$ given by
$$\sigma = V \rho V^{*}, $$
...
- 1,119
2
votes
2
answers
105
views
Computing a ratio involving Haar random unitaries
Consider an $n$-qubit Haar random unitary $U$.
I am trying to compute the expression
\begin{equation}
\mathbb{E}\left[ \frac{\text{Tr}\left(|0^n\rangle \langle 0^n | ~U\rho U^*\right)}{\text{Tr}\left(\...
- 1,119
3
votes
1
answer
171
views
Averaging over a single Haar-random unitary applied $t$ times
I'm trying to compute the following integral:
$$\int U^{\otimes t}\left|x_1,\cdots,x_t\middle\rangle\middle\langle x'_1,\cdots,x_n'\right|\left(U^\dagger\right)^{\otimes t}\,\mathrm{d}\mu(U)$$
Where $\...
- 4,636
2
votes
1
answer
54
views
Conditional expectation for Haar random states
Let $U$ be an $n$ qubit Haar random circuit applied to $|0^n \rangle$. Thereafter, the state is measured in the standard basis. Let $p_0$ be the probability of getting $0$ in the first qubit. We know ...
- 1,119
2
votes
1
answer
68
views
Realizing Haar random unitary matrix on IBM Q
I am thinking about if it is possible to achieve Haar random single qubit unitary matrix on some real quantum computers like IBM Q. I am reading a paper https://arxiv.org/abs/2203.04338. In this paper,...
- 21
2
votes
0
answers
66
views
Distribution of partial trace of Haar unitary
I am sure this must have been covered in the mathematical literature, but hoping someone can direct me to the right place.
Let us be given random unitaries $U$ on $n$ qubits (so dimension of the space ...
- 500
3
votes
1
answer
111
views
Haar measure : trace of an operator squared and square of the trace of an operator
From doing numerical simulations, I seem to have the following results :
$$ \int d \rho \,\, \text{Tr}(\rho M^\dagger M) = \frac{1}{d} \text{Tr}(M^\dagger M) $$
and
$$ \int d \rho \,\, \left|\text{Tr}(...
- 33
2
votes
1
answer
185
views
Density matrices of multiples copies of a single Haar-Random state
In Pseudorandom States, Non-Cloning Theorems and Quantum Money, the authors state that:
Let $\rho_\mu^m$ be the density matrix of a random $|\psi\rangle^{\otimes m}$ for $|\psi\rangle$ chosen from ...
- 4,636
3
votes
0
answers
43
views
Expectation value over random $k$-local Pauli operators for two random quantum states
Suppose we have a uniform distribution $D$ over $k$-local Pauli operators $P_{q_1}\otimes \dotsc \otimes P_{q_k} $, $P_{q_i} \in \{ X, Y, Z, I \}$. Is it possible to calculate $\mathbb{E}_{P_i \sim D} ...
- 307
2
votes
1
answer
83
views
Does the invariance of the Haar measure still hold if you use Clifford gates to approximate the Haar random unitaries?
I am not familiar with the Clifford group - I do know that Clifford unitaries can form a unitary 3-design (from this paper) and can be used to approximate Haar random unitaries, but I don't know how ...
- 23
4
votes
1
answer
160
views
Prove that uniformly random states have moments ${\bf E}_\psi|\langle x|\psi\rangle|^{2t}\sim1/\binom d t$
Im looking for the moments of Haar random states. Is it true that
$\textbf{E}_{\psi\sim \text{Haar}}|\langle x| \psi\rangle|^{2t}\sim \frac{1}{\binom{d}{t}}?$ How does one prove this?
- 41
3
votes
1
answer
312
views
Show that, averaging over uniformly random unitaries, $\mathbb{E}[UXU^\dagger]=\operatorname{Tr}(X)\frac{I}{d}$
As mentioned e.g. in this answer, if we compute the average
$$\Phi(X)\equiv \mathbb{E}_U[UXU^\dagger] \equiv \int_{\mathbf U(d)} d\mu(U) UXU^\dagger,$$
where $d\mu(U)$ is the Haar measure over the ...
glS♦
- 21.7k
1
vote
0
answers
125
views
How to compute Haar average over the unitary group of a ratio of homogeneous polynomials?
I am interested in the following Haar average over the unitary group:
$\mathbb{E}_U\Big[\frac{tr(U^{\otimes p}|j\rangle\langle j|(U^\dagger)^{\otimes p}\rho \otimes \sigma ...)}{tr(U^{\otimes q}|j\...
- 110
2
votes
0
answers
69
views
A question on random quantum states and the uniform distribution
Consider an $n$ qubit Haar random quantum state $|\psi\rangle$. Consider a distribution $\mathcal{D}_1$ over $n$ bit strings defined as
$$
p_x = |\langle x| \psi \rangle|^{2},
$$
for $x \in \{0, 1\}^{...
- 315
5
votes
1
answer
233
views
Multiplication by a Haar random unitary two times
Consider a Haar random unitary $U$.
I am trying to compute the value (or put a bound on)
\begin{equation}
\mathbb{E}\left[\left|\langle 0^{n} |U^{2} |0^{n}\rangle\right|^{2}\right].
\end{equation}
The ...
- 1,119
1
vote
1
answer
61
views
Approximating the average of a rational function with respect to the Haar measure
Suppose I have a state $|\psi\rangle = U|0\rangle$ where $U$ is a $d$-dimensional unitary sampled uniformly with respect the Haar measure. I'm interested in computing or approximating analytically an ...
- 5,715
4
votes
1
answer
167
views
What is the expectation value ${\Bbb E}[\langle\psi,O\psi\rangle]$ over the Haar distribution?
What is the average $\mathbb{E}_{\text{Haar}}|\langle\psi|O\psi\rangle|$ of expectation of an arbitrary observable $O$ over the Haar distribution? Let $d$ be the dimension, i.e, the size of $O$. Do we ...
- 41
6
votes
1
answer
151
views
How to show that the integral over all Haar states vanishes: $\int|\psi\rangle\,{\rm d}\psi = 0 $?
Can we show that the integral over all Haar states $|\psi \rangle $ is
$$
\int |\psi \rangle \, \mathrm{d}\psi = 0~.
$$
This is an integral over Haar vectors
Reference to a post about what is Haar ...
- 153
2
votes
1
answer
50
views
Sampling Haar over two systems
Say $M$ is a matrix acting on $C^r \otimes C^s$. $X$ is the system of dimension $r$, and $Y$ is the system of dimension $s$.
With $|\psi\rangle$ sampled from Haar, how can we show that
$$
\int (...
- 153
9
votes
2
answers
3k
views
What is a Haar random quantum state?
Can somebody please explain me what is a Haar random state? I am not able to find any friendly resource to read about it.
- 289
5
votes
1
answer
66
views
Anticoncentration for two independent random quantum circuits in parallel
Consider two Haar random $n$ qubit unitaries, $U_1$ and $U_2$. Consider the quantum state
$$|\psi\rangle = (U_1 \otimes U_2) |0^{2n}\rangle. $$
Let $p_x = |\langle x| \psi \rangle|^{2}$, for $x \in \{...
- 315
3
votes
0
answers
213
views
Reduced density matrix of a Haar random state and its Schmidt decomposition
Consider a Haar random quantum state $|\psi\rangle$. Note that
$$\rho =\mathbb{E}[|\psi\rangle\langle \psi|] = \frac{\mathbb{I}_{n}}{2^{n}}.$$
$\mathbb{I}_n$ is the identity operator on $n$ qubits. ...
- 1,119
5
votes
1
answer
307
views
Random quantum states and Schur-Weyl duality
Consider the following density matrix over $n$ qubits, with $C$ being a single qubit operator:
$$
\rho_{n} = \int_{C \sim \text{Haar}} \big(C|0\rangle\langle0|C^\dagger\big)^{\otimes n} dC.
$$
Let's ...
- 1,119
1
vote
0
answers
57
views
Optimality of the SWAP test versus weak Schur sampling for testing unitarily invariant properties
Consider the following setting.
I am either given the density matrix $|\psi\rangle \langle \psi|^{\otimes k}$ or the density matrix $\frac{\mathbb{I}^{\otimes k}}{2^{nk}}$, where $\mathbb{I}$ is the $...
- 1,119
2
votes
1
answer
223
views
At what depth and for what architecture are random quantum circuits $1$-designs?
I was confused about something related to quantum $1$ designs.
Let us recap two facts we know about random circuit ensembles that form a $1$ design.
$1$ design, for a quantum circuit over $n$ qubits, ...
- 1,119
2
votes
2
answers
125
views
Random quantum circuits and general efficient POVM measurement
Let's consider a random quantum circuit $C$, applied to the $n$ qubit initial state $|0^{n}\rangle$, producing the state $|\psi\rangle$.
Consider a general efficiently implementable $m$-outcome POVM ...
- 1,119
2
votes
1
answer
254
views
Average output state of random quantum circuits
Let $|\psi\rangle = C_1 |0^{n}\rangle$ be a quantum state, such that $C_1$ is a Haar random unitary circuit. Consider a density matrix $\rho$ as follows
\begin{equation}
\rho_1 = \mathbb{E}[|\psi\...
- 1,119
2
votes
0
answers
143
views
Spreading of entanglement with depth for Haar random states
Consider a Haar random quantum state of depth $d$. Consider any bipartition of this state. According to this paper (page $2$):
Haar-random states on $n$ qudits are nearly maximally entangled across
...
- 1,119
4
votes
1
answer
174
views
Spoofing XQUATH with the Feynman method
Consider the XQUATH conjecture for random quantum circuits, as mentioned here.
(XQUATH, or Linear Cross-Entropy Quantum Threshold Assumption). There
is no polynomial-time classical algorithm that ...
- 1,119
4
votes
2
answers
171
views
Quantum hardness of XQUATH conjecture
Consider the XQUATH conjectures, as defined here (https://arxiv.org/abs/1910.12085, Definition 1).
(XQUATH, or Linear Cross-Entropy Quantum Threshold Assumption). There
is no polynomial-time ...
- 1,119
1
vote
1
answer
317
views
Quantum supremacy: shallow depth Haar random circuits and unitary designs
I had a confusion about shallow depth Haar random quantum circuits. In this paper, in Section B (related works), it is mentioned that Haar random quantum circuits form approximate $2$-designs only ...
- 1,119
3
votes
1
answer
475
views
Confusion about the output distribution of Haar random quantum states
Consider a Haar random quantum state $|\psi \rangle$. I was confused between two facts about $|\psi \rangle$, which appear related:
Consider the output distribution of a particular $n$-qubit $|\psi \...
- 1,119
4
votes
2
answers
206
views
Is the column vector of a uniformly sampled random unitary matrix a uniformly sampled random state vector?
I am wondering if a random unitary matrix taken from a Haar measure (as in, it is uniformly sampled at random) can yield a uniformly sampled random state vector.
In section 3 of this paper it says &...
- 1,331
3
votes
2
answers
617
views
Computing expectation value of $|\langle z|C|0^n\rangle|^2$ over Haar random circuit
I am trying to understand the integration on page 4 of this paper. Consider a Haar random circuit $C$ and a fixed basis $z$. Each output probability of a Haar random circuit (given by $|\langle z | C |...
- 1,119
6
votes
1
answer
210
views
How close or far apart are the distributions generated by two Haar random states?
Consider two $n$ qubit Haar-random quantum states $|\psi\rangle$ and $|\phi\rangle$. Let $D_{|\psi\rangle}$ and $D_{|\phi\rangle}$ be the two probability distributions (over $n$-bit strings) obtained ...
- 1,119
4
votes
1
answer
244
views
Compute the large $n$ distribution of $|\langle z_i|\psi\rangle|^2$ over Haar random quantum states
Let $|\psi\rangle$ be a $n$ qubit Haar-random quantum state. I am trying to show that in the limit of large $n$, for each $z_{i} \in \{0, 1\}^{n}$,
$$ |\langle 0|\psi\rangle|^{2}, |\langle 1|\psi\...
- 1,119
5
votes
2
answers
732
views
Expected value of a Haar random quantum state multiplied by a unitary
Consider a quantity
\begin{equation}
\mathbb{E}\big[\langle z|\rho|z\rangle\big],
\end{equation}
where $\rho = |\psi \rangle \langle \psi|$ is a Haar-random state $n$-qubit quantum state and $z$ is ...
- 1,119
6
votes
1
answer
342
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 ...
- 61
13
votes
1
answer
261
views
What is the probability $\Pr(\|U-I\|_{\rm 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\|_{\rm op}<\varepsilon)$$
should be positive.
How ...
- 183
4
votes
2
answers
508
views
Is there a lower bound on the average diamond norm of two uniformly random unitaries U1 and U1 of dimension D that are sampled from haar measure?
I could not find any lower bound on the diamond norm for two uniformly random unitaries of dimension D sampled from the haar measure.
- 107
11
votes
2
answers
736
views
On the distribution of the fidelity of a random product state with an arbitrary many-qubit state
Consider an arbitrary $n$-qubit state $\lvert \psi \rangle$. How much do we understand about the probability distribution of the fidelity of $\lvert \psi \rangle$ with a tensor product $\lvert \alpha \...
- 11.6k