Source author record

Pamela E. Harris

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

ResearcherUnclaimed source record

math.CO math.RT math.NT math.AG math.GR math.HO math.PR Populations and Evolution

Catalog footprint

Research overview

20works

8topics

4close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2022arXiv

Broken Bracelets and Kostant's Partition Function

Inspired by the work of Amdeberhan, Can, and Moll on broken necklaces, we define a broken bracelet as a linear arrangement of marked and unmarked vertices and introduce a generalization called $n$ -stars, which is a collection of $n$ broken bracelets whose final (unmarked) vertices are identified. Through these combinatorial objects, we provide a new framework for the study of Kostant's partition function, which counts the number of ways to express a vector as a nonnegative integer linear combination of the positive roots of a Lie algebra. Our main result establishes that (up to reflection) the number of broken bracelets with a fixed number of unmarked vertices with nonconsecutive marked vertices gives an upper bound for the value of Kostant's partition function for multiples of the highest root of a Lie algebra of type $A$ . We connect this work to multiplex juggling sequences, as studied by Benedetti, Hanusa, Harris, Morales, and Simpson, by providing a correspondence to an equivalence relation on $n$ -stars.

preprint2022arXiv

Kostant's partition function and magic multiplex juggling sequences

Kostant's partition function is a vector partition function that counts the number of ways one can express a weight of a Lie algebra $\mathfrak{g}$ as a nonnegative integral linear combination of the positive roots of $\mathfrak{g}$ . Multiplex juggling sequences are generalizations of juggling sequences that specify an initial and terminal configuration of balls and allow for multiple balls at any particular discrete height. Magic multiplex juggling sequences generalize further to include magic balls, which cancel with standard balls when they meet at the same height. In this paper, we establish a combinatorial equivalence between positive roots of a Lie algebra and throws during a juggling sequence. This provides a juggling framework to calculate Kostant's partition functions, and a partition function framework to compute the number of juggling sequences. From this equivalence we provide a broad range of consequences and applications connecting this work to polytopes, posets, positroids, and weight multiplicities.

preprint2020arXiv

A formula for enumerating permutations with a fixed pinnacle set

In 2017 Davis, Nelson, Petersen, and Tenner pioneered the study of pinnacle sets of permutations and asked whether there exists a class of operations, which applied to a permutation in $\mathfrak{S}_n$ , can produce any other permutation with the same pinnacle set and no others. In this paper, we adapt a group action defined by Foata and Strehl to provide a way to generate all permutations with a given pinnacle set. From this we give a closed non-recursive formula enumerating permutations with a given pinnacle set. Thus answering a question posed by Davis, Nelson, Petersen, and Tenner.

preprint2020arXiv

Counting $k$ -Naples parking functions through permutations and the $k$ -Naples area statistic

We recall that the $k$ -Naples parking functions of length $n$ (a generalization of parking functions) are defined by requiring that a car which finds its preferred spot occupied must first back up a spot at a time (up to $k$ spots) before proceeding forward down the street. Note that the parking functions are the specialization of $k$ to $0$ . For a fixed $0\leq k\leq n-1$ , we define a function $φ_k$ which maps a $k$ -Naples parking function to the permutation denoting the order in which its cars park. By enumerating the sizes of the fibers of the map $φ_k$ we give a new formula for the number of $k$ -Naples parking functions as a sum over the permutations of length $n$ . We remark that our formula for enumerating $k$ -Naples parking functions is not recursive, in contrast to the previously known formula of Christensen et al [CHJ+20]. It can be expressed as the product of the lengths of particular subsequences of permutations, and its specialization to $k=0$ gives a new way to describe the number of parking functions of length $n$ . We give a formula for the sizes of the fibers of the map $φ_0$ , and we provide a recurrence relation for its corresponding logarithmic generating function. Furthermore, we relate the $q$ -analog of our formula to a new statistic that we denote $\texttt{area}_k$ and call the $k$ -Naples area statistic, the specialization of which to $k=0$ gives the $\texttt{area}$ statistic on parking functions.

preprint2020arXiv

Generalized Lattice Point Visibility

It is a well-known result that the proportion of lattice points visible from the origin is given by $\frac{1}{ζ(2)}$ , where $ζ(s)=\sum_{n=1}^\infty\frac{1}{n^s}$ denotes the Riemann zeta function. Goins, Harris, Kubik and Mbirika, generalized the notion of lattice point visibility by saying that for a fixed $b\in\mathbb{N}$ , a lattice point $(r,s)\in\mathbb{N}^2$ is $b$ -visible from the origin if no other lattice point lies on the graph of a function $f(x)=mx^b$ , for some $m\in\mathbb{Q}$ , between the origin and $(r,s)$ . In their analysis they establish that for a fixed $b\in\mathbb{N}$ , the proportion of $b$ -visible lattice points is $\frac{1}{ζ(b+1)}$ , which generalizes the result in the classical lattice point visibility setting. In this short note we give an $n$ -dimensional notion of $\bf{b}$ -visibility that recovers the one presented by Goins et. al. in $2$ -dimensions, and the classical notion in $n$ -dimensions. We prove that for a fixed ${\bf{b}}=(b_1,b_2,\ldots,b_n)\in\mathbb{N}^n$ the proportion of ${\bf{b}}$ -visible lattice points is given by $\frac{1}{ζ(\sum_{i=1}^nb_i)}$ . Moreover, we propose a $\bf{b}$ -visibility notion for vectors $\bf{b}\in \mathbb{Q}_{>0}^n$ , and we show that by imposing weak conditions on those vectors one obtains that the density of ${\bf{b}}=(\frac{b_1}{a_1},\frac{b_2}{a_2},\ldots,\frac{b_n}{a_n})\in\mathbb{Q}_{>0}^n$ -visible points is $\frac{1}{ζ(\sum_{i=1}^nb_i)}$ . Finally, we give a notion of visibility for vectors $\bf{b}\in (\mathbb{Q}^{*})^n$ , compatible with the previous notion, that recovers the results of Harris and Omar for $b\in \mathbb{Q}^{*}$ in $2$ -dimensions; and show that the proportion of $\bf{b}$ -visible points in this case only depends on the negative entries of $\bf{b}$ .

preprint2020arXiv

On Kostant's weight $q$ -multiplicity formula for $\mathfrak{sl}_{4}(\mathbb{C})$

The $q$ -analog of Kostant's weight multiplicity formula is an alternating sum over a finite group, known as the Weyl group, whose terms involve the $q$ -analog of Kostant's partition function. This formula, when evaluated at $q=1$ , gives the multiplicity of a weight in a highest weight representation of a simple Lie algebra. In this paper, we consider the Lie algebra $\mathfrak{sl}_4(\mathbb{C})$ and give closed formulas for the $q$ -analog of Kostant's weight multiplicity. This formula depends on the following two sets of results. First, we present closed formulas for the $q$ -analog of Kostant's partition function by counting restricted colored integer partitions. These formulas, when evaluated at $q=1$ , recover results of De Loera and Sturmfels. Second, we describe and enumerate the Weyl alternation sets, which consist of the elements of the Weyl group that contribute nontrivially to Kostant's weight multiplicity formula. From this, we introduce Weyl alternation diagrams on the root lattice of $\mathfrak{sl}_4(\mathbb{C})$ , which are associated to the Weyl alternation sets. This work answers a question posed in 2019 by Harris, Loving, Ramirez, Rennie, Rojas Kirby, Torres Davila, and Ulysse.

preprint2020arXiv

On the asymptotic behavior of the $q$ -analog of Kostant's partition function

Kostant's partition function counts the number of distinct ways to express a weight of a classical Lie algebra $\mathfrak{g}$ as a sum of positive roots of $\mathfrak{g}$ . We refer to each of these expressions as decompositions of a weight. Our main result considers an infinite family of weights, irrespective of Lie type, for which we establish a closed formula for the $q$ -analog of Kostant's partition function and then prove that the (normalized) distribution of the number of positive roots in the decomposition of any of these weights converges to a Gaussian distribution as the rank of the Lie algebra goes to infinity. We also extend these results to the highest root of the classical Lie algebras and we end our analysis with some directions for future research.

preprint2020arXiv

Parking Functions: Choose Your Own Adventure

Warning. The reading of this paper will send you down many winding roads toward new and exciting research topics enumerating generalized parking functions. Buckle up!

preprint2020arXiv

Weight $q$ -multiplicities for representations of the exceptional Lie algebra $\mathfrak{g}_2$

Given a simple Lie algebra $\mathfrak{g}$ , Kostant's weight $q$ -multiplicity formula is an alternating sum over the Weyl group whose terms involve the $q$ -analog of Kostant's partition function. For $ξ$ (a weight of $\mathfrak{g}$ ), the $q$ -analog of Kostant's partition function is a polynomial-valued function defined by $\wp_q(ξ)=\sum c_i q^i$ where $c_i$ is the number of ways $ξ$ can be written as a sum of $i$ positive roots of $\mathfrak{g}$ . In this way, the evaluation of Kostant's weight $q$ -multiplicity formula at $q = 1$ recovers the multiplicity of a weight in a highest weight representation of $\mathfrak{g}$ . In this paper, we give closed formulas for computing weight $q$ -multiplicities in a highest weight representation of the exceptional Lie algebra $\mathfrak{g}_2$ .

preprint2016arXiv

A proof of the peak polynomial positivity conjecture

We say that a permutation $π=π_1π_2\cdots π_n \in \mathfrak{S}_n$ has a peak at index $i$ if $π_{i-1} < π_i > π_{i+1}$ . Let $\mathcal{P}(π)$ denote the set of indices where $π$ has a peak. Given a set $S$ of positive integers, we define $\mathcal{P}_S(n)=\{π\in\mathfrak{S}_n:\mathcal{P}(π)=S\}$ . In 2013 Billey, Burdzy, and Sagan showed that for subsets of positive integers $S$ and sufficiently large $n$ , $| \mathcal{P}_S(n)|=p_S(n)2^{n-|S|-1}$ where $p_S(x)$ is a polynomial depending on $S$ . They gave a recursive formula for $p_S(x)$ involving an alternating sum, and they conjectured that the coefficients of $p_S(x)$ expanded in a binomial coefficient basis centered at $\max(S)$ are all nonnegative. In this paper we introduce a new recursive formula for $|\mathcal{P}_S(n)|$ without alternating sums, and we use this recursion to prove that their conjecture is true.

preprint2016arXiv

Legal Decompositions Arising from Non-positive Linear Recurrences

Zeckendorf's theorem states that any positive integer can be written uniquely as a sum of non-adjacent Fibonacci numbers; this result has been generalized to many recurrence relations, especially those arising from linear recurrences with leading term positive. We investigate legal decompositions arising from two new sequences: the $(s,b)$ -Generacci sequence and the Fibonacci Quilt sequence. Both satisfy recurrence relations with leading term zero, and thus previous results and techniques do not apply. These sequences exhibit drastically different behavior. We show that the $(s,b)$ -Generacci sequence leads to unique legal decompositions, whereas not only do we have non-unique legal decompositions with the Fibonacci Quilt sequence, we also have that in this case the average number of legal decompositions grows exponentially. Another interesting difference is that while in the $(s,b)$ -Generacci case the greedy algorithm always leads to a legal decomposition, in the Fibonacci Quilt setting the greedy algorithm leads to a legal decomposition (approximately) 93\% of the time. In the $(s,b)$ -Generacci case, we again have Gaussian behavior in the number of summands as well as for the Fibonacci Quilt sequence when we restrict to decompositions resulting from a modified greedy algorithm.

preprint2016arXiv

New Behavior in Legal Decompositions Arising from Non-positive Linear Recurrences

Zeckendorf's theorem states every positive integer has a unique decomposition as a sum of non-adjacent Fibonacci numbers. This result has been generalized to many sequences $\{a_n\}$ arising from an integer positive linear recurrence, each of which has a corresponding notion of a legal decomposition. Previous work proved the number of summands in decompositions of $m \in [a_n, a_{n+1})$ becomes normally distributed as $n\to\infty$ , and the individual gap measures associated to each $m$ converge to geometric random variables, when the leading coefficient in the recurrence is positive. We explore what happens when this assumption is removed in two special sequences. In one we regain all previous results, including unique decomposition; in the other the number of legal decompositions exponentially grows and the natural choice for the legal decomposition (the greedy algorithm) only works approximately 92.6\% of the time (though a slight modification always works). We find a connection between the two sequences, which explains why the distribution of the number of summands and gaps between summands behave the same in the two examples. In the course of our investigations we found a new perspective on dealing with roots of polynomials associated to the characteristic polynomials. This allows us to remove the need for the detailed technical analysis of their properties which greatly complicated the proofs of many earlier results in the subject, as well as handle new cases beyond the reach of existing techniques.

preprint2016arXiv

Peaks Sets of Classical Coxeter Groups

We say a permutation $π=π_1π_2\cdotsπ_n$ in the symmetric group $\mathfrak{S}_n$ has a peak at index $i$ if $π_{i-1}<π_i>π_{i+1}$ and we let $P(π)=\{i \in \{1, 2, \ldots, n\} \, \vert \, \mbox{$i $is a peak of$ π$}\}$. Given a set $S$ of positive integers, we let $P (S; n)$ denote the subset of $\mathfrak{S}_n$ consisting of all permutations $π$ , where $P(π) =S$ . In 2013, Billey, Burdzy, and Sagan proved $|P(S;n)| = p(n)2^{n-\lvert S\rvert-1}$ , where $p(n)$ is a polynomial of degree $\max(S)- 1$ . In 2014, Castro-Velez et al. considered the Coxeter group of type $B_n$ as the group of signed permutations on $n$ letters and showed that $\lvert P_B(S;n)\rvert=p(n)2^{2n-|S|-1}$ where $p(n)$ is the same polynomial of degree $\max(S)-1$ . In this paper we partition the sets $P(S;n) \subset \mathfrak{S}_n$ studied by Billey, Burdzy, and Sagan into subsets of $P(S;n)$ of permutations with peak set $S$ that end with an ascent to a fixed integer $k$ or a descent and provide polynomial formulas for the cardinalities of these subsets. After embedding the Coxeter groups of Lie type $C_n$ and $D_n$ into $\mathfrak{S}_{2n}$ , we partition these groups into bundles of permutations $π_1π_2 \cdotsπ_n|π_{n+1}\cdots π_{2n}$ such that $π_1π_2\cdots π_n$ has the same relative order as some permutation $σ_1σ_2\cdotsσ_n \in \mathfrak{S}_n$ . This allows us to count the number of permutations in types $C_n$ and $D_n$ with a given peak set $S$ by reducing the enumeration to calculations in the symmetric group and sums across the rows of Pascal's triangle.

preprint2016arXiv

Phylogenetic trees

We introduce the package PhylogeneticTrees for Macaulay2 which allows users to compute phylogenetic invariants for group-based tree models. We provide some background information on phylogenetic algebraic geometry and show how the package PhylogeneticTrees can be used to calculate a generating set for a phylogenetic ideal as well as a lower bound for its dimension. Finally, we show how methods within the package can be used to compute a generating set for the join of any two ideals.

preprint2015arXiv

A Generalization of Zeckendorf's Theorem via Circumscribed $m$ -gons

Zeckendorf's theorem states that every positive integer can be uniquely decomposed as a sum of nonconsecutive Fibonacci numbers, where the Fibonacci numbers satisfy $F_n=F_{n-1}+F_{n-2}$ for $n\geq 3$ , $F_1=1$ and $F_2=2$ . The distribution of the number of summands in such decomposition converges to a Gaussian, the gaps between summands converges to geometric decay, and the distribution of the longest gap is similar to that of the longest run of heads in a biased coin; these results also hold more generally, though for technical reasons previous work needed to assume the coefficients in the recurrence relation are non-negative and the first term is positive. We extend these results by creating an infinite family of integer sequences called the $m$ -gonal sequences arising from a geometric construction using circumscribed $m$ -gons. They satisfy a recurrence where the first $m+1$ leading terms vanish, and thus cannot be handled by existing techniques. We provide a notion of a legal decomposition, and prove that the decompositions exist and are unique. We then examine the distribution of the number of summands used in the decompositions and prove that it displays Gaussian behavior. There is geometric decay in the distribution of gaps, both for gaps taken from all integers in an interval and almost surely in distribution for the individual gap measures associated to each integer in the interval. We end by proving that the distribution of the longest gap between summands is strongly concentrated about its mean, behaving similarly as in the longest run of heads in tosses of a coin.

preprint2015arXiv

Individual Gap Measures from Generalized Zeckendorf Decompositions

Zeckendorf's theorem states that every positive integer can be uniquely decomposed as a sum of nonconsecutive Fibonacci numbers. The distribution of the number of summands converges to a Gaussian, and the individual measures on gaps between summands for $m \in [F_n, F_{n+1})$ converge to geometric decay for almost all $m$ as $n\to\infty$ . While similar results are known for many other recurrences, previous work focused on proving Gaussianity for the number of summands or the average gap measure. We derive general conditions which are easily checked yield geometric decay in the individual gap measures of generalized Zeckendorf decompositions attached to many linear recurrence relations.

preprint2015arXiv

The $q$ -analog of Kostant's partition function and the highest root of the classical Lie algebras

Kostant's partition function counts the number of ways to represent a particular vector (weight) as a nonnegative integral sum of positive roots of a Lie algebra. For a given weight the $q$ -analog of Kostant's partition function is a polynomial where the coefficient of $q^k$ is the number of ways the weight can be written as a nonnegative integral sum of exactly $k$ positive roots. In this paper we determine generating functions for the $q$ -analog of Kostant's partition function when the weight in question is the highest root of the classical Lie algebras of types $B$ , $C$ and $D$ .

preprint2013arXiv

Sums of squares of the Littlewood-Richardson coefficients and GL(n)-harmonic polynomials

We consider the example from invariant theory concerning the conjugation action of the general linear group on several copies of the $n \times n$ matrices, and examine a symmetric function which stably describes the Hilbert series for the invariant ring with respect to the multigradation by degree. The terms of this Hilbert series may be described as a sum of squares of Littlewood-Richardson coefficients. A "principal specialization" of the gradation is then related to the Hilbert series of the $\K$-invariant subring in the $\GL_n$-harmonic polynomials, where $\K$ denotes a block diagonal embedding of a product of general linear groups. We also consider other specializations of this Hilbert series.

preprint2013arXiv

The adjoint representation of a Lie algebra and the support of Kostant's weight multiplicity formula

Even though weight multiplicity formulas, such as Kostant's formula, exist their computational use is extremely cumbersome. In fact, even in cases when the multiplicity is well understood, the number of terms considered in Kostant's formula is factorial in the rank of the Lie algebra and the value of the partition function is unknown. In this paper we address the difficult question: What are the contributing terms to the multiplicity of the zero weight in the adjoint representation of a finite dimensional Lie algebra? We describe and enumerate the cardinalities of these sets (through linear homogeneous recurrence relations with constant coefficients) for the classical Lie algebras of Type $B$ , $C$ , and $D$ , the Type $A$ case was computed by the first author in [5]. In addition, we compute the cardinality of the set of contributing terms for non-zero weight spaces in the adjoint representation. In the Type $B$ case, the cardinality of one such non-zero-weight is enumerated by the Fibonacci numbers. We end with a computational proof of a result of Kostant regarding the exponents of the respective Lie algebra for some low rank examples and provide a section with open problems in this area.

preprint2011arXiv

On the adjoint representation of $\mathfrak{sl}_n$ and the Fibonacci numbers

We decompose the adjoint representation of $\mathfrak{sl}_{r+1}=\mathfrak {sl}_{r+1}(\mathbb C)$ by a purely combinatorial approach based on the introduction of a certain subset of the Weyl group called the \emph{Weyl alternation set} associated to a pair of dominant integral weights. The cardinality of the Weyl alternation set associated to the highest root and zero weight of $\mathfrak {sl}_{r+1}$ is given by the $r^{th}$ Fibonacci number. We then obtain the exponents of $\mathfrak {sl}_{r+1}$ from this point of view.

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.

Pamela E. Harris

Research overview

Is this your work?

20 publications

Broken Bracelets and Kostant's Partition Function

Kostant's partition function and magic multiplex juggling sequences

A formula for enumerating permutations with a fixed pinnacle set

Counting $k$ -Naples parking functions through permutations and the $k$ -Naples area statistic

Generalized Lattice Point Visibility

On Kostant's weight $q$ -multiplicity formula for $\mathfrak{sl}_{4}(\mathbb{C})$

On the asymptotic behavior of the $q$ -analog of Kostant's partition function

Parking Functions: Choose Your Own Adventure

Weight $q$ -multiplicities for representations of the exceptional Lie algebra $\mathfrak{g}_2$

A proof of the peak polynomial positivity conjecture

Legal Decompositions Arising from Non-positive Linear Recurrences

New Behavior in Legal Decompositions Arising from Non-positive Linear Recurrences

Peaks Sets of Classical Coxeter Groups

Phylogenetic trees

A Generalization of Zeckendorf's Theorem via Circumscribed $m$ -gons

Individual Gap Measures from Generalized Zeckendorf Decompositions

The $q$ -analog of Kostant's partition function and the highest root of the classical Lie algebras

Sums of squares of the Littlewood-Richardson coefficients and GL(n)-harmonic polynomials

The adjoint representation of a Lie algebra and the support of Kostant's weight multiplicity formula

On the adjoint representation of $\mathfrak{sl}_n$ and the Fibonacci numbers

See the researcher in context

Building this map preview

Pamela E. Harris

Research overview

Is this your work?

20 publications

Broken Bracelets and Kostant's Partition Function

Kostant's partition function and magic multiplex juggling sequences

A formula for enumerating permutations with a fixed pinnacle set

Counting kkk-Naples parking functions through permutations and the kkk-Naples area statistic

Generalized Lattice Point Visibility

On Kostant's weight qqq-multiplicity formula for sl4(C)\mathfrak{sl}_{4}(\mathbb{C})sl4​(C)

On the asymptotic behavior of the qqq-analog of Kostant's partition function

Parking Functions: Choose Your Own Adventure

Weight qqq-multiplicities for representations of the exceptional Lie algebra g2\mathfrak{g}_2g2​

A proof of the peak polynomial positivity conjecture

Legal Decompositions Arising from Non-positive Linear Recurrences

New Behavior in Legal Decompositions Arising from Non-positive Linear Recurrences

Peaks Sets of Classical Coxeter Groups

Phylogenetic trees

A Generalization of Zeckendorf's Theorem via Circumscribed mmm-gons

Individual Gap Measures from Generalized Zeckendorf Decompositions

The qqq-analog of Kostant's partition function and the highest root of the classical Lie algebras

Sums of squares of the Littlewood-Richardson coefficients and GL(n)-harmonic polynomials

The adjoint representation of a Lie algebra and the support of Kostant's weight multiplicity formula

On the adjoint representation of sln\mathfrak{sl}_nsln​ and the Fibonacci numbers

See the researcher in context

Building this map preview

Counting $k$ -Naples parking functions through permutations and the $k$ -Naples area statistic

On Kostant's weight $q$ -multiplicity formula for $\mathfrak{sl}_{4}(\mathbb{C})$

On the asymptotic behavior of the $q$ -analog of Kostant's partition function

Weight $q$ -multiplicities for representations of the exceptional Lie algebra $\mathfrak{g}_2$

A Generalization of Zeckendorf's Theorem via Circumscribed $m$ -gons

The $q$ -analog of Kostant's partition function and the highest root of the classical Lie algebras

On the adjoint representation of $\mathfrak{sl}_n$ and the Fibonacci numbers