Nobel Prize in Economics

The (sort-of) Nobel Prize in Economics has been announced. The contributions of one of the two, Robert Aumann, are almost purely mathematical work in game theory.

His most interesting idea is that of correlated equilibria. The usual definition of equilibrium in a non-cooperative game, Nash equilibrium, rules out certain kinds of cooperation, even when that cooperation is in the self-interest of each player. Correlated equilibria allow randomized strategies which rely on a random event that is known to both players. Some details about correlated equilibria can be found
here.

(As an aside, the Wikipedia entry for Aumann is unusually bad, so it’s a good candidate for updating, if anyone’s interested. There’s also no entry for correlated equilibrium.)

November Notices of the AMS

The November issue of the Notices of the AMS is available.

Some highlights:

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.)