Metadata
Abstract
We introduce the shuffle of deformed permutahedra (a.k.a. generalized permutahedra), a simple associative operation obtained as the Cartesian product followed by the Minkowski sum with the graphical zonotope of a complete bipartite graph. Besides preserving the class of graphical zonotopes (the shuffle of two graphical zonotopes is the graphical zonotope of the join of the graphs), this operation is particularly relevant when applied to the classical permutahedra and associahedra. First, the shuffle of an -permutahedron with an -associahedron gives the -multiplihedron, whose face structure is encoded by -painted -trees, generalizing the classical multiplihedron. We show in particular that the graph of the -multiplihedron is the Hasse diagram of a lattice generalizing the weak order on permutations and the Tamari lattice on binary trees. Second, the shuffle of an -associahedron with an -associahedron gives the -constrainahedron, whose face structure is encoded by -cotrees, and reflects collisions of particles constrained on a grid. Third, the shuffle of an -anti-associahedron with an -associahedron gives the -biassociahedron, whose face structure is encoded by -bitrees, with relevant connections to bialgebras up to homotopy. We provide explicit vertex, facet, and Minkowski sum descriptions of these polytopes, as well as summation formulas for their -polynomials based on generating functionology of decorated trees.
References
[AA23] Hopf monoids and generalized permutahedra, Memoirs of the American Mathematical Society, 1437, American Mathematical Society, 2023 | DOI
[ABD10] Matroid polytopes and their volumes, Discrete Comput. Geom., Volume 43 (2010) no. 4, pp. 841-854 | DOI | MR | Zbl
[AD13] Lifted generalized permutahedra and composition polynomials, Adv. Appl. Math., Volume 50 (2013) no. 4, pp. 607-633 | DOI | MR | Zbl
[AK99a] Multiple zeta values, poly-Bernoulli numbers, and related zeta functions, Nagoya Math. J., Volume 153 (1999), pp. 189-209 | DOI | MR | Zbl
[AK99b] On poly-Bernoulli numbers, Comment. Math. Univ. St. Pauli, Volume 48 (1999) no. 2, pp. 159-167 | MR | Zbl
[BBM19] Hypergraphic polytopes: combinatorial properties and antipode, J. Comb., Volume 10 (2019) no. 3, pp. 515-544 | DOI | MR | Zbl
[BH15] Combinatorics of poly-Bernoulli numbers, Stud. Sci. Math. Hung., Volume 52 (2015) no. 4, pp. 537-558 | DOI | MR | Zbl
[BH17] Combinatorial properties of poly-Bernoulli relatives, Integers, Volume 17 (2017), A31 | MR | Zbl
[BM21] Lattices from graph associahedra and subalgebras of the Malvenuto–Reutenauer algebra, Algebra Univers., Volume 82 (2021) no. 1, 2 | DOI | MR | Zbl
[Bot19] -associahedra, Algebr. Geom. Topol., Volume 19 (2019) no. 2, pp. 743-806 | DOI | MR | Zbl
[BP22] Constrainahedra (2022) (2208.14529)
[BW91] Permutation statistics and linear extensions of posets, J. Comb. Theory, Ser. A, Volume 58 (1991) no. 1, pp. 85-114 | DOI | MR | Zbl
[CGRS14] Acyclic orientations and poly-Bernoulli numbers (2014) | arXiv
[CZ12] Realizing the associahedron: mysteries and questions, Associahedra, Tamari lattices and related structures (Progress in Mathematics), Volume 299, Springer, 2012, pp. 119-127 | DOI | Zbl
[DF08] Marked tubes and the graph multiplihedron, Algebr. Geom. Topol., Volume 8 (2008) no. 4, pp. 2081-2108 | DOI | MR | Zbl
[Edm70] Submodular functions, matroids, and certain polyhedra, Combinatorial Structures and their Applications, Gordon and Breach Science Publishers (1970), pp. 69-87 | Zbl
[FLS10] Hopf structures on the multiplihedra, SIAM J. Discrete Math., Volume 24 (2010) no. 4, pp. 1250-1271 | DOI | MR | Zbl
[For08] Convex hull realizations of the multiplihedra, Topology Appl., Volume 156 (2008) no. 2, pp. 326-347 | DOI | MR | Zbl
[FS05] Matroid polytopes, nested sets and Bergman fans, Port. Math. (N.S.), Volume 62 (2005) no. 4, pp. 437-468 | MR | Zbl
[FS09] Analytic combinatorics, Cambridge University Press, 2009 | DOI | MR | Zbl
[Gre77] Acyclic orientations, Proceedings of the NATO Advanced Study Institute held in Berlin (West Germany) (Nato Science Series C), Volume 31, Springer (1977), pp. 65-68 | Zbl
[GZ83] On the interpretation of Whitney numbers through arrangements of hyperplanes, zonotopes, non-Radon partitions, and orientations of graphs, Trans. Am. Math. Soc., Volume 280 (1983) no. 1, pp. 97-126 | DOI | MR | Zbl
[HL07] Realizations of the associahedron and cyclohedron, Discrete Comput. Geom., Volume 37 (2007) no. 4, pp. 517-543 | DOI | MR | Zbl
[HLT11] Permutahedra and generalized associahedra, Adv. Math., Volume 226 (2011) no. 1, pp. 608-640 | DOI | MR | Zbl
[HPS18] Polytopal realizations of finite type -vector fans, Adv. Math., Volume 328 (2018), pp. 713-749 | DOI | MR | Zbl
[Kan97] Poly-Bernoulli numbers, J. Théor. Nombres Bordx, Volume 9 (1997) no. 1, pp. 221-228 | DOI | Numdam | MR | Zbl
[Kim08] Shellable complexes and topology of diagonal arrangements, Discrete Comput. Geom., Volume 40 (2008) no. 2, pp. 190-213 | DOI | MR | Zbl
[Lan13] Minkowski Decomposition of Associahedra and Related Combinatorics, Discrete Comput. Geom., Volume 50 (2013) no. 4, pp. 903-939 | DOI | MR | Zbl
[Lod04] Realization of the Stasheff polytope, Arch. Math., Volume 83 (2004) no. 3, pp. 267-278 | DOI | Zbl
[Mar15] Bipermutahedron and biassociahedron, J. Homotopy Relat. Struct., Volume 10 (2015) no. 2, pp. 205-238 | DOI | MR | Zbl
[McM73] Representations of polytopes and polyhedral sets, Geom. Dedicata, Volume 2 (1973), pp. 83-99 | DOI | MR | Zbl
[Mey74] Indecomposable polytopes, Trans. Am. Math. Soc., Volume 190 (1974), pp. 77-86 | DOI | MR | Zbl
[MW10] Geometric realizations of the multiplihedra, Compos. Math., Volume 146 (2010) no. 4, pp. 1002-1028 | DOI | MR | Zbl
[MW18] An explicit two step quantization of Poisson structures and Lie bialgebras, Commun. Math. Phys., Volume 364 (2018) no. 2, pp. 505-578 | DOI | MR | Zbl
[OEIS10] The On-Line Encyclopedia of Integer Sequences, 2010 (published electronically at https://oeis.org)
[Pil24] Acyclic reorientation lattices and their lattice quotients, Ann. Comb., Volume 28 (2024) no. 4, pp. 1035-1092 | DOI | MR | Zbl
[Pol21] Homotopical algebra and combinatorics of polytopes, Ph. D. Thesis, University of Copenhagen, Denmark (2021)
[Pos09] Permutohedra, associahedra, and beyond, Int. Math. Res. Not. (2009) no. 6, pp. 1026-1106 | DOI | MR | Zbl
[PP18] Permutrees, Algebr. Comb., Volume 1 (2018) no. 2, pp. 173-224 | DOI | Numdam | MR | Zbl
[PPPP23] Associahedra for finite type cluster algebras and minimal relations between -vectors, Proc. Lond. Math. Soc. (3), Volume 127 (2023) no. 3, pp. 513-588 | DOI | MR | Zbl
[PPR23] Shard polytopes, Int. Math. Res. Not., Volume 2023 (2023) no. 9, pp. 7686-7796 | DOI | MR | Zbl
[PRW08] Faces of generalized permutohedra, Doc. Math., Volume 13 (2008), pp. 207-273 | DOI | MR | Zbl
[PS19] Quotientopes, Bull. Lond. Math. Soc., Volume 51 (2019) no. 3, pp. 406-420 | DOI | MR | Zbl
[PSZ23] Celebrating Loday’s associahedron, Arch. Math., Volume 121 (2023) no. 5-6, pp. 559-601 | DOI | Zbl
[Rea04] Lattice congruences of the weak order, Order, Volume 21 (2004) no. 4, pp. 315-344 | DOI | MR | Zbl
[SS93] Quantum groups: From coalgebras to Drinfeld algebras, Series in Mathematical Physics, International Press, 1993, 592 pages | MR | Zbl
[Sta63] Homotopy associativity of -spaces. I, II, Trans. Amer. Math. Soc., Volume 108 (1963), p. 275-292, 293–312 | DOI | MR | Zbl
[Sta70] -spaces from a homotopy point of view, Lecture Notes in Mathematics, 161, Springer, 1970 | DOI | MR | Zbl
[SU04] Diagonals on the permutahedra, multiplihedra and associahedra, Homology Homotopy Appl., Volume 6 (2004) no. 1, pp. 363-411 | DOI | MR | Zbl
[SU11] Matrads, biassociahedra, and -bialgebras, Homology Homotopy Appl., Volume 13 (2011) no. 1, pp. 1-57 | DOI | MR | Zbl
[Tie16] Realizing the -Associahedron, Ph. D. Thesis (2016) (HMC Senior Theses)
[Zie95] Lectures on Polytopes, Graduate Texts in Mathematics, 152, Springer, 1995 | DOI | MR | Zbl