TransWikia.com

Is the trace distance between multipartite states invariant under permutations?

Quantum Computing Asked by user297646 on June 10, 2021

  1. Consider two multipartite states $rho_{A_1A_2..A_L}$ and $sigma_{A_1A_2..A_L}$ in $mathcal{H}_{A_1} otimesmathcal{H}_{A_2} otimes…mathcal{H}_{A_L} $. For an arbitrary permutation $pi$ over ${ 1, ldots ,L}$, is it true that

$$
lVert rho_{A_1A_2..A_L} – sigma_{A_1A_2..A_L} lVert_1 = lVert rho_{A_{pi(1)}A_{pi(2)}..A_{pi(L)}} – sigma_{A_{pi(1)}A_{pi(2)}..A_{pi(L)}} lVert_1?
$$

  1. If 1. is not true, is the following true:
    If $rho_{A_1A_2..A_LB}$ and $sigma_{A_1A_2..A_LB}$ are two calssical-quantum states in $mathcal{H}_{A_1} otimesmathcal{H}_{A_2} otimes…mathcal{H}_{A_L} otimes mathcal{H}_{B}$, i.e., one can write $rho_{A_1A_2..A_LB} = sum_{a_1} ldots sum_{a_L} p(a_1,a_2,ldots,a_L) |a_1rangle langle a_1| otimes ldots otimes |a_Lrangle langle a_L| otimes rho_B^{a_1,ldots,a_L}$, then
    $$
    lVert rho_{A_1A_2..A_LB} – sigma_{A_1A_2..A_LB} lVert_1 = lVert rho_{A_{pi(1)}A_{pi(2)}… B…A_{pi(L)}} – sigma_{A_{pi(1)}A_{pi(2)}… B…A_{pi(L)}} lVert_1,
    $$

    where the position of the subscript $B$ is arbitrary on the righthand side.

2 Answers

A permutation of the qubits is a unitary operation. The trace distance is invariant under unitaries (https://en.wikipedia.org/wiki/Trace_distance#Properties). Thus, statement 1 is true.

Correct answer by DaftWullie on June 10, 2021

I'd like to add a small addition to the answer of @DaftWullie about why you would expect this operationally to be true -- without knowing permutations correspond to unitary matrices.

It boils down to the Holevo-Helstrom Theorem (HHT) that says the trace distance between two states characterizes operationally the probability that we can distinguish the two states. Suppose some referee has two multipartite states and places each of their subsystems in different boxes. We are then given a collection of boxes $A_1, dots, A_n$ which we are told contain the parts of either the state $rho$ or the state $sigma$ with $50%$ probability of each. Tasked with guessing whether we got $rho$ or $sigma$ we know by the HHT that our probability of guessing correctly using the optimal strategy is a function of $$ lVert rho_{A_1A_2..A_n} - sigma_{A_1A_2..A_n} lVert_1. $$ Moreover, from the perspective of a guessing game it is clear that our probability of guessing correctly shouldn't depend on which order we decide to arrange our boxes in the lab -- as part of the guessing protocol we could anyway rearrange the boxes to maximize the guessing probability. So for any permutation $pi$ the probability of guessing correctly when we're given boxes $A_{pi(1)},dots,A_{pi(n)}$ should be the same and hence, $$ lVert rho_{A_1A_2..A_n} - sigma_{A_1A_2..A_n} lVert_1 =_{mathrm{operationally}} lVert rho_{A_{pi(1)}A_{pi(2)}..A_{pi(n)}} - sigma_{A_{pi(1)}A_{pi(2)}..A_{pi(n)}} lVert_1. $$

Please note that this is in no way a proof and $=_{mathrm{operationally}}$ is not a well-defined concept. This is merely some intuition to maybe complement the accepted answer. On reflection, thinking of the permutation as a rearranging the order of the boxes in the lab tells us that the permutation operation should be a unitary one -- we could always just reverse the arrangement if we please which should not affect the state.

Answered by Rammus on June 10, 2021

Add your own answers!

Ask a Question

Get help from others!

© 2024 TransWikia.com. All rights reserved. Sites we Love: PCI Database, UKBizDB, Menu Kuliner, Sharing RPP