MathOverflow will be down for maintenance for approximately 3 hours, starting Monday evening (06/24/2013) at approximately 9:00 PM Eastern time (UTC-4).

4 added 1 characters in body; edited tags

Does anybody know if there exists a mathematical explanation of 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 the standard approach everywhere in mathematics. For instance, 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 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: http://theoreticalphysics.stackexchange.com/questions/473/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 claims 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 the system of axioms like those from 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://meta.mathoverflow.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 make makes the question more clear.

3 added 1586 characters in body

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 claims 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 the system of axioms like those from 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://meta.mathoverflow.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 make the question more clear.

Post Reopened by Qfwfq, Daniel Moskovich, José Figueroa-O'Farrill, Pete L. Clark, Dan Petersen
Post Closed as "off topic" by Greg Kuperberg, Mark Sapir, Todd Trimble, Ryan Budney, Alain Valette