Understanding Basis Ambiguity in Zurek's Decoherence Paper

  • Thread starter Talisman
  • Start date
  • Tags
    Basis
In summary, Zurek's paper argues that, in some cases, the reduced density matrix of an entangled state can make a smaller system appear mixed.
  • #1
Talisman
95
6
I'm reading a seminal paper by Zurek on decoherence (preprint http://arxiv.org/abs/quant-ph/0105127" [Broken]), and am afraid I don't grasp one of the claims he makes. Briefly, consider an entagled state of two qubits:

[tex]|\psi{\rangle} = \sum_i x_i |A_i{\rangle}|B_i{\rangle}[/tex]

He claims that one can choose a different basis for the first qubit, and get a different representation for psi:

[tex]|\psi{\rangle} = \sum_i y_i |A'_i{\rangle}|B'_i{\rangle}[/tex]

However, if psi becomes entangled with a _third_ qubit:

[tex]|\psi{\rangle} = \sum_i x_i |A_i{\rangle}|B_i{\rangle}|C_i{\rangle}[/tex]

Then the basis ambiguity is lost: one cannot, in general, pick a different basis for A and expect to get a similar representation with alternate bases for B and C.

Perhaps my lin alg is a bit rusty, but I don't follow either claim. Can anyone elucidate?

Thanks!

[edited to use tex]
 
Last edited by a moderator:
Physics news on Phys.org
  • #2
Okay, so I've partially convinced myself of the first part, although I can't yet prove it in general. I started with a singlet state:

I) [tex]\frac{\sqrt{2}}{2} (|0{\rangle}|0{\rangle} + |1{\rangle}|1{\rangle})[/tex]

And then considered it in the "Hadamard Basis" (did I just make that term up?):

| -/+ > = (|0> -/+ |1>) / 2

And discovered (to my dismay) that (I) can indeed be rewritten as:

II) [tex]\frac{\sqrt{2}}{2} (|-{\rangle}|-{\rangle} + |+{\rangle}|+{\rangle})[/tex]

Should this have been obvious? Is there a nice way of thinking about the tensor product H2 @ H2 with rotated basis sets?
 
Last edited:
  • #3
Any pair of bases for the vector spaces V and W naturally yield (in the obvious way) a basis for their tensor product V @W.


I think what he's saying about the 3-particle system is not merely that it gets entangled -- but we also focus our attention on just two of the particles (by taking a partial trace). Then, even if we started with a pure state, we (usually) now have a mixed state.
 
  • #4
Thanks Hurkyl. I'm still not sure I follow:

Hurkyl said:
Any pair of bases for the vector spaces V and W naturally yield (in the obvious way) a basis for their tensor product V @W.

Certainly, but this doesn't by itself imply anything about the separability of states of the form mentioned, does it?

The curious thing is that psi can (apparently) be written as a sum of tensor products with two different pairs of basis sets ({Ai}, B{i}) and (A'{i}, B'{i}) each in H2. Is that more clear?

I think what he's saying about the 3-particle system is not merely that it gets entangled -- but we also focus our attention on just two of the particles (by taking a partial trace). Then, even if we started with a pure state, we (usually) now have a mixed state.

To make sure I understand: the overall state is still pure, but the reduced density matrix, being near-zero in the off-diagonals, makes the smaller system appear mixed?

I'm still inclined to believe the second claim made in the paper, but maybe I'll give it some deeper mathematical thought or take it to the lin alg section of this forum.

Thanks!
 
Last edited:
  • #5
By (one) definition, the tensor product [itex]V \otimes W[/itex] of two vector spaces V and W is the set of things that can be written as the finite sum

[tex]\sum v_i \otimes w_i[/tex]

for any vi in V and ai in W.


If you choose a basis for V and a basis for W, then you can take any of those sums and replace vi and wi as a linear combination of basis vectors. When you distribute, you are again left with a sum

[tex]\sum a_j \left( v'_j \otimes w'_j \right)[/tex]

but with each of the vj' and wj basis vectors, and the aj scalars.



Maybe I just don't understand what question you're asking?
 
  • #6
Hmm... perhaps I'm just being dense, but I still don't see the light. I agree that I can rewrite this:

[tex]\sum_i v_i \otimes w_i[/tex]

as this:

[tex]\sum_{i,j} a_{ij} \left( v'_i \otimes w'_j \right) [/tex]

but you're implying that [tex]a_{ij} = \delta_{ij}[/tex] when suggesting it can be written as so:

[tex]\sum a_j \left( v'_j \otimes w'_j \right)[/tex]

Or is there something I'm missing?
 
  • #7
It is true that if the sequences vi' and wi' are each a basis, then every element in [itex]V \otimes W[/itex] can be written uniquely as

[tex]\sum_i \sum_j c_{ij} (v_i' \otimes w_j')[/tex]



But in my previous post I was simply stating something weaker. I was not assuming that vi' and wi' were bases; just they were just sequences of basis vectors. In particular, some basis vectors may be repeated, and others might not appear at all.
 
Last edited:
  • #8
Oh, maybe I understand what you're asking -- you're wondering specifically about the elements that can be written as

[tex]\sum_i a_i \left( v_i' \otimes w_i' \right)[/tex]

where the vi' and wi' are bases, correct?


Try making the change of basis

|0> = (3/5)|L> - (4/5)|R>
|1> = (4/5)|L> + (3/5)|R>

to both components of

|00>.

What do you get?
 
Last edited:
  • #9
Hurkyl said:
Oh, maybe I understand what you're asking -- you're wondering specifically about the elements that can be written as

[tex]\sum_i a_i \left( v_i' \otimes w_i' \right)[/tex]

where the vi' and wi' are bases, correct?

I think we're on the same page now: I was wondering why any state expressible as a sum of Ai @ Bi can be rewritten as a sum of A'i @ B'i, where A'i and B'i are different bases than Ai and Bi.

Try making the change of basis

|0> = (3/5)|L> - (4/5)|R>
|1> = (4/5)|L> + (3/5)|R>

to both components of

|00>.

What do you get?

Yeah, I think that's (roughly) what I learned in my first response. In general,

[tex]|0> = (sin \theta)|L> - (cos \theta)|R>[/tex]
[tex]|1> = (cos \theta)|L> + (sin \theta)|R>[/tex]

Should work for any [tex]\theta[/tex], no? But I was hoping there was a simpler explanation.

I still have no idea about the second claim, although I've got a rough intuitive idea of what constraints would need to be satisfied for a basis change in all three qubits.

P.S. I wrote above:

but you're implying that [tex]a_{ij} = \delta_{ij}[/tex] when suggesting it can be written as so:

I meant:

but you're implying that [tex]a_{ij} = 0[/tex] for [tex] i \neq j[/tex] when suggesting it can be written as so:
 
Last edited:
  • #10
Talisman said:
Yeah, I think that's (roughly) what I learned in my first response.
Hrm. What did you get when you worked it out?
 
  • #11
Hurkyl said:
Hrm. What did you get when you worked it out?

Eh? I got |00> + |11> = |LL> + |RR> as expected (with correct coefficients) in your case (as well as, I bet, in mine).

That's what I was getting at with my "Hadamard Basis" nonsense, but it shouldn't have taken this "flash of insight" (or any calculation) to see why the statement should be true.

EDIT: This only shows an explicit change of basis that works when all the constants xi are the same in my original state. I haven't figured out how to think about it in general.
 
Last edited:
  • #12
But I wanted you to see what happens to

|00>

not to

(|00> + |11>)
 
  • #13
Okay, I'll bite:

[tex]c_0|00> = \frac{c_0}{25} (9|LL> - 12|LR> - 12|RL> + 16|RR>)[/tex]
 
  • #14
I am not an expert in this field, but how about, that the entangled state is a measured state, so according to quantum mechanics: the state must have a "direction" (I couldn't find off hand a better description, what I mean: if you measure the spin of a particle, than you give it a direction).

greetings

Kay
 
  • #15
Kay zum Felde said:
the entangled state is a measured state, so according to quantum mechanics: the state must have a "direction" (I couldn't find off hand a better description, what I mean: if you measure the spin of a particle, than you give it a direction).

Exactly

Regards, Dany.
 

1. What is basis ambiguity in Zurek's decoherence paper?

Basis ambiguity refers to the uncertainty or lack of knowledge about the basis in which a quantum system is measured or observed. In Zurek's decoherence paper, it is a key factor that leads to the loss of coherence and the emergence of classical behavior in quantum systems.

2. Why is understanding basis ambiguity important in quantum mechanics?

Understanding basis ambiguity is crucial in quantum mechanics because it helps explain the transition from quantum to classical behavior. It also sheds light on the fundamental nature of measurement and the role of the observer in quantum systems.

3. How does Zurek's decoherence paper address basis ambiguity?

Zurek's decoherence paper proposes a model that takes into account the interaction between a quantum system and its environment. This interaction causes the system to become entangled with the environment, resulting in a loss of coherence and the emergence of a preferred basis, which explains the classical behavior observed in macroscopic systems.

4. What are the implications of basis ambiguity for quantum computing?

Basis ambiguity poses a challenge for quantum computing as it can cause errors and inaccuracies in quantum algorithms. To overcome this, various error correction techniques have been developed to mitigate the effects of basis ambiguity and improve the reliability of quantum computations.

5. How can one experimentally test for basis ambiguity?

There are several experimental methods for testing basis ambiguity, such as measuring the coherence of a quantum system under different basis choices, or observing the effects of environmental decoherence on the system. Other techniques include measuring the entanglement between the system and environment and analyzing the decay of coherence over time.

Similar threads

Replies
5
Views
1K
  • Quantum Physics
Replies
2
Views
2K
Replies
8
Views
3K
  • Quantum Interpretations and Foundations
Replies
4
Views
2K
  • Math Proof Training and Practice
6
Replies
175
Views
20K
Back
Top