There are several results concerning double cosets of Young subgroups of symmetric groups which are often proved as corollaries of more general results about Coxeter groups. In this note we give a selection of these results and give them the short combinatorial proofs they deserve. Our replacement for the machinery of Coxeter groups consists of some simple combinatorial arguments involving tabl...

The partially asymmetric exclusion process (PASEP) is an important model from statistical mechanics which describes a aystem of interacting particles hopping left and right on a one-dimensional lattice of n sites. It is partially asymmetric in the sense that the probability of hopping left is q times the probability of hopping right. Additionally, particles may enter from the left with probabil...

The partially asymmetric exclusion process (PASEP) is an important model from statistical mechanics which describes a system of interacting particles hopping left and right on a one-dimensional lattice of n sites. It is partially asymmetric in the sense that the probability of hopping left is q times the probability of hopping right. Additionally, particles may enter from the left with probabil...

Phonological ganging is a type of cumulativity in constraint interaction where one strong constraint C1 can be overtaken by two weaker constraints C2 and C3 together but not by C2 or C3 independently (e.g., Jäger and Rosenbach 2006). In strict-ranking Optimality Theory (OT), phonological ganging is achieved via (local) constraint conjunction (e.g., Smolensky 1993, 2006; Baković 2000; Ito and Me...

We consider a labelled tableau presentation of constant domain rst-order S5 and prove a strong cut-elimination theorem.