BZPEERPapers, people, evidence and research pathsDiscover
Research tools
Network
Opportunities
Account
Source author record
Clifford Smyth appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.
Catalog footprint
Research graph
Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.
BZPEER is loading the nearby papers, people, topics and institutions for this page.
Published work
We give a simple proof of a major index determinant formula in the symmetric group discovered by Krattenthaler and first proved by Thibon using noncommutative symmetric functions. We do so by proving a factorization of an element in the group ring of the symmetric group. By applying similar methods to the groups of signed permutations and colored permutations, we prove determinant formulas in these groups as conjectured by Krattenthaler.
Let alpha = (a,b,...) be a composition. Consider the associated poset F(alpha), called a fence, whose covering relations are x_1 < x_2 < ... < x_{a+1} > x_{a+2} > ... > x_{a+b+1} < x_{a+b+2} < ... . We study the associated distributive lattice L(alpha) consisting of all lower order ideals of F(alpha). These lattices are important in the theory of cluster algebras and their rank generating functions can be used to define q-analogues of rational numbers. In particular, we make progress on a recent conjecture of Morier-Genoud and Ovsienko that L(alpha) is rank unimodal. We show that if one of the parts of alpha is greater than the sum of the others, then the conjecture is true. We conjecture that L(alpha) enjoys the stronger properties of having a nested chain decomposition and having a rank sequence which is either top or bottom interlacing, the latter being a recently defined property of sequences. We verify that these properties hold for compositions with at most three parts and for what we call d-divided posets, generalizing work of Claussen and simplifying a construction of Gansner.
A probabilistic characterization of the dominance partial order on the set of partitions is presented. This extends work in "Symmetric polynomials and symmetric mean inequalities". Electron. J. Combin., 20(3): Paper 34, 2013. Let $n$ be a positive integer and let $ν$ be a partition of $n$. Let $F$ be the Ferrers diagram of $ν$. Let $m$ be a positive integer and let $p \in (0,1)$. Fill each cell of $F$ with balls, the number of which is independently drawn from the random variable $X = Bin(m,p)$. Given non-negative integers $j$ and $t$, let $P(ν,j,t)$ be the probability that the total number of balls in $F$ is $j$ and that no row of $F$ contains more that $t$ balls. We show that if $ν$ and $μ$ are partitions of $n$, then $ν$ dominates $μ$, i.e. $\sum_{i=1}^k ν(i) \geq \sum_{i=1}^k μ(i)$ for all positive integers $k$, if and only if $P(ν,j,t) \leq P(μ,j,t)$ for all non-negative integers $j$ and $t$. It is also shown that this same result holds when $X$ is replaced by any one member of a large class of random variables. Let $p = \{p_n\}_{n=0}^\infty$ be a sequence of real numbers. Let ${\cal T}_p$ be the $\mathbb{N}$ by $\mathbb{N}$ matrix with $({\cal T}_p)_{i,j} = p_{j-i}$ for all $i, j \in \mathbb{N}$ where we take $p_n = 0$ for $n < 0$. Let $(p^i)_j$ be the coefficient of $x^j$ in $(p(x))^i$ where $p(x) = \sum_{n=0}^\infty p_n x^n$ and $p^0(x) =1$. Let ${\cal S}_p$ be the $\mathbb{N}$ by $\mathbb{N}$ matrix with $({\cal S}_p)_{i,j} = (p^i)_j$ for all $i, j \in \mathbb{N}$. We show that if ${\cal T}_p$ is totally non-negative of order $k$ then so is ${\cal S}_p$. The case $k=2$ of this result is a key step in the proof of the result on domination. We also show that the case $k=2$ would follow from a combinatorial conjecture that might be of independent interest.
Let $G = (V,E)$ be a graph and let $r,s,k$ be positive integers. "Revolutionaries and Spies", denoted $\cG(G,r,s,k)$, is the following two-player game. The sets of positions for player 1 and player 2 are $V^r$ and $V^s$ respectively. Each coordinate in $p \in V^r$ gives the location of a "revolutionary" in $G$. Similarly player 2 controls $s$ "spies". We say $u, u' \in V(G)^n$ are adjacent, $u \sim u'$, if for all $1 \leq i \leq n$, $u_i = u'_i$ or ${u_i,u'_i} \in E(G)$. In round 0 player 1 picks $p_0 \in V^r$ and then player 2 picks $q_0 \in V^s$. In each round $i \geq 1$ player 1 moves to $p_i \sim p_{i-1}$ and then player 2 moves to $q_i \sim q_{i-1}$. Player 1 wins the game if he can place $k$ revolutionaries on a vertex $v$ in such a way that player 1 cannot place a spy on $v$ in his following move. Player 2 wins the game if he can prevent this outcome. Let $s(G,r,k)$ be the minimum $s$ such that player 2 can win $\cG(G,r,s,k)$. We show that for $d \geq 2$, $s(\Z^d,r,2)\geq 6 \lfloor \frac{r}{8} \rfloor$. Here $a,b \in \Z^{d}$ with $a \neq b$ are connected by an edge if and only if $|a_i - b_i| \leq 1$ for all $i$ with $1 \leq i \leq d$.