Showing 1–7 of 7 results for author: Tirrell, J

Pattern-avoiding stabilized-interval-free permutations

Authors: Daniel Birmajer, Juan B. Gil, Jordan O. Tirrell, Michael D. Weiner

Abstract: In this paper, we study pattern avoidance for stabilized-interval-free (SIF) permutations. These permutations are contained in the set of indecomposable permutations and in the set of derangements. We enumerate pattern-avoiding SIF permutations for classical and pairs of patterns of size 3. In particular, for the patterns 123 and 231, we rely on combinatorial arguments and the fixed-point distribu… ▽ More In this paper, we study pattern avoidance for stabilized-interval-free (SIF) permutations. These permutations are contained in the set of indecomposable permutations and in the set of derangements. We enumerate pattern-avoiding SIF permutations for classical and pairs of patterns of size 3. In particular, for the patterns 123 and 231, we rely on combinatorial arguments and the fixed-point distribution of general permutations avoiding these patterns. We briefly discuss 123-avoiding permutations with two fixed points and offer a conjecture for their enumeration by the distance between their fixed points. For the pattern 231, we also give a direct argument that uses a bijection to ordered forests. △ Less

Submitted 26 September, 2024; v1 submitted 5 June, 2023; originally announced June 2023.

Comments: 16 pages. Improved version with more details and better readability

MSC Class: 05A05; 05A15

Journal ref: Discrete Math. 348, no. 3, 2025, 114329

On some combinatorial sequences associated to invariant theory

Authors: Alin Bostan, Jordan Tirrell, Bruce W. Westbury, Yi Zhang

Abstract: We study the enumerative and analytic properties of some sequences constructed using tensor invariant theory. The octant sequences are constructed from the exceptional Lie group $G_2$ and the quadrant sequences from the special linear group $SL(3)$. In each case we show that the corresponding sequences are related by binomial transforms. The first three octant sequences and the first four quadrant… ▽ More We study the enumerative and analytic properties of some sequences constructed using tensor invariant theory. The octant sequences are constructed from the exceptional Lie group $G_2$ and the quadrant sequences from the special linear group $SL(3)$. In each case we show that the corresponding sequences are related by binomial transforms. The first three octant sequences and the first four quadrant sequences are listed in the On-Line Encyclopedia of Integer Sequences (OEIS). These sequences all have interpretations as enumerating two-dimensional lattice walks but for the octant sequences the boundary conditions are unconventional. These sequences are all P-recursive and we give the corresponding recurrence relations. In all cases the associated differential operators are of third order and have the remarkable property that they can be solved to give closed formulae for the ordinary generating functions in terms of classical Gaussian hypergeometric functions. Moreover, we show that the octant sequences and the quadrant sequences are related by the branching rules for the inclusion of $SL(3)$ in $G_2$. △ Less

Submitted 20 April, 2022; v1 submitted 26 October, 2021; originally announced October 2021.

Comments: arXiv admin note: text overlap with arXiv:1911.10288

Journal ref: European Journal of Combinatorics (2022)

On sequences associated to the invariant theory of rank two simple Lie algebras

Authors: Alin Bostan, Jordan Tirrell, Bruce W. Westbury, Yi Zhang

Abstract: We study two families of sequences, listed in the On-Line Encyclopedia of Integer Sequences (OEIS), which are associated to invariant theory of Lie algebras. For the first family, we prove combinatorially that the sequences A059710 and A108307 are related by a binomial transform. Based on this, we present two independent proofs of a recurrence equation for A059710, which was conjectured by Mihailo… ▽ More We study two families of sequences, listed in the On-Line Encyclopedia of Integer Sequences (OEIS), which are associated to invariant theory of Lie algebras. For the first family, we prove combinatorially that the sequences A059710 and A108307 are related by a binomial transform. Based on this, we present two independent proofs of a recurrence equation for A059710, which was conjectured by Mihailovs. Besides, we also give a direct proof of Mihailovs' conjecture by the method of algebraic residues. As a consequence, closed formulae for the generating function of sequence A059710 are obtained in terms of classical Gaussian hypergeometric functions. Moreover, we show that sequences in the second family are also related by binomial transforms. △ Less

Submitted 22 November, 2019; originally announced November 2019.

Comments: 12 pages

Lucas atoms

Authors: Bruce E. Sagan, Jordan Tirrell

Abstract: Given two variables $s$ and $t$, the associated sequence of Lucas polynomials is defined inductively by $\{0\}=0$, $\{1\}=1$, and $\{n\}=s\{n-1\}+t\{n-2\}$ for $n\ge2$. An integer (e.g., a Catalan number) defined by an expression of the form $\prod_i n_i/\prod_j k_j$ has a Lucas analogue obtained by replacing each factor with the corresponding Lucas polynomial. There has been interest in deciding… ▽ More Given two variables $s$ and $t$, the associated sequence of Lucas polynomials is defined inductively by $\{0\}=0$, $\{1\}=1$, and $\{n\}=s\{n-1\}+t\{n-2\}$ for $n\ge2$. An integer (e.g., a Catalan number) defined by an expression of the form $\prod_i n_i/\prod_j k_j$ has a Lucas analogue obtained by replacing each factor with the corresponding Lucas polynomial. There has been interest in deciding when such expressions, which are a priori only rational functions, are actually polynomials in $s,t$. The approaches so far have been combinatorial. We introduce a powerful algebraic method for answering this question by factoring $\{n\}=\prod_{d|n} P_d(s,t)$, where we call the polynomials $P_d(s,t)$ Lucas atoms. This permits us to show that the Lucas analogues of the Fuss-Catalan and Fuss-Narayana numbers for all irreducible Coxeter groups are polynomials in $s,t$. Using gamma expansions, a technique which has recently become popular in combinatorics and geometry, one can show that the Lucas atoms have a close relationship with cyclotomic polynomials $Φ_d(q)$. Certain results about the $Φ_d(q)$ can then be lifted to Lucas atoms. In particular, one can prove analogues of theorems of Gauss and Lucas, deduce reduction formulas, and evaluate the $P_d(s,t)$ at various specific values of the variables. △ Less

Submitted 5 September, 2019; originally announced September 2019.

Comments: 23 pages

MSC Class: 11B39 (Primary) 05A10; 11B65; 11R09 (Secondary)

Hopping from Chebyshev polynomials to permutation statistics

Authors: Jordan O. Tirrell, Yan Zhuang

Abstract: We prove various formulas which express exponential generating functions counting permutations by the peak number, valley number, double ascent number, and double descent number statistics in terms of the exponential generating function for Chebyshev polynomials, as well as cyclic analogues of these formulas for derangements. We give several applications of these results, including formulas for th… ▽ More We prove various formulas which express exponential generating functions counting permutations by the peak number, valley number, double ascent number, and double descent number statistics in terms of the exponential generating function for Chebyshev polynomials, as well as cyclic analogues of these formulas for derangements. We give several applications of these results, including formulas for the $(-1)$-evaluation of some of these distributions. Our proofs are combinatorial and involve the use of monomino-domino tilings, the modified Foata-Strehl action (a.k.a. valley-hopping), and a cyclic analogue of this action due to Sun and Wang. △ Less

Submitted 22 August, 2019; v1 submitted 26 December, 2018; originally announced December 2018.

Comments: 16 pages

MSC Class: 05A15; 05A05; 33C45

Journal ref: Electron. J. Combin. 26(3): Paper #P3.27, 17 pp., 2019

A simple bijection for enhanced, classical, and 2-distant k-noncrossing partitions

Authors: Juan B. Gil, Jordan O. Tirrell

Abstract: In this note, we give a simple extension map from partitions of subsets of [n] to partitions of [n+1], which sends $δ$-distant k-crossings to $(δ+1)$-distant k-crossings (and similarly for nestings). This map provides a combinatorial proof of the fact that the numbers of enhanced, classical, and 2-distant k-noncrossing partitions are each related to the next via the binomial transform. Our work re… ▽ More In this note, we give a simple extension map from partitions of subsets of [n] to partitions of [n+1], which sends $δ$-distant k-crossings to $(δ+1)$-distant k-crossings (and similarly for nestings). This map provides a combinatorial proof of the fact that the numbers of enhanced, classical, and 2-distant k-noncrossing partitions are each related to the next via the binomial transform. Our work resolves a recent conjecture of Zhicong Lin and generalizes earlier reduction identities for partitions. △ Less

Submitted 22 October, 2023; v1 submitted 23 June, 2018; originally announced June 2018.

Comments: 7 pages

MSC Class: 05A19

Journal ref: Discrete Math. 343 (2020), no. 6, 111705, 5pp

From Dyck paths to standard Young tableaux

Authors: Juan B. Gil, Peter R. W. McNamara, Jordan O. Tirrell, Michael D. Weiner

Abstract: We present nine bijections between classes of Dyck paths and classes of standard Young tableaux (SYT). In particular, we consider SYT of flag and rectangular shapes, we give Dyck path descriptions for certain SYT of height at most 3, and we introduce a special class of labeled Dyck paths of semilength $n$ that is shown to be in bijection with the set of all SYT with $n$ boxes. In addition, we pres… ▽ More We present nine bijections between classes of Dyck paths and classes of standard Young tableaux (SYT). In particular, we consider SYT of flag and rectangular shapes, we give Dyck path descriptions for certain SYT of height at most 3, and we introduce a special class of labeled Dyck paths of semilength $n$ that is shown to be in bijection with the set of all SYT with $n$ boxes. In addition, we present bijections from certain classes of Motzkin paths to SYT. As a natural framework for some of our bijections, we introduce a class of set partitions which in some sense is dual to the known class of noncrossing partitions. △ Less

Submitted 5 March, 2020; v1 submitted 1 August, 2017; originally announced August 2017.

Comments: 21 pages. Final version. To appear in Annals of Combinatorics

MSC Class: 05A19

Journal ref: Ann. Comb. 24 (2020), no. 1, 69-93