- Research
- Open Access

# Asymptotic structural properties of quasi-random saturated structures of RNA

- Peter Clote
^{1}Email author, - Evangelos Kranakis
^{2}Email author and - Danny Krizanc
^{3}

**8**:24

https://doi.org/10.1186/1748-7188-8-24

© Clote et al.; licensee BioMed Central Ltd. 2013

**Received: **3 October 2011

**Accepted: **21 September 2013

**Published: **25 October 2013

## Abstract

### Background

RNA folding depends on the distribution of kinetic traps in the landscape of all secondary structures. Kinetic traps in the Nussinov energy model are precisely those secondary structures that are *saturated*, meaning that no base pair can be added without introducing either a pseudoknot or base triple. In previous work, we investigated asymptotic combinatorics of both *random* saturated structures and of *quasi-random* saturated structures, where the latter are constructed by a natural stochastic process.

### Results

We prove that for quasi-random saturated structures with the *uniform distribution*, the asymptotic expected number of external loops is *O*(log*n*) and the asymptotic expected maximum stem length is *O*(log*n*), while under the *Zipf distribution*, the asymptotic expected number of external loops is *O*(log2*n*) and the asymptotic expected maximum stem length is *O*(log*n*/log log*n*).

### Conclusions

Quasi-random saturated structures are generated by a stochastic greedy method, which is simple to implement. Structural features of random saturated structures appear to resemble those of quasi-random saturated structures, and the latter appear to constitute a class for which both the generation of sampled structures as well as a combinatorial investigation of structural features may be simpler to undertake.

## Keywords

## Background

RNA is an important biomolecule, now known to play both an *information carrying* role, as in retroviruses, such as HIV, whose genome consists of RNA, as well as a *catalytic* role, as in the the peptidyl transferase catalysis by RNA, which concatenates an amino acid to a growing peptide chain in the formation of a protein on the ribosome [1]. It has recently emerged that RNA plays a wide range of previously unsuspected roles in many biological processes, including *retranslation* of the genetic code (selenocysteine insertion [2], ribosomal frameshift [3]), transcriptional and translational gene regulation [4, 5], temperature sensitive conformational switches [6, 7], chemical modification of specific nucleotides in the ribosome [8], regulation of alternative splicing [9], etc.

The diverse and biologically important functions performed by RNA molecules depend for the most part on RNA tertiary structure, which is known to be constrained by secondary structure, the latter acting as a scaffold for tertiary contact formation [10]. For this reason, much work has focused on RNA secondary structure prediction [11–14] and on the kinetics of RNA folding [15–17]. In [18], Stein and Waterman pioneered work on asymptotic combinatorics of RNA secondary structures, where they developed recurrence relations to count the number of secondary structures. These recurrence relations were later modified by Nussinov and Jacobson [19] and especially by Zuker [20] to compute the minimum free energy secondary structure.

Formally, a secondary structure for a given RNA nucleotide sequence *a*_{1}, …, *a*_{
n
} is a set *S* of base pairs (*i*, *j*), such that *(i)* if (*i*, *j*) ∈ *S* then *a*_{
i
}, *a*_{
j
} form either a Watson-Crick (AU,UA,CG,GC) or wobble (GU) base pair, *(ii)* if (*i*, *j*) ∈ *S* then *j* - *i* > *θ* = 3 (a steric constraint requiring that there be at least *θ* = 3 unpaired bases between any two paired bases), *(iii)* if (*i*, *j*) ∈ *S* then for all *j*^{′} ≠ *j* and *i*^{′} ≠ *i*, (*i*^{′}, *j*) ∉ *S* and (*i*, *j*^{′}) ∉ *S* (nonexistence of base triples), *(iv)* if (*i*, *j*) ∈ *S* and (*k*, *ℓ*) ∈ *S*, then it is not the case that *i* < *k* < *j* < *ℓ* (nonexistence of pseudoknots). For the purposes of this paper, following Stein and Waterman [18], we consider the *homopolymer* model of RNA, in which condition *(i)* is dropped, thus entailing that any base can pair with any other base, and we modify condition *(ii)* so that *θ* = 1. With inessential additional complications in the combinatorics, we could handle the situation where *θ* is any fixed positive constant.

For a given RNA sequence, a *saturated secondary structure* is one such that no base pair can be added without introducing either a pseudoknot or base triple; in other words, saturated structures have a *maximal* number of base pairs, while the Nussinov minimum energy structure has a *maximum* number of base pairs. Since the kinetics of RNA structure formation depend on secondary structure energy landscape, and more particularly on the distribution of kinetic traps (saturated structures), in previous work we have designed an algorithm to compute the number of saturated structures [21], determine the asymptotic number of saturated secondary structures [22] and the expected number of base pairs in saturated and quasi-random saturated structures [23].

Secondary structures are conveniently displayed in Vienna *dot bracket notation*, consisting of a balanced parenthesis expression with dots, where an unpaired nucleotide at position *i* is depicted by a dot at that position, while a base pair (*i*, *j*) is depicted by the presence of matching left and right parentheses located respectively at positions *i* and *j*. The minimum free energy secondary structure of the selenocysteine insertion (SECIS) sequence fruA, given by

CCUCGAGGGGAACCCGAAAGGGACCCGAGAGG ((((..(((...(((....))).)))..))))

is a saturated structure. In contrast, the following structure for the Gag/pro ribosomal frameshift site of mouse mammary tumor virus [24] is not only not saturated, but includes a pseudoknot, as shown by the square bracket notation necessary to show the crossing base pairs.

AAAAAACUUGUAAAGGGGCAGUCCCCUAGCCCCGCUCAAAAGGGGGAUG ..............(((((.[[[[[[[.)))))........]]]]]]].

Having defined *saturated* structure, we now define a stochastic greedy process to generate *random* saturated structures, technically denoted *quasi-random saturated structures*. This notion was defined in [23], where we showed that the expected number of base pairs in quasi-random saturated structures is 0.340633 · *n*, just slightly more than the expected number 0.337361 · *n* of base pairs in all saturated structures.

*n*bases are arranged in sequential order on a line. Select the base pair (1,

*u*) by choosing

*u*, where

*θ*+ 2 ≤

*u*≤

*n*, at random with probability 1 / (

*n*-

*θ*- 1). The base pair joining 1 and

*u*partitions the line into two parts. The left region has

*k*bases strictly between 1 and

*u*, where

*k*≥

*θ*, and the right region contains the remaining

*n*-

*k*- 2 bases properly contained within endpoints

*k*+ 2 and

*n*(see Figure 1). Proceed recursively on each of the two parts. Observe that the secondary structures produced by our stochastic process will always base pair with the leftmost available base, and that the resulting structure is always saturated. Note that the probability

*p*

_{i,j}that (

*i*,

*j*) is a base pair in a saturated structure is

*not*the same as the probability

*q*

_{i,j}that (

*i*,

*j*) is a base pair in a quasi-random saturated structure (this was shown in [23], using a program we wrote to generate saturated structures).

## Results and discussion

With these definitions, we are now in a position to state some results concerning *structural features* of (quasi) random saturated structures. Under the *uniform distribution*, we show that the asymptotic expected number of external loops is *O*(log*n*), and the expected maximum stem length is *O*(log*n*). In contrast, under the *Zipf distribution*, the asymptotic expected number of external loops is *O*(log2*n*), and the expected maximum stem length is *O*(log*n*/ log log*n*)^{a}.

In the literature on RNA combinatorics ([18] and subsequent papers), combinatorial results have been proved for the homopolymer as well as for the Bernouilli model, in which latter one assumes a *stickiness* parameter *p* = 2(*p*_{
A
}*p*_{
U
} + *p*_{
G
}*p*_{
U
} + *p*_{
G
}*p*_{
C
}) that any two positions can base-pair. To the best of our knowledge, the current paper appears to be one of the first combinatorial analyses of RNA secondary structures, which involves the Zipf distribution for base pairs.

## Conclusions

Saturated secondary structures form natural kinetic traps in the energy landscape with respect to the Nussinov energy model [19], in that it is energetically unfavorable to move from a saturated structure to any neighboring structure that differs by one base pair. However, there is currently no program to sample saturated secondary structures with respect to the Nussinov energy (given either a homopolymer or an RNA sequence), although the programs we developed in [21, 22] could be extended to do so for both homopolymers and RNA sequences. (Note that the program RNAsat, described in [25], can sample saturated structures in the Turner energy landscape, and the program RNAlocopt, described in [26], can sample *locally optimal* structures in the Turner energy landscape). In contrast, it is extremely simple to implement a program to sample quasi-random saturated structures, thus permitting one to easily obtain an idea of various structural features in the ensemble of quasi-random structures. We expect many structural features to be approximately shared between the random saturated structures and quasi-random saturated structures – for instance, as earlier mentioned, the expected number of base pairs in quasi-random saturated structures is 0.340633·*n*, while the expected number of base pairs in saturated structures is 0.337361·*n*, almost the same value [23].

Generally, it requires substantial effort involving the application of deep results from complex analysis, such as the Flajolet-Odlyzko theorem [27] or the Drmota-Lalley-Woods theorem [28–30] (see also the text by Flajolet and Sedgewick [31]) to prove asymptotic results, such as the fact that the asymptotic number of saturated structures is 1.07427 · *n*^{-3/2} · 2.35467^{
n
} and the asymptotic expected number of base pairs is 0.337361 · *n*, and the asymptotic expected number of hairpins is 0.323954 · 1.69562^{
n
}[23]. In contrast, the argument given in this paper is elementary, not requiring complex analysis. Taken together we believe that the stochastic greedy method, described in Figure 1, performs reasonably well in sampling saturated structures, that appear to be representative of the ensemble of all saturated structures, and supports a combinatorial analysis that may be simpler than that required for all saturated structures.

## Methods

### Structural properties of quasi-random saturated secondary structures

*S*, an

*external base pair*is a base pair (

*i*,

*j*) ∈

*S*, which is not interior to any other base pair of

*S*; i.e. there is no (

*x*,

*y*) ∈

*S*with the property that

*x*<

*i*<

*j*<

*y*. A sequence of external base pairs is a sequence (

*a*

_{ i },

*b*

_{ i }),

*i*= 1, 2, …,

*k*such that

*a*

_{ i }<

*b*

_{ i }<

*a*

_{i+1}<

*b*

_{i+1}, for all

*i*<

*k*, and for which each (

*a*

_{ i },

*b*

_{ i }) is external. The base pairs (

*a*

_{ i },

*b*

_{ i }) are said to

*close*the corresponding

*external loops*; see Figure 2. The

*number of external loops*of a given secondary structure

*S*is defined to be the total number of external base pairs in

*S*. We define a

*stem*of length

*k*to be a sequence of nested base pairs (see Figure 3) (

*a*

_{ i },

*b*

_{ i }),

*i*= 1, 2, …,

*k*, such that

*a*

_{ i }<

*a*

_{i+1}<

*b*

_{i+1}<

*b*

_{ i }, for all

*i*<

*k*. The

*stem length*of a given secondary structure

*S*is defined here to be the maximum length of all stems in

*S*; i.e. the maximum number of nested base pairs in

*S*.

*S*on the nucleotide sequence [1,

*n*], define the associated graph

*G*(

*S*) = (

*V*,

*E*), whose vertex set

*V*consists of base pairs

*v*= (

*i*,

*j*) in

*S*, and whose undirected edge set

*E*consists of pairs {

*v*,

*v*

^{′}} of nested vertices,

*v*= (

*i*,

*j*) and

*v*

^{′}= (

*i*

^{′},

*j*

^{′}), that can directly

*see*each other; i.e. {

*v*,

*v*

^{′}} ∈

*E*exactly when

*i*<

*i*

^{′}<

*j*

^{′}<

*j*and there does not exist a base pair (

*x*,

*y*) ∈

*S*, such that

*i*<

*x*<

*i*

^{′}<

*j*

^{′}<

*y*<

*j*, or vice-versa with the roles of

*v*,

*v*

^{′}reversed. Figure 4 depicts the graph

*G*(

*S*) associated with the saturated secondary structure

*S*.

In general *G*(*S*) is a forest; i.e., a set of trees. In the sequel we determine the size of several structural parameters of random saturated secondary structures, in particular, expected stem length and expected number of external loops. These parameters are studied both for the uniform and Zipf distributions. Before proceeding any further, we first define the probability distributions to be considered.

#### Probability distributions

*Zipf’s law* is the observation first made by the deceased Harvard linguist, George Kingsley Zipf, that the frequency *p*_{
i
} of English words, when graphed against their rank *i* (in the list of English words sorted in decreasing order with respect to frequency), obeys the power law *p*_{
i
} ≈ *i*^{ - α}. More generally, Zipf’s law is the statement of a power law, when plotting frequency against rank (Zipf’s first law) or when plotting frequency against reverse rank (Zipf’s second law). In bioinformatics, Zipf’s law has been observed in the frequency/rank plot of differentially expressed gene in microarray data [33], as well as in the frequency/rank plot for protein structures [34], where there are a few very frequent structures, and very many rare structures. In the remainder of the paper, we consider probability distributions related to Zipf’s law.

*u*≤

*n*, is chosen at random with the

*α-Zipf*distribution, if the probability that a given base pair (1,

*u*) is chosen is equal to $\frac{1}{{(u-1)}^{\alpha}{H}_{\alpha}(n-1)}$, where

*α*-harmonic number of

*n*- 1. The expected number of base pairs for arbitrary threshold

*θ*is denoted by ${E}_{n}^{\theta}$, for random saturated secondary structures on

*n*bases, generated by the

*α*-Zipf stochastic process. ${E}_{n}^{0}$ satisfies the following recursive formula

for all *n* ≥ 2.

Observe that when *α* = 0 the *α*-Zipf distribution is the same as the uniform distribution, while if *α* = 1, we have the (classical) Zipf distribution [35]. Moreover, observe that as *α* increases, “shorter” base pairs are being selected with higher probability by the stochastic process described in equation (1).

The stochastic process of generating random saturated secondary structures, according to equation (1), is of the “divide-and-conquer” type, very common in computer science, where well-known algorithms such as QUICKSORT choose a division point according to the uniform distribution. Stochastic algorithms of this kind have been intensively studied for the uniform distribution. Known results suggest that the probability distribution for the number of base pairs in random saturated structures, generated by the earlier described stochastic process (uniform choice of base pairs) is asymptotically Gaussian (see [36] and [37]). We also note that structural features of trees have been well studied including the expected depth and the exact distribution of the depth; see, for instance, [36, 38, 39]. In the sequel, we consider a random binary search tree with *n* nodes obtained by inserting *n* i.i.d. random variables *X*_{1}, …, *X*_{
n
}. Careful analysis of [36] and [39] implies our results in the section on the uniform distribution. However we will use a different and simpler technique that enables the analysis not only for the uniform distribution in the following section concerning the Uniform Distribution, but also for the Zipf distribution in the section following this section.

An important observation concerns the threshold *θ* considered above. All the results proved in this section are “upper bounds” and therefore it is easily seen that they are valid for any threshold *θ* ≥ 0. Therefore to simplify proofs in the sequel we consider the case of threshold *θ* = 0.

### Uniform distribution

The main theorem of this section concerns stem length and number of external loops of random saturated structures *S*, generated by a natural stochastic process associated with the tree graph *G*(*S*). Throughout the remainder of the paper, we state results in terms of *random saturated* structures, although we intend to mean only those structures generated by the stochastic process associated with the graph *G*(*S*); we will distinguish between the uniform and *α*-Zipf variant of the stochastic process. Without this convention, statements of lemmas and theorems would be too cumbersome.

#### Background

**Theorem 1.** With high probability, the number of external loops and the maximum stem length of random saturated structures generated by the uniform distribution variant is *O*(log*n*).

*Proof.* Before we give the proof of the main theorem it will be necessary to give the proof of two lemmas. In the first lemma we consider the expected number of external loops.

#### Background

**Lemma 1.** With high probability, the number of external loops is *O*(log*n*).

*Proof.*We define a sequence of random variables

*X*

_{1},

*X*

_{2}, …,

*X*

_{ t }by induction as follows. Let

*X*

_{1}be the random variable selecting a base

*k*chosen among 2, 3, …,

*n*randomly and independently with the uniform distribution in order to form a base pair (1,

*k*). By induction, assume that

*X*

_{1}, …,

*X*

_{ t }have been defined. Let

*X*

_{t+1}be the random variable selecting a base

*k*chosen among

*X*

_{ t }+ 2,

*X*

_{ t }+ 3, …,

*n*randomly and independently with the uniform distribution in order to form a base pair (

*X*

_{ t }+ 1,

*k*). Next we estimate bounds on $\mathbb{E}\left[{X}_{t}\right]$, for all

*t*. Indeed, observe that $\mathbb{P}[{X}_{1}=k]=\frac{1}{n-1}$ and

where the last inequality is valid for *k* + 3 ≤ *n*.

In particular, $\mathbb{P}[\phantom{\rule{0.3em}{0ex}}{T}_{n}>(1+\mathit{\u03f5})logn)]\le {n}^{-\mathit{\u03f5}}+o({n}^{-\mathit{\u03f5}})$. This completes the proof of Lemma 1. □

Next we prove the following lemma.

#### Background

**Lemma 2.** With high probability, the maximum stem length is *O*(log*n*).

*Proof.*According to the recursive construction, at each stage after a base pair is chosen at random in the subsequent stages, base pairs are nested within this base pair. Therefore, the maximum stem length equals the maximum number of nested base pairs. This latter number can also be obtained as follows. We define the following sequence

*Y*

_{1},

*Y*

_{2}, …,

*Y*

_{ t }of random variables. A base is chosen among 2, 3, …,

*n*randomly and independently with the uniform distribution. Let

*Y*

_{1}be the resulting random variable. By induction, assume that

*Y*

_{1}, …,

*Y*

_{ t }have been defined. To define the random variable

*Y*

_{t+1}, a base is chosen among

*t*+ 2, …,

*Y*

_{ t }- 1 randomly and independently with the uniform distribution. Clearly, this procedure halts when

*Y*

_{ t }≤

*t*+ 2 and it follows that the maximum number of nested base pairs is also the number

*t*of iterations before halting. Therefore we are interested in knowing the behavior of the random variable

(notice the dependence of the random variable *T*^{′} on *n*).

*Y*

_{i+1}is chosen among

*i*+ 2,

*i*+ 3, …,

*Y*

_{ i }- 1 randomly and independently with the uniform distribution, for any integer

*k*≥

*i*+ 2, $\mathbb{E}\left[\phantom{\rule{0.3em}{0ex}}{Y}_{i+1}\right|{Y}_{i}=k]=\frac{k+i+1}{2}.$ Consider the random variable $\mathbb{E}\left[\phantom{\rule{0.3em}{0ex}}{Y}_{i+1}\right|{Y}_{i}]$ whose value at

*k*is equal to $\mathbb{E}\left[{Y}_{i+1}\right|{Y}_{i}=k]$. Using well-known identities on conditional probabilities, we can derive the following equalities.

In particular, since $E\left[\phantom{\rule{0.3em}{0ex}}{Y}_{1}\right]=\frac{n+2}{2}$, we conclude that $\mathbb{E}\left[\phantom{\rule{0.3em}{0ex}}{Y}_{t}\right]\le {(1/2)}^{t}\xb7n$. Finally, we can derive $\mathbb{P}[\phantom{\rule{0.3em}{0ex}}{T}^{\prime}>t]=\mathbb{P}[\phantom{\rule{0.3em}{0ex}}{Y}_{t}>0]\le \mathbb{E}\left[\phantom{\rule{0.3em}{0ex}}{Y}_{t}\right]\le {(1/2)}^{t}\xb7\mathrm{n.}$ It follows that $\mathbb{P}[\phantom{\rule{0.3em}{0ex}}{T}^{\prime}>(1+\mathit{\u03f5})logn)]\le {n}^{-\mathit{\u03f5}}.$

*O*(log

*n*). We would like to prove the same for any sequence of nested base pairs. To this effect, define random intervals

*I*

_{ s }, where

*s*is a finite sequence of 0s and 1s, by induction on the length of

*s*. Consider the interval

*I*

_{ ∅ }= [1,

*n*]. Assuming that

*I*

_{ s }= [

*a*

_{ s },

*b*

_{ s }] has already been defined, we consider a random process that splits it at random into two subintervals, i.e., choose an integer

*r*∈

*I*

_{ s }randomly and independently with the uniform distribution and let

*I*

_{s 0}= [

*a*

_{ s },

*r*] and

*I*

_{s 1}= [

*r*+ 1,

*b*

_{ s }]. Since $\mathbb{E}\left[\phantom{\rule{0.3em}{0ex}}\right|{I}_{\mathit{\text{sb}}}\left|\right]\le \frac{1}{2}\xb7\mathbb{E}\left[\phantom{\rule{0.3em}{0ex}}\right|{I}_{s}\left|\right]$ it follows that the expected length of

*I*

_{ s }is at most 2

^{-|s|}. Now consider the random variable

*T*

^{′′}which is defined as follows

*T*

^{′′}= min{

*k*:∃

*s*(|

*s*| =

*k*&

*I*

_{ s }=

*∅*)}(notice the dependence of the random variable

*T*

^{′′}on

*n*) and observe that

*T*

^{′′}>

*k*if and only if ∀

*s*(|

*s*| =

*k*⇒

*I*

_{ s }≠

*∅*). Therefore

As a consequence we conclude that $\mathbb{P}[{T}^{\mathrm{\prime \prime}}>(1+\mathit{\u03f5})logn)]\le {n}^{-\mathit{\u03f5}}.$ This completes the proof of Lemma 2. □

Finally, we can complete the proof of the main result of Theorem 1 since this is now immediate from Lemmas 1 and 2.

### Zipf distribution

*a*-Zipf. The Zipf distribution (first considered in [35]) is perhaps the most interesting because it favors base pairs at a shorter distance. A base pair (1,

*u*), is chosen at random with the Zipf distribution. I.e., the probability that the base pair (1,

*u*) is selected is equal to $\frac{1}{(u-1)H(n-1)}$, where

is defined to be the (*n* - 1)st harmonic number. As before, the chord joining 1 and *u* partitions the ring into two parts. One part has *k* bases between 1 and *u*, where *k* ≤ *n* - 2, and the other part has the remaining *n*-*k*-2 bases (see Figure 1).

Define *Z*_{
n
} to be the expected number of base pairs of a random saturated secondary structure with *n* bases, where *n* ≥ 2. A base pair (1, *u*) is added as follows. Select *u* ≥ 2 at random among 2, 3, …, *n* with probability $\frac{1}{(u-1)H(n-1)}$.

for all *n* ≥ 2. The main theorem of this section concerns the overall structure of random secondary structures.

#### Background

**Theorem 2.** With high probability, random saturated secondary structures generated by the Zipf distribution have *O*(log2*n*) external loops and stem length *O*(log*n*/ log log*n*).

*Proof.* Before we give the proof, it will be necessary to give the proof of two lemmas. In the first lemma we look at the number of external loops.

#### Background

**Lemma 3.** With high probability, the number of external loops is *O*(log2*n*).

*Proof.*We define a sequence of random variables

*X*

_{1},

*X*

_{2}, …,

*X*

_{ t }by induction as follows. Let

*X*

_{1}be the random variable resulting when the base pair (1,

*k*) is formed by a selecting a base

*k*among 2, 3, …,

*n*randomly and independently with the Zipf distribution. By induction, assume that

*X*

_{1}, …,

*X*

_{ t }have been defined. Let

*X*

_{t+1}be the random variable resulting when the base pair (

*X*

_{ t }+ 1,

*k*) is formed by selecting a base

*k*is chosen among

*X*

_{ t }+ 1,

*X*

_{ t }+ 2, …,

*n*randomly and independently with the Zipf distribution. Next we compute $\mathbb{E}\left[{X}_{t}\right]$, for all

*t*. Indeed, observe that $\mathbb{P}[\phantom{\rule{0.3em}{0ex}}{X}_{1}=k]=\frac{1}{(k-1)H(n-1)}$ and

In particular, since *H*(*n* - 1) ∼ ln*n* we conclude that $\mathbb{P}[\phantom{\rule{0.3em}{0ex}}{T}_{n}>\mathit{\u03f5}\stackrel{2}{ln}n)]\le {n}^{-\mathit{\u03f5}}.$ This completes the proof of Lemma 3. □

The next result concerns the maximum stem length. We can prove the following result.

#### Background

**Lemma 4.** With high probability, the maximum stem length is *O*(log*n*/ log log*n*).

*Proof.*According to the recursive construction, at each stage after a base pair is chosen at random in the subsequent stages base pairs are nested within this base pair. Therefore, the maximum stem length is equal to the maximum number of nested base pairs. This latter number can also be obtained, by investigating a sequence of random variables

*Y*

_{1},

*Y*

_{2}, …,

*Y*

_{ t }, defined as follows. Choose a base among 2, 3, …,

*n*- 1 randomly and independently with the Zipf distribution. Let

*Y*

_{1}be the resulting random variable. By induction, assume that

*Y*

_{1}, …,

*Y*

_{ t }have been defined. To define the random variable

*Y*

_{t+1}, a base is chosen among

*t*+ 2,

*t*+ 3, …,

*Y*

_{ t }- 1 randomly and independently with the Zipf distribution. Clearly, this procedure halts when

*Y*

_{ t }= 1 and it follows that the maximum number of nested base pairs is also the number

*t*of iterations before halting. Therefore we are interested to know the behavior of the random variable

(notice the dependence of the random variable *T*^{′} on *n*).

*Y*

_{i+1}is chosen among

*i*+ 2,

*i*+ 3, …,

*Y*

_{ i }- 1 randomly and independently with the Zipf distribution, for any integer

*k*≥

*i*+ 2,

*k*is equal to $\mathbb{E}\left[\phantom{\rule{0.3em}{0ex}}{Y}_{i+1}\right|{Y}_{i}=k]$. Using well-known identities on conditional probabilities we can derive the following inequalities.

*n*/

*H*(

*n*) is monotone increasing in

*n*. In particular, since $\mathbb{E}\left[\phantom{\rule{0.3em}{0ex}}{Y}_{1}\right]=\frac{n-2}{H(n-2)}$, we conclude that $\mathbb{E}\left[\phantom{\rule{0.3em}{0ex}}{Y}_{t}\right]\le \frac{n-2}{H(t+1)\xb7H\left(t\right)\cdots H\left(2\right)}$. Finally, we can derive

The proof shows that the leftmost sequence of base pairs given by the recursive construction of the random secondary structure has length at most *O*(log*n*/ log log*n*) with high probability. We would like to prove the same for any sequence of nested base pairs. It is easily seen that a proof similar to the one presented above works. This completes the proof of Lemma 4. □

If we now combine Lemmas 3 and 4 we derive the proof of Theorem 2.

## Endnote

^{a} Throughout this paper all logarithms are in base 2.

## Declarations

### Acknowledgements

Many thanks to the anonymous referees for useful comments that improved significantly the presentation.

Funding for the research of P. Clote was provided by National Science Foundation grant DMS-1016618. Any opinions, findings, and conclusions or recommendations expressed in this material are those of the authors and do not necessarily reflect the views of the National Science Foundation. Additional support was provided to P. Clote by the Deutscher Akademischer Austauschdienst (DAAD) during a visit to the Computational Molecular Biology Department of Martin Vingron, at the Max Planck Institute for Molecular Genetics. Funding for the research of E. Kranakis was provided by the Natural Sciences and Engineering Research Council of Canada (NSERC) and Mathematics of Information Technology and Complex Systems (MITACS).

## Authors’ Affiliations

## References

- Weinger JS, Parnell KM, Dorner S, Green R, Strobel SA: Substrate-assisted catalysis of peptide bond formation by the ribosome. Nat Struct Mol Biol. 2004, 11: 1101-1106.View ArticlePubMedGoogle Scholar
- Böck A, Forschhammer K, Heider J, Baron C: Selenoprotein synthesis: An expansion of the genetic code. Trends Biochem Sci. 1991, 16: 463-467.View ArticlePubMedGoogle Scholar
- Bekaert M, Bidou L, Denise A, Duchateau-Nguyen G, Forest J, Froidevaux C, Hatin I, Rousset J, Termier M: Towards a computational model for -1 eukaryotic frameshifting sites. Bioinformatics. 2003, 19: 327-335.View ArticlePubMedGoogle Scholar
- Lim L, Glasner M, Yekta S, Burge C, Bartel D: Vertebrate microRNA genes. Science. 2003, 299 (5612): 1540-View ArticlePubMedGoogle Scholar
- Mandal M, Boese B, Barrick J, Winkler W, Breaker R: Riboswitches control fundamental biochemical pathways in Bacillus subtilis and other bacteria. Cell. 2003, 113 (5): 577-586.View ArticlePubMedGoogle Scholar
- Chowdhury S, Ragaz C, Kreuger E, Narberhaus F: Temperature-controlled structural alterations of an RNA thermometer. J Biol Chem. 2003, 278 (48): 47915-47921.View ArticlePubMedGoogle Scholar
- Tucker BJ, Breaker RR: Riboswitches as versatile gene control elements. Curr Opin Struct Biol. 2005, 15 (3): 342-348.View ArticlePubMedGoogle Scholar
- Omer A, Lowe T, Russell A, Ebhardt H, Eddy S, Dennis P: Homologues of small nucleolar RNAs in Archaea. Science. 2000, 288: 517-522.View ArticlePubMedGoogle Scholar
- Cheah MT, Wachter A, Sudarsan N, Breaker RR: Control of alternative RNA splicing and gene expression by eukaryotic riboswitches. Nature. 2007, 447 (7143): 497-500.View ArticlePubMedGoogle Scholar
- Banerjee A, Jaeger J, Turner D: Thermal unfolding of a group I ribozyme: The low-temperature transition is primarily disruption of tertiary structure. Biochemistry. 1993, 32: 153-163.View ArticlePubMedGoogle Scholar
- Zuker M: Mfold web server for nucleic acid folding and hybridization prediction. Nucleic Acids Res. 2003, 31 (13): 3406-3415.PubMed CentralView ArticlePubMedGoogle Scholar
- Knudsen B, Hein J: Pfold: RNA secondary structure prediction using stochastic context-free grammars. Nucleic Acids Res. 2003, 31 (13): 3423-3428.PubMed CentralView ArticlePubMedGoogle Scholar
- Hofacker I: Vienna RNA secondary structure server. Nucleic Acids Res. 2003, 31: 3429-3431.PubMed CentralView ArticlePubMedGoogle Scholar
- Markham NR, Zuker M: UNAFold: software for nucleic acid folding and hybridization. Methods Mol Biol. 2008, 453: 3-31.View ArticlePubMedGoogle Scholar
- Flamm C, Fontana W, Hofacker IL, Schuster P: RNA folding at elementary step resolution. RNA. 2000, 6: 325-338.PubMed CentralView ArticlePubMedGoogle Scholar
- Xayaphoummine A, Bucher T, Isambert H: Kinefold web server for RNA/DNA folding path and structure prediction including pseudoknots and knots. Nucleic Acids Res. 2005, 33 (Web): W605-W610.PubMed CentralView ArticlePubMedGoogle Scholar
- Danilova LV, Pervouchine DD, Favorov AV, Mironov AA: RNAKinetics: a web server that models secondary structure kinetics of an elongating RNA. J Bioinform Comput Biol. 2006, 4 (2): 589-596.View ArticlePubMedGoogle Scholar
- Stein PR, Waterman MS: On some new sequences generalizing the Catalan and Motzkin numbers. Discrete Math. 1978, 26: 261-272.View ArticleGoogle Scholar
- Nussinov R, Jacobson AB: Fast algorithm for predicting the secondary structure of single stranded RNA. Proc Natl Acad Sci U S A. 1980, 77 (11): 6309-6313.PubMed CentralView ArticlePubMedGoogle Scholar
- Zuker M, Stiegler P: Optimal computer folding of large RNA sequences using thermodynamics and auxiliary information. Nucleic Acids Res. 1981, 9: 133-148.PubMed CentralView ArticlePubMedGoogle Scholar
- Clote P: An efficient algorithm to compute the landscape of locally optimal RNA secondary structures with respect to the Nussinov-Jacobson energy model. J Comput Biol. 2005, 12: 83-101.View ArticlePubMedGoogle Scholar
- Clote P: Combinatorics of saturated secondary structures of RNA. J Comput Biol. 2006, 13 (9): 1640-1657.View ArticlePubMedGoogle Scholar
- Clote P, Kranakis E, Krizanc D, Salvy B: Asymptotics of canonical and saturated RNA secondary structures. J Bioinform Comput Biol. 2009, 7 (5): 869-893.View ArticlePubMedGoogle Scholar
- Van Batenburg FH, Gultyaev AP, Pleij CW: PseudoBase: structural information on RNA pseudoknots. Nucleic Acids Res. 2001, 29: 194-195.PubMed CentralView ArticlePubMedGoogle Scholar
- Waldispuhl J, Clote P: Computing the partition function and sampling for saturated secondary structures of RNA, with respect to the Turner energy model. J Comput Biol. 2007, 14 (2): 190-215.View ArticlePubMedGoogle Scholar
- Lorenz WA, Clote P: Computing the partition function for kinetically trapped RNA secondary structures. PLoS One. 2011, 6: e16178.PubMed CentralView ArticlePubMedGoogle Scholar
- Flajolet P, Odlyzko A: Singularity analysis of generating functions. SIAM J Discrete Math. 1990, 3 (2): 216-240. 10.1137/0403019.View ArticleGoogle Scholar
- Drmota M: Systems of functional equations. Random Struct Alg. 1997, 10: 103-124. 10.1002/(SICI)1098-2418(199701/03)10:1/2<103::AID-RSA5>3.3.CO;2-0.View ArticleGoogle Scholar
- Lalley SP: Finite range random walk on free groups and homogeneous trees. Ann Probab. 1993, 21: 2087-2130. 10.1214/aop/1176989012.View ArticleGoogle Scholar
- Woods AR: Coloring rules for finite trees, and probabilities of monadic second order sentences. Random Struct Alg. 1997, 10: 453-485. 10.1002/(SICI)1098-2418(199707)10:4<453::AID-RSA3>3.0.CO;2-T.View ArticleGoogle Scholar
- Sedgewick R, Flajolet P: Analytic Combinatorics. 2009, [ISBN-13: 9780521898065], Cambridge: Cambridge UniversityGoogle Scholar
- Waterman MS: Introduction to Computational Biology. 1995, Boca Raton: Chapman and Hall/CRCView ArticleGoogle Scholar
- Li W, Yang Y: Zipf’s law in importance of genes for cancer classification using microarray data. J theor Biol. 2002, 219 (4): 539-551.View ArticlePubMedGoogle Scholar
- Bornberg-Bauer E: How are model protein structures distributed in sequence space?. Biophys J. 1997, 73 (5): 2393-2403.PubMed CentralView ArticlePubMedGoogle Scholar
- Zipf G: Human Behavior and the Principle of Least Effort. 1949, Cambridge: Addison WesleyGoogle Scholar
- Devroye L: Limit laws for sums of functions of subtrees of random binary search trees. SIAM J Comput. 2003, 32: 152-171.View ArticleGoogle Scholar
- Hwang HK, Neininger R: Phase change of limit laws in the quicksort recurrence under varying toll functions. SIAM J Comput. 2002, 31 (6): 1687-1722. 10.1137/S009753970138390X.View ArticleGoogle Scholar
- Nebel ME: Investigation of the Bernoulli model for RNA secondary structures. Bull Math Biol. 2004, 66 (5): 925-964.View ArticlePubMedGoogle Scholar
- Devroye L: Universal limit laws for depths in random trees. SIAM J Comput. 1998, 28 (2): 409-432. 10.1137/S0097539795283954.View ArticleGoogle Scholar

## Copyright

This article is published under license to BioMed Central Ltd. This is an Open Access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.