Source author record

Clifford Smyth

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.PR

Catalog footprint

Research overview

4works

2topics

4close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2021arXiv

Determinantal formulas with major indices

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.

preprint2020arXiv

On a rank-unimodality conjecture of Morier-Genoud and Ovsienko

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.

preprint2015arXiv

A Probabilistic Characterization of the Dominance Order on Partitions

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.

preprint2012arXiv

Revolutionaries and Spies

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$ .

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.