Showing 1–35 of 35 results for author: Rubey, M

Fixed points and cycles of parking functions

Authors: Martin Rubey, Mei Yin

Abstract: A parking function of length $n$ is a sequence $π=(π_1,\dots, π_n)$ of positive integers such that if $λ_1\leq\cdots\leq λ_n$ is the increasing rearrangement of $π_1,\dots,π_n$, then $λ_i\leq i$ for $1\leq i\leq n$. In this paper we obtain some exact results on the number of fixed points and cycles of parking functions. Our proofs will be based on generalizations of Pollak's argument. Extensions o… ▽ More A parking function of length $n$ is a sequence $π=(π_1,\dots, π_n)$ of positive integers such that if $λ_1\leq\cdots\leq λ_n$ is the increasing rearrangement of $π_1,\dots,π_n$, then $λ_i\leq i$ for $1\leq i\leq n$. In this paper we obtain some exact results on the number of fixed points and cycles of parking functions. Our proofs will be based on generalizations of Pollak's argument. Extensions of our techniques are discussed. △ Less

Submitted 25 March, 2024; originally announced March 2024.

MSC Class: 05A15; 05A19; 60C05

An equidistribution involving invisible inversions

Authors: Michael Coopman, Martin Rubey

Abstract: We provide two explicit bijections demonstrating that, among permutations, the number of invisible inversions is equidistributed with the number of occurrences of the vincular pattern 13-2 after sorting the set of runs. We provide two explicit bijections demonstrating that, among permutations, the number of invisible inversions is equidistributed with the number of occurrences of the vincular pattern 13-2 after sorting the set of runs. △ Less

Submitted 4 November, 2021; originally announced November 2021.

MSC Class: 05A05; 05A19

Promotion of Kreweras words

Authors: Sam Hopkins, Martin Rubey

Abstract: Kreweras words are words consisting of n A's, n B's, and n C's in which every prefix has at least as many A's as B's and at least as many A's as C's. Equivalently, a Kreweras word is a linear extension of the poset ${\sf V}\times [n]$. Kreweras words were introduced in 1965 by Kreweras, who gave a remarkable product formula for their enumeration. Subsequently they became a fundamental example in t… ▽ More Kreweras words are words consisting of n A's, n B's, and n C's in which every prefix has at least as many A's as B's and at least as many A's as C's. Equivalently, a Kreweras word is a linear extension of the poset ${\sf V}\times [n]$. Kreweras words were introduced in 1965 by Kreweras, who gave a remarkable product formula for their enumeration. Subsequently they became a fundamental example in the theory of lattice walks in the quarter plane. We study Schützenberger's promotion operator on the set of Kreweras words. In particular, we show that 3n applications of promotion on a Kreweras word merely swaps the B's and C's. Doing so, we provide the first answer to a question of Stanley from 2009, asking for posets with `good' behavior under promotion, other than the four families of shapes classified by Haiman in 1992. We also uncover a strikingly simple description of Kreweras words in terms of Kuperberg's $\mathfrak{sl}_3$-webs, and Postnikov's trip permutation associated with any plabic graph. In this description, Schützenberger's promotion corresponds to rotation of the web. △ Less

Submitted 21 September, 2021; v1 submitted 28 May, 2020; originally announced May 2020.

Comments: 38 pages, 15 figures; v4: forthcoming, Selecta Mathematica

MSC Class: 05E18; 06A07; 05E10

Journal ref: Selecta Mathematica (N.S.) 28(1), 2022

Skew characters and cyclic sieving

Authors: Per Alexandersson, Stephan Pfannerer, Martin Rubey, Joakim Uhlin

Abstract: In 2010, B. Rhoades proved that promotion together with the fake-degree polynomial associated with rectangular standard Young tableaux give an instance of the cyclic sieving phenomenon. We extend this result to all skew standard Young tableaux where the fake-degree polynomial evaluates to nonnegative integers at roots of unity, albeit without being able to specify an explicit group action. Put d… ▽ More In 2010, B. Rhoades proved that promotion together with the fake-degree polynomial associated with rectangular standard Young tableaux give an instance of the cyclic sieving phenomenon. We extend this result to all skew standard Young tableaux where the fake-degree polynomial evaluates to nonnegative integers at roots of unity, albeit without being able to specify an explicit group action. Put differently, we determine in which cases a skew character of the symmetric group carries a permutation representation of the cyclic group. We use a method proposed by N. Amini and the first author, which amounts to establishing a bound on the number of border-strip tableaux of skew shape. Finally, we apply our results to the invariant theory of tensor powers of the adjoint representation of the general linear group. In particular, we prove the existence of a bijection between permutations and J. Stembridge's alternating tableaux, which intertwines rotation and promotion. △ Less

Submitted 11 May, 2020; v1 submitted 2 April, 2020; originally announced April 2020.

MSC Class: 05E10 (Primary) 05E05; 05E18 (Secondary)

Journal ref: Forum of Mathematics, Sigma , Volume 9 , 2021 , e41

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 Geometric Interpretation of the Intertwining Number

Authors: Mahir Bilen Can, Yonah Cherniavsky, Martin Rubey

Abstract: We exhibit a connection between two statistics on set partitions, the intertwining number and the depth-index. In particular, results link the intertwining number to the algebraic geometry of Borel orbits. Furthermore, by studying the generating polynomials of our statistics, we determine the $q=-1$ specialization of a $q$-analogue of the Bell numbers. Finally, by using Renner's $H$-polynomial of… ▽ More We exhibit a connection between two statistics on set partitions, the intertwining number and the depth-index. In particular, results link the intertwining number to the algebraic geometry of Borel orbits. Furthermore, by studying the generating polynomials of our statistics, we determine the $q=-1$ specialization of a $q$-analogue of the Bell numbers. Finally, by using Renner's $H$-polynomial of an algebraic monoid, we introduce and study a $t$-analog of $q$-Stirling numbers. △ Less

Submitted 5 July, 2018; originally announced July 2018.

Comments: 15 pages

MSC Class: 05A15; 14M15

Promotion on oscillating and alternating tableaux and rotation of matchings and permutations

Authors: Stephan Pfannerer, Martin Rubey, Bruce W. Westbury

Abstract: Using Henriques' and Kamnitzer's cactus groups, Schützenberger's promotion and evacuation operators on standard Young tableaux can be generalised in a very natural way to operators acting on highest weight words in tensor products of crystals. For the crystals corresponding to the vector representations of the symplectic groups, we show that Sundaram's map to perfect matchings intertwines promot… ▽ More Using Henriques' and Kamnitzer's cactus groups, Schützenberger's promotion and evacuation operators on standard Young tableaux can be generalised in a very natural way to operators acting on highest weight words in tensor products of crystals. For the crystals corresponding to the vector representations of the symplectic groups, we show that Sundaram's map to perfect matchings intertwines promotion and rotation of the associated chord diagrams, and evacuation and reversal. We also exhibit a map with similar features for the crystals corresponding to the adjoint representations of the general linear groups. We prove these results by applying van Leeuwen's generalisation of Fomin's local rules for jeu de taquin, connected to the action of the cactus groups by Lenart, and variants of Fomin's growth diagrams for the Robinson-Schensted correspondence. △ Less

Submitted 18 July, 2019; v1 submitted 18 April, 2018; originally announced April 2018.

MSC Class: 05E18; 05E10

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.

The set of alternating sign matrices which are determined by their X-ray is a member of the Catalan family

Authors: Martin Rubey

Abstract: We exhibit a bijection between Dyck paths and alternating sign matrices which are determined by their antidiagonal sums. We exhibit a bijection between Dyck paths and alternating sign matrices which are determined by their antidiagonal sums. △ Less

Submitted 21 July, 2017; originally announced July 2017.

Comments: 4 pages

An involution on Dyck paths that preserves the rise composition and interchanges the number of returns and the position of the first double fall

Authors: Martin Rubey

Abstract: Motivated by a recent paper of Adin, Bagno and Roichman, we present an involution on Dyck paths that preserves the rise composition and interchanges the number of returns and the position of the first double fall. Motivated by a recent paper of Adin, Bagno and Roichman, we present an involution on Dyck paths that preserves the rise composition and interchanges the number of returns and the position of the first double fall. △ Less

Submitted 24 January, 2017; originally announced January 2017.

Combinatorics of symplectic invariant tensors

Authors: Martin Rubey, Bruce W. Westbury

Abstract: An important problem from invariant theory is to describe the subspace of a tensor power of a representation invariant under the action of the group. According to Weyl's classic, the first main (later: 'fundamental') theorem of invariant theory states that all invariants are expressible in terms of a finite number among them, whereas a second main theorem determines the relations between those bas… ▽ More An important problem from invariant theory is to describe the subspace of a tensor power of a representation invariant under the action of the group. According to Weyl's classic, the first main (later: 'fundamental') theorem of invariant theory states that all invariants are expressible in terms of a finite number among them, whereas a second main theorem determines the relations between those basic invariants. Here we present a transparent, combinatorial proof of a second fundamental theorem for the defining representation of the symplectic group Sp(2n). Our formulation is completely explicit and provides a very precise link to (n+1)-noncrossing perfect matchings, going beyond a dimension count. As a corollary, we obtain an instance of the cyclic sieving phenomenon. △ Less

Submitted 10 April, 2015; originally announced April 2015.

Comments: extended abstract accepted as contributed talk for FPSAC 2015, Daejeon, South Korea

A combinatorial approach to classical representation theory

Authors: Martin Rubey, Bruce W. Westbury

Abstract: A fundamental problem from invariant theory is to describe the endomorphism algebra of multilinear functions on a representation V invariant under the action of a group G. According to Weyl's classic, a first main (later: fundamental) theorem of invariant theory provides a finite spanning set for this algebra, whereas a a second main theorem describes the linear relations between those basic invar… ▽ More A fundamental problem from invariant theory is to describe the endomorphism algebra of multilinear functions on a representation V invariant under the action of a group G. According to Weyl's classic, a first main (later: fundamental) theorem of invariant theory provides a finite spanning set for this algebra, whereas a a second main theorem describes the linear relations between those basic invariants. We use diagrammatic methods to carry Weyl's programme a step further, providing explicit bases for the subspace of the r-th tensor powers of V invariant under the action of G, that are additionally preserved by the action of the long cycle of the symmetric group on r letters. The representations we study are essentially those that occur in Weyl's book: the defining representations of the symplectic groups, the defining representations of the symmetric groups considered as linear representations, and the adjoint representations of the linear groups. In particular, we present a transparent, combinatorial proof of a second fundamental theorem for the defining representation of the symplectic groups Sp(2n). Our formulation is explicit and provides a very precise link to (n+1)-noncrossing perfect matchings, going beyond a dimension count. Extending our argument to the k-th symmetric powers of these representations, the combinatorial objects involved turn out to be (n+1)-noncrossing k-regular graphs. As corollaries we obtain instances of the cyclic sieving phenomenon for these objects and the natural rotation action. In general, we derive branching rules for the diagram algebras corresponding to the representations in a uniform way. We also compute the Frobenius characteristics of modules of the diagram algebras restricted to the action of the symmetric group and obtain the isotypic decomposition of the r-th tensor power of V when n is large enough in comparison to r. △ Less

Submitted 15 May, 2015; v1 submitted 15 August, 2014; originally announced August 2014.

MSC Class: 05E15

Symmetries of statistics on lattice paths between two boundaries

Authors: Sergi Elizalde, Martin Rubey

Abstract: We prove that on the set of lattice paths with steps N=(0,1) and E=(1,0) that lie between two fixed boundaries T and B (which are themselves lattice paths), the statistics `number of E steps shared with B' and `number of E steps shared with T' have a symmetric joint distribution. To do so, we give an involution that switches these statistics, preserves additional parameters, and generalizes to pat… ▽ More We prove that on the set of lattice paths with steps N=(0,1) and E=(1,0) that lie between two fixed boundaries T and B (which are themselves lattice paths), the statistics `number of E steps shared with B' and `number of E steps shared with T' have a symmetric joint distribution. To do so, we give an involution that switches these statistics, preserves additional parameters, and generalizes to paths that contain steps S=(0,-1) at prescribed x-coordinates. We also show that a similar equidistribution result for path statistics follows from the fact that the Tutte polynomial of a matroid is independent of the order of its ground set. We extend the two theorems to k-tuples of paths between two boundaries, and we give some applications to Dyck paths, generalizing a result of Deutsch, to watermelon configurations, to pattern-avoiding permutations, and to the generalized Tamari lattice. Finally, we prove a conjecture of Nicolás about the distribution of degrees of k consecutive vertices in k-triangulations of a convex n-gon. To achieve this goal, we provide a new statistic-preserving bijection between certain k-tuples of non-crossing paths and k-flagged semistandard Young tableaux, which is based on local moves reminiscent of jeu de taquin. △ Less

Submitted 24 November, 2015; v1 submitted 9 May, 2013; originally announced May 2013.

Comments: Small typos corrected, and journal reference and grant info added

MSC Class: 05A19 (Primary) 52C05; 05A15; 05B35; 05E05 (Secondary)

Journal ref: Adv. Math. 287 (2016), 347-388

Descent sets for symplectic groups

Authors: Martin Rubey, Bruce Sagan, Bruce W. Westbury

Abstract: The descent set of an oscillating (or up-down) tableau is introduced. This descent set plays the same role in the representation theory of the symplectic groups as the descent set of a standard tableau plays in the representation theory of the general linear groups. In particular, we show that the descent set is preserved by Sundaram's correspondence. This gives a direct combinatorial interpretati… ▽ More The descent set of an oscillating (or up-down) tableau is introduced. This descent set plays the same role in the representation theory of the symplectic groups as the descent set of a standard tableau plays in the representation theory of the general linear groups. In particular, we show that the descent set is preserved by Sundaram's correspondence. This gives a direct combinatorial interpretation of the branching rules for the defining representations of the symplectic groups; equivalently, for the Frobenius character of the action of a symmetric group on an isotypic subspace in a tensor power of the defining representation of a symplectic group. △ Less

Submitted 28 September, 2013; v1 submitted 23 March, 2013; originally announced March 2013.

Comments: 22 pages, 2 figures

MSC Class: 05E05; 05E10; 20C15

Ptolemy diagrams and torsion pairs in the cluster categories of Dynkin type D

Authors: Thorsten Holm, Peter Jorgensen, Martin Rubey

Abstract: We give a complete classification of torsion pairs in the cluster category of Dynkin type D_n, via a bijection to new combinatorial objects called Ptolemy diagrams of type D. For the latter we give along the way different combinatorial descriptions. One of these allows us to count the number of torsion pairs in the cluster category of type D_n by providing their generating function explicitly. We give a complete classification of torsion pairs in the cluster category of Dynkin type D_n, via a bijection to new combinatorial objects called Ptolemy diagrams of type D. For the latter we give along the way different combinatorial descriptions. One of these allows us to count the number of torsion pairs in the cluster category of type D_n by providing their generating function explicitly. △ Less

Submitted 7 March, 2013; originally announced March 2013.

Comments: 28 pages, several figures

MSC Class: 05A15; 05E15; 13F60; 16G10; 16G70; 18E30

Torsion pairs in cluster tubes

Authors: Thorsten Holm, Peter Jorgensen, Martin Rubey

Abstract: We give a complete classification of torsion pairs in the cluster categories associated to tubes of finite rank. The classification is in terms of combinatorial objects called Ptolemy diagrams which already appeared in our earlier work on torsion pairs in cluster categories of Dynkin type A. As a consequence of our classification we establish closed formulae enumerating the torsion pairs in cluste… ▽ More We give a complete classification of torsion pairs in the cluster categories associated to tubes of finite rank. The classification is in terms of combinatorial objects called Ptolemy diagrams which already appeared in our earlier work on torsion pairs in cluster categories of Dynkin type A. As a consequence of our classification we establish closed formulae enumerating the torsion pairs in cluster tubes, and obtain that the torsion pairs in cluster tubes exhibit a cyclic sieving phenomenon. △ Less

Submitted 13 July, 2012; originally announced July 2012.

Comments: 19 pages

MSC Class: 16G70; 05E15; 13F60; 18E30

Journal ref: Journal of Algebraic Combinatorics 39 (2014), 587-605

Cyclic Sieving for torsion pairs in the cluster category of Dynkin type A_n

Authors: Stefan Kluge, Martin Rubey

Abstract: Recently, a combinatorial model for torsion pairs in the cluster category of Dynkin type A_n was introduced, and used to derive an explicit formula for their number. In this article we determine the number of torsion pairs that are invariant under b-fold application of Auslander-Reiten translation. It turns out that the set of torsion pairs together with Auslander-Reiten translation, and a natural… ▽ More Recently, a combinatorial model for torsion pairs in the cluster category of Dynkin type A_n was introduced, and used to derive an explicit formula for their number. In this article we determine the number of torsion pairs that are invariant under b-fold application of Auslander-Reiten translation. It turns out that the set of torsion pairs together with Auslander-Reiten translation, and a natural q-analogue of the formula for the number of all torsion pairs exhibits the cyclic sieving phenomenon. △ Less

Submitted 5 January, 2011; originally announced January 2011.

Comments: 17 pages, 4 pdf-Figures

Ptolemy diagrams and torsion pairs in the cluster category of Dynkin type A_n

Authors: Thorsten Holm, Peter Jorgensen, Martin Rubey

Abstract: We give a complete classification of torsion pairs in the cluster category of Dynkin type A_n. Along the way we give a new combinatorial description of Ptolemy diagrams, an infinite version of which was introduced by Ng. This allows us to count the number of torsion pairs in the cluster category of type A_n. We also count torsion pairs up to Auslander-Reiten translation. We give a complete classification of torsion pairs in the cluster category of Dynkin type A_n. Along the way we give a new combinatorial description of Ptolemy diagrams, an infinite version of which was introduced by Ng. This allows us to count the number of torsion pairs in the cluster category of type A_n. We also count torsion pairs up to Auslander-Reiten translation. △ Less

Submitted 14 March, 2011; v1 submitted 6 October, 2010; originally announced October 2010.

Comments: 14 pages; v2: Major simplification of the formula in Theorem B for the number of Ptolemy diagrams; v3: 17 pages; revision following referee's very helpful comments; more details for some arguments added; formula in Prop. 3.5 (formerly 3.4) corrected; final version, to appear in J. Algebraic Combin

MSC Class: 05A15; 05E15; 13F60; 18E30

Maximal 0-1 fillings of moon polyominoes with restricted chain-lengths and rc-graphs

Authors: Martin Rubey

Abstract: We show that maximal 0-1-fillings of moon polynomials with restricted chain lengths can be identified with certain rc-graphs, also known as pipe dreams. In particular, this exhibits a connection between maximal 0-1-fillings of Ferrers shapes and Schubert polynomials. Moreover, it entails a bijective proof showing that the number of maximal fillings of a stack polyomino S with no north-east chains… ▽ More We show that maximal 0-1-fillings of moon polynomials with restricted chain lengths can be identified with certain rc-graphs, also known as pipe dreams. In particular, this exhibits a connection between maximal 0-1-fillings of Ferrers shapes and Schubert polynomials. Moreover, it entails a bijective proof showing that the number of maximal fillings of a stack polyomino S with no north-east chains longer than k depends only on k and the multiset of column heights of S. Our main contribution is a slightly stronger theorem, which in turn leads us to conjecture that the poset of rc-graphs with covering relation given by generalised chute moves is in fact a lattice. △ Less

Submitted 18 May, 2011; v1 submitted 20 September, 2010; originally announced September 2010.

Comments: 22 pages, v2: references added, v3: included proof for bijection for stack polyominoes, v4: include conjecture and improve presentation

Crossings, Motzkin paths and Moments

Authors: Matthieu Josuat-Vergès, Martin Rubey

Abstract: Kasraoui, Stanton and Zeng, and Kim, Stanton and Zeng introduced certain $q$-analogues of Laguerre and Charlier polynomials. The moments of these orthogonal polynomials have combinatorial models in terms of crossings in permutations and set partitions. The aim of this article is to prove simple formulas for the moments of the $q$-Laguerre and the $q$-Charlier polynomials, in the style of the Touch… ▽ More Kasraoui, Stanton and Zeng, and Kim, Stanton and Zeng introduced certain $q$-analogues of Laguerre and Charlier polynomials. The moments of these orthogonal polynomials have combinatorial models in terms of crossings in permutations and set partitions. The aim of this article is to prove simple formulas for the moments of the $q$-Laguerre and the $q$-Charlier polynomials, in the style of the Touchard-Riordan formula (which gives the moments of some $q$-Hermite polynomials, and also the distribution of crossings in matchings). Our method mainly consists in the enumeration of weighted Motzkin paths, which are naturally associated with the moments. Some steps are bijective, in particular we describe a decomposition of paths which generalises a previous construction of Penaud for the case of the Touchard-Riordan formula. There are also some non-bijective steps using basic hypergeometric series, and continued fractions or, alternatively, functional equations. △ Less

Submitted 18 August, 2010; originally announced August 2010.

Comments: 21 pages

Journal ref: Discrete Mathematics 311(18-19) (2011), 2064--2078

The number of ribbon Schur functions

Authors: Martin Rubey

Abstract: We present a formula for the number of distinct ribbon Schur functions of given size and height. We present a formula for the number of distinct ribbon Schur functions of given size and height. △ Less

Submitted 15 August, 2010; originally announced August 2010.

MSC Class: 05E05; 05A17

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

Matrix Ansatz, lattice paths and rook placements

Authors: Sylvie Corteel, Matthieu Josuat-Verges, Thomas Prellberg, Martin Rubey

Abstract: We give two combinatorial interpretations of the Matrix Ansatz of the PASEP in terms of lattice paths and rook placements. This gives two (mostly) combinatorial proofs of a new enumeration formula for the partition function of the PASEP. Besides other interpretations, this formula gives the generating function for permutations of a given size with respect to the number of ascents and occurrences… ▽ More We give two combinatorial interpretations of the Matrix Ansatz of the PASEP in terms of lattice paths and rook placements. This gives two (mostly) combinatorial proofs of a new enumeration formula for the partition function of the PASEP. Besides other interpretations, this formula gives the generating function for permutations of a given size with respect to the number of ascents and occurrences of the pattern 13-2, the generating function according to weak exceedances and crossings, and the n-th moment of certain q-Laguerre polynomials. △ Less

Submitted 27 November, 2008; originally announced November 2008.

Journal ref: DMTCS Proceedings, 21st International Conference on Formal Power Series and Algebraic Combinatorics (FPSAC 2009), 313--324

Nestings of Matchings and Permutations and North Steps in PDSAWs

Authors: Martin Rubey

Abstract: We present a simple bijective proof of the fact that matchings of [2n] with N nestings are equinumerous to partially directed self avoiding walks confined to the symmetric wedge defined by y=+-x, with n east steps and N north steps. A very similar construction connects permutations with N nestings and PDSAWs remaining below the x-axis, again with N north steps. Furthermore, both bijections trans… ▽ More We present a simple bijective proof of the fact that matchings of [2n] with N nestings are equinumerous to partially directed self avoiding walks confined to the symmetric wedge defined by y=+-x, with n east steps and N north steps. A very similar construction connects permutations with N nestings and PDSAWs remaining below the x-axis, again with N north steps. Furthermore, both bijections transport several combinatorially meaningful parameters. △ Less

Submitted 11 April, 2008; v1 submitted 17 December, 2007; originally announced December 2007.

Comments: 11 pages, 7 figures, corrected some inaccuracies and minor mistakes

MSC Class: 05A15

Extended Rate, more GFUN

Authors: Waldemar Hebisch, Martin Rubey

Abstract: We present a software package that guesses formulae for sequences of, for example, rational numbers or rational functions, given the first few terms. We implement an algorithm due to Bernhard Beckermann and George Labahn, together with some enhancements to render our package efficient. Thus we extend and complement Christian Krattenthaler's program Rate, the parts concerned with guessing of Bruno… ▽ More We present a software package that guesses formulae for sequences of, for example, rational numbers or rational functions, given the first few terms. We implement an algorithm due to Bernhard Beckermann and George Labahn, together with some enhancements to render our package efficient. Thus we extend and complement Christian Krattenthaler's program Rate, the parts concerned with guessing of Bruno Salvy and Paul Zimmermann's GFUN, the univariate case of Manuel Kauers' Guess.m and Manuel Kauers' and Christoph Koutschan's qGeneratingFunctions.m. △ Less

Submitted 8 April, 2010; v1 submitted 4 February, 2007; originally announced February 2007.

Comments: 26 pages

MSC Class: 05A15 (Primary) 11B65; 11Y16; 68Q40 (Secondary)

Increasing and Decreasing Sequences in Fillings of Moon Polyominoes

Authors: Martin Rubey

Abstract: We present an adaptation of jeu de taquin and promotion for arbitrary fillings of moon polyominoes. Using this construction we show various symmetry properties of such fillings taking into account the lengths of longest increasing and decreasing chains. In particular, we prove a conjecture of Jakob Jonsson. We also relate our construction to the one recently employed by Christian Krattenthaler,… ▽ More We present an adaptation of jeu de taquin and promotion for arbitrary fillings of moon polyominoes. Using this construction we show various symmetry properties of such fillings taking into account the lengths of longest increasing and decreasing chains. In particular, we prove a conjecture of Jakob Jonsson. We also relate our construction to the one recently employed by Christian Krattenthaler, thus generalising his results. △ Less

Submitted 16 November, 2009; v1 submitted 6 April, 2006; originally announced April 2006.

Comments: fixed typos

MSC Class: 05A15 (Primary); 05A17 05A19 05E10 (Secondary)

Combinatorial Interpretations of the q-Faulhaber and q-Salie Coefficients

Authors: Victor J. W. Guo, Martin Rubey, Jiang Zeng

Abstract: Recently, Guo and Zeng discovered two families of polynomials featuring in a q-analogue of Faulhaber's formula for the sums of powers and a q-analogue of Gessel-Viennot's formula involving Salie's coefficients for the alternating sums of powers. In this paper, we show that these are polynomials with symmetric, nonnegative integral coefficients by refining Gessel-Viennot's combinatorial interpret… ▽ More Recently, Guo and Zeng discovered two families of polynomials featuring in a q-analogue of Faulhaber's formula for the sums of powers and a q-analogue of Gessel-Viennot's formula involving Salie's coefficients for the alternating sums of powers. In this paper, we show that these are polynomials with symmetric, nonnegative integral coefficients by refining Gessel-Viennot's combinatorial interpretations. △ Less

Submitted 14 June, 2005; originally announced June 2005.

Comments: 15 pages

MSC Class: 05A30

Improving SDP bounds for minimizing quadratic functions over the l1-ball

Authors: Immanuel M. Bomze, Florian Frommlet, Martin Rubey

Abstract: In this note, we establish superiority of the so-called copositive bound over a bound suggested by Nesterov for the quadratic problem to minimize a quadratic form over the l1-ball. We illustrate the improvement by simulation results. The copositive bound has the additional advantage that it can be easily extended to the inhomogeneous case of quadratic objectives including a linear term. We also… ▽ More In this note, we establish superiority of the so-called copositive bound over a bound suggested by Nesterov for the quadratic problem to minimize a quadratic form over the l1-ball. We illustrate the improvement by simulation results. The copositive bound has the additional advantage that it can be easily extended to the inhomogeneous case of quadratic objectives including a linear term. We also indicate some improvements of the eigenvalue bound for the quadratic optimization over the lp-ball with 1<p<2, at least for p close to one. △ Less

Submitted 22 March, 2005; v1 submitted 9 March, 2005; originally announced March 2005.

Comments: 12 pages, 4 figures, v2: Figure 2a corrected, minor changes

A combinatorial interpretation of Guo and Zeng's q-Faulhaber coefficients

Authors: Martin Rubey

Abstract: Recently, Guo and Zeng discovered q-analogues of Faulhaber's formulas for the sums of powers. They left it as an open problem to extend the combinatorial interpretation of Faulhaber's formulas as given by Gessel and Viennot to the q case. In this note we will provide such an interpretation. Recently, Guo and Zeng discovered q-analogues of Faulhaber's formulas for the sums of powers. They left it as an open problem to extend the combinatorial interpretation of Faulhaber's formulas as given by Gessel and Viennot to the q case. In this note we will provide such an interpretation. △ Less

Submitted 6 March, 2005; originally announced March 2005.

Comments: 6 pages

Transcendence of generating functions of walks on the slit plane

Authors: Martin Rubey

Abstract: Consider a single walker on the slit plane, that is, the square grid Z^2 without its negative x-axis, who starts at the origin and takes his steps from a given set S. Mireille Bousquet-Melou conjectured that -- excluding pathological cases -- the generating function counting the number of possible walks is algebraic if and only if the walker cannot cross the negative x-axis without touching it.… ▽ More Consider a single walker on the slit plane, that is, the square grid Z^2 without its negative x-axis, who starts at the origin and takes his steps from a given set S. Mireille Bousquet-Melou conjectured that -- excluding pathological cases -- the generating function counting the number of possible walks is algebraic if and only if the walker cannot cross the negative x-axis without touching it. In this paper we prove a special case of her conjecture. △ Less

Submitted 11 May, 2004; originally announced May 2004.

Comments: Accepted for MathInfo2004

MSC Class: 05A16

Cantorian Tableaux and Permanents

Authors: Srečko Brlek, Michel Mendès France, John Michael Robson, Martin Rubey

Abstract: This article could be called "theme and variations" on Cantor's celebrated diagonal argument. Given a square nxn tableau T=(a_i^j) on a finite alphabet A, let L be the set of its row-words. The permanent Perm(T) is the set of words a_{π(1)}^1 a_{π(2)}^2 ...a_{π(n)}^n, where πruns through the set of permutations of n elements. Cantorian tableaux are those for which Perm(T)\cap L=\emptyset. Let s=… ▽ More This article could be called "theme and variations" on Cantor's celebrated diagonal argument. Given a square nxn tableau T=(a_i^j) on a finite alphabet A, let L be the set of its row-words. The permanent Perm(T) is the set of words a_{π(1)}^1 a_{π(2)}^2 ...a_{π(n)}^n, where πruns through the set of permutations of n elements. Cantorian tableaux are those for which Perm(T)\cap L=\emptyset. Let s=s(n) be the cardinality of A. We show in particular that for large n, if s(n) <(1-ε) n/log n then most of the tableaux are non-Cantorian, whereas if s(n) >(1+ε) n/log n then most of the tableaux are Cantorian. We conclude our article by the study of infinite tableaux. Consider for example the infinite tableaux whose rows are the binary expansions of the real algebraic numbers in the unit interval. We show that the permanent of this tableau contains exactly the set of binary expansions of all the transcendental numbers in the unit interval. △ Less

Submitted 8 August, 2003; originally announced August 2003.

MSC Class: 05C30 (Primary) 11B85 (Secondary)

The h-vector of a ladder determinantal ring cogenerated by 2x2 minors is log-concave

Authors: Martin Rubey

Abstract: We show that the h-vector of a ladder determinantal ring cogenerated by M=[u_1|v_1] is log-concave. Thus we prove an instance of a conjecture of Stanley, resp. Conca and Herzog We show that the h-vector of a ladder determinantal ring cogenerated by M=[u_1|v_1] is log-concave. Thus we prove an instance of a conjecture of Stanley, resp. Conca and Herzog △ Less

Submitted 21 July, 2003; v1 submitted 20 May, 2002; originally announced May 2002.

Comments: 18 pages, LaTeX, some typos corrected

Report number: formerly math.RA/0205212 MSC Class: 05A20; 13C40

A determinantal formula for the Hilbert series of one-sided ladder determinantal rings

Authors: Christian Krattenthaler, Martin Rubey

Abstract: We give a formula that expresses the Hilbert series of one-sided ladder determinantal rings, up to a trivial factor, in form of a determinant. This allows the convenient computation of these Hilbert series. The formula follows from a determinantal formula for a generating function for families of nonintersecting lattice paths that stay inside a one-sided ladder-shaped region, in which the paths… ▽ More We give a formula that expresses the Hilbert series of one-sided ladder determinantal rings, up to a trivial factor, in form of a determinant. This allows the convenient computation of these Hilbert series. The formula follows from a determinantal formula for a generating function for families of nonintersecting lattice paths that stay inside a one-sided ladder-shaped region, in which the paths are counted with respect to turns. △ Less

Submitted 8 December, 2001; v1 submitted 11 June, 2001; originally announced June 2001.

Comments: 28 pages, AmS-LaTeX; an error in the definition of ladder determinantal ring was corrected

Report number: formerly math.RA/0106076 MSC Class: 05A15 13C40 (Primary) 05A19 13F50 13H10 (Secondary)

Journal ref: in: Algebra, Arithmetic and Geometry with Applications, C. Christensen, C. Bajaj, G. Sundaram and A. Sathaye, eds., Springer-Verlag, New York, 2003, pp. 525-552.

A `nice' bijection for a content formula for skew semistandard Young tableaux

Authors: Martin Rubey

Abstract: Based on Schützenberger's evacuation and a modification of jeu de taquin, we give a bijective proof of an identity connecting the generating function of reverse semistandard Young tableaux with bounded entries with the generating function of all semistandard Young tableaux. This solves Exercise 7.102 b of Richard Stanley's book `Enumerative Combinatorics 2'. Based on Schützenberger's evacuation and a modification of jeu de taquin, we give a bijective proof of an identity connecting the generating function of reverse semistandard Young tableaux with bounded entries with the generating function of all semistandard Young tableaux. This solves Exercise 7.102 b of Richard Stanley's book `Enumerative Combinatorics 2'. △ Less

Submitted 20 May, 2002; v1 submitted 15 November, 2000; originally announced November 2000.

Comments: 13 pages, LaTeX

MSC Class: 05E10

Journal ref: Electronic Journal of Combinatorics 9 (2002), #R18