Skip to main content

Questions tagged [trace-distance]

In quantum mechanics, and especially quantum information and the study of open quantum systems, the trace distance T is a metric on the space of density matrices and gives a measure of the distinguishability between two states. It is the quantum generalization of the Kolmogorov distance for classical probability distributions. (Wikipedia)

Filter by
Sorted by
Tagged with
13 votes
1 answer
1k views

Does the trace distance have a geometric interpretation?

Consider the trace distance between two quantum states $\rho,\sigma$, defined via $$D(\rho,\sigma)=\frac12\operatorname{Tr}|\rho-\sigma|,$$ where $|A|\equiv\sqrt{A^\dagger A}$. When $\rho$ and $\sigma$...
glS's user avatar
  • 25.6k
12 votes
1 answer
516 views

Prove that the trace distance is upper-bounded by the Hilbert-Schmidt distance

In (Haah et al. 2015), in the third page, second column, the authors use the following result: given a pair of states $\rho,\sigma$, we have $$ \|\rho-\sigma\|_1 \le 2\sqrt{\min(\operatorname{rank}(\...
glS's user avatar
  • 25.6k
8 votes
2 answers
216 views

Given an orthogonal projection $\Pi$, is $\|\Pi(\sigma-\rho)\Pi\|_1\le\|\sigma-\rho\|_1$ true?

Suppose I have an arbitrary orthogonal projector $\Pi$ and two density operators $\rho, \sigma$. Is it true that: $$ ||\Pi (\sigma - \rho) \Pi||_1 \le || \sigma - \rho ||_1 $$ where $||\cdot||_1$ ...
NYG's user avatar
  • 399
8 votes
2 answers
3k views

What is intuition for the trace distance between quantum states?

Given two mixed states $\rho$ and $\sigma$, the trace distance between the states is defined by $\sum_{i=1}^n |\lambda_i|$, where $\lambda_i$'s are eigenvalues of $\rho - \sigma$. I know the ...
satya's user avatar
  • 399
8 votes
2 answers
470 views

Prove that a channel is close to acting on only one system

Background Suppose I have a quantum channel $\Phi:B(\mathcal{H}_1)\rightarrow B(\mathcal{H}_1)\otimes B(\mathcal{H}_2)$, such that there is some small $\epsilon$ such that for any two input states $\...
Sam Jaques's user avatar
  • 2,076
7 votes
1 answer
618 views

Is the diamond norm subadditive under composition?

The diamond norm distance between two operations is the maximum trace distance between their outputs for any input (including inputs entangled with qubits not being operated on). Is it the case that ...
Craig Gidney's user avatar
  • 38.8k
6 votes
2 answers
199 views

Prove that $\|p^{\otimes n} - q^{\otimes n}\| \leq n \|p-q\|$ for density operators $p,q$

I've been trying to figure this out for a while and I'm totally lost. My goal is to show that for two density operators $p$, $q$, that $$||p^{\otimes n} - q^{\otimes n}|| \leq n ||p-q||$$ So far ...
Confused grad student's user avatar
6 votes
2 answers
111 views

If $\rho,\sigma$ are classical-quantum states, can the fidelity $F(\rho,\sigma)$ be expressed in terms of $F(\rho_i,\sigma_i)$?

Let $\rho = \sum_i \vert i\rangle\langle i\vert \otimes \rho_i$ and $\sigma = \sum_i\vert i\rangle\langle i\vert\otimes\sigma_i$ where we are using the same orthonormal basis indexed by $\vert i\...
Wut's user avatar
  • 63
6 votes
2 answers
99 views

Prove that for one-qubit unitaries $\text{Tr}|U-V|=2\max_\psi\|(U-V)|\psi\rangle\|$

Given two 1-qubit rotations $U=R_n (\theta)$ and $V=R_m(\phi)$ with $n$ and $m$ vectors defining a rotation and $\theta, \phi$ angles, define $D(U,V)=Tr(|U-V|)$ where $|U-V|=\sqrt{(U-V)^\dagger (U-V)}$...
Apo's user avatar
  • 545
5 votes
3 answers
664 views

How to find the distance between a given $\rho$ and the nearest pure state(s)?

I have a $d$-dimensional state $\rho$. Is there any way to find the (possibly not unique) trace distance to the nearest pure state: $$ \min_{|\psi\rangle} \,\,\lVert \rho - |\psi\rangle\langle \psi| \...
forky40's user avatar
  • 7,183
5 votes
1 answer
246 views

Closeness of purifications of states

Uhlmann's theorem states that if two states $\rho_A, \sigma_A$ satisfy $F(\rho_A, \sigma_A)\geq 1 - \varepsilon$, then there for any purification $\Psi_{AR}$ of $\rho_A$, one can find a purification $\...
user1936752's user avatar
  • 3,075
5 votes
1 answer
173 views

maximization of trace between two operators with respect to different norm constraints

I want to maximize $\text{Tr}(XY)$ over $X$ for fixed $Y$, where $X$ and $Y$ are both hermitian (but doesn't necessarily positive) operators, and $X$ is constrained by its p-norm bounded by $1$, i.e. $...
Jon Megan's user avatar
  • 515
5 votes
1 answer
720 views

Trace distance between mixed state and pure state vs trace distance between their purifications

Let $\rho$ be a mixed state and $\vert\psi\rangle\langle\psi\vert$ be a pure state on some Hilbert space $H_A$ such that $$\|\rho - \vert\psi\rangle\langle\psi\vert \|_1 \leq \varepsilon,$$ where $\|A\...
user1936752's user avatar
  • 3,075
5 votes
1 answer
219 views

How many measurements are needed to distinguish two fixed density matrices?

Suppose there are two fixed density matrices $\rho_1$ and $\rho_2$ are prepared for equal probability. Can we say something about the minimum number of measurements required to distinguish the two ...
Jon Megan's user avatar
  • 515
4 votes
2 answers
199 views

Is the trace distance between multipartite states invariant under permutations?

Consider two multipartite states $\rho_{A_1A_2..A_L}$ and $\sigma_{A_1A_2..A_L}$ in $\mathcal{H}_{A_1} \otimes\mathcal{H}_{A_2} \otimes...\mathcal{H}_{A_L} $. For an arbitrary permutation $\pi$ over $\...
user297646's user avatar
4 votes
2 answers
3k views

Relation between trace distance and inner product between pure states

Let $|\phi\rangle,|\psi\rangle$ be two state vectors, and let $d=\frac{1}{2}\mathrm{Tr}(\sqrt{(|\phi\rangle\langle\phi|-|\psi\rangle\langle\psi|)^2})$ be their trace distance. Then it will always hold ...
BHT's user avatar
  • 151
4 votes
2 answers
905 views

Prove that the trace norm is dual to the spectral norm

Suppose $A\in L(X,Y)$. $||\cdot||$ denotes spectral norm and denotes the largest singular value of a matrix, i.e. the largest eigenvalue of $\sqrt{A^*A}$. $||\cdot||_{tr}$ denotes trace norm. We have ...
user777's user avatar
  • 115
4 votes
1 answer
149 views

How to prove that $\frac{| x_0 \rangle + | x_1 \rangle}{\sqrt{2}}$ hides one of $x_0$ or $x_1$?

I create a quantum state $| \psi \rangle = \frac{| x_0 \rangle + | x_1 \rangle}{\sqrt{2}}$ for a randomly chosen $x_0,x_1$ of 50 bits. I give this quantum state $|\psi \rangle$ to you and you return ...
nishkr's user avatar
  • 103
4 votes
1 answer
89 views

Bounds on local expectation values for two states close in trace distance

I feel like this should have been recorded somewhere but I could not find any result in the literature (except in very specific cases). Consider two states $\rho,\sigma$ such that they are $\epsilon$-...
Evangeline A. K. McDowell's user avatar
4 votes
2 answers
71 views

What's the trace distance between $|0\rangle^{\otimes n}$ and $\frac{1}{\sqrt{2}}\big(|0\rangle^{\otimes n} + |1 \rangle^{\otimes n} \big)$?

I'm trying to figure out the trace distance between the states $\rho_1$ and $\rho_2$, where $$ \begin{align}\rho_1 &= (|0\rangle \langle 0|)^{\otimes n}\,,\\ \rho_2 &= \dfrac{1}{2}(|0\rangle^{\...
Sean Thrasher's user avatar
4 votes
1 answer
133 views

Closeness of unitary dilations of CPTP maps

Let $\Phi_1,\Phi_2 \colon S(\mathcal{H}) \to S(\mathcal{H})$ be CPTP maps on the same Hilbert space $\mathcal{H}$ which are $\varepsilon$-close in diamond norm, and let $U_1,U_2$ be respective unitary ...
nickspoon's user avatar
4 votes
1 answer
61 views

Why do probablity distribution with orthogonal suppor have maximal Kolmogorov distance?

Can anyone explain why the $l_1$ distance has the property that probability distributions $P,Q$ with orthogonal support (meaning that the product $p_iq_i$ vanishes for each value of $i$) are at a ...
Sakh10's user avatar
  • 143
4 votes
1 answer
80 views

How do I prove that $\newcommand{\tr}{\operatorname{Tr}}\tr(A \sqrt{B} A \sqrt{B}) = \tr\Big[\Big(\sqrt{\sqrt{B}} A \sqrt{\sqrt{B}}\Big)^2\Big]$?

Let's say I have 2 density operators $A$ and $B$. Now, here is what I am trying to calculate: $$\newcommand{\tr}{\operatorname{trace}} \tr(A \sqrt{B} A \sqrt{B}). $$ I saw that this trace can be ...
QuestionEverything's user avatar
4 votes
1 answer
903 views

Saturating the Fuchs-van de Graaf inequality

It is well-known that one side of the Fuchs-van de Graaf inequality is saturated for pure states, i.e. $F(\rho,\sigma)^2 = 1-d(\rho,\sigma)^2$ when $\rho$ and $\sigma$ are pure (here we are using the ...
helloworld's user avatar
4 votes
0 answers
76 views

A measure of entanglement created by a unitary operation

Let $U$ be a unitary matrix acting on a 3-qubit system. If there is no correlation among any pairs of the three qubits, the unitary operation can be represented as $U = U_1 \otimes U_2 \otimes U_3$, ...
user185671631's user avatar
4 votes
0 answers
525 views

Why is the fidelity, rather than the trace distance, the standard choice to compare quantum states?

I don't think it's particularly controversial to say that the "standard" way people use to compare quantum states is via the fidelity. Yes, sometimes the trace distance is used as well, but ...
glS's user avatar
  • 25.6k
4 votes
0 answers
93 views

Minmax theorem for optimization over isometries and states

I have the following minmax problem and I am wondering if the order of the minimum and maximum can be interchanged and if yes, why? Let $\|\cdot\|_1$ be the trace norm defined as $\|\rho\|_1 = \text{...
user1936752's user avatar
  • 3,075
4 votes
0 answers
55 views

If $\rho \approx_{\varepsilon}\sigma$, how to find $\Pi\rho\Pi$ to ensure that $\text{supp}(\Pi\rho\Pi)\subset\text{supp}(\sigma)$?

Let $\rho$ and $\sigma$ be positive semidefinite operators with trace less than or equal to 1. Let $\rho\approx_{\varepsilon}\sigma$ i.e. they are close in some distance, such as the trace distance. ...
lolwut's user avatar
  • 41
3 votes
3 answers
197 views

Is the trace distance upper bounded by the Euclidean distance?

Suppose we have two pure state $|\psi\rangle$ and $|\phi\rangle$. I was wondering whether the statement: $\||\psi\rangle\!\langle\psi|- |\phi\rangle\!\langle\phi|\|_{\rm tr}$ is at most the Euclidean ...
Zehong Fan's user avatar
3 votes
1 answer
276 views

How can we upper bound the norm of a partial trace?

Suppose we have the normalised states $|\phi_{1}\rangle,|\phi_{2}\rangle \in A \otimes B$ where $A$ and $B$ are $d$-dimensional complex vector spaces. Suppose $|\langle\phi_{2}|\phi_{1}\rangle| < ...
user07's user avatar
  • 31
3 votes
1 answer
313 views

Trace distance of two classical-quantum states

I have these two classical-quantum states: $$\rho = \sum_{a} \lvert a\rangle \langle a\lvert \otimes q^a \\ \mu = \sum_{a} \lvert a\rangle \langle a\lvert \otimes r^a $$ Where $a$ are the classical ...
QuestionEverything's user avatar
3 votes
1 answer
283 views

Bounding inner product of states with distance

Suppose we are given two states quantum states $|{\psi}\rangle$ and $|{\phi}\rangle$ over $n$ qubits. We know that the distance between the states is bounded by $\epsilon$: $$|| |{\psi}\rangle- |{\phi}...
Apo's user avatar
  • 545
3 votes
2 answers
119 views

Closeness of $\rho$ such that $\text{Tr}(|\psi\rangle\langle\psi|\rho)\le1/2^n+{\cal O}(2^{-2n} )$ for all $|\psi\rangle$ to the maximally mixed state

Consider an $n$ qubit density matrix $\rho$ such that $$\text{Tr}(|\psi\rangle\langle \psi| ~\rho) \leq \frac{1}{2^{n}} + \mathcal{O}\left(\frac{1}{2^{2n}} \right), $$ for every $n$ qubit pure state $|...
BlackHat18's user avatar
  • 1,363
3 votes
1 answer
79 views

Does the trace distance between marginals bound the distance between the overall states?

If the quantum states of the subsystems of two systems are close (for example: in terms of trace distance), are the states of the larger systems also close, i.e., if $$ ||\rho_A - \rho_{A^\prime}||\...
Dina Abdelhadi's user avatar
3 votes
2 answers
696 views

Prove the triangle inequality for the trace norm: $\|M+N\|_1\le \|M\|_1+\|N\|_1$

I have been trying to show that $$||M+N|| \le ||M|| + ||N||$$ However, I seem to be missing some fundamental property of either how the trace or square root acts on these sums of matrices, or how the ...
GaussStrife's user avatar
  • 1,115
3 votes
1 answer
743 views

Is the trace norm monotone with respect to quantum operations?

The trace norm is defined to be $$\| K \| = \mathrm{tr}\sqrt{K^\dagger K}.$$ Is it true that we have $$\| \mathcal E(K) \|\leq \|K\|,$$ for any quantum operation $\mathcal{E}: A\otimes B \to A\otimes ...
MaudPieTheRocktorate's user avatar
3 votes
1 answer
188 views

Quantum marginal problem - constructing a global state from reduced states

Consider a bipartite state $\rho_{AB}$ with reduced states $\rho_A = \text{Tr}_B(\rho_{AB})$ and $\rho_B = \text{Tr}_A(\rho_{AB})$. Suppose one obtains states $\rho'_{A}$ and $\rho'_{B}$ such that $\|\...
user1936752's user avatar
  • 3,075
3 votes
1 answer
75 views

Is fidelity of mixed $\sigma$ and pure $|\psi\rangle$ equal to $\||\psi\rangle\langle\psi|\sigma\|_1$?

The quantum state fidelity between a pure quantum state $\rho:= \vert \psi \rangle \langle \psi \vert$ and a state $\sigma$ is \begin{align} F(\rho, \sigma):= {\rm Tr}[\sqrt{\sqrt{\rho}\sigma\sqrt{\...
Michael.Andy's user avatar
3 votes
1 answer
112 views

Game formulation of Quantum GAN

Quantum Generative Adversarial Network (QuGAN) generates a desired quantum state via a minimax game between generator and discriminator (equivalently, it's optimizing a trace distance between ...
userflux9674's user avatar
3 votes
1 answer
147 views

Helstrom Measurement when two quantum states are close

I've been reading a paper about Entangled-quantum GAN (see this PDF) and wondering why descriptions below Eq.(3) in the paper are in fact true. To summarize the description, suppose we have two ...
user19468's user avatar
3 votes
0 answers
42 views

Bounds relating min-fidelity and induced one-norm

Consider two CPTP maps $M_{A\rightarrow B}$ and $N_{A\rightarrow B}$. Let $\Phi = M - N$. To distinguish between the two maps, there are several measures but here I want to compare two of them. The ...
user1936752's user avatar
  • 3,075
2 votes
2 answers
91 views

What can be said about the closeness of two states if the difference of their fidelity measured with respect to a fixed state is close to 0?

Suppose I have two states $\rho$ and $\sigma$. We are given that, $$Tr((\rho - \sigma)|\psi\rangle\langle\psi|) \geq \epsilon$$ where $|\psi\rangle$ is a fixed state and $\epsilon \rightarrow 0$, ...
Niraj Kumar's user avatar
2 votes
2 answers
219 views

Does proximity of two bipartite states in a norm force high overlap between the elements of the Schmidt bases?

I want to know that there is a relation between the distance of two vectors and the corresponding elements of the Schmidt bases. We assume that two bipartite vectors $|\phi\rangle^{AB}$ and $|\psi\...
Takimoto.R's user avatar
2 votes
2 answers
116 views

Properties of composition of isometry and a perturbed adjoint

Suppose $\vert\Phi\rangle_{AR} = \frac{1}{\sqrt{|D|}}\sum_{i\in D} \vert ii\rangle_{AR}$ is the maximally entangled state. Let $V_{A\rightarrow BE}$ and $\tilde{V}_{A\rightarrow BE}$ be two isometries ...
user1936752's user avatar
  • 3,075
2 votes
1 answer
42 views

Why is the trace distance between two density matrices not always $0$?

If $|A|_{tr}=Tr(\sqrt{A^\dagger A})$ then surely $$ |\rho_1-\rho_2|_{tr}=Tr(\sqrt{(\rho_1-\rho_2)^\dagger (\rho_1-\rho_2)}) $$ $$ =Tr(\sqrt{(\rho_1^\dagger -\rho_2^\dagger)(\rho_1-\rho_2)}) $$ $$ =Tr(\...
mrepic1123's user avatar
2 votes
2 answers
205 views

How to show $T(\rho,\sigma)≥\sum_i|r_i − s_i|$ with $r_i,s_i$ eigenvalues of $\rho,\sigma$?

The proof of the Fannes' inequality replies on the formula $T(ρ, σ)≥\sum_i|r_i − s_i|$, where $r_i,s_i$ are the eigenvalues of $\rho,\sigma$, in the descending order. In the proof given in Box 11.2, ...
Sooraj S's user avatar
  • 831
2 votes
1 answer
114 views

It two unitaries are delta apart in trace norm, then what is the trace norm of outputs states when the same input state is applied to two unitaries?

Suppose we are given two unitary matrices $U$ and $V$, with the following guarantee, $$||U - V||_1 \geqslant \delta$$ for some $\delta \geqslant 0$. We apply an input density state $\rho$ ...
Niraj Kumar's user avatar
2 votes
1 answer
232 views

Trace Distance in Bloch sphere, what is the vector of Pauli matrices?

While reading Chapter 9.2.1 Trace distance in "Quantum Computation and Quantum Information," I encountered a question. What is the vector of Pauli matrices referring to? $$ \vec{\sigma} = (\...
Wang Sheffield's user avatar
2 votes
1 answer
66 views

How to implement the state $|\psi\rangle = \frac{1}{\sqrt{2}}\left[|0\rangle \otimes |X_i\rangle + |1\rangle \otimes |X_j\rangle\right]$

I am trying to implement the quantum k-means algorithm proposed in https://arxiv.org/pdf/1909.04226.pdf. In the equation (8) of the manuscript we need to implement a state $|\psi\rangle = \frac{1}{\...
pablote's user avatar
  • 23
2 votes
1 answer
76 views

Upper bounding the trace distance between a noisy and noiseless quantum state

Consider a quantum state $$ \rho = \begin{pmatrix} \rho_{00} & \rho_{01} \\ \rho_{10} & \rho_{11} \\ \end{pmatrix}. $$ Now, consider the effect of the amplitude damping noise $\mathcal{N}$ of ...
BlackHat18's user avatar
  • 1,363