Dismiss Notice
Join Physics Forums Today!
The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

A Collapse and projection-valued measures

  1. May 11, 2016 #1
    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##
     
  2. jcsd
  3. May 11, 2016 #2
    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?"
     
  4. May 12, 2016 #3

    bhobba

    User Avatar
    Science Advisor
    Gold Member

  5. May 12, 2016 #4
    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.
     
  6. May 13, 2016 #5
    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) $$
     
Know someone interested in this topic? Share this thread via Reddit, Google+, Twitter, or Facebook

Have something to add?
Draft saved Draft deleted



Similar Discussions: Collapse and projection-valued measures
Loading...