1: \begin{abstract}

2: We reinterpret an inequality, due originally to Sidorenko, for linear extensions of posets in terms of \emph{convex subsets} of the symmetric group $\S_n$. We conjecture that the analogous inequalities hold in arbitrary (not-necessarily-finite) Coxeter groups $W$, and prove this for the hyperoctahedral groups $B_n$ and all right-angled Coxeter groups. Our proof for $B_n$ (and new proof for $\S_n$) use a combinatorial \emph{insertion map} closely related to the well-studied \emph{promotion} operator on linear extensions; this map may be of independent interest. 

3: 

4: We also note that the inequalities in question can be interpreted as a triangle inequalities, so that convex hulls can be used to define a new invariant metric on $W$ whenever our conjecture holds. Geometric properties of this metric are an interesting direction for future research.  

5: \end{abstract}

6: