{"id":"arxiv/2607.02231","url":"https://arxiv.org/abs/2607.02231","tags":["math.CO","math.GN"],"score":0,"title":"Characterizing finite posets whose probabilistic powerdomain are RB-domains","domain":"math.CO","source":"arxiv","authors":["Yuxu Chen","Hui Kou","Zhenchao Lyu"],"reviews":0,"subject":"math.CO","summary":"We classify the finite posets whose probabilistic powerdomain is an RB-domain. For a finite nonempty poset \\(P\\), let \\(\\Vone(P)\\) be the probability powerdomain of $P$, which is the probability simplex ordered by the stochastic order. We prove that \\(\\Vone(P)\\) is an RB-domain if and only if \\(P\\) has a least element and the undirected Hasse graph of \\(P\\) is a tree. Consequently, the probabilistic powerdomain does not preserve RB-domains; the four-point diamond gives a finite counterexample. The proof separates two obstructions. First, if \\(P\\) has no least element, then the face of…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-07-02","reactions":{}}