Archive for November, 2008

Foie Gras

Sunday, November 30th, 2008

The way it should be: “Imagine: a wild pig comes upon a factory farm, and decides to stay?”

This is easily the most wonderful story I’ve heard about farming:

Dan Barber: A surprising parable of foie gras

The most spectacular part starts at 10:10, but the entire thing is amazing.

Matrix plus scalar

Wednesday, November 26th, 2008

If a is a scalar and M is a square matrix, it is very convenient to be able to write a+M. Usually people know immediately what this means, but are uneasy about “abusing” notation, so here’s the detailed justification for why this is perfectly legitimate:

Matrices should be considered first and foremost as linear transformations. You know what a matrix is if you know what it does to vectors. A scalar is also a linear transform on vectors: multiplying a scalar times a vector is a linear operation. Therefore, scalars can also be thought of as linear transformations, and therefore as matrices. It is immediate which matrix the scalar should be: the result of multiplying by a scalar k is that all components are scaled by k; the matrix that does this is just kI.

Here’s another way of saying that. Let A be an associative algebra with unity over a field K. We can define a homomorphism of algebras f:KA via f(k)=k1 A. f is an isomorphism since if jk, f(j)=f(k) implies 0 =(jk) 1 (jk)1 A=1 A, a contradiction. f is also the unique nontrivial homomorphism from K to A, since algebra homomorphisms must send 1 to either 0 or 1 . Therefore, there is a unique copy of K inside A, and we can identify K with that copy.

This is a general principle: no one writes (a+0 i)+z when a is real and z is complex, because the complex numbers are considered a superset of the reals. The same is true of matrices: once we identify scalars with scalar diagonal matrices, matrices are just another superset of the reals.

Proust

Wednesday, November 26th, 2008

We’ve decided to give up reading In Search Of Lost Time. Here is a fairly accurate description of why:

Crawling Up Everest

He’s not joking: it really is like that. Interesting, yes, but not nearly interesting enough.

The universe is really big

Wednesday, November 26th, 2008

Here are some incredibly beautiful images:

http://www.ted.com/index.php/talks/george_smoot_on_the_design_of_the_universe.html

It feels like I didn’t quite realize how large the universe was. I was imagining that it was very large but mostly empty, trailing off out beyond the galaxies. The universe does not look empty in those pictures; it looks full. Somehow a full universe seems much larger than an empty universe.

Singular values are not the magnitudes of eigenvalues

Sunday, November 23rd, 2008

A week ago someone asked whether the singular values of a general (real) matrix are the magnitudes of its eigenvalues. There are various ways to see that the answer is no, but here’s an amusingly nonconstructive proof:

Consider a random matrix A taken from GL(n) with some smooth distribution. With probability 1 all singular values of A will be unique. However, with nonzero probability A will be near a rotation matrix and will have a complex conjugate pair of eigenvalues with the same magnitude. Therefore, the singular values of A are not always the magnitudes of the eigenvalues.

Itex2MML

Sunday, November 23rd, 2008

Latex formula support is provided via itex2MML and Jacques Distler’s excellent WordPress pluginFrederick Leitner modified these for WordPress 2.0.0/2.0.1.  Unfortunately, WordPress 2.6 is different again, so I had to tweak a bit further.  Here are instructions:

  1. Install itex2MML and the itex2MML WordPress plugin.
  2. Install the content negotiation plugin.
  3. Apply the diff formatting.php.diff to get formatting.php. This is a modified version of the diff provided by Leitner. Note that I had to remove the “|math|” bit from allblocks to prevent inline math from breaking. Some of the cases probably could use “|math|”, so this may need additional modification.
  4. Modify the doctype in wp-content/themes/…/header.php to allow general mathml: <!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.1 plus MathML 2.0 plus SVG 1.1//EN" "http://www.w3.org/2002/04/xhtml-math-svg/xhtml-math-svg-flat.dtd" >
  5. (Update) Change the {1,8} ranges in formatting.php to at least {1,10} in order to treat &rightarrow; correctly.

Warning: itex2MML produces MathML, which is not readable by a many browsers. Hopefully this situation will improve, but until then this blog will be nonportable.

A blog!

Sunday, November 23rd, 2008

Basic math support appears to be working, so now I have a blog.

Here’s a test of inline math (x+y+x y+x y) and an integral:

0 1 xdx=1 2

Success!  I’ll provide details of the mathml/itex setup in a separate post.