Abstract Vergleichsstellens\"atze for preordered semifields and semirings II
Abstract
The present paper continues our foundational work on real algebra with preordered commutative semifields and semirings. We prove two abstract Vergleichsstellens\"atze for preordered commutative semirings of polynomial growth. These generalize the results of Part I by no longer assuming 1 0. Such a generalization comes with substantial technical complications: our Vergleichsstellens\"atze now also need to take into account infinitesimal information encoded in the form of monotone derivations in addition to the monotone homomorphisms to the nonnegative reals and tropical reals. The auxiliary technical results we develop along the way include surprising implications between inequalities in preordered semifields and a type classification for multiplicatively Archimedean fully preordered semifields. Among other applications, two companion papers use these results in order to derive limit new results in probability and information theory; one on asymptotics of random walks on topological abelian groups, and the other on the asymptotics of matrix majorization.
Turn this paper into a full lesson
ArcXiv compiles a staged curriculum from this paper: 8-12 lessons across beginner → advanced, synthesised section guides, visuals, flashcards, a quiz, exercises, and on-demand deep dives per section. Grounded in the abstract, never invented.