Proofs and generalizations of a homomesy conjecture of Propp and Roby

DOI10.1016/J.DISC.2015.08.011zbMATH Open1322.05136arXiv1308.0546OpenAlexW1532506831WikidataQ113877060 ScholiaQ113877060MaRDI QIDQ501048FDOQ501048

Authors: Yong-Cai Geng, Sumit K. Garg 

Publication date: 8 October 2015

Published in: Discrete Mathematics (Search for Journal in Brave)

Abstract: Let $G$ be a group acting on a set $X$ of combinatorial objects, with finite orbits, and consider a statistic $xi:XomathbbC$. Propp and Roby defined the triple $(X,G,xi)$ to be emph{homomesic} if for any orbits $mathcal{O}_1,mathcal{O}_2$, the average value of the statistic $xi$ is the same, that is [frac{1}{{|mathcal{O}_1|}}sum_{x in mathcal{O}_1} xi(x) = frac{1}{|mathcal{O}_2|}sum_{y in mathcal{O}_2} xi(y).] In 2013 Propp and Roby conjectured the following instance of homomesy. Let $mathrm{SSYT}_k(mimesn)$ denote the set of semistandard Young tableaux of shape $mimesn$ with entries bounded by $k$. Let $S$ be any set of boxes in the $mimesn$ rectangle fixed under $180^{c}irc$ rotation. For $Tinmathrm{SSYT}_k(mimesn)$, define $sigm{a}_S(T)$ to be the sum of the entries of $T$ in the boxes of $S$. Let $langlemathcalPangle$ be a cyclic group of order $k$ where $mathcalP$ acts on $mathrm{SSYT}_k(mimesn)$ by promotion. Then $(mathrm{SSYT}_k(mimesn),langlemathcalPangle,sigm{a}_S)$ is homomesic. We prove this conjecture, as well as a generalization to cominuscule posets. We also discuss analogous questions for tableaux with strictly increasing rows and columns under the K-promotion of Thomas and Yong, and prove limited results in that direction.

Full work available at URL: https://arxiv.org/abs/1308.0546

Recommendations

• Homomesy in products of two chains
• Homomesy in products of two chains
• Some instances of homomesy among ideals of posets
• Dynamical algebraic combinatorics and the homomesy phenomenon
• Homomesy in products of three chains and multidimensional recombination

zbMATH Keywords

jeu de taquinevacuationpromotiongrowth diagramshomomesyBender-Knuth togglesrectangular Young tableauxsemistandard Young tableaux

Mathematics Subject Classification ID

Group actions on combinatorial structures (05E18)

Cites Work

• Title not available (Why is that?)
• Dual equivalence with applications, including a conjecture of Proctor
• Homomesy in products of two chains
• Promotion and rowmotion
• Piecewise-linear and birational toggling
• A jeu de taquin theory for increasing tableaux, with application to \(K\)-theoretic Schubert calculus
• Singular loci of Schubert varieties
• A combinatorial rule for (co)minuscule Schubert calculus
• Promotion and evacuation
• Cyclic sieving of increasing tableaux and small Schröder paths
• Balanced tableaux
• A uniform bijection between nonnesting and noncrossing partitions
• On orbits of antichains of positive roots
• Homomesy in products of two chains
• On the equality of two plane partition correspondences
• Cominuscule tableau combinatorics

Cited In (22)

• Cyclic sieving for plane partitions and symmetry
• Rowmotion and increasing labeling promotion
• Homomesy in products of two chains
• Some instances of homomesy among ideals of posets
• Tableau evacuation and webs
• Genomic tableaux
• Homomesy in products of three chains and multidimensional recombination
• Resonance in orbits of plane partitions
• Affine type \(A\) geometric crystal on the Grassmannian
• Promotion permutations for tableaux
• Homomesies on permutations: An analysis of maps and statistics in the FindStat database
• Homomesy in products of two chains
• \(P\)-strict promotion and \(B\)-bounded rowmotion, with applications to tableaux of many flavors
• The expected jaggedness of order ideals
• \(P\)-strict promotion and \(Q\)-partition rowmotion: the graded case
• Orbits of plane partitions of exceptional Lie type
• A web basis of invariant polynomials from noncrossing partitions
• A note on statistical averages for oscillating tableaux
• The toggle group, homomesy, and the Razumov-Stroganov correspondence
• Crystal structures for symmetric Grothendieck polynomials
• Promotion of increasing tableaux: frames and homomesies
• Resonance in orbits of plane partitions and increasing tableaux

This page was built for publication: Proofs and generalizations of a homomesy conjecture of Propp and Roby

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q501048)