Geometricity conjecture for homomorphisms from Laurent-generated semirings

Let AA and BB be finite sets, and let RR be a Laurent-generated subsemiring of ZposA{}\mathbb{Z}^A_{\mathrm{pos}}\cup\{-\infty\}. A semiring homomorphism ν:RZposB{}\nu:R\to\mathbb{Z}^B_{\mathrm{pos}}\cup\{-\infty\} is called geometric when it is geometric with respect to some Laurent-generating set of RR.

Geometricity conjecture. Any semiring homomorphism ν:RZposB{}\nu:R\to\mathbb{Z}^B_{\mathrm{pos}}\cup\{-\infty\} is geometric.

This is the general algebraic form of the geometricity question used for Boolean function semirings. The supplied text does not provide evidence that the conjecture has been solved or refuted.

Sources & referencesView supporting material

Primary source

Takaaki Ito, “Homomorphisms between the semirings of Boolean functions on 1-dimensional tropical fans”, arXiv:2405.17982 (2024).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.