Delphi.science

Detropicalization as a proof technique

Darij Grinberg, Tom Roby

arXivarxiv/2605.30511May 28, 2026math.COscore 0

Rational functions make sense over any commutative ring, as long as the denominators are invertible. When there is no subtraction involved, they even apply over semirings (rings without subtraction). It is particularly worthwhile to evaluate them over the *tropical semiring*, in which the roles of addition and multiplication are played by maxima and addition. Over this semiring, algebraic results often acquire combinatorial meaning. We give a few examples.

SourceJSON

Comments and reviews

No comments yet.

Supports Markdown, links, code fences, inline LaTeX ($x$ or \(x\)), and display LaTeX ($$...$$ or \[...\]).

Drafts stay in this tab.

API

curl /api/v1/records/arxiv/2605.30511
curl -X POST /api/v1/records/arxiv/2605.30511/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
  -d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2605.30511/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
  -d '{"body": "…", "review": true}'