Methodology Article  Open  Published:
Sortseq under the hood: implications of design choices on largescale characterization of sequencefunction relations
BMC Genomicsvolume 17, Article number: 206 (2016)
Abstract
Background
Sortseq is an effective approach for simultaneous activity measurements in a largescale library, combining flow cytometry, deep sequencing, and statistical inference. Such assays enable the characterization of functional landscapes at unprecedented scale for a widereaching array of biological molecules and functionalities in vivo. Applications of sortseq range from footprinting to establishing quantitative models of biological systems and rational design of synthetic genetic elements. Nearly as diverse are implementations of this technique, reflecting key design choices with extensive impact on the scope and accuracy the results. Yet how to make these choices remains unclear. Here we investigate the effects of alternative sortseq designs and inference methods on the information output using mathematical formulation and simulations.
Results
We identify key intrinsic properties of any system of interest with practical implications for sortseq assays, depending on the experimental goals. The fluorescence range and celltocell variability specify the number of sorted populations needed for quantitative measurements that are precise and unbiased. These factors also indicate cases where an enrichmentbased approach that uses a single sorted population can offer satisfactory results. These predications of our model are corroborated using reanalysis of published data. We explore implications of these results for quantitative modeling and library design.
Conclusions
Sortseq assays can be streamlined by reducing the number of sorted populations, saving considerable resources. Simple preliminary experiments can guide optimal experiment design, minimizing cost while maintaining the maximal information output and avoiding latent biases. These insights can facilitate future applications of this highly adaptable technique.
Background
The relation between sequence and function is a central focus of molecular biology. Highthroughput techniques have enabled researchers to explore these relations at previously inaccessible scales [1–3]. Methods based on fluorescenceactivated cell sorting (FACS) followed by highthroughput sequencing — collectively referred to hereafter as sortseq — allow the measurement of fluorescent reporters in many thousands of genetic variants at high precision in a single experiment [4–9]. Sortseq offers a window to examine a broad array of processes in vivo with quantitative precision, including in particular aspects of transcriptional and posttranscriptional regulation. Along with other techniques that measure fitness [10–14], protein or ribozyme activity [15–20] or mRNA abundance [21–27] on a massive scale, sortseq redefines what is possible for studies of sequencefunction relations and epistasis.
A typical sortseq experiment (Fig. 1 a–b) begins with a mixed population or library of variants of a given gene or sequence of interest, whose function is indicated by a fluorescent reporter. Cells are sorted and binned according to flow cytometry measurements such as fluorescence in one or more channels. Sorted subpopulations are then sequenced in order to parse the distribution of different variants across the sorting bins. These data may then be used to infer the activity of each variant, allowing the direct characterization of sequencefunction relations on a large scale.
This highthroughput technique has been proven useful in deeply characterizing sequencefunction relations in transcriptional regulation [4, 5,8, 28–30], 5’ or 3’UTRs of mRNAs [7,31–34], regulatory RNAs [9, 35], and a variety of other systems [36–39]. Sortseq has been demonstrated in bacteria [4,6,9,35,36,38], yeast [5,8, 31, 37] and mammalian cells [7,29, 30, 32,40], as well as tissues from multicellular organisms [41]. Among these experiments there are subtle but important differences in how sortseq is performed. Some use a single gate, which defines the range of fluorescence measurements for cells to be sorted, and then measure enrichment relative to an unsorted population [29, 30, 35–37]. Others employ multiple gates to quantify fluorescence [4–7,9, 31, 32, 38], using as few as four [9] and as many as 32 [8]. The number of sort events or reads per variant ranges from one [4] to thousands [6, 36]. Some use an additional constitutive reporter in a different color channel [5,6, 8, 31,38], while others do not. The library of variants itself can be based on random mutations with higher [4] or lower frequency [9], or on more fine tuned randomization schemes [5, 6, 36, 38, 42–44]. These choices represent experimental tradeoffs, often between the cost and complexity of the assay on one hand and the scope and quantitative precision of the measurements on the other.
A robust and efficient design of a sortseq experiment therefore requires an understanding of how the diverse design choices impact the scale and fidelity of its output. Here, we use a combination of modeling, simulations and reanalysis of published datasets to characterize the information output of different sortseq experimental configurations and analysis methods. We show how principal qualities of these outputs depend on the way key properties of the system under investigation are related to specific aspects of the sortseq procedure. An optimal design of a sortseq experiment therefore relies on correctly estimating these properties, and on matching the quality of the expected results with what is needed to achieve the goals of the experiment. We use our results to suggest a possible workflow for designing, executing, and analyzing a sortseq experiment.
Results and discussion
Defining the problem: inferring the mean and dispersion of mixed input distributions
The assumption behind a sortseq experiment is that each variant of the investigated sequence can be associated with a single quantity that represents it activity. This can be, for example, the equilibrium affinity of an enzyme to its substrate, the transcription rate from a promoter, the modulation of target expression by a small regulatory RNA, etc. The activity is represented in the cell via a fluorescent reporter.
Due to celltocell variability and experimental noise, a population of cells that carry the same variant yields a distribution of fluorescence measurements. This distribution is referred to below as the input distribution (Fig. 1 c). The quantity of interest can be represented as some attribute of the input distribution, e.g. in the simplest case its mean. The biological contributions to the shape of this distribution can carry information about the structure of the population or about the system’s mechanisms of action. Thus in some cases one is interested in estimating other properties of the input distribution, such as its dispersion (that is, how much it is stretched or squeezed).
Sortseq methods aim to infer the activity (and perhaps its celltocell variability) for a large number of sequence variants in parallel, by estimating the statistical attributes of each input distribution in the mixed population (the library). For each variant, sortseq provides the distribution of each variant among the different sorting gates (the output distribution), which can be thought of as a lowresolution sampling from the input distribution (Fig. 1 c). The low resolution comes from the fact that all we know about the fluorescence of each cell is that its measurement lies somewhere within the corresponding gate, but we do not know the measurement value itself. The task is to infer from these data the relevant attributes of the input distribution. For concreteness, we focus here on estimating the mean of each input distribution and its dispersion, quantified by the coefficient of variation (CV, the ratio between the standard deviation and the mean).
Parameterizing the sortseq configuration and the quality of its results
The configuration of a sortseq experiment is defined by the choice of sorting gates. As an approach that can cover a very wide dynamic range, one can use fluorescence intervals evenly spaced on a log scale (logspaced gates). A configuration is then specified by the number of gates m and the range of gated measurements, defined by the measurement boundaries u and ℓ. The width of each gate is then given by w=l o g(u/ℓ)/m (Fig. 1 b). Choosing a larger number of gates means higher cost and greater effort, but can potentially improve the resolution of the sortseq assay.
To gauge the success of a sortseq design, we asses the quality of the estimates it produces. Two desirable properties of estimators are their accuracy and efficiency [45]. The accuracy of an estimator is quantified through its bias, defined as the mean error of the estimator with respect to the input parameter it estimates. For an unbiased estimator (that is, an estimator whose bias is zero), averaging the estimates obtained from very many repeats of the experiment yields the estimated quantity exactly (Fig. 1 d).
Another property of an estimator is its mean square error (MSE), which measures how far an estimate is expected to be from the true value it aims to estimate. For an unbiased estimator, the MSE also quantifies the precision of the experiment, that is how far the estimates from different repeats are expected to be from one another. When the MSE is large, the estimate from a single experiment can be very different from the true value, even if the estimator is unbiased.
Efficiency provides a measure for the optimality of the experimental design, such that a more efficient estimator requires fewer measurements to yield a given level of precision (Fig. 1 d). To quantify the efficiency of an estimator, we take the ratio between the MSE that results from estimating the parameter in a standard flow cytometry experiment with a given number of cells, and the MSE of the estimator in a sortseq experiment with the same number of cells per variant. The former is equivalent to a sample taken from the true input distribution, and can be thought of as a limit of how well one can do with a sample of this size. Intuitively, when the estimator is unbiased, the efficiency is just the ratio between the number of individual flow cytometry measurements and the number of sortseq measurements required to achieve the same precision.
Gate and reporter configurations for accurate and efficient quantification of singlecell fluorescence
In order to evaluate the quality of the expected outcome for different sortseq configurations, we simulated the results of sortseq experiments. In each simulation, we assume a population of sequence variants whose mean fluorescence covers the entire range. Each sequence variant was defined by an input distribution with a different mean and a fixed CV. These distributions are taken to be lognormal, a minimal distribution that wellapproximates flow cytometry measurements in bacteria and yeast with diverse reporters and cellular conditions [46].
We represented every sequence variant in the sample by N=100 different cells, the fluorescence value of which was drawn randomly from the input distribution of that variant. These cells were then placed in the appropriate sorting gate based on the sortseq configuration under investigation. Every variant is therefore assigned an output distribution, namely the way the N cells are distributed among the m sorting gates. These data are then used to estimate the input mean of that variant, as explained below. We repeated the simulations many times in order to quantify the accuracy and efficiency of the estimator for each value of the input mean. Details of our numerical procedures can be found in “Methods: Sortseq simulations”.
There are many ways in which one can use the output distribution of a variant to estimate the attributes of the input. We begin by considering a rudimentary estimator of mean fluorescence (hereafter the simple mean), where all reads in a given sorting gate are assigned a fixed value in that gate, and are averaged for each variant. (see Methods: Quantitative estimation with sortseq). This or a similar approach has been utilized in a number of sortseq studies [5, 6, 8, 34]. We explored the bias and efficiency of the simple mean estimator by simulating sortseq sampling for variants with a range of mean fluorescence values and with different levels of celltocell variability. This was done with 6 logspaced gates and w=0.8 (Fig. 2 a–c), as well as with several other configurations (Additional file 1: Figure S1).
The simple mean was found to be both unbiased and efficient for variants with σ>w, as long as the estimated mean is not too close to the measurement boundaries (e.g. Additional file 1: Figure S1D,G, red lines, with additional values of σ plotted in the heatmaps of this figure). On the other hand, for variants with σ<w/2 the simple mean can be biased and sensitive to small changes in fluorescence (e.g. Fig. 2 b, red), introducing systematic errors that are strongly dependent on the sorting configuration. Intuitively, this is because variants with such narrow input distributions are not spread enough among the sorting gates to allow accurate estimates. For variants with intermediate celltocell variability (σ≥w/2 but smaller than w, e.g. Fig. 2 b, c, blue, and Additional file 1: Figure S1D,G, amber) the simple mean estimator remains unbiased, however somewhat less efficient. Finally, regardless of gate width, the simple mean is highly biased for variants whose mean is within a factor of e ^{2σ} of the measurement boundaries (Fig. 2 b, Additional file 1: Figure S1D–F), reflecting a sensitivity of this estimate to even a small fraction of missing measurements. In sum, the simple mean works very well for variants whose input distribution is of the same order as the gate width or larger, provided that their input mean is not too close to the measurement boundaries.
An alternative to the simple mean is a maximum likelihood estimator (MLE), which has also been used to quantify fluorescence using sortseq data [9]. Here one uses some assumptions or external information about the shape of the input distributions. This added information has the potential to improve performance, especially for variants where some of the data is missing (e.g., variants for which some of the cells fall outside the measurement range). In contrast to the simple estimators, MLEs support the use of semibounded gates, namely gates that have either an upper bound or a lower bound, but not both (respectively the leftmost and rightmost gates in Fig. 2 d). These gates ensure that cells at all fluorescence levels are captured and accounted for. The success of an MLE approach requires a reliable assumption about the shape of the input distribution; here we assume that this distribution is lognormal, as is often the case in measurements of gene expression [46].
In order to compare these two estimators, we assessed the performance of MLEs using the same number of gates and gatewidth as above (Fig. 2 d–f, Additional file 1: Figure S2A–C). The MLE approach has similar performance in estimating the mean as the previous approach, with one significant advantage: a substantial reduction in the bias near the measurement boundaries (cf. Fig. 2 b, e, green). Thus MLEs can expand the range of inputs for which reliable quantitative measurements can be obtained.
As mentioned above, noise in gene expression, namely celltocell variability in the concentration of a particular protein, is an important property of genetic control elements [47]. For a population of cells, this variability can be used, for example, to increase survival in an unpredictable environment [48–50]. Properties of the noise can also carry information about the system’s mechanisms of action [50, 51]. Thus, sortseq experiments may be tasked with estimating the strength of the noise for each variant through its estimated dispersion (that is, the coefficient of variation CV), as was done in [8]. Importantly, the inferred CV is influenced not only by this biologically relevant noise, but also by other factors, such as measurement noise and sorting errors. With an appropriate model for these different factors, one can in principle separate the different sources of noise a posteriori [52].
The CV can be inferred using estimators analogous to the ones described above, the simple CV and the MLE CV (see “Methods: Quantitative estimation with sortseq”). Simulations reveal that the simple CV tends to overestimate the noise for variants with σ<w, and to underestimate it for variants whose mean is near the measurement boundaries or when σ>w (Fig. 3 a–b, Additional file 1: Figure S3). Conversely, the MLE CV performs nearly as well as the MLE of the mean (Fig. 3 c–d, Additional file 1: Figure S2DE): it is unbiased when the input mean is within the sorted range and σ≥w/2, and has nearly optimal efficiency for σ≥w. Together, we conclude that with a maximumlikelihood approach, the sortseq assay can make accurate estimates for all variants with σ≥w/2.
We sought to verify these simulation results by considering the data from a recent sortseq experiment, which aimed to probe the effect of promoter sequence on gene expression in yeast [8]. In this study, both expression level and celltocell variability were characterized for several thousand promoters using 32 sorting gates (Fig. 2 g, Additional file 1: Figure S4). These data can be used to study how the number and width of sorting gates can affect the output of the experiment by combining reads from adjacent gates in the original experiment to generate the expected output from experiments with other gate configurations (Fig. 2 h, and see Methods: Reanalysis of sortseq data). We then used these data to estimate the mean and CV using MLEs. We assumed that the estimate of mean fluorescence obtained in the original experiment yields the correct input value (the “ground truth”), and estimated the relative error between this value and the one obtained from each different gate configuration (Fig. 2 i–j, Additional file 1: Figures S5 and S6).
Variants in the yeast promoter library differed substantially in both mean and CV [8], allowing us to test our prediction that reliable estimates can only be achieved for variants whose CV is larger than half the width of the gates. To do this, we divided the range of CV estimates into three roughly equal parts (in logscale, Fig. 2 g), and focused on variants with high CV (blue, σ>0.35, 17 % of variants) and low CV (σ<0.20, 39 % of variants).
Reducing the number of gates from 32 in the original study to 16 (corresponding to w≈0.25) had little effect on the MLE mean for variants with a broad range of mean fluorescence levels (Fig. 2 i), irrespective of their CV. This is consistent with the predictions of our model, as in this case σ≥w/2≈0.12 for nearly all variants. However, when gate width was further increased (w≈0.65, 8 gates), estimates for many variants became significantly biased (Fig. 2 j). As predicted from our model (Fig. 2 e red), this bias was significant for variants with small CV (Fig. 2 j, red), as for these variants σ<w/2, but remained small for variants with high noise (compare data in blue in Fig. 2 j and blue curves in Fig. 2 e), for which σ≥w/2. Reduction in the number of gates had a similar effect on estimates of CV for each variant (Fig. 3 e–f).
Overall we conclude that a significant fraction of the measurements in this assay – but not all – could tolerate a substantial reduction in the number of gates with minimal effect on their accuracy. As expected from our model analysis, the variants most sensitive to rebinning are those with low CV and those near the measurement boundaries. The choice of gate width, and thus the range of variants that could be estimated reliably, should be guided by the goals of the experiment.
A significant contribution to noise in gene expression comes from extrinsic factors, such as cell size or DNA copy number [47]. One way to control for these factors is to coexpress a variant reporter and a reference reporter in each cell, and measure the ratio between the two [5, 6, 8]. To evaluate the benefit of this approach we simulated sortseq measurements for variants whose celltocell variability have a constant extrinsic component as well as an intrinsic component that scales as the square root of the mean (see Methods: Dualreporter simulations). We supposed that a researcher is interested in recovering this relationship between mean and variance in gene expression, and attempts to gauge her success when following a sortseq procedure with or without the reference reporter. By plotting the estimated CV against the estimated mean for each variant (Fig. 3 g–h), we found that an added reference reporter significantly aids the ability to detect the embedded relation between the intrinsic noise and the mean (Spearman’s correlation ρ=0.48 without the added reporter, Fig. 3 g, and ρ=0.89 with it, Fig. 3 h). This improvement reflects a closer estimate of the underlying intrinsic noise (compare dashed and solid lines) as well as a significant increase in precision (that is, reduction in the scatter of the estimated data points around the dashed line).
In summary, the choice of gate configuration has a strong effect on the quality of sortseq estimates, in particular for variants whose input distributions are narrower than the width of the sorting gates or in cases where a significant fraction of fluorescence measurements fall outside the measurement boundaries. The gate configuration should therefore be designed such that the width of the gates is comparable to the width of a typical input distribution, and such that variants of interest are mostly within the measurement boundaries. Use of a larger number of gates, which may be costly in time, labor, and biological material, is expected to yield only a marginal improvement in the results. A reference reporter, which allows separating different sources of noise, can help in characterizing noise properties of the system under study. This may require a corresponding increase in the number of sorting gates, but can also improve the precision of the results.
Fitting quantitative models using sortseq data
While sortseq can yield precise measurements for a large number of variants, one can only ever expect to measure a small subset of all possible variants since their number expands rapidly as the number of mutations increases. One can examine the measured effect of each individual mutation or even pairs, however this describes just one corner of a deep and complex landscape. Instead we aim to extrapolate the data by establishing a quantitative model describe and understand these landscapes, which can be inferred using sortseq data from a diverse mutant library [4–9, 31, 38, 53, 54]. Parameters of this model may correspond to biochemical properties such as reaction rates or molecular structures, coarsegrained features, and more.
Given a model for how sequence is linked with activity, the task is to infer the parameters of the model from sortseq data. In some cases there is a clear relationship between the activity of the system under study and mean fluorescence, for example the foldchange in fluorescence caused by expression of a regulatory RNA gene. In such cases, the parameters of the model can be inferred directly from the estimates of the mean. In other cases, the activity affects the level of reporter fluorescence in a complex (though typically monotonic) way. For example, the activity of interest could be the affinity of an enzyme to a substrate, while the fluorescence reports the rate of the reaction. If a good model for mapping activity to fluorescence exists (such as the MichaelisMenten model in the last example), one can still use a maximum likelihood approach to infer all parameters of the combined model simultaneously, and also estimate estimate celltocell variability.
However, in cases where no such model is available, it is still possible to fit an activity model using an approach based on mutual information (MI) [4, 54, 55]. This approach also requires no assumptions about the shape of the input distributions, which is particularly useful if the shape is unpredictably irregular or if the number of samples per variant is small. This is important because an incorrect assumption about either the shape of the input distributions or the mapping between activity and fluorescence could lead to biased or inconsistent results. While the use of fewer assumptions is appealing, the MIbased approach does not provide any characterization of the activityfluorescence mapping or the properties of the input distributions, which can be biologically meaningful and of interest to the researcher.
As an example, we consider a simple additive model that is often used to quantify sequencefunction relations [4, 56]. In this model (described more fully in Methods: Fitting quantitative models using sortseq data) we assume that mutations make additive contributions to the activity of each variant. Here the task is to infer the contribution of every possible mutation in the sequence. To demonstrate the ability of sortseq to infer these parameters, we turn to a published dataset from a sortseq experiment that profiled the activity of a bacterial small RNA, the iron homeostasis regulator RyhB in E. coli [9]. In this dataset the activity of RyhB variants is characterized through the expression level of a fluorescently labeled target of repression by the small RNA. We inferred the parameters of an additive model for the activity of the small RNA using either the simple mean estimator, or an MIbased approach (see Methods: Inference of quantitative models), and found the results of the two approaches to be highly correlated (ρ=0.99, Fig. 4 a).
When the assumptions used to define the likelihood of a model are justified, one expects the maximum likelihood approach to be as successful as maximizing MI [57]. However, the success of the simple estimator observed in Fig. 4 a is not guaranteed, especially for variants close to the measurement boundaries. This success is mostly the effect of averaging over many variants, as discussed in the next section, and may not extend to parameters associated with more complex modes. For example, parameters that characterize epistatic interactions between different sequence positions are more sensitive to estimator bias, making the advantage of MLEs or MI inference more significant.
Library design and model inference
Quantitative models predict the activity of all possible variants, including those that are not present in the library. Suppose that one is particularly interested in learning the activity of a certain variant, or a group of variants. One possible approach is to design the library in a way that guarantees that it includes these variants. We will call this the targeted approach. Alternatively, one can generate a library of many random variants, use them to learn a quantitative model, and use the model to predict the activity of the variants of interest, which we will call the random approach. This approach is likely to be simpler and less costly than the targeted one, but will it yield similar results?
To compare the two approaches we turn again to simulations. We suppose that one is interested in learning the activity of all single mutation variants of a 50 nucleotide sequence, and construct four libraries. One library (the targeted library) consists of all 150 single mutation variants (3 for each nucleotide position). To each we assign a level of activity at random, which in most cases is lower than the activity of the reference sequence. These activity values are the numbers one would like to infer. For each of the other libraries (the random libraries) we set the mutation frequency (6, 16 and 30 %), and generate 3000 random variants by introducing mutations at the appropriate frequency in the original sequence. The activity of each of the variants is determined using the additive model with same parameters as in the targeted library. Details of the simulation procedure can be found in Methods: Simulation of quantitative models. The distribution of sortseq reads for each library, using one choice of parameters, is represented in Fig. 4 b (targeted library in black, random libraries in color). With the targeted libraries, all one needs to infer is simply the mean of each variant, which we do using the simple mean estimator. With the random libraries we use the estimates from all variants (most including multiple mutations) to infer the parameters of the underlying additive model. The errors in these estimates, compared with the input parameters used in the simulation, are plotted in Fig. 4 c for the same parameter set.
Surprisingly, with an equal number of reads, the estimates in the random approach can be substantially more precise than in the targeted approach. This is the case for a range of mutation frequencies that depends strongly on the resistance of the investigated system to mutations, a property of the underlying biology known as robustness and indicated by R. The robustness is defined as the average number of mutations required to make most variants nonfunctional (see Methods: Simulation of quantitative models). The random approach resulted in greater fitting power than the targeted one when R was larger than the average number of mutations per variant r _{mut} (and R≥2, Fig. 4 d). Intuitively, in the random approach the estimate of each parameter relies on multiple sequences, whose activity is spread across a broader range of fluorescence levels, rather than on a single variant, making inference more robust. This advantage is lost however if a significant fraction of these variants are completely dysfunctional.
The random approach – unlike the targeted one – depends on having a reliable quantitative model. Naturally, one suspects that if the assumed model is wrong, the inferred parameters would be wrong as well. For example, suppose that the true relation between sequence and activity follows a model that includes pairwise interactions between bases, on top of their additive contributions, but inference is naively done using the additive model. To simulate this scenario, we construct targeted and random libraries as before, and use the true model to set the activity of each multimutation variant. We then use the additive model to infer the activities of single mutation variants, and calculate the RMS error in these estimates. This experiment is repeated several times, for several different activity models. Each model is characterized by the interaction power S as the ratio between the strength of the interaction terms and the additive terms. For larger values of S, there is a more substantial discrepancy between the “true” model (the one used to set the activities of multimutation variants) and the assumed model (the additive model used for inference).
As expected, the precision and accuracy of the estimated parameters were greatly diminished in the presence strong interactions (Fig. 4 e–g). This effect was much greater for higher mutation rates. As long as S<1, the random approach with sufficiently low mutation rates could still result in more precise estimates than the targeted approach. Thus, a random approach, which uses a library with relatively low mutation frequency, is favorable when the assumed model provides a good (even if inaccurate) approximation to the true form of the sequencefunction relation.
The power and limitations of enrichment measurement with a single gate
An alternative approach to sortseq is to use a single sorting gate and measure, for each variant, the ratio ε between the number of sorted cells (e.g. those measured above a fluorescence threshold) and the total number of cells carrying that variant [29, 30, 35–37]. Here we set aside the ambition of precise inference in favor of simplicity and considerable time and cost savings.
We reasoned that ε could reflect the activity of any variant whose input distribution lies both in and out of the sorting gate (Additional file 1: Figure S7). Assuming as usual lognormal input distributions, we plot the relation between the position of the input mean and the expected value of ε for different values of the input dispersion σ (Fig. 5 a), showing a wider dynamical range for larger σ. To test this idea further, we turned to three published sortseq datasets that used multiple gates and mimicked the enrichment approach by combining all reads from gates that exceed different thresholds as coming from the mock single gate (Fig. 5 b–d, Additional file 1: Figure S8, see Methods: Reanalysis of sortseq data). The yeast promoter study [8] and the regulatory RNA study [9] were introduced earlier. A third study synthesized and measured all pairs of roughly 100 promoters and 100 ribosome binding site (RBS) sequences, and modeled the the effect of the combination of these elements on gene expression [6].
In all cases variants for which the mean was close to the threshold showed a onetoone relationship between the estimated mean and ε (Fig. 5 b–d). As expected, the slope of this linear relationship depended strongly on the level of celltocell variability (cf. Fig. 5 b, a). In the promoterRBS system [6], where the range of estimated means spans over two orders of magnitude and where most variants show little celltocell variability, the relationship between the estimated mean and ε was highly nonlinear, regardless of the threshold (Fig. 5 c, Additional file 1: Figure S8). In contrast, the small RNA set, featuring a narrower range of mean fluorescence and greater variability for each variant [9], exhibited a clear linear relation between the two measures (Fig. 5 d). In such cases a single gate configuration can be an excellent choice for tasks that do not require an accurate estimate for each variant.
An example for such an application is the identification of functional regions within the sequence of interest. In this case, one is interested in identifying regions where mutations at most positions have a significant effect on activity, but is not necessarily interested in quantifying these effects. We exemplify this application by considering the small RNA data again. Three known features of the small RNA under investigation are a 5’ stem loop required for stability, a seed sequence required for its interaction with its targets, and a 3’ stem loop required for transcription termination. In Fig. 6 a–b we demonstrate that both the enrichmentbased approach and quantitative inference of mean fluorescence using data from all sort bins were equally successful in identifying these functional elements and correctly defining their boundaries.
An MIbased approach, which has been introduced earlier for inferring models, can also be used for identifying functional regions in a sequence [4]. For each sequence position, one considers here the base found in a sequence read and the sorting bin in which this read was found as two random variables, and computes the MI between the two (see Methods: Reanalysis of sortseq data). MI above background indicates that the identity of the base at that position has a significant effect on fluorescence. This approach is computationally straightforward and requires no further assumptions. In Fig. 6 c we apply this method to the small RNA data and find that the identified functional elements are mostly consistent with the known functional elements, described above.
Another important use of sortseq data is to infer epistatic interactions between functional elements [6], cellular processes [36], or singlepoint mutations [9, 53]. This can be done by considering a quantitative model that, in addition to the additive contributions of individual mutations, parametrizes the pairwise interactions between them. Alternatively, epistatic interactions can be investigated without a model, using singlegate assays [36]. Here, we consider a pair of mutations and compare the enrichment of variants that carry each one of them individually with the enrichment of the variant that carries both (see Methods: Measuring mutation interactions). We compared the two approaches for the regulatory RNA dataset by plotting a modelbased interaction strength (IS) inferred from the full data [9], with the enrichment ratio, denoted by K, computed from the same data with combined gates (Fig. 6 d). The two measures were wellcorrelated (ρ=0.71), indicating that the enrichment approach can offer some information about interactions.
In [9], the authors identified groups of interactions with significant biological meaning (colored dots in Fig. 6 d). For example, Group 1 includes interactions between a downstream stem loop in the small RNA and its polyU tail, which are together essential for correct termination (other groups are described in Methods: Measuring mutation interactions). Interestingly, many of these interactions stood out for both quantitatively inferred IS and with the enrichmentbased K. However, the existence of many pairs for which the magnitude of K is small but IS is large, or viceversa, suggests that K should not be used as a quantitative metric.
Thus, we conclude that a singlegate enrichmentbased approach can be surprisingly powerful, despite its simplicity and practicality. In cases where σ is similar for all variants, and the log of mean fluorescence of most variants is within a range of 2σ, this assay can be used for applications where quantitative accuracy is dispensable. These applications include the search for highly functional sequence elements, as well as identification of potential intramolecular interactions. In the latter case, however, it is necessary to balance between low sensitivity and a high rate of falsepositives.
Conclusions
Sortseq emerges as a broad approach for studying sequence function relations across a wide range of biological processes. The massive quantitative data generated by these assays carries great promise but bears some risks. Sortseq has the potential to provide the highresolution data required for driving the discovery of complex and elusive phenomena, testing of quantitative models, and identification of novel molecular and functional interactions. At the same time, it is critical that we understand how design choices and analysis techniques may give rise to systematic biases [58] and lead to erroneous predictions. As described here, the use of a sound statistical approach helps to realize the full potential of the assay while mitigating these latent risks. In Fig. 7 we summarize our results by proposing a workflow that facilitates informed design choices.
The variability between cells that carry the same variant (parameterized by σ, the distribution width in logscale), as compared with the overall dynamic range of the assay, has strong impact on all aspects of sortseq. For the multiple gated approach, this scale determines the number of gates (tuned by gate width w) sufficient to ensure unbiased measurements. For sortseq with a single gate, the variability determines the dynamic range around the sorting threshold. In cases where the variability differs substantially among variants, the multiplegate approach is essential and can additionally be used to quantify this variability for each variant in the library.
In this paper we considered three inference approaches: the use of simple statistics, maximumlikelihood inference, and mutual information. Calculation of simple statistics is the simplest to implement and interpret, while maximizing mutual information involves sophisticated computation for accurate sampling, and may be more challenging for the nonexpert. Both approaches require no additional assumptions, but while simple statistics provide information about the fluorescence of each variant, the MIbased approach allows direct inference of activity models. In contrast, maximumlikelihood inference requires a good model for the shape of the input distribution. When such a model is available, this approach allows simultaneous inference of activity models and noise features, and quite generally provides the largest range of estimates that are both unbiased and efficient. While maximumlikelihood inference is more computationally complex than simple estimators, standard packages are available for many popular platforms (including MATLAB, R, SciPy, and more).
Knowledge of the typical range, shape, and width of input distributions is valuable for designing the gate configuration and facilitates a maximumlikelihood approach. A useful preliminary step is therefore to characterize several variants by flow cytometry. Preferably, one should aim to explore a few variants that are spread across the range of activities, in order to define the optimal measurement range. Such variants can be generated through directed mutagenesis or denovo DNA synthesis.
Sortseq experiments can be used to infer parameters of quantitative models and to rigorously test alternative models. Although a sortseq approach can yield precise measurements for a large number of variants, one can only ever expect to measure a small subset of all possible variants, since their number expands rapidly as the number of mutations increases. Model inference is therefore necessary for expounding upon the many variants that are absent from the library. When the typical number of mutations in each variant (relative e.g. to the wildtype sequence) is small, these missing variants are interpreted as complex combinations of measured variants. When this number is large, mutations carried by a missing variant of interest are probably present in many other variants in the library, which also carry other mutations. In such cases a quantitative model (such as the additive model discussed above) allows a meaningful marginalization.
Methods
Sortseq simulations
In our simulated experiments, each variant was assigned an input mean ν and an input coefficient of variation c. These are the two parameters that one would like to infer. It is assumed that the fluorescence X in cells that carry this variant is distributed according to a lognormal distribution, whose cumulative distribution function (CDF) is given by
where erf represents the error function. The parameters μ and σ of the lognormal distribution are related with the input mean ν and the input CV c through ν= exp(μ+σ ^{2}/2) and $c=\sqrt {\exp \left ({\sigma ^{2}}\right)1}$ (and note that c≈σ for σ≪1).
In all simulations, the m sorting gates were distributed evenly on a logarithmic scale across the measurement range. Sorting gate j was defined by its upper and lower boundaries, L _{ j } and U _{ j } respectively, such that L _{ j+1}=U _{ j } and logU _{ j }= logL _{ j }+w.
To simulate sortseq we needed to compute the output distribution for each variant, that is the way in which N cells are distributed among the m sorting gates. First, the fluorescence of each cell X was drawn at random from the input distribution of that variant. This was done by drawing a number y randomly between 0 and 1, and then calculating $X = F_{\mu,\sigma }^{1} (y)$. Next, we assigned that cell to the sorting gate that includes the value X, that is the gate j for which L _{ j }≤X<U _{ j }. We then counted the number r _{ j } of cells that fell into gate j. Together we denote this list of m numbers by r. Of course, $\sum _{j=1}^{m} r_{j} = N$, which in our simulations was taken to be 100. This output distribution was then used to estimate the mean and CV, as described in the following section.
Quantitative estimation with sortseq
Simple estimators
Two approaches were used to estimate mean and CV from the output distribution r. The simple mean ν _{1} takes the population average of all sorted cells assuming each cell in gate j is at some fixed location within this gate, that is that its fluorescence is $\varphi _{j}=b\sqrt {L_{j} U_{j}}$, with some b between e ^{−w/2} and e ^{w/2}. We chose to set b=w/(e ^{w/2}−e ^{−w/2}), which was found empirically to minimize the bias for all inputs. The simple mean is therefore
Similarly defined, the simple CV is
Maximumlikelihood estimators (MLEs)
In order to compute MLEs we first find parameters $\hat \mu $ and $\hat \sigma $ which maximize the loglikelihood function
$\hat \mu $ and $\hat \sigma $ are the output of the MATLAB function fminsearch, which uses the NelderMead algorithm to minimize − logL(μ,σr) over μ and σ, while keeping the sortseq data r and the configuration parameters fixed. The MLE mean is then $\hat \nu _{2}=\exp (\hat \mu + \hat \sigma ^{2}/2)$, and the MLE CV is $\hat c_{2}=\sqrt {\exp \left (\hat \sigma ^{2}\right)  1}$.
Estimator bias and efficiency
The process of simulating sortseq reads and estimating each parameter was repeated 1000 times in order to assess the performance of these estimators. For estimator $\hat \theta $ of parameter θ (such as the mean or CV), bias is defined as
where brackets indicate the average over all simulation repeats. Relative bias is accordingly $\beta _{\hat \theta }/\theta $. Precision of sortseq estimates was quantified by MSE, $\langle (\hat \theta \theta)^{2}\rangle $. Since estimates become more precise as N is increased, sortseq estimators were compared to $\hat \theta _{0}$, the MLE of θ from N precise fluorescence measurements drawn from the same input distribution. These MLEs of mean and CV are $\hat \nu _{0} = \exp \left (\hat \mu _{0} + v_{0}/2\right)$ and $\hat c_{0} = \sqrt {\exp \left ({\hat \sigma _{0}^{2}}\right)  1}$, where $\hat \mu _{0} = \sum _{k} \left (\log X_{k}\right)/N$ and ${\hat \sigma _{0}^{2}} = \sum _{k} \left (\log \left (X_{k}\right)  \hat \mu _{0}\right)^{2}/N$. The efficiency can then be defined as
Because these estimators are maximally efficient for large N, estimators with $\eta _{\hat \theta } = 1$ are optimal. If $\hat \theta $ is an unbiased estimator based on N sorted cells, estimates will have similar precision to the estimator $\hat \theta _{0}$ from $N\eta _{\hat \theta }$ individually sampled fluorescence measurements.
Reanalysis of sortseq data
To address the effect of the input distribution on the quality of the estimates, we utilized a dataset from a previously published study [8] that aimed to infer the mean and the variance of singlecell fluorescence for each of several thousand yeast promoter variants. The published dataset (GEO accession number: GSE55346) reports the fraction of cells within each of 32 gates. Each gate j has an upper boundary of U _{ j }, a lower boundary of L _{ j } and contains a fraction of all sorted cells T _{ j }. For each variant i the dataset indicates the fraction t _{ ij } of its reads that appear in gate j, such that $\sum _{j} t_{ij} = 1$. Thus, t _{ ij } is just r _{ j } of the previous sections, divided by the total number of reads from this variant. This factor, however, has no bearing on the maximumlikelihood inference.
Using an assumed lognormal distribution, we inferred mean and CV for each of the 6500 promoters found in the dataset using MLEs. The gates at the negative and positive extremes were treated as censoring gates. MLEs are very sensitive to outliers, and many variants featured a small fraction of reads far from the main peak. We reasoned that the main source of these outliers is likely cells that were either missorted during FACS or misidentified during sequencing. Thus a term was added to the likelihood function corresponding to γ=5 % of all cells carrying each variant, distributed proportionally over all bins. The resulting loglikelihood is
Using this loglikelihood function, MLEs were computed for each variant as described in the previous section.
Parameter values estimated from the full 32gate dataset were to be used as true parameters, thus stringent thresholding was instituted. Variants were removed based on the following criteria, which were applied in order to “replicate 1” of the published dataset: i) Variants for which there were fewer than 300 sortseq reads corresponding to roughly 100 sorted cells (4.3 % discarded), ii) variants that had at more than 60 % of cells within a single gate, more than 90 % in two gates, or more than 40 % in either of the censoring gates (3.7 % discarded), and iii) variants for which the KullbackLeibler divergence between the inferred distribution from the MLE and the measured distribution was greater than 0.4 bits (11.2 % discarded). This quantity was computed by comparing t _{ ij } to λ _{ ij }, the fraction of variants in each gate as predicted by the MLE parameters $\hat \mu $ and $\hat \sigma $. These are
The KullbackLeibler divergence in bits is
There were 5255 out of 6500 variants remaining (80.8 %) after thresholding was carried out for replicate 1. When the same procedure was performed for both replicates simultaneously, i) 10.2 %, ii) 3.7 %, and iii) 21.5 % were discarded in each step, leaving 4,202 variants remaining (64.6 %). The MLE mean and CV were well correlated between these replicates after thresholding (r>0.99 for the mean, r=0.78 for the CV, see Additional file 1: Figure S4).
Gates were regrouped by combining sortseq reads in adjacent gates (schematic in Fig. 2 h). For example, for gates j and j+1, the newly combined gate would have boundaries L _{ j } and U _{ j+1}, represent a fraction T _{ j }+T _{ j+1} of all sorted cells, and contain a fraction t _{ ij }+t _{ i(j+1)} of cells for each variant i. Regrouped configurations for replicate 1 (Figs. 2 i–j and 3 e–f, Additional file 1: Figures S5 and S6) had gate width w ranging between 0.19−0.32 for 16 gates and between 0.62−0.71 for 8 gates. Regrouped data was used to compute the MLE mean and MLE CV using the same procedure as with the original 32 gates.
The fraction of fluorescence measurements below a threshold was estimated from three multiplegate sortseq datasets [6, 8, 9] using a similar regrouping procedure. For the bacterial promoterRBS [6] and regulatory RNA [9] datasets, we controlled for differences in the number of sequencing reads per sorted cell in each gate. Read counts from gate j were multiplied by the factor $d_{j}=h_{j}/\sum _{i} r_{ij}$, where r _{ ij } is the number of reads corresponding to variant i in gate j, h _{ j } is the total number of sorted cells from gate j, and the sum is over all variants identified. We then approximated the number of cells carrying variant i sorted by gate j to be d _{ j } r _{ ij }. The fraction of cells falling in gate m ^{′} or below was therefore
For comparison, quantitative measurements of fluorescence were made using the simple mean for bacterial promoterRBS and regulatory RNA data. This is
The MLE mean was used for yeast promoter data as described above, and the fraction of cells falling in gate m ^{′} or below was
For regulatory RNA data (specifically, RyhB repression of sodB) foldchange in target expression f _{ i } for variant i was computed by dividing sortseq fluorescence measurements by fluorescence measured from strains expressing nonfunctional variants as described previously [9], f _{ i }=ν _{ i }/ν _{null}.
The information footprint for the regulatory RNA dataset [9] was computed as described previously [4]. Here for each nucleotide position p, the number of sortseq reads in gate j with nucleotide q was computed, resulting in the table a _{ p }(q,j). This table was normalized A _{ p }(q,j)=a _{ p }(q,j)/n, where n is the total number of sortseq reads in the experiment. The mutual information (MI) was computed between nucleotide q and sortseq gate j, which is the information footprint
where $A_{p}(q) = \sum _{j} A_{p}(q,j)$ and $A_{p}(j) = \sum _{q} A_{p}(q,j)$.
Dualreporter simulations
To address the benefits of a reference reporter, each cell in our simulations was assigned fluorescent activity X ^{(FP)} for each reporter, where FP is the name of that reporter (typically: GFP or RFP). This value was assumed to be the product of two independent quantities, W which is shared among all reporters and Z ^{(FP)} which is specific to each. Both W and Z ^{(FP)} were assumed to follow a log normal distribution, which means that X ^{(FP)} also followed a lognormal distribution. Moreover, if W has parameters μ _{ W } and σ _{ W } and each fluorescent reporter Z ^{(FP)} has parameters μ(F P)′ and σ(F P)′, then X ^{(FP)} has parameters μ _{(F P)}=μ(F P)′+μ _{ W } and $\sigma _{(FP)} = \sqrt {\left (\sigma _{(FP)}'\right)^{2} + {\sigma _{W}^{2}}}$. The parameters σ _{ W }, σ(R F P)′, and σ(G F P)′ each reflect both biological and experimental sources of variation. The distribution of X ^{(GFP)}/X ^{(RFP)} is the same as Z ^{(GFP)}/Z ^{(RFP)}, which is lognormal with parameters μ _{(G F P/R F P)}=μ(G F P)′−μ(R F P)′ and $\sigma _{(GFP/RFP)} = \sqrt {\left (\sigma _{(GFP)}'\right)^{2} + \left (\sigma _{(RFP)}'\right)^{2}}$. Thus when σ _{ W }<σ(R F P)′, the ratio GFP/RFP has a lower CV than GFP alone.
For simulations, sortseq data was taken from the regulatory RNA sortseq data [9] to represent a distribution of mean fluorescence and variant frequency that is typical for a sortseq experiment. For each variant with measured mean GFP fluorescence ν, parameters μ(G F P)′ and σ(G F P)′ were set so that Z ^{(GFP)} has mean ν and CV =ν ^{−1/2}. As a result $\sigma _{(GFP)}' = \sqrt {\log \left (1 + \nu ^{1}\right)}$ and $\mu _{(GFP)}' = \log \left (\nu /\sqrt {1+\nu ^{1}}\right)$. Distributions for W and RFP were assumed to remain fixed with σ _{ W }=0.40 and σ(R F P)′=0.15. The parameters μ _{ W } and μ(R F P)′ contribute only a constant scaling factor to all measurements, making their choice irrelevant for any of the computed results. In our simulations we simply set them to zero.
Using these input parameters for each variant, sortseq simulations were carried out as in Methods: Sortseq simulations. For each variant, $\sum _{j} d_{j} r_{ij}$ sorted cells were used. Input parameters μ _{(G F P)} and σ _{(G F P)} were used for the single reporter, whereas μ _{(G F P/R F P)} and σ _{(G F P/R F P)} were used for the dual reporter. A cautious gate configuration (w=0.15, covering more than 2 orders of magnitude) was used. Simple estimators were used to estimate the mean and CV for each variant, as in “Methods: Quantitative estimation with sortseq”.
Inference of quantitative models
Two approaches were used to fit sortseq data from a previously published sortseq dataset [9] to an additive model. For each variant, an “activity” function G was determined from Q ^{(i)}, the sequence vector for variant i which is composed of nucleotides $Q_{p}^{(i)}$ (= A, C, G, or T) at each position p (=1,2,…94, the number of nucleotides in the sequence under study). In the additive model
where I(B) is the indicator function that is 1 if the statement B is true and 0 otherwise, and G _{0} and H _{ p,q } are the parameters of the model that need to be inferred.
In the first approach, sortseq reads were used to estimate mean fluorescence for each variant $\hat \nu _{i}$ using the simple mean as in Methods: Reanalysis of sortseq data. The mapping between activity and measured fluorescence was done using a twostate model that is frequently used in modeling regulatory systems, such that $\nu _{i} = \nu _{\text {null}} \left (1+e^{G \left (\mathbf {Q}^{(i)}\right) }\right)^{1}$. Here again ν _{null} is the mean fluorescence in cells that carry no small RNA. Model parameters were then optimized to minimize mean squared difference between the model prediction and the estimates of $\hat \nu _{i}$ using the MATLAB function lsqnonlin.
In the second approach, we look for parameters that would maximize the mutual information between the model G and the sortseq measurements. The approach was implemented following earlier work which characterized a bacterial promoter [4] (recently reviewed in [54]). We begin by organizing the sortseq data in a binary table D _{ ij }. The ith row in the table corresponds to read i and we let D _{ ij }=1 if the read was found in sorting gate j and 0 otherwise.
With a given set of parameters H of the model G, we compute G _{ i }(H) for each row of the table according to the sequence of the corresponding read. We let D(H) be table D with its rows sorted in ascending order of G _{ i }(H). Since D(H) is a very large table and difficult to handle, we reduce the number of rows by combining blocks of 1000 rows. The compressed matrix is then multiplied on the left by a gaussian filter
where erf is the error function and n is the total number of sortseq reads. The resulting table $\tilde D(\textbf {H})$ can be thought of as a joint distribution between the rank of each row and the distribution of the reads it represents across the sorting gates. Appropriately, the sum of its elements is 1. From this table, we compute the mutual information
where $\tilde D_{i}(\textbf {H}) = \sum _{j} \tilde D_{ij}(\textbf {H})$ and $\tilde D_{j}(\textbf {H}) = \sum _{i} \tilde D_{ij}(\textbf {H})$.
We use a Monte Carlo approach to find the set of parameters H which maximized M I(H) [4]. First, one of the parameters H _{ p,q } chosen randomly and perturbed by adding a normally distributed random variable with mean 0 and variance 1. Parameters were renormalized after each step as a proportional increase of all parameters does not affect the ranking of G. Second, MI was computed using the adjusted parameters. Third, it was decided whether to keep or reverse the parameter change. If the mutual information remained fixed or increased this change was kept. If MI was decreased by δ, the parameter change was reversed with probability 1−2^{−nδ}. This was achieved by drawing a random number between x between 0 and 1. If x<2^{−nδ} the change was kept; otherwise it was reversed. These steps were iterated until parameters and mutual information converged (>300,000 steps).
The results did not depend on the initial choice of parameters. Previous work also included a temperature exchange procedure in order to avoid getting trapped at local maxima of the mutual information in parameter space [4]. In our analysis with the regulatory RNA dataset this did not occur and we achieved similar results with or without this additional step. Model parameters were presented as ensemble averages over continued iteration of the Monte Carlo procedure.
Simulation of quantitative models
To test the implications of a discrepancy between the true sequencefunction mapping and the assumed model, we explored two cases: one where the activity of the variants follow an additive model, and one where these activities follow a model that includes interactions between bases at different positions. To construct the random libraries, we first determined the sequences of 3000 participating variants. Each library is defined by r _{mut}, the average number of mutations per variant compared with the reference sequence, which was taken arbitrarily to be a sequence of 50 ‘A’s. The sequence of each variant in the library was determined by deciding for each position if it takes the reference value ‘A’ (with probablity 1−r _{mut}/50)) or not. In the latter case, a base ‘G’, ‘C’, or ‘T’ was assigned at random. In addition we constructed the targeted library, which consisted of the 50‘A’ reference sequence and all other 150 singleposition mutants.
Next, we determined the activity associated with each variant. In the additive case, we used the model described in the previous section, with G _{0}=3.0 and parameters for H _{ p,q } that were drawn from a normal distribution with mean −G _{0}/R and standard deviation 4G _{0}/3R. Here R is robustness, the number of mutations for which G<0 for 50 % of variants. These numbers were selected with the MATLAB function normrnd.
In the interacting model, the activity G _{ I } was defined as
Here G is the activity of the additive mode, with the parameters G _{0} and H _{ p,q } selected as before. The matrix $J_{p_{1},q_{1},p_{2},q_{2}}$ accounts for the interactions between pairs of bases. Its parameters were chosen from a normal distribution with mean 0 and standard deviation S G _{0}/R, where S is the Interaction Power.
Finally, we generated the sortseq data for each library. For each random library, we picked a single cell from each variant, and for the targeted library we picked 20 cells per variant. The fluorescence level of these cells was taken from the input distribution, whose CV was 0.5 and mean ν _{ i } was determined by the activity of each variant,
We then determined which of 24 sorting gates (with width w=0.3) contained the fluorescence value. This multiplegate configuration was used in order to avoid contributing bias to the measurement. Simulated sortseq data from each library of variants was used to fit the additive model for ν using the first approach in Methods: Inference of quantitative models. MATLAB code for these simulations is available upon request.
Measuring mutation interactions
The method for identifying interactions by computing Interaction Strength (IS) was derived and discussed previously [9]. Briefly, by modeling foldchange measurements f _{ i } with the additive model described above, foldchange for variants with 2 or more mutations could be predicted using data from the wildtype and variants with a single mutation, which were used to fix the relevant parameters of the model G _{0} and H _{ p,q }. As a result, given fold change measurements for the wildtype (WT) and two variants each with a single mutation, α and β, the predicted foldchange for the double mutant (for f _{ α β }) is
IS for the pair of mutations α and β is defined as f _{pred}/f _{ α β }. Using ε _{ i }, the the fraction of sortseq reads in the bottom two gates, the enrichment ratio used to probe interactions is
Groups of mutations in the small RNA RyhB of particular biological significance were identified in [9] and highlighted in Fig. 6 d. Group 1 includes interactions between mutations in a downstream stem loop and mutations with the polyU tail of the RNA molecule, which together ensure correct termination of the its transcription. Group 2 includes pairs of compensatory mutations that individually break but together restore WatsonCrick base pairing in doublestranded parts of the molecule. Groups 3 and 4 include pairs of mutations, one of which is found in the region of the small RNA that binds its targets, and the other is found in separate structures (A30G in Group 3 and U55A in Group 4). These two groups of interactions demonstrate a balance between specificity and efficiency in small RNA regulation.
Ethics statement
No human or animal data was used in this study, therefore no ethics statement is necessary.
Abbreviations
 CV:

coefficient of variation
 FACS:

fluorescence activated cell sorting
 GFP:

green fluorescent protein
 IS:

interaction strength
 MI:

mutual Information
 MLE:

maximum likelihood estimator
 MSE:

mean squared error
 PWM:

position weight matrix
 RFP:

red fluorescent protein
 RMS:

root mean squared
 WT:

wildtype
References
 1
Levo M, Segal E. In pursuit of design principles of regulatory sequences. Nature Rev Gen. 2014; 15(7):453–68.
 2
Boucher JI, Cote P, Flynn J, Jiang L, Laban A, Mishra P, et al. Viewing Protein Fitness Landscapes Through a NextGen Lens. Genetics. 2014; 198(2):461–471.
 3
de Visser JAGM, Krug J. Empirical fitness landscapes and the predictability of evolution. Nature Rev Gen. 2014; 15(7):480–90.
 4
Kinney JB, Murugan A, Callan CG, Cox EC. Using deep sequencing to characterize the biophysical mechanism of a transcriptional regulatory sequence. Proc Natl Acad Sci USA. 2010; 107(20):9158–63.
 5
Sharon E, Kalma Y, Sharp A, RavehSadka T, Levo M, Zeevi D, et al. Inferring gene regulatory logic from highthroughput measurements of thousands of systematically designed promoters. Nature Biotechnol. 2012; 30(6):521–30.
 6
Kosuri S, Goodman DB, Cambray G, Mutalik VK, Gao Y, Arkin AP, et al. Composability of regulatory sequences controlling transcription and translation in Escherichia coli. Proc Natl Acad Sci USA. 2013; 110(34):14024–9.
 7
Noderer WL, Flockhart RJ, Bhaduri A, Diaz de Arce AJ, Zhang J, Khavari PA, et al. Quantitative analysis of mammalian translation initiation sites by FACSseq. Mol Syst Biol. 2014; 10(8):748.
 8
Sharon E, Dijk Dv, Kalma Y, Keren L, Manor O, Yakhini Z, et al. Probing the effect of promoters on noise in gene expression using thousands of designed sequences. Genome Res. 2014; 24(10):1698–706.
 9
Peterman N, LaviItzkovitz A, Levine E. Largescale mapping of sequencefunction relations in small regulatory RNAs reveals plasticity and modularity. Nucleic Acids Res. 2014; 42(19):12177–88.
 10
Smith AM, Heisler LE, Mellor J, Kaper F, Thompson MJ, Chee M, et al. Quantitative phenotyping via deep barcode sequencing. Genome Res. 2009; 19(10):1836–42.
 11
Hietpas RT, Jensen JD, Bolon DNA. Experimental illumination of a fitness landscape. Proc Natl Acad Sci. 2011; 108(19):201016024.
 12
Melnikov A, Rogov P, Wang L, Gnirke A, Mikkelsen TS. Comprehensive mutational scanning of a kinase in vivo reveals substratedependent fitness landscapes. Nucl Acids Res. 2014; 42(14):e112.
 13
Bank C, Hietpas RT, Jensen JD, Bolon DNA. A Systematic Survey of an Intragenic Epistatic Landscape. Mol Biol Evol. 2015; 32(1):229–38.
 14
Stiffler M, Hekstra D, Ranganathan R. Evolvability as a Function of Purifying Selection in TEM1 βLactamase. Cell. 2015; 160(5):882–92.
 15
Rowe W, Platt M, Wedge DC, Day PJ, Kell DB, Knowles J. Analysis of a complete DNAprotein affinity landscape. J Royal Soc Interface/Royal Soc. 2010; 7(44):397–408.
 16
Fowler DM, Araya CL, Fleishman SJ, Kellogg EH, Stephany JJ, Baker D, et al. Highresolution mapping of protein sequencefunction relationships. Nature Methods. 2010; 7(9):741–6.
 17
Pitt JN, FerréD’Amaré AR. Rapid Construction of Empirical RNA Fitness Landscapes. Science. 2010; 330(6002):376–9.
 18
Araya CL, Fowler DM, Chen W, Muniez I, Kelly JW, Fields S. A fundamental protein property, thermodynamic stability, revealed solely from largescale measurements of protein function. Proc Natl Acad Sci. 2012; 109(42):16858–63.
 19
Buenrostro JD, Araya CL, Chircus LM, Layton CJ, Chang HY, Snyder MP, et al. Quantitative analysis of RNAprotein interactions on a massively parallel array reveals biophysical and evolutionary landscapes. Nature Biotechnol. 2014; 32(6):562–8.
 20
Fowler DM, Fields S. Deep mutational scanning: a new style of protein science. Nature Methods. 2014; 11(8):801–7.
 21
Patwardhan RP, Lee C, Litvin O, Young DL, Pe’er D, Shendure J. Highresolution analysis of DNA regulatory elements by synthetic saturation mutagenesis. 27. 2009; 12:1173–75.
 22
Patwardhan RP, Hiatt JB, Witten DM, Kim MJ, Smith RP, May D, et al. Massively parallel functional dissection of mammalian enhancers in vivo. Nature Biotechnol. 2012; 30(3):265–70.
 23
Melnikov A, Murugan A, Zhang X, Tesileanu T, Wang L, Rogov P, et al. Systematic dissection and optimization of inducible enhancers in human cells using a massively parallel reporter assay. Nature Biotechnol. 2012; 30(3):271–7.
 24
Kwasnieski JC, Mogno I, Myers CA, Corbo JC, Cohen BA. Complex effects of nucleotide variants in a mammalian cisregulatory element. Proc Natl Acad Sci. 2012; 109(47):19498–503.
 25
Arnold CD, Gerlach D, Stelzer C, Boryń LM, Rath M, Stark A. GenomeWide Quantitative Enhancer Activity Maps Identified by STARRseq. Science. 2013; 339(6123):1074–77.
 26
Findlay GM, Boyle EA, Hause RJ, Klein JC, Shendure J. Saturation editing of genomic regions by multiplex homologydirected repair. Nature. 2014; 513(7516):120–3.
 27
Krebs AR, DessusBabus S, Burger L, Schübeler D. Highthroughput engineering of a mammalian genome reveals building principles of methylation states at CG rich regions. eLife. 2014; 3:e04094.
 28
RazoMejia M, Boedicker JQ, Jones D, DeLuna A, Kinney JB, Phillips R. Comparison of the theoretical and realworld evolutionary potential of a genetic circuit. Physical biol. 2014; 11(2):026005.
 29
Dickel DE, Zhu Y, Nord AS, Wylie JN, Akiyama JA, Afzal V, et al. Functionbased identification of mammalian enhancers using sitespecific integration. Nature Methods. 2014; 11(5):566–71.
 30
Murtha M, TokcaerKeskin Z, Tang Z, Strino F, Chen X, Wang Y, et al. FIREWACh: highthroughput functional detection of transcriptional regulatory modules in mammalian cells. Nature Methods. 2014; 11(5):559–65.
 31
Dvir S, Velten L, Sharon E, Zeevi D, Carey LB, Weinberger A, et al. Deciphering the rules by which 5’UTR sequences affect protein expression in yeast. Proc Natl Acad Sci USA. 2013; 110(30):E2792—2801.
 32
Oikonomou P, Goodarzi H, Tavazoie S. Systematic identification of regulatory elements in conserved 3’ UTRs of human transcripts. Cell Reports. 2014; 7(1):281–92.
 33
Shalem O, Sharon E, Lubliner S, Regev I, LotanPompan M, Yakhini Z, et al. Systematic Dissection of the Sequence Determinants of Gene 3’ End Mediated Expression Control. PLoS Genet. 2015; 11(4):e1005147.
 34
Townshend B, Kennedy AB, Xiang JS, Smolke CD. Highthroughput cellular RNA device engineering. Nature Methods. 2015; 12:989–94.
 35
Holmqvist E, Reimegård J, Wagner EGH. Massive functional mapping of a 5’UTR by saturation mutagenesis, phenotypic sorting and deep sequencing. Nucleic Acids Res. 2013; 41(12):e122.
 36
McLaughlin RN, Poelwijk FJ, Raman A, Gosal WS, Ranganathan R. The spatial architecture of protein function and adaptation. Nature. 2012; 491(7422):138–42.
 37
Whitehead TA, Chevalier A, Song Y, Dreyfus C, Fleishman SJ, De Mattos C, et al. Optimization of affinity, specificity and function of designed influenza inhibitors using deep sequencing. Nature Biotechnol. 2012; 30(6):543–8.
 38
Goodman DB, Church GM, Kosuri S. Causes and effects of Nterminal codon bias in bacterial genes. Science New York, NY. 2013; 342(6157):475–9.
 39
Podgornaia AI, Laub MT. Pervasive degeneracy and epistasis in a proteinprotein interface. Science. 2015; 347(6222):673–7.
 40
Zhao W, Pollack JL, Blagev DP, Zaitlen N, McManus MT, Erle DJ. Massively parallel functional annotation of 3’ untranslated regions. Nature Biotechnol. 2014; 32(4):387–91.
 41
Gisselbrecht SS, Barrera LA, Porsch M, Aboukhalil A, Estep Iii PW, Vedenko A, et al. Highly parallel assays of tissuespecific enhancers in whole Drosophila embryos. Nature Methods. 2013; 10(8):774–80.
 42
Rohland N, Reich D. Costeffective, highthroughput DNA sequencing libraries for multiplexed target capture. Genome Res. 2012; 22(5):939–46.
 43
Kosuri S, Church GM. Largescale de novo DNA synthesis: technologies and applications. Nature Methods. 2014; 11(5):499–507.
 44
Kitzman JO, Starita LM, Lo RS, Fields S, Shendure J. Massively parallel singleaminoacid mutagenesis. Nature Methods. 2015; 12(3):203–6.
 45
Lehmann EL, Casella G. Theory of Point Estimation, 2nd ed. New York: Springer; 1998.
 46
Salman H, Brenner N, Tung Ck, Elyahu N, Stolovicki E, Moore L, et al. Universal Protein Fluctuations in Populations of Microorganisms. Physical Review Lett. 2012; 108(23):238105.
 47
Elowitz MB, Levine AJ, Siggia ED, Swain PS. Stochastic Gene Expression in a Single Cell. Science. 2002; 297(5584):1183–86.
 48
Kussell E, Leibler S. Phenotypic Diversity, Population Growth, and Information in Fluctuating Environments. Science. 2005; 309(5743):2075–2078.
 49
Balaban NQ, Merrin J, Chait R, Kowalik L, Leibler S. Bacterial Persistence as a Phenotypic Switch. Science. 2004; 305(5690):1622–5.
 50
Süel GM, GarciaOjalvo J, Liberman LM, Elowitz MB. An excitable gene regulatory circuit induces transient cellular differentiation. Nature. 2006; 440(7083):545–50.
 51
Zong C, So Lh, Sepulveda LA, Skinner SO, Golding I. Lysogen stability is determined by the frequency of activity bursts from the fatedetermining gene. Mol Syst Biol. 2010; 6:440.
 52
Schmiedel JM, Klemm SL, Zheng Y, Sahay A, Blüthgen N, Marks DS, et al. MicroRNA control of protein expression noise. Science. 2015; 348(6230):128–132.
 53
Otwinowski J, Nemenman I. Genotype to Phenotype Mapping and the Fitness Landscape of the E. coli lac Promoter. PLoS ONE. 2013; 8(5):e61570.
 54
Atwal GS, Kinney JB. Learning Quantitative SequenceFunction Relationships from Massively Parallel Experiments. J Stat Phys. 2015:1–41.
 55
Kinney JB, Tkačik G, Callan CG. Precise physical models of proteinDNA interaction from highthroughput data. Proc Natl Acad Sci. 2007; 104(2):501–6.
 56
Durbin R, Eddy SR, Krogh A, Mitchison G. Biological Sequence Analysis: Probabilistic Models of Proteins and Nucleic Acids.Cambridge University Press; 1998.
 57
Kinney JB, Atwal GS. Parametric Inference in the Large Data Limit Using Maximally Informative Models. Neural Comput. 2014; 26(4):637–53.
 58
Otwinowski J, Plotkin JB. Inferring fitness landscapes by regression produces biased estimates of epistasis. Proc Natl Acad Sci. 2014; 111(22):E2301–E2309.
Acknowledgements
We thank members of the Levine lab for helpful discussions, and Tamar JuvenGershon and John Calarco for discussions and critical reading of the manuscript. This research was supported in part by the National Science Foundation through grant PHY1205494 (EL) and the NSF PoLS network PHY1219334 (NP).
Author information
Additional information
Competing interests
The authors declare that they have no competing interests.
Authors’ contributions
NP conceived the study, performed simulations, analyzed the data, and wrote the paper. EL conceived the study, analyzed the data, and wrote the paper. All authors read and approved the final manuscript.
Additional file
Additional file 1
Supplementary Figures with figure legends. Figure S1: Bias and efficiency of the simple mean estimator. Figure S2: Bias and efficiency of maximum likelihood estimators. Figure S3: Bias and efficiency of the simple CV estimator. Figure S4: MLE mean and CV using a yeastpromoter dataset. Figure S5: MLE mean for sortseq data with combined gates. Figure S6: MLE CV for sortseq data with combined gates. Figure S7: Enrichment measurements from different input distributions. Figure S8: Enrichment estimates using regrouped gates from two sortseq datasets. (PDF 3755 kb)
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License(http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made. The Creative Commons Public Domain Dedication waiver(http://creativecommons.org/publicdomain/zero/1.0/) applies to the data made available in this article, unless otherwise stated.
About this article
Received
Accepted
Published
DOI
Keywords
 Sequencefunction relations
 Systems biology
 Highthroughput sequencing
 Fluorescenceactivated cell sorting