arXiv++ Combinatorics

In this paper we prove a $q$-analogue of Koshy's formula in terms of the Narayana polynomial due to Lassalle and a $q$-analogue of Koshy's formula in terms of $q$-hypergeometric series due to Andrews by applying the inclusion-exclusion principle on Dyck paths and on partitions. We generalize these two $q$-analogues of Koshy's formula for $q$-Catalan numbers to that for $q$-Ballot numbers. This work also answers an open question by Lassalle and two questions raised by Andrews in 2010. We conjecture that if $n$ is odd, then for $m\ge n\ge 1$, the polynomial $(1+q^n){m\brack n-1}_q$ is unimodal. If $n$ is even, for any even $j\ne 0$ and $m\ge n\ge 1$, the polynomial $(1+q^n)[j]_q{m\brack n-1}_q$ is unimodal. This implies the answer to the second problem posed by Andrews.

In this paper we present a sampling framework for RNA structures of fixed topological genus. We introduce a novel, linear time, uniform sampling algorithm for RNA structures of fixed topological genus $g$, for arbitrary $g>0$. Furthermore we develop a linear time sampling algorithm for RNA structures of fixed topological genus $g$ that are weighted by a simplified, loop-based energy functional. For this process the partition function of the energy functional has to be computed once, which has $O(n^2)$ time complexity.

We show the expected order of RNA saturated secondary structures of size $n$ is $\log_4n(1+O(\frac{\log_2n}{n}))$, if we select the saturated secondary structure uniformly at random. Furthermore, the order of saturated secondary structures is sharply concentrated around its mean. As a consequence saturated structures and structures in the traditional model behave the same with respect to the expected order. Thus we may conclude that the traditional model has already drawn the right picture and conclusions inferred from it with respect to the order (the overall shape) of a structure remain valid even if enforcing saturation (at least in expectation).

In this paper we compute the limit distributions of the numbers of hairpin-loops, interior-loops and bulges in k-noncrossing RNA structures. The latter are coarse grained RNA structures allowing for cross-serial interactions, subject to the constraint that there are at most k-1 mutually crossing arcs in the diagram representation of the molecule. We prove central limit theorems by means of studying the corresponding bivariate generating functions. These generating functions are obtained by symbolic inflation of Ik5-shapes.