MathOverflow is a question and answer site for professional mathematicians. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

Let me preface this by saying that my background is pretty meagre (i.e. solid undergrad). However, a few months ago I came across this paper which presented an idea that struck me as really remarkable. One can develop a theory of analysis of functions taking values in an idempotent semiring (e.g. the max+ algebra), which happens to be naturally suited towards some traditionally nonlinear problems. Under this formulation (specialized to the case of max+), the integral of a good function corresponds to the supremum, the Fourier transform roughly corresponds to the Legendre transform (!), and it seems that one can develop a theory of "linear" (e.g. in terms of the max+ operations) PDE analogous to the traditional linear theory (!!). For example, the HJB equation is a nonlinear first order PDE, but linear in the max+ sense of the word. This all blew my mind, but after trying to read a few more papers on the subject I decided to put it on the back burner for later thought.

Then, a few days ago I was reading something written by Gian-Carlo Rota in which he makes a remark about developing an "algebra" for multisets. I guess distributive lattices model the "algebra" of sets well enough (in fact there is Birkhoff's theorem), but the quantitative aspect of multisets make this seem inappropriate. So just playing around a bit, I realize that if one models multisets on elements in X by functions from X to the nonnegative integers (the multiplicity), then multiset union corresponds to pointwise addition and multiset intersection corresponds to pointwise min. The min+ algebra on the nonnegative integers! Perhaps this points in the direction of why I think of tropical mathematics as something of interest to people in algebraic combinatorics (maybe this generalization is wrong).

Ok, sorry for that ramble. Essentially, I have 2 questions. First, aside from references to "dequantization", how should I envision the role of tropical mathematics? My lack of background makes it hard for me to get an idea of what is going on here (especially on the geometry side of things), but it seems like there are some big ideas lurking around.

Second, if I wanted to learn more about this stuff, what would be the best route to take? What expository papers should I look at / save for later? It's a bit intimidating that it seems like one needs background in algebraic geometry before one can seriously approach such ideas, but maybe that's just the way it is.

share|cite|improve this question

Sturmfels/Speyer may be a good start. Otherwise I would look around on Arxiv particularly things that Dr. Bernd Sturmfels has written. Also, if you peruse his website (just look up Bernd Sturmfels + UC Berkeley), you'll probably get something interesting.

share|cite|improve this answer

For an overview of tropical geometry perhaps: A. Gathmann, Tropical algebraic geometry, Jahresbericht der DMV 108

It's available here.

share|cite|improve this answer

There is a short introduction by Mikhalkin: expanded in more detail in this book:

The Oberwolfach lecture notes by Itenberg, Mikhalkin and Shustin are also nice.

share|cite|improve this answer

If you're worried that you won't understand the geometric aspects, it might be worthwhile to check out the original papers of Simon -- it looks like most of the tropical ones are in English. Simon was, of course, primarily a computer scientist and combinatorialist, so while I haven't read those papers I suspect that the hardcore algebraic geometry stuff won't be there.

share|cite|improve this answer

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.