BZPEER
More

Discover

About BZPEERSearchGraph

Research tools

HomeCollectionsResearchCollaborationPublish

Network

ExpertsCommunities

Opportunities

Listings

Account

Log inCreate account
Log inCreate account

Source author record

T. Kyle Petersen

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

ResearcherUnclaimed source record
math.COmath.GRmath.ATmath.HOmath.PR

Catalog footprint

Research overview

17works
5topics
4close collaborators

Actions

Is this your work?

Log in to claim
Open graphBrowse papers

Published work

17 publications

preprint2021arXiv

On the joint distribution of descents and signs of permutations

We study the joint distribution of descents and sign for elements of the symmetric group and the hyperoctahedral group (Coxeter groups of types AA and BB). For both groups, this has an application to riffle shuffling: for large decks of cards the sign is close to random after a single shuffle. In both groups, we derive generating functions for the Eulerian distribution refined according to sign, and use them to give two proofs of central limit theorems for positive and negative Eulerian numbers.

Open access
preprint2020arXiv

Broken bricks and the pick-up sticks problem

We generalize the well-known broken stick problem in several ways, including a discrete "brick" analogue and a sequential "pick-up sticks/bricks" version. The limit behavior of the broken brick problem gives a combinatorial proof of the broken stick problem. The pick-up version gives a variation on those scenarios, and we conclude by showing a greater context---namely, that the broken stick/brick problem and the pick-up sticks/bricks problem are two extremes in a family of interesting, and largely open, questions.

Open access
preprint2020arXiv

Sós Permutations

Let f(x)=αx+βmod  1f(x) = αx + β\mod 1 for fixed real parameters αα and ββ. For any positive integer nn, define the Sós permutation ππ to be the lexicographically first permutation such that 0≤f(π(0))≤f(π(1))≤⋯≤f(π(n))<10 \leq f(π(0)) \leq f(π(1)) \leq \cdots \leq f(π(n)) < 1. In this article we give a bijection between Sós permutations and regions in a partition of the parameter space (α,β)∈[0,1)2(α,β)\in [0,1)^2. This allows us to enumerate these permutations and to obtain the following "three areas" theorem: in any vertical strip (a/b,c/d)×[0,1)(a/b,c/d)\times [0,1), with (a/b,c/d)(a/b,c/d) a Farey interval, there are at most three distinct areas of regions, and one of these areas is the sum of the other two.

Open access
preprint2020arXiv

The pinnacle set of a permutation

The peak set of a permutation records the indices of its peaks. These sets have been studied in a variety of contexts, including recent work by Billey, Burdzy, and Sagan, which enumerated permutations with prescribed peak sets. In this article, we look at a natural analogue of the peak set of a permutation, instead recording the values of the peaks. We define the "pinnacle set" of a permutation w to be the set {w(i) : i is a peak of w}. Although peak sets and pinnacle sets mark the same phenomenon for a given permutation, the behaviors of these sets differ in notable ways as distributions over the symmetric group. In the work below, we characterize admissible pinnacle sets and study various enumerative questions related to these objects.

Open access
preprint2016arXiv

A two-sided analogue of the Coxeter complex

For any Coxeter system (W,S)(W,S) of rank nn, we introduce an abstract boolean complex (simplicial poset) of dimension 2n−12n-1 that contains the Coxeter complex as a relative subcomplex. Faces are indexed by triples (I,w,J)(I,w,J), where II and JJ are subsets of the set SS of simple generators, and ww is a minimal length representative for the parabolic double coset WIwWJW_I w W_J. There is exactly one maximal face for each element of the group WW. The complex is shellable and thin, which implies the complex is a sphere for the finite Coxeter groups. In this case, a natural refinement of the hh-polynomial is given by the "two-sided" WW-Eulerian polynomial, i.e., the generating function for the joint distribution of left and right descents in WW.

Open access
preprint2016arXiv

Unimodality via alternating gamma vectors

For a polynomial with palindromic coefficients, unimodality is equivalent to having a nonnegative gg-vector. A sufficient condition for unimodality is having a nonnegative γγ-vector, though one can have negative entries in the γγ-vector and still have a nonnegative gg-vector. In this paper we provide combinatorial models for three families of γγ-vectors that alternate in sign. In each case, the γγ-vectors come from unimodal polynomials with straightforward combinatorial descriptions, but for which there is no straightforward combinatorial proof of unimodality. By using the transformation from γγ-vector to gg-vector, we express the entries of the gg-vector combinatorially, but as an alternating sum. In the case of the qq-analogue of n!n!, we use a sign-reversing involution to interpret the alternating sum, resulting in a manifestly positive formula for the gg-vector. In other words, we give a combinatorial proof of unimodality. We consider this a "proof of concept" result that we hope can inspire a similar result for the other two cases, ∏j=1n(1+qj)\prod_{j=1}^n (1+q^j) and the qq-binomial coefficients.

Open access
preprint2014arXiv

The depth of a permutation

For the elements of a Coxeter group, we present a statistic called depth, defined in terms of factorizations of the elements into products of reflections. Depth is bounded above by length and below by the average of length and reflection length. In this article, we focus on the case of the symmetric group, where we show that depth is equal to sum_i max{w(i)-i, 0}. We characterize those permutations for which depth equals length: these are the 321-avoiding permutations (and hence are enumerated by the Catalan numbers). We also characterize those permutations for which depth equals reflection length: these are permutations avoiding both 321 and 3412 (also known as boolean permutations, which we can hence also enumerate). In this case, it also happens that length equals reflection length, leading to a new perspective on a result of Edelman.

Open access
preprint2014arXiv

The generating function for total displacement

In a 1977 paper, Diaconis and Graham studied what Knuth calls the total displacement of a permutation ww, which is the sum of the distances ∣w(i)−i∣|w(i)-i|. In recent work of the first author and Tenner, this statistic appears as twice the type An−1A_{n-1} version of a statistic for Coxeter groups called the depth of ww. There are various enumerative results for this statistic in the work of Diaconis and Graham, codified as exercises in Knuth's textbook, and some other results in the work of Petersen and Tenner. However, no formula for the generating function of this statistic appears in the literature. Knuth comments that "the generating function for total displacement does not appear to have a simple form." In this paper, we translate the problem of computing the distribution of total displacement into a problem of counting weighted Motzkin paths. In this way, standard techniques allow us to express the generating function for total displacement as a continued fraction.

Open access
preprint2014arXiv

The Steinberg torus of a Weyl group as a module over the Coxeter complex

Associated to each irreducible crystallographic root system ΦΦ, there is a certain cell complex structure on the torus obtained as the quotient of the ambient space by the coroot lattice of ΦΦ. This is the Steinberg torus. A main goal of this paper is to exhibit a module structure on (the set of faces of) this complex over the (set of faces of the) Coxeter complex of ΦΦ. The latter is a monoid under the Tits product of faces. The module structure is obtained from geometric considerations involving affine hyperplane arrangements. As a consequence, a module structure is obtained on the space spanned by affine descent classes of a Weyl group, over the space spanned by ordinary descent classes. The latter constitute a subalgebra of the group algebra, the classical descent algebra of Solomon. We provide combinatorial models for the module of faces when ΦΦ is of type AA or CC.

Open access
preprint2013arXiv

On the shard intersection order of a Coxeter group

Introduced by Reading, the shard intersection order of a finite Coxeter group WW is a lattice structure on the elements of WW that contains the poset of noncrossing partitions NC(W)NC(W) as a sublattice. Building on work of Bancroft in the case of the symmetric group, we provide combinatorial models for shard intersections of all classical types, and use this understanding to prove the shard intersection order is EL-shellable. Further, inspired by work of Simion and Ullman on the lattice of noncrossing partitions, we show that the shard intersection order on the symmetric group admits a symmetric boolean decomposition, i.e., a partition into disjoint boolean algebras whose middle ranks coincide with the middle rank of the poset. Our decomposition also yields a new symmetric boolean decomposition of the noncrossing partition lattice.

Open access
preprint2012arXiv

How to write a permutation as a product of involutions (and why you might care)

It is well-known that any permutation can be written as a product of two involutions. We provide an explicit formula for the number of ways to do so, depending only on the cycle type of the permutation. In many cases, these numbers are sums of absolute values of irreducible characters of the symmetric group evaluated at the same permutation, although apart from the case where all cycles are the same size, we have no good explanation for why this should be so.

Open access
preprint2011arXiv

On γγ-vectors satisfying the Kruskal-Katona inequalities

We present examples of flag homology spheres whose γγ-vectors satisfy the Kruskal-Katona inequalities. This includes several families of well-studied simplicial complexes, including Coxeter complexes and the simplicial complexes dual to the associahedron and to the cyclohedron. In these cases, we construct explicit simplicial complexes whose ff-vectors are the γγ-vectors in question. In another direction, we show that if a flag (d−1)(d-1)-sphere has at most 2d+22d+2 vertices its γγ-vector satisfies the Kruskal-Katona inequalities. We conjecture that if ΔΔ is a flag homology sphere then γ(Δ)γ(Δ) satisfies the Kruskal-Katona inequalities. This conjecture is a significant refinement of Gal's conjecture, which asserts that such γγ-vectors are nonnegative.

Open access
preprint2010arXiv

Bounding reflection length in an affine Coxeter group

In any Coxeter group, the conjugates of elements in the standard minimal generating set are called reflections and the minimal number of reflections needed to factor a particular element is called its reflection length. In this article we prove that the reflection length function on an affine Coxeter group has a uniform upper bound. More precisely we prove that the reflection length function on an affine Coxeter group that naturally acts faithfully and cocompactly on Rn\R^n is bounded above by 2n2n and we also show that this bound is optimal. Conjecturally, spherical and affine Coxeter groups are the only Coxeter groups with a uniform bound on reflection length.

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.