Semiring analogies

Sigfpe has been posting on his blog about one of my minor obsessions, semirings. A semiring is a ring without subtraction. There are lots of semirings that arise in both pure and applied mathematics. Here are some examples that show just how common they are:

  • Any collection of sets closed under union and intersection form a semiring, with union as addition and intersection as multiplication (or vice versa).
  • Regular languages form a semiring. The sum of two regular languages is the union, while the product is juxtaposition.
  • The reals with positive infinity added form a semiring where the “sum“ of two numbers is the minimum, and the “product“ is addition. (Including positive infinity is not strictly necessary, but it serves as a “zero“ for the min operation). This known as the min-plus semiring.

The last example has an interesting extra property: you can take infinite “sums“ by taking the infimum of an infinite set of elements. You can set up an extended analogy between the reals with usual arithmetic operations and the min-plus semiring. In this analogy, integration becomes optimization. You can even extend the analogy as far as the Fourier transform. The min-plus analogue of the Fourier transform is the Legendre transform that arises in classical mechanics. Sigfpe explains the analogy here.

He has also posted about an application of semirings to understanding the game Tetris.

Schwarz paradox

The Schwarz paradox demonstrates that surface area is not a straightforward generalization of arc-length. Arc-length is defined for rectifiable curves &emdash; for any such curve, we approximate by line segments. The arc-length is the limit of the sums of the lengths of the line segments.

For surfaces, this definition breaks down. Rectifiable surfaces are well-defined, but the limit fails to be well-defined. Schwarz found two different sequences of approximations to the cylinder that converge to distinct values for the surface area.

Here are some papers that explain the paradox:

While searching on the topic, I also found a nice historical work, A Panorama of the Hungarian Real and Functional Analysis in the Twentieth Century. It touches on the Schwarz paradox, and many other topics besides. (For example, it explains what the Sz. in Sz. Nagy stands for.)

Lothaire is back!

A few months ago I claimed that there was a “new“ Lothaire book, Algebraic Combinatorics on Words. This was a brazen lie on my part — the book, published in 2002, has already reached the advanced age of 3. I came across the web page of Jean Berstel, which has a link to an an actual new Lothaire book, Applied Combinatorics on Words. This one really is published in 2005.

Berstel also has a link to the text of Theory of Codes, a book he cowrote with Dominique Perrin.

Serge Lang and his books

As probably most of you have heard by this point, Serge Lang has passed away. He is most famous for his very many math textbooks. My impression was that most people were not fans of his books, but the discussion at Not Even Wrong was much more positive. What do you think? Have you read any of his books? Liked them? Hated them?

More Lévy

According to Wikipedia, the analogue of a random walk for a Lévy distribution is called a Lévy flight. I presume it’s called a “flight” because paths are no longer guaranteed to be continuous, but can have sudden jumps.

I also spotted a survey paper, More “Normal” than Normal: Scaling Distributions and Complex Systems, which argues that in physical applications, heavy-tailed distributions such as the Lévy distribution are more natural than the normal distribution. This seems to be emerging conventional wisdom in some circles, but I don’t know how true it is.