Gerenuk said:
You either say "I think your question is uninteresting" (no! my question is interesting to me) or you say "Your question is not what you want to know. I know better what you really want to know and for that the answer is too difficult"
I certainly won't say that I know better than you. I'm just trying to help the discussion advance, proposing solutions in order to work fast.
Gerenuk said:
(no! I know what my question is and it should have spin, position and time only; no need for something else). See it this way: if it were an exam question you would get no marks.
I'm not trying to get some marks. I'm trying to stay on-topic.
The topic is about non-locality and determinism. You asked where non-local processes were showing up in the wave function formalism. I gave an answer.
You want to go further and write a wave function about spin and position. OK, I have nothing against it.
Gerenuk said:
I mean if it's only Gaussian shape that's missing, then I thought experts could easily quote it
Sure. But I'm no expert. I studied physics for four years, then I became programmer. I've never written or see written a spin-position wave function in my life. I'm searching together with you. I suggested that a gaussian part was missing after having read the wikipedia article about wave packets. I had merely any idea about this before you asked the question.
That's why I may seem a bit reluctant : finding your wave function would be at least as much work for me as it is for you.
The EPR experiment was the subject I chose for the personal research in my 4th year, and I've been interested in it since then. That's why I'm still capable of writing entangled wave functions and understand Bell's theorem.
I was incredibly lucky to get my hand on a paper written by John Bell where he summarizes the CHSH inequality while I was messing around in a restricted area of the university library, where 4th year students are not supposed to go. (Bell's original paper was archived and available only on request by 5th years students and above). That helped me a lot understanding the local hidden variables problem.
Gerenuk said:
I don't know if spin variables and position should be mixed. To me it's not clear whether I shouldn't use:
\phi_1(x_1)\phi_2(x_2)|+->+\phi_2(x_1)\phi_1(x_2)|-+>
Let's do it step by step.
First, are we shure that we can multiply a spin ket with a position ket ? Measurments can give us a position, and / or a spin. So one correct representation at least would be using a state space whose basis would include eigenstates of the position (an R3-dimention vectorial space), in addition with spin values (two more dimentions). A ket from this space would look like
|x,\, y, \,z, \,spin\rangle
I'm not knowledgeable enough about maths to state if this can be dealt as
|x,\, y, \,z\rangle \, |spin\rangle
And what kind of product operation should be between (tensorial product ?).
So let's see if someone else can help us with this.
Then, let's simplify the problem as much as we can. I suggest not to write the whole equation of the movement, but to keep it as f(t), f being a function from R to R3, that associates a position (x, y, z) to a time (t).
We know that the two particles move in opposite directions, towards the devices, then that their trajectory is deviated according to their spins.
Let's define f_i(t) the function giving the position of particle i between t0 and t1, when it goes from the source to the device, then g_i(+, \phi, t) and g_i(-, \phi, t) the trajectories of the particles between t1 and t2 according respectively to the projection of their spin along the \phi axis (+ or -), the angle \phi between Oz and the detector, and the time t.
The position of Alice's particle will be then given by
|f_1(t)\rangle between t0 and t1, then by
|g_1(+, \alpha, t)\rangle - |g_1(-, \alpha, t)\rangle between t1 and t2 (because its spin is |+\rangle - |-\rangle for any angle).
Then by nothing after t2, since the particle is destroyed when it hits the screen.
I'm not sure if a phase must be present in front of the position kets.