zhanhai said:
Does an exchange of two identifical particles (electrons) lead to a new microscopic state?
Two things are identical when they have the same properties yet they are two separate objects (at different places).
In physics, identical particles are particles that have the same constant properties (same mass, charge, etc.) but not some other variables (state, like position and momentum). It does not mean "their exchange does not lead to new state" as Avodyne suggests.
In Newtonian mechanics, exchange of two identical particles means the two particles change their states:
First, particle 1 has position ##\mathbf r## and momentum ##\mathbf p## and particle 2 has position ##\mathbf r'## and momentum ##\mathbf p'##.
Then, particle 1 has position ##\mathbf r'## and momentum ##\mathbf p'## and particle 2 has position ##\mathbf r## and momentum ##\mathbf p##. That's what the exchange means. So unless ##\mathbf r = \mathbf r'## and ##\mathbf p'=\mathbf p##, the exchange means the system gets to a new state.
In quantum theory, it is not standard to ascribe particles positions and momenta; not even ascribe them separate states. What one works instead with is global "quantum state" identified with set of functions of two positions ##\mathbf r_1, \mathbf r_2## of the two particles; the functions in the set may differ from each other by a factor ##e^{i\alpha}## with ##\alpha## being any constant real number; they all represent the same quantum state. "Exchange of particles" in this scheme is nothing like the above change of states; it is merely interchanging the arguments in the function:
First, we have function ##\psi(\mathbf r_1,\mathbf r_2) = \phi(\mathbf r_1,\mathbf r_2)##.
Then, we have function ##\psi(\mathbf r_1,\mathbf r_2) = \phi(\mathbf r_2,\mathbf r_1)##
So, if no ##\alpha## could make the expression ##\phi(\mathbf r_2,\mathbf r_1) = e^{i\alpha} \phi(\mathbf r_1,\mathbf r_2)## true, the exchange would change the quantum state.
At this point a new assumption is often introduced; that only those functions ##\phi## that satisfy the last relation are admissible in quantum theory. There are two possibilities how this can happen, ##e^{i\alpha} =1## and ##e^{i\alpha} =-1##. The first possibility means the functions are symmetric, the second means the functions are anti-symmetric.
This assumption is called assumption of indistinguishability, because inspecting the function ##\phi## that satisfies the mentioned relation, we cannot distinguish the two particles; the state is the same whether we put ##\mathbf r_1## or ##\mathbf r_2## the first into the list of arguments ; the quantum state is the same.