Showing 1–41 of 41 results for author: Stump, C

On the global dimension of Nakayama algebras

Authors: Viktória Klász, René Marczinzik, Anton Mellit, Martin Rubey, Christian Stump

Abstract: We study the global dimension of Nakayama algebras. In the case of linear Nakayama algebras, which are in canonical bijection to Dyck paths, we show that the global dimension has the same distribution as the height of Dyck paths. For cyclic Nakayama algebras an explicit classification of finite global dimension is not known. However, we show that in certain special cases cyclic Nakayama algebras w… ▽ More We study the global dimension of Nakayama algebras. In the case of linear Nakayama algebras, which are in canonical bijection to Dyck paths, we show that the global dimension has the same distribution as the height of Dyck paths. For cyclic Nakayama algebras an explicit classification of finite global dimension is not known. However, we show that in certain special cases cyclic Nakayama algebras with finite global dimension can again be interpreted as Dyck paths. In particular, we show that there is a natural bijection between sincere Nakayama algebras and Dyck paths. In this case, we find that the global dimension is in fact twice the bounce count of the corresponding Dyck path. △ Less

Submitted 24 March, 2025; originally announced March 2025.

Comments: 22 pages

Humanity's Last Exam

Authors: Long Phan, Alice Gatti, Ziwen Han, Nathaniel Li, Josephina Hu, Hugh Zhang, Chen Bo Calvin Zhang, Mohamed Shaaban, John Ling, Sean Shi, Michael Choi, Anish Agrawal, Arnav Chopra, Adam Khoja, Ryan Kim, Richard Ren, Jason Hausenloy, Oliver Zhang, Mantas Mazeika, Dmitry Dodonov, Tung Nguyen, Jaeho Lee, Daron Anderson, Mikhail Doroshenko, Alun Cennyth Stokes , et al. (1084 additional authors not shown)

Abstract: Benchmarks are important tools for tracking the rapid advancements in large language model (LLM) capabilities. However, benchmarks are not keeping pace in difficulty: LLMs now achieve over 90\% accuracy on popular benchmarks like MMLU, limiting informed measurement of state-of-the-art LLM capabilities. In response, we introduce Humanity's Last Exam (HLE), a multi-modal benchmark at the frontier of… ▽ More Benchmarks are important tools for tracking the rapid advancements in large language model (LLM) capabilities. However, benchmarks are not keeping pace in difficulty: LLMs now achieve over 90\% accuracy on popular benchmarks like MMLU, limiting informed measurement of state-of-the-art LLM capabilities. In response, we introduce Humanity's Last Exam (HLE), a multi-modal benchmark at the frontier of human knowledge, designed to be the final closed-ended academic benchmark of its kind with broad subject coverage. HLE consists of 2,500 questions across dozens of subjects, including mathematics, humanities, and the natural sciences. HLE is developed globally by subject-matter experts and consists of multiple-choice and short-answer questions suitable for automated grading. Each question has a known solution that is unambiguous and easily verifiable, but cannot be quickly answered via internet retrieval. State-of-the-art LLMs demonstrate low accuracy and calibration on HLE, highlighting a significant gap between current LLM capabilities and the expert human frontier on closed-ended academic questions. To inform research and policymaking upon a clear understanding of model capabilities, we publicly release HLE at https://lastexam.ai. △ Less

Submitted 19 April, 2025; v1 submitted 24 January, 2025; originally announced January 2025.

Comments: 29 pages, 6 figures

Chow and augmented Chow polynomials as evaluations of Poincaré-extended ab-indices

Authors: Christian Stump

Abstract: We show that Chow polynomials and augmented Chow polynomials of matroids, and more generally of finite graded posets admitting R-labellings, are obtained as evaluations of their Poincaré-extended ab-indices. This implies in particular explicit combinatorial gamma-positive expansions for both. We then evaluate this expansion to obtain a compact expansion for the braid arrangement. We show that Chow polynomials and augmented Chow polynomials of matroids, and more generally of finite graded posets admitting R-labellings, are obtained as evaluations of their Poincaré-extended ab-indices. This implies in particular explicit combinatorial gamma-positive expansions for both. We then evaluate this expansion to obtain a compact expansion for the braid arrangement. △ Less

Submitted 28 August, 2024; v1 submitted 27 June, 2024; originally announced June 2024.

Comments: 10 pages, v2: added section evaluating the main theorem for the braid arrangement

The coarse flag Hilbert-Poincaré series of the braid arrangement

Authors: Elena Hoster, Christian Stump

Abstract: The paper concerns the coarse flag Hilbert-Poincaré series of Maglione-Voll in the case of the braid arrangement associated to the symmetric group. We explicitly construct a companion statistic $\operatorname{ino} : \mathfrak{S}_{n+1} \times \operatorname{Sym}(n) \rightarrow \mathbb{N}$ for the descent statistic on $\operatorname{Sym}(n)$ using reverse $(P,ω)$-partitions and quasisymmetric functio… ▽ More The paper concerns the coarse flag Hilbert-Poincaré series of Maglione-Voll in the case of the braid arrangement associated to the symmetric group. We explicitly construct a companion statistic $\operatorname{ino} : \mathfrak{S}_{n+1} \times \operatorname{Sym}(n) \rightarrow \mathbb{N}$ for the descent statistic on $\operatorname{Sym}(n)$ using reverse $(P,ω)$-partitions and quasisymmetric functions. △ Less

Submitted 12 February, 2025; v1 submitted 29 February, 2024; originally announced February 2024.

Comments: 11 pages; v2: Added Remark 1.10

MSC Class: 05A05; 06A07

The Poincaré-extended ab-index

Authors: Galen Dorpalen-Barry, Joshua Maglione, Christian Stump

Abstract: Motivated by a conjecture concerning Igusa local zeta functions for intersection posets of hyperplane arrangements, we introduce and study the Poincaré-extended ab-index, which generalizes both the ab-index and the Poincaré polynomial. For posets admitting R-labelings, we give a combinatorial description of the coefficients of the extended ab-index, proving their nonnegativity. In the case of inte… ▽ More Motivated by a conjecture concerning Igusa local zeta functions for intersection posets of hyperplane arrangements, we introduce and study the Poincaré-extended ab-index, which generalizes both the ab-index and the Poincaré polynomial. For posets admitting R-labelings, we give a combinatorial description of the coefficients of the extended ab-index, proving their nonnegativity. In the case of intersection posets of hyperplane arrangements, we prove the above conjecture of the second author and Voll as well as another conjecture of the second author and Kühne. We also define the pullback ab-index generalizing the cd-index of face posets for oriented matroids. Our results recover, generalize and unify results from Billera-Ehrenborg-Readdy, Bergeron-Mykytiuk-Sottile-van Willigenburg, Saliola-Thomas, and Ehrenborg. This connection allows us to translate our results into the language of quasisymmetric functions, and-in the special case of symmetric functions-make a conjecture about Schur positivity. A proof of this conjecture now appears an appendix by Ricky Ini Liu. △ Less

Submitted 9 December, 2024; v1 submitted 14 January, 2023; originally announced January 2023.

Comments: v5: incorporated referee feedback, version to appear in JLMS; v4: Added an appendix from Ricky Ini Liu with a proof of Conjecture 3.5

MSC Class: 06A07; 05B35; 52C40

Shi arrangements restricted to Weyl cones

Authors: Galen Dorpalen-Barry, Christian Stump

Abstract: We consider the restrictions of Shi arrangements to Weyl cones, their relations to antichains in the root poset, and their intersection posets. For any Weyl cone, we provide bijections between regions, flats intersecting the cone, and antichains of a naturally-defined subposet of the root poset. This gives a refinement of the parking function numbers via the Poincaré polynomials of the intersectio… ▽ More We consider the restrictions of Shi arrangements to Weyl cones, their relations to antichains in the root poset, and their intersection posets. For any Weyl cone, we provide bijections between regions, flats intersecting the cone, and antichains of a naturally-defined subposet of the root poset. This gives a refinement of the parking function numbers via the Poincaré polynomials of the intersection posets of all Weyl cones. Finally, we interpret these Poincaré polynomials as the Hilbert series of two isomorphic graded rings, one arising from the Varchenko-Gel'fand ring and another, which we call the order ring since it turns out to be naturally associated to the order polytope. △ Less

Submitted 12 April, 2022; originally announced April 2022.

Comments: 14 pages

MSC Class: Primary 20F55; Secondary 52C35

Central limit theorems for generalized descents and generalized inversions in finite root systems

Authors: Kathrin Meier, Christian Stump

Abstract: We consider generalized inversions and descents in finite Weyl groups. We establish Coxeter-theoretic properties of indicator random variables of positive roots such as the covariance of two such indicator random variables. We then compute the variances of generalized inversions and descents in classical types. We finally use the dependency graph method to prove central limit theorems for general… ▽ More We consider generalized inversions and descents in finite Weyl groups. We establish Coxeter-theoretic properties of indicator random variables of positive roots such as the covariance of two such indicator random variables. We then compute the variances of generalized inversions and descents in classical types. We finally use the dependency graph method to prove central limit theorems for general antichains in root posets and in particular for generalized descents, and then for generalized inversions. △ Less

Submitted 28 September, 2023; v1 submitted 11 February, 2022; originally announced February 2022.

Comments: 23 pages, v2: added Theorem 3.4 filling a gap in the dependency graph method. Final version to appear in Electron. J. Probab

MSC Class: Primary 20F55; secondary 05A15; 05A16; 60F05

Bruhat intervals, subword complexes and brick polyhedra for finite Coxeter groups

Authors: Dennis Jahn, Christian Stump

Abstract: We study the interplay between the discrete geometry of Bruhat poset intervals and subword complexes of finite Coxeter systems. We establish connections between the cones generated by cover labels for Bruhat intervals and of root configurations for subword complexes, culminating in the notion of brick polyhedra for general subword complexes. We study the interplay between the discrete geometry of Bruhat poset intervals and subword complexes of finite Coxeter systems. We establish connections between the cones generated by cover labels for Bruhat intervals and of root configurations for subword complexes, culminating in the notion of brick polyhedra for general subword complexes. △ Less

Submitted 5 March, 2021; originally announced March 2021.

Comments: 26 pages, multiple sketches and examples

MSC Class: 20F55 (Primary) 52B11; 06A07 (Secondary)

Minkowski decompositions for generalized associahedra of acyclic type

Authors: Dennis Jahn, Robert Löwe, Christian Stump

Abstract: We give an explicit subword complex description of the generators of the type cone of the g-vector fan of a finite type cluster algebra with acyclic initial seed. This yields in particular a description of the Newton polytopes of the F-polynomials in terms of subword complexes as conjectured by S. Brodsky and the third author. We then show that the cluster complex is combinatorially isomorphic to… ▽ More We give an explicit subword complex description of the generators of the type cone of the g-vector fan of a finite type cluster algebra with acyclic initial seed. This yields in particular a description of the Newton polytopes of the F-polynomials in terms of subword complexes as conjectured by S. Brodsky and the third author. We then show that the cluster complex is combinatorially isomorphic to the totally positive part of the tropicalization of the cluster variety as conjectured by D. Speyer and L. Williams. △ Less

Submitted 18 June, 2020; v1 submitted 28 May, 2020; originally announced May 2020.

Comments: 17 pages. v2: updated and extended examples, added footnote that Theorem 1.4 also follows from [AHL20, Theorems 4.1 & 4.2]

Standard complexes of matroids and lattice paths

Authors: Alexander Engström, Raman Sanyal, Christian Stump

Abstract: Motivated by Gröbner basis theory for finite point configurations, we define and study the class of "standard complexes" associated to a matroid. Standard complexes are certain subcomplexes of the independence complex that are invariant under matroid duality. For the lexicographic term order, the standard complexes satisfy a deletion-contraction-type recurrence. We explicitly determine the lexicog… ▽ More Motivated by Gröbner basis theory for finite point configurations, we define and study the class of "standard complexes" associated to a matroid. Standard complexes are certain subcomplexes of the independence complex that are invariant under matroid duality. For the lexicographic term order, the standard complexes satisfy a deletion-contraction-type recurrence. We explicitly determine the lexicographic standard complexes for lattice path matroids using classical bijective combinatorics. △ Less

Submitted 27 November, 2019; originally announced November 2019.

Comments: 16 pages, 5 figures

MSC Class: 05Exx; 13P25; 05B35; 52B40

A new face iterator for polyhedra and more general finite locally branched lattices

Authors: Jonathan Kliem, Christian Stump

Abstract: We discuss a new memory-efficient depth-first algorithm and its implementation that iterates over all elements of a finite locally branched lattice. This algorithm can be applied to face lattices of polyhedra and to various generalizations such as finite polyhedral complexes and subdivisions of manifolds, extended tight spans and closed sets of matroids. Its practical implementation is very fast c… ▽ More We discuss a new memory-efficient depth-first algorithm and its implementation that iterates over all elements of a finite locally branched lattice. This algorithm can be applied to face lattices of polyhedra and to various generalizations such as finite polyhedral complexes and subdivisions of manifolds, extended tight spans and closed sets of matroids. Its practical implementation is very fast compared to state-of-the-art implementations of previously considered algorithms. Based on recent work of Bruns, García-Sánchez, O'Neill and Wilburne, we apply this algorithm to prove Wilf's conjecture for all numerical semigroups of multiplicity 19 by iterating through the faces of the Kunz cone and identifying the possible bad faces and then checking that these do not yield counterexamples to Wilf's conjecture. △ Less

Submitted 17 January, 2020; v1 submitted 6 May, 2019; originally announced May 2019.

Comments: 17 pages including long examples and computational data; v2: added section 6 on Wilf's conjecture for numerical semigroups of multiplicity 19, added additional computational data

MSC Class: 52Bxx (primary); 06A07; 68Q25 (secondary)

Journal ref: Discrete Comput Geom (2022)

A combinatorial classification of 2-regular simple modules for Nakayama algebras

Authors: Rene Marczinzik, Martin Rubey, Christian Stump

Abstract: Enomoto showed for finite dimensional algebras that the classification of exact structures on the category of finitely generated projective modules can be reduced to the classification of 2-regular simple modules. In this article, we give a combinatorial classification of 2-regular simple modules for Nakayama algebras and we use this classification to answer several natural questions such as when… ▽ More Enomoto showed for finite dimensional algebras that the classification of exact structures on the category of finitely generated projective modules can be reduced to the classification of 2-regular simple modules. In this article, we give a combinatorial classification of 2-regular simple modules for Nakayama algebras and we use this classification to answer several natural questions such as when there is a unique exact structure on the category of finitely generated projective modules for Nakayama algebras. We also classify 1-regular simple modules, quasi-hereditary Nakayama algebras and Nakayama algebras of global dimension at most two. It turns out that most classes are enumerated by well-known combinatorial sequences, such as Fibonacci, Riordan and Narayana numbers. We first obtain interpretations in terms of the Auslander-Reiten quiver of the algebra using homological algebra, and then apply suitable bijections to relate these to combinatorial statistics on Dyck paths. △ Less

Submitted 14 July, 2020; v1 submitted 14 November, 2018; originally announced November 2018.

Comments: 33 pages; v2 (final version): added proofs for combinatorial counting formulas, slight modifications in presentation due to referee's suggestions

A Hodge filtration of logarithmic vector fields for well-generated complex reflection groups

Authors: Takuro Abe, Gerhard Röhrle, Christian Stump, Masahiko Yoshinaga

Abstract: Given an irreducible well-generated complex reflection group, we construct an explicit basis for the module of vector fields with logarithmic poles along its reflection arrangement. This construction yields in particular a Hodge filtration of that module. Our approach is based on a detailed analysis of a flat connection applied to the primitive vector field. This generalizes and unifies analogous… ▽ More Given an irreducible well-generated complex reflection group, we construct an explicit basis for the module of vector fields with logarithmic poles along its reflection arrangement. This construction yields in particular a Hodge filtration of that module. Our approach is based on a detailed analysis of a flat connection applied to the primitive vector field. This generalizes and unifies analogous results for real reflection groups. △ Less

Submitted 16 July, 2024; v1 submitted 13 September, 2018; originally announced September 2018.

Comments: 20 pages, v2: minor corrections. Final version, to appear in J. Comb. Algebra

MSC Class: 20F55; 52C35; 32S25

Counting inversions and descents of random elements in finite Coxeter groups

Authors: Thomas Kahle, Christian Stump

Abstract: We investigate Mahonian and Eulerian probability distributions given by inversions and descents in general finite Coxeter groups. We provide uniform formulas for the means and variances in terms of Coxeter group data in both cases. We also provide uniform formulas for the double-Eulerian probability distribution of the sum of descents and inverse descents. We finally establish necessary and suffic… ▽ More We investigate Mahonian and Eulerian probability distributions given by inversions and descents in general finite Coxeter groups. We provide uniform formulas for the means and variances in terms of Coxeter group data in both cases. We also provide uniform formulas for the double-Eulerian probability distribution of the sum of descents and inverse descents. We finally establish necessary and sufficient conditions for general sequences of Coxeter groups of increasing rank under which Mahonian and Eulerian probability distributions satisfy central and local limit theorems. △ Less

Submitted 22 August, 2019; v1 submitted 5 February, 2018; originally announced February 2018.

Comments: 26 pages incl. appendix. v2: added further computational data, Remark 6.6 about mod-Gaussian convergence. v3: uniform proof of Theorem 4.1 and a uniform double coset count in Corollary 5.4, completely revised Section 6, v4: final version with corrected Proposition 6.4

MSC Class: Primary 20F55; Secondary 05A15; 05A16; 60F05

The EKR property for flag pure simplicial complexes without boundary

Authors: Jorge Olarte, Francisco Santos, Jonathan Spreer, Christian Stump

Abstract: We prove that the family of facets of a pure simplicial complex of dimension up to three satisfies the Erdős-Ko-Rado property whenever it is flag and has no boundary ridges. We conjecture the same to be true in arbitrary dimension and give evidence for this conjecture. Our motivation is that complexes with these two properties include flag pseudo-manifolds and cluster complexes. We prove that the family of facets of a pure simplicial complex of dimension up to three satisfies the Erdős-Ko-Rado property whenever it is flag and has no boundary ridges. We conjecture the same to be true in arbitrary dimension and give evidence for this conjecture. Our motivation is that complexes with these two properties include flag pseudo-manifolds and cluster complexes. △ Less

Submitted 16 April, 2018; v1 submitted 6 October, 2017; originally announced October 2017.

Comments: 22 pages, v2: modified title and presentation, updated references, results unchanged

MSC Class: 05E45 (Primary); 05D05; 05C35 (Secondary)

Journal ref: J. Combin. Th., Ser. A. 172 (May 2020), 105205

Double deficiencies of Dyck paths via the Billey-Jockusch-Stanley bijection

Authors: Martin Rubey, Christian Stump

Abstract: We prove a recent conjecture by René Marczinzik involving certain statistics on Dyck paths that originate in the representation theory of Nakayama algebras of a linearly oriented quiver. We do so by analysing the effect of the Billey-Jockusch-Stanley bijection between Dyck paths and 321-avoiding permutations on these statistics, which was suggested by the result of a query issued to the online dat… ▽ More We prove a recent conjecture by René Marczinzik involving certain statistics on Dyck paths that originate in the representation theory of Nakayama algebras of a linearly oriented quiver. We do so by analysing the effect of the Billey-Jockusch-Stanley bijection between Dyck paths and 321-avoiding permutations on these statistics, which was suggested by the result of a query issued to the online database FindStat. △ Less

Submitted 16 August, 2017; originally announced August 2017.

Lipschitz polytopes of posets and permutation statistics

Authors: Raman Sanyal, Christian Stump

Abstract: We introduce Lipschitz functions on a finite partially ordered set $P$ and study the associated Lipschitz polytope $L(P)$. The geometry of $L(P)$ can be described in terms of descent-compatible permutations and permutation statistics that generalize descents and big ascents. For ranked posets, Lipschitz polytopes are centrally-symmetric and Gorenstein, which implies symmetry and unimodality of the… ▽ More We introduce Lipschitz functions on a finite partially ordered set $P$ and study the associated Lipschitz polytope $L(P)$. The geometry of $L(P)$ can be described in terms of descent-compatible permutations and permutation statistics that generalize descents and big ascents. For ranked posets, Lipschitz polytopes are centrally-symmetric and Gorenstein, which implies symmetry and unimodality of the statistics. Finally, we define $(P,k)$-hypersimplices as generalizations of classical hypersimplices and give combinatorial interpretations of their volumes and $h^*$-vectors. △ Less

Submitted 30 March, 2017; originally announced March 2017.

Comments: 11 pages

MSC Class: 06A07; 05A05; 52B12

Freeness of multi-reflection arrangements via primitive vector fields

Authors: Torsten Hoge, Toshiyuki Mano, Gerhard Roehrle, Christian Stump

Abstract: In 2002, Terao showed that every reflection multi-arrangement of a real reflection group with constant multiplicity is free by providing a basis of the module of derivations. We first generalize Terao's result to multi-arrangements stemming from well-generated unitary reflection groups, where the multiplicity of a hyperplane depends on the order of its stabilizer. Here the exponents depend on the… ▽ More In 2002, Terao showed that every reflection multi-arrangement of a real reflection group with constant multiplicity is free by providing a basis of the module of derivations. We first generalize Terao's result to multi-arrangements stemming from well-generated unitary reflection groups, where the multiplicity of a hyperplane depends on the order of its stabilizer. Here the exponents depend on the exponents of the dual reflection representation. We then extend our results further to all imprimitive irreducible unitary reflection groups. In this case the exponents turn out to depend on the exponents of a certain Galois twist of the dual reflection representation that comes from a Beynon-Lusztig type semi-palindromicity of the fake degrees. △ Less

Submitted 17 April, 2019; v1 submitted 27 March, 2017; originally announced March 2017.

Comments: 26 pages; v2: an analogue of Saito's Hodge filtration is introduced and is used to show the universality of the vector field \nabla_D^{-m}(E) in Prop. 3.18; v3: minor changes; v4: reference [KMS18b] added; other minor changes; final version to appear in Advances in Math

MSC Class: 20F55; 52C35; 14N20; 32S25; 32S22; 05E15

Towards a uniform subword complex description of acyclic finite type cluster algebras

Authors: Sarah Brodsky, Christian Stump

Abstract: It has been established in recent years how to approach acyclic cluster algebras of finite type using subword complexes. In this paper, we continue this study by describing the c- and g-vectors, and by providing a conjectured description of the Newton polytopes of the F-polynomials. In particular, we show that this conjectured description would imply that finite type cluster complexes are realized… ▽ More It has been established in recent years how to approach acyclic cluster algebras of finite type using subword complexes. In this paper, we continue this study by describing the c- and g-vectors, and by providing a conjectured description of the Newton polytopes of the F-polynomials. In particular, we show that this conjectured description would imply that finite type cluster complexes are realized by the duals of the Minkowski sums of the Newton polytopes of either the F-polynomials, or of the cluster variables, respectively. △ Less

Submitted 25 August, 2016; originally announced August 2016.

Comments: 26 pages

Cataland: Why the Fuss?

Authors: Christian Stump, Hugh Thomas, Nathan Williams

Abstract: The three main objects in noncrossing Catalan combinatorics associated to a finite Coxeter system are noncrossing partitions, clusters, and sortable elements. The first two of these have known Fuss-Catalan generalizations. We provide new viewpoints for both and introduce the missing generalization of sortable elements by lifting the theory from the Coxeter system to the associated positive Artin m… ▽ More The three main objects in noncrossing Catalan combinatorics associated to a finite Coxeter system are noncrossing partitions, clusters, and sortable elements. The first two of these have known Fuss-Catalan generalizations. We provide new viewpoints for both and introduce the missing generalization of sortable elements by lifting the theory from the Coxeter system to the associated positive Artin monoid. We show how this new perspective ties together all three generalizations, providing a uniform framework for noncrossing Fuss-Catalan combinatorics. Having developed the combinatorial theory, we provide an interpretation of our generalizations in the language of the representation theory of hereditary Artin algebras. △ Less

Submitted 25 October, 2018; v1 submitted 2 March, 2015; originally announced March 2015.

Comments: 132 pages, v2: major revisions and expansion, section on representation theory added

MSC Class: 20F55; 16G10

On non-conjugate Coxeter elements in well-generated reflection groups

Authors: Victor Reiner, Vivien Ripoll, Christian Stump

Abstract: Given an irreducible well-generated complex reflection group W with Coxeter number h, we call a Coxeter element any regular element (in the sense of Springer) of order h in W; this is a slight extension of the most common notion of Coxeter element. We show that the class of these Coxeter elements forms a single orbit in W under the action of reflection automorphisms. For Coxeter and Shephard group… ▽ More Given an irreducible well-generated complex reflection group W with Coxeter number h, we call a Coxeter element any regular element (in the sense of Springer) of order h in W; this is a slight extension of the most common notion of Coxeter element. We show that the class of these Coxeter elements forms a single orbit in W under the action of reflection automorphisms. For Coxeter and Shephard groups, this implies that an element c is a Coxeter element if and only if there exists a simple system S of reflections such that c is the product of the generators in S. We moreover deduce multiple further implications of this property. In particular, we obtain that all noncrossing partition lattices of W associated to different Coxeter elements are isomorphic. We also prove that there is a simply transitive action of the Galois group of the field of definition of W on the set of conjugacy classes of Coxeter elements. Finally, we extend several of these properties to Springer's regular elements of arbitrary order. △ Less

Submitted 14 December, 2014; v1 submitted 22 April, 2014; originally announced April 2014.

Comments: v2: 22 pages. Added Figure for Example 1.2; minor corrections in Section 2.2; added Remark 4.4; other minor changes, results unchanged

On a new collection of words in the Catalan family

Authors: Christian Stump

Abstract: In this note, we provide a bijection between a new collection of words on nonnegative integers of length n and Dyck paths of length 2n-2, thus proving that this collection belongs to the Catalan family. The surprising key step in this bijection is the zeta map which is an important map in the study of q,t-Catalan numbers. Finally we discuss an alternative approach to this new collection of words u… ▽ More In this note, we provide a bijection between a new collection of words on nonnegative integers of length n and Dyck paths of length 2n-2, thus proving that this collection belongs to the Catalan family. The surprising key step in this bijection is the zeta map which is an important map in the study of q,t-Catalan numbers. Finally we discuss an alternative approach to this new collection of words using two statistics on planted trees that turn out to be closely related to the Tutte polynomial on the Catalan matroid. △ Less

Submitted 23 May, 2014; v1 submitted 7 April, 2014; originally announced April 2014.

Comments: 5 pages, v2: title changed + fixed typos; final version

MSC Class: 05A19

Journal ref: Journal of Integer Sequences, Vol. 17 (2014), Article 14.7.1

Noncrossing sets and a Graßmann associahedron

Authors: Francisco Santos, Christian Stump, Volkmar Welker

Abstract: We study a natural generalization of the noncrossing relation between pairs of elements in [n] to k-tuples in [n] that was first considered by Petersen, Pylyavskyy, Speyer (2010). We give an alternative approach to their result that the flag simplicial complex on $\binom{[n]}{k}$ induced by this relation is a regular, unimodular and flag triangulation of the order polytope of the poset given by th… ▽ More We study a natural generalization of the noncrossing relation between pairs of elements in [n] to k-tuples in [n] that was first considered by Petersen, Pylyavskyy, Speyer (2010). We give an alternative approach to their result that the flag simplicial complex on $\binom{[n]}{k}$ induced by this relation is a regular, unimodular and flag triangulation of the order polytope of the poset given by the product $[k]\times[n-k]$ of two chains (also called Gelfand-Tsetlin polytope), and that it is the join of a simplex and a sphere (that is, it is a Gorenstein triangulation). We then observe that this already implies the existence of a flag simplicial polytope generalizing the dual associahedron, whose Stanley-Reisner ideal is an initial ideal of the Graßmann-Plücker ideal, while previous constructions of such a polytope did not guarantee flagness nor reduced to the dual associahedron for k=2. On our way we provide general results about order polytopes and their triangulations. We call the simplicial complex the noncrossing complex, and the polytope derived from it the dual Graßmann associahedron. We extend results of Petersen, Pylyavskyy, Speyer (2010) showing that the non-crossing complex and the Graßmann associahedron naturally reflect the relations between Graßmannians with different parameters, in particular the isomorphism $G_{k,n} \cong G_{n-k,n}$. Moreover, our approach allows us to show that the adjacency graph of the noncrossing complex admits a natural acyclic orientation that allows us to define a Graßmann-Tamari order on maximal noncrossing families. Finally, we look at the precise relation of the noncrossing complex and the weak separability complex of Leclerc, Zelevinsky (1998) and show that the weak separability complex is the cyclically invariant part of the noncrossibg complex. △ Less

Submitted 26 June, 2014; v1 submitted 31 March, 2014; originally announced March 2014.

Comments: 35 pages, 6 figures; v2 incorporates reference to Petersen, Pylyavskyy, Speyer (2010)

MSC Class: primary 52B20; secondary 06A11

Journal ref: Forum of Mathematics, Sigma, 5 (2017), e5

A note on the transitive Hurwitz action on decompositions of parabolic Coxeter elements

Authors: Barbara Baumeister, Matthew Dyer, Christian Stump, Patrick Wegener

Abstract: In this note, we provide a short and self-contained proof that the braid group on n strands acts transitively on the set of reduced factorizations of a Coxeter element in a Coxeter group of finite rank n into products of reflections. We moreover use the same argument to also show that all factorizations of an element in a parabolic subgroup of W lie as well in this parabolic subgroup. In this note, we provide a short and self-contained proof that the braid group on n strands acts transitively on the set of reduced factorizations of a Coxeter element in a Coxeter group of finite rank n into products of reflections. We moreover use the same argument to also show that all factorizations of an element in a parabolic subgroup of W lie as well in this parabolic subgroup. △ Less

Submitted 11 February, 2014; originally announced February 2014.

Comments: 5 pages

MSC Class: 20F55

FindStat - the combinatorial statistics database

Authors: Chris Berg, Viviane Pons, Travis Scrimshaw, Jessica Striker, Christian Stump

Abstract: The FindStat project at www.FindStat.org provides an online platform for mathematicians, particularly for combinatorialists, to gather information about combinatorial statistics and their relations. This outline provides an overview over the project. The FindStat project at www.FindStat.org provides an online platform for mathematicians, particularly for combinatorialists, to gather information about combinatorial statistics and their relations. This outline provides an overview over the project. △ Less

Submitted 15 January, 2014; originally announced January 2014.

Comments: 2 pages, project description

On root posets for noncrystallographic root systems

Authors: Michael Cuntz, Christian Stump

Abstract: We discuss properties of root posets for finite crystallographic root systems, and show that these properties uniquely determine root posets for the noncrystallographic dihedral types and type $H_3$, while proving that there does not exist a poset satisfying all of the properties in type $H_4$. We do this by exhaustive computer searches for posets having these properties. We further give a realiza… ▽ More We discuss properties of root posets for finite crystallographic root systems, and show that these properties uniquely determine root posets for the noncrystallographic dihedral types and type $H_3$, while proving that there does not exist a poset satisfying all of the properties in type $H_4$. We do this by exhaustive computer searches for posets having these properties. We further give a realization of the poset of type $H_3$ as restricted roots of type $D_6$, and conjecture a Hilbert polynomial for the $q,t$-Catalan numbers for type $H_4$. △ Less

Submitted 12 December, 2012; originally announced December 2012.

Comments: 19 pages, 9 figures or tables

MSC Class: 20F55

Counting factorizations of Coxeter elements into products of reflections

Authors: Guillaume Chapuy, Christian Stump

Abstract: In this paper, we count factorizations of Coxeter elements in well-generated complex reflection groups into products of reflections. We obtain a simple product formula for the exponential generating function of such factorizations, which is expressed uniformly in terms of natural parameters of the group. In the case of factorizations of minimal length, we recover a formula due to P. Deligne, J. Ti… ▽ More In this paper, we count factorizations of Coxeter elements in well-generated complex reflection groups into products of reflections. We obtain a simple product formula for the exponential generating function of such factorizations, which is expressed uniformly in terms of natural parameters of the group. In the case of factorizations of minimal length, we recover a formula due to P. Deligne, J. Tits and D. Zagier in the real case and to D. Bessis in the complex case. For the symmetric group, our formula specializes to a formula of D. M. Jackson. △ Less

Submitted 15 September, 2014; v1 submitted 12 November, 2012; originally announced November 2012.

Comments: 38 pages, including 18 pages appendix. To appear in Journal of the London Mathematical Society. v3: minor changes and corrected references; v2: added extended discussion on the definition of Coxeter elements

MSC Class: 20F55 (Primary); 05E10 (Secondary)

Journal ref: Journal of the London Mathematical Society, 90 (3):919-939 (2014)

Vertex barycenter of generalized associahedra

Authors: Vincent Pilaud, Christian Stump

Abstract: We show that the vertex barycenter of generalized associahedra and permutahedra coincide for any finite Coxeter system. We show that the vertex barycenter of generalized associahedra and permutahedra coincide for any finite Coxeter system. △ Less

Submitted 7 October, 2013; v1 submitted 11 October, 2012; originally announced October 2012.

Comments: 15 pages, 4 figures, final version with minor corrections

MSC Class: 52B15 (primary); 52B05; 13F60 (secondary)

Journal ref: Proc. Amer. Math. Soc., 143(6):2623-2636, 2015

EL-labelings and canonical spanning trees for subword complexes

Authors: Vincent Pilaud, Christian Stump

Abstract: We describe edge labelings of the increasing flip graph of a subword complex on a finite Coxeter group, and study applications thereof. On the one hand, we show that they provide canonical spanning trees of the facet-ridge graph of the subword complex, describe inductively these trees, and present their close relations to greedy facets. Searching these trees yields an efficient algorithm to genera… ▽ More We describe edge labelings of the increasing flip graph of a subword complex on a finite Coxeter group, and study applications thereof. On the one hand, we show that they provide canonical spanning trees of the facet-ridge graph of the subword complex, describe inductively these trees, and present their close relations to greedy facets. Searching these trees yields an efficient algorithm to generate all facets of the subword complex, which extends the greedy flip algorithm for pointed pseudotriangulations. On the other hand, when the increasing flip graph is a Hasse diagram, we show that the edge labeling is indeed an EL-labeling and derive further combinatorial properties of paths in the increasing flip graph. These results apply in particular to Cambrian lattices, in which case a similar EL-labeling was recently studied by M. Kallipoliti and H. Mühle. △ Less

Submitted 13 December, 2012; v1 submitted 4 October, 2012; originally announced October 2012.

Comments: 32 pages, 16 figures. This paper subsumes the results of arXiv:1203.2323. v2: Final version; improved Proposition 5.2; added more details and improved the presentation

MSC Class: 20F55; 06A07; 05C05; 68R05

Journal ref: Discrete Geometry and Optimization, Fields Institute Communications Series (Springer), 69:213-248, 2013

Brick polytopes of spherical subword complexes and generalized associahedra

Authors: Vincent Pilaud, Christian Stump

Abstract: We generalize the brick polytope of V. Pilaud and F. Santos to spherical subword complexes for finite Coxeter groups. This construction provides polytopal realizations for a certain class of subword complexes containing all cluster complexes of finite types. For the latter, the brick polytopes turn out to coincide with the known realizations of generalized associahedra, thus opening new perspectiv… ▽ More We generalize the brick polytope of V. Pilaud and F. Santos to spherical subword complexes for finite Coxeter groups. This construction provides polytopal realizations for a certain class of subword complexes containing all cluster complexes of finite types. For the latter, the brick polytopes turn out to coincide with the known realizations of generalized associahedra, thus opening new perspectives on these constructions. This new approach yields in particular the vertex description of generalized associahedra, a Minkowski sum decomposition into Coxeter matroid polytopes, and a combinatorial description of the exchange matrix of any cluster in a finite type cluster algebra. △ Less

Submitted 10 April, 2015; v1 submitted 14 November, 2011; originally announced November 2011.

Comments: 52 pages, 20 figures. v5: journal version

MSC Class: 20F55 (Primary) 52B11; 06A07 (Secondary)

Journal ref: Adv. Math., 276:1-61, 2015

Subword complexes, cluster complexes, and generalized multi-associahedra

Authors: Cesar Ceballos, Jean-Philippe Labbé, Christian Stump

Abstract: In this paper, we use subword complexes to provide a uniform approach to finite type cluster complexes and multi-associahedra. We introduce, for any finite Coxeter group and any nonnegative integer k, a spherical subword complex called multi-cluster complex. For k=1, we show that this subword complex is isomorphic to the cluster complex of the given type. We show that multi-cluster complexes of ty… ▽ More In this paper, we use subword complexes to provide a uniform approach to finite type cluster complexes and multi-associahedra. We introduce, for any finite Coxeter group and any nonnegative integer k, a spherical subword complex called multi-cluster complex. For k=1, we show that this subword complex is isomorphic to the cluster complex of the given type. We show that multi-cluster complexes of types A and B coincide with known simplicial complexes, namely with the simplicial complexes of multi-triangulations and centrally symmetric multi-triangulations respectively. Furthermore, we show that the multi-cluster complex is universal in the sense that every spherical subword complex can be realized as a link of a face of the multi-cluster complex. △ Less

Submitted 27 February, 2013; v1 submitted 8 August, 2011; originally announced August 2011.

Comments: 26 pages, 3 Tables, 2 Figures; final version

MSC Class: 05E45; 20F55; 13F60

A compendium on the cluster algebra and quiver package in sage

Authors: Gregg Musiker, Christian Stump

Abstract: This is the compendium of the cluster algebra and quiver package for sage. The purpose of this package is to provide a platform to work with cluster algebras in graduate courses and to further develop the theory by working on examples, by gathering data, and by exhibiting and testing conjectures. In this compendium, we include the relevant theory to introduce the reader to cluster algebras assumin… ▽ More This is the compendium of the cluster algebra and quiver package for sage. The purpose of this package is to provide a platform to work with cluster algebras in graduate courses and to further develop the theory by working on examples, by gathering data, and by exhibiting and testing conjectures. In this compendium, we include the relevant theory to introduce the reader to cluster algebras assuming no prior background; this exposition has been written to be accessible to an interested undergraduate. Throughout this compendium, we include examples that the user can run in the sage notebook or command line, and then close with a detailed description of the data structures and methods in this package. △ Less

Submitted 29 March, 2011; v1 submitted 23 February, 2011; originally announced February 2011.

Comments: 62 pages

A uniform bijection between nonnesting and noncrossing partitions

Authors: Drew Armstrong, Christian Stump, Hugh Thomas

Abstract: In 2007, D.I. Panyushev defined a remarkable map on the set of nonnesting partitions (antichains in the root poset of a finite Weyl group). In this paper we identify Panyushev's map with the Kreweras complement on the set of noncrossing partitions, and hence construct the first uniform bijection between nonnesting and noncrossing partitions. Unfortunately, the proof that our construction is well-d… ▽ More In 2007, D.I. Panyushev defined a remarkable map on the set of nonnesting partitions (antichains in the root poset of a finite Weyl group). In this paper we identify Panyushev's map with the Kreweras complement on the set of noncrossing partitions, and hence construct the first uniform bijection between nonnesting and noncrossing partitions. Unfortunately, the proof that our construction is well-defined is case-by-case, using a computer in the exceptional types. Fortunately, the proof involves new and interesting combinatorics in the classical types. As consequences, we prove several conjectural properties of the Panyushev map, and we prove two cyclic sieving phenomena conjectured by D. Bessis and V. Reiner. △ Less

Submitted 9 March, 2011; v1 submitted 6 January, 2011; originally announced January 2011.

Comments: 29 pages, 7 figures, added proofs of several Panyushev Conjectures, minor errors and typos corrected

Maximal fillings of moon polyominoes, simplicial complexes, and Schubert polynomials

Authors: Luis Serrano, Christian Stump

Abstract: We exhibit a canonical connection between maximal (0,1)-fillings of a moon polyomino avoiding north-east chains of a given length and reduced pipe dreams of a certain permutation. Following this approach we show that the simplicial complex of such maximal fillings is a vertex-decomposable, and thus shellable, sphere. In particular, this implies a positivity result for Schubert polynomials. For Fer… ▽ More We exhibit a canonical connection between maximal (0,1)-fillings of a moon polyomino avoiding north-east chains of a given length and reduced pipe dreams of a certain permutation. Following this approach we show that the simplicial complex of such maximal fillings is a vertex-decomposable, and thus shellable, sphere. In particular, this implies a positivity result for Schubert polynomials. For Ferrers shapes, we moreover construct a bijection to maximal fillings avoiding south-east chains of the same length which specializes to a bijection between k-triangulations of the n-gon and k-fans of Dyck paths of length 2(n-2k). Using this, we translate a conjectured cyclic sieving phenomenon for k-triangulations with rotation to the language of k-flagged tableaux with promotion. △ Less

Submitted 5 July, 2011; v1 submitted 23 September, 2010; originally announced September 2010.

Comments: 16 pages, 7 figures, revised version

MSC Class: 05E45 (Primary); 05A05 (Secondary); 05E05

A new perspective on k-triangulations

Authors: Christian Stump

Abstract: We connect k-triangulations of a convex n-gon to the theory of Schubert polynomials. We use this connection to prove that the simplicial complex with k-triangulations as facets is a vertex-decomposable triangulated sphere, and we give a new proof of the determinantal formula for the number of k-triangulations. We connect k-triangulations of a convex n-gon to the theory of Schubert polynomials. We use this connection to prove that the simplicial complex with k-triangulations as facets is a vertex-decomposable triangulated sphere, and we give a new proof of the determinantal formula for the number of k-triangulations. △ Less

Submitted 3 March, 2011; v1 submitted 21 September, 2010; originally announced September 2010.

Comments: 7 pages, 3 figures, final version containing several improvements, to appear in J. Combin. Theory Ser. A

MSC Class: Primary 05E45; Secondary 05A05; 05E05

Counting the number of elements in the mutation classes of \tilde{A}_n-quivers

Authors: Janine Bastian, Thomas Prellberg, Martin Rubey, Christian Stump

Abstract: In this article we prove explicit formulae for the number of non-isomorphic cluster-tilted algebras of type \tilde{A}_n in the derived equivalence classes. In particular, we obtain the number of elements in the mutation classes of quivers of type \tilde{A}_n. As a by-product, this provides an alternative proof for the number of quivers of Dynkin type D_n which was first determined by Buan and Tork… ▽ More In this article we prove explicit formulae for the number of non-isomorphic cluster-tilted algebras of type \tilde{A}_n in the derived equivalence classes. In particular, we obtain the number of elements in the mutation classes of quivers of type \tilde{A}_n. As a by-product, this provides an alternative proof for the number of quivers of Dynkin type D_n which was first determined by Buan and Torkildsen. △ Less

Submitted 29 April, 2011; v1 submitted 2 June, 2009; originally announced June 2009.

Comments: 17 pages. v2: new coauthor, main result strongly improved; v3: minor clarifications

MSC Class: 05A15; 16G20

Journal ref: Electron. J. Combin. 18 (2011), no. 1, P98

Crossings and nestings in set partitions of classical types

Authors: Martin Rubey, Christian Stump

Abstract: In this article, we investigate bijections on various classes of set partitions of classical types that preserve openers and closers. On the one hand we present bijections that interchange crossings and nestings. For types B and C, they generalize a construction by Kasraoui and Zeng for type A, whereas for type D, we were only able to construct a bijection between non-crossing and non-nesting se… ▽ More In this article, we investigate bijections on various classes of set partitions of classical types that preserve openers and closers. On the one hand we present bijections that interchange crossings and nestings. For types B and C, they generalize a construction by Kasraoui and Zeng for type A, whereas for type D, we were only able to construct a bijection between non-crossing and non-nesting set partitions. On the other hand we generalize a bijection to type B and C that interchanges the cardinality of the maximal crossing with the cardinality of the maximal nesting, as given by Chen, Deng, Du, Stanley and Yan for type A. Using a variant of this bijection, we also settle a conjecture by Soll and Welker concerning generalized type B triangulations and symmetric fans of Dyck paths. △ Less

Submitted 9 April, 2009; v1 submitted 7 April, 2009; originally announced April 2009.

Comments: 22 pages, 7 Figures, removed erroneous comment

MSC Class: 05E15; 05A18

q,t-Fuss-Catalan numbers for finite reflection groups

Authors: Christian Stump

Abstract: In type A, the q,t-Fuss-Catalan numbers can be defined as a bigraded Hilbert series of a module associated to the symmetric group. We generalize this construction to (finite) complex reflection groups and, based on computer experiments, we exhibit several conjectured algebraic and combinatorial properties of these polynomials with non-negative integer coefficients. We prove the conjectures for t… ▽ More In type A, the q,t-Fuss-Catalan numbers can be defined as a bigraded Hilbert series of a module associated to the symmetric group. We generalize this construction to (finite) complex reflection groups and, based on computer experiments, we exhibit several conjectured algebraic and combinatorial properties of these polynomials with non-negative integer coefficients. We prove the conjectures for the dihedral groups and for the cyclic groups. Finally, we present several ideas how the q,t-Fuss-Catalan numbers could be related to some graded Hilbert series of modules arising in the context of rational Cherednik algebras and thereby generalize known connections. △ Less

Submitted 30 September, 2009; v1 submitted 12 January, 2009; originally announced January 2009.

Comments: 28 pages, 9 figures and 4 tables, final version with several major improvements, to appear in Journal of Algebraic Combinatorics

MSC Class: 05E15 (Primary); 20F55 (Secondary)

More bijective Catalan combinatorics on permutations and on signed permutations

Authors: Christian Stump

Abstract: In this paper, we construct bijections between Dyck paths, noncrossing partitions, and 231-avoiding permutations, which send the area statistic on Dyck paths to the inversion number on noncrossing partitions and on 231-avoiding permutations. This bijection has the additional property that it simultaneously sends the major index on Dyck paths to the sum of the major index and the inverse major inde… ▽ More In this paper, we construct bijections between Dyck paths, noncrossing partitions, and 231-avoiding permutations, which send the area statistic on Dyck paths to the inversion number on noncrossing partitions and on 231-avoiding permutations. This bijection has the additional property that it simultaneously sends the major index on Dyck paths to the sum of the major index and the inverse major index on noncrossing partitions and on 231-avoiding permutations, respectively. Moreover, we provide generalizations of these constructions to the group of signed permutations. △ Less

Submitted 25 October, 2013; v1 submitted 20 August, 2008; originally announced August 2008.

Comments: 18 pages, 7 figures; v2: completely revised and shortened version, v3: clarified proofs; to appear in Journal of Combinatorics

MSC Class: 05A19 (Primary) 05A05; 05A18; 20F55 (Secondary)

q,t-Fuss-Catalan numbers for complex reflection groups

Authors: Christian Stump

Abstract: In type A, the q,t-Fuss -Catalan numbers can be defined as a bigraded Hilbert series of a module associated to the symmetric group S_n. We generalize this construction to (finite) complex reflection groups and exhibit some nice conjectured algebraic and combinatorial properties of these polynomials in q and t. Finally, we present an idea how these polynomials could be related to some graded Hilb… ▽ More In type A, the q,t-Fuss -Catalan numbers can be defined as a bigraded Hilbert series of a module associated to the symmetric group S_n. We generalize this construction to (finite) complex reflection groups and exhibit some nice conjectured algebraic and combinatorial properties of these polynomials in q and t. Finally, we present an idea how these polynomials could be related to some graded Hilbert series of modules arising in the context of rational Cherednik algebras. This is work in progress. △ Less

Submitted 18 June, 2008; originally announced June 2008.

Comments: 12 pages, 3 figures, to appear in DMTCS as part of the FPSAC 2008 conference proceedings

MSC Class: 20F55; 05A15

On bijections between 231-avoiding permutations and Dyck paths

Authors: Christian Stump

Abstract: We construct a bijection between 231-avoiding permutations and Dyck paths that sends the sum of the major index and the inverse major index of a 231-avoiding permutation to the major index of the corresponding Dyck path. Furthermore, we relate this bijection to others and exhibit a bistatistic on 231-avoiding permutations which is related to the q,t-Catalan numbers. We construct a bijection between 231-avoiding permutations and Dyck paths that sends the sum of the major index and the inverse major index of a 231-avoiding permutation to the major index of the corresponding Dyck path. Furthermore, we relate this bijection to others and exhibit a bistatistic on 231-avoiding permutations which is related to the q,t-Catalan numbers. △ Less

Submitted 2 October, 2009; v1 submitted 26 March, 2008; originally announced March 2008.

Comments: 13 pages, the author is very grateful to Matteo Silimbani for providing a proof of Conjecture 5.10

MSC Class: 05A05