Mathematics and the periodic table

It isn’t surprising that math is involved in the periodic table. Decades before the existence of atoms was shown for sure (Einstein in 1905 on Brownian motion — https://physicsworld.com/a/einsteins-random-walk/) Mendeleev arranged the known elements in a table according to their chemical properties. Math is great at studying and describing structure, and the periodic table is full of it. 

What is surprising, is how periodic table structure arises from math that ostensibly has absolutely nothing to do with chemistry.  Here are 3 examples.

The first occurred exactly 60 years ago to the month in grad school.  The instructor was taking a class of budding chemists through the solution of the Schrodinger equation for the hydrogen atom. 

Recursion relations are no stranger to the differential equations course, where you learn to (tediously) find them for a polynomial series solution for the differential equation at hand. I never really understood them, but I could use them (like far too much math that I took back then).

So it wasn’t a shock when the QM instructor back then got to them in the course of solving the hydrogen atom (with it’s radially symmetric potential). First the equation had to be expressed in spherical coordinates (r, theta and phi) which made the Laplacian look rather fierce. Then the equation was split into 3, each involving one of r, theta or phi. The easiest to solve was the one involving phi which involved only a complex exponential. But periodic nature of the solution made the magnetic quantum number fall out. Pretty good, but nothing earthshaking.

Recursion relations made their appearance with the solution of the radial and the theta equations. So it was plug and chug time with series solutions and recursion relations so things wouldn’t blow up (or as Dr. Gouterman put it, the electron has to be somewhere, so the wavefunction must be zero at infinity). MEGO (My Eyes Glazed Over) until all of a sudden there were the main quantum number (n) and the azimuthal quantum number (l) coming directly out of the recursions.

When I first realized what was going on, it really hit me. I can still see the room and the people in it (just as people can remember exactly where they were and what they were doing when they heard about 9/11 or (for the oldsters among you) when Kennedy was shot — I was cutting a physiology class in med school). The realization that what I had considered mathematical diddle, in some way was giving us the quantum numbers and the periodic table, and the shape of orbitals, was a glimpse of incredible and unseen power. For me it was like seeing the face of God.

The second and third examples occurred this year as I was going through Tony Zee’s book “Group Theory in a Nutshell for Physicists”

The second example occurs with the rotation group in 3 dimensions, which is a 3 x 3 invertible matrix, such that multiplying it by its transpose gives the identity, and such that is determinant is +1.  It is called SO(3)

Then he tensors 2 rotation matrices together to get a 9 x 9 matrix.  Zee than looks for the irreducible matrices of which it is composed and finds that there is a 3×3, a 1×1 and a 5×5.  The 5×5 matrix is both traceless and symmetric.  Note that 5 = 2(2) + 1.  If you tensor 3 of them together you get (among other things 3(2) + 1)   = 7;   a 7 x 7 matrix.

If you’re a chemist this is beginning to look like the famous 2 L + 1 formula for the number of the number of magnetic quantum numbers given an orbital quantum number of L.   The application of a magnetic field to an atom causes the orbital momentum L to split in 2L + 1 magnetic eigenvalues.    And you get this from the dimension of a particular irreducible representation from a group.  Incredible.  How did abstract math know this.  

The third example also occurs a bit farther along in Zee’s book, starting with the basis vectors (Jx, Jy, Jz) of the Lie algebra of the rotation group SO(3).   These are then combined to form J+ and J-, which raise and lower the eigenvalues of Jz.  A fairly long way from chemistry you might think.  

All state vectors in quantum mechanics have absolute value +1 in Hilbert space, this means the eigenvectors must be normalized to one using complex constants.  Simply by assuming that the number of eigenvalues is finite, there must be a highest one (call it j) . This leads to a recursion relation for the normalization constants, and you wind up with the fact that they are all complex integers.  You get the simple equation s = 2j where s is a positive integer.  The 2j + 1 formula arises again, but that isn’t what is so marvelous. 

j doesn’t have to be an integer.  It could be 1/2, purely by the math.  The 1/2 gives 2 (1/2) + 1 e.g two numbers.  These turn out to be the spin quantum numbers for the electron.  Something completely out of left field, and yet purely mathematical in origin. It wasn’t introduced until 1924 by Pauli — long after the math had been worked out.  

Incredible.  

Tensors — again, again, again

“A tensor is something that transforms like a tensor” — and a duck is something that quacks like a duck. If you find this sort of thing less than illuminating, I’ve got the book for you — “An Introduction to Tensors and Group Theory for Physicists” by Nadir Jeevanjee.

He notes that many physics books trying to teach tensors start this way, without telling you what a tensor actually is.  

Not so Jeevanjee — right on the first page of text (p. 3) he says “a tensor is a function which eats a certain number of vectors (known as the rank r of the tensor) and produces a number.  He doesn’t say what that number is, but later we are told that it is either C or R.

Then comes  the crucial fact that tensors are multilinear functions. From that all else flows (and quickly).

This means that you know everything you need to know about a tensor if you know what it does to its basis vectors.  

He could be a little faster about what these basis vectors actually are, but on p. 7 you are given an example explicitly showing them.

To keep things (relatively) simple the vector space is good old 3 dimensional space with basis vectors x, y and z.

His rank 2 tensor takes two vectors from this space (u and v) and produces a number.  There are 9 basis vectors not 6 as you might think — x®x, x®y, x®z, y®x, y®y, y®z, z®x, z®y, and z®z.    ® should be read as x inside a circle

Tensor components are the (real) numbers the tensor assigns to the 9 — these are written T(x®x) , T(x®y) T( x®z), T(y®x), T(y®y), T(y®z), T(z®x), T(z®y), and T(z®z)– note that there is no reason that T(x®y) should equal T(y®x) any more than a function R^2 –> R should give the same values for (1, 2) and (2, 1).

One more complication — where do the components of u and v fit in?  u is really (u^1, u^2, u^3) and v is really (v^1, v^2, v^3)

They multiply each other and the T’s  — so the first term of the tensor (sometimes confusingly called a tensor component)

is u^1 * v^1 * T(x®x)  and the last is u^3 * v^3 T(z®z).  Then the 9 tensor terms/components are summed giving a number. 

Then on pp. 7 and 8 he shows how a change of basis matrix (a 3 x 3 matrix written A^rs where rs, is one of 1, 2, 3) with nonZero determinant) gives the (usually incomprehensible) formula 

 

T^i’j’ = A^ik * A^jl T * (k, l)  where i, j, k, l are one of x, y, and z (or 1, 2, 3 as usually written)

 

So now you have a handle on the cryptic algebraic expression for tensors and what happens to them on a change of basis (e.g. how they transform).  Not bad for 5 pages of work — certainly not everything, but enough to make you comfortable with what follows — dual vectors, invariance, symmetric etc. etc.

 

Just knowing the multilinearity of tensors and just 2 postulates of quantum mechanics is all you need to understand entanglement — yes truly.  Yes, and you don’t need the Schrodinger equation, or differential equations at all, just linear algebra. 

 

Here is an old post to show you exactly how this works

 

How formal tensor mathematics and the postulates of quantum mechanics give rise to entanglement

Tensors continue to amaze. I never thought I’d get a simple mathematical explanation of entanglement, but here it is. Explanation is probably too strong a word, because it relies on the postulates of quantum mechanics, which are extremely simple but which lead to extremely bizarre consequences (such as entanglement). As Feynman famously said ‘no one understands quantum mechanics’. Despite that it’s never made a prediction not confirmed by experiments, so the theory is correct even if we don’t understand ‘how it can be like that’. 100 years of correct prediction of experimentation are not to be sneezed at.

If you’re a bit foggy on just what entanglement is — have a look at https://luysii.wordpress.com/2010/12/13/bells-inequality-entanglement-and-the-demise-of-local-reality-i/. Even better; read the book by Zeilinger referred to in the link (if you have the time).

Actually you don’t even need all the postulates for quantum mechanics (as given in the book “Quantum Computation and Quantum Information by Nielsen and Chuang). No differential equations. No Schrodinger equation. No operators. No eigenvalues. What could be nicer for those thirsting for knowledge? Such a deal ! ! ! Just 2 postulates and a little formal mathematics.

Postulate #1 “Associated to any isolated physical system, is a complex vector space with inner product (that is a Hilbert space) known as the state space of the system. The system is completely described by its state vector which is a unit vector in the system’s state space”. If this is unsatisfying, see an explication of this on p. 80 of Nielson and Chuang (where the postulate appears)

Because the linear algebra underlying quantum mechanics seemed to be largely ignored in the course I audited, I wrote a series of posts called Linear Algebra Survival Guide for Quantum Mechanics. The first should be all you need. https://luysii.wordpress.com/2010/01/04/linear-algebra-survival-guide-for-quantum-mechanics-i/ but there are several more.

Even though I wrote a post on tensors, showing how they were a way of describing an object independently of the coordinates used to describe it, I did’t even discuss another aspect of tensors — multi linearity — which is crucial here. The post itself can be viewed at https://luysii.wordpress.com/2014/12/08/tensors/

Start by thinking of a simple tensor as a vector in a vector space. The tensor product is just a way of combining vectors in vector spaces to get another (and larger) vector space. So the tensor product isn’t a product in the sense that multiplication of two objects (real numbers, complex numbers, square matrices) produces another object of the exactly same kind.

So mathematicians use a special symbol for the tensor product — a circle with an x inside. I’m going to use something similar ‘®’ because I can’t figure out how to produce the actual symbol. So let V and W be the quantum mechanical state spaces of two systems.

Their tensor product is just V ® W. Mathematicians can define things any way they want. A crucial aspect of the tensor product is that is multilinear. So if v and v’ are elements of V, then v + v’ is also an element of V (because two vectors in a given vector space can always be added). Similarly w + w’ is an element of W if w an w’ are. Adding to the confusion trying to learn this stuff is the fact that all vectors are themselves tensors.

Multilinearity of the tensor product is what you’d think

(v + v’) ® (w + w’) = v ® (w + w’ ) + v’ ® (w + w’)

= v ® w + v ® w’ + v’ ® w + v’ ® w’

You get all 4 tensor products in this case.

This brings us to Postulate #2 (actually #4 on the book on p. 94 — we don’t need the other two — I told you this was fairly simple)

Postulate #2 “The state space of a composite physical system is the tensor product of the state spaces of the component physical systems.”

http://planetmath.org/simpletensor

Where does entanglement come in? Patience, we’re nearly done. One now must distinguish simple and non-simple tensors. Each of the 4 tensors products in the sum on the last line is simple being the tensor product of two vectors.

What about v ® w’ + v’ ® w ?? It isn’t simple because there is no way to get this by itself as simple_tensor1 ® simple_tensor2 So it’s called a compound tensor. (v + v’) ® (w + w’) is a simple tensor because v + v’ is just another single element of V (call it v”) and w + w’ is just another single element of W (call it w”).

So the tensor product of (v + v’) ® (w + w’) — the elements of the two state spaces can be understood as though V has state v” and W has state w”.

v ® w’ + v’ ® w can’t be understood this way. The full system can’t be understood by considering V and W in isolation, e.g. the two subsystems V and W are ENTANGLED.

Yup, that’s all there is to entanglement (mathematically at least). The paradoxes entanglement including Einstein’s ‘creepy action at a distance’ are left for you to explore — again Zeilinger’s book is a great source.

But how can it be like that you ask? Feynman said not to start thinking these thoughts, and if he didn’t know you expect a retired neurologist to tell you? Please.

The Representation of group G on vector space V is really a left action of the group on the vector space

Say what? What does this have to do with quantum mechanics? Quite a bit. Practically everything in fact. Most chemists learn quantum mechanics because they want to see where atomic orbitals come from. So they stagger through the solution of the Schrodinger equation where the quantum numbers appear as solution of recursion equations for power series solutions of the Schrodinger equation.

Forget the Schrodinger equation (for now), quantum mechanics is really written in the language of linear algebra. Feynman warned us not to consider ‘how it can be like that’, but at least you can understand the ‘that’ — e.g. linear algebra. In fact, the instructor in a graduate course in abstract algebra I audited opened the linear algebra section with the remark that the only functions mathematicians really understand are the linear ones.

The definitions used (vector space, inner product, matrix multiplication, Hermitian operator) are obscure and strange. You can memorize them and mumble them as incantations when needed, or you can understand why they are the way they are and where they come from. So if you are a bit rusty on your linear algebra I’ve written a series of 9 posts on the subject — here’s a link to the first https://luysii.wordpress.com/2010/01/04/linear-algebra-survival-guide-for-quantum-mechanics-i/– just follow the links after that.

Just to whet your appetite, all of quantum mechanics consists of manipulation of a particular vector space called Hilbert space. Yes all of it.

Representations are a combination of abstract algebra and linear algebra, and are crucial in elementary particle physics. In fact elementary particles are representations of abstract symmetry groups.

So in what follows, I’ll assume you know what vector spaces, linear transformations of them, their matrix representation. I’m not going to explain what a group is, but it isn’t terribly complicated. So if you don’t know about them quit. The Wiki article is too detailed for what you need to know.

The title of the post really threw me, and understanding requires significant unpacking of the definitions, but you need to know this if you want to proceed further in physics.

So we’ll start with a Group G, its operation * and e, its identity element.

Next we have a set called X — just that a bunch of elements (called x, y, . . .), with no further structure imposed — you can’t add elements, you can’t mutiply them by real numbers. If you could with a few more details you’d have a vector space (see the survival guide)

Definition of Left Action (LA) of G on set X

LA : G x X –> X

LA : ( g, x ) |–> (g . x)

Such that the following two properties hold

l. For all x in X LA : (e, x) |–> (e.x) = x

2. For all g1 and g2 in G LA ( g1 * g2), x ) |–> ( g1 . (g2 . x )

Given vector space V define GL(V) the set of invertible linear transformations (LTs) of vector space. GL(V) becomes a group if you let composition of linear transformations become its operation (it’s all in the survival guide.

Now for the definition of representation of Group G on vector space V

It is a function

rho: G –> GL(V)

rho: g |–> LTg : V –> V linear ; LTg == Linear Transformation labeled by group element g

The representation rho defines a left group action on V

LA : (g, v) |–> LTg (V) — this satisfies the two properties above of a left action given above — think about it.

Now you’re ready for some serious study of quantum mechanics. When you read that the representation is acting on some vector space, you’ll know what they are talking about.

The pleasures of reading Feynman on Physics — III

The more I read volume III of the Feynman Lectures on Physics about Quantum Mechanics the better I like it.  Even having taken two courses in it 60 and 10 years ago, Feynman takes a completely different tack, plunging directly into what makes quantum mechanics different than anything else.

He starts by saying “Traditionally, all courses in quantum mechanics have begun in the same way, retracing the path followed in the historical development of the subject.  One first learns a great deal about classical mechanics so that he will be able to understand how to solve the Schrodinger equation.  Then he spends a long time working out various solutions.  Only after a detailed study of this equation does he get to the advanced subject of the electron’s spin.”

Not to worry, he gets to the Hamiltonian on p. 85 and  the Schrodinger equation p. 224.   But he is blunt about it “We do not intend to have you think we have derived the Schrodinger equation but only wish to show you one way of thinking abut it.  When Schrodinger first wrote it down, he gave a kind of derivation based on some heuristic arguments and some brilliant intuitive guesses.  Some of the arguments he used were even false, but that does not matter. “

When he gives the law correct of physics for a particle moving freely in space with no forces, no disturbances (basically the Hamiltonian), he says “Where did we get that from”  Nowhere. It’s not possible to derive it from anything you know.  It came out of the mind of Schrodinger, invented in his struggle to find an understanding of the experimental observations of the real world.”  How can you not love a book written like this?

Among the gems are the way the conservation laws of physics arise in a very deep sense from symmetry (although he doesn’t mention Noether’s name).   He shows that atoms radiate photons because of entropy (p. 69).

Then there is his blazing honesty “when philosophical ideas associated with science are dragged into another field, they are usually completely distorted.”  

He spends a lot of time on the Stern Gerlach experiment and its various modifications and how they put you face to face with the bizarrities of quantum mechanics.

He doesn’t shy away from dealing with ‘spooky action at a distance’ although he calls it the Einstein Podolsky Rosen paradox.  He shows why if you accept the way quantum mechanics works, it isn’t a paradox at all (this takes a lot of convincing).

He ends up with “Do you think that it is not a paradox, but that it is still very peculiar?  On that we can all agree. It is what makes physics fascinating”

There are tons more but I hope this whets your appetite

The pleasures of reading Feynman on Physics

“Traditionally, all courses in quantum mechanics have begun in the same way, retracing the path followed in the historical development of the subject.  One first learns a great deal about classical mechanics so that he will be able to understand how to solve the Schrodinger equation.  Then he spends a long time working out various solutions.  Only after a detailed study of this equation does he get to the advanced subject of the electron’s spin.”

From vol. III of the Feynman lectures on physics  p. 3 – 1.

Certainly that’s the way I was taught QM as a budding chemist in 1961. Nothing wrong with that.  For a chemist it is very useful to see how all those orbitals pop out of series solutions to the Schrodinger equation for the hydrogen atom.

“We have come to the conclusion that what are usually called the advanced parts of quantum mechanics are in fact, quite simple. The mathematics that is involved is particularly simple, involving simple algebraic operations and no differential equations or at most only very simple ones.”

Quite true, but when, 50 years or so later,  I audited a QM course at an elite woman’s college, the underlying linear algebra wasn’t taught — so I wrote a series of posts giving the basics of the linear algebra used in QM — start at https://luysii.wordpress.com/2010/01/04/linear-algebra-survival-guide-for-quantum-mechanics-i/ and follow the links (there are 8 more posts).

Even more interesting was the way Mathematica had changed the way quantum mechanics was taught — see https://luysii.wordpress.com/2009/09/22/what-hath-mathematica-wrought/

But back to Feynman:  I’m far from sure a neophyte could actually learn QM this way, but having mucked about using and being exposed to QM and its extensions for 60 years, Feynman’s development of the subject is simply a joy to read. Feynman starts out as a good physicist should with the experiments.  Nothing fancy, bullets are shot at a screen through a slit, then electrons then two slits, and the various conundrums arising when one slit is closed.

Onward and upward through the Stern Gerlach experiments and how matrices are involved (although Feynman doesn’t call them that).  The only flaw in what I’ve found so far is his treatment of phase factors (p. 4 -1 ).  They aren’t really defined, but they are crucial as phase factors are what breaks the objects of physics into fermions and bosons.

If you’ve taken any course in QM and have some time (who doesn’t now that we’re all essentially inmates in our own homes/apartments) than have a look.   You’ll love it.  As Bill Gates said about the books “It is good to sit at the feet of the master”.

One piece of advice — get the new Millennium edition — it has removed some 1,100 errors and misprints found over the decades, so if you’re studying it by yourself, you won’t be tripped up by a misprint in the text when you don’t understand something.

How formal tensor mathematics and the postulates of quantum mechanics give rise to entanglement

Tensors continue to amaze. I never thought I’d get a simple mathematical explanation of entanglement, but here it is. Explanation is probably too strong a word, because it relies on the postulates of quantum mechanics, which are extremely simple but which lead to extremely bizarre consequences (such as entanglement). As Feynman famously said ‘no one understands quantum mechanics’. Despite that it’s never made a prediction not confirmed by experiments, so the theory is correct even if we don’t understand ‘how it can be like that’. 100 years of correct prediction of experimentation are not to be sneezed at.

If you’re a bit foggy on just what entanglement is — have a look at https://luysii.wordpress.com/2010/12/13/bells-inequality-entanglement-and-the-demise-of-local-reality-i/. Even better; read the book by Zeilinger referred to in the link (if you have the time).

Actually you don’t even need all the postulates for quantum mechanics (as given in the book “Quantum Computation and Quantum Information by Nielsen and Chuang). No differential equations. No Schrodinger equation. No operators. No eigenvalues. What could be nicer for those thirsting for knowledge? Such a deal ! ! ! Just 2 postulates and a little formal mathematics.

Postulate #1 “Associated to any isolated physical system, is a complex vector space with inner product (that is a Hilbert space) known as the state space of the system. The system is completely described by its state vector which is a unit vector in the system’s state space”. If this is unsatisfying, see an explication of this on p. 80 of Nielson and Chuang (where the postulate appears)

Because the linear algebra underlying quantum mechanics seemed to be largely ignored in the course I audited, I wrote a series of posts called Linear Algebra Survival Guide for Quantum Mechanics. The first should be all you need. https://luysii.wordpress.com/2010/01/04/linear-algebra-survival-guide-for-quantum-mechanics-i/ but there are several more.

Even though I wrote a post on tensors, showing how they were a way of describing an object independently of the coordinates used to describe it, I did’t even discuss another aspect of tensors — multi linearity — which is crucial here. The post itself can be viewed at https://luysii.wordpress.com/2014/12/08/tensors/

Start by thinking of a simple tensor as a vector in a vector space. The tensor product is just a way of combining vectors in vector spaces to get another (and larger) vector space. So the tensor product isn’t a product in the sense that multiplication of two objects (real numbers, complex numbers, square matrices) produces another object of the exactly same kind.

So mathematicians use a special symbol for the tensor product — a circle with an x inside. I’m going to use something similar ‘®’ because I can’t figure out how to produce the actual symbol. So let V and W be the quantum mechanical state spaces of two systems.

Their tensor product is just V ® W. Mathematicians can define things any way they want. A crucial aspect of the tensor product is that is multilinear. So if v and v’ are elements of V, then v + v’ is also an element of V (because two vectors in a given vector space can always be added). Similarly w + w’ is an element of W if w an w’ are. Adding to the confusion trying to learn this stuff is the fact that all vectors are themselves tensors.

Multilinearity of the tensor product is what you’d think

(v + v’) ® (w + w’) = v ® (w + w’ ) + v’ ® (w + w’)

= v ® w + v ® w’ + v’ ® w + v’ ® w’

You get all 4 tensor products in this case.

This brings us to Postulate #2 (actually #4 on the book on p. 94 — we don’t need the other two — I told you this was fairly simple)

Postulate #2 “The state space of a composite physical system is the tensor product of the state spaces of the component physical systems.”

http://planetmath.org/simpletensor

Where does entanglement come in? Patience, we’re nearly done. One now must distinguish simple and non-simple tensors. Each of the 4 tensors products in the sum on the last line is simple being the tensor product of two vectors.

What about v ® w’ + v’ ® w ?? It isn’t simple because there is no way to get this by itself as simple_tensor1 ® simple_tensor2 So it’s called a compound tensor. (v + v’) ® (w + w’) is a simple tensor because v + v’ is just another single element of V (call it v”) and w + w’ is just another single element of W (call it w”).

So the tensor product of (v + v’) ® (w + w’) — the elements of the two state spaces can be understood as though V has state v” and W has state w”.

v ® w’ + v’ ® w can’t be understood this way. The full system can’t be understood by considering V and W in isolation, e.g. the two subsystems V and W are ENTANGLED.

Yup, that’s all there is to entanglement (mathematically at least). The paradoxes entanglement including Einstein’s ‘creepy action at a distance’ are left for you to explore — again Zeilinger’s book is a great source.

But how can it be like that you ask? Feynman said not to start thinking these thoughts, and if he didn’t know you expect a retired neurologist to tell you? Please.