Showing 1–9 of 9 results for author: Pétréolle, M

Lattice paths and branched continued fractions. III. Generalizations of the Laguerre, rook and Lah polynomials

Authors: Bishal Deb, Alexander Dyachenko, Mathias Pétréolle, Alan D. Sokal

Abstract: We introduce a triangular array $\widehat{\sf L}^{(α)}$ of 5-variable homogeneous polynomials that enumerate Laguerre digraphs (digraphs in which each vertex has out-degree 0 or 1 and in-degree 0 or 1) with separate weights for peaks, valleys, double ascents, double descents, and loops. These polynomials generalize the classical Laguerre polynomials as well as the rook and Lah polynomials. We show… ▽ More We introduce a triangular array $\widehat{\sf L}^{(α)}$ of 5-variable homogeneous polynomials that enumerate Laguerre digraphs (digraphs in which each vertex has out-degree 0 or 1 and in-degree 0 or 1) with separate weights for peaks, valleys, double ascents, double descents, and loops. These polynomials generalize the classical Laguerre polynomials as well as the rook and Lah polynomials. We show that this triangular array is totally positive and that the sequence of its row-generating polynomials is Hankel-totally positive, under suitable restrictions on the values given to the indeterminates. This implies, in particular, the coefficientwise Hankel-total positivity of the monic unsigned univariate Laguerre polyomials. Our proof uses the method of production matrices as applied to exponential Riordan arrays. Our main technical lemma concerns the total positivity of a large class of quadridiagonal production matrices; it generalizes the tridiagonal comparison theorem. In some cases these polynomials are given by a branched continued fraction. Our constructions are motivated in part by recurrences for the multiple orthogonal polynomials associated to weights based on modified Bessel functions of the first kind $I_α$. △ Less

Submitted 18 December, 2023; originally announced December 2023.

Comments: 86 pages, LaTeX2e

MSC Class: 05A15 (Primary); 05A05; 05A19; 05A20; 05C30; 05C38; 15B48; 30B70; 33C10; 33C45; 42C05 (Secondary)

Lattice paths and branched continued fractions. II. Multivariate Lah polynomials and Lah symmetric functions

Authors: Mathias Pétréolle, Alan D. Sokal

Abstract: We introduce the generic Lah polynomials $L_{n,k}(φ)$, which enumerate unordered forests of increasing ordered trees with a weight $φ_i$ for each vertex with $i$ children. We show that, if the weight sequence $φ$ is Toeplitz-totally positive, then the triangular array of generic Lah polynomials is totally positive and the sequence of row-generating polynomials $L_n(φ,y)$ is coefficientwise Hankel-… ▽ More We introduce the generic Lah polynomials $L_{n,k}(φ)$, which enumerate unordered forests of increasing ordered trees with a weight $φ_i$ for each vertex with $i$ children. We show that, if the weight sequence $φ$ is Toeplitz-totally positive, then the triangular array of generic Lah polynomials is totally positive and the sequence of row-generating polynomials $L_n(φ,y)$ is coefficientwise Hankel-totally positive. Upon specialization we obtain results for the Lah symmetric functions and multivariate Lah polynomials of positive and negative type. The multivariate Lah polynomials of positive type are also given by a branched continued fraction. Our proofs use mainly the method of production matrices; the production matrix is obtained by a bijection from ordered forests of increasing ordered trees to labeled partial Lukasiewicz paths. We also give a second proof of the continued fraction using the Euler--Gauss recurrence method. △ Less

Submitted 22 August, 2020; v1 submitted 4 July, 2019; originally announced July 2019.

Comments: 51 pages, 1 figure. arXiv admin note: substantial text overlap with arXiv:1807.03271. Version 2 adds a new Section 8, using exponential Riordan arrays to give a quick alternate proof of Proposition 1.4(a); plus a few other minor changes. To be published in the European Journal of Combinatorics

MSC Class: 05A15 (Primary); 05A05; 05A18; 05A19; 05A20; 05C30; 05E05; 11B37; 11B73; 15B48; 30B70 (Secondary)

Journal ref: European Journal of Combinatorics 92, 103235 (February 2021)

Lattice paths and branched continued fractions: An infinite sequence of generalizations of the Stieltjes--Rogers and Thron--Rogers polynomials, with coefficientwise Hankel-total positivity

Authors: Mathias Pétréolle, Alan D. Sokal, Bao-Xuan Zhu

Abstract: We define an infinite sequence of generalizations, parametrized by an integer $m \ge 1$, of the Stieltjes--Rogers and Thron--Rogers polynomials; they arise as the power-series expansions of some branched continued fractions, and as the generating polynomials for $m$-Dyck and $m$-Schröder paths with height-dependent weights. We prove that all of these sequences of polynomials are coefficientwise Ha… ▽ More We define an infinite sequence of generalizations, parametrized by an integer $m \ge 1$, of the Stieltjes--Rogers and Thron--Rogers polynomials; they arise as the power-series expansions of some branched continued fractions, and as the generating polynomials for $m$-Dyck and $m$-Schröder paths with height-dependent weights. We prove that all of these sequences of polynomials are coefficientwise Hankel-totally positive, jointly in all the (infinitely many) indeterminates. We then apply this theory to prove the coefficientwise Hankel-total positivity for combinatorially interesting sequences of polynomials. Enumeration of unlabeled ordered trees and forests gives rise to multivariate Fuss--Narayana polynomials and Fuss--Narayana symmetric functions. Enumeration of increasing (labeled) ordered trees and forests gives rise to multivariate Eulerian polynomials and Eulerian symmetric functions, which include the univariate $m$th-order Eulerian polynomials as specializations. We also find branched continued fractions for ratios of contiguous hypergeometric series ${}_r \! F_s$ for arbitrary $r$ and $s$, which generalize Gauss' continued fraction for ratios of contiguous ${}_2 \! F_1$; and for $s=0$ we prove the coefficientwise Hankel-total positivity. Finally, we extend the branched continued fractions to ratios of contiguous basic hypergeometric series ${}_r \! φ_s$. △ Less

Submitted 27 May, 2020; v1 submitted 9 July, 2018; originally announced July 2018.

Comments: 151 pages, including 20 figures; version 2 contains some minor improvements to the exposition, and a new Proposition 14.10. To appear in the Memoirs of the American Mathematical Society

MSC Class: 05A15 (Primary); 05A19; 05A20; 05C30; 05E05; 15B05; 15B48; 30B70; 30E05; 33C05; 33C20; 33D05; 44A60 (Secondary)

Extensions of character formulas by the Littlewood decomposition

Authors: Mathias Pétréolle

Abstract: In 2015, the author proved combinatorially character formulas expressing sums of the (formal) dimensions of irreducible representations of symplectic groups, refining some works of Nekrasov and Okounkov, Han, King, and Westbury. In this article, we obtain generalizations of these character formulas, by using a bijection on integer partitions, namely the Littlewood decomposition, for which we prove… ▽ More In 2015, the author proved combinatorially character formulas expressing sums of the (formal) dimensions of irreducible representations of symplectic groups, refining some works of Nekrasov and Okounkov, Han, King, and Westbury. In this article, we obtain generalizations of these character formulas, by using a bijection on integer partitions, namely the Littlewood decomposition, for which we prove new properties. As applications, we derive signed generating functions for subsets of integer partitions, and new hook length formulas. △ Less

Submitted 12 December, 2016; originally announced December 2016.

Comments: 23 pages, 10 figures. arXiv admin note: text overlap with arXiv:1505.01295

Generating series of cyclically fully commutative elements is rational

Authors: Mathias Pétréolle

Abstract: In this paper, we study the generating function of cyclically fully commutative elements in Coxeter groups, which are elements such that any cyclic shift of theirs reduced decompositions remains a reduced expression of a fully commutative element. By designing a finite state automaton recognizing reduced expressions of cyclically fully commutative elements, we can show that the aforementioned gene… ▽ More In this paper, we study the generating function of cyclically fully commutative elements in Coxeter groups, which are elements such that any cyclic shift of theirs reduced decompositions remains a reduced expression of a fully commutative element. By designing a finite state automaton recognizing reduced expressions of cyclically fully commutative elements, we can show that the aforementioned generating series is always rational. △ Less

Submitted 12 December, 2016; originally announced December 2016.

Comments: 16 pages, 4 figures

Generating series of Periodic Parallelogram polyominoes

Authors: Jean Christophe Aval, Adrien Boussicault, Patxi Laborde-Zubieta, Mathias Pétréolle

Abstract: The aim of this work is the study of the class of periodic parallelogram polyominoes, and two of its variantes. These objets are related to 321-avoiding affine permutations. We first provide a bijection with the set of triangles under Dyck paths. We then prove the ultimate periodicity of the generating series of our objects, and introduced a notion of primitive polyominoes, which we enumerate. We… ▽ More The aim of this work is the study of the class of periodic parallelogram polyominoes, and two of its variantes. These objets are related to 321-avoiding affine permutations. We first provide a bijection with the set of triangles under Dyck paths. We then prove the ultimate periodicity of the generating series of our objects, and introduced a notion of primitive polyominoes, which we enumerate. We conclude by an asymptotic analysis. △ Less

Submitted 12 December, 2016; originally announced December 2016.

Comments: 14 pages, 6 figures

A Nekrasov-Okounkov type formula for type C

Authors: Mathias Pétréolle

Abstract: In 2008, Han rediscovered an expansion of powers of Dedekind $η$ function due to Nekrasov and Okounkov by using Macdonald's identity in type $\widetilde{A}$. In this paper, we obtain new combinatorial expansions of powers of $η$, in terms of partition hook lengths, by using Macdonald's identity in type $\widetilde{C}$ and a new bijection. As applications, we derive a symplectic hook formula and a… ▽ More In 2008, Han rediscovered an expansion of powers of Dedekind $η$ function due to Nekrasov and Okounkov by using Macdonald's identity in type $\widetilde{A}$. In this paper, we obtain new combinatorial expansions of powers of $η$, in terms of partition hook lengths, by using Macdonald's identity in type $\widetilde{C}$ and a new bijection. As applications, we derive a symplectic hook formula and a relation between Macdonald's identities in types $\widetilde{C}$, $\widetilde{B}$, and $\widetilde{BC}$. △ Less

Submitted 6 May, 2015; originally announced May 2015.

Comments: 12 pages, 5 figures. This is an extended abstract, to appear in DMTCS proceedings

A Nekrasov-Okounkov Type formula for $\widetilde{C}$

Authors: Mathias Pétréolle

Abstract: In 2008, Han rediscovered an expansion of powers of Dedekind $η$ function attributed to Nekrasov and Okounkov (which was actually first proved the same year by Westbury) by using a famous identity of Macdonald in the framework of type $\widetilde{A}$ affine root systems. In this paper, we obtain new combinatorial expansions of powers of $η$, in terms of partition hook lengths, by using the Macdona… ▽ More In 2008, Han rediscovered an expansion of powers of Dedekind $η$ function attributed to Nekrasov and Okounkov (which was actually first proved the same year by Westbury) by using a famous identity of Macdonald in the framework of type $\widetilde{A}$ affine root systems. In this paper, we obtain new combinatorial expansions of powers of $η$, in terms of partition hook lengths, by using the Macdonald identity in type $\widetilde{C}$ and a new bijection between vectors with integral coordinates and a subset of $t$-cores for integer partitions. As applications, we derive a symplectic hook formula and an unexpected relation between the Macdonald identities in types $\widetilde{C}$, $\widetilde{B}$, and $\widetilde{BC}$. We also generalize these expansions through the Littlewood decomposition and deduce in particular many new weighted generating functions for subsets of integer partitions and refinements of hook formulas. △ Less

Submitted 15 September, 2015; v1 submitted 6 May, 2015; originally announced May 2015.

Comments: 33 pages, 13 figures. This is the long version of the extended abstract accepted for FPSAC conference

Characterization of Cyclically Fully commutative elements in finite and affine Coxeter Groups

Authors: Mathias Pétréolle

Abstract: An element of a Coxeter group W is fully commutative if any two of its reduced decompositions are related by a series of transpositions of adjacent commuting generators. An element of a Coxeter group W is cyclically fully commutative if any of its cyclic shifts remains fully commutative. These elements were studied in Boothby et al.. In particular the authors enumerated cyclically fully commutativ… ▽ More An element of a Coxeter group W is fully commutative if any two of its reduced decompositions are related by a series of transpositions of adjacent commuting generators. An element of a Coxeter group W is cyclically fully commutative if any of its cyclic shifts remains fully commutative. These elements were studied in Boothby et al.. In particular the authors enumerated cyclically fully commutative elements in all Coxeter groups having a finite number of them. In this work we characterize and enumerate cyclically fully commutative elements according to their Coxeter length in all finite or affine Coxeter groups by using a new operation on heaps, the cylindric transformation. In finite types, this refines the work of Boothby et al., by adding a new parameter. In affine type, all the results are new. In particular, we prove that there is a finite number of cyclically fully commutative logarithmic elements in all affine Coxeter groups. We study afterwards the cyclically fully commutative involutions and prove that their number is finite in all Coxeter groups. △ Less

Submitted 2 October, 2014; v1 submitted 5 March, 2014; originally announced March 2014.

Comments: 23 pages, 16 figures