Kilowatt Thought
http://www.blog.quantum-immortal.net/
Musings on Science and the World at Large
Fri, 07 Apr 2017 02:41:56 -0500http://lifetype.netIs Infinity Even or Odd?
Back when I was a tutor at the Bay Area Tutoring Center in San Ramon, I was often assigned to students that came in with calculus or pre-calculus concerns, leaving the middle school geometry and algebra to the regular turnover of younger tutors that starter with the easier courses. I had several students at this level, and the standard curriculum was just reaching the wonderful world of series, with students learning how to sum finite series and using the various rules and tests to determine whether a series converges (conditionally or not) or diverges. Most students found this chapter to be not-too-difficult, and were doing well with the assignments. One student was having difficulty with the material, so I asked him what type of series Grandi's Series was:
\[\sum_{k=0}^{\infty}(-1)^k=1-1+1-1+\cdots\]
Does it converge or diverge, how to prove it, and the like. After thinking about it for a minute, he asked "Well, doesn't it depend on whether infinity is odd or even?" A cute question; I gave him a wry smile and reminded him that infinity is not a real number, and that oddness or evenness can only apply to integers ("Is 1/7 odd or even?"). He nodded, then had a look of realization. "Oh, it's a geometric series, so we can use the formula."
\[\sum_{k=0}^{\infty}r^k=\frac{1}{1-r}.\]
"It must be convergent, since the answer is \(\tfrac{1}{2}\)." A gentle reminder about the radius of convergence of \(|r| \lt 1\) and an appeal to the \(n^{\text{th}}\)-term test prompts another response "OK, so it diverges." Indeed it does; I mean, just look at the partial sums. It alternates between \(0\) and \(1\) forever, so how can it settle to a limit value? I demonstrate that such series are pathological by proving that \(0=1\):
\[\begin{align*}
0&=0+0+0+0+\cdots\\
&=(1-1)+(1-1)+\cdots\\
&=1+(-1+1)+(-1+1)+\cdots\\
&=1
\end{align*}\]
"The associative rule doesn't work for divergent infinite sums. In fact it only works for absolutely convergent sums." That smacks of the Riemann Rearrangement Theorem, but since that technically only applies to conditionally convergent series, I bite my tongue. "But doesn't it still average to 1/2?" I frown. The student has come to realize that like so many other divergent series that do occasionally show up in math and physics, some of them <em>may diverge, but still WANT to be a particular value</em>. That is, there are ways to unambiguously <em>assign</em> unique finite values to otherwise divergent sums. "For now, we only need to distinguish between divergent and convergent." He understands that it is divergent, and we move on.
That night, I think more about his question, and remember the ridiculous and yet useful fact that we may assign the sum of all natural numbers the value -1/12, using the peculiar properties of analytically continuing the Riemann zeta function. "What other such series might be useful? Should I enumerate them?" I decided to. Here is a list I've compiled:
\[\begin{equation*}
\begin{array}{>{\displaystyle}l@{}>{\displaystyle}l>{\displaystyle}l}
1-1+1-1+\cdots&{}=\sum_{k=0}^{\infty}(-1)^k&{}=\frac{1}{2}\\
1+1+1+1+\cdots&{}=\sum_{k=0}^{\infty}1^k&{}=-\frac{1}{2}\\
1+2+4+8+\cdots&{}=\sum_{k=0}^{\infty}2^k&{}=-1\\
1-2+4-8+\cdots&{}=\sum_{k=0}^{\infty}(-1)^k2^k&{}=\frac{1}{3}\\
1+z+z^2+z^3+\cdots&{}=\sum_{k=0}^{\infty}z^k&{}=\frac{1}{1-z}&\\
1+2+3+4+\cdots&{}=\sum_{k=0}^{\infty}k&{}=-\frac{1}{12}\\
1+4+9+16+\cdots&{}=\sum_{k=0}^{\infty}k^2&{}=0\\
1+2^n+3^n+4^n+\cdots&{}=\sum_{k=0}^{\infty}k^n&{}=-\frac{B_{n+1}}{n+1}\\
1-2+3-4+\cdots&{}=\sum_{k=0}^{\infty}(-1)^{k+1}k&{}=\frac{1}{4}\\
1+1+2+6+24+\cdots&{}=\sum_{k=0}^{\infty}k!&{}=?\\
1-1+2-6+24-\cdots&{}=\sum_{k=0}^{\infty}(-1)^kk!&{}=eE_1(1)\approx0.596\\
1-z+2z^2-6z^3+\cdots&{}=\sum_{k=0}^{\infty}(-1)^kk!z^k&{}=\frac{e^{1/z}}{z}\Gamma(0,1/z)\\
1+e^{i\theta}+e^{2i\theta}+\cdots&{}=\sum_{k=0}^{\infty}e^{ik\theta}&{}=\frac{1}{2}\left(1+i\cot\frac{\theta}{2}\right)\\
1+\cos\theta+\cos2\theta+\cdots&{}=\sum_{k=0}^{\infty}\cos
k\theta&{}=\frac{1}{2}\\
\sin\theta+\sin2\theta+\cdots&{}=\sum_{k=0}^{\infty}\sin k\theta&{}=\frac{1}{2}\cot\frac{\theta}{2}\\
1-\cos\theta+\cos2\theta-\cdots&{}=\sum_{k=0}^{\infty}(-1)^k\cos
k\theta&{}=\frac{1}{2}\\
\sin\theta-\sin2\theta+\cdots&{}=\sum_{k=0}^{\infty}(-1)^k\sin k\theta&{}=\frac{1}{2}\tan\frac{\theta}{2}\\
1^{2n}-2^{2n}+3^{2n}-\cdots&{}=\sum_{k=0}^{\infty}(-1)^kk^{2n}&{}=0\\
1^{2n+1}-2^{2n+1}+3^{2n+1}-\cdots&{}=\sum_{k=0}^{\infty}(-1)^kk^{2n+1}&{}=(-1)^n\frac{2^{2n+2}-1}{2n+2}B_{n+1}\\
1^{2n+1}-3^{2n+1}+5^{2n+1}-\cdots&{}=\sum_{k=0}^{\infty}(-1)^k(2k+1)^{2n+1}&{}=0\\
e^{i\theta}-e^{3i\theta}+e^{5i\theta}-\cdots&{}=\sum_{k=0}^{\infty}(-1)^ke^{(2k+1)i\theta}&{}=\frac{1}{2}\sec\theta\\
1^{2n}-3^{2n}+5^{2n}-\cdots&{}=\sum_{k=0}^{\infty}(-1)^k(2k+1)^{2n}&{}=\frac{(-1)^n}{2}E_n\\
\ln 2+\ln 3+\ln 4+\cdots&{}=\sum_{k=1}^{\infty}\ln k&{}=\ln\sqrt{2\pi}\\
2\ln 2+3\ln 3+4\ln 4+\cdots&{}=\sum_{k=1}^{\infty}k\ln k&{}=\ln A-\frac{1}{12}\approx 0.1654
\end{array}
\end{equation*}\]
Some of these come from extending the geometric series to all \(r\neq 1\), some from zeta function continuation, some from integral transforms. Some involve Bernoulli numbers and Euler numbers, others exponential integrals or the incomplete gamma function. This craziness can even be used to show that
\[1\times2\times3\times4\times\cdots=\prod_{k=1}^{\infty}k=\sqrt{2\pi}.\]
Perhaps asking about the parity of infinity is not so crazy after all.
http://www.blog.quantum-immortal.net/mathematics/2014/06/06/is-infinity-even-or-odd
http://www.blog.quantum-immortal.net/mathematics/2014/06/06/is-infinity-even-or-oddhttp://www.blog.quantum-immortal.net/mathematics/2014/06/06/is-infinity-even-or-oddkcolwellMathematicsFri, 06 Jun 2014 19:41:30 -0500Why Indiana Jones Should Hate Nukes
While Dr. Jones's survival of a nuclear detonation in a lead-lined refrigerator has brought many scientists' hands to their eyes with head-shaking disappointment, Indiana has more than radiation poisoning (or total vaporization) to worry about with the 1950's proliferation of fission testings around the globe. As many of you might know, one of the key means of dating archaeological and geological artifacts and specimens is through the use of radiometric dating. Various isotopes of the chemical elements are unstable, and will decay to (eventually) stable or long-lived products over the course of time. Since the temperature of even the deep interior of the Earth is far below the necessary energies for nuclear processes to occur, the rate of underground nuclear decays of unstable uranium, thorium, protactinium, argon, potassium, carbon, and other unstable isotopes has proceeded since the formation of the Earth unchanged. In the atmosphere, spallation of nitrogen, oxygen, argon, and other gases produces a series of radioactive nuclei, such as \({}^{14}C\), with a half-life of 5,715 years. Once \({}^{14}C\) is formed from atmospheric nitrogen, it oxidizes to \({}^{14}CO_2\), which is incorporated into living organisms through carbon fixation by plants and ingestion of those plants by animals. When an organism dies, it stops ingesting \({}^{14}C\), and the measured amount remaining can be used to calculate the time at which the organism died, providing a precise way to date many archaeological finds.
However, surface testing of nuclear weapons in the 1950's has created an atmospheric surplus of \({}^{14}C\) which, although it cannot alter the half-life, does change the baseline for count rates. Wood from trees grown just before 1950 produce about 16 counts per minute (cpm) per gram of carbon (using a Geiger counter, say), while wood 5,715 years old produces 8 cpm, as expected. Modern wood produces substantially more decays per minute, and hence would give a much younger age than actuality. While this doesn't pose much worry for current paleontologists and anthropologists (50 year old trees can be dated by many other methods, and probably not of interest to paleoscientists), it will create an enormous amount of confusion for specialists hundreds or thousands of years from now: there will be an "atomic window" of time when nuclear testing gave artificially large doses of naturally occurring radioisotopes to living organisms, which may cause future archaeologists to date today's specimens as far younger than they should be.
http://www.blog.quantum-immortal.net/plants/2012/08/22/why-indiana-jones-should-hate-nukes
http://www.blog.quantum-immortal.net/plants/2012/08/22/why-indiana-jones-should-hate-nukeshttp://www.blog.quantum-immortal.net/plants/2012/08/22/why-indiana-jones-should-hate-nukeskcolwellPlantsWed, 22 Aug 2012 14:05:04 -0500Algebras in Physics
<p>I realize that I don't update this blog very often, but so what?
I'm the one paying for the domain, so I can post whenever I damn well
please. And tonight, I feel like posting!</p>
<p>I've been working with supersymmetry (SUSY) a lot lately, and
several times people have asked me about what I mean when I refer to
the Lorentz or Poincar? or supersymmetry algebra: what is an algebra?
What do you mean it closes, or is isomorphic to a product algebra, or
generates a Lie group? Well, I had a hard time describing it, so I'm
going to try again tonight:</p>
<p>An <b>algebra</b> is a module over a commutative ring equipped with
a bilinear product <img src="http://www.blog.quantum-immortal.net/imgs/algebra/algebra000.png" width="124" height="20" style="vertical-align: -5px; margin: 0;" alt="[\cdot,\cdot]: A\times A \rightarrow A" />. Okay...what does that mean? Essentially, an algebra extends
the idea of a vector space by including some form of "vector product"
that returns a vector of the original space. Indeed, the vector space
<img src="http://www.blog.quantum-immortal.net/imgs/algebra/algebra001.png" width="20" height="17" style="vertical-align: -1px; margin: 0;" alt="\mathbb{R}^3" /> equipped with the cross product forms
just such an algebra over the field of real numbers. In physics, we
often use a certain type of algebra, a Lie algebra <img src="http://www.blog.quantum-immortal.net/imgs/algebra/algebra002.png" width="10" height="13" style="vertical-align: -4px; margin: 0;" alt="\mathfrak{g}" />, which has an additional product called the
Lie bracket: it must be alternating, meaning
<img src="http://www.blog.quantum-immortal.net/imgs/algebra/algebra003.png" width="67" height="20" style="vertical-align: -5px; margin: 0;" alt="[x,x]=0" /> for all <img src="http://www.blog.quantum-immortal.net/imgs/algebra/algebra004.png" width="40" height="14" style="vertical-align: -4px; margin: 0;" alt="x\in\mathfrak{g}" />,
and must satisfy the Jacobi identity</p>
<center><img src="http://www.blog.quantum-immortal.net/imgs/algebra/algebra005.png" width="252" height="20" alt="[x,[y,z.]]+[y,[z,x]]+[z,[x,y]]=0" /></center>
<p>for all <img src="http://www.blog.quantum-immortal.net/imgs/algebra/algebra006.png" width="71" height="16" style="vertical-align: -5px; margin: 0;" alt="x,y,z\in\mathfrak{g}" />. If the original
algebra was equipped with a product, the the Lie bracket is identified
with the commutator <img src="http://www.blog.quantum-immortal.net/imgs/algebra/algebra007.png" width="161" height="20" style="vertical-align: -5px; margin: 0;" alt="[A,B]=A\cdot B-B\cdot A" />. What
does this have to do with physics? Well, it turns out that elements of
a Lie algebra generate Lie groups, groups that can be infinitesimally
varied, and hence are also manifolds. As such, for some Lie algebra
element (called a generator of the Lie group) <img src="http://www.blog.quantum-immortal.net/imgs/algebra/algebra008.png" width="17" height="14" style="vertical-align: -1px; margin: 0;" alt="X" />, we
define <img src="http://www.blog.quantum-immortal.net/imgs/algebra/algebra009.png" width="24" height="17" style="vertical-align: -1px; margin: 0;" alt="e^{tX}" /> to be an element of the Lie
group <img src="http://www.blog.quantum-immortal.net/imgs/algebra/algebra010.png" width="15" height="14" style="vertical-align: -1px; margin: 0;" alt="G" /> associated with the Lie algebra <img src="http://www.blog.quantum-immortal.net/imgs/algebra/algebra002.png" width="10" height="13" style="vertical-align: -4px; margin: 0;" alt="\mathfrak{g}" />.</p>
<p>An instructive example is the Lie algebra <img src="http://www.blog.quantum-immortal.net/imgs/algebra/algebra011.png" width="38" height="20" style="vertical-align: -5px; margin: 0;" alt="\mathfrak{su}(2)" />, which is the complexification or
universal (double) covering algebra
of <img src="http://www.blog.quantum-immortal.net/imgs/algebra/algebra012.png" width="37" height="20" style="vertical-align: -5px; margin: 0;" alt="\mathfrak{so}(3)" />, the angular momentum algebra. Its
generators, <img src="http://www.blog.quantum-immortal.net/imgs/algebra/algebra013.png" width="64" height="20" style="vertical-align: -7px; margin: 0;" alt="J_x,J_y,J_z" /> satisfy the algebra</p>
<center><img src="http://www.blog.quantum-immortal.net/imgs/algebra/algebra014.png" width="102" height="60" alt="\begin{array}{l} \left[J_x,J_y\right] = i \hbar J_z\\ \left[J_y,J_z\right] = i \hbar J_x\\ \left[J_z,J_x\right] = i \hbar J_y \end{array}" /></center>
<p>The corresponding Lie group is <img src="http://www.blog.quantum-immortal.net/imgs/algebra/algebra015.png" width="46" height="20" style="vertical-align: -5px; margin: 0;" alt="SU(2)" /> or, if you
prefer, <img src="http://www.blog.quantum-immortal.net/imgs/algebra/algebra016.png" width="46" height="20" style="vertical-align: -5px; margin: 0;" alt="SO(3)" />, the group of orthogonal matrices of
unit determinant. The elements of this algebra generate rotations in
three dimensional space. This is a subalgebra of the Lorentz
algebra <img src="http://www.blog.quantum-immortal.net/imgs/algebra/algebra017.png" width="53" height="20" style="vertical-align: -5px; margin: 0;" alt="\mathfrak{so}(3,1)" />, whose generators obey
the Lie bracket</p>
<center><img src="http://www.blog.quantum-immortal.net/imgs/algebra/algebra018.png" width="401" height="20" alt="[M^{\mu\nu},M^{\rho\sigma}]=i\left(\eta^{\nu\rho}M^{\mu\sigma}-\eta^{\mu\rho}M^{\nu\sigma}-\eta^{\nu\sigma}M^{\mu\rho}+\eta^{\mu\sigma}M^{\nu\rho}\right)" /></center>
<p>Here, <img src="http://www.blog.quantum-immortal.net/imgs/algebra/algebra019.png" width="24" height="19" style="vertical-align: -5px; margin: 0;" alt="\eta^{\mu\nu}" /> is the Minkowski metric of
special relativity, which is the 4 by 4 identity matrix except the
first entry is -1 (the time component). The generators are related
to the <img src="http://www.blog.quantum-immortal.net/imgs/algebra/algebra020.png" width="15" height="17" style="vertical-align: -4px; margin: 0;" alt="J_i" />
by <img src="http://www.blog.quantum-immortal.net/imgs/algebra/algebra021.png" width="97" height="23" style="vertical-align: -7px; margin: 0;" alt="J_i=\tfrac{1}{2}\epsilon_{ijk}M_{jk}" />
and <img src="http://www.blog.quantum-immortal.net/imgs/algebra/algebra022.png" width="68" height="17" style="vertical-align: -4px; margin: 0;" alt="K_i=M_{0i}" />, which generate the boosts in each
direction. If we group them
as <img src="http://www.blog.quantum-immortal.net/imgs/algebra/algebra023.png" width="119" height="23" style="vertical-align: -7px; margin: 0;" alt="A_i=\tfrac{1}{2}(J_i+iK_i)" />
and <img src="http://www.blog.quantum-immortal.net/imgs/algebra/algebra024.png" width="120" height="23" style="vertical-align: -7px; margin: 0;" alt="B_i=\tfrac{1}{2}(J_i-iK_i)" />, then we find
that since</p>
<center><img src="http://www.blog.quantum-immortal.net/imgs/algebra/algebra025.png" width="140" height="60" alt="\begin{array}{l} \left[J_i,J_j\right]=i\epsilon_{ijk}J_k\\ \left[J_i,K_j\right]=i\epsilon_{ijk}K_k\\ \left[K_i,K_j\right]=-i\epsilon_{ijk}K_k \end{array}" /></center>
<p>we have</p>
<center><img src="http://www.blog.quantum-immortal.net/imgs/algebra/algebra026.png" width="123" height="60" alt="\begin{array}{l} \left[A_i,A_j\right]=i\epsilon_{ijk}A_k\\ \left[B_i,B_j\right]=i\epsilon_{ijk}B_k\\ \left[A_i,B_j\right]=0 \end{array}" /></center>
<p>So, we get two copies of an <img src="http://www.blog.quantum-immortal.net/imgs/algebra/algebra011.png" width="38" height="20" style="vertical-align: -5px; margin: 0;" alt="\mathfrak{su}(2)" />
algebra, meaning that locally, we have the
isomorphism <img src="http://www.blog.quantum-immortal.net/imgs/algebra/algebra027.png" width="169" height="20" style="vertical-align: -5px; margin: 0;" alt="\mathfrak{so}(3,1)\cong\mathfrak{su}(2)\oplus\mathfrak{su}(2)" />!
Furthermore, there is a
homeomorphism <img src="http://www.blog.quantum-immortal.net/imgs/algebra/algebra028.png" width="127" height="20" style="vertical-align: -5px; margin: 0;" alt="\mathfrak{so}(3,1)\simeq\mathfrak{sl}(2,\mathbb{C})" />. To
see this, take a 4 vector and a corresponding 2 by 2 matrix:</p>
<center><img src="http://www.blog.quantum-immortal.net/imgs/algebra/algebra029.png" width="258" height="62" alt="\begin{array}{l} X=x_{\mu}e^{\mu}=(x_0,x_1,x_2,x_3)\\ \tilde{X}=x_{\mu}\sigma^{\mu}=\left(\begin{array}{cc} x_0+x_3 & x_i-ix_2\\ x_1+ix_2 & x_0-x_3\end{array}\right) \end{array}" /></center>
<p>where <img src="http://www.blog.quantum-immortal.net/imgs/algebra/algebra030.png" width="19" height="14" style="vertical-align: -1px; margin: 0;" alt="\sigma^{\mu}" /> is the 4 vector of Pauli
matrices (generating elements in the 2 dimensional spinor
representation of <img src="http://www.blog.quantum-immortal.net/imgs/algebra/algebra011.png" width="38" height="20" style="vertical-align: -5px; margin: 0;" alt="\mathfrak{su}(2)" />:</p>
<center><img src="http://www.blog.quantum-immortal.net/imgs/algebra/algebra031.png" width="392" height="44" alt="\sigma^{\mu}=\left\{\left(\begin{array}{cc} 1 & 0\\ 0 & 1\end{array}\right),\left(\begin{array}{cc} 0 & 1\\ 1 & 0\end{array}\right),\left(\begin{array}{cc} 0 & -i\\ i & 0\end{array}\right),\left(\begin{array}{cc} 1 & 0\\ 0 & -1\end{array}\right)\right\}" /></center>
<p>Transformations <img src="http://www.blog.quantum-immortal.net/imgs/algebra/algebra032.png" width="69" height="14" style="vertical-align: -1px; margin: 0;" alt="X\mapsto\Lambda X" />
under <img src="http://www.blog.quantum-immortal.net/imgs/algebra/algebra033.png" width="61" height="20" style="vertical-align: -5px; margin: 0;" alt="SO(3,1)" /> leaves the
square <img src="http://www.blog.quantum-immortal.net/imgs/algebra/algebra034.png" width="178" height="21" style="vertical-align: -5px; margin: 0;" alt="|X|^2=x_0^2-x_1^2-x_2^2-x_3^2" /> invariant,
while the mapping <img src="http://www.blog.quantum-immortal.net/imgs/algebra/algebra035.png" width="92" height="19" style="vertical-align: -1px; margin: 0;" alt="\tilde{X}\mapsto N\tilde{X}N^{\dagger}" /> with <img src="http://www.blog.quantum-immortal.net/imgs/algebra/algebra036.png" width="98" height="20" style="vertical-align: -5px; margin: 0;" alt="N\in SL(2,\mathbb{C})" /> preserves the
determinant <img src="http://www.blog.quantum-immortal.net/imgs/algebra/algebra037.png" width="190" height="23" style="vertical-align: -5px; margin: 0;" alt="\det\tilde{X}=x_0^2-x_1^2-x_2^2-x_3^2" />. We
see the homomorphism, as well as the fact that
since <img src="http://www.blog.quantum-immortal.net/imgs/algebra/algebra038.png" width="59" height="16" style="vertical-align: -3px; margin: 0;" alt="N=\pm 1" /> both correspond
to <img src="http://www.blog.quantum-immortal.net/imgs/algebra/algebra039.png" width="43" height="14" style="vertical-align: -1px; margin: 0;" alt="\Lambda=1" />, the map is 2 to 1, and
since <img src="http://www.blog.quantum-immortal.net/imgs/algebra/algebra040.png" width="63" height="20" style="vertical-align: -5px; margin: 0;" alt="SL(2,\mathbb{C})" /> is simply connected, it is
the universal covering group.</p>
<p>Well, that's it for now...hopefully this was interesting to at
least one person. If so, I'll continue with the Poincare group and
its representations. Goodnight all!</p>
http://www.blog.quantum-immortal.net/physics/2011/08/27/algebras-in-physics
http://www.blog.quantum-immortal.net/physics/2011/08/27/algebras-in-physicshttp://www.blog.quantum-immortal.net/physics/2011/08/27/algebras-in-physicskcolwellPhysicsSat, 27 Aug 2011 00:01:06 -0500Monday Magnoliophyte: Rutabaga
<p>Continuing with root vegetables, the rutabaga (or swede as it's known to other English
speaking countries) is a close relative of the turnip, actually originating as a cross
between the cabbage and the turnip. It was first noticed in the 1620's growing wild in
Sweden, but likely originated much earlier in the Russian/Scandinavian region.</p>
<center><img src="http://www.quantum-immortal.net/blog/imgs/plants/rutabaga.JPG"
alt="Rutabaga" /><br />
Eudicots; Brassicales; Brassicaceae; <em>Brassica napobrassica</em></center>
<p>Perhaps most interesting (to me at least) is the vegetable's taxonomic history. Three
ancestral species of <em>Brassica</em> (<em>rapa</em>, the turnip, <em>nigra</em>, black
mustard, and <em>oleracea</em>, cabbage/broccoli/kale/Brussels sprouts/cauliflower) were
able to interbreed, creating 3 allotetraploid (having four genomic copies from two different
ancestral species) species: <em>juncea</em> (Indian mustard), <em>napus</em> or
<napobrassica </em> (rutabagas), and <em>carinata</em> (Ethiopian mustard). This
hybridization (shown below) is called the Triangle of U after Korean botanist Woo Jang-choon
(apparently mistranslated).</napobrassica></p>
<center><img src="http://www.quantum-immortal.net/blog/imgs/plants/triangleU.PNG"
alt="Rutabaga" /><br />
Triangle of U, genetic relationship between the six <em>Brassica</em> species</center>
<p>While most organisms are diploid (containing two homologous (paired) sets of chromosomes,
one from each parent), polyploidy (having more than two sets) is sometimes observed,
especially in plants. For instance, seedless watermelons are triploid, kiwifruit and
sequoias are hexaploid, and certain strawberries are decaploid. It is estimated that as many
as 80% of plant species are polyploid, likely due to the ability of plants to survive the
various mechanisms by which polyploidy occurs, such as meiotic failures or fusion of
unreduced gametes. In animals, polyploidy is more common among fishes and amphibians, with
some frogs having as many as twelve sets of chromosomes.</p>
<p>At any rate, rutabagas are cooked in many ways, from being roasted with meats to baked in
casseroles or boiled in soups. They are also often mashed or pure?d, and like turnips have
been used since inaugural Halloween celebrations to make Jack-o-laneterns. The bitterness
sometimes found in rutabagas is due to the presence of cyanoglucoside, which inhibits
thyroid iodine transport, and may at high doses lead to hypothyroidism. The percieved
bitterness is governed by a gene affecting one of our tastebud receptors, which also leads
to percieved bitterness in turnip, broccoli, horseradish, and watercress. Luckily, I haven't
yet found any of these vegetables bitter, so I believe I won't have to cross rutabagas off
of my "edibles" list when I get a chance to eat them!</p>
http://www.blog.quantum-immortal.net/plants/2011/02/12/monday-magnoliophyte-rutabaga
http://www.blog.quantum-immortal.net/plants/2011/02/12/monday-magnoliophyte-rutabagahttp://www.blog.quantum-immortal.net/plants/2011/02/12/monday-magnoliophyte-rutabagakcolwellPlantsSat, 12 Feb 2011 13:08:50 -0600Monday Magnoliophyte: Turnip
<p>Turnips are root vegetables grown in temperate climate for their white, fleshy taproot. The bulb develops just at the level of the soil, with the above-ground part often being purple or reddish in color. Turnip leaves emerge directly from the top of the root, and are often eaten themselves (sometimes called "Chinese cabbage"). Smaller turnips are employed in salads or as garnish (like radishes), while the larger ones are often used as livestock feed. While the root is high in vitamin C, the leaves contain high amounts of vitamins C, A, and K, as well as calcium and folate.</p>
<center><img src="http://www.quantum-immortal.net/blog/imgs/plants/turnip.jpg" alt="Turnip" /><br />
Eudicots; Brassicales; Brassicaceae; <em>Brassica rapa</em></center>
<p>The vegetable traces its origin to early Hellenistic times, and it is likely that the hot wild forms were domesticated in Asia Minor. Now it is grown in temperate climates around the world, and has even become incorporated into human culture: Halloween festivals in Ireland and Scotland feature turnip lanterns (<i>Samhnag</i>) with carved faces placed in windows to ward off harmful spirits. Food-wise, they can be baked or mashed or put into soups and stews, though I've yet to try many recipes out.</p>
http://www.blog.quantum-immortal.net/plants/2011/02/07/monday-magnoliophyte-turnip
http://www.blog.quantum-immortal.net/plants/2011/02/07/monday-magnoliophyte-turniphttp://www.blog.quantum-immortal.net/plants/2011/02/07/monday-magnoliophyte-turnipkcolwellPlantsMon, 07 Feb 2011 19:31:47 -0600Monday Magnoliophyte: Chervil
<p>Chervil is an annual herb related to carrots and parsley. Primarily grown for seasoning mild dishes, like poultry, seafood, eggs, and soups, it is sometimes known as "gourmet's parsley". Native to the Caucasus, it was spread throughout the Roman Empire. Some types of chervil are grown as root vegetables (easy to understand given their relationship with carrots); though popular in the 1800's, it is now virtually forgotten in all but French cuisine.</p>
<center><img src="http://www.quantum-immortal.net/blog/imgs/plants/chervil.jpg" alt="Chervil" /><br />
Eudicots; Apiales; Apiaceae; <em>Anthriscus cerefolium</em></center>
<p>Like many herbs, it is thought that chervil possesses many medical benefits, such as being a digestive aid or for lowering blood pressure. Supposedly, infusing it with vinegar cures hiccups, and it can be used as a slug repellant. For myself, I've always enjoyed chervil with eggs, and I find that to be its natural flavor setting. I'm growing my first batch now, and am eager to try it fresh from the plant.</p>
http://www.blog.quantum-immortal.net/plants/2011/01/31/chervil
http://www.blog.quantum-immortal.net/plants/2011/01/31/chervilhttp://www.blog.quantum-immortal.net/plants/2011/01/31/chervilkcolwellPlantsMon, 31 Jan 2011 13:42:27 -0600Monday Magnoliophyte: Sorrel
<p>First Monday Magnoliophyte in a long while, I know, but I'm going to try again to keep it up (perhaps by writing them ahead of time). This week I'd like to talk about sorrel, a perennial herb native to Europe, sometimes called spinach dock due to its similarity in appearance to the more common leafy vegetable. It belongs to the same family as rhubarb, and is used in many salads, soups, and stews, much like chard or spinach. A distantly related red Carribean variety exists that is used in flavoring jellies, tarts, and, certain drinks.</p>
<center><img src="http://www.quantum-immortal.net/blog/imgs/plants/sorrel.jpg" alt="Sorrel" /><br />
Eudicots; Caryophyllales; Polygonaceae; <em>Rumex acetosa</em></center>
<p>All sorrels contain poisonous oxalic acid, and as such the flavor can range from what is described as "kiwifruit" in younger shoots, to more acidic older leaves. In large quantities, the leaves can prove fatal. The plant has been cultivated for centuries, from Eastern Europe through Africa. I've just started growing some of my own hydroponically, so we'll see how delicious (or awful) it really is!</p>
http://www.blog.quantum-immortal.net/plants/2011/01/24/monday-magnoliophyte-sorrel
http://www.blog.quantum-immortal.net/plants/2011/01/24/monday-magnoliophyte-sorrelhttp://www.blog.quantum-immortal.net/plants/2011/01/24/monday-magnoliophyte-sorrelkcolwellPlantsMon, 24 Jan 2011 15:30:32 -0600Quantum Statistical Mechanics
<p>Okay, I realize that is has been a long time since last posting (over a year), but life has been busy for me and it's hard to find the time sometimes to keep up on these things. Recently, however, I was asked a question about fermions vs. bosons from a mathematician. I relished the opportunity to explain an interesting physical topic without having to go easy on the math, but found myself doing a poor job of rigorously explaining it besides the usual spin/occupation number/symmetrization explanation. I knew what the two particle types were, but completely forgot how we came to derive their statistical properties (my friend is a statistician, so he was particularly interested in this topic). So I refreshed my memory, and would now like to explain it thoroughly.</p>
<p>It would first be great if we understood <i>why</i> bosons and fermions behave differently than their classical counterpart particles. What is the underlying difference? The source of the issue is <i>indistinguishability</i>. Whereas in classical mechanics, we can talk about THIS mass and THAT mass separately, but in the quantum picture, we simply cannot label one electron THIS one, and one THAT one. All quantum particles are exactly the same; I can't paint one red and one blue to tell them apart. As such, I cannot write the composite wavefunction as (ignoring spin) <img src="http://www.blog.quantum-immortal.net/imgs/qstatmech/qstatmech000.png" width="169" height="20" style="vertical-align: -5px; margin: 0;" alt="\psi(r_1,r_2)=\psi_a(r_1)\psi_b(r_2)" />, separating out each particle distinctly. However, we can create a wavefunction that doesn't choose which is in which state:</p>
<center><img src="http://www.blog.quantum-immortal.net/imgs/qstatmech/qstatmech001.png" width="308" height="20" alt="\psi_{\pm}(r_1,r_2)=C[\psi_a(r_1)\psi_b(r_2)\pm\psi_b(r_1)\psi_a(r_2)]" /></center>
<p>So, two identical particles can be written as a linear combination of how they could be distinguished. Those with the plus sign are called <b>bosons</b> after the Indian physicist Satyendra Bose, while those with the minus sign are called <b>fermions</b> after Italian physicist Enrico Fermi. Using relativity, one can prove the <b>spin-statistics theorem</b>, which adds the additional information that bosons are integer spins, while fermions are half-integer. Also notice that the above implies the <b>Pauli exclusion principle</b>, because if two fermions occupied the same state, we would have</p>
<center><img src="http://www.blog.quantum-immortal.net/imgs/qstatmech/qstatmech002.png" width="341" height="20" alt="\psi_-(r_1,r_2)=C[\psi_a(r_1)\psi_a(r_2)-\psi_a(r_1)\psi_a(r_2)]=0" /></center>
<p>This restriction on fermions accounts for much of what we observe in nature, from the electronic structure of atoms to neutron stars. The statistics of both types of indistinguishable particles can be summed up by stating the (anti)-symmetrization requirement: <img src="http://www.blog.quantum-immortal.net/imgs/qstatmech/qstatmech003.png" width="154" height="20" style="vertical-align: -5px; margin: 0;" alt="\psi(r_1,r_2)=\pm\psi(r_2,r_1)" />.</p>
<p>Now we can examine what happens when we have lots of these particles in a potential, say with energies <img src="http://www.blog.quantum-immortal.net/imgs/qstatmech/qstatmech004.png" width="93" height="19" style="vertical-align: -5px; margin: 0;" alt="E_1, E_2, E_3, ..." /> with degeneracies <img src="http://www.blog.quantum-immortal.net/imgs/qstatmech/qstatmech005.png" width="82" height="19" style="vertical-align: -5px; margin: 0;" alt="d_1, d_2, d_3, ..." />. Suppose there are <img src="http://www.blog.quantum-immortal.net/imgs/qstatmech/qstatmech006.png" width="17" height="14" style="vertical-align: -1px; margin: 0;" alt="N" /> in all (all the same mass), and we distribute them so that there are <img src="http://www.blog.quantum-immortal.net/imgs/qstatmech/qstatmech007.png" width="21" height="17" style="vertical-align: -4px; margin: 0;" alt="N_1" /> with energy <img src="http://www.blog.quantum-immortal.net/imgs/qstatmech/qstatmech008.png" width="20" height="17" style="vertical-align: -4px; margin: 0;" alt="E_1" />, <img src="http://www.blog.quantum-immortal.net/imgs/qstatmech/qstatmech009.png" width="21" height="17" style="vertical-align: -4px; margin: 0;" alt="N_2" /> with energy <img src="http://www.blog.quantum-immortal.net/imgs/qstatmech/qstatmech010.png" width="20" height="17" style="vertical-align: -4px; margin: 0;" alt="E_2" />, and so on. The number of different ways this can be achieved, <img src="http://www.blog.quantum-immortal.net/imgs/qstatmech/qstatmech011.png" width="120" height="20" style="vertical-align: -5px; margin: 0;" alt="\Omega(N_1,N_2,N_3,...)" /> depends on whether the particles are distinguishable, identical fermions, or identical bosons, labeled <img src="http://www.blog.quantum-immortal.net/imgs/qstatmech/qstatmech012.png" width="82" height="19" style="vertical-align: -5px; margin: 0;" alt="\Omega_D, \Omega_F, \Omega_B" />. For distinguishable particles, we first ask how many ways we can select <img src="http://www.blog.quantum-immortal.net/imgs/qstatmech/qstatmech007.png" width="21" height="17" style="vertical-align: -4px; margin: 0;" alt="N_1" /> particles from the <img src="http://www.blog.quantum-immortal.net/imgs/qstatmech/qstatmech006.png" width="17" height="14" style="vertical-align: -1px; margin: 0;" alt="N" /> available to place in the first "bin" <img src="http://www.blog.quantum-immortal.net/imgs/qstatmech/qstatmech008.png" width="20" height="17" style="vertical-align: -4px; margin: 0;" alt="E_1" />. The answer is the combination </p>
<center><img src="http://www.blog.quantum-immortal.net/imgs/qstatmech/qstatmech013.png" width="166" height="42" alt="\binom{N}{N_1}=\frac{N!}{N_1!(N-N_1)!}" /></center>
<p>Inside of this bin, we can arrange the particles into <img src="http://www.blog.quantum-immortal.net/imgs/qstatmech/qstatmech014.png" width="16" height="17" style="vertical-align: -4px; margin: 0;" alt="d_1" /> different choices, so there is a total of</p>
<center><img src="http://www.blog.quantum-immortal.net/imgs/qstatmech/qstatmech015.png" width="98" height="45" alt="\frac{N!d_1^{N_1}}{N_1!(N-N_1)!}" /></center>
<p>options. The same goes for bin two, except now there are only <img src="http://www.blog.quantum-immortal.net/imgs/qstatmech/qstatmech016.png" width="68" height="20" style="vertical-align: -5px; margin: 0;" alt="(N-N_1)" /> options. Hence, repeating the procedure, we obtain</p>
<center><img src="http://www.blog.quantum-immortal.net/imgs/qstatmech/qstatmech017.png" width="686" height="49" alt="\Omega_D(N_1,N_2,N_3,...)=\frac{N!d_1^{N_1}}{N_1!(N-N_1)!}\frac{(N-N_1)!d_2^{N_2}}{N_2!(N-N_1-N_2)!}\frac{(N-N_1-N_2)!d_3^{N_3}}{N_3!(N-N_1-N_2-N_3)!}\cdots=N!\prod_{i=1}^{\infty}\frac{d_i^{N_i}}{N_i!}" /></center>
<p>Next we consider the case of fermions. This one is easy: because they can't be distinguished, it doesn't matter which particle is in which state. There is just one <i>N</i>-particle state, and only one particle can occupy each state (Pauli exclusion principle). Since there are </p>
<center><img src="http://www.blog.quantum-immortal.net/imgs/qstatmech/qstatmech018.png" width="41" height="42" alt="\binom{d_i}{N_i}" /></center>
<p>ways to choose the states in the <i>n</i>th bin, we have</p>
<center><img src="http://www.blog.quantum-immortal.net/imgs/qstatmech/qstatmech019.png" width="269" height="48" alt="\Omega_F(N_1,N_2,N_3,...)=\prod_{i=1}^{\infty}\frac{d_i!}{N_i!(d_i-N_i)!}" /></center>
<p>The hardest case is for bosons, where there is no restriction on the number of particles that can occupy each state. It really comes down to distributing <img src="http://www.blog.quantum-immortal.net/imgs/qstatmech/qstatmech020.png" width="19" height="17" style="vertical-align: -4px; margin: 0;" alt="N_i" /> particles into <img src="http://www.blog.quantum-immortal.net/imgs/qstatmech/qstatmech021.png" width="15" height="17" style="vertical-align: -4px; margin: 0;" alt="d_i" /> partitions, implying we should use</p>
<center><img src="http://www.blog.quantum-immortal.net/imgs/qstatmech/qstatmech022.png" width="103" height="42" alt="\binom{N_i+d_i-1}{N_i}" /></center>
<p>Hence</p>
<center><img src="http://www.blog.quantum-immortal.net/imgs/qstatmech/qstatmech023.png" width="276" height="48" alt="\Omega_B(N_1,N_2,N_3,...)=\prod_{i=1}^{\infty}\frac{(N_i+d_i-1)!}{N_i!(d_i-1)!}" /></center>
<p>To determine the most probable configuration, we want to maximize the function <img src="http://www.blog.quantum-immortal.net/imgs/qstatmech/qstatmech024.png" width="14" height="14" style="vertical-align: -1px; margin: 0;" alt="\Omega" /> subject to the two constraints</p>
<center><img src="http://www.blog.quantum-immortal.net/imgs/qstatmech/qstatmech025.png" width="83" height="48" alt="\sum_{i=1}^{\infty}N_i=N" /> and <img src="http://www.blog.quantum-immortal.net/imgs/qstatmech/qstatmech026.png" width="97" height="48" alt="\sum_{i=1}^{\infty}N_iE_i=E" /></center>
<p>This is best done using Lagrange multipliers, where we construct a new function</p>
<center><img src="http://www.blog.quantum-immortal.net/imgs/qstatmech/qstatmech027.png" width="340" height="53" alt="G=\ln\Omega+\alpha\left[N-\sum_{i=1}^{\infty}N_i\right]+\beta\left[E-\sum_{i=1}^{\infty}N_iE_i\right]" /></center>
<p>and set the <img src="http://www.blog.quantum-immortal.net/imgs/qstatmech/qstatmech020.png" width="19" height="17" style="vertical-align: -4px; margin: 0;" alt="N_i" /> derivative to zero. To do this, we assume Stirling's approximation,</p>
<center><img src="http://www.blog.quantum-immortal.net/imgs/qstatmech/qstatmech028.png" width="127" height="20" alt="\ln(z!)\approx z\ln z-z" /></center>
<p>for <img src="http://www.blog.quantum-immortal.net/imgs/qstatmech/qstatmech029.png" width="44" height="16" style="vertical-align: -3px; margin: 0;" alt="z\gg 1" />. This will be essentially true as long as the occupation numbers <img src="http://www.blog.quantum-immortal.net/imgs/qstatmech/qstatmech020.png" width="19" height="17" style="vertical-align: -4px; margin: 0;" alt="N_i" /> are very large (large enough to assume that statistics will work at all). In the identical fermion case, we must also assume that the degeneracies <img src="http://www.blog.quantum-immortal.net/imgs/qstatmech/qstatmech021.png" width="15" height="17" style="vertical-align: -4px; margin: 0;" alt="d_i" /> are very large as well (not true in one dimension, but the degeneracies in three dimensions usually increase rapidly with the energy level. In the hydrogen atom, for example, <img src="http://www.blog.quantum-immortal.net/imgs/qstatmech/qstatmech030.png" width="56" height="20" style="vertical-align: -4px; margin: 0;" alt="d_n=n^2" />.) Using this approximation, we get for the distinguishable case</p>
<center><img src="http://www.blog.quantum-immortal.net/imgs/qstatmech/qstatmech031.png" width="489" height="48" alt="G\approx\sum_{i=1}^{\infty}[N_i\ln d_i-N_i\ln N_i+N_i-\alpha N_i-\beta E_iN_i]+\ln N!+\alpha N+\beta E" /></center>
<p>so that</p>
<center><img src="http://www.blog.quantum-immortal.net/imgs/qstatmech/qstatmech032.png" width="214" height="39" alt="\frac{\partial G}{\partial N_i}=\ln d_i-\ln N_i-\alpha-\beta E_i" /></center>
<p>which, when equal to zero, gives us the most probable occupation numbers of each energy level to be</p>
<center><img src="http://www.blog.quantum-immortal.net/imgs/qstatmech/qstatmech033.png" width="117" height="21" alt="N_i=d_i e^{-(\alpha+\beta E_i)}" /></center>
<p>This is known as the Maxwell-Boltzmann distribution, applicable only to distinguishable particles. Doing the same procedure for fermions, we obtain</p>
<center><img src="http://www.blog.quantum-immortal.net/imgs/qstatmech/qstatmech034.png" width="126" height="38" alt="N_i=\frac{d_i}{e^{(\alpha+\beta E_i)}+1}" /></center>
<p>while for bosons we get</p>
<center><img src="http://www.blog.quantum-immortal.net/imgs/qstatmech/qstatmech035.png" width="127" height="38" alt="N_i=\frac{d_i}{e^{(\alpha+\beta E_i)}-1}" /></center>
<p>Comparing these results with the equipartition theorem, we conclude that our Lagrange multipliers must be defined as <img src="http://www.blog.quantum-immortal.net/imgs/qstatmech/qstatmech036.png" width="67" height="39" style="vertical-align: -16px; margin: 0;" alt="\beta=\frac{1}{k_BT}" /> and <img src="http://www.blog.quantum-immortal.net/imgs/qstatmech/qstatmech037.png" width="84" height="41" style="vertical-align: -16px; margin: 0;" alt="\alpha=-\frac{\mu(T)}{k_BT}" /> with <img src="http://www.blog.quantum-immortal.net/imgs/qstatmech/qstatmech038.png" width="12" height="14" style="vertical-align: -5px; margin: 0;" alt="\mu" /> the chemical potential of the system (essentially measuring how much the particles want to move down the concentration gradient). Hence we have the distributions for the three classes of particles</p>
<center><img src="http://www.blog.quantum-immortal.net/imgs/qstatmech/qstatmech039.png" width="311" height="67" alt="n(\epsilon)=\left\{\begin{array}{ll} e^{-(\epsilon-\mu)/k_BT} & \text{Maxwell-Boltzmann}\\ \frac{1}{e^{(\epsilon-\mu)/K_BT}+1} & \text{Fermi-Dirac}\\ \frac{1}{e^{(\epsilon-\mu)/K_BT}-1} & \text{Bose-Einstein} \end{array}\right." /></center>
<p>From these, lots of physics can be discussed, such as Fermi energies, thermodynamics, Bose-Einstein condensation, the blackbody spectrum, neutron stars, white dwarfs, harmonic oscillators...indeed the great majority of statistical mechanics.</p>
http://www.blog.quantum-immortal.net/physics/2011/01/21/quantum-statistical-mechanics
http://www.blog.quantum-immortal.net/physics/2011/01/21/quantum-statistical-mechanicshttp://www.blog.quantum-immortal.net/physics/2011/01/21/quantum-statistical-mechanicskcolwellPhysicsFri, 21 Jan 2011 22:03:05 -0600Monday Magnoliophyte: Pineapple
<p>Pineapples are herbaceous perennial bromeliads that produce sweet "multiple fruits", in that what we perceive as a single fleshy fruit body is actually a compression of adjacent, helically arranged fruits. The plant can grow to 5 feet tall, and is primarily pollinated by hummingbirds. In Hawaii, due to the extent of the agricultural cultivation of the plant, hummingbird importation is forbidden. The name "pineapple" was actually first recorded in 1398 to describe what we now call "pine cones". The term was redefined in 1664 after European explorers had discovered the tropical fruit, native to southern Brazil and Paraguay. We largely owe the modern distribution of pineapple to the Spanish, who spread it outside of Latin America (Columbus found it in the Caribbean) to Hawaii, the Philippines, Guam, and Zimbabwe. Pineapples are one of the relatively few plants that carry out crassulacean acid metabolism (CAM photosynthesis), whereby carbon dioxide is stored at night as the four-carbon acid malate and then released near the enzyme RuBisCO during the day, improving the efficiency of photosynthesis.</p>
<center><img src="http://www.quantum-immortal.net/blog/imgs/plants/pineapple.jpg" alt="Pineapple" /><br />
Monocots; Commelinids; Poales; Bromeliaceae; <em>Ananas comosus</em></center>
<p>Pineapples contain large amounts of the protease bromelain, and as such raw pineapple should not be consumed by those suffering from various protein deficiencies, nor those with hemophilia, kidney, or liver diseases (or the occasional canker sore, as I'm well aware!). Other than that, the fruit is high in vitamin C and manganese, and helps with some intestinal disorders and may induce labor when a child is overdue. Due to the presence of the protease and the natural acidity of the fruit, pineapple makes a wonderful marinade for meats as a tenderizer, and is commonly used in pork dishes. It's sweetness, though, helps it get into many desserts, juices, smoothies, salads, etc. as well.</p>
http://www.blog.quantum-immortal.net/plants/2009/11/16/monday-magnoliophyte-pineapple
http://www.blog.quantum-immortal.net/plants/2009/11/16/monday-magnoliophyte-pineapplehttp://www.blog.quantum-immortal.net/plants/2009/11/16/monday-magnoliophyte-pineapplekcolwellPlantsMon, 16 Nov 2009 15:17:03 -0600Monday Magnoliophyte: Basil
<p>Basil is a low-growing annual herb of the mint (Lamiaceae) family, used frequently in Italian and Southeast Asian cuisine. The plant is native to South and Southwest Asia, having been cultivated there for over 5,000 years. Due to the abundance of phytochemicals in varying quantities, many cultivars exist with intrinsically different scents and flavors, depending on the chemical concentrations. The standard "sweet" or "Genovese" basil scent comes from eugenol, a phenylpropanoid compound also present in cloves, while lemon basil contains high amounts of citral, and licorice basil contains anethole. There are over 100 types of basil, each with its own unique fragrance.</p>
<center><img src="http://www.quantum-immortal.net/blog/imgs/plants/basil.jpg" alt="Basil" /><br />
Eudicots; Asterids; Lamiales; Lamiaceae; <em>Ocimum basilicum</em></center>
<p>The word <em>basil</em> comes from the Greek word for "king", and was believed to have grown where St. Constantine and Helen discovered the biblical cross. Other religions around the world place importance on the plant, involving it with ritual and belief. The name is fitting, considering its designation as "the king of herbs" by many culinary experts. While many dishes use the herb as a flavoring additive, Italian pesto requires large amounts of the leaves blended with oil and pine nuts to create a thick sauce, and sometimes basil is used in fruit jams and jellies. And of course, as with many aromatic herbs, the plant has several health benefits, such as having antioxidant and anti-microbial properties.</p>
<p>On a cultivation side note, I grow a great deal of basil, and not always by choice; the plant, when exposed to the right amount of light, watering, and pruning, can grow VERY rapidly, often to the point of over-shading nearby herbs. I suppose this is not actually a problem, as it just means I need to make more pesto! Below is a recipe:</p>
<strong>Italian Pesto</strong>
<ul><li>2 cups fresh Genovese (sweet) basil leaves</li>
<li>1/3 cup pine nuts</li>
<li>3 cloves garlic (I like garlic)</li>
<li>1/2 cup olive oil</li>
<li>1/2 cup Parmesan cheese</li></ul>
Pulse garlic with pine nuts in food processor. Add basil, and pulse again. While on, pour oil in steady stream into mixture, scraping down sides with spatula (don't let it hit the blades!). Add cheese and pulse until blended, with dash of salt and pepper.
http://www.blog.quantum-immortal.net/plants/2009/11/09/monday-magnoliophyte-basil
http://www.blog.quantum-immortal.net/plants/2009/11/09/monday-magnoliophyte-basilhttp://www.blog.quantum-immortal.net/plants/2009/11/09/monday-magnoliophyte-basilkcolwellPlantsMon, 09 Nov 2009 14:25:08 -0600The Case for "Alright"
<p>After watching the recent South Park episode on the revised use of the word "faggot", I was reminded of how alive language is, and how neologisms and alteration of meaning can take place in a relatively short time frame. This got me thinking about the phrase "all right", which my uncle is always keen on reminding me is the accepted grammatically correct spelling. I admit that in formal writing, one should use the two word phrase. However, I do see a reason why the less common (but becoming more so) word "alright" should be adopted as a "real" word in its own right. And keep in mind that unlike most other languages of the world, English has no national or international academy or regulatory body that determines worthiness or correctness of words; there is only a loose confederation of dictionary publishers and a collection of traditionalists. Not one legal policy or official statute exists concerning purity of English (a far cry from French and Mandarin, whose language elite are, to put it bluntly, xenophobic and parochial).</p>
<p>The need for "alright" arises in the following context:</p>
<center><strong>"Your answers to the problems were all right."</strong></center>
<p>Here, there is some ambiguity over whether the speaker means that the answers were collectively correct (i.e., none of them were wrong), or that the solutions were satisfactory or mediocre. The difference can be ascribed to the fact that, in the former case, the two word phrase may be broken up: "All of your answers to the problems were right." In the latter case, "alright" should be used to imply that the answers were acceptable, though perhaps did not meet higher expectations, and cannot be recast as a split phrase. I feel that this difference, as well as the growing usage of the word in informal writing and dialogue, necessitates the acceptance of "alright" as a legitimate English word in the near future, if not already.</p>
http://www.blog.quantum-immortal.net/general/2009/11/05/the-case-for-alright
http://www.blog.quantum-immortal.net/general/2009/11/05/the-case-for-alrighthttp://www.blog.quantum-immortal.net/general/2009/11/05/the-case-for-alrightkcolwellGeneralThu, 05 Nov 2009 21:23:48 -0600Monday Magnoliophyte: Eggplant
<p>The plant grows as a small tree or woody vine and produces a fleshy berry with small edible seeds. The seeds (and indeed much of the fruit itself) can be bitter due to the presence of nicotinoid alkaloids, which are often found in Solanaceae (Nightshade family) plants like tomatoes, potatoes, peppers, and tobacco. The plant is native to India, and has appeared in the written record since 544 CE. Surprisingly, it was unknown to the Western world until about 1500 CE, and even then was not used widely due to concerns of the plant's toxicity, being a relative of nightshade. In British English the fruit is referred to as an "aubergine", whose origin can be traced through French, Catalan, Arabic, Persian, and Sanskrit. In the US, Canada, Australia, and New Zealand, the fruit is called an "eggplant" due to the appearance of some cultivars in 18th century England, which were yellow or white and resembled goose eggs. Today there are many varieties of different sizes, shapes, and colors, though the most common in the US are elongate ovoids with dark purple skin.</p>
<center><img src="http://www.quantum-immortal.net/blog/imgs/plants/eggplant.jpg" alt="Eggplant" /><br />
Eudicots; Asterids; Solanales; Solanaceae; <em>Solanum melongena</em></center>
<p>The plant is used in cuisine around the globe, from Japan and India to Spain and Turkey. The fleshy part of the berry is able to absorb large amounts of fats and liquids, making it an ideal addition to sauces. Though the plant can be bitter, this can be alleviated by salting and rinsing the sliced fruit, and some cultivars are not bitter at all. The thin leathery skin is also edible, so peeling is not required. The plant could help with high blood pressure and free radical formation, and is a good source of folic acid and potassium. It has more nicotine than any other edible plant, though 20 pounds of eggplant would have to be eaten to match that in one cigarette.</p>
http://www.blog.quantum-immortal.net/plants/2009/11/03/monday-magnoliophyte-eggplant
http://www.blog.quantum-immortal.net/plants/2009/11/03/monday-magnoliophyte-eggplanthttp://www.blog.quantum-immortal.net/plants/2009/11/03/monday-magnoliophyte-eggplantkcolwellPlantsTue, 03 Nov 2009 14:30:44 -0600Monday Magnoliophyte: Pomegranate
<p>Pomegranates are deciduous shrubs or small trees of the crape myrtle family, bearing grapefruit-sized berries with edible seeds and surrounding flesh (arils). A single fruit may contain up to 600 arils. The plant is native to Southwest Asia, and has been cultivated since ancient times, referenced often in Judaic and Greek mythos. In fact, dried pomegranates have been found in Egyptian tombs from the third millennium BCE, and the biblical city of Jericho. Today they are grown around the world wherever the climate is not too wet, due to their propensity for root fungus.</p>
<center><img src="http://www.quantum-immortal.net/blog/imgs/plants/pomegranate.jpg" alt="Pomegranate" /><br />
Eudicots; Rosids II; Myrtales; Lythraceae; <em>Punica granatum</em></center>
<p>The word <em>pomegranate</em> comes from Latin, meaning "seeded apple", which has influenced the name in other languages as well. Our words "grenade" and "grenadine", as well as the Spanish city Grenada, owe their origin to the pomegranate, which was once used to make grenadine, and gave the city its name during the Moorish period. I assume the term grenade comes from the fruit's ability to blow its arils in every direction when thrown against a solid object. Judaism has had a long history of admiring the fruit, and associates it with righteousness as one of the seven foods special to the land of the Hebrews. In Greek mythology, Persephone was forced to stay in Hades four months out of the year, because she had been tricked into eating four pomegranate seeds. This explained the onset of winter, when her mother Demeter (goddess of the harvest) would mourn Persephone's return to the underworld. Pomegranates are also a common motif in Christian religious decoration as a symbol of Jesus' suffering and resurrection.</p>
<p>The fruit has many culinary uses, though the arils are often eaten raw. Pomegranate juice is a common ingredient in several Persian and Caucasian dishes and soups, or may be drunk on its own. When thickened and sweetened, it forms grenadine, included in many cocktails. The acidic tannins in the juice, along with the natural sugars, make it an excellent basis for glazes and sauces, applied to duck or other poultry. The fruit contains many beneficial phytochemicals, such as vitamin C, pantothenic acid, potassium, and antioxidant polyphenols. As such, it seems to inhibit many health problems, such as heart disease, high blood pressure, dental plaque, breast cancer, prostate cancer, diabetes, lymphoma and rhinovirus infection! For me, they are fun to eat, and the juice's citrus/berry flavor can't be beat.</p>
http://www.blog.quantum-immortal.net/plants/2009/10/14/monday-magnoliophyte-pomegranate
http://www.blog.quantum-immortal.net/plants/2009/10/14/monday-magnoliophyte-pomegranatehttp://www.blog.quantum-immortal.net/plants/2009/10/14/monday-magnoliophyte-pomegranatekcolwellPlantsWed, 14 Oct 2009 16:04:58 -0500Monday Magnoliophyte: Broccoli
<p>Broccoli is a cultivar group of the cabbage family Brassicaceae, but amazingly is the same species as several other seemingly unrelated plants. <em>Brassica oleracea</em> also includes kale, collard greens, brussels sprouts, cabbage, kohlrabi and others, indicating that the species has undergone extensive cultivation from its wild form. The native variant is indigenous to limestone sea cliffs of Southern Europe, and is known to have first been cultivated about 2,000 years ago by the Roman Empire.</p>
<center><img src="http://www.quantum-immortal.net/blog/imgs/plants/broccoli.jpg" alt="Broccoli" /><br />
Eudicots; Rosids; Brassicales; Brassicaceae; <em>Brassica oleracea</em></center>
<p>The part of the plant that we eat is the mass of flower buds that forms on the "head" (think cabbage). It may be boiled, steamed, or eaten raw, though boiling is discouraged to prevent loss of nutrients. It's high in vitamins A, C, and K, as well as dietary fiber. The vegetable also has several anti-viral, anti-bacterial, and anti-cancer properties as well. Being a cruciferous vegetable, the plant is potentially goitrogenic (can induce goiter formation), and should be thoroughly cooked before being eaten by people with thyroid problems or iodine deficiencies. Individuals sensitive to PTC (see <a href="http://www.blog.quantum-immortal.net/plants/2009/06/29/monday-magnoliophyte-cilantro">cilantro</a> entry) may find the flavor of <em>Brassica</em> members distasteful, but broccoli is one of my favorite vegetables. An excellent snack:
<ul><li>1 cup mayonnaise</li>
<li>1-2 tablespoons lemon juice</li>
<li>1 tablespoon curry powder</li>
<li>raw broccoli</li></ul>
Mix the first three and dip broccoli. Quite tasty.</p>
http://www.blog.quantum-immortal.net/plants/2009/09/28/monday-magnoliophyte-broccoli
http://www.blog.quantum-immortal.net/plants/2009/09/28/monday-magnoliophyte-broccolihttp://www.blog.quantum-immortal.net/plants/2009/09/28/monday-magnoliophyte-broccolikcolwellPlantsMon, 28 Sep 2009 12:34:43 -0500Hamilton's Principle 4: Statistical Mechanics
<p>Now I'd like to examine physical theories that are more statistical in nature: statistical mechanics and quantum mechanics. Instead of assuming our system progresses exactly along the path of minimum action, we assign a probability distribution to weight the various paths it can take through phase space, with the most probable path being the one of stationary action. This formulation of statistical mechanics is much akin to Feynman's path integral approach to quantum mechanics, which I'll cover next time.</p>
<p>Let's start with a definition of the average action, <img src="http://www.blog.quantum-immortal.net/imgs/action4/eqn000.png" WIDTH=115 HEIGHT=39 STYLE="vertical-align: -15px; margin: 0;" />, where <img src="http://www.blog.quantum-immortal.net/imgs/action4/eqn001.png" WIDTH=49 HEIGHT=20 STYLE="vertical-align: -5px; margin: 0;" /> is a probability distribution over all possible field configurations on the manifold of interest (spacetime), <img src="http://www.blog.quantum-immortal.net/imgs/action4/eqn002.png" WIDTH=53 HEIGHT=20 STYLE="vertical-align: -5px; margin: 0;" /> is our usual action functional along the path, and <img src="http://www.blog.quantum-immortal.net/imgs/action4/eqn003.png" WIDTH=25 HEIGHT=19 STYLE="vertical-align: -5px; margin: 0;" /> indicates that the integration is to be performed over all possible field configurations over all of the manifold. By definition, we must have <img src="http://www.blog.quantum-immortal.net/imgs/action4/eqn004.png" WIDTH=87 HEIGHT=39 STYLE="vertical-align: -15px; margin: 0;" />. We may also define the entropy from Shannon's theory as <img src="http://www.blog.quantum-immortal.net/imgs/action4/eqn005.png" WIDTH=132 HEIGHT=39 STYLE="vertical-align: -15px; margin: 0;" />. Employing the method of Lagrange multipliers to impose the constraints, we find that <img src="http://www.blog.quantum-immortal.net/imgs/action4/eqn006.png" WIDTH=80 HEIGHT=39 STYLE="vertical-align: -15px; margin: 0;" />, where <img src="http://www.blog.quantum-immortal.net/imgs/action4/eqn007.png" WIDTH=115 HEIGHT=39 STYLE="vertical-align: -15px; margin: 0;" /> is the partition function for normalizing the probability, and <img src="http://www.blog.quantum-immortal.net/imgs/action4/eqn008.png" WIDTH=11 HEIGHT=14 STYLE="vertical-align: -5px; margin: 0;" /> is the Lagrange multiplier, with units of inverse action (in quantum mechanics, <img src="http://www.blog.quantum-immortal.net/imgs/action4/eqn009.png" WIDTH=50 HEIGHT=37 STYLE="vertical-align: -12px; margin: 0;" />). We also obtain <img src="http://www.blog.quantum-immortal.net/imgs/action4/eqn010.png" WIDTH=115 HEIGHT=41 STYLE="vertical-align: -16px; margin: 0;" />, and <img src="http://www.blog.quantum-immortal.net/imgs/action4/eqn011.png" WIDTH=117 HEIGHT=20 STYLE="vertical-align: -5px; margin: 0;" />. The most important result, though, comes from using Hamilton's Principle, <img src="http://www.blog.quantum-immortal.net/imgs/action4/eqn012.png" WIDTH=52 HEIGHT=14 STYLE="vertical-align: -1px; margin: 0;" />. This means</p>
<center><img src="http://www.blog.quantum-immortal.net/imgs/action4/eqn013.png" WIDTH=217 HEIGHT=81 STYLE="vertical-align: -36px; margin: 0;" /></center>
<p>But <img src="http://www.blog.quantum-immortal.net/imgs/action4/eqn014.png" WIDTH=120 HEIGHT=19 STYLE="vertical-align: -5px; margin: 0;" />, so <img src="http://www.blog.quantum-immortal.net/imgs/action4/eqn015.png" WIDTH=65 HEIGHT=20 STYLE="vertical-align: -5px; margin: 0;" />. Hence Hamilton's Principle applies to the mean action as well (which we would expect). This immediately yields <img src="http://www.blog.quantum-immortal.net/imgs/action4/eqn016.png" WIDTH=51 HEIGHT=14 STYLE="vertical-align: -1px; margin: 0;" /> for the expected path: the entropy change is maximized for the field configuration path we expect. This is essentially the second law of thermodynamics. In this sense, the second law and Hamilton's Principle are equivalent: a statistical process that extremizes action extremizes entropy change. Though the action is in terms of a Lagrangian, we can see that under certain circumstances, we may make a Legendre transform to put it in the form of a Hamiltonian. Additionally (the derivation is a bit too long), we can find that in that case the Lagrange multiplier <img src="http://www.blog.quantum-immortal.net/imgs/action4/eqn008.png" WIDTH=11 HEIGHT=14 STYLE="vertical-align: -5px; margin: 0;" /> is related to the temperature by defining <img src="http://www.blog.quantum-immortal.net/imgs/action4/eqn017.png" WIDTH=75 HEIGHT=38 STYLE="vertical-align: -12px; margin: 0;" />, and then from the partition function we may derive the many laws and formulae of thermodynamics.</p>
http://www.blog.quantum-immortal.net/physics/2009/09/24/hamilton-s-principle-4-statistical-mechanics
http://www.blog.quantum-immortal.net/physics/2009/09/24/hamilton-s-principle-4-statistical-mechanicshttp://www.blog.quantum-immortal.net/physics/2009/09/24/hamilton-s-principle-4-statistical-mechanicskcolwellPhysicsThu, 24 Sep 2009 12:11:37 -0500Hamilton's Principle 3: Electromagnetism
<p>Perhaps the most beautiful and easy to understand field theory is that of electrodynamics. In the late 1800's, James Clerk Maxwell unified the rather disparate and seemingly unrelated topics of magnetism and electricity into a single theory, codified in the 4 equations below, Maxwell's equations:</p>
<center><img src="http://www.blog.quantum-immortal.net/imgs/action3/eqn000.png" WIDTH=188 HEIGHT=109 STYLE="vertical-align: -51px; margin: 0;" /></center>
<p>The first equations is Gauss's Law, the second precludes the existence of magnetic monopoles, the third is Faraday's Law of induction, and the fourth is the Maxwell-Ampère law with a displacement current. These four partial differential equations can be modified slightly to be used in polarized, dielectric or magnetic materials, but this is essentially the entire theory of electromagnetism. To put these in a covariant framework (for relativistically invariant physics), we can introduce the rank 2 antisymmetric field tensor:</p>
<center><img src="http://www.blog.quantum-immortal.net/imgs/action3/eqn001.png" WIDTH=246 HEIGHT=82 STYLE="vertical-align: -36px; margin: 0;" /></center>
<p>Using this and the definition <img src="http://www.blog.quantum-immortal.net/imgs/action3/eqn002.png" WIDTH=87 HEIGHT=20 STYLE="vertical-align: -5px; margin: 0;" />, Maxwell's equations are <img src="http://www.blog.quantum-immortal.net/imgs/action3/eqn003.png" WIDTH=108 HEIGHT=37 STYLE="vertical-align: -12px; margin: 0;" /> and <img src="http://www.blog.quantum-immortal.net/imgs/action3/eqn004.png" WIDTH=198 HEIGHT=20 STYLE="vertical-align: -6px; margin: 0;" />. In terms of the 4-potential <img src="http://www.blog.quantum-immortal.net/imgs/action3/eqn005.png" WIDTH=87 HEIGHT=20 STYLE="vertical-align: -5px; margin: 0;" />, where <img src="http://www.blog.quantum-immortal.net/imgs/action3/eqn006.png" WIDTH=143 HEIGHT=20 STYLE="vertical-align: -6px; margin: 0;" />, it simplifies even more: <img src="http://www.blog.quantum-immortal.net/imgs/action3/eqn007.png" WIDTH=100 HEIGHT=37 STYLE="vertical-align: -12px; margin: 0;" />.</p>
<p>But how can we get this from a Lagrangian? Once again, we must construct some kind of scalar from the fields. From the field tensor, there is only one Lorentz invariant we may make: <img src="http://www.blog.quantum-immortal.net/imgs/action3/eqn008.png" WIDTH=56 HEIGHT=23 STYLE="vertical-align: -6px; margin: 0;" />. (There is also a pseudo-scalar invariant related to the angle between the electric and magnetic fields, but the Lagrangian must be a true scalar). The only scalar we can form from the current is <img src="http://www.blog.quantum-immortal.net/imgs/action3/eqn009.png" WIDTH=40 HEIGHT=17 STYLE="vertical-align: -3px; margin: 0;" />, so we choose as our Lagrangian <img src="http://www.blog.quantum-immortal.net/imgs/action3/eqn010.png" WIDTH=194 HEIGHT=37 STYLE="vertical-align: -12px; margin: 0;" />, where the constants are chosen to conform to experiment. Invoking Hamilton's Principle by finding a stationary action,</p>
<center><img src="http://www.blog.quantum-immortal.net/imgs/action3/eqn011.png" WIDTH=310 HEIGHT=42 STYLE="vertical-align: -16px; margin: 0;" /></center>
<p>Using the Euler-Lagrange equations exactly return the results above, so that this Lagrangian completely encapsulates electromagnetism. It is straightforward (if cumbersome) to generalize E&M to curved spacetime in the theory of general relativity.</p>
http://www.blog.quantum-immortal.net/physics/2009/09/23/hamilton-s-principle-3-electromagnetism
http://www.blog.quantum-immortal.net/physics/2009/09/23/hamilton-s-principle-3-electromagnetismhttp://www.blog.quantum-immortal.net/physics/2009/09/23/hamilton-s-principle-3-electromagnetismkcolwellPhysicsWed, 23 Sep 2009 12:49:38 -0500Hamilton's Principle 2: General Relativity
<p>First I'd like to apply Hamilton's Principle to Einstein's theory of General Relativity. We need to find a Lagrangian that incorporates the effect of mass on the manifold's metric. It must, as usual, be a scalar, and we suppose it is a functional of the metric and the matter fields. Hence, we suppose for free space</p>
<center><img src="http://www.blog.quantum-immortal.net/imgs/action2/eqn000.png" WIDTH=168 HEIGHT=39 STYLE="vertical-align: -15px; margin: 0;" /></center>
<p>where <img src="http://www.blog.quantum-immortal.net/imgs/action2/eqn001.png" WIDTH=64 HEIGHT=21 STYLE="vertical-align: -5px; margin: 0;" /> is the invariant 4-volume element of our Riemannian manifold (and <img src="http://www.blog.quantum-immortal.net/imgs/action2/eqn002.png" WIDTH=112 HEIGHT=23 STYLE="vertical-align: -6px; margin: 0;" /> is the determinant of the metric), <img src="http://www.blog.quantum-immortal.net/imgs/action2/eqn003.png" WIDTH=85 HEIGHT=21 STYLE="vertical-align: -5px; margin: 0;" /> is a universal constant, and <img src="http://www.blog.quantum-immortal.net/imgs/action2/eqn004.png" WIDTH=15 HEIGHT=14 STYLE="vertical-align: -1px; margin: 0;" /> is the Ricci scalar (the simplest curvature invariant of a Riemannian manifold). If we were deriving the Einstein field equations for the first time, we would not know what these constants and scalars were, but we would still be able to write it in this form based on our assumptions of locality, isotropy of free space, etc.</p>
<p>Let us now suppose that the full action is this free-space action (the Einstein-Hilbert action) plus a term that describes matter fields:</p>
<center><img src="http://www.blog.quantum-immortal.net/imgs/action2/eqn005.png" WIDTH=233 HEIGHT=42 STYLE="vertical-align: -16px; margin: 0;" /></center>
<p>When we apply the Euler-Lagrange equations from last time, we find that</p>
<center><img src="http://www.blog.quantum-immortal.net/imgs/action2/eqn006.png" WIDTH=314 HEIGHT=42 STYLE="vertical-align: -16px; margin: 0;" /></center>
<p>We define the right hand side as (<img src="http://www.blog.quantum-immortal.net/imgs/action2/eqn007.png" WIDTH=12 HEIGHT=10 STYLE="vertical-align: -1px; margin: 0;" /> times) the stress-energy tensor <img src="http://www.blog.quantum-immortal.net/imgs/action2/eqn008.png" WIDTH=25 HEIGHT=20 STYLE="vertical-align: -6px; margin: 0;" /> responsible for the curvature of spacetime due to the presence of matter. The left hand side is completely geometric (no physics is required), and from the theory of differential geometry, can be shown to equal <img src="http://www.blog.quantum-immortal.net/imgs/action2/eqn009.png" WIDTH=144 HEIGHT=37 STYLE="vertical-align: -12px; margin: 0;" />, the Einstein tensor, in terms of the Ricci tensor, the Ricci scalar, and the metric. The Einstein field equations, then, are</p>
<center><img src="http://www.blog.quantum-immortal.net/imgs/action2/eqn010.png" WIDTH=108 HEIGHT=37 STYLE="vertical-align: -12px; margin: 0;" /></center>
<p>This rather beautiful relation between geometry (left hand side) and physics (right hand side) can be viewed in either direction: a curving geometry tells matter and energy how to move; or equivalently, the presence of matter and energy curves spacetime. The theory does not, however, give us either one a priori, and the constant must be determined by experimental results. We can place restrictions on the stress-energy tensor, however: as the source of the gravitational field, we expect a particular simplicity in the non-relativistic limit (Newton's law of gravitation). Because of the symmetries of spacetime, we can apply Noether's theorem to obtain the conservation law <img src="http://www.blog.quantum-immortal.net/imgs/action2/eqn011.png" WIDTH=74 HEIGHT=17 STYLE="vertical-align: -3px; margin: 0;" />. In many cases (where the spin tensor is zero), the tensor is symmetric and angular momentum is conserved as well. The radiation portions of the tensor can be gotten from Maxwell's theory, which I'll discuss next time. From the field equations, one can extract information about the nature of black holes, galactic rotation, etc., and as such these equations encapsulate most, if not all, of mechanics in the non-quantum regime.</p>
http://www.blog.quantum-immortal.net/physics/2009/09/22/hamilton-s-principle-2-general-relativity
http://www.blog.quantum-immortal.net/physics/2009/09/22/hamilton-s-principle-2-general-relativityhttp://www.blog.quantum-immortal.net/physics/2009/09/22/hamilton-s-principle-2-general-relativitykcolwellPhysicsTue, 22 Sep 2009 15:20:13 -0500Hamilton's Principle
<p>Of late I have been intrigued by the idea that all differential equations that make up the bulk of our understanding of physics can be recast as integral equations, subject to some stationary condition. In fact, these all essentially reduce to a condition called Hamilton's Principle, stating that as a system evolves, the "action" is stationary. I will define these ideas in a bit. As I researched the subject, I found that not only classical mechanics could be formulated this way, but also optics, special relativity, general relativity, electromagnetism, quantum mechanics, and even statistical mechanics, essentially all branches of physics. Even string theory can be started from an action principle. The implications are amazing: essentially all of physics can be derived from one principle.</p>
<p>I suppose that now I should formalize: suppose we have an <img src="http://www.blog.quantum-immortal.net/imgs/action/eqn000.png" WIDTH=12 HEIGHT=10 STYLE="vertical-align: -1px; margin: 0;" />-dimensional manifold <img src="http://www.blog.quantum-immortal.net/imgs/action/eqn001.png" WIDTH=19 HEIGHT=14 STYLE="vertical-align: -1px; margin: 0;" /> and a target manifold <img src="http://www.blog.quantum-immortal.net/imgs/action/eqn002.png" WIDTH=14 HEIGHT=14 STYLE="vertical-align: -1px; margin: 0;" />. Let <img src="http://www.blog.quantum-immortal.net/imgs/action/eqn003.png" WIDTH=15 HEIGHT=14 STYLE="vertical-align: -1px; margin: 0;" /> be the set of smooth functions <img src="http://www.blog.quantum-immortal.net/imgs/action/eqn004.png" WIDTH=81 HEIGHT=19 STYLE="vertical-align: -5px; margin: 0;" />. Now consider a functional <img src="http://www.blog.quantum-immortal.net/imgs/action/eqn005.png" WIDTH=80 HEIGHT=14 STYLE="vertical-align: -1px; margin: 0;" />, where <img src="http://www.blog.quantum-immortal.net/imgs/action/eqn006.png" WIDTH=15 HEIGHT=14 STYLE="vertical-align: -1px; margin: 0;" /> is a field. Now we must make some assumptions. First, by one postulate of quantum mechanics, the action must map to the field of real numbers <img src="http://www.blog.quantum-immortal.net/imgs/action/eqn007.png" WIDTH=49 HEIGHT=14 STYLE="vertical-align: -1px; margin: 0;" />, since observables (such as action) have real eigenvalues. Also, from relativity, we assume locality, as required for causality. Quantum entanglement does not pose a problem because information cannot be transmitted nonlocally instantaneously. Locality implies that if <img src="http://www.blog.quantum-immortal.net/imgs/action/eqn008.png" WIDTH=45 HEIGHT=19 STYLE="vertical-align: -5px; margin: 0;" />, we can assume <img src="http://www.blog.quantum-immortal.net/imgs/action/eqn009.png" WIDTH=31 HEIGHT=20 STYLE="vertical-align: -5px; margin: 0;" /> depends only on a function of <img src="http://www.blog.quantum-immortal.net/imgs/action/eqn010.png" WIDTH=12 HEIGHT=19 STYLE="vertical-align: -5px; margin: 0;" /> and its derivatives over the manifold <img src="http://www.blog.quantum-immortal.net/imgs/action/eqn001.png" WIDTH=19 HEIGHT=14 STYLE="vertical-align: -1px; margin: 0;" />. Hence, <img src="http://www.blog.quantum-immortal.net/imgs/action/eqn011.png" WIDTH=54 HEIGHT=19 STYLE="vertical-align: -5px; margin: 0;" />:</p>
<center><img src="http://www.blog.quantum-immortal.net/imgs/action/eqn012.png" WIDTH=309 HEIGHT=41 STYLE="vertical-align: -16px; margin: 0;" /></center>
<p>The function <img src="http://www.blog.quantum-immortal.net/imgs/action/eqn013.png" WIDTH=13 HEIGHT=14 STYLE="vertical-align: -1px; margin: 0;" /> is called the "Lagrangian" function. The Euler-Lagrange equations discussed below can be modified to include higher order derivatives of the Lagrangian*, but through a substitution, the Euler-Lagrange equations can always be reduced to derivatives with respect to the function <img src="http://www.blog.quantum-immortal.net/imgs/action/eqn010.png" WIDTH=12 HEIGHT=19 STYLE="vertical-align: -5px; margin: 0;" /> and its first derivative, nothing higher (at the expense of additional equations to solve). The Euler-Lagrange equations are derived using the calculus of variations, based on the functional derivative. We can imagine varying the function <img src="http://www.blog.quantum-immortal.net/imgs/action/eqn010.png" WIDTH=12 HEIGHT=19 STYLE="vertical-align: -5px; margin: 0;" /> until the action integral is maximal or minimal or inflected (ie, "stationary"). Finding this stationary action is the essence of the functional derivative: normally we find a stationary point by setting the derivative of a <strong>function</strong> with respect to a <strong>variable</strong> to zero. Here we set the derivative of a <strong>functional</strong> with respect to a <strong>function</strong> to zero. There is an issue, in the derivation, of boundary conditions, so that we must specify <img src="http://www.blog.quantum-immortal.net/imgs/action/eqn010.png" WIDTH=12 HEIGHT=19 STYLE="vertical-align: -5px; margin: 0;" /> on <img src="http://www.blog.quantum-immortal.net/imgs/action/eqn014.png" WIDTH=29 HEIGHT=14 STYLE="vertical-align: -1px; margin: 0;" /> if <img src="http://www.blog.quantum-immortal.net/imgs/action/eqn001.png" WIDTH=19 HEIGHT=14 STYLE="vertical-align: -1px; margin: 0;" /> is compact, or place some limit on it as <img src="http://www.blog.quantum-immortal.net/imgs/action/eqn015.png" WIDTH=53 HEIGHT=10 STYLE="vertical-align: -1px; margin: 0;" />. This gives us the Euler-Lagrange equations:</p>
<center><img src="http://www.blog.quantum-immortal.net/imgs/action/eqn016.png" WIDTH=230 HEIGHT=44 STYLE="vertical-align: -17px; margin: 0;" /></center>
<p>where <img src="http://www.blog.quantum-immortal.net/imgs/action/eqn017.png" WIDTH=76 HEIGHT=19 STYLE="vertical-align: -5px; margin: 0;" /> for each of the dimensions of the manifold. So what is <img src="http://www.blog.quantum-immortal.net/imgs/action/eqn010.png" WIDTH=12 HEIGHT=19 STYLE="vertical-align: -5px; margin: 0;" />? These are the physical fields of interest. In classical Lagrangian mechanics, they are the coordinates themselves, expressed as functions of time. In field theory, they are physical fields as functions of spacetime. Hence the target manifold is the set of field values at a given point. For example, in classical mechanics, we might have <img src="http://www.blog.quantum-immortal.net/imgs/action/eqn018.png" WIDTH=141 HEIGHT=21 STYLE="vertical-align: -6px; margin: 0;" />, so that</p>
<center><img src="http://www.blog.quantum-immortal.net/imgs/action/eqn019.png" WIDTH=166 HEIGHT=42 STYLE="vertical-align: -16px; margin: 0;" /></center>
<p>Hence, with a suitable choice of Lagrangian, all the laws of physics may be derived (though of course in practice this is definitely not the way to always proceed). The question that naturally arises is, "What is the total Lagrangian?" Well, it must be a scalar to preserve isotropy of space and homogeneity of spacetime (that is, empty space looks the same in all directions, and there is no difference between one point and the next). Aside from this, it may be chosen to describe the physics involved. Over a few more posts, I'll derive some important equations in physics from Hamilton's Principle.</p>
<p>*The Euler-Lagrange equations for a Lagrangian dependent on the first <img src="http://www.blog.quantum-immortal.net/imgs/action/eqn020.png" WIDTH=17 HEIGHT=14 STYLE="vertical-align: -1px; margin: 0;" /> derivatives of <img src="http://www.blog.quantum-immortal.net/imgs/action/eqn010.png" WIDTH=12 HEIGHT=19 STYLE="vertical-align: -5px; margin: 0;" /> are:</p>
<center><img src="http://www.blog.quantum-immortal.net/imgs/action/eqn021.png" WIDTH=165 HEIGHT=51 STYLE="vertical-align: -20px; margin: 0;" /></center>
http://www.blog.quantum-immortal.net/physics/2009/09/21/hamilton-s-principle
http://www.blog.quantum-immortal.net/physics/2009/09/21/hamilton-s-principlehttp://www.blog.quantum-immortal.net/physics/2009/09/21/hamilton-s-principlekcolwellPhysicsMon, 21 Sep 2009 12:39:38 -0500Qualifying Exam, etc.
<p>Well, I've completed the qualifying exam for physics (a two-day, 4-hour-each nightmare), and if I passed, I'll get my Master's degree. Besides the test, this weekend has been rather packed: Peter and Rika came down and spent a few days with us, Rachael came down, and Phil's parents visited. We played many games, celebrated Philip's 23rd birthday, saw "9", went to the Wild Animal Park, cooked a lot of food, watched Batman Begins and The Dark Knight...quite exhausting but enjoyable. Now it's time to continue with my research, and start classes on Thursday: non-equilibrium statistical physics, field theory, and solid state physics. It should be a good quarter. This weekend I'll be visiting the family and going to Catalina, and the next weekend Rachael will come down again for a whole week! And I might even have a car by then...</p>
http://www.blog.quantum-immortal.net/general/2009/09/21/qualifying-exam-etc.
http://www.blog.quantum-immortal.net/general/2009/09/21/qualifying-exam-etc.http://www.blog.quantum-immortal.net/general/2009/09/21/qualifying-exam-etc.kcolwellGeneralMon, 21 Sep 2009 12:04:35 -0500Monday Magnoliophyte: Apple
<p>Apples are an example of what botanists call a <strong>pome</strong>: an accessory fruit produced by members of the subfamily Maloideae of the rose family. A pome's exocarp and mesocarp are formed from the carpels and make up the fleshy part of the fruit, while the endocarp forms a leathery or stony case around the seeds, commonly called the core. The end of the fruit opposite the stem is the <strong>calyx</strong>, where one can often see the remains of the flower's sepals, style, and stamens. The trees themselves are deciduous, between 10 and 40 feet tall, and produces five-petaled white and pink flowers in the spring. First being noticed in the wild at least 2500 years ago in Central Asia, there are now over 7,500 different cultivars, created over centuries of selection. Indeed, the apple tree may be the earliest domesticated tree. Part of this diversity may be due to the extreme heterozygous nature of the plants: apples grown from seed may be radically different from their parents, so that most varieties today are grown from grafting.</p>
<center><img src="http://www.quantum-immortal.net/blog/imgs/apple.jpg" alt="Apple" /><br />
Eudicots; Rosales; Rosaceae; Maloideae; <em>Malus domestica</em></center>
<p>Perhaps due to its long history, the apple has had an interesting impact on human culture. Many pagan religions make reference to apples as mystical or forbidden fruit, though the term "apple" was used to describe all fruits as late as the 17th century. The Latin word for apple, <em>malus</em>, is similar to that for evil: <em>malum</em>. This may provide the Christian myth of the "forbidden, evil apple" in the Garden of Eden, and how a man's "Adam's apple" comes from the fruit sticking in Adam's throat.</p>
<p>Short of choking to death, apples actually provide numerous health benefits, to the point that "An apple a day keeps the doctor away." It has been shown to decrease risks of lung, colon, and prostate cancer, as well decline in mental faculties. It can also help with weight loss and cholesterol levels. The seeds, however, are mildly poisonous, and should not be consumed in bulk. Their bitter flavor comes from amygdalin, the same cyanide compound found in bitter nuts. The fruits can be used in a wide number of culinary applications, from its juice (and ciders, sprits, and vinegars) to apple cakes, pies, crumbles, crisps, butters, jellies and sauces. They can be served spiced, caramelized, in salads, or just eaten raw (my favorite). So indulge in this "sinful(?)" fruit and enjoy it.</p>
http://www.blog.quantum-immortal.net/plants/2009/09/16/monday-magnoliophyte-apple
http://www.blog.quantum-immortal.net/plants/2009/09/16/monday-magnoliophyte-applehttp://www.blog.quantum-immortal.net/plants/2009/09/16/monday-magnoliophyte-applekcolwellPlantsWed, 16 Sep 2009 14:04:54 -0500