Source author record

Ira M. Gessel

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

ResearcherUnclaimed source record

math.CO math.NT math.CA math.AC math.GT

Catalog footprint

Research overview

20works

5topics

4close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2022arXiv

Moments of Orthogonal Polynomials and Exponential Generating Functions

Starting from the moment sequences of classical orthogonal polynomials we derive the orthogonality purely algebraically. We consider also the moments of ( $q=1$ ) classical orthogonal polynomials, and study those cases in which the exponential generating function has a nice form. In the opposite direction, we show that the generalized Dumont-Foata polynomials with six parameters are the moments of rescaled continuous dual Hahn polynomials. Finally we show that one of our methods can be applied to deal with the moments of Askey-Wilson polynomials.

preprint2021arXiv

On a polynomial congruence for Eulerian polynomials

We give a short proof, using generating functions, for a polynomial congruence for Eulerian polynomials first proved, using arrangements of hyperplanes, by Yoshinaga and later proved, using roots of unity, by Iijima, Sasaki, Takahashi, and Yoshinaga.

preprint2020arXiv

A note on Stirling permutations

In this note we generalize an identity of John Riordan and Robert Donaghey relating the enumerator for Stirling permutations to the Eulerian polynomials.

preprint2020arXiv

Counting acyclic and strong digraphs by descents

A descent of a labeled digraph is a directed edge (s, t) with s > t. We count strong tournaments, strong digraphs, and acyclic digraphs by descents and edges. To count strong tournaments we use Eulerian generating functions and to count strong and acyclic digraphs we use a new type of generating function that we call a graphic Eulerian generating function.

preprint2020arXiv

Cyclic quasi-symmetric functions

The ring of cyclic quasi-symmetric functions and its non-Escher subring are introduced in this paper. A natural basis consists of fundamental cyclic quasi-symmetric functions; for the non-Escher subring they arise as toric $P$ -partition enumerators, for toric posets $P$ with a total cyclic order. The associated structure constants are determined by cyclic shuffles of permutations. We then prove the following positivity phenomenon: for every non-hook shape $λ$ , the coefficients in the expansion of the Schur function $s_λ$ in terms of fundamental cyclic quasi-symmetric functions are nonnegative. The proof relies on the existence of a cyclic descent map on the standard Young tableaux (SYT) of shape $λ$ . The theory has applications to the enumeration of cyclic shuffles and SYT by cyclic descents.

preprint2020arXiv

Plethystic formulas for permutation enumeration

We prove several general formulas for the distributions of various permutation statistics over any set of permutations whose quasisymmetric generating function is a symmetric function. Our formulas involve certain kinds of plethystic substitutions on quasisymmetric generating functions, and the permutation statistics we consider include the descent number, peak number, left peak number, and the number of up-down runs. We apply these results to cyclic permutations, involutions, and derangements, and more generally, to derive formulas for counting all permutations by the above statistics jointly with the number of fixed points and jointly with cycle type. A number of known formulas are recovered as special cases of our results, including formulas of Désarménien-Foata, Gessel-Reutenauer, Stembridge, Fulman, Petersen, Diaconis-Fulman-Holmes, Zhuang, and Athanasiadis.

preprint2016arXiv

Lagrange Inversion

We give a survey of the Lagrange inversion formula, including different versions and proofs, with applications to combinatorial and formal power series identities.

preprint2014arXiv

A short proof of the Deutsch-Sagan congruence for connected non crossing graphs

We give a short proof, using Lagrange inversion, of a congruence modulo 3 for the number of connected noncrossing graphs on n vertices that was conjectured by Emeric Deutsch and Bruce Sagan. A more complicated proof had been given earlier by S.-P. Eu, S.-C. Liu, and Y.-N. Yeh.

preprint2014arXiv

An Empirical Method for Solving (rigorously!) Algebraic Functional Equations Of the Form F(P(x,t), P(x,1),x,t)=0

We present an empirical-yet-rigorous approach for solving a wide class of functional equations, thereby automating many results that previously required considerable human ingenuity and human labor.

preprint2014arXiv

Counting permutations by alternating descents

We find the exponential generating function for permutations with all valleys even and all peaks odd, and use it to determine the asymptotics for its coefficients, answering a question posed by Liviu Nicolaescu. The generating function can be expressed as the reciprocal of a sum involving Euler numbers. We give two proofs of the formula. The first uses a system of differential equations. The second proof derives the generating function directly from general permutation enumeration techniques, using noncommutative symmetric functions. The generating function is an "alternating" analogue of David and Barton's generating function for permutations with no increasing runs of length 3 or more. Our general results give further alternating analogues of permutation enumeration formulas, including results of Chebikin and Remmel.

preprint2014arXiv

Counting unlabeled k-trees

We count unlabeled k-trees by properly coloring them in k+1 colors and then counting orbits of these colorings under the action of the symmetric group on the colors.

preprint2014arXiv

Enumeration of bipartite graphs and bipartite blocks

Using the theory of combinatorial species, we compute the cycle index for bipartite graphs, which we use to count unlabeled bipartite graphs and bipartite blocks.

preprint2013arXiv

A simple proof of Andrews's 5F4 evaluation

We give a simple proof of George Andrews's balanced 5F4 evaluation using two fundamental principles: the nth difference of a polynomial of degree less than n is zero, and a polynomial of degree n that vanishes at n+1 points is identically zero.

preprint2013arXiv

Compositions and Fibonacci Identities

We study formulas expressing Fibonacci numbers as sums over compositions using free submonoids of the free monoid of compositions with parts 1 and 2.

preprint2013arXiv

Even and Odd Pairs of Lattice Paths with Multiple Intersections

Let M(n,k,r,s) be the number of ordered paths in the plane, with unit steps E or N, that intersect k times in which the first path ends at the point (r,n-r) and the second path ends at the point (s,n-s). Our main object of study in this paper is the sum of the numbers M(n,k,r,s) over r and s where r+s is fixed. We consider even and odd values of r+s separately, and we derive a simpler formula for M(n,k,r,s) than previously appeared in the literature.

preprint2013arXiv

Non-orientable surfaces in homology cobordisms

We investigate constraints on embeddings of a non-orientable surface in a $4$ -manifold with the homology of $M \times I$ , where $M$ is a rational homology $3$ -sphere. The constraints take the form of inequalities involving the genus and normal Euler class of the surface, and either the Ozsváth--Sazbó $d$ -invariants or Atiyah--Singer $ρ$ -invariants of $M$ . One consequence is that the minimal genus of a smoothly embedded surface in $L(2p,q) \times I$ is the same as the minimal genus of a surface in $L(2p,q)$ . We also consider embeddings of non-orientable surfaces in closed $4$ -manifolds.

preprint2012arXiv

Jacobi-Stirling polynomials and $P$ -partitions

We investigate the diagonal generating function of the Jacobi-Stirling numbers of the second kind $ \JS(n+k,n;z)$ by generalizing the analogous results for the Stirling and Legendre-Stirling numbers. More precisely, letting $\JS(n+k,n;z)=p_{k,0}(n)+p_{k,1}(n)z+...+p_{k,k}(n)z^k$, we show that $(1-t)^{3k-i+1}\sum_{n\geq0}p_{k,i}(n)t^n$ is a polynomial in $t$ with nonnegative integral coefficients and provide combinatorial interpretations of the coefficients by using Stanley's theory of $P$ -partitions.

preprint2011arXiv

Symmetrically Constrained Compositions

Given integers $a_1, a_2, ..., a_n$ , with $a_1 + a_2 + ... + a_n \geq 1$ , a symmetrically constrained composition $λ_1 + lambda_2 + ... + lambda_n = M$ of $M$ into $n$ nonnegative parts is one that satisfies each of the the $n!$ constraints ${\sum_{i=1}^n a_i λ_{π(i)} \geq 0 : π\in S_n}$ . We show how to compute the generating function of these compositions, combining methods from partition theory, permutation statistics, and lattice-point enumeration.

preprint2010arXiv

A note on 2-distant noncrossing partitions and weighted Motzkin paths

We prove a conjecture of Drake and Kim: the number of $2$ -distant noncrossing partitions of $\{1,2,...,n\}$ is equal to the sum of weights of Motzkin paths of length $n$ , where the weight of a Motzkin path is a product of certain fractions involving Fibonacci numbers. We provide two proofs of their conjecture: one uses continued fractions and the other is combinatorial.

preprint2010arXiv

The limit as p -> infinity of the Hilbert-Kunz multiplicity of sum(x_i^(d_i))

Let p be a prime. The Hilbert-Kunz multiplicity, mu, of the element sum(x_i^(d_i)) of (Z/p)[x_1,..., x_s] depends on p in a complicated way. We calculate the limit of mu as p -> infinity. In particular when each d_i is 2 we show that the limit is 1 + the coefficient of z^(s-1) in the power series expansion of sec z + tan z.

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

Building this map preview

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

Ira M. Gessel

Research overview

Is this your work?

20 publications

Moments of Orthogonal Polynomials and Exponential Generating Functions

On a polynomial congruence for Eulerian polynomials

A note on Stirling permutations

Counting acyclic and strong digraphs by descents

Cyclic quasi-symmetric functions

Plethystic formulas for permutation enumeration

Lagrange Inversion

A short proof of the Deutsch-Sagan congruence for connected non crossing graphs

An Empirical Method for Solving (rigorously!) Algebraic Functional Equations Of the Form F(P(x,t), P(x,1),x,t)=0

Counting permutations by alternating descents

Counting unlabeled k-trees

Enumeration of bipartite graphs and bipartite blocks

A simple proof of Andrews's 5F4 evaluation

Compositions and Fibonacci Identities

Even and Odd Pairs of Lattice Paths with Multiple Intersections

Non-orientable surfaces in homology cobordisms

Jacobi-Stirling polynomials and $P$ -partitions

Symmetrically Constrained Compositions

A note on 2-distant noncrossing partitions and weighted Motzkin paths

The limit as p -> infinity of the Hilbert-Kunz multiplicity of sum(x_i^(d_i))

See the researcher in context

Building this map preview

Ira M. Gessel

Research overview

Is this your work?

20 publications

Moments of Orthogonal Polynomials and Exponential Generating Functions

On a polynomial congruence for Eulerian polynomials

A note on Stirling permutations

Counting acyclic and strong digraphs by descents

Cyclic quasi-symmetric functions

Plethystic formulas for permutation enumeration

Lagrange Inversion

A short proof of the Deutsch-Sagan congruence for connected non crossing graphs

An Empirical Method for Solving (rigorously!) Algebraic Functional Equations Of the Form F(P(x,t), P(x,1),x,t)=0

Counting permutations by alternating descents

Counting unlabeled k-trees

Enumeration of bipartite graphs and bipartite blocks

A simple proof of Andrews's 5F4 evaluation

Compositions and Fibonacci Identities

Even and Odd Pairs of Lattice Paths with Multiple Intersections

Non-orientable surfaces in homology cobordisms

Jacobi-Stirling polynomials and PPP-partitions

Symmetrically Constrained Compositions

A note on 2-distant noncrossing partitions and weighted Motzkin paths

The limit as p -> infinity of the Hilbert-Kunz multiplicity of sum(x_i^(d_i))

See the researcher in context

Building this map preview

Jacobi-Stirling polynomials and $P$ -partitions