{"id":"arxiv/2605.25229","url":"https://arxiv.org/abs/2605.25229","tags":["math.CO"],"score":0,"title":"The Syntax Of Polytopal Projections: From Permutohedra To Associahedra","domain":"math.CO","source":"arxiv","authors":["Miloš Adžić","Filip D. Jevtić"],"reviews":0,"subject":"math.CO","summary":"Tonks' projection from the permutohedron to the associahedron and the Loday--Ronco map both send permutations to planar binary trees. We give a syntactic account of these maps in the equational calculus of the free non-symmetric, non-unital operad on one binary generator. The vertex restriction of Tonks' projection is obtained by evaluating the head-insertion encoding on the reversed permutation, while the Loday--Ronco map is obtained by evaluating the decreasing encoding. We also give a local operadic proof that Tonks' vertex map is order-preserving from the weak Bruhat order to the Tamari…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-05-24","reactions":{}}