ppnl2 said:
Ok this is mostly over my head. I don't really understand what a density matrix is. But from what very little grasp I have of it I'm suprised its applicable here.
The reason is simply that a density matrix describes a statistical mixture, which can also be a pure state of course. Now, when you do a measurement, then you transform a density matrix of the situation before measurement (written in the eigenbasis of the observable of which we are performing the measurement) into a density matrix with the same elements on the diagonal, and 0 elsewhere. That's the Born rule in "density matrix" language.
For a pure state, you can understand this. Imagine that we have an initial pure state given by |psi> = a |e1> + b|e2> and we are going to measure the E quantity with eigenvectors |e1> and |e2>.
The density matrix corresponding to psi is simply
|psi><psi| = (a |e1> + b |e2>) (<e1| a* + <e2|b*) which gives the 4 terms corresponding to the 4 elements of the density matrix:
{ a a* ; a b*}
{ b a* ; b b*}
After measurement, we know that we have a MIXTURE, given by:
probability a a* to be in state |e1> and probability b b* to be in state |e2>, so the expectation value of A is aa* e1 + bb* e2.
This state is represented by a density matrix
{ a a* ; 0 }
{ 0 ; b b*}
So you see, keeping the diagonal elements and putting 0 everywhere else is the effect of a measurement (the Born rule).
In this basis, of course, it is simple to see that A is a diagonal matrix with e1 and e2 on the diagonal, so that rho A equals:
{ a a* e1 ; a b* e2}
{ a* b e1 ; b b* e2}
and the trace of it, Tr(rho A) = aa* e1 + bb* e2, the expectation value of A.
This seems trivial of course, because we were working in the right basis. But a property of the Trace is that it is invariant wrt a change of basis, so this expression is valid in EVERY basis !
Now, in the case of a composite system H1 x H2, the states can be written in a kronecker product basis (local basis). If an observable A only observes on system 1 then A can in fact be written as A x 1 (1 = unit operator in H2). In the same way, if B only observes a property of H2, it can be written as 1 x B (here, 1 is unit operator in H1).
Now, let us consider that the overall state |psi> = a |e1> |f1> + b |e2> |f2> where e1 and e2 are eigenvectors of A (but f1 and f2 are not basis vectors of H2, they just happen to be vectors in H2). Clearly |e1>|f1> is an eigenvector of A x 1 and so is |e2> |f2> (and both are orthogonal, even if f1 and f2 aren't). The probability of finding e1 is a a* and the probability of finding e2 is b b*.
As a density matrix, it can be written as:
{ a a* |f1><f1| ; a b* |f1><f2|}
{ b a* |f2><f1| ; b b* |f2><f2|}
where the |f><f| stand for submatrices written out in a basis of your choice in H2.
The subtrace of this matrix with respect to H2 is obtained by tracing out each of the 4 submatrices:
rho1 =
{a a* Tr(|f1><f1|) ; a b* Tr(|f1><f2|) }
{b a* Tr(|f2><f1|) ; b b* Tr(|f2><f2|) }
Now, it is a property of Tr(|a><b|) that it is equal to <b|a>.
Remember that f1 and f2 are not basis vectors of H2, they are just 2 arbitrary vectors in H2, so <f1|f2> is not necessarily 0. However, <f1|f1> = 1 because they are supposed to be normalized.
So rho1 =
{ a a* ; a b* x*}
{a* b x; b b*}
with x = <f1|f2>
and we see that our expectation value for A is given by:
<A x 1> = Tr( A rho1)
in the same way as before.
Now, the important part is that the basis in H2 in which we did this (worked out the trace) DIDN'T MATTER. Also, it wouldn't matter if we applied a measurement in H2 or not, which would have (as we saw before) transformed the submatrices |f1><f1| and so on into their DIAGONAL matrices in the basis corresponding to the measurement. Indeed, the only quantities needed to calculate a trace are the diagonal elements, and they don't change, with or without measurement.
So we can conclude 2 things:
1) the expectation value of A doesn't change, whether we apply, or not, a measurement in H2 (full submatrices, or only diagonal)
2) if we apply a measurement in H2 it doesn't matter which one (the eigenbasis in which we write out f1 and f2).
I'm stuck trying to visualize the unitary evolution of a single photon as it goes through the experiment. From this perspective if you have "which way" information then you have no interference pattern. If you combine I1 and I2 then you don't have that information and should have interference.
It is not because you don't have the information that you necessarily have interference ! It is if you USE that information to subselect a sample and then you are working out expectation values of a CORRELATION, which is not a local observable anymore acting only on H1 or H2.
(Hmm, my setup is a two photon state. But in the real experiment when you combine I1 and I2 you are reduceing back down to a one photon state. Aren't you? Wouldn't this make a difference?)
No, the 2-photon state is |signal> |idler>
and we have a SUPERPOSITION of 2-photon states:
|s1>|i1> + exp(i phi) |s2>|i2>
(this superposition is due to the pump photon being in a superposed state: one state going to NL1 and the other going to NL2)
So s1 and s2 are part of one and the same "photon" (in 2 different states).
The trick of combining the i1 and i2 beams into one single beam is to evolve unitarily |i1> and |i2> into the same state (in order to keep unitarity then this must in fact result into 2 different states but in such a way that they are indistinguishable for one detector: |i1> goes to |u> + |v> and |i2> goes to |u> - |v> and we detect |u> and |v> ; this is typically done with a beamsplitter).
By doing so, we rewrite the wave function as
(|s1> + exp(i phi) |s2> ) |u> + (|s1> - exp(i phi) |s2>) |v>
If we now look at |u> detections of the idler we find an interference pattern of the two different states of the "signal" photon, and if we look at the |v> detections, we find a complementary interference pattern.
But normally, WITHOUT subsampling (tagging on u or on v) an ENTANGLED state can never give rise to interference in the whole sample (that's the entire content of decoherence!).
However, if some physics in the NL2 converter makes that the |u> state (it is there if i1 gets into the converter) can LOWER the |s2> phase (that's possible, a unitary phase rotation), and the |v> state can INCREASE the |s2> phase, then both interference patterns are NOT perfectly complementary anymore, and the overall sample will show a partial interference pattern. But that is due to an interaction of the idler photon states (u and v) with the signal photon state s2. This is possible because the 3 states are PRESENT, LOCALLY, IN NL2. Mind you that it cannot do anything to s1 (which is far away, in NL1).
cheers,
Patrick.