Collapse and projection-valued measures

  • #1
84
7

Main Question or Discussion Point

Let suppose I have an observable ##A## with associated projection-valued measure ##\mu_A##
$$A = \int_{a \in \mathbb{R}} a \cdot \textrm{d}\mu_A(a)$$
for a system in the (possibly mixed) state ##\rho##. Let ##S \subset \mathbb{R}## be a measurable subset and let ##Z = \mu_A(S)## be the observable equating 1 if ##A## falls in ##S## and 0 otherwise.

Is this statement meaningful and correct:

If measuring ##A##, with probability ##\textrm{tr}( \rho \cdot \mu_A(S) )## the result will be a point in ##S## (let's call it ##a##) and the system will collapse to state ##\rho' = \mu_A(\{a\})##

Again is this statement meaningful and correct:

If measuring ##Z##, with probability ##\textrm{tr}( \rho \cdot \mu_A(S) )## the result will be 1 and the system will collapse to state $$\rho' = \frac{1}{\textrm{tr} (\rho \cdot \mu_A(S))} \cdot \int_{a \in S} \textrm{tr} ( \rho \cdot \mu_A(\{a\}) ) \cdot \textrm{d} \mu_A(a) $$ with any subsequent measurement of ##A## producing a value inside ##S##
 

Answers and Replies

  • #2
84
7
Rethinking about that, it seems that my formulas for states after collapse are incorrect as ##\mu_A(\{a\})## is not a state at all in case ##a## is degenerate eigenvalue. But what would be the correct answer?

My question can basically be rephrased as "how do you express collapse with PVM?"
 
  • #3
9,331
2,307
  • #4
262
86
Bhobba, I think the OP just want an FAPP collapse to do calculation.

it seems that my formulas for states after collapse are incorrect as ##\mu_A(\{a\})## is not a state at all in case ##a## is degenerate eigenvalue. But what would be the correct answer?"
Typically one projects the state before the PVM measurement onto the degenerate subspace. This is called Lüders rule.
 
  • #5
84
7
Bhobba, I think the OP just want an FAPP collapse to do calculation.

Typically one projects the state before the PVM measurement onto the degenerate subspace. This is called Lüders rule.
Thanks Truecrimson, "Lüders rule" seems definetly the appropriate keyword. So AFAIU the correct answers would be:
$$ \rho' = \frac{1}{\textrm{tr} (\rho \cdot \mu_A(\{a\})) } \cdot \mu_A(\{a\}) \cdot \rho \cdot \mu_A(\{a\}) $$
and
$$ \rho' = \frac{1}{\textrm{tr} (\rho \cdot \mu_A(S)) } \cdot \mu_A(S) \cdot \rho \cdot \mu_A(S) $$
 

Related Threads on Collapse and projection-valued measures

Replies
49
Views
3K
Replies
4
Views
487
Replies
6
Views
1K
Replies
2
Views
2K
Replies
18
Views
1K
  • Last Post
Replies
9
Views
2K
Replies
5
Views
974
Replies
22
Views
3K
Replies
24
Views
2K
Replies
8
Views
681
Top