Asymptotic homomesy for repeated lattice-path Tamari lattices

Let ν0\nu_0 be a lattice path with aa north steps and bb east steps. For each integer t1t\geq 1, let ν0t\nu_0^t be the path obtained by concatenating tt copies of ν0\nu_0. Let Tam(ν0t)\operatorname{Tam}(\nu_0^t) be the associated ν0t\nu_0^t-Tamari lattice, let Row\operatorname{Row} be its rowmotion operator, and let OrbRow(Tam(ν0t))\operatorname{Orb}_{\operatorname{Row}}(\operatorname{Tam}(\nu_0^t)) be the set of rowmotion orbits. Define ddeg\operatorname{ddeg} as the down-degree statistic.

Asymptotic homomesy conjecture.

limtmaxOOrbRow(Tam(ν0t))1t1OxOddeg(x)aba+b=0.\lim_{t\to\infty}\max_{\mathcal O\in\operatorname{Orb}_{\operatorname{Row}}(\operatorname{Tam}(\nu_0^t))}\left\lvert\frac{1}{t}\cdot\frac{1}{\lvert\mathcal O\rvert}\sum_{x\in\mathcal O}\operatorname{ddeg}(x)-\frac{ab}{a+b}\right\rvert=0.

The conjecture predicts that normalized orbit averages of down-degree become asymptotically independent of the orbit. It is motivated by computational evidence that general ν\nu-Tamari down-degree averages are close, but not equal, across rowmotion orbits.

Sources & referencesView supporting material

Primary source

Colin Defant and James Lin, “Rowmotion on m-Tamari and BiCambrian Lattices”, arXiv:2208.10464 (2024).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.