victorvmotti said:
The core of the question is if the objects of change, as mentioned above, are two different "entities" or the same thing. I am getting convinced that the mathematical object which is not constant is not indeed "a thing" at all.
Mathematical objects are defined axiomatically.
If such is a 'thing' (whatever a 'thing' is) is purely philosophical waffle of zero value as far as science is concerned, and, IMHO, correctly, off topic here.
In QM a state is simply a mathematical requirement from the definition of observables.
Its tied up with Gleason's Theorem:
http://kof.physto.se/cond_mat_page/t...ena-master.pdf
The paper above gives two versions of the theorem.
The first version is Gleason's original version which is quite difficult but based on resolutions of the identity.
The second version is much simpler but based on the stronger assumption of POVM's.
For simplicity I will use the second.
A POVM is a set of positive operators Ei ∑ Ei =1.
An observation/measurement with possible outcomes i = 1, 2, 3 ... is described by a POVM Ei such that the probability of outcome i is determined by Ei, and only by Ei, in particular it does not depend on what POVM it is part of.
Here only by Ei means regardless of what POVM the Ei belongs to the probability is the same. This is the assumption of non contextuality and the rock bottom essence of the probability rule of QM, known as Born's rule.
You can run through the proof in the link above. Its proof of continuity is a bit harder than it needs to be so I will give a simpler one. If E1 and E2 are positive operators define E2 < E1 as a positive operator E exists E1 = E2 + E. This means f(E2) <= f(E1). Let r1n be an increasing sequence of rational's whose limit is the irrational number c. Let r2n be a decreasing sequence of rational's whose limit is also c. If E is any positive operator r1nE < cE < r2nE. So r1n f(E) <= f(cE) <= r2n f(E). Thus by the pinching theorem f(cE) = cf(E).
Hence a positive operator P of unit trace exists such that probability Ei = Trace (PEi).
This is called the Born rule and by definition P is the state of the system.
Its simply a mathematical requirement that follows from the fundamental axiom I gave.
You possibly haven't seen it in that form. To put it in a more recognisable form by definition a Von Neumann measurement is described by a resolution of the identity which is a POVM where the Ei are disjoint. Associate yi with each outcome to give O = ∑ yi Ei. O is a Hermitian operator and via the spectral theorem you can recover uniquely the yi and Ei. By definition O is called the observable associated with the measurement. The expected value of O E(O) = ∑ yi probability outcome i = ∑ yi Trace (PEi) = Trace (PO).
A state of the form |u><u| is called pure. A state that is the convex sum of pure states is called mixed. It can be shown (it's not hard) all states are either mixed or pure. For a pure state E(O) = trace (|u><u|O) = <u|O|u> which is the most common form of the Born rule.
Just to recap the state is simply something introduced to aid in calculating the probabilities of the outcomes of observation as required by the fact those outcomes are described by a POVM. The only thing that the theory is concerned with is the outcomes of measurements/observations. What's going on between such the formalism says nothing - other than that you have this thing called the state that aids in calculating the probabilities of those outcomes.
Again I want to emphasize - this is the formalism, interpretations have other things to say.
Thanks
Bill