1

A separable state in $\mathcal{H}_{a}\otimes\mathcal{H}_{b}$ is given by

$$\rho_{s}=\sum_{\alpha,\beta}p(\alpha,\beta)|\alpha\rangle\!\langle\alpha|\otimes|\beta\rangle\!\langle\beta|.$$

Now, my question is, is there a suitable choice of $\{|\alpha \rangle\}$ and $\{|\beta \rangle\}$ such that all of them are elements from a complete basis (possibly non-unique) in individual subsystem?

A reason I think the bases $\{|\alpha \rangle\}$ and $\{|\beta \rangle\}$ will form a complete basis is because separable state space is the convex hull of tesnor products of symmetric rank-$1$ projectors $|\alpha\rangle\!\langle \alpha|\otimes|\beta\rangle\!\langle \beta|$. The extreme points are orthonormal sets $\{|\alpha\rangle\!\langle \alpha|\}$ and $\{|\beta \rangle\!\langle \beta|\}$. Is it true? Any help is appreciated.

WInterfell
  • 119
  • 4

2 Answers2

1

In general, no. It can be that the sets of states $\{|\alpha\rangle\}$ and $\{|\beta\rangle\}$ span their respective spaces. However, the size of each set can be larger than the dimension of the space, so the states are not all linearly independent and therefore not a basis.

For example, $\rho^{a/b}_1=p_1|0\rangle\langle 0|+(1-p_1)|1\rangle\langle 1|$ and $\rho^{a/b}_2=p_2|+\rangle\langle +|+(1-p_2)|-\rangle\langle -|$. So, $\{|\alpha\rangle\}=\{|0\rangle,|1\rangle,|+\rangle,|-\rangle\}$ and is not a basis.

DaftWullie
  • 57,689
  • 3
  • 46
  • 124
  • I understood, then the extreme points on the compact, convex separable state space neither form basis for individual subsystem nor they form a basis for the entire system? But it seems odd, shouldn't the extreme points be linearly independent i.e. orthogonal? What I meant to say is that, the combined state ${|\alpha>|\beta>}$ are not the extreme points for the quantum states in question as they are linearly dependent. Once, we write is in terms of extreme points do they form a basis for individual subsystem? – WInterfell Jul 13 '21 at 09:30
  • To be more precise, consider $\rho_{1}^{a}\otimes\rho_{1}^{b}=p_{1}^{2}|00><00|+(1-p_{1})^{2}|11><11|+p_{1}(1-p_{1})(|01><01|+|10><10|)$ ans $\rho_{2}^{a}\otimes\rho_{2}^{b}=p_{2}^{2}|++><++|+(1-p_{2})^{2}|--><--|+p_{2}(1-p_{2})(|+-><+-|+|-+><-+|)$. Then, we can make a basis transformation $(|++>,|-->,|+->,|-+>)$ to $(|00>,|11>,|01>,|10>)$ in $\rho_{2}^{a}\otimes\rho_{2}^{b}$ and will have the necessary decomposition. – WInterfell Jul 13 '21 at 11:08
  • You can look at the spectral decomposition of $\rho_s$. However, even if $\rho_s$ is separable, its eigenstates need not be. For example $p|B\rangle\langle B|+(1-p)I/4$ where $|b\rangle$ is the Bell state. This is diagonal in the Bell basis, and for $p\leq 1/3$, is separable. – DaftWullie Jul 13 '21 at 11:47
  • I'm not sure if part of your problem is that you're considering the individual components (the sum over $i$) which really tell you very little about the composite. The only basis that's really worth considering comes from the reduced density matrix $\rho_A=\sum_ip_i\rho^a_i$. You can certainly find the eigenvectors of that and they form an orthonormal basis but, by the above comment, they still tell you very little about the overall system. – DaftWullie Jul 13 '21 at 11:50
  • Thanks, I understood, in your example, the reduced states are $I/2$ thus, we won't have much information about the composite. However, for the separable part of the above state (which is Werner state, I suppose) shouldn't we find a separable decomposition of the form $\sum_{x,y}p(x,y)|x><x|\otimes|y><y|$ and then the distinct eigenvectors of the form $|\alpha>|\beta>$ would be the suitable representation? – WInterfell Jul 13 '21 at 12:39
  • While that is a mathematical procedure that you could follow (with the caveat that such a decomposition is usually not unique), I don't see why there is any expectation that it should do something useful for you. – DaftWullie Jul 13 '21 at 13:38
-1

As a trivial counterexample, let $\mathcal H$ be a Hilbert space with $\dim(\mathcal H)=299792458$, and let $\{|i\rangle\}_{i=1}^{299792458}$ be a basis for it. Then $\rho_s\equiv|1\rangle\!\langle1|\otimes|1\rangle\!\langle1|$ is separable and is already decomposed like you mention, but clearly $|1\rangle$ does not span the full space.

glS
  • 24,708
  • 5
  • 34
  • 108
  • That's a product state, which is an extreme point, thus it can be thought of as a part of suitable basis system. In particular, we have $\rho_{s}=\sum_{\alpha,\beta}p(\alpha,\beta)|\alpha><\alpha|\otimes|\beta><\beta|$ where $P(\alpha,\beta)=\delta_{\alpha,1}\delta_{\beta,1}$. I agree with your comment that, it won't always span the full space but my question dealt with whether we can always make suitable changes on the state such that the ${|\alpha>}$ and ${|\beta>}$ can be part of complete basis in each susbsystem. – WInterfell Jul 13 '21 at 11:14
  • 1
    well, if you allow for elements of the sum attached with vanishing coefficients, then isn't it obvious that you can always do it? Just decompose an arbitrary $\rho_s$ like you do in the question, complete the bases on each side, and "add them to the sum" attaching them with vanishing coefficients. Or are you asking whether any separable state can be decomposed in such a way for some choice of bases on both sides? In that case, this question might be of interest – glS Jul 13 '21 at 11:17
  • My question was essentially the second one. The link is useful, thanks, perhaps I can follow the procedure mentioned there and construct the suitable decomposition. – WInterfell Jul 13 '21 at 11:30
  • @WInterfell in that case, this question here is also related: https://quantumcomputing.stackexchange.com/q/13031/55. In particular, the section in Watrous' book linked there might be of interest. But I should remark that these results rely on Caratheodory's thm, which doesn't control the orthogonality of bases on each side, so it's not quite the same as what you seem to be asking here – glS Jul 13 '21 at 11:46
  • The Watrous book indeed helpful. Specifically, Eq.(6.15) gives a representation of the pure decomposition in terms of a observable basis, do you think that the orthogonality is of the basis is ensured in such a decomposition? – WInterfell Jul 13 '21 at 12:43