Source author record

Richard P. Stanley

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

ResearcherUnclaimed source record

Catalog footprint

Research overview

15works
7topics
4close collaborators

Published work

15 publications

preprint2020arXiv

On a generalization of Lie(kk): a CataLAnKe theorem

We initiate a study of the representation of the symmetric group on the multilinear component of an nn-ary generalization of the free Lie algebra, which we call a free LAnKe. Our central result is that the representation of the symmetric group S2n−1S_{2n-1} on the multilinear component of the free LAnKe with 2n−12n-1 generators is given by an irreducible representation whose dimension is the nnth Catalan number. This leads to a more general result on eigenspaces of a certain linear operator, which has additional consequences. We also obtain a new presentation of Specht modules of staircase shape as a consequence of our central result.

preprint2016arXiv

Smith Normal Form in Combinatorics

This paper surveys some combinatorial aspects of Smith normal form, and more generally, diagonal form. The discussion includes general algebraic properties and interpretations of Smith normal form, critical groups of graphs, and Smith normal form of random integer matrices. We then give some examples of Smith normal form and diagonal form arising from (1) symmetric functions, (2) a result of Carlitz, Roselle, and Scoville, and (3) the Varchenko matrix of a hyperplane arrangement.

preprint2015arXiv

Supersolvability and Freeness for ψψ-graphical Arrangements

Let GG be a simple graph on the vertex set {v1,…,vn}\{v_1,\dots,v_n\} with edge set EE. Let KK be a field. The graphical arrangement AG\mathcal{A}_G in KnK^n is the arrangement xi−xj=0,vivj∈Ex_i-x_j=0, v_iv_j \in E. An arrangement A\mathcal{A} is supersolvable if the intersection lattice L(c(A))L(c(\mathcal{A})) of the cone c(A)c(\mathcal{A}) contains a maximal chain of modular elements. The second author has shown that a graphical arrangement AG\mathcal{A}_G is supersolvable if and only if GG is a chordal graph. He later considered a generalization of graphical arrangements which are called ψψ-graphical arrangements. He conjectured a characterization of the supersolvability and freeness (in the sense of Terao) of a ψψ-graphical arrangement. We provide a proof of the first conjecture and state some conditions on free ψψ-graphical arrangements.

preprint2015arXiv

The Smith Normal Form of a Specialized Jacobi-Trudi Matrix

Let JTλ\mathrm{JT}_λ be the Jacobi-Trudi matrix corresponding to the partition λλ, so det⁡JTλ\det\mathrm{JT}_λ is the Schur function sλs_λ in the variables x1,x2,…x_1,x_2,\dots. Set x1=⋯=xn=1x_1=\cdots=x_n=1 and all other xi=0x_i=0. Then the entries of JTλ\mathrm{JT}_λ become polynomials in nn of the form (n+j−1j){n+j-1\choose j}. We determine the Smith normal form over the ring Q[n]\mathbb{Q}[n] of this specialization of JTλ\mathrm{JT}_λ. The proof carries over to the specialization xi=qi−1x_i=q^{i-1} for 1≤i≤n1\leq i\leq n and xi=0x_i=0 for i>ni>n, where we set qn=yq^n=y and work over the ring Q(q)[y]\mathbb{Q}(q)[y].

preprint2015arXiv

Unimodality of partitions with distinct parts inside Ferrers shapes

We investigate the rank-generating function FλF_λ of the poset of partitions contained inside a given shifted Ferrers shape λλ. When λλ has four parts, we show that FλF_λ is unimodal when λ=⟨n,n−1,n−2,n−3⟩λ=\langle n,n-1,n-2,n-3 \rangle, for any n≥4n\ge 4, and that unimodality fails for the doubly-indexed, infinite family of partitions of the form λ=⟨n,n−t,n−2t,n−3t⟩λ=\langle n,n-t,n-2t,n-3t \rangle, for any given t≥2t\ge 2 and nn large enough with respect to tt. When λλ has b≤3b\le 3 parts, we show that our rank-generating functions FλF_λ are all unimodal. However, the situation remains mostly obscure for b≥5b\ge 5. In general, the type of results that we obtain present some remarkable similarities with those of the 1990 paper of D. Stanton, who considered the case of partitions inside ordinary (straight) Ferrers shapes. Along the way, we also determine some interesting qq-analogs of the binomial coefficients, which in certain instances we conjecture to be unimodal. We state several other conjectures throughout this note, in the hopes to stimulate further work in this area. In particular, one of these will attempt to place into a much broader context the unimodality of the posets M(n)M(n) of staircase partitions, for which determining a combinatorial proof remains an outstanding open problem.

preprint2014arXiv

A Distributive Lattice Connected with Arithmetic Progressions of Length Three

Let T\mathcal{T} be a collection of 3-element subsets SS of {1,…,n}\{1, \ldots,n\} with the property that if i<j<ki<j<k and a<b<ca<b<c are two 3-element subsets in SS, then there exists an integer sequence x1<x2<⋯<xnx_1 < x_2 < \cdots < x_n such that xi,xj,xkx_i, x_j, x_k and xa,xb,xcx_a, x_b, x_c are arithmetic progressions. We determine the number of such collections T\mathcal{T} and the number of them of maximum size. These results confirm two conjectures of Noam Elkies.

preprint2014arXiv

Smith Normal Form of a Multivariate Matrix Associated with Partitions

Consideration of a question of E. R. Berlekamp led Carlitz, Roselle, and Scoville to give a combinatorial interpretation of the entries of certain matrices of determinant~1 in terms of lattice paths. Here we generalize this result by refining the matrix entries to be multivariate polynomials, and by determining not only the determinant but also the Smith normal form of these matrices. A priori the Smith form need not exist but its existence follows from the explicit computation. It will be more convenient for us to state our results in terms of partitions rather than lattice paths.

preprint2013arXiv

Counting Conjugacy Classes of Elements of Finite Order in Lie Groups

Using combinatorial techniques, we answer two questions about simple classical Lie groups. Define N(G,m)N(G,m) to be the number of conjugacy classes of elements of finite order mm in a Lie group GG, and N(G,m,s)N(G,m,s) to be the number of such classes whose elements have ss distinct eigenvalues or conjugate pairs of eigenvalues. What is N(G,m)N(G,m) for GG a unitary, orthogonal, or symplectic group? What is N(G,m,s)N(G,m,s) for these groups? For some cases, the first question was answered a few decades ago via group-theoretic techniques. It appears that the second question has not been asked before; here it is inspired by questions related to enumeration of vacua in string theory. Our combinatorial methods allow us to answer both questions.

preprint2013arXiv

The Lecture Hall Parallelepiped

The s-lecture hall polytopes P_s are a class of integer polytopes defined by Savage and Schuster which are closely related to the lecture hall partitions of Eriksson and Bousquet-Mélou. We define a half-open parallelopiped Par_s associated with P_s and give a simple description of its integer points. We use this description to recover earlier results of Savage et al. on the δ-vector (or h^*-vector) and to obtain the connections to s-ascents and s-descents, as well as some generalizations of these results.

preprint2013arXiv

Valid Orderings of Real Hyperplane Arrangements

Given a real finite hyperplane arrangement A and a point p not on any of the hyperplanes, we define an arrangement vo(A,p), called the *valid order arrangement*, whose regions correspond to the different orders in which a line through p can cross the hyperplanes in A. If A is the set of affine spans of the facets of a convex polytope P and p lies in the interior of P, then the valid orderings with respect to p are just the line shellings of p where the shelling line contains p. When p is sufficiently generic, the intersection lattice of vo(A,p) is the *Dilworth truncation* of the semicone of A. Various applications and examples are given. For instance, we determine the maximum number of line shellings of a d-polytope with m facets when the shelling line contains a fixed point p. If P is the order polytope of a poset, then the sets of facets visible from a point involve a generalization of chromatic polynomials related to list colorings.

preprint2012arXiv

An equivalence relation on the symmetric group and multiplicity-free flag h-vectors

We consider the equivalence relation ~ on the symmetric group S_n generated by the interchange of two adjacent elements a_i and a_{i+1} of w=a_1 ... a_n in S_n such that |a_i - a_{i+1}|=1. We count the number of equivalence classes and the sizes of equivalence classes. The results are generalized to permutations of multisets using umbral techniques. In the original problem, the equivalence class containing the identity permutation is the set of linear extensions of a certain poset. Further investigation yields a characterization of all finite graded posets whose flag h-vector takes on only the values -1, 0, 1.

preprint2012arXiv

On the rank function of a differential poset

We study rr-differential posets, a class of combinatorial objects introduced in 1988 by the first author, which gathers together a number of remarkable combinatorial and algebraic properties, and generalizes important examples of ranked posets, including the Young lattice. We first provide a simple bijection relating differential posets to a certain class of hypergraphs, including all finite projective planes, which are shown to be naturally embedded in the initial ranks of some differential poset. As a byproduct, we prove the existence, if and only if r≥6r\geq 6, of rr-differential posets nonisomorphic in any two consecutive ranks but having the same rank function. We also show that the Interval Property, conjectured by the second author and collaborators for several sequences of interest in combinatorics and combinatorial algebra, in general fails for differential posets. In the second part, we prove that the rank function pnp_n of any arbitrary rr-differential poset has nonpolynomial growth; namely, pn≫nae2rn,p_n\gg n^ae^{2\sqrt{rn}}, a bound very close to the Hardy-Ramanujan asymptotic formula that holds in the special case of Young's lattice. We conclude by posing several open questions.

Research graph

See the researcher in context

Open full explorer

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.