Does anybody know if there exists a mathematical explanation of the Mendeleev table in quantum mechanics? In some textbooks (for example in "F.A.Berezin, M.A.Shubin. The Schrödinger Equation") the authors present quantum mechanics as an axiomatic system, so one could expect that there is a deduction from the axioms to the main results of the discipline. I wonder if there is a mathematical proof of the Mendeleev table?

P.S. I hope the following will not be offensive for physicists: by a mathematical proof I mean a chain of logical implications from axioms of the theory to its theorem. This is normal in mathematics. As an example, in Griffiths' book I do not see axioms at all, therefore I can't treat the reasonings at pages 186-193 as a proof of the Mendeleev table. By the way, that is why I did not want to ask this question at a physical forum: I do not think that people there will even understand my question. However, after Bill Cook's suggestion I made an experiment - and you can look at the results here: https://physics.stackexchange.com/questions/16647/is-the-mendeleev-table-explained-in-quantum-mechanics

So I ask my colleagues-mathematicians to be tolerant.

P.P.S. After closing this topic and reopening it again I received a lot of suggestions to reformulate my question, since in its original form it might seem too vague for mathematicians. So I suppose it will be useful to add here, that by the Mendeleev table I mean (not just a picture, as one can think, but) a system of propositions about the structure of atoms. For example, as I wrote here in comments, the Mendeleev table states that the first electronic orbit (shell) can have only 2 electrons, the second - 8, the third - again 8, the fourth - 18, and so on. Another regularity is the structure of subshells, etc. So my question is whether it is proved by now that these regularities (perhaps not all but some of them) are corollaries of a system of axioms like those from the Berezin-Shubin book. Of course, this assumes that the notions like atoms, shells, etc. must be properly defined, otherwise the corresponding statements could not be formulated. I consider this as a part of my question -- if experts will explain that the reasonable definitions are not found by now, this automatically will mean that the answer is 'no'.

The following reformulation of my question was suggested by Scott Carnahan at http://mathoverflow.tqft.net/discussion/1202/should-a-mathematician-be-a-robot/#Item_0 : "Do we have the mathematical means to give a sufficiently precise description of the chemical properties of elements from quantum-mechanical first principles, such that the Mendeleev table becomes a natural organizational scheme?"

I hope, this makes the question more clear.

31more comments