{"id":"arxiv/2606.17549","url":"https://arxiv.org/abs/2606.17549","tags":["math.CO"],"score":0,"title":"A Non-Multiplicable Upho Poset Constructed from the Petersen Graph","domain":"math.CO","source":"arxiv","authors":["Ryunosuke Matsuoka"],"reviews":0,"subject":"math.CO","summary":"An upper homogeneous (upho) poset is a poset whose every principal filter is isomorphic to the whole poset. Fu--Peng--Zhang conjectured that every finitary upho poset admits a compatible left-cancellative, invertible-free monoid structure whose left-divisibility order coincides with the given order. We disprove this conjecture. For every vertex-transitive graph $G$, we construct a finitary upho poset $P(G,v_0)$ from walks starting at a fixed vertex $v_0$. Applying this construction to the Petersen graph, we show that multiplicability of $P(G,v_0)$ would force the automorphism group of $G$ to…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-06-16","reactions":{}}