-
Further Results on Pinnacle Sets
Authors:
Quinn Minnich
Abstract:
The study of pinnacle sets has been a recent area of interest in combinatorics. Given a permutation, its pinnacle set is the set of all values larger than the values on either side of it. Largely inspired by conjectures posed by Davis, Nelson, Petersen, and Tenner and also results proven recently by Fang, this paper aims to add to our understanding of pinnacle sets. In particular, we give a simple…
▽ More
The study of pinnacle sets has been a recent area of interest in combinatorics. Given a permutation, its pinnacle set is the set of all values larger than the values on either side of it. Largely inspired by conjectures posed by Davis, Nelson, Petersen, and Tenner and also results proven recently by Fang, this paper aims to add to our understanding of pinnacle sets. In particular, we give a simpler and more combinatorial proof of a weighted sum formula previously proven by Fang. Additionally, we give a recursion for counting the admissible orderings of the elements of a potential pinnacle set. Finally, we give another way of viewing pinnacle sets that sheds light on their structure and also yields a recursion for counting the number of permutations with that pinnacle set.
△ Less
Submitted 15 November, 2021;
originally announced November 2021.
-
Cyclic Shuffle Compatibility
Authors:
Rachel Domagalski,
**ting Liang,
Quinn Minnich,
Bruce E. Sagan,
Jamie Schmidt,
Alexander Sietsema
Abstract:
Consider a permutation p to be any finite list of distinct positive integers. A statistic is a function St whose domain is all permutations. Let S(p,q) be the set of shuffles of two disjoint permutations p and q. We say that St is shuffle compatible if the distribution of St over S(p,q) depends only on St(p), St(q), and the lengths of p and q. This notion is implicit in Stanley's work on P-partiti…
▽ More
Consider a permutation p to be any finite list of distinct positive integers. A statistic is a function St whose domain is all permutations. Let S(p,q) be the set of shuffles of two disjoint permutations p and q. We say that St is shuffle compatible if the distribution of St over S(p,q) depends only on St(p), St(q), and the lengths of p and q. This notion is implicit in Stanley's work on P-partitions and was first explicitly studied by Gessel and Zhuang. One of the places where shuffles are useful is in describing the product in the algebra of quasisymmetric functions. Recently Adin, Gessel, Reiner, and Roichman defined an algebra of cyclic quasisymmetric functions where a cyclic version of shuffling comes into play. The purpose of this paper is to define and study cyclic shuffle compatibility. In particular, we show how one can lift shuffle compatibility results for (linear) permutations to cyclic ones. We then apply this result to cyclic descents and cyclic peaks. We also discuss the problem of finding a cyclic analogue of the major index.
△ Less
Submitted 14 September, 2021; v1 submitted 18 June, 2021;
originally announced June 2021.
-
Cyclic Pattern Containment and Avoidance
Authors:
Rachel Domagalski,
**ting Liang,
Quinn Minnich,
Bruce E. Sagan,
Jamie Schmidt,
Alexander Sietsema
Abstract:
The study of pattern containment and avoidance for linear permutations is a well-established area of enumerative combinatorics. A cyclic permutation is the set of all rotations of a linear permutation. Callan initiated the study of permutation avoidance in cyclic permutations and characterized the avoidance classes for all single permutations of length 4. We continue this work. In particular, we e…
▽ More
The study of pattern containment and avoidance for linear permutations is a well-established area of enumerative combinatorics. A cyclic permutation is the set of all rotations of a linear permutation. Callan initiated the study of permutation avoidance in cyclic permutations and characterized the avoidance classes for all single permutations of length 4. We continue this work. In particular, we establish a cyclic variant of the Erdos-Szekeres Theorem that any linear permutation of length mn+1 must contain either the increasing pattern of length m+1 or the decreasing pattern of length n+1. We then derive results about avoidance of multiple patterns of length 4. We also determine generating functions for the cyclic descent statistic on these classes. Finally, we end with various open questions and avenues for future research.
△ Less
Submitted 4 June, 2021;
originally announced June 2021.
-
Pinnacle Set Properties
Authors:
Rachel Domagalski,
**ting Liang,
Quinn Minnich,
Bruce E. Sagan,
Jamie Schmidt,
Alexander Sietsema
Abstract:
Let pi = pi_1 pi_2 ... pi_n be a permutation in the symmetric group S_n written in one-line notation. The pinnacle set of pi, denoted Pin pi, is the set of all pi_i such that pi_{i-1} < pi_i > pi_{i+1}. This is an analogue of the well-studied peak set of pi where one considers values rather than positions. The pinnacle set was introduced by Davis, Nelson, Petersen, and Tenner who showed that it ha…
▽ More
Let pi = pi_1 pi_2 ... pi_n be a permutation in the symmetric group S_n written in one-line notation. The pinnacle set of pi, denoted Pin pi, is the set of all pi_i such that pi_{i-1} < pi_i > pi_{i+1}. This is an analogue of the well-studied peak set of pi where one considers values rather than positions. The pinnacle set was introduced by Davis, Nelson, Petersen, and Tenner who showed that it has many interesting properties. In particular, they proved that the number of subsets of [n] = {1, 2, ..., n} which can be the pinnacle set of some permutation is a binomial coefficient. Their proof involved a bijection with lattice paths and was somewhat involved. We give a simpler demonstration of this result which does not need lattice paths. Moreover, we show that our map and theirs are different descriptions of the same function. Davis et al. also studied the number of pinnacle sets with maximum m and cardinality d which they denoted by p(m,d). We show that these integers are ballot numbers and give two proofs of this fact: one using finite differences and one bijective. Diaz-Lopez, Harris, Huang, Insko, and Nilsen found a summation formula for calculating the number of permutations in S_n having a given pinnacle set. We derive a new expression for this number which is faster to calculate in many cases. We also show how this method can be adapted to find the number of orderings of a pinnacle set which can be realized by some pi in S_n.
△ Less
Submitted 21 May, 2021;
originally announced May 2021.
-
An $A_{\infty}$-coalgebra Structure on a Closed Compact Surface
Authors:
Quinn Minnich,
Ronald Umble
Abstract:
Let $P$ be an $n$-gon with $n\geq3.$ There is a formal combinatorial $A_\infty$-coalgebra structure on cellular chains $C_*(P)$ with non-vanishing higher order structure when $n\geq5$. If $X_g$ is a closed compact surface of genus $g\geq2$ and $P_g$ is a polygonal decomposition, the quotient map $q:P_g\to X_g$ projects the formal $A_\infty$-coalgebra structure on $C_*(P_g)$ to a quotient structure…
▽ More
Let $P$ be an $n$-gon with $n\geq3.$ There is a formal combinatorial $A_\infty$-coalgebra structure on cellular chains $C_*(P)$ with non-vanishing higher order structure when $n\geq5$. If $X_g$ is a closed compact surface of genus $g\geq2$ and $P_g$ is a polygonal decomposition, the quotient map $q:P_g\to X_g$ projects the formal $A_\infty$-coalgebra structure on $C_*(P_g)$ to a quotient structure on $C_*(X_g)$, which persists to homology $H_{\ast}\left( X_g;\mathbb{Z}_{2}\right) $, whose operations are determined by the quotient map $q$, and whose higher order structure is non-trivial if and only if $X_g$ is orientable or unorientable with $g\geq3$. But whether or not the $A_{\infty}$-coalgebra structure on homology observed here is topologically invariant is an open question.
△ Less
Submitted 30 July, 2018; v1 submitted 24 January, 2018;
originally announced January 2018.