arXiv++ Combinatorics

The jaggedness of an order ideal I in a poset P is the number of maximal elements in I plus the number of minimal elements of P not in I. A probability distribution on the set of order ideals of P is toggle-symmetric if for every p in P, the probability that p is maximal in I equals the probability that p is minimal not in I. In this paper, we prove a formula for the expected jaggedness of an order ideal of P under any toggle-symmetric probability distribution when P is the poset of boxes in a skew Young diagram. Our result extends the main combinatorial theorem of Chan-López-Pflueger-Teixidor, who used an expected jaggedness computation as a key ingredient to prove an algebro-geometric formula; and it has applications to homomesies, in the sense of Propp-Roby, of the antichain cardinality statistic for order ideals in partially ordered sets.

Given a permutation $τ$ defined on a set of combinatorial objects $S$, together with some statistic $f:S\rightarrow \mathbb{R}$, we say that the triple $\langle S, τ,f \rangle$ exhibits homomesy if $f$ has the same average along all orbits of $τ$ in $S$. This phenomenon was noticed by Panyushev (2007) and later studied, named and extended by Propp and Roby (2013). After Propp and Roby's paper, homomesy has received a lot of attention and a number of mathematicians are intrigued by it. While seeming ubiquitous, homomesy is often surprisingly non-trivial to prove. Propp and Roby studied homomesy in the set of ideals in the product of two chains, with two well known permutations, rowmotion and promotion, the statistic being the size of the ideal. In this paper we extend their results to generalized rowmotion and promotion together with a wider class of statistics in product of two chains . Moreover, we derive some homomesy results in posets of type A and B. We believe that the framework that we set up can be used to prove similar results in wider classes of posets.