Skip to main content
added 4 characters in body
Source Link
Adam Zalcman
  • 24.8k
  • 3
  • 38
  • 92

Calculating $\rho_1$

Let $N=2^n$ denote the dimension of the Hilbert space where $|\psi\rangle$ lives. For $i=0,\dots,N-1$, let $V_i$ be any unitary that maps $|i\rangle$ to $|0\rangle$. The action of $V_i$ on other computational basis states $|j\rangle$ with $j\ne i$ is irrelevant. Exploiting the invariance of the Haar measure to absorb $V_i$ into the integration variable $C_1$, we have

$$ \begin{align} \rho_1 &= \mathbb{E}[|\psi\rangle\langle\psi|] \\ &=\int C_1|0\rangle\langle0|C_1^\dagger dC_1 \\ &=\frac{1}{N}\sum_{i=0}^{N-1}\int C_1|0\rangle\langle 0|C_1^\dagger dC_1 \\ &=\frac{1}{N}\sum_{i=0}^{N-1}\int C_1V_i|i\rangle\langle i|V_i^\dagger C_1^\dagger dC_1 \\ &=\frac{1}{N}\sum_{i=0}^{N-1}\int C_1|i\rangle\langle i|C_1^\dagger dC_1 \\ &=\frac{1}{N}\int C_1\left(\sum_{i=0}^{N-1}|i\rangle\langle i|\right)C_1^\dagger dC_1 \\ &=\frac{1}{N}\int C_1\mathbb{I}C_1^\dagger dC_1 \\ &=\frac{\mathbb{I}}{N}\int dC_1 \\ &=\frac{\mathbb{I}}{N} \\ \end{align} $$

where we also assumed that the measure is normalized.

Comparing $\rho_1$ and $\rho_2$

In order to quantify how close $\rho_2$ is to $\rho_1=\frac{\mathbb{I}}{N}$, we first need to have some idea of how close the distribution of $C_2$ is to the Haar measure. Comparing measures is hard in general, but in this case, at least if you are willing to use fidelity instead of trace distance, the problem can be simplified to the calculation of just the first moment. Namely, the fidelity of $\rho_1$ and $\rho_2$ is

$$ F(\rho_1, \rho_2) = \left(\mathrm{tr}\sqrt{\rho_2^{1/2}\rho_1\rho_2^{1/2}}\right)^2 = \frac{\left(\mathrm{tr}\sqrt{\rho_2}\right)^2}{N} = \frac{\left(\mathrm{tr}\sqrt{\mathbb{E}[|\phi\rangle\langle\phi|]}\right)^2}{N} \\ = \frac{1}{N}\left[\mathrm{tr}\sqrt{\int C_2|0\rangle\langle 0|C_2^\dagger dC_2}\right]^2 $$

so the fidelity depends only on the first moment of the distribution of $C_2$. Evaluating it depends on the details of the circuits. As pointed out by @BlackHat18 in the comments, in the particular case when $C_2$ is discrete and a $1$-design, we have

$$ \mathbb{E}[|\phi\rangle\langle\phi|] = \frac{1}{N}\sum_{C_2}C_2|0\rangle\langle 0|C_2^\dagger = \int C_1|0\rangle\langle0|C_1^\dagger dC_1 = \frac{\mathbb{I}}{N} $$$$ \mathbb{E}[|\phi\rangle\langle\phi|] = \frac{1}{|C_2|}\sum_{C_2}C_2|0\rangle\langle 0|C_2^\dagger = \int C_1|0\rangle\langle0|C_1^\dagger dC_1 = \frac{\mathbb{I}}{N} $$

and so $F(\rho_1, \rho_2) = 1$. In this case, the trace distance between $\rho_1$ and $\rho_2$ is zero. In the more general case, this paper might offer more insight and ideas.

Calculating $\rho_1$

Let $N=2^n$ denote the dimension of the Hilbert space where $|\psi\rangle$ lives. For $i=0,\dots,N-1$, let $V_i$ be any unitary that maps $|i\rangle$ to $|0\rangle$. The action of $V_i$ on other computational basis states $|j\rangle$ with $j\ne i$ is irrelevant. Exploiting the invariance of the Haar measure to absorb $V_i$ into the integration variable $C_1$, we have

$$ \begin{align} \rho_1 &= \mathbb{E}[|\psi\rangle\langle\psi|] \\ &=\int C_1|0\rangle\langle0|C_1^\dagger dC_1 \\ &=\frac{1}{N}\sum_{i=0}^{N-1}\int C_1|0\rangle\langle 0|C_1^\dagger dC_1 \\ &=\frac{1}{N}\sum_{i=0}^{N-1}\int C_1V_i|i\rangle\langle i|V_i^\dagger C_1^\dagger dC_1 \\ &=\frac{1}{N}\sum_{i=0}^{N-1}\int C_1|i\rangle\langle i|C_1^\dagger dC_1 \\ &=\frac{1}{N}\int C_1\left(\sum_{i=0}^{N-1}|i\rangle\langle i|\right)C_1^\dagger dC_1 \\ &=\frac{1}{N}\int C_1\mathbb{I}C_1^\dagger dC_1 \\ &=\frac{\mathbb{I}}{N}\int dC_1 \\ &=\frac{\mathbb{I}}{N} \\ \end{align} $$

where we also assumed that the measure is normalized.

Comparing $\rho_1$ and $\rho_2$

In order to quantify how close $\rho_2$ is to $\rho_1=\frac{\mathbb{I}}{N}$, we first need to have some idea of how close the distribution of $C_2$ is to the Haar measure. Comparing measures is hard in general, but in this case, at least if you are willing to use fidelity instead of trace distance, the problem can be simplified to the calculation of just the first moment. Namely, the fidelity of $\rho_1$ and $\rho_2$ is

$$ F(\rho_1, \rho_2) = \left(\mathrm{tr}\sqrt{\rho_2^{1/2}\rho_1\rho_2^{1/2}}\right)^2 = \frac{\left(\mathrm{tr}\sqrt{\rho_2}\right)^2}{N} = \frac{\left(\mathrm{tr}\sqrt{\mathbb{E}[|\phi\rangle\langle\phi|]}\right)^2}{N} \\ = \frac{1}{N}\left[\mathrm{tr}\sqrt{\int C_2|0\rangle\langle 0|C_2^\dagger dC_2}\right]^2 $$

so the fidelity depends only on the first moment of the distribution of $C_2$. Evaluating it depends on the details of the circuits. As pointed out by @BlackHat18 in the comments, in the particular case when $C_2$ is discrete and a $1$-design, we have

$$ \mathbb{E}[|\phi\rangle\langle\phi|] = \frac{1}{N}\sum_{C_2}C_2|0\rangle\langle 0|C_2^\dagger = \int C_1|0\rangle\langle0|C_1^\dagger dC_1 = \frac{\mathbb{I}}{N} $$

and so $F(\rho_1, \rho_2) = 1$. In this case, the trace distance between $\rho_1$ and $\rho_2$ is zero. In the more general case, this paper might offer more insight and ideas.

Calculating $\rho_1$

Let $N=2^n$ denote the dimension of the Hilbert space where $|\psi\rangle$ lives. For $i=0,\dots,N-1$, let $V_i$ be any unitary that maps $|i\rangle$ to $|0\rangle$. The action of $V_i$ on other computational basis states $|j\rangle$ with $j\ne i$ is irrelevant. Exploiting the invariance of the Haar measure to absorb $V_i$ into the integration variable $C_1$, we have

$$ \begin{align} \rho_1 &= \mathbb{E}[|\psi\rangle\langle\psi|] \\ &=\int C_1|0\rangle\langle0|C_1^\dagger dC_1 \\ &=\frac{1}{N}\sum_{i=0}^{N-1}\int C_1|0\rangle\langle 0|C_1^\dagger dC_1 \\ &=\frac{1}{N}\sum_{i=0}^{N-1}\int C_1V_i|i\rangle\langle i|V_i^\dagger C_1^\dagger dC_1 \\ &=\frac{1}{N}\sum_{i=0}^{N-1}\int C_1|i\rangle\langle i|C_1^\dagger dC_1 \\ &=\frac{1}{N}\int C_1\left(\sum_{i=0}^{N-1}|i\rangle\langle i|\right)C_1^\dagger dC_1 \\ &=\frac{1}{N}\int C_1\mathbb{I}C_1^\dagger dC_1 \\ &=\frac{\mathbb{I}}{N}\int dC_1 \\ &=\frac{\mathbb{I}}{N} \\ \end{align} $$

where we also assumed that the measure is normalized.

Comparing $\rho_1$ and $\rho_2$

In order to quantify how close $\rho_2$ is to $\rho_1=\frac{\mathbb{I}}{N}$, we first need to have some idea of how close the distribution of $C_2$ is to the Haar measure. Comparing measures is hard in general, but in this case, at least if you are willing to use fidelity instead of trace distance, the problem can be simplified to the calculation of just the first moment. Namely, the fidelity of $\rho_1$ and $\rho_2$ is

$$ F(\rho_1, \rho_2) = \left(\mathrm{tr}\sqrt{\rho_2^{1/2}\rho_1\rho_2^{1/2}}\right)^2 = \frac{\left(\mathrm{tr}\sqrt{\rho_2}\right)^2}{N} = \frac{\left(\mathrm{tr}\sqrt{\mathbb{E}[|\phi\rangle\langle\phi|]}\right)^2}{N} \\ = \frac{1}{N}\left[\mathrm{tr}\sqrt{\int C_2|0\rangle\langle 0|C_2^\dagger dC_2}\right]^2 $$

so the fidelity depends only on the first moment of the distribution of $C_2$. Evaluating it depends on the details of the circuits. As pointed out by @BlackHat18 in the comments, in the particular case when $C_2$ is discrete and a $1$-design, we have

$$ \mathbb{E}[|\phi\rangle\langle\phi|] = \frac{1}{|C_2|}\sum_{C_2}C_2|0\rangle\langle 0|C_2^\dagger = \int C_1|0\rangle\langle0|C_1^\dagger dC_1 = \frac{\mathbb{I}}{N} $$

and so $F(\rho_1, \rho_2) = 1$. In this case, the trace distance between $\rho_1$ and $\rho_2$ is zero. In the more general case, this paper might offer more insight and ideas.

added 425 characters in body
Source Link
Adam Zalcman
  • 24.8k
  • 3
  • 38
  • 92

Calculating $\rho_1$

Let $N=2^n$ denote the dimension of the Hilbert space where $|\psi\rangle$ lives. For $i=0,\dots,N-1$, let $V_i$ be any unitary that maps $|i\rangle$ to $|0\rangle$. The action of $V_i$ on other computational basis states $|j\rangle$ with $j\ne i$ is irrelevant. Exploiting the invariance of the Haar measure to absorb $V_i$ into the integration variable $C_1$, we have

$$ \begin{align} \rho_1 &= \mathbb{E}[|\psi\rangle\langle\psi|] \\ &=\int C_1|0\rangle\langle0|C_1^\dagger dC_1 \\ &=\frac{1}{N}\sum_{i=0}^{N-1}\int C_1|0\rangle\langle 0|C_1^\dagger dC_1 \\ &=\frac{1}{N}\sum_{i=0}^{N-1}\int C_1V_i|i\rangle\langle i|V_i^\dagger C_1^\dagger dC_1 \\ &=\frac{1}{N}\sum_{i=0}^{N-1}\int C_1|i\rangle\langle i|C_1^\dagger dC_1 \\ &=\frac{1}{N}\int C_1\left(\sum_{i=0}^{N-1}|i\rangle\langle i|\right)C_1^\dagger dC_1 \\ &=\frac{1}{N}\int C_1\mathbb{I}C_1^\dagger dC_1 \\ &=\frac{\mathbb{I}}{N}\int dC_1 \\ &=\frac{\mathbb{I}}{N} \\ \end{align} $$

where we also assumed that the measure is normalized.

Comparing $\rho_1$ and $\rho_2$

In order to quantify how close $\rho_2$ is to $\rho_1=\frac{\mathbb{I}}{N}$, we first need to have some idea of how close the distribution of $C_2$ is to the Haar measure. Comparing measures is hard in general, but in this case, at least if you are willing to use fidelity instead of trace distance, the problem can be simplified to the calculation of just the first moment. Namely, the fidelity of $\rho_1$ and $\rho_2$ is

$$ F(\rho_1, \rho_2) = \left(\mathrm{tr}\sqrt{\rho_2^{1/2}\rho_1\rho_2^{1/2}}\right)^2 = \frac{\left(\mathrm{tr}\sqrt{\rho_2}\right)^2}{N} = \frac{\left(\mathrm{tr}\sqrt{\mathbb{E}[|\phi\rangle\langle\phi|]}\right)^2}{N} \\ = \frac{1}{N}\left[\mathrm{tr}\sqrt{\int C_2|0\rangle\langle 0|C_2^\dagger dC_2}\right]^2 $$

so the fidelity depends only on the first moment of the distribution of $C_2$. Evaluating it depends on the details of the circuits. As pointed out by @BlackHat18 in the comments, in the particular case when $C_2$ is discrete and a $1$-design, we have

$$ \mathbb{E}[|\phi\rangle\langle\phi|] = \frac{1}{N}\sum_{C_2}C_2|0\rangle\langle 0|C_2^\dagger = \int C_1|0\rangle\langle0|C_1^\dagger dC_1 = \frac{\mathbb{I}}{N} $$

and so $F(\rho_1, \rho_2) = 1$. In this case, the trace distance between $\rho_1$ and $\rho_2$ is zero. In the more general case, Thisthis paper might offer somemore insight and ideas.

Calculating $\rho_1$

Let $N=2^n$ denote the dimension of the Hilbert space where $|\psi\rangle$ lives. For $i=0,\dots,N-1$, let $V_i$ be any unitary that maps $|i\rangle$ to $|0\rangle$. The action of $V_i$ on other computational basis states $|j\rangle$ with $j\ne i$ is irrelevant. Exploiting the invariance of the Haar measure to absorb $V_i$ into the integration variable $C_1$, we have

$$ \begin{align} \rho_1 &= \mathbb{E}[|\psi\rangle\langle\psi|] \\ &=\int C_1|0\rangle\langle0|C_1^\dagger dC_1 \\ &=\frac{1}{N}\sum_{i=0}^{N-1}\int C_1|0\rangle\langle 0|C_1^\dagger dC_1 \\ &=\frac{1}{N}\sum_{i=0}^{N-1}\int C_1V_i|i\rangle\langle i|V_i^\dagger C_1^\dagger dC_1 \\ &=\frac{1}{N}\sum_{i=0}^{N-1}\int C_1|i\rangle\langle i|C_1^\dagger dC_1 \\ &=\frac{1}{N}\int C_1\left(\sum_{i=0}^{N-1}|i\rangle\langle i|\right)C_1^\dagger dC_1 \\ &=\frac{1}{N}\int C_1\mathbb{I}C_1^\dagger dC_1 \\ &=\frac{\mathbb{I}}{N}\int dC_1 \\ &=\frac{\mathbb{I}}{N} \\ \end{align} $$

where we also assumed that the measure is normalized.

Comparing $\rho_1$ and $\rho_2$

In order to quantify how close $\rho_2$ is to $\rho_1=\frac{\mathbb{I}}{N}$, we first need to have some idea of how close the distribution of $C_2$ is to the Haar measure. Comparing measures is hard in general, but in this case, at least if you are willing to use fidelity instead of trace distance, the problem can be simplified to the calculation of just the first moment. Namely, the fidelity of $\rho_1$ and $\rho_2$ is

$$ F(\rho_1, \rho_2) = \left(\mathrm{tr}\sqrt{\rho_2^{1/2}\rho_1\rho_2^{1/2}}\right)^2 = \frac{\left(\mathrm{tr}\sqrt{\rho_2}\right)^2}{N} = \frac{\left(\mathrm{tr}\sqrt{\mathbb{E}[|\phi\rangle\langle\phi|]}\right)^2}{N} \\ = \frac{1}{N}\left[\mathrm{tr}\sqrt{\int C_2|0\rangle\langle 0|C_2^\dagger dC_2}\right]^2 $$

so the fidelity depends only on the first moment of the distribution of $C_2$. Evaluating it depends on the details of the circuits. This paper might offer some insight and ideas.

Calculating $\rho_1$

Let $N=2^n$ denote the dimension of the Hilbert space where $|\psi\rangle$ lives. For $i=0,\dots,N-1$, let $V_i$ be any unitary that maps $|i\rangle$ to $|0\rangle$. The action of $V_i$ on other computational basis states $|j\rangle$ with $j\ne i$ is irrelevant. Exploiting the invariance of the Haar measure to absorb $V_i$ into the integration variable $C_1$, we have

$$ \begin{align} \rho_1 &= \mathbb{E}[|\psi\rangle\langle\psi|] \\ &=\int C_1|0\rangle\langle0|C_1^\dagger dC_1 \\ &=\frac{1}{N}\sum_{i=0}^{N-1}\int C_1|0\rangle\langle 0|C_1^\dagger dC_1 \\ &=\frac{1}{N}\sum_{i=0}^{N-1}\int C_1V_i|i\rangle\langle i|V_i^\dagger C_1^\dagger dC_1 \\ &=\frac{1}{N}\sum_{i=0}^{N-1}\int C_1|i\rangle\langle i|C_1^\dagger dC_1 \\ &=\frac{1}{N}\int C_1\left(\sum_{i=0}^{N-1}|i\rangle\langle i|\right)C_1^\dagger dC_1 \\ &=\frac{1}{N}\int C_1\mathbb{I}C_1^\dagger dC_1 \\ &=\frac{\mathbb{I}}{N}\int dC_1 \\ &=\frac{\mathbb{I}}{N} \\ \end{align} $$

where we also assumed that the measure is normalized.

Comparing $\rho_1$ and $\rho_2$

In order to quantify how close $\rho_2$ is to $\rho_1=\frac{\mathbb{I}}{N}$, we first need to have some idea of how close the distribution of $C_2$ is to the Haar measure. Comparing measures is hard in general, but in this case, at least if you are willing to use fidelity instead of trace distance, the problem can be simplified to the calculation of just the first moment. Namely, the fidelity of $\rho_1$ and $\rho_2$ is

$$ F(\rho_1, \rho_2) = \left(\mathrm{tr}\sqrt{\rho_2^{1/2}\rho_1\rho_2^{1/2}}\right)^2 = \frac{\left(\mathrm{tr}\sqrt{\rho_2}\right)^2}{N} = \frac{\left(\mathrm{tr}\sqrt{\mathbb{E}[|\phi\rangle\langle\phi|]}\right)^2}{N} \\ = \frac{1}{N}\left[\mathrm{tr}\sqrt{\int C_2|0\rangle\langle 0|C_2^\dagger dC_2}\right]^2 $$

so the fidelity depends only on the first moment of the distribution of $C_2$. Evaluating it depends on the details of the circuits. As pointed out by @BlackHat18 in the comments, in the particular case when $C_2$ is discrete and a $1$-design, we have

$$ \mathbb{E}[|\phi\rangle\langle\phi|] = \frac{1}{N}\sum_{C_2}C_2|0\rangle\langle 0|C_2^\dagger = \int C_1|0\rangle\langle0|C_1^\dagger dC_1 = \frac{\mathbb{I}}{N} $$

and so $F(\rho_1, \rho_2) = 1$. In this case, the trace distance between $\rho_1$ and $\rho_2$ is zero. In the more general case, this paper might offer more insight and ideas.

added 18 characters in body
Source Link
Adam Zalcman
  • 24.8k
  • 3
  • 38
  • 92

Calculating $\rho_1$

Let $N=2^n$ denote the dimension of the Hilbert space where $|\psi\rangle$ lives. For $i=1,\dots,N$$i=0,\dots,N-1$, let $V_i$ be any unitary that maps $|i\rangle$ to $|0\rangle$. The action of $V_i$ on other computational basis states $|j\rangle$ with $j\ne i$ is irrelevant. Exploiting the invariance of the Haar measure to absorb $V_i$ into the integration variable $C_1$, we have

$$ \begin{align} \rho_1 &= \mathbb{E}[|\psi\rangle\langle\psi|] \\ &=\int C_1|0\rangle\langle0|C_1^\dagger dC_1 \\ &=\frac{1}{N}\sum_{i=1}^N\int C_1|0\rangle\langle 0|C_1^\dagger dC_1 \\ &=\frac{1}{N}\sum_{i=1}^N\int C_1V_i|i\rangle\langle i|V_i^\dagger C_1^\dagger dC_1 \\ &=\frac{1}{N}\sum_{i=1}^N\int C_1|i\rangle\langle i|C_1^\dagger dC_1 \\ &=\frac{1}{N}\int C_1\left(\sum_{i=1}^N|i\rangle\langle i|\right)C_1^\dagger dC_1 \\ &=\frac{1}{N}\int C_1\mathbb{I}C_1^\dagger dC_1 \\ &=\frac{\mathbb{I}}{N}\int dC_1 \\ &=\frac{\mathbb{I}}{N} \\ \end{align} $$$$ \begin{align} \rho_1 &= \mathbb{E}[|\psi\rangle\langle\psi|] \\ &=\int C_1|0\rangle\langle0|C_1^\dagger dC_1 \\ &=\frac{1}{N}\sum_{i=0}^{N-1}\int C_1|0\rangle\langle 0|C_1^\dagger dC_1 \\ &=\frac{1}{N}\sum_{i=0}^{N-1}\int C_1V_i|i\rangle\langle i|V_i^\dagger C_1^\dagger dC_1 \\ &=\frac{1}{N}\sum_{i=0}^{N-1}\int C_1|i\rangle\langle i|C_1^\dagger dC_1 \\ &=\frac{1}{N}\int C_1\left(\sum_{i=0}^{N-1}|i\rangle\langle i|\right)C_1^\dagger dC_1 \\ &=\frac{1}{N}\int C_1\mathbb{I}C_1^\dagger dC_1 \\ &=\frac{\mathbb{I}}{N}\int dC_1 \\ &=\frac{\mathbb{I}}{N} \\ \end{align} $$

where we also assumed that the measure is normalized.

Comparing $\rho_1$ and $\rho_2$

In order to quantify how close $\rho_2$ is to $\rho_1=\frac{\mathbb{I}}{N}$, we first need to have some idea of how close the distribution of $C_2$ is to the Haar measure. Comparing measures is hard in general, but in this case, at least if you are willing to use fidelity instead of trace distance, the problem can be simplified to the calculation of just the first moment. Namely, the fidelity of $\rho_1$ and $\rho_2$ is

$$ F(\rho_1, \rho_2) = \left(\mathrm{tr}\sqrt{\rho_2^{1/2}\rho_1\rho_2^{1/2}}\right)^2 = \frac{\left(\mathrm{tr}\sqrt{\rho_2}\right)^2}{N} = \frac{\left(\mathrm{tr}\sqrt{\mathbb{E}[|\phi\rangle\langle\phi|]}\right)^2}{N} \\ = \frac{1}{N}\left[\mathrm{tr}\sqrt{\int C_2|0\rangle\langle 0|C_2^\dagger dC_2}\right]^2 $$

so the fidelity depends only on the first moment of the distribution of $C_2$. Evaluating it depends on the details of the circuits. This paper might offer some insight and ideas.

Calculating $\rho_1$

Let $N=2^n$ denote the dimension of the Hilbert space where $|\psi\rangle$ lives. For $i=1,\dots,N$, let $V_i$ be any unitary that maps $|i\rangle$ to $|0\rangle$. The action of $V_i$ on other computational basis states $|j\rangle$ with $j\ne i$ is irrelevant. Exploiting the invariance of the Haar measure to absorb $V_i$ into the integration variable $C_1$, we have

$$ \begin{align} \rho_1 &= \mathbb{E}[|\psi\rangle\langle\psi|] \\ &=\int C_1|0\rangle\langle0|C_1^\dagger dC_1 \\ &=\frac{1}{N}\sum_{i=1}^N\int C_1|0\rangle\langle 0|C_1^\dagger dC_1 \\ &=\frac{1}{N}\sum_{i=1}^N\int C_1V_i|i\rangle\langle i|V_i^\dagger C_1^\dagger dC_1 \\ &=\frac{1}{N}\sum_{i=1}^N\int C_1|i\rangle\langle i|C_1^\dagger dC_1 \\ &=\frac{1}{N}\int C_1\left(\sum_{i=1}^N|i\rangle\langle i|\right)C_1^\dagger dC_1 \\ &=\frac{1}{N}\int C_1\mathbb{I}C_1^\dagger dC_1 \\ &=\frac{\mathbb{I}}{N}\int dC_1 \\ &=\frac{\mathbb{I}}{N} \\ \end{align} $$

where we also assumed that the measure is normalized.

Comparing $\rho_1$ and $\rho_2$

In order to quantify how close $\rho_2$ is to $\rho_1=\frac{\mathbb{I}}{N}$, we first need to have some idea of how close the distribution of $C_2$ is to the Haar measure. Comparing measures is hard in general, but in this case, at least if you are willing to use fidelity instead of trace distance, the problem can be simplified to the calculation of just the first moment. Namely, the fidelity of $\rho_1$ and $\rho_2$ is

$$ F(\rho_1, \rho_2) = \left(\mathrm{tr}\sqrt{\rho_2^{1/2}\rho_1\rho_2^{1/2}}\right)^2 = \frac{\left(\mathrm{tr}\sqrt{\rho_2}\right)^2}{N} = \frac{\left(\mathrm{tr}\sqrt{\mathbb{E}[|\phi\rangle\langle\phi|]}\right)^2}{N} \\ = \frac{1}{N}\left[\mathrm{tr}\sqrt{\int C_2|0\rangle\langle 0|C_2^\dagger dC_2}\right]^2 $$

so the fidelity depends only on the first moment of the distribution of $C_2$. Evaluating it depends on the details of the circuits. This paper might offer some insight and ideas.

Calculating $\rho_1$

Let $N=2^n$ denote the dimension of the Hilbert space where $|\psi\rangle$ lives. For $i=0,\dots,N-1$, let $V_i$ be any unitary that maps $|i\rangle$ to $|0\rangle$. The action of $V_i$ on other computational basis states $|j\rangle$ with $j\ne i$ is irrelevant. Exploiting the invariance of the Haar measure to absorb $V_i$ into the integration variable $C_1$, we have

$$ \begin{align} \rho_1 &= \mathbb{E}[|\psi\rangle\langle\psi|] \\ &=\int C_1|0\rangle\langle0|C_1^\dagger dC_1 \\ &=\frac{1}{N}\sum_{i=0}^{N-1}\int C_1|0\rangle\langle 0|C_1^\dagger dC_1 \\ &=\frac{1}{N}\sum_{i=0}^{N-1}\int C_1V_i|i\rangle\langle i|V_i^\dagger C_1^\dagger dC_1 \\ &=\frac{1}{N}\sum_{i=0}^{N-1}\int C_1|i\rangle\langle i|C_1^\dagger dC_1 \\ &=\frac{1}{N}\int C_1\left(\sum_{i=0}^{N-1}|i\rangle\langle i|\right)C_1^\dagger dC_1 \\ &=\frac{1}{N}\int C_1\mathbb{I}C_1^\dagger dC_1 \\ &=\frac{\mathbb{I}}{N}\int dC_1 \\ &=\frac{\mathbb{I}}{N} \\ \end{align} $$

where we also assumed that the measure is normalized.

Comparing $\rho_1$ and $\rho_2$

In order to quantify how close $\rho_2$ is to $\rho_1=\frac{\mathbb{I}}{N}$, we first need to have some idea of how close the distribution of $C_2$ is to the Haar measure. Comparing measures is hard in general, but in this case, at least if you are willing to use fidelity instead of trace distance, the problem can be simplified to the calculation of just the first moment. Namely, the fidelity of $\rho_1$ and $\rho_2$ is

$$ F(\rho_1, \rho_2) = \left(\mathrm{tr}\sqrt{\rho_2^{1/2}\rho_1\rho_2^{1/2}}\right)^2 = \frac{\left(\mathrm{tr}\sqrt{\rho_2}\right)^2}{N} = \frac{\left(\mathrm{tr}\sqrt{\mathbb{E}[|\phi\rangle\langle\phi|]}\right)^2}{N} \\ = \frac{1}{N}\left[\mathrm{tr}\sqrt{\int C_2|0\rangle\langle 0|C_2^\dagger dC_2}\right]^2 $$

so the fidelity depends only on the first moment of the distribution of $C_2$. Evaluating it depends on the details of the circuits. This paper might offer some insight and ideas.

added 101 characters in body
Source Link
Adam Zalcman
  • 24.8k
  • 3
  • 38
  • 92
Loading
added 3 characters in body
Source Link
Adam Zalcman
  • 24.8k
  • 3
  • 38
  • 92
Loading
Source Link
Adam Zalcman
  • 24.8k
  • 3
  • 38
  • 92
Loading