BZPEERPapers, people, evidence and research paths
Menu

Discover

SearchFind papers, people, topics, institutions and opportunities from one place.GraphSee how papers, authors, topics and evidence connect.

Research tools

HomeContinue from the papers, people and topics that matter now.CollectionsTurn saved papers into reading lists, evidence maps and shareable context.ResearchReconstruct the path that led you from search to paper to question.CollaborationMove from a paper, topic or expert request into a focused thread.PublishCreate full-text research articles with metadata, formulas and versions.

Network

ExpertsFind specialists whose work and reviews explain why they can help.CommunitiesJoin research groups organized around papers, topics and shared evidence.

Opportunities

ListingsBrowse roles, calls and collaborations connected to real research context.

Account

Log inReturn to your saved papers, graph views and active threads.Create accountStart saving papers, building a research trail and joining teams.
Log inCreate account

Source author record

Margaret Readdy

Margaret Readdy appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

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

Catalog footprint

What is connected

11works
4topics
4close collaborators

Actions

Connect this record

Log in to claim
Open graphBrowse works

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.

Published work

11 published item(s)

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 $2$-structures (due to Herb) to pseudo-root systems.

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

Sharing pizza in n dimensions

We introduce and prove the $n$-dimensional Pizza Theorem: Let $\mathcal{H}$ be a hyperplane arrangement in $\mathbb{R}^{n}$. If $K$ is a measurable set of finite volume, the {pizza quantity} of $K$ is the alternating sum of the volumes of the regions obtained by intersecting $K$ with the arrangement $\mathcal{H}$. We prove that if $\mathcal{H}$ is a Coxeter arrangement different from $A_{1}^{n}$ such that the group of isometries $W$ generated by the reflections in the hyperplanes of $\mathcal{H}$ contains the map $-\mathrm{id}$, and if $K$ is a translate of a convex body that is stable under $W$ and contains the origin, then the pizza quantity of $K$ 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 $\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 $K$, the pizza quantity of $K+a$ is polynomial in $a$ for $a$ small enough, for example if $K$ is convex and $0\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 $a$ having radius $R\geq\|a\|$ vanishes for a Coxeter arrangement $\mathcal{H}$ with $|\mathcal{H}|-n$ an even positive integer. We also prove the Pizza Theorem for the surface volume: When $\mathcal{H}$ is a Coxeter arrangement and $|\mathcal{H}| - n$ is a nonnegative even integer, for an $n$-dimensional ball the alternating sum of the $(n-1)$-dimensional surface volumes of the regions is equal to zero.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

Classification of uniform flag triangulations of the boundary of the full root polytope of type $A$

The full root polytope of type $A$ 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.

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

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

We show that Simion's type $B$ associahedron is combinatorially equivalent to a pulling triangulation of a type $B$ 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)$-gon. Finally, we present a bijection between the faces of the Simion's type $B$ associahedron and Delannoy paths.

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

The van der Waerden complex

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

0 citations0 reviewsNo code linkedOpen 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.

0 citations0 reviewsNo code linkedOpen 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.

0 citations0 reviewsNo code linkedOpen 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.

0 citations0 reviewsNo code linkedOpen 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 ${\bf ab}$-series of a level poset is shown to be a rational generating function in the non-commutative variables ${\bf a}$ and ${\bf b}$. In the case the poset is also Eulerian, the analogous result holds for the ${\bf cd}$-series. Using coalgebraic techniques a method is developed to recognize the ${\bf cd}$-series matrix of a level Eulerian poset.

0 citations0 reviewsNo code linkedOpen 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.

0 citations0 reviewsNo code linkedOpen 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.

0 citations0 reviewsNo code linkedOpen access