Source author record

Henri Mühle

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

Catalog footprint

Research overview

16works
1topics
4close collaborators

Published work

16 publications

preprint2020arXiv

A Poset Structure on the Alternating Group Generated by 3-Cycles

We investigate the poset structure on the alternating group that arises when the latter is generated by 3-cycles. We study intervals in this poset and give several enumerative results, as well as a complete description of the orbits of the Hurwitz action on maximal chains. Our motivating example is the well-studied absolute order arising when the symmetric group is generated by transpositions, i.e. 2-cycles, and we compare our results to this case along the way. In particular, noncrossing partitions arise naturally in both settings.

preprint2019arXiv

Tamari Lattices for Parabolic Quotients of the Symmetric Group

We generalize the Tamari lattice by extending the notions of 231231-avoiding permutations, noncrossing set partitions, and nonnesting set partitions to parabolic quotients of the symmetric group Sn\mathfrak{S}_{n}. We show bijectively that these three objects are equinumerous. We show how to extend these constructions to parabolic quotients of any finite Coxeter group. The main ingredient is a certain aligned condition of inversion sets; a concept which can in fact be generalized to any reduced expression of any element in any (not necessarily finite) Coxeter group.

preprint2019arXiv

The Steep-Bounce Zeta Map in Parabolic Cataland

As a classical object, the Tamari lattice has many generalizations, including νν-Tamari lattices and parabolic Tamari lattices. In this article, we unify these generalizations in a bijective fashion. We first prove that parabolic Tamari lattices are isomorphic to νν-Tamari lattices for bounce paths νν. We then introduce a new combinatorial object called `left-aligned colorable tree', and show that it provides a bijective bridge between various parabolic Catalan objects and certain nested pairs of Dyck paths. As a consequence, we prove the Steep-Bounce Conjecture using a generalization of the famous zeta map in q,tq,t-Catalan combinatorics. A generalization of the zeta map on parking functions, which arises in the theory of diagonal harmonics, is also obtained as a labeled version of our bijection.

preprint2015arXiv

Finite Dismantlable Semidistributive Lattices are Planar

In this article, we prove that finite semidistributive lattices are dismantlable if and only if they are planar. This extends a well-known result by Kelly and Rival that states the same property for finite distributive lattices. Moreover, we show how the breadth of finite semidistributive lattices can be computed with the help of canonical join representations. We use this result to conclude that the breadth of a finite semidistributive dismantlable lattice cannot exceed 22.

preprint2015arXiv

On Reflection Orders Compatible with a Coxeter Element

In this article we give a simple, almost uniform proof that the lattice of noncrossing partitions associated with a well-generated complex reflection group is lexicographically shellable. So far a uniform proof is available only for Coxeter groups. In particular we show that, for any complex reflection group WW and any element x∈Wx\in W, every xx-compatible reflection order is a recursive atom order of the corresponding interval in absolute order. Since any Coxeter element γγ in any well-generated complex reflection group admits a γγ-compatible reflection order, the lexicographic shellability follows from a well-known result due to Björner and Wachs.

preprint2015arXiv

SB-Labelings, Distributivity, and Bruhat Order on Sortable Elements

In this article, we investigate the set of γγ-sortable elements, associated with a Coxeter group WW and a Coxeter element γ∈Wγ\in W, under Bruhat order, and we denote this poset by Bγ\mathcal{B}_γ. We show that this poset belongs to the class of SB-lattices recently introduced by Hersh and Mészáros, by proving a more general statement, namely that all join-distributive lattices are SB-lattices. The observation that Bγ\mathcal{B}_γ is join-distributive is due to Armstrong. Subsequently, we investigate for which finite Coxeter groups WW and which Coxeter elements γ∈Wγ\in W the lattice Bγ\mathcal{B}_γ is in fact distributive. It turns out that this is the case for the "coincidental" Coxeter groups, namely the groups An,Bn,H3A_{n},B_{n},H_{3} and I2(k)I_{2}(k). We conclude this article with a conjectural characteriziation of the Coxeter elements γγ of said groups for which Bγ\mathcal{B}_γ is distributive in terms of forbidden orientations of the Coxeter diagram.

preprint2015arXiv

Structural Properties of the Cambrian Semilattices -- Consequences of Semidistributivity

The γγ-Cambrian semilattices Cγ\mathcal{C}_γ defined by Reading and Speyer are a family of meet-semilattices associated with a Coxeter group WW and a Coxeter element γ∈Wγ\in W, and they are lattices if and only if WW is finite. In the case where WW is the symmetric group Sn\mathfrak{S}_{n} and γγ is the long cycle (1  2  …  n)(1\;2\;\ldots\;n) the corresponding γγ-Cambrian lattice is isomorphic to the well-known Tamari lattice Tn\mathcal{T}_{n}. Recently, Kallipoliti and the author have investigated Cγ\mathcal{C}_γ from a topological viewpoint, and showed that many properties of the Tamari lattices can be generalized nicely. In the present article this investigation is continued on a structural level using the observation of Reading and Speyer that Cγ\mathcal{C}_γ is semidistributive. First we prove that every closed interval of Cγ\mathcal{C}_γ is a bounded-homomorphic image of a free lattice (in fact it is a so-called H ⁣H\mathcal{H\!H}-lattice). Subsequently we prove that each closed interval of Cγ\mathcal{C}_γ is trim, we determine its breadth, and we characterize the closed intervals that are dismantlable.

preprint2015arXiv

The mm-Cover Posets and Their Applications

In this article we introduce the mm-cover poset of an arbitrary bounded poset P\mathcal{P}, which is a certain subposet of the mm-fold direct product of P\mathcal{P} with itself. Its ground set consists of multichains of P\mathcal{P} that contain at most three different elements, one of which has to be the least element of P\mathcal{P}, and the other two elements have to form a cover relation in P\mathcal{P}. We study the mm-cover poset from a structural and topological point of view. In particular, we characterize the posets whose mm-cover poset is a lattice for all m>0m>0, and we characterize the special cases, where these lattices are EL-shellable, left-modular, or trim. Subsequently, we investigate the mm-cover poset of the Tamari lattice Tn\mathcal{T}_{n}, and we show that the smallest lattice that contains the mm-cover poset of Tn\mathcal{T}_{n} is isomorphic to the mm-Tamari lattice Tn(m)\mathcal{T}_{n}^{(m)} introduced by Bergeron and Préville-Ratelle. We conclude this article with a conjectural desription of an explicit realization of Tn(m)\mathcal{T}_{n}^{(m)} in terms of mm-tuples of Dyck paths.

preprint2015arXiv

The Topology of the mm-Tamari Lattices

The mm-Tamari lattices Tn(m)\mathcal{T}_{n}^{(m)} were recently introduced by Bergeron and Préville-Ratelle as posets on mm-Dyck paths, and it was shown by Bousquet-Mélou, Fusy and Préville-Ratelle that these lattices form intervals in the classical Tamari lattice Tnm\mathcal{T}_{nm}. It follows from a theorem by Björner and Wachs and a basic property of EL-shellable posets, that the mm-Tamari lattices are EL-shellable. In this article, we define a new EL-labeling of the mm-Tamari lattices completely in terms of mm-Dyck paths. With the help of this labeling, we compute the values of the Möbius function of Tn(m)\mathcal{T}_{n}^{(m)}, and we characterize the intervals of Tn(m)\mathcal{T}_{n}^{(m)} according to their topological properties.

preprint2015arXiv

Trimness of Closed Intervals in Cambrian Semilattices

In this article, we give a short algebraic proof that all closed intervals in a γγ-Cambrian semilattice Cγ\mathcal{C}_γ are trim for any Coxeter group WW and any Coxeter element γ∈Wγ\in W. This means that if such an interval has length kk, then there exists a maximal chain of length kk consisting of left-modular elements, and there are precisely kk join- and kk meet-irreducible elements in this interval. Consequently every graded interval in Cγ\mathcal{C}_γ is distributive. This problem was open for any Coxeter group that is not a Weyl group.

preprint2014arXiv

EL-Shellability and Noncrossing Partitions Associated with Well-Generated Complex Reflection Groups

In this article we prove that the lattice of noncrossing partitions is EL-shellable when associated with the well-generated complex reflection group of type G(d,d,n)G(d,d,n), for d,n≥3d,n\geq 3, or with the exceptional well-generated complex reflection groups which are no real reflection groups. This result was previously established for the real reflection groups and it can be extended to the well-generated complex reflection group of type G(d,1,n)G(d,1,n), for d,n≥3d,n\geq 3, as well as to three exceptional groups, namely G25,G26G_{25},G_{26} and G32G_{32}, using a braid group argument. We thus conclude that the lattice of noncrossing partitions of any well-generated complex reflection group is EL-shellable. Using this result and a construction by Armstrong and Thomas, we conclude further that the poset of mm-divisible noncrossing partitions is EL-shellable for every well-generated complex reflection group. Finally, we derive results on the Möbius function of these posets previously conjectured by Armstrong, Krattenthaler and Tomie.

preprint2014arXiv

The Strip-Decomposition of m-Dyck Paths

The mm-Tamari lattices Tn(m)\mathcal{T}_{n}^{(m)}, introduced by Bergeron and Pr{é}ville-Ratelle, are defined as a poset of mm-Dyck paths equipped with the generalized rotation order, and constitute a Fuss-Catalan generalization of the classical Tamari lattices Tn\mathcal{T}_{n}. While for Tn\mathcal{T}_{n} many combinatorial realizations are known, to present there is no further combinatorial realization of Tn(m)\mathcal{T}_{n}^{(m)}. In this article, we introduce a certain decomposition of mm-Dyck paths into mm-tuples of Dyck paths, and after a certain modification of these mm-tuples, we conjecture that the resulting mm-tuples of Dyck paths realize Tn(m)\mathcal{T}_{n}^{(m)} as an induced subposet of the mm-fold direct product of Tn\mathcal{T}_{n} with itself. We are able to prove this conjecture for n≤3n\leq 3, and provide necessary conditions for mm-tuples of Dyck paths to belong to this realization. However, for n≥5n\geq 5, no sufficient condition is known.

preprint2014arXiv

Towards m-Cambrian Lattices

For positive integers mm and kk, we introduce a family of lattices Ck(m)\mathcal{C}_{k}^{(m)} associated to the Cambrian lattice Ck\mathcal{C}_{k} of the dihedral group I2(k)I_{2}(k). We show that Ck(m)\mathcal{C}_{k}^{(m)} satisfies some basic properties of a Fuss-Catalan generalization of Ck\mathcal{C}_{k}, namely that Ck(1)=Ck\mathcal{C}_{k}^{(1)}=\mathcal{C}_{k} and $\bigl\lvert\mathcal{C}_{k}^{(m)}\bigr\rvert=\mbox{Cat}^{(m)}\bigl(I_{2}(k)\bigr)$. Subsequently, we prove some structural and topological properties of these lattices---namely that they are trim and EL-shellable---which were known for Ck\mathcal{C}_{k} before. Remarkably, our construction coincides in the case k=3k=3 with the mm-Tamari lattice of parameter 3 due to Bergeron and Pr{é}ville-Ratelle. Eventually, we investigate this construction in the context of other Coxeter groups, in particular we conjecture that the lattice completion of the analogous construction for the symmetric group Sn\mathfrak{S}_{n} and the long cycle (1  2  …  n)(1\;2\;\ldots\;n) is isomorphic to the mm-Tamari lattice of parameter nn.

preprint2013arXiv

Proper Mergings of Stars and Chains are Counted by Sums of Antidiagonals in Certain Convolution Arrays -- The Details

A proper merging of two disjoint quasi-ordered sets PP and QQ is a quasi-order on the union of PP and QQ such that the restriction to PP or QQ yields the original quasi-order again and such that no elements of PP and QQ are identified. In this article, we determine the number of proper mergings in the case where PP is a star (i.e. an antichain with a smallest element adjoined), and QQ is a chain. We show that the lattice of proper mergings of an mm-antichain and an nn-chain, previously investigated by the author, is a quotient lattice of the lattice of proper mergings of an mm-star and an nn-chain, and we determine the number of proper mergings of an mm-star and an nn-chain by counting the number of congruence classes and by determining their cardinalities. Additionally, we compute the number of Galois connections between certain modified Boolean lattices and chains.

preprint2012arXiv

Counting Proper Mergings of Chains and Antichains

A proper merging of two disjoint quasi-ordered sets PP and QQ is a quasi-order on the union of PP and QQ such that the restriction to PP and QQ yields the original quasi-order again and such that no elements of PP and QQ are identified. In this article, we consider the cases where PP and QQ are chains, where PP and QQ are antichains, and where PP is an antichain and QQ is a chain. We give formulas that determine the number of proper mergings in all three cases, and introduce two new bijections from proper mergings of two chains to plane partitions and from proper mergings of an antichain and a chain to monotone colorings of complete bipartite digraphs. Additionally, we use these bijections to count the Galois connections between two chains, and between a chain and a Boolean lattice respectively.

preprint2012arXiv

On the Topology of the Cambrian Semilattices

For an arbitrary Coxeter group WW, David Speyer and Nathan Reading defined Cambrian semilattices CγC_γ as semilattice quotients of the weak order on WW induced by certain semilattice homomorphisms. In this article, we define an edge-labeling using the realization of Cambrian semilattices in terms of γγ-sortable elements, and show that this is an EL-labeling for every closed interval of CγC_γ. In addition, we use our labeling to show that every finite open interval in a Cambrian semilattice is either contractible or spherical, and we characterize the spherical intervals, generalizing a result by Nathan Reading.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.