Summary and Motivation
"The below idea is about making a mathematical statement on system 2 which induces a measurement on system 1 while 1+2 obeys unitary evolution."
Basically, I'm modelling the measurement (occurring at time t) as an interaction and that I have some constraints based on the conditions before (˜t−)and after (˜t+)
Introduction
There are 2 systems 1 and 2. Let the Hamiltonian of system 1 be H1 and let it be in an energy eigenstate:
ˆH1|Em⟩=Em|Em⟩
Now, a measurement is done (forcing the system to a momentum eigenstate):
ˆp|pj⟩=pj|pj⟩
This measurement must me induced by a another system (see here why I think so: Energy cost of the measurement without perturbing the system? ). Let the Hamiltonian of this system be H2. Let us express the net Hamiltonian as:
ˆHnet=ˆH1+ˆH2+ˆH′int(1,2)
Where, Hint(1,2) is the interaction Hamiltonian between the systems. But let us consider another system before we proceed:
ˆHnon-int=ˆH1⊗ˆ1+ˆ1⊗ˆH2
where ˆ1 is the identity matrix. In the non-interacting case we have a separable wave function:
|ψnon-int⟩=|ψ1⟩⊗|ψ2⟩=|ψ1,ψ2⟩
where |ψ1⟩ and |ψ2⟩ are the wave functions of system 1 and 2, respectively.
Now, I know something about the time-evolution of system 1 and I know the net system 1+2 obeys unitarity. Hence, I should be able to use this to say something about system 2.
After doing some "calculations" I got the following equation (first-order strong summation condition):
0=∑λ′∑n⟨ψ(0)n| ψnet⟩⟨ψ2|E′λ′⟩⟨ψ(1)λ′|ψ(0)n⟩=∑n⟨ψ(0)n| ψnet⟩⟨ψnon-int|ψ(1)n⟩
Questions
Now let's say I want to perform a measurement on |ψnet⟩ does the above equation add an additional constraint? If so does it interfere with the usual measurement postulates (and how badly) |ψnet⟩→|eigenstate⟩ and the probability of the eigenstate is |⟨ψnet|eigenstate⟩|2? If it invalidates the model I'm curious to know what was the false assumption?
Also, the current order of logic is: Measurement in system 1⟹first-order strong summation condition. Is the inverse true? first-order strong summation condition⟹Measurement in system 1
Calculations
To make contact with the interacting case we use perturbation theory (assume H′12 is small, see detour to justify this assumption):
ˆHnet=ˆHnon-int+ϵˆHint(1,2)
Using perturbation theory (upto first order correction) in the energy eigenstates:
|ψnet−n⟩=|ψ(0)non-int⟩+ϵ|ψ(1)non-int⟩=|ψ(0)n⟩+ϵ|ψ(1)n⟩
Where:
|ψ(1)n⟩=∑k≠n⟨ψ(0)k|ˆHint(1,2)|ψ(0)n⟩E(0)n−E(0)k|ψ(0)k⟩
Case ˜t−:
(When not mentioned the kets are at time ˜t− where ˜t−=t−˜ϵ− and ˜t+=t+˜ϵ+)
Let ψnet be in some superposition of energy eigenstates:
|ψnet⟩=∑ncn|ψnet−n⟩
Let, us assume the measurement was done at a time t. Hence,
|ψ1(˜t−)⟩=|Em⟩
On the other hand, let system 2 be in some superposition of energy eigenstates:
|ψ2⟩=∑λ′c′λ′|E′λ′⟩
Putting things together:
|ψnet(˜t−)⟩=∑ncn|ψnet−n(˜t−)⟩=∑ncn(|ψ(0)n(˜t−)⟩+ϵ|ψ(1)n(˜t−)⟩)
However, we know,
|ψ(0)n(˜t−)⟩=|Em,E′λ′⟩n(m,λ)
where n(m,λ) is a function which puts ˜En=Em+E′λ′ (˜En is the energy of the non-interacting Hamiltonian) in ascending order (ignoring degeneracy). Also, to relate coefficients by the below procedure:
|ψnon-int(˜t−)⟩=|ψ1,ψ2⟩=∑λ′c′λ′|Em,E′λ′⟩
But we can also throw light on: |ψnet−n⟩=|ψ(0)n⟩+ϵ|ψ(1)n⟩⟹∑λ′c′λ′|ψnet−λ⟩=|ψnon-int⟩+ϵ∑λ′c′λ′|ψ(1)λ′⟩
Taking the inner product with |ψnet⟩=∑ncn|ψnet−n⟩=∑ncn(|ψ(0)n⟩+ϵ|ψ(1)n⟩) and the right side of the above equation:
0=ϵ(∑ncn⟨ψnon-int|ψ(1)n⟩+(∑λ′ˉc′λ′⟨ψ(1)λ′|)(∑ncn|ψ(0)n⟩))+O(ϵ2)
Ignoring ϵ2:
0=∑ncn⟨ψnon-int|ψ(1)n⟩+(∑λ′ˉc′λ′⟨ψ(1)λ′|)(∑ncn|ψ(0)n⟩)
Let us write the above more generally:
0=∑n⟨ψ(0)n| ψnet⟩⟨ψnon-int|ψ(1)n⟩+∑λ′∑n⟨ψ(0)n| ψnet⟩⟨ψnon-int|Em,E′λ′⟩⟨ψ(1)λ′|ψ(0)n⟩
Let, the above equation be called the ˜t− equation.
Case ˜t+ :
(When not mentioned the kets are at time ˜t+)
After the measurement on system 1:
|ψ1(˜t+)⟩=|pj⟩=∑k⟨Ek|pj⟩|Ek⟩
Let system 2 be in some superposition of eigen-energies:
|ψ2(˜t+)⟩=∑λ′d′λ′|E′λ′⟩=∑λ′⟨E′λ′|ψ2⟩|E′λ′⟩
Again, to relate coefficients by the below procedure:
|ψnon-int(˜t+)⟩=|ψ1,ψ2⟩=∑k∑λ′⟨Ek|pj⟩⟨E′λ′|ψ2⟩|Ek,E′λ′⟩
Following the same route as last time from |ψnet−n(˜t+)⟩=|ψ(0)n⟩+ϵ|ψ(1)n⟩:
∑k∑λ′⟨Ek|pj⟩⟨E′λ′|ψ2⟩|ψnet−λ′⟩=|ψnon-int⟩+ϵ∑k∑λ′⟨Ek|pj⟩⟨E′λ′|ψ2⟩|ψ(1)λ′⟩
Also:
|ψnet(˜t+)⟩=∑n⟨ψnet-n|ψnet⟩(|ψ(0)n⟩+ϵ|ψ(1)n⟩)
Taking the inner-product of the above 2 equations and focusing on the 1'st order ϵ: 0=∑n∑k∑λ′⟨pj|Ek⟩⟨ψ2|E′λ′⟩⟨ψnet-n|ψnet⟩⟨ψ(1)λ′|ψ(0)n⟩+∑n⟨ψnet-n|ψnet⟩⟨ψnon-int|ψ(1)n⟩
Let, the above equation be called the ˜t+ equation.
Combining the ˜t− and ˜t+ Cases:
We also know, that ψnet undergoes unitary evolution:
|ψnet(˜t+)⟩=U(˜t+,˜t−)|ψnet(˜t−)⟩=e−iHnet(˜t+−˜t−ℏ)|ψnet(˜t−)⟩
Let us go to the Heisenberg picture (the kets do not depend on time), we do so for a straight forward example (and leave the rest for the reader to work out):
⟨ψnet-n(˜t+)|ψnet(˜t+)⟩=⟨ψnet-n|U†(˜t+,t′)U(˜t+,t′)⏟ˆ1|ψnet⟩=⟨ψnet-n|ψnet⟩
We do this for all the kets (remove the time dependence). Hence, writing the t+ equation minus the t− equation:
0=∑n∑k∑λ′⟨pj|Ek⟩⟨ψ2|E′λ′⟩⟨ψnet-n|ψnet⟩⟨ψ(1)λ′|ψ(0)n⟩+∑n⟨ψnet-n|ψnet⟩⟨ψnon-int|ψ(1)n⟩−∑n⟨ψ(0)n| ψnet⟩⟨ψnon-int|ψ(1)n⟩−∑λ′∑n⟨ψ(0)n| ψnet⟩⟨ψnon-int|Em,E′λ′⟩⟨ψ(1)λ′|ψ(0)n⟩
Cancelling the term ∑n⟨ψ(0)n| ψnet⟩⟨ψnon-int|ψ(1)n⟩:
0=∑n∑k∑λ′⟨pj|Ek⟩⟨ψ2|E′λ′⟩⟨ψnet-n|ψnet⟩⟨ψ(1)λ′|ψ(0)n⟩−∑λ′∑n⟨ψ(0)n| ψnet⟩⟨ψnon-int|Em,E′λ′⟩⟨ψ(1)λ′|ψ(0)n⟩
Note: tracing back the calculations we notice: ⟨ψnon-int|Em,E′λ′⟩=⟨ψ2,Em|Em,E′λ′⟩=⟨ψ2|E′λ′⟩. Now taking the summation common:
0=(∑λ′∑n⟨ψ(0)n| ψnet⟩⟨ψ2|E′λ′⟩⟨ψ(1)λ′|ψ(0)n⟩)(∑k⟨pj|Ek⟩−1)
Obviously:
1≠∑k⟨pj|Ek⟩
Hence,
0=∑λ′∑n⟨ψ(0)n| ψnet⟩⟨ψ2|E′λ′⟩⟨ψ(1)λ′|ψ(0)n⟩
Re-substituting this in the ˜t− equation (without time dependency) we get:
0=∑n⟨ψ(0)n| ψnet⟩⟨ψnon-int|ψ(1)n⟩
Let the above equations be known as the "first-order strong summation condition".
Detour about ϵ and ˜ϵ±
I would like to supplement why the perturbation approximation is a good one. Let's say we are in the Heisenberg picture and we want to know the time evolution an operator in system 1. A natural question arises which time evolution to use Hnet or H1?The answer is the time evolution is the same (approximately):
⟨m|ˆO1(t′)|n⟩=⟨m|eiH1t′ℏˆO1e−iH1t′ℏ|n⟩=⟨m|ei(H1+H2+H′12)t′ℏˆO1e−i(H1+H2+H′12)t′ℏ|n⟩
The above makes sense iff,
⟨k|e−iH′12t′ℏ|l⟩→1
with t′≠t (the time of the measurement ˜ϵ±≠0) where |k⟩ and |l⟩ can be any basis element.