BZPEER
More

Discover

About BZPEERSearchGraph

Research tools

HomeCollectionsResearchCollaborationPublish

Network

ExpertsCommunities

Opportunities

Listings

Account

Log inCreate account
Log inCreate account

Source author record

Margaret Readdy

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

ResearcherUnclaimed source record
math.COmath.ATmath.NTmath.RT

Catalog footprint

Research overview

11works
4topics
4close collaborators

Actions

Is this your work?

Log in to claim
Open graphBrowse papers

Published work

11 publications

preprint2022arXiv

A generalization of combinatorial identities for stable discrete series constants

This article is concerned with the constants that appear in Harish-Chandra's character formula for stable discrete series of real reductive groups, although it does not require any knowledge about real reductive groups or discrete series. In Harish-Chandra's work the only information we have about these constants is that they are uniquely determined by an inductive property. Later Goresky-Kottwitz-MacPherson and Herb gave different formulas for these constants. In this article we generalize these formulas to the case of arbitrary finite Coxeter groups (in this setting, discrete series no longer make sense), and give a direct proof that the two formulas agree. We actually prove a slightly more general identity that also implies the combinatorial identity underlying the discrete series character identities of Morel. We deduce this identity from a general abstract theorem giving a way to calculate the alternating sum of the values of a valuation on the chambers of a Coxeter arrangement. We also introduce a ring structure on the set of valuations on polyhedral cones in Euclidean space with values in a fixed ring. This gives a theoretical framework for the valuation appearing in Appendix A of the Goresky-Kottwitz-MacPherson paper. In Appendix B we extend the notion of 22-structures (due to Herb) to pseudo-root systems.

Open access
preprint2022arXiv

Sharing pizza in n dimensions

We introduce and prove the nn-dimensional Pizza Theorem: Let H\mathcal{H} be a hyperplane arrangement in Rn\mathbb{R}^{n}. If KK is a measurable set of finite volume, the {pizza quantity} of KK is the alternating sum of the volumes of the regions obtained by intersecting KK with the arrangement H\mathcal{H}. We prove that if H\mathcal{H} is a Coxeter arrangement different from A1nA_{1}^{n} such that the group of isometries WW generated by the reflections in the hyperplanes of H\mathcal{H} contains the map −id-\mathrm{id}, and if KK is a translate of a convex body that is stable under WW and contains the origin, then the pizza quantity of KK is equal to zero. Our main tool is an induction formula for the pizza quantity involving a subarrangement of the restricted arrangement on hyperplanes of H\mathcal{H} that we call the {even restricted arrangement}. More generally, we prove that for a class of arrangements that we call {even} (this includes the Coxeter arrangements above) and for a {sufficiently symmetric} set KK, the pizza quantity of K+aK+a is polynomial in aa for aa small enough, for example if KK is convex and 0∈K+a0\in K+a. We get stronger results in the case of balls, more generally, convex bodies bounded by quadratic hypersurfaces. For example, we prove that the pizza quantity of the ball centered at aa having radius R≥∥a∥R\geq\|a\| vanishes for a Coxeter arrangement H\mathcal{H} with ∣H∣−n|\mathcal{H}|-n an even positive integer. We also prove the Pizza Theorem for the surface volume: When H\mathcal{H} is a Coxeter arrangement and ∣H∣−n|\mathcal{H}| - n is a nonnegative even integer, for an nn-dimensional ball the alternating sum of the (n−1)(n-1)-dimensional surface volumes of the regions is equal to zero.

Open access
preprint2020arXiv

Classification of uniform flag triangulations of the boundary of the full root polytope of type AA

The full root polytope of type AA is the convex hull of all pairwise differences of the standard basis vectors which we represent by forward and backward arrows. We completely classify all flag triangulations of this polytope that are uniform in the sense that the edges may be described as a function of the relative order of the indices of the four basis vectors involved. These fifteen triangulations fall naturally into three classes: three in the lex class, three in the revlex class and nine in the Simion class. We also consider a refined face count where we distinguish between forward and backward arrows. We prove the refined face counts only depend on the class of the triangulations. The refined face generating functions are expressed in terms of the Catalan and Delannoy generating functions and the modified Bessel function of the first kind.

Open access
preprint2016arXiv

Simion's type BB associahedron is a pulling triangulation of the Legendre polytope

We show that Simion's type BB associahedron is combinatorially equivalent to a pulling triangulation of a type BB root polytope called the Legendre polytope. Furthermore, we show that every pulling triangulation of the Legendre polytope yields a flag complex. Our triangulation refines a decomposition of the Legendre polytope given by Cho. We extend Cho's cyclic group action to the triangulation in such a way that it corresponds to rotating centrally symmetric triangulations of a regular (2n+2)(2n+2)-gon. Finally, we present a bijection between the faces of the Simion's type BB associahedron and Delannoy paths.

Open access
preprint2016arXiv

The van der Waerden complex

We introduce the van der Waerden complex vdW(n,k){\rm vdW}(n,k) defined as the simplicial complex whose facets correspond to arithmetic progressions of length kk in the vertex set {1,2,…,n}\{1, 2, \ldots, n\}. We show the van der Waerden complex vdW(n,k){\rm vdW}(n,k) is homotopy equivalent to a CWCW-complex whose cells asymptotically have dimension at most log⁡k/log⁡log⁡k\log k / \log \log k. Furthermore, we give bounds on nn and kk which imply that the van der Waerden complex is contractible.

Open access
preprint2014arXiv

A poset view of the major index

We introduce the Major MacMahon map and show how this map interacts with the pyramid and bipyramid operators. When the Major MacMahon map is applied to the ab-index of a simplicial poset, it yields the q-analogue of n! times the h-polynomial of the poset. Applying the map to the Boolean algebra gives the distribution of the major index on the symmetric group, a seminal result due to MacMahon. Similarly, when applied to the cross-polytope we obtain the distribution of one of the major indexes on signed permutations due to Reiner.

Open access
preprint2014arXiv

Euler flag enumeration of Whitney stratified spaces

The flag vector contains all the face incidence data of a polytope, and in the poset setting, the chain enumerative data. It is a classical result due to Bayer and Klapper that for face lattices of polytopes, and more generally, Eulerian graded posets, the flag vector can be written as a cd-index, a non-commutative polynomial which removes all the linear redundancies among the flag vector entries. This result holds for regular CW complexes. We relax the regularity condition to show the cd-index exists for Whitney stratified manifolds by extending the notion of a graded poset to that of a quasi-graded poset. This is a poset endowed with an order-preserving rank function and a weighted zeta function. This allows us to generalize the classical notion of Eulerianness, and obtain a cd-index in the quasi-graded poset arena. We also extend the semi-suspension operation to that of embedding a complex in the boundary of a higher dimensional ball and study the simplicial shelling components.

Open access
preprint2010arXiv

Exponential Dowling structures

The notion of exponential Dowling structures is introduced, generalizing Stanley's original theory of exponential structures. Enumerative theory is developed to determine the Möbius function of exponential Dowling structures, including a restriction of these structures to elements whose types satisfy a semigroup condition. Stanley's study of permutations associated with exponential structures leads to a similar vein of study for exponential Dowling structures. In particular, for the extended r-divisible partition lattice we show the Möbius function is, up to a sign, the number of permutations in the symmetric group on rn+k elements having descent set {r, 2r, ..., nr}. Using Wachs' original EL-labeling of the r-divisible partition lattice, the extended r-divisible partition lattice is shown to be EL-shellable.

Open access
preprint2010arXiv

Level Eulerian Posets

The notion of level posets is introduced. This class of infinite posets has the property that between every two adjacent ranks the same bipartite graph occurs. When the adjacency matrix is indecomposable, we determine the length of the longest interval one needs to check to verify Eulerianness. Furthermore, we show that every level Eulerian poset associated to an indecomposable matrix has even order. A condition for verifying shellability is introduced and is automated using the algebra of walks. Applying the Skolem--Mahler--Lech theorem, the ab{\bf ab}-series of a level poset is shown to be a rational generating function in the non-commutative variables a{\bf a} and b{\bf b}. In the case the poset is also Eulerian, the analogous result holds for the cd{\bf cd}-series. Using coalgebraic techniques a method is developed to recognize the cd{\bf cd}-series matrix of a level Eulerian poset.

Open access
preprint2010arXiv

The Möbius function of partitions with restricted block size

We study filters in the partition lattice formed by restricting to partitions by type. The Möbius function is determined in terms of the easier-to-compute descent set statistics on permutations and the Möbius function of filters in the lattice of integer compositions. When the underlying integer partition is a knapsack partition, the Möbius function on integer compositions is determined by a topological argument. In this proof the permutahedron makes a cameo appearance.

Open access
preprint2004arXiv

The Tchebyshev transforms of the first and second kind

We give an in-depth study of the Tchebyshev transforms of the first and second kind of a poset, recently discovered by Hetyei. The Tchebyshev transform (of the first kind) preserves desirable combinatorial properties, including Eulerianess (due to Hetyei) and EL-shellability. It is also a linear transformation on flag vectors. When restricted to Eulerian posets, it corresponds to the Billera, Ehrenborg and Readdy omega map of oriented matroids. One consequence is that nonnegativity of the cd-index is maintained. The Tchebyshev transform of the second kind is a Hopf algebra endomorphism on the space of quasisymmetric functions QSym. It coincides with Stembridge's peak enumerator for Eulerian posets, but differs for general posets. The complete spectrum is determined, generalizing work of Billera, Hsiao and van Willigenburg. The type B quasisymmetric function of a poset is introduced. Like Ehrenborg's classical quasisymmetric function of a poset, this map is a comodule morphism with respect to the quasisymmetric functions QSym. Similarities among the omega map, Ehrenborg's r-signed Birkhoff transform, and the Tchebyshev transforms motivate a general study of chain maps. One such occurrence, the chain map of the second kind, is a Hopf algebra endomorphism on the quasisymmetric functions QSym and is an instance of Aguiar, Bergeron and Sottile's result on the terminal object in the category of combinatorial Hopf algebras. In contrast, the chain map of the first kind is both an algebra map and a comodule endomorphism on the type B quasisymmetric functions BQSym.

Open access

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.