tag:blogger.com,1999:blog-21241187742447488442017-03-04T13:13:59.083-08:00Hello WorldSamuel Primenoreply@blogger.comBlogger15125tag:blogger.com,1999:blog-2124118774244748844.post-22685932483362760832015-02-14T01:48:00.002-08:002015-02-14T01:48:26.942-08:00How to see Schrödinger’s Cat as half-alive<br /><div style="color: #555555; font-family: Verdana, 'BitStream vera Sans', Helvetica, sans-serif; font-size: 12px; line-height: 17.399999618530273px; margin-bottom: 10px; padding: 0px;"><span style="color: black;">Schrödinger’s Cat is a thought experiment used to illustrate the weirdness of quantum mechanics. Namely, unlike classical Newtonian mechanics where a particle can only be in one state at a given time, quantum theory says that it can be in two or more states ‘at the same time’. The latter is often referred to as ‘superposition’ of states.</span></div><div style="color: #555555; font-family: Verdana, 'BitStream vera Sans', Helvetica, sans-serif; font-size: 12px; line-height: 17.399999618530273px; margin-bottom: 10px; padding: 0px;"><span style="color: black; margin: 0px; padding: 0px;"></span></div><div style="color: #555555; font-family: Verdana, 'BitStream vera Sans', Helvetica, sans-serif; font-size: 12px; line-height: 17.399999618530273px; margin-bottom: 10px; padding: 0px;"><a href="http://upload.wikimedia.org/wikipedia/en/thumb/5/5e/Schrodinger_cat_in_box.jpg/800px-Schrodinger_cat_in_box.jpg" imageanchor="1" style="clear: right; float: right; margin-bottom: 1em; margin-left: 1em;"><img alt="File:Schrodinger cat in box.jpg" border="0" data-file-height="900" data-file-width="1238" height="145" src="http://upload.wikimedia.org/wikipedia/en/thumb/5/5e/Schrodinger_cat_in_box.jpg/800px-Schrodinger_cat_in_box.jpg" srcset="//upload.wikimedia.org/wikipedia/en/thumb/5/5e/Schrodinger_cat_in_box.jpg/1200px-Schrodinger_cat_in_box.jpg 1.5x, //upload.wikimedia.org/wikipedia/en/5/5e/Schrodinger_cat_in_box.jpg 2x" width="200" /></a><span style="color: black; margin: 0px; padding: 0px;">If D refers to the state that the cat is dead, and if A is the state that the cat is alive, then classically we can only have either A or D at any given time — we cannot have both states or neither.</span></div><div style="font-family: Verdana, 'BitStream vera Sans', Helvetica, sans-serif; font-size: 12px; line-height: 17.399999618530273px; margin-bottom: 10px; padding: 0px;"><span style="color: black; margin: 0px; padding: 0px;">In quantum theory, however, we can not only have states A and D but can also have many more `in between' states, such as for example this combination or superposition state:</span></div><div style="font-family: Verdana, 'BitStream vera Sans', Helvetica, sans-serif; font-size: 12px; line-height: 17.399999618530273px; margin-bottom: 10px; padding: 0px;"><span style="color: black; margin: 0px; padding: 0px;">$\large \Psi = 0.8A + 0.6D$</span></div><div style="font-family: Verdana, 'BitStream vera Sans', Helvetica, sans-serif; font-size: 12px; line-height: 17.399999618530273px; margin-bottom: 10px; padding: 0px;">Notice that the coefficient numbers 0.8 and 0.6 here have their squares adding up to exactly 1:</div><div style="font-family: Verdana, 'BitStream vera Sans', Helvetica, sans-serif; font-size: 12px; line-height: 17.399999618530273px; margin-bottom: 10px; padding: 0px;">$\large (0.8)^2 + (0.6)^2 = 0.64 + 0.35 = 1.$</div><div style="font-family: Verdana, 'BitStream vera Sans', Helvetica, sans-serif; line-height: 17.399999618530273px; margin-bottom: 10px; padding: 0px;"><span style="font-size: 12px;">This is because these squares, (0.8)</span><sup style="margin: 0px; padding: 0px;">2</sup><span style="font-size: 12px;"> and (0.6)</span><sup style="margin: 0px; padding: 0px;">2</sup><span style="font-size: 12px;">, refer to the probabilities associated to states A and D, respectively. (The fact that this sum is 1 is what a 'normalized' wavefunction means.) Interpretation: there is a 64% chance that this mixed state $\Psi$ will collapse to the state A (cat is alive) and a 36% chance it will collapse to D (cat is dead) — when one proceeds to measure or find out the status of the cat were it to be in a quantum mechanical state described by $\Psi$.</span></div><div style="color: #555555; font-family: Verdana, 'BitStream vera Sans', Helvetica, sans-serif; font-size: 12px; line-height: 17.399999618530273px; margin-bottom: 10px; padding: 0px;"><span style="color: black;">Realistically, it is hard to comprehend that a cat can be so described by such a state. Well, maybe it isn’t that hard if we had some information about the probability of decay of the radioactive substance inside the box.</span></div><div style="color: #555555; font-family: Verdana, 'BitStream vera Sans', Helvetica, sans-serif; font-size: 12px; line-height: 17.399999618530273px; margin-bottom: 10px; padding: 0px;"><span style="color: black; margin: 0px; padding: 0px;"><img alt="http://upload.wikimedia.org/wikipedia/commons/2/29/Stern-Gerlach_experiment.PNG" class="alignleft" height="156" scale="2" src="https://i0.wp.com/upload.wikimedia.org/wikipedia/commons/2/29/Stern-Gerlach_experiment.PNG" style="border: 4px solid black; float: left; margin: 0px 4px; max-width: 600px; padding: 0px;" width="253" /></span></div><div style="color: #555555; font-family: Verdana, 'BitStream vera Sans', Helvetica, sans-serif; font-size: 12px; line-height: 17.399999618530273px; margin-bottom: 10px; padding: 0px;"><span style="color: black; margin: 0px; padding: 0px;"></span></div><div style="color: #555555; font-family: Verdana, 'BitStream vera Sans', Helvetica, sans-serif; font-size: 12px; line-height: 17.399999618530273px; margin-bottom: 10px; padding: 0px;"><span style="color: black; margin: 0px; padding: 0px;">Nevertheless, I thought to share another related experiment where one could better ‘see’ and appreciate superposition states like $\Psi$ above. The great physicist Richard Feynman did a great job illustrating this with his use of the Stern-Gerlach experiment (which I will tell you about). (See chapters 5 and 6 of Volume III of the <em style="margin: 0px; padding: 0px;">Feynman Lectures on Physics</em>.) </span></div><div><span style="color: black; margin: 0px; padding: 0px;"><span style="background-color: white; font-family: Verdana, 'BitStream vera Sans', Helvetica, sans-serif; font-size: 12px; line-height: 17.399999618530273px;">In this experiment we have a magnetic field with north/south poles as shown. Then you have a beam of spin-half particles coming out of a furnace heading toward the magnetic field. The result is that the beam of particles will split into two beams. What essentially happened is that the magnetic field made a ‘measurement’ of the spins and some of them turned into spin-up particles (the upper half of the split beam) and the others into spin-down (the bottom beam). So the incoming beam from the furnace is like the cat being in the superposition state $\Psi$ </span><span style="background-color: white; font-family: Verdana, 'BitStream vera Sans', Helvetica, sans-serif; font-size: 12px; line-height: 17.399999618530273px;">and magnetic field is the agent that determined — measured! — whether the cat is alive (upper beam) or dead (lower beam). (Often in physics books they use the Dirac `bra-ket' notation $|\uparrow\rangle$ for spin-up state and </span></span><span style="background-color: white; font-family: Verdana, 'BitStream vera Sans', Helvetica, sans-serif; font-size: 12px; line-height: 17.399999618530273px;">$\langle\downarrow|$</span><span style="background-color: white; font-family: Verdana, 'BitStream vera Sans', Helvetica, sans-serif; font-size: 12px; line-height: 17.399999618530273px;"> for spin-down.)</span></div><div><span style="color: black; margin: 0px; padding: 0px;"><span style="background-color: white; font-family: Verdana, 'BitStream vera Sans', Helvetica, sans-serif; font-size: 12px; line-height: 17.399999618530273px;"><br /></span></span></div><div><span style="margin: 0px; padding: 0px;"><div style="color: #555555; font-family: Verdana, 'BitStream vera Sans', Helvetica, sans-serif; font-size: 12px; line-height: 17.399999618530273px; margin-bottom: 10px; padding: 0px;"><span style="color: black; margin: 0px; padding: 0px;">In a way, you can now see the initial beam emanating from the furnace as being in a superposition state.</span></div><div style="color: #555555; font-family: Verdana, 'BitStream vera Sans', Helvetica, sans-serif; font-size: 12px; line-height: 17.399999618530273px; margin-bottom: 10px; padding: 0px;"><span style="color: black; margin: 0px; padding: 0px;">Ok, so the superposition state of the initial beam has now collapsed the state of each particle into two specific states: spin-up state (upper beam) and the spin-down state (lower beam). Does this mean that these states are no longer superposition states?</span></div><div style="color: #555555; font-family: Verdana, 'BitStream vera Sans', Helvetica, sans-serif; font-size: 12px; line-height: 17.399999618530273px; margin-bottom: 10px; padding: 0px;"><span style="color: black; margin: 0px; padding: 0px;">Yes and No! They are no longer in superposition if the split beams enter another magnetic field that points in the same direction as the original one. If you pass the upper beam into a second identical magnetic field, it will remain an upper beam — and the same with the lower beam. The magnetic field ‘made a decision’ and it’s going to stick with it! :-) </span></div><div style="color: #555555; font-family: Verdana, 'BitStream vera Sans', Helvetica, sans-serif; font-size: 12px; line-height: 17.399999618530273px; margin-bottom: 10px; padding: 0px;"><span style="color: black; margin: 0px; padding: 0px;">That is why we call these states (upper and lower beams) ‘eigenstates’ of the original magnetic field. They are no longer mixed superposition states — the cat is either dead or alive as far as this field is concerned and not in any ‘in between fuzzy’ states.</span></div><div style="color: #555555; font-family: Verdana, 'BitStream vera Sans', Helvetica, sans-serif; font-size: 12px; line-height: 17.399999618530273px; margin-bottom: 10px; padding: 0px;"><span style="color: black; margin: 0px; padding: 0px;">Ok, that addresses the “Yes” part of the answer. Now for the “No” part.</span></div><div style="color: #555555; font-family: Verdana, 'BitStream vera Sans', Helvetica, sans-serif; font-size: 12px; line-height: 17.399999618530273px; margin-bottom: 10px; padding: 0px;"><span style="color: black; margin: 0px; padding: 0px;">Let’s suppose we have a different magnetic field, one just like the original one but perpendicular in direction to it. (So it’s like you’ve rotated the original field by 90 degrees; you can rotate by a different angle as well.)</span></div><div style="color: #555555; font-family: Verdana, 'BitStream vera Sans', Helvetica, sans-serif; font-size: 12px; line-height: 17.399999618530273px; margin-bottom: 10px; padding: 0px;"><span style="color: black; margin: 0px; padding: 0px;"></span></div><div style="color: #555555; font-family: Verdana, 'BitStream vera Sans', Helvetica, sans-serif; font-size: 12px; line-height: 17.399999618530273px; margin-bottom: 10px; padding: 0px;"><span style="color: black; margin: 0px; padding: 0px;">In this case if you pass the original upper beam (that was split by the first magnetic field) into the second perpendicular field, this upper beam will split into two beams! So with respect to the second field the upper beam is now in a superposition state!</span></div><div style="color: #555555; font-family: Verdana, 'BitStream vera Sans', Helvetica, sans-serif; font-size: 12px; line-height: 17.399999618530273px; margin-bottom: 10px; padding: 0px;"><span style="color: black; margin: 0px; padding: 0px;"><strong style="margin: 0px; padding: 0px;">Essential Principle</strong>: the notion of superposition (in quantum theory) is always with respect to a <em style="margin: 0px; padding: 0px;">variable</em> (or observable, or quantity) that is being measured. In our case, that variable is the magnetic field, which in this case measures the spin direction of particles. (And here we have two magnetic fields, hence we have two different variables, observables — non-commuting variables as we say in quantum theory.)</span></div><div style="color: #555555; font-family: Verdana, 'BitStream vera Sans', Helvetica, sans-serif; font-size: 12px; line-height: 17.399999618530273px; margin-bottom: 10px; padding: 0px;"><span style="color: black; margin: 0px; padding: 0px;">Therefore, what was an eigenstate (collapsed state) for the first magnetic field (namely the the upper beam) is no longer an eigenstate (i.e., is no longer ‘collapsed’) for the second (perpendicular) magnetic field. Thus if a wavefunction is collapsed with respect to one field, it is not necessarily a collapsed wavefunction for the second magnetic field! A collapsed wavefunction for one variable could be a superposition wavefunction of another variable.</span></div><div style="color: #555555; font-family: Verdana, 'BitStream vera Sans', Helvetica, sans-serif; font-size: 12px; line-height: 17.399999618530273px; margin-bottom: 10px; padding: 0px;"><span style="color: black; margin: 0px; padding: 0px;">The Schrodinger Cat experiment could possibly be better understood not as one single experiment, but as a whole series of many (infinitely many) boxes with cats in them. This view might better relate to the fact that we have beam of particles each of which is being ‘measured’ by the field to determine its spin status (as being up or down). </span></div><div style="color: #555555; font-family: Verdana, 'BitStream vera Sans', Helvetica, sans-serif; font-size: 12px; line-height: 17.399999618530273px; margin-bottom: 10px; padding: 0px;"><span style="color: black; margin: 0px; padding: 0px;">Why do you say 'infinitely many'? Because, for example, when we say that a tossed coin lands heads or tails with probability 1/2, what we have to do to get that 1/2 is toss the coin a very large number of times and count the number of heads and divide that by the number of tosses. (If you toss it only 10 times, it's possible heads would land 6 or 4 times instead of exactly 5 - yet the probability would still be 1/2.)</span></div><div style="color: #555555; font-family: Verdana, 'BitStream vera Sans', Helvetica, sans-serif; font-size: 12px; line-height: 17.399999618530273px; margin-bottom: 10px; padding: 0px;"><span style="color: black; margin: 0px; padding: 0px;"></span></div><div style="color: #555555; font-family: Verdana, 'BitStream vera Sans', Helvetica, sans-serif; font-size: 12px; line-height: 17.399999618530273px; margin-bottom: 10px; padding: 0px;"><span style="color: black; margin: 0px; padding: 0px;">Best wishes, Sam</span></div><div style="color: #555555; font-family: Verdana, 'BitStream vera Sans', Helvetica, sans-serif; font-size: 12px; line-height: 17.399999618530273px; margin-bottom: 10px; padding: 0px;"><span style="color: black; margin: 0px; padding: 0px;"><strong style="margin: 0px; padding: 0px;">Reference</strong><span style="background-color: white;">. R. Feynman, R. Leighton, M. Sands, </span><em style="margin: 0px; padding: 0px;">The Feynman Lectures on Physics</em><span style="background-color: white;">, Vol. III (Quantum Mechanics), chapters 5 and 6</span><em style="margin: 0px; padding: 0px;">.</em></span></div><div style="color: #555555; font-family: Verdana, 'BitStream vera Sans', Helvetica, sans-serif; font-size: 12px; line-height: 17.399999618530273px; margin-bottom: 10px; padding: 0px;"><span style="color: black; margin: 0px; padding: 0px;"><em style="margin: 0px; padding: 0px;"><br /></em></span></div><div style="color: #555555; font-family: Verdana, 'BitStream vera Sans', Helvetica, sans-serif; font-size: 12px; line-height: 17.399999618530273px; margin-bottom: 10px; padding: 0px;"><span style="color: black; margin: 0px; padding: 0px;"><strong style="margin: 0px; padding: 0px;">Postscript on determinism</strong>. It occurred to me to add a uniquely quantum mechanical feature that is contrary to classical physics thinking. The Stern-Gerlach experiment is a good place to see this feature.</span></div><div style="color: #555555; font-family: Verdana, 'BitStream vera Sans', Helvetica, sans-serif; font-size: 12px; line-height: 17.399999618530273px; margin-bottom: 10px; padding: 0px;"><span style="color: black; margin: 0px; padding: 0px;"><em style="margin: 0px; padding: 0px;"></em></span></div><div style="margin-bottom: 10px; padding: 0px;"><span style="color: black; font-family: Verdana, 'BitStream vera Sans', Helvetica, sans-serif; font-size: 12px; line-height: 17.399999618530273px; margin: 0px; padding: 0px;">We noted that when the spin-half particles emerge from the furnace and into the magnetic field, they split into upper and lower beams. Classically, one might think that before entering the field individual particles already had their spins <i>determined</i> as either being spin up or spin down <em style="margin: 0px; padding: 0px;">before</em> a measurement takes place (i.e., before entering the magnetic field) — just as one might say that the earth already had a certain velocity as it moves around the sun <em style="margin: 0px; padding: 0px;">before</em> we measure it. Quantum theory does not see it that way. In the Copenhagen Interpretation of quantum theory (the </span><span style="color: black; font-family: Verdana, 'BitStream vera Sans', Helvetica, sans-serif; font-size: 12px; line-height: 17.399999618530273px;">predominant view)</span><span style="color: black; font-family: Verdana, 'BitStream vera Sans', Helvetica, sans-serif; font-size: 12px; line-height: 17.399999618530273px;">, one cannot say <i>a priori</i> that a particle's spin was already either up or down </span><em style="color: black; font-family: Verdana, 'BitStream vera Sans', Helvetica, sans-serif; font-size: 12px; line-height: 17.399999618530273px; margin: 0px; padding: 0px;">before</em><span style="font-family: Verdana, BitStream vera Sans, Helvetica, sans-serif;"><span style="font-size: 12px; line-height: 17.399999618530273px;"> entering the field. (Recall, the magnetic field in this case is the agent making the spin direction measurement.) The reason we cannot say this is that if we had rotated the field at an angle (say at right angles to the original), the beams would still split into two, but not the same two beams as before! So we cannot say that the particles were already in either an up or down spin state. That is one of the strange features of quantum theory, but wonderfully illustrated by Stern-Gerlach. </span></span></div><div style="color: #555555; font-family: Verdana, 'BitStream vera Sans', Helvetica, sans-serif; font-size: 12px; line-height: 17.399999618530273px; margin-bottom: 10px; padding: 0px;"><span style="color: black; margin: 0px; padding: 0px;"><strong style="margin: 0px; padding: 0px;"><br /></strong></span></div><div style="color: #555555; font-family: Verdana, 'BitStream vera Sans', Helvetica, sans-serif; font-size: 12px; line-height: 17.399999618530273px; margin-bottom: 10px; padding: 0px;"><span style="color: black; margin: 0px; padding: 0px;"><strong style="margin: 0px; padding: 0px;">Mathematics</strong>. In vector space theory there is a neat way to illustrate this quantum phenomenon by means of `bases’. For example, the vectors $(1,0)$ and $(0,1)$ form a basis for 2D Euclidean space $\Bbb R^2$. So any vector $(x,y)$ can be expressed (uniquely!) as a superposition of them; thus</span>,</div><div style="color: #555555; font-family: Verdana, 'BitStream vera Sans', Helvetica, sans-serif; font-size: 12px; line-height: 17.399999618530273px; margin-bottom: 10px; padding: 0px;">$\large (x,y) = x(1,0) + y(0,1).$</div><div style="color: #555555; font-family: Verdana, 'BitStream vera Sans', Helvetica, sans-serif; font-size: 12px; line-height: 17.399999618530273px; margin-bottom: 10px; padding: 0px;"><span style="color: black;">So this would be, to make an analogy, like how the beam of particles, described by (x,y), can be split into to beams — described by the basis vectors $(1,0)$ and $(0,1)$.</span></div><div style="color: #555555; font-family: Verdana, 'BitStream vera Sans', Helvetica, sans-serif; font-size: 12px; line-height: 17.399999618530273px; margin-bottom: 10px; padding: 0px;"><span style="color: black; margin: 0px; padding: 0px;">However, there are a myriad of other bases. For example, $(2,1)$ and $(1,1)$ also form a basis for $\Bbb R^2$. A general vector $(x,y)$ can still be expressed in terms of a superposition of these two:</span></div><div style="color: #555555; font-family: Verdana, 'BitStream vera Sans', Helvetica, sans-serif; font-size: 12px; line-height: 17.399999618530273px; margin-bottom: 10px; padding: 0px;">$\large (x,y) = a(2,1) + b(1,1).$</div><div style="color: #555555; font-family: Verdana, 'BitStream vera Sans', Helvetica, sans-serif; font-size: 12px; line-height: 17.399999618530273px; margin-bottom: 10px; padding: 0px;"><span style="color: black;">for some constants $a$ and $b$ (which are easy to solve in terms of $x, y$). So this other basis could, by analogy, represent a magnetic field that is at an angle with respect to the original — and its associated beams $(2,1)$ and $(1,1)$ (it’s eigenstates!) would be different because of their different directions. As a matter of fact, we can see here that these eigenstates (collapsed states), represented by $(2,1)$ and $(1,1)$, are actual (uncollapsed) superpositions of the former two, namely $(1,0)$ and $(0,1)$. And vice versa!</span></div><div style="color: #555555; font-family: Verdana, 'BitStream vera Sans', Helvetica, sans-serif; font-size: 12px; line-height: 17.399999618530273px; margin-bottom: 10px; padding: 0px;"><span style="color: black; margin: 0px; padding: 0px;"><strong style="margin: 0px; padding: 0px;">Analogy</strong>: let’s suppose, to take a specific example, that the vector $(5,3)$ represents the particle states coming out of the furnace. Let’s think of the basis vectors $(1,0)$ and $(0,1)$ as representing the spin-up and spin-down beams, respectively, as beam enters the first magnetic field, and let the other basis vectors $(2,1)$ and $(1,1)$ represent the spin-up and spin-down beams as they enter the second perpendicular magnetic field. Then the particle state $(5,3)$ is in fact a <i>superposition</i> in each of these magnetic fields (bases)! This is so because</span></div><div style="color: #555555; font-family: Verdana, 'BitStream vera Sans', Helvetica, sans-serif; font-size: 12px; line-height: 17.399999618530273px; margin-bottom: 10px; padding: 0px;"><span style="color: black; margin: 0px; padding: 0px;"></span></div><div style="color: #555555; font-family: Verdana, 'BitStream vera Sans', Helvetica, sans-serif; font-size: 12px; line-height: 17.399999618530273px; margin-bottom: 10px; padding: 0px;">$\large (5,3) = 5(1,0) + 3(0,1)$</div><div style="color: #555555; font-family: Verdana, 'BitStream vera Sans', Helvetica, sans-serif; font-size: 12px; line-height: 17.399999618530273px; margin-bottom: 10px; padding: 0px;">$\large (5,3) = 2(2,1) + 1(1,1).$</div><div><br /></div><div style="color: #555555; font-family: Verdana, 'BitStream vera Sans', Helvetica, sans-serif; font-size: 12px; line-height: 17.399999618530273px; margin-bottom: 10px; padding: 0px;"><span style="color: black; margin: 0px; padding: 0px;">It is now quite conceivable that the initial mixed state of particles $(5,3)$ as they exit the furnace can in fact split in any number of ways as they enter any magnetic field! Depending on the orientation of the field. I.e., it’s not as though they were initially all either $(1,0),(0,1)$ or $(2,1),(1,1)$, but $(5,3)$ could be a simultaneous superposition of each pair. (In fact (5,3) is combination (superposition) in an infinite number of bases because you can have an infinite number of directions the field can point to.)</span></div><div style="color: #555555; font-family: Verdana, 'BitStream vera Sans', Helvetica, sans-serif; font-size: 12px; line-height: 17.399999618530273px; margin-bottom: 10px; padding: 0px;"><span style="color: black; margin: 0px; padding: 0px;">Indeed, it now looks like this strange feature of quantum theory can be described naturally from a mathematical perspective! Vector Space bases furnish a good example!</span></div><div style="color: #555555; font-family: Verdana, 'BitStream vera Sans', Helvetica, sans-serif; font-size: 12px; line-height: 17.399999618530273px; margin-bottom: 10px; padding: 0px;"><span style="color: black; margin: 0px; padding: 0px;"></span></div><div style="color: #555555; font-family: Verdana, 'BitStream vera Sans', Helvetica, sans-serif; font-size: 12px; line-height: 17.399999618530273px; margin-bottom: 10px; padding: 0px;"><span style="color: blue; margin: 0px; padding: 0px;">**********************************************************</span></div></span></div>Samuel Primehttps://plus.google.com/100157634238278065629noreply@blogger.com0tag:blogger.com,1999:blog-2124118774244748844.post-74861456232597700092014-11-29T18:06:00.000-08:002014-11-29T18:20:48.609-08:00Letter to Hom on Christian SalvationAlright, now we do a bit of theology! Aren't you excited? From math to quantum to cosmology to the heavenly Father of Jesus! Quite a healthy wide range of things for the spirit to grow, wouldn't you say? ;-)<br /><br />This specific post/thread is for <a href="https://twitter.com/HomunculusLoikm" target="_blank"><span style="color: blue;">dear brother Hom</span></a> on twitter who wrote me to discuss and share my thoughts on the issue of whether a Christian who is saved can lose or keep his/her salvation after numerous sins post their commitment to faith in Christ. In his tweets to me, Hom said:<br /><blockquote class="tr_bq"><span style="color: #990000;"><b>"I was taught that in my early years and I "kinda" maintain that belief. Yet I know NO passages in the Biblical text that make the point clear. Can you help?"</b></span></blockquote>The belief that Hom alluded to here is the view I expressed in our twitter discussion that there can be cases of alleged Christians who could 'lose' their salvation, or grace, by the continued sinful lives that they can lead subsequently -- even as replete that life may be with sins of egregious proportions (such as committing genocide, indulging in the major sins stated in the Bible, etc, without naming them all).<br /><br />Some believers are of the view that once you have given your life to Christ as your Savior, you are also saved of your subsequent sins too, no matter how big or small they may be after your pronounced belief. Consequently, even if you live a life of crime, rape, murder, stealing, lying, and any sin you can imagine (so much for the Ten Commandments!), you are still saved because you cannot lose it. So consequently, Hitler, being a Christian would still be saved by grace even after all the inhumanity and genocide that he has caused to tens of millions of human beings. So, you are free to do as you please, sin to whatever degree that you wish (to whatever extreme), and you are assured that you are saved and will go to heaven.<br /><br />Of course, I cannot accept such a view. (And I never have.) That is not at all how I read the Bible, especially the teachings of the New Testament as to how Christians should conduct their lives. (The Hebrew Scriptures already prescribe divine punishment to various of these sins even for alleged believers of the Mosaic community!) Indeed, St Paul has dedicated a fair amount of his time, travels, and writings to some churches in Asia Minor where he heard that numerous egregious sins continue to be committed by (alleged) Christian members who believed that they had been saved so that now they can do whatever they wanted. That is why St Paul explicitly emphasized:<br /><blockquote class="tr_bq"><b><span style="color: #38761d;"><span class="text Rom-6-1">"What shall we say, then?<sup class="crossreference" data-cr="#cen-NIV-28070A" data-link="(<a href="#cen-NIV-28070A" title="See cross-reference A">A</a>)"></sup> Shall we go on sinning so that grace may increase?<sup class="crossreference" data-cr="#cen-NIV-28070B" data-link="(<a href="#cen-NIV-28070B" title="See cross-reference B">B</a>)"></sup></span> <span class="text Rom-6-2" id="en-NIV-28071"><sup class="versenum">2 </sup>By no means! We are those who have died to sin;<sup class="crossreference" data-cr="#cen-NIV-28071C" data-link="(<a href="#cen-NIV-28071C" title="See cross-reference C">C</a>)"></sup> how can we live in it any longer?</span> <span class="text Rom-6-3" id="en-NIV-28072"><sup class="versenum">3 </sup>Or don’t you know that all of us who were baptized<sup class="crossreference" data-cr="#cen-NIV-28072D" data-link="(<a href="#cen-NIV-28072D" title="See cross-reference D">D</a>)"></sup> into Christ Jesus were baptized into his death?</span> </span><span class="text Rom-6-4" id="en-NIV-28073"><span style="color: #38761d;"><sup class="versenum">4 </sup>We were therefore buried with him through baptism into death<sup class="crossreference" data-cr="#cen-NIV-28073E" data-link="(<a href="#cen-NIV-28073E" title="See cross-reference E">E</a>)"></sup> in order that, just as Christ was raised from the dead<sup class="crossreference" data-cr="#cen-NIV-28073F" data-link="(<a href="#cen-NIV-28073F" title="See cross-reference F">F</a>)"></sup> through the glory of the Father, we too may live a new life." (Romans 6:1-4, NIV.)</span></span></b></blockquote>The Letter of James also teaches that a Christian is responsible to showing how his/her life conduct is to be exemplified through their behavior, actions, or works -- backed, of course, through their faith in Christ.<br /><br />The Lord Jesus taught us to judge a tree by the fruit that it bears - very eloquently, simply, and without any complicated theology. When the tree produces bad fruit, what is to be done unto it? The Master said<br /><blockquote class="tr_bq"><span style="color: #38761d;"><b>"<span class="text Matt-7-19" id="en-NIV-23336">Every tree that does not bear good fruit is cut down and thrown into the fire.<sup class="crossreference" data-cr="#cen-NIV-23336P" data-link="(<a href="#cen-NIV-23336P" title="See cross-reference P">P</a>)"></sup></span> <span class="text Matt-7-20" id="en-NIV-23337"><sup class="versenum">20 </sup>Thus, by their fruit you will recognize them." (Matthew 7:19-20, NIV.)</span></b></span></blockquote><span class="text Matt-7-20">Clearly, such a tree cannot then have been saved or ascribed salvation to begin with, even if that tree lead others to believe that it was a good tree.</span><br /><span class="text Matt-7-20"><br /></span><span class="text Matt-7-20">Therefore, in extreme cases like Hitler, or anyone allegedly claiming to be a Christian, such continued bearing of bad fruit would at the very least cast serious doubt on their claims to being believers. Would we believe someone who claims allegiance to the US Constitution only to see that individual violate its articles and laws time and again (even in extreme ways)? I would certainly at least question them. So we're not saying that they had grace and then lost it, but that maybe they didn't have grace in the first place (as we assumed by taking their claim at face value).</span><br /><span class="text Matt-7-20"><br /></span><span class="text Matt-7-20">There are many examples like the above in the Bible that tell me that the view I expressed is far more reasonable (or at least less problematic) than the view that the Christian community could be allowed to harbor such horrific individuals who do such harm to the faith. If Christians are serious about Jesus' teaching, they are responsible to act it out in their hearts and minds as well as with their fellow man, their neighbor. I hope that I have shared my thoughts with you, Hom, in a gentle spirit, even as I am no Bible teacher nor do I have a degree in theology! But I speak as just one believer, sharing my thoughts and experiences. Ultimately, Jesus knows the full precise answers. As St Paul said, we know in part and we prophecy in part, and in another place he says "</span>For now we see through a glass, darkly."<br /><br />Yours in Christ,<br /><span class="text Matt-7-20">Sam</span><br /><span style="color: #134f5c;"><span class="text Matt-7-20"><br /></span></span><span style="color: #134f5c;"><span class="text Matt-7-20"><br /></span></span>Samuel Primehttps://plus.google.com/100157634238278065629noreply@blogger.com0tag:blogger.com,1999:blog-2124118774244748844.post-8088475430193938532014-11-08T14:46:00.000-08:002014-11-08T14:46:03.257-08:00A game with $\pi$Here's an image of something I wrote down, took a photo of, and posted here for you.<br /><br />It's a little game you can play with any irrational number. I took <span style="color: blue;">$\pi$</span> as an example.<br /><br /><div class="separator" style="clear: both; text-align: center;"><a href="https://pbs.twimg.com/media/B182RqZCMAA_mIt.jpg:large" imageanchor="1" style="margin-left: 1em; margin-right: 1em;"><img border="0" height="640" src="https://pbs.twimg.com/media/B182RqZCMAA_mIt.jpg:large" width="476" /></a></div><br /><br />You just learned about an important math concept/process called <b>continued fraction</b> expansions.<br /><br />With it, you can get very precise rational number approximations for any irrational number to whatever degree of error tolerance you wish.<br /><br />As an example, if you truncate the above last expansion where the 292 appears (so you omit the "1 over 292" part) you get the rational number <span style="color: blue;">$\frac{355}{113}$</span> which approximates <span style="color: blue;">$\pi$</span> to 6 decimal places. (Better than <span style="color: blue;">$\frac{22}{7}$</span>.)<br /><br />You can do the same thing for other irrational numbers like the square root of 2 or 3. You get their own sequences of whole numbers.<br /><br /><b>Exercise</b>: for the square root of 2, show that the sequence you get is<br /><span style="color: blue;">1, 2, 2, 2, 2, ...</span><br />(all 2's after the 1). For the square root of 3 the continued fraction sequence is<br /><span style="color: blue;">1, 1, 2, 1, 2, 1, 2, 1, 2, ... </span><br />(so it starts with 1 and then the pair "1, 2" repeat periodically forever).Samuel Primehttps://plus.google.com/100157634238278065629noreply@blogger.com0tag:blogger.com,1999:blog-2124118774244748844.post-21800233457595524542014-08-18T23:26:00.001-07:002014-08-18T23:30:24.877-07:003-4-5 complex number has Infinite orderThis is a good exercise/challenge with complex numbers. <br /><br />Consider the complex number $Z = \large \frac35 + \frac45 i$. (Where $\large i = \sqrt{-1}$.)<br /><br />Prove that $Z^n$ is never equal to 1 for any positive whole number $n = 1, 2, 3, 4, \dots $.<br /><br />This complex number $Z$ comes from the familiar 3-4-5 right triangle that you all know: $3^2 + 4^2 = 5^2$.<br /><br />In math we sometimes say that an object $X$ has "infinite order" when no positive power of it can be the identity (1, in this multiplicative case). For example, $i$ itself has <i>finite</i> order 4 since $i^4 = 1$, while 2 has infinite order since no positive power of 2 can be equal to 1. The distinct feature of $Z$ above is that it has modulus 1, so is on the unit circle $\mathbb T$ in the complex plane.Samuel Primehttps://plus.google.com/100157634238278065629noreply@blogger.com0tag:blogger.com,1999:blog-2124118774244748844.post-37560329663590912502014-07-30T20:56:00.000-07:002014-07-30T21:26:58.693-07:00Multiplying Spaces!Believe it or not, in Math we can not only multiply numbers but we can multiply spaces! We can multiply two spaces to get bigger spaces - usually of bigger dimensions.<br /><br />The 'multiplication' that I'm referring to here is known as <b>Tensor products</b>. The things/objects in these spaces are called <b>tensors</b>. (Tensors are like vectors in a way.) <br /><br />Albert Einstein used tensors in his Special and his General Theory of Relativity (his theory of gravity). Tensors are also used in several branches of Physics, like the theory of elasticity where various stresses and forces act in various ways. And definitely in quantum field theory.<br /><br />It may sound crazy to say you can "multiply spaces," as we would multiply numbers, but it can be done in a precise and logical way. But here I will spare you the technical details and try to manage to show you the idea that makes it possible to do.<br /><br />Q. <i>What do you mean by 'spaces'?</i><br /><br />I mean a set of things that behave like 'vectors' so that you can add two vectors and get a third vector, and where you can scale a vector by any real number. The latter is called <b>scalar multiplication</b>, so if $v$ is a vector, you can multiply it by $0.23$ or by $-300.87$ etc and get another vector: $0.23v$, $-300.87v$, etc.) The technical name is <b>vector space.</b><br /><br />A straight line that extends in both directions indefinitely would be a good example (an Euclidean line).<br /><br />Another example is you take the $xy$-plane, 2D-space or simply 2-space, or you can take $xyz$-space, or if you like you can take $xyzt$-spacetime known also as <b>Minkowski</b> space which has 4 dimensions.<br /><br />Q. <i>How do you 'multiply' such spaces?</i><br /><br />First, the notation. If $U$ and $V$ are spaces, their tensor product space is written as $U \otimes V$. (It's the multiplication symbol with a circle around it.)<br /><br />If this is to be an actual multiplication of spaces there is one natural requirement we would want. That the dimensions of this tensor product space $U \otimes V$ should turn out to be the multiplication of the dimensions of U and of V.<br /><br />So if $U$ has dimension 2 and $V$ has dimension 3, then $U \otimes V$ ought to have dimension $2 \times 3 = 6$. And if $U$ and $V$ are straight lines, so each of dimension 1, then $U \otimes V$ will also be of dimension 1.<br /><br />Q. <i>Hey, wait a second, that doesn't quite answer my question. Are you dodging the issue!?</i><br /><br />Ha! Yeah, just wanted to see if you're awake! ;-) And you are! Ok, here's the deal without going into too much detail. We pointed out above how you can scale vectors by real numbers. So if you have a vector $v$ from the space $V$ you can scale it by $0.23$ and get the vector $0.23v$. Now just imagine if we can scale the vector $v$ by the vectors in the other space $U$! So if $u$ is a vector from $U$ and $v$ a vector from $V$, then you can scale $v$ by $u$ to get what we call their <b>tensor product</b> which we usually write like<br /><br />$u \otimes v$.<br /><br />So with numbers used to scale vectors, e.g. $0.23v$, we could also write it as $0.23 \otimes v$. But we don't normally write it that way when numbers are involved, only when non-number vectors are.<br /><br />Q. <i>So can you also turn this around and refer to $u \otimes v$ as the vector $u$ scaled by the vector $v$?</i><br /><br />Absolutely! So we have two approaches to this and you can show (by a proof) that the two approaches are in fact equivalent. In fact, that's what gives rise to a theorem that says<br /><br /><br /><b>Theorem</b>. $U \otimes V$ is isomorphic to $V \otimes U$.<br /><br />(In Math, the word 'isomorphism' gives a precise meaning to what I mean by 'equivalent'.)<br /><br />Anyway, the point has been made to describe multiplying spaces: you take their vectors and you 'scale' those of one space by the vectors of the other space.<br /><br />There's a neat way to actually see and appreciate this if we use <b>matrices</b> as our vectors. (Yes, matrices can be viewed as vectors!) Matrices are called <b>arrays</b> in computer science.<br /><br />One example / experiment should drive the point home:<br /><br />Let's take these two $2 \times 2$ matrices $A$ and $B$:<br /><br />$A = \begin{bmatrix} 2 & 3 \\ -1 & 5 \end{bmatrix}, \ \ \ \ \ \ \ B = \begin{bmatrix} -5 & 4 \\ 6 & 7 \end{bmatrix}$<br /><br />To calculate their tensor product $A \otimes B$, you can take $B$ and scale it by each of the numbers contained in $A$! Like this:<br /><br />$A\otimes B = \begin{bmatrix} 2B & 3B \\ -1B & 5B \end{bmatrix}$<br /><br /><br /><br />If you write this out you will get a 4 x 4 matrix when you plug B into it:<br /><br /><br /><br />$A\otimes B = \begin{bmatrix} -10 & 8 & -15 & 12 \\ 12 & 14 & 18 & 21 \\ 5 & -4 & -25 & 20 \\ -6 & -7 & 30 & 35 \end{bmatrix}$<br /><br />Oh, and 4 times 4 is 16, yes so the matrix $A\otimes B$ does in fact have 16 entries in it! Check!<br /><br />Q. <i>You could also do this the other way, by scaling $A$ using each of the numbers in $B$, right?</i><br /><br />Right! That would then give $B\otimes A$.<br /><br />When you do this you will get different matrices/arrays but if you look closely you'll see that they have the very same set of numbers except that they're permuted around in a rather simple way. How? Well, if you switch the two inner columns and the two inner rows of $B\otimes A$ you will get exactly $A\otimes B$!<br /><br />Try this experiment with the above $A$ and $B$ examples by working out $B\otimes A$ as we've done. This illustrates what we mean in Math by 'isomorphism': that even though the results may look different, they are actually related to one another in a sort of 'linear' or 'algebraic' fashion.<br /><br />Ok, that's enough. We get the idea. You can multiply spaces by scaling their vectors by each other. Amazing how such an abstract idea turns out to be a powerful tool in understanding the geometry of spaces, in Relativity Theory, and also in quantum mechanics (quantum field theory).<br /><br />Warm Regards, <br />Sam<br /><br /><br /><br />Samuel Primehttps://plus.google.com/100157634238278065629noreply@blogger.com0tag:blogger.com,1999:blog-2124118774244748844.post-72925133670468901232014-07-26T21:23:00.000-07:002014-07-26T21:23:14.756-07:00Bertrand's "postulate" and Legendre's Conjecture<b>Bertrand's "postulate"</b> states that for any positive integer $n > 1$, you can always find a prime number $p$ in the interval <br /><br />$n < p < 2n$. <br /><br />It use to be called "postulate" until it became a theorem when Chebyshev proved it in 1850.<br /><br />(I saw this while browsing thru a group theory book and got interested to read up a little more.)<br /><br />What if instead of looking at $n$ and $2n$ you looked at consecutive squares? So for example you take a positive integer $n$ and you ask whether we can always find at least one prime number between $n^2$ and $(n+1)^2$.<br /><br />Turns out this is a much harder problem and it's still an open question called:<br /><br /><b>Legendre's Conjecture</b>. For each positive integer $n$ there is at least one prime $p$ such that<br /><br />$n^2 < p < (n+1)^2$.<br /><br />People have used programming to check this for large numbers and have always found such primes, but no proof (or counterexample) is known.<br /><br />If you compare Legendre's with Bertrand's you will notice that $(n+1)^2$ is a lot less than $2n^2$. (At least for $n > 2$.) In fact, the asymptotic ratio of the latter divided by the former is 2 (not 1) for large $n$'s. This shows that the range of numbers in the Legendre case is much narrower than in Bertrand's.<br /><br />The late great mathematician Erdos proved similar results by obtaining k primes in certain ranges similar to Bertand's.<br /><br />A deep theorem related to this is the <b>Prime Number Theorem</b> which gives an asymptotic approximation for the number of primes up to $x$. That approximating function is the well-known $x/\ln(x)$.<br /><br /><br /><i>Great sources</i>:<br /><b>[1]</b> <a href="http://mathworld.wolfram.com/BertrandsPostulate.html" target="_blank"><b>Bertrand's "postulate"</b></a><br /><b>[2]</b> <a href="http://mathworld.wolfram.com/LegendresConjecture.html" target="_blank"><b>Legendre's Conjecture</b></a><br />(See also wiki's entries under these topics.)<br /><br /><br /><br /><br /><br />Samuel Primehttps://plus.google.com/100157634238278065629noreply@blogger.com0tag:blogger.com,1999:blog-2124118774244748844.post-44621967513192950212014-07-25T18:33:00.000-07:002014-07-25T18:33:05.950-07:00Direct sum of finite cyclic groupsThe purpose of this post is to show how a finite direct sum of finite cyclic groups<br /><br />$\Large \Bbb Z_{m_1} \oplus \Bbb Z_{m_2} \oplus \dots \oplus \Bbb Z_{m_n}$<br /><br /><br />can be rearranged so that their orders are in increasing divisional form: $m_1|m_2|\dots | m_n$.<br /><br />We use the fact that if $p, q$ are coprime, then $\large \Bbb Z_p \oplus \Bbb Z_q = \Bbb Z_{pq}$.<br /><br />(We'll use equality $=$ for isomorphism $\cong$ of groups.)<br /><br />Let $p_1, p_2, \dots p_k$ be the list of prime numbers in the prime factorizations of all the integers $m_1, \dots, m_n$.<br /><br />Write each $m_j$ in its prime power factorization $\large m_j = p_1^{a_{j1}}p_2^{a_{j2}} \dots p_k^{a_{jk}}$. Therefore<br /><br />$\Large \Bbb Z_{m_j} = \Bbb Z_{p_1^{a_{j1}}} \oplus \Bbb Z_{p_2^{a_{j2}}} \oplus \dots \oplus \Bbb Z_{p_k^{a_{jk}}}$<br /><br />and so the above direct sum $\large \Bbb Z_{m_1} \oplus \Bbb Z_{m_2} \oplus \dots \oplus \Bbb Z_{m_n}$ can be written out in matrix/row form as the direct sum of the following rows:<br /><br />$\Large\Bbb Z_{p_1^{a_{11}}} \oplus \Bbb Z_{p_2^{a_{12}}} \oplus \dots \oplus \Bbb Z_{p_k^{a_{1k}}}$<br /><br />$\Large\Bbb Z_{p_1^{a_{21}}} \oplus \Bbb Z_{p_2^{a_{22}}} \oplus \dots \oplus \Bbb Z_{p_k^{a_{2k}}}$<br />$\Large \vdots$<br />$\Large\Bbb Z_{p_1^{a_{n1}}} \oplus \Bbb Z_{p_2^{a_{n2}}} \oplus \dots \oplus \Bbb Z_{p_k^{a_{nk}}}$<br /><br />Here, look at the powers of $p_1$ in the first column. They can be permuted / arranged so that their powers are in increasing order. The same with the powers of $p_2$ and the other $p_j$, arrange their groups so that the powers are increasing order. So we get the above direct sum isomorphic to<br /><br /><br />$\Large\Bbb Z_{p_1^{b_{11}}} \oplus \Bbb Z_{p_2^{b_{12}}} \oplus \dots \oplus \Bbb Z_{p_k^{b_{1k}}}$<br /><br />$\Large\Bbb Z_{p_1^{b_{21}}} \oplus \Bbb Z_{p_2^{b_{22}}} \oplus \dots \oplus \Bbb Z_{p_k^{b_{2k}}}$<br />$\Large \vdots$<br />$\Large\Bbb Z_{p_1^{b_{n1}}} \oplus \Bbb Z_{p_2^{b_{n2}}} \oplus \dots \oplus \Bbb Z_{p_k^{b_{nk}}}$<br /><br />where, for example, the exponents $b_{11} \le b_{21} \le \dots \le b_{n1}$ are a rearrangement of the numbers $a_{11}, a_{21}, \dots, a_{n1}$ (in the first column) in increasing order. Do the same for the other columns.<br /><br />Now put together each of these rows into cyclic groups by multiplying their orders, thus<br /><br />$\Large\ \ \Bbb Z_{N_1}$<br />$\Large \oplus \Bbb Z_{N_2}$<br />$\Large \vdots$<br />$\Large \oplus \Bbb Z_{N_n}$<br /><br />where<br /><br />$\large N_1 = p_1^{b_{11}} p_2^{b_{12}} \dots p_k^{b_{1k}}$,<br />$\large N_2 = p_1^{b_{21}} p_2^{b_{22}} \dots p_k^{b_{2k}}$,<br />$\large \vdots$<br />$\large N_n = p_1^{b_{n1}} p_2^{b_{n2}} \dots p_k^{b_{nk}}$.<br /><br />In view of the fact that the $b_{1j} \le b_{2j} \le \dots \le b_{nj}$ is increasing for each $j$, we see that $N_1 | N_2 | \dots | N_n$, as required. $\blacksquare$<br /><br /><br /><br /><br /><br /><br /><br /><br /><br />Samuel Primehttps://plus.google.com/100157634238278065629noreply@blogger.com0tag:blogger.com,1999:blog-2124118774244748844.post-14595096136229537432014-07-25T00:30:00.002-07:002014-07-25T00:57:05.309-07:00Latex on BloggerLaTeX work here if you add the small script below:<br /><br />Short exact sequence:<br />$\large 0 \to H \to G \to G/H \to 0$<br />and an integral<br />$\large \int \sqrt{x} dx$.<br /><br />Each finite Abelian group is isomorphic to a direct sum of cyclic groups<br />$\large \Bbb Z_{m_1} \oplus \Bbb Z_{m_2} \oplus \dots \oplus \Bbb Z_{m_n}$<br />where $m_1|m_2|\dots | m_n$.<br /><br />(One of my favorite results from group theory.)<br /><br /><br /><b>Thanks</b> to a gentle soul's responding at <a href="http://tex.stackexchange.com/questions/13865/how-to-use-latex-on-blogspot" target="_blank">tex.stackexchange</a>:<br /><br />To get LaTeX to work on Blogger, go to Design, then to "edit HTML", then to "edit template". In the HTML file insert the following script right after where it says < head >:<br /><br /><pre class="lang-html prettyprint prettyprinted"><code><span class="tag"><script</span><span class="pln"> </span><span class="atn">type</span><span class="pun">=</span><span class="atv">"text/javascript"</span><span class="pln"> </span><span class="atn">src</span><span class="pun">=</span><span class="atv">"http://cdn.mathjax.org/mathjax/latest/MathJax.js"</span><span class="tag">></span><span class="pln"><br /></span><span class="typ">MathJax</span><span class="pun">.</span><span class="typ">Hub</span><span class="pun">.</span><span class="typ">Config</span><span class="pun">({</span><span class="pln"><br /> extensions</span><span class="pun">:</span><span class="pln"> </span><span class="pun">[</span><span class="str">"tex2jax.js"</span><span class="pun">,</span><span class="str">"TeX/AMSmath.js"</span><span class="pun">,</span><span class="str">"TeX/AMSsymbols.js"</span><span class="pun">],</span><span class="pln"><br /> jax</span><span class="pun">:</span><span class="pln"> </span><span class="pun">[</span><span class="str">"input/TeX"</span><span class="pun">,</span><span class="pln"> </span><span class="str">"output/HTML-CSS"</span><span class="pun">],</span><span class="pln"><br /> tex2jax</span><span class="pun">:</span><span class="pln"> </span><span class="pun">{</span><span class="pln"><br /> inlineMath</span><span class="pun">:</span><span class="pln"> </span><span class="pun">[</span><span class="pln"> </span><span class="pun">[</span><span class="str">'$'</span><span class="pun">,</span><span class="str">'$'</span><span class="pun">],</span><span class="pln"> </span><span class="pun">[</span><span class="str">"\\("</span><span class="pun">,</span><span class="str">"\\)"</span><span class="pun">]</span><span class="pln"> </span><span class="pun">],</span><span class="pln"><br /> displayMath</span><span class="pun">:</span><span class="pln"> </span><span class="pun">[</span><span class="pln"> </span><span class="pun">[</span><span class="str">'$$'</span><span class="pun">,</span><span class="str">'$$'</span><span class="pun">],</span><span class="pln"> </span><span class="pun">[</span><span class="str">"\\["</span><span class="pun">,</span><span class="str">"\\]"</span><span class="pun">]</span><span class="pln"> </span><span class="pun">],</span><span class="pln"><br /> </span><span class="pun">},</span><span class="pln"><br /> </span><span class="str">"HTML-CSS"</span><span class="pun">:</span><span class="pln"> </span><span class="pun">{</span><span class="pln"> availableFonts</span><span class="pun">:</span><span class="pln"> </span><span class="pun">[</span><span class="str">"TeX"</span><span class="pun">]</span><span class="pln"> </span><span class="pun">}</span><span class="pln"><br /></span><span class="pun">});</span><span class="pln"><br /></span><span class="tag"></script></span></code></pre><pre class="lang-html prettyprint prettyprinted"><code><span class="tag"> </span></code></pre><pre class="lang-html prettyprint prettyprinted"><code><span class="tag"><br /></span></code></pre>Samuel Primehttps://plus.google.com/100157634238278065629noreply@blogger.com0tag:blogger.com,1999:blog-2124118774244748844.post-28986538658287359932014-06-17T23:06:00.001-07:002014-06-18T11:30:31.513-07:00Richard Feynman on Erwin Schrödinger<span style="background-color: blue;"></span><br />I thought it is interesting to see what the great Nobel Laureate physicist Richard Feynman said about Erwin Schrödinger's attempts to discover the famous Schrödinger equation in quantum mechanics:<br /><br /><style><!-- /* Font Definitions */ @font-face {font-family:Times; panose-1:2 0 5 0 0 0 0 0 0 0; mso-font-charset:77; mso-generic-font-family:roman; mso-font-format:other; mso-font-pitch:variable; mso-font-signature:3 0 0 0 1 0;} @font-face {font-family:Cambria; panose-1:2 4 5 3 5 4 6 3 2 4; mso-font-charset:0; mso-generic-font-family:auto; mso-font-pitch:variable; mso-font-signature:3 0 0 0 1 0;} @font-face {font-family:"Lucida Calligraphy"; panose-1:3 1 1 1 1 1 1 1 1 1; mso-font-charset:0; mso-generic-font-family:auto; mso-font-pitch:variable; mso-font-signature:3 0 0 0 1 0;} /* Style Definitions */ p.MsoNormal, li.MsoNormal, div.MsoNormal {mso-style-parent:""; margin-top:0cm; margin-right:0cm; margin-bottom:10.0pt; margin-left:0cm; mso-pagination:widow-orphan; font-size:12.0pt; font-family:"Times New Roman"; mso-ascii-font-family:Cambria; mso-ascii-theme-font:minor-latin; mso-fareast-font-family:Cambria; mso-fareast-theme-font:minor-latin; mso-hansi-font-family:Cambria; mso-hansi-theme-font:minor-latin; mso-bidi-font-family:"Times New Roman"; mso-bidi-theme-font:minor-bidi;} @page Section1 {size:612.0pt 792.0pt; margin:72.0pt 90.0pt 72.0pt 90.0pt; mso-header-margin:36.0pt; mso-footer-margin:36.0pt; mso-paper-source:0;} div.Section1 {page:Section1;} --></style> <br /><div class="MsoNormal" style="margin-bottom: .0001pt; margin-bottom: 0cm;"><br /></div><div class="MsoNormal" style="margin-bottom: .0001pt; margin-bottom: 0cm;"><span style="font-family: "Lucida Calligraphy";">When </span><span style="font-family: "Lucida Calligraphy"; mso-bidi-font-family: Times;">Schrödinger</span><span style="font-family: "Lucida Calligraphy";"> first wrote it [his equation] down, </span></div><div class="MsoNormal" style="margin-bottom: .0001pt; margin-bottom: 0cm;"><span style="font-family: "Lucida Calligraphy";">He gave a kind of derivation based on some heuristic</span></div><div class="MsoNormal" style="margin-bottom: .0001pt; margin-bottom: 0cm;"><span style="font-family: "Lucida Calligraphy";">Arguments and some brilliant intuitive guesses. Some</span></div><div class="MsoNormal" style="margin-bottom: .0001pt; margin-bottom: 0cm;"><span style="font-family: "Lucida Calligraphy";">Of the arguments he used were even false, but that does</span></div><div class="MsoNormal" style="margin-bottom: .0001pt; margin-bottom: 0cm;"><span style="font-family: "Lucida Calligraphy";">Not matter; the only important thing is that the ultimate</span></div><div class="MsoNormal" style="margin-bottom: .0001pt; margin-bottom: 0cm;"><span style="font-family: "Lucida Calligraphy";">Equation gives a correct description of nature.</span></div><div class="MsoNormal" style="margin-bottom: .0001pt; margin-bottom: 0cm;"><span style="font-family: "Lucida Calligraphy";"><span style="mso-tab-count: 1;"> </span><span style="mso-tab-count: 1;"> </span><span style="mso-tab-count: 1;"> </span><span style="mso-tab-count: 1;"> </span>-- Richard P. Feynman</span></div><span style="font-size: x-small;"> <span style="font-family: "Lucida Calligraphy";">(The Feynman Lectures on Physics, Vol. III, Chapter 16, 1965.)</span></span><br /><br /><br /><span style="font-size: x-small;"><span style="font-family: "Lucida Calligraphy";"></span></span>It has been my experience in reading physics books that this sort of `heuristic' reasoning is part of doing physics. It is a very creative (sometimes not logical!) art with mathematics in attempting to understand the physical world. Dirac did it too when he obtained his Dirac equation for the electron.Samuel Primehttps://plus.google.com/100157634238278065629noreply@blogger.com0tag:blogger.com,1999:blog-2124118774244748844.post-57244129065953017852014-06-03T23:20:00.001-07:002014-06-03T23:29:50.797-07:00Entangled and Unentangled StatesLet's take a simple example of electron spin states. The reason it is 'simple' is that you only have two states to consider: either an electron's spin is 'up' or it is 'down'. We can use the notation ↑ to stand for the state that its spin is 'up' and the down arrow ↓ to indicate that its spin is down.<br /><br />If we write, say, two arrows together like this ↑↓ it means we have two electrons, the first one has spin up and the second one spin down. So, ↓↓ means both particles have spin down.<br /><br />Now one way in which the two particles can be arranged experimentally is in an entangled form. One state that would describe such a situation is a wavefunction state like this:<br /><br />Ψ = ↑↓ - ↓↑.<br /><br />This is a superposition state combining (in some mysterious fashion!) two basic states: the first one ↑↓ describes is a situation where the first particle has spin up and the second spin down, and the second state ↓↑ describes a situation where the first particle has spin down and the second particle has spin up. But when the two particles are in the combined superposition state Ψ (as above), it's in some sort of mix of those two scenarios. Like the case of the cat that is half dead and half alive! :-)<br /><br />Why exactly is this state Ψ 'entangled' -- and what exactly do we mean by that? Well, it means that if you measure the spin of the first electron and you discover that its spin is down ↓, let's say, that picks out the part "↓↑" of the state Ψ! And this means that the second electron must have spin up! They're entangled! They're tied up together so knowing some spin info about one tells you the spin info of the other - instantly! This is so because the system has been set up to be in the state described by Ψ.<br /><br />Now what about an unentangled state? What would that look like for our 2-electron example. Here's one:<br /><br />Φ = ↑↑ + ↓↓ + ↑↓ - ↓↑.<br /><br />Here this state is made up of two electrons that can have both their spins up (namely, ↑↑), both their spins down (↓↓), or they could be in the state Ψ (consisting of the opposite spins). In this wavefunction state Φ (called a "product state" which are generally not entangled), if you measure the spin, say, of the first electron and you find that it is up ↑, then what about the spin of the other one? Well, here you have two possibilities, namely ↑↑ and ↑↓ involved in Φ, which means that the second electron can be either in the up spin or the down spin. No entanglement, no correlation as in the Ψ case above. Knowing the spin state of one particle doesn't tell you what the other one has to be.<br /><br />You can illustrate the same kind of examples with photon polarization, so you can have their polarizations entangeled or unentangled - depending on how the system is set up by us or by nature.<br /><br /><br />Samuel Primehttps://plus.google.com/100157634238278065629noreply@blogger.com0tag:blogger.com,1999:blog-2124118774244748844.post-14556937883260113342014-05-29T01:24:00.001-07:002014-07-25T00:41:42.669-07:00Periodic Table of Finite Simple GroupsChemistry has its well known and fantastic periodic table of elements. In group theory we have an analogous 'periodic table' that describes the classification of the finite simple groups (shown below). (A detailed <a href="https://irandrus.files.wordpress.com/2012/06/periodic-table-of-groups.pdf">PDF</a> is available.) It summarizes decades worth of research work by many great mathematicians to determine all the finite simple groups. It is an amazing feat! And a work of great beauty.<br /><br />Groups are used in studies of symmetry - in Math and in the sciences, especially in Physics and Chemistry.<br /><br />A group is basically a set $G$ of objects that can be "combined", so that two objects $x, y$ in $G$ produce a third object $x \ast y$ in G. Loosely, we refer to this combination or operation as a 'multiplication' (or it could be an 'addition'). This operation has to have three basic rules:<br /><br />1. The operation must associative, i.e. $(x\ast y)\ast z = x\ast(y\ast z)$ for all objects $x, y, z$ in $G$.<br />2. $G$ contains a special object $e$ such that $e\ast x = x = x\ast e$ for all objects $x$ in $G$.<br />3. Each object $x$ in $G$ has an associated object $y$ such that $x\ast y = e = y\ast x$.<br /><br />Condition 2 says that the object $e$ has no effect on any other object - it is called the "identity" object. It behaves much like the real number 0 in relation to the addition + operation since $x + 0 = x = 0 + x$ for all real numbers. (Here, in this example, $\ast$ is addition + and e is 0.) As a second example, $e$ could also be the real number 1 if $ast$ stood for multiplication (in which case we take $G$ to be all real numbers except 0).<br /><br />Condition 3 says that each object has an 'inverse' object. Or, that each object could be 'reversed'. It turns out that you can show that the $y$ in condition 3 is unique for each $x$ and is instead denote by $y = x^{-1}$.<br /><br /><a href="https://irandrus.wordpress.com/2012/06/17/the-periodic-table-of-finite-simple-groups/" style="clear: left; float: left; margin-bottom: 1em; margin-right: 1em;"><img alt="" class="aligncenter size-full wp-image-8852" src="http://aperiodical.com/wp-content/uploads/2013/04/periodic-table-of-finite-simple-groups.jpg" height="218" title="Periodic table of the finite simple groups by Ivar Andrus" width="320" /></a>The commutative property -- namely that $x\ast y = y\ast x$ -- is not assumed, so almost all of the groups in the periodic table do not have this property. (Groups that do have this property are called Abelian or commutative groups.) The Abelian simple groups are the 'cyclic' ones that appear in the right most column of the table. (Notice that their number of objects is a prime number $2, 3, 5, 7, 11, \dots$ etc.)<br /><br />The periodic table lists all of the finite simple groups. So they are groups as we just described. And they are finite in that each group $G$ has finitely many elements. (There are many infinite groups used in physics but these aren't part of the table.)<br /><br />But now what are 'simple' groups? Basically, they are ones that cannot be 'made up' of yet smaller groups or other groups. (More technically, a group $G$ is said to be simple when there isn't a nontrivial normal subgroup $H$ inside of $G$ -- i.e., $H$ is a subset of $G$ and is also a group under the same $\ast$ operation of $G$, and further $xHx^{-1}$ is contained in $H$ for any object $x \in G$.) So a simple group is like a basic object that cannot be "broken down" any further, like an 'atom', or a prime number.<br /><br />One of the deepest results in the theory of groups that helped in this classification is the Feit-Thompson Theorem which says: each group with an odd number of objects is solvable. (The proof was written in the 1960s and is over 200 pages - published in Pacific Journal of Mathematics.)<br /><br /><br /><div id="irc_mimg"></div>Samuel Primehttps://plus.google.com/100157634238278065629noreply@blogger.com0tag:blogger.com,1999:blog-2124118774244748844.post-12497737420601112352014-05-28T17:09:00.000-07:002014-05-28T17:09:55.343-07:00St Augustine on the days of CreationIn his <b>City of God</b>, St Augustine said in reference to the first three days of creation:<br /><br />"<i>What kind of days these were it is extremely difficult, or perhaps impossible for us to conceive, and how much more to say!</i>" (See <span style="color: red;"><a href="http://www.newadvent.org/fathers/120111.htm">Chapter 6</a></span>.)<br /><br />So a literal 24 hour day seemed not the plain meaning according to St Augustine. He does not venture to speculate but leaves the matter open. That was long long before modern science.Samuel Primehttps://plus.google.com/100157634238278065629noreply@blogger.com0tag:blogger.com,1999:blog-2124118774244748844.post-72826742021536797072014-05-25T23:51:00.000-07:002014-05-26T00:04:17.165-07:00Experiment on Dark Matter yields nothingThe most sensitive experiment to date by the Large Underground Xenon (LUX), which was designed to detect dark matter, has not registered any sign of the substance.<br /><br />See Nature article:<br /><a href="http://www.nature.com/news/no-sign-of-dark-matter-in-underground-experiment-1.14057"><span style="color: red;">No sign of dark matter in underground experiment</span></a><br />Eugenie Samuel Reich<br /><br />As a result, some scientists are considering other (exotic) possibilities:<br /><h1 class="article-heading"><a href="http://www.nature.com/news/dark-matter-search-considers-exotic-possibilities-1.14459"><span style="color: red;"><span style="font-size: small;"><span style="font-weight: normal;">Dark-matter search considers exotic possibilities</span></span></span></a><span style="color: red;"><span style="font-size: small;"><span style="font-weight: normal;"></span></span></span><span style="font-weight: normal;"><span style="font-size: small;">, by Clara Moskowitz</span></span></h1>Samuel Primehttps://plus.google.com/100157634238278065629noreply@blogger.com0tag:blogger.com,1999:blog-2124118774244748844.post-23852894176568763662014-05-18T19:46:00.003-07:002014-05-19T20:54:24.788-07:00Worm's neurons revealed in 37 seconds<embed src="http://c.brightcove.com/services/viewer/federated_f8/1399191810" bgcolor="#FFFFFF" flashVars="videoId=3574440140001&playerId=1399191810&viewerSecureGatewayURL=https://console.brightcove.com/services/amfgateway&servicesURL=http://services.brightcove.com/services&cdnURL=http://admin.brightcove.com&domain=embed&autoStart=false&" base="http://admin.brightcove.com" name="flashObj" width="510" height="550" seamlesstabbing="false" type="application/x-shockwave-flash" swLiveConnect="true" pluginspage="http://www.macromedia.com/shockwave/download/index.cgi?P1_Prod_Version=ShockwaveFlash"></embed>Samuel Primehttps://plus.google.com/100157634238278065629noreply@blogger.com0tag:blogger.com,1999:blog-2124118774244748844.post-45269839154151981892014-05-17T23:36:00.001-07:002014-05-17T23:36:17.586-07:00GreetingsThis is my first (test) post on this blog. I'm just examining it, maybe to add a few thoughts and ideas now and then. Thank you for reading.<br />SamSamuel Primehttps://plus.google.com/100157634238278065629noreply@blogger.com0