Characterizing finite posets whose probabilistic powerdomain are RB-domains

Yuxu Chen, Hui Kou, Zhenchao Lyu

arXivarxiv/2607.02231Jul 2, 2026math.COscore 0

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…

SourceJSON

Comments and reviews

No comments yet.

API

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