Asymptotic homomesy for repeated lattice-path Tamari lattices

About 4 years old · traced to

Let ν0\nu_0 be a lattice path with aa north steps and bb east steps. For each integer t≥1t\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 Orb⁡Row⁡(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.

lim⁡t→∞max⁡O∈Orb⁡Row⁡(Tam⁡(ν0t))∣1t⋅1∣O∣∑x∈Oddeg⁡(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.

References

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.