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 . 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.
Keywords
Cite
@article{arxiv.2112.05949,
title = {Abstract Vergleichsstellens\"atze for preordered semifields and semirings II},
author = {Tobias Fritz},
journal= {arXiv preprint arXiv:2112.05949},
year = {2026}
}
Comments
55 pages. v5: incorporates feedback by referee and other readers. See also arXiv:2003.13835 and arXiv:2301.07353 for applications. arXiv admin note: text overlap with arXiv:2003.13835