Figures
Abstract
For practical construction of complex synthetic genetic networks able to perform elaborate functions it is important to have a pool of relatively simple modules with different functionality which can be compounded together. To complement engineering of very different existing synthetic genetic devices such as switches, oscillators or logical gates, we propose and develop here a design of synthetic multi-input classifier based on a recently introduced distributed classifier concept. A heterogeneous population of cells acts as a single classifier, whose output is obtained by summarizing the outputs of individual cells. The learning ability is achieved by pruning the population, instead of tuning parameters of an individual cell. The present paper is focused on evaluating two possible schemes of multi-input gene classifier circuits. We demonstrate their suitability for implementing a multi-input distributed classifier capable of separating data which are inseparable for single-input classifiers, and characterize performance of the classifiers by analytical and numerical results. The simpler scheme implements a linear classifier in a single cell and is targeted at separable classification problems with simple class borders. A hard learning strategy is used to train a distributed classifier by removing from the population any cell answering incorrectly to at least one training example. The other scheme implements a circuit with a bell-shaped response in a single cell to allow potentially arbitrary shape of the classification border in the input space of a distributed classifier. Inseparable classification problems are addressed using soft learning strategy, characterized by probabilistic decision to keep or discard a cell at each training iteration. We expect that our classifier design contributes to the development of robust and predictable synthetic biosensors, which have the potential to affect applications in a lot of fields, including that of medicine and industry.
Citation: Kanakov O, Kotelnikov R, Alsaedi A, Tsimring L, Huerta R, Zaikin A, et al. (2015) Multi-Input Distributed Classifiers for Synthetic Genetic Circuits. PLoS ONE 10(5): e0125144. https://doi.org/10.1371/journal.pone.0125144
Academic Editor: Mark Isalan, Imperial College London, UNITED KINGDOM
Received: October 25, 2014; Accepted: March 9, 2015; Published: May 6, 2015
Copyright: © 2015 Kanakov et al. This is an open access article distributed under the terms of the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original author and source are credited
Data Availability: All relevant data are within the paper and its Supporting Information files.
Funding: Authors aknowledge support of this research from The Ministry of education and science of the Russian Federation (mon.gov.ru) within agreements No. 3.820.2014/K (OK) and No. 02.B.49.21.0003 (AZ and MI), from Russian Foundation for Basic Research (www.rfbr.ru) grants No. 14-02-01202 (RK and AZ) and No. 13-02-00918 (MI), from the Deanship of Scientifc Research, King Abdulaziz University, Jeddah (dsr.kau.edu.sa), grant No. 20/34/Gr (AA), from National Institutes of Health (nih.gov) grant RO1-GM069811 (LT), and from Defense Advanced Research Projects Agency (www.darpa.mil) contract W911NF-14-2-0032 (RH). The funders had no role in study design, data collection and analysis, decision to publish, or preparation of the manuscript.
Competing interests: The authors have declared that no competing interests exist.
Introduction
The current challenge facing the synthetic biology community is the construction of relatively simple, robust and reliable genetic networks, which will mount a pool of modules, potentially to be connected into more complex systems. Rapid progress of experimental synthetic biology has indeed provided several synthetic genetic networks with different functionality. Since the development of two fundamental simple networks, representing the toggle switch [1] and the repressilator [2] in 2000, a vast number of proof-of-principle synthetic networks have been designed and engineered. Among them transcriptional or metabolic oscillators [3–5], spatially coupled and synchronised oscillators [6, 7], calculators [8], inducers of pattern formation [9], learning systems [10], optogenetic devices [11], memory circuits and logic gates [12–15].
One of the much awaited kinds of synthetic gene circuits with principally new functionality would work as intelligent biosensors, for example, realized as genetic classifiers able to assign inputs with different classes of outputs. Importantly, they would need to allow an arbitrary shape of the area in the space of inputs, in contrast to simple threshold devices. Recently, the first step in this direction has been made in [16], where the concept of a distributed genetic classifier formed by a heterogeneous population of genetically engineered cells has been proposed. Each cell in the distributed classifier is essentially an individual binary classifier with specific parameters, which are randomly varied among the cells in the population. The inputs to the classifier are certain chemical concentrations, which the engineered cells can be made sensitive to. The classification output from an individual cell can be provided, for example, by the fluorescent protein technique which is well developed and universally adopted in synthetic biology. The output of the whole distributed classifier is the sum of the individual classifier outputs, and the overall decision is made by comparing this output to a preset threshold value. If the initial (or “master”) population contains a sufficiently diverse variety of cells with different parameters, the whole ensemble can be trained by examples to solve a specific classification problem just by eliminating the cells which answer incorrectly to the examples from the training sequence.
Note that strictly speaking, the selection procedure does not realize any kind of learning at the level of individual classifier (cell). On the other hand, we view the whole ensemble as a distributed classifier, and reshaping population can be regarded as tuning its parameters. Since reshaping occurs in response to a sequence of training examples, we refer to this procedure as learning.
The paper [16] focused on distributed classifiers composed of single-input elementary classifiers. The single-input genetic circuit proposed in [16] provides a bell-shaped output function against the input chemical concentration. The individual cells in the population differ from each other by the choice of the particular input chemicals that they are sensitive to, and by the width and positioning of the bell-shaped response function. These parameters can be varied in a range of up to 105 by modifying the ribosome binding sites in the gene circuit [17, 18]. Such libraries of cells with randomized individual parameters have been constructed in experiments for synthetic circuit optimization [19–21]. The single-input distributed classifier has been numerically tested on several examples in [16].
However, practical applications may require classification of multiple inputs. In [16] it has been discussed that the same principles can be utilized for a design of two- or multi-input circuits. The proposed circuit is based upon a genetic AND gate [22–24], providing a bell-shaped response function in the space of two or more inputs. Nevertheless, no studies of a distributed classifier with two or more inputs have been performed so far. In this paper we fill this gap by developing distributed classifiers based upon two types of elementary two-input classifier cells: one is a simple scheme implementing a linear classifier in the space of two inputs and the other is the scheme with AND gate and bell-shaped response proposed in [16].
Below we consider two settings of the classification problem. In the first setting, which we refer to as “hard classification”, the classes are assumed separable, which implies that the sets of points in the parameter space belonging to either class do not intersect. In this case all elementary classifiers can be unambiguously separated into those answering correctly and incorrectly to the training examples, and the “hard learning strategy”, which is based upon discarding all incorrectly answering cells, may be used.
We start with considering the case of separable classes and hard learning, using linear classifiers as elementary cells. We show that using this strategy a range of separable classification problems can be reliably solved even with a small number of elementary classifiers, including problems which become inseparable (and, thus, imposing a lower bound on the error rate) when attempted to be solved by single-input classifiers. At the same time, this approach is incapable of solving classification problems with more complicated classification borders, as well as problems with inseparable classes.
In the second part we address both mentioned issues by means of soft learning strategy and elementary cells with bell-shaped response. We demonstrate the effectiveness of this approach for solving these more complicated tasks at the expense of a more complicated gene circuit in each elementary classifier and a greater number of cells required.
Hard classification problem
Two-input linear classifier circuit
We assume that the classifier input is a set of chemical concentrations capable of regulating appropriate synthetic promoters (directly or mediated by the regulatory network of the cell). In the simplest design of a multi-input genetic classifier circuit, the input genes drive the synthesis of the same intermediate transcription factor A (Fig 1), but are regulated by different promoters sensitive to the corresponding input chemicals Xj. The expression of the reporter protein, for example, green fluorescent protein (GFP), is driven by the total concentration of A, summarized from all input genes.
x1, x2—inputs inducing the corresponding promoters, RBSA1 and RBSA2—ribosome binding sites determining the strengths of the input branches, A—intermediate transcription factor (same in both input branches), GFP—reporter gene.
The stationary concentration a of the intermediate transcription factor can be expressed as a weighted sum over all classifier inputs
(1)
where xj are concentrations of the inputs Xj, aj(⋅) are nonlinear functions, each describing the response to a particular input, including the whole appropriate signalling pathway, and bj are linear multipliers determining the relative strengths of the corresponding inputs, which can be varied in a range of more than 105-fold by varying the DNA sequence within and near the ribosome binding site of the corresponding input gene [17, 18].
For a sharper discrimination between the classifier decisions, we propose to make use of the protein sequestration technique [25] to generate an ultrasensitive response to A when its concentration exceeds a certain threshold. This is achieved by binding A, which normally induces the reporter gene, with a suitable inhibitor into an inactive complex which can not bind DNA. The simplest description of this binding assumes that free active transcription factor A becomes available only when all inhibitor molecules are bound. Then the reporter protein concentration g may be approximated by a shifted and truncated Hill function [25]
(2)
where θ is the threshold determined by the constitutive expression rate of the inhibitor [25], Ag is the DNA-binding dissociation constant for A, γ determines the maximal output, and αγ is the basal expression of the reporter protein in the absence of A.
Response function of type Eq (2) was derived and experimentally tested in [25] using a dimeric transcription factor CEBPα along with a specially designed inhibitor, both from the basic leucine zipper protein family. The applicability of Eq (2) is conditioned by a specific hierarchy of dissociation constants and typical concentrations of proteins [25]. Namely, (i) sequestration being the dominant reaction (dissociation constant significantly smaller than all other relevant dissociation constants and concentrations), so that no free transcription factor is available unless all amount of inhibitor is bound; (ii) dimerization of inhibitor being negligible (dissociation constant significantly greater than all other relevant scales); (iii) dimerization of CEBPα being at an intermediate level of affinity (dissociation constant significantly less than typical concentrations of CEBPα and inhibitor, all of them at the same time falling in the range set forth by requirements (i) and (ii) above), so that almost all above-threshold amount of CEBPα comes in dimerized (active) form. Note, that cooperative activation by dimeric CEBPα was deliberately suppressed in [25] by using a promoter with a single binding site. That said, under the above listed conditions the output Eq (2) is expected to retain its form (not exhibiting a Hill index greater than one) even when using a two-site promoter which binds CEBPα dimer in a cooperative way, see Supplementary Information in [25]. In other conditions a Hill index greater than one may have to be introduced in Eq (2), in this case the ultrasensitive response sharpens even further.
A master population of cells with randomized individual response characteristics can be obtained by randomly varying the input weights bj, as well as the threshold θ, among the cells in the population. In the following we restrict ourselves to the case of two inputs, but our approach equally applies to input vectors of any dimension. We assume that the parameter values in the ith individual cell are and for the input weights and θi for the threshold, the lower index denoting the input and the upper one labeling the cells, all other parameters being the same in both input channels in all cells. The GFP output of a chosen ith individual classifier cell is then
(3)
with g(a;θ) defined in Eq (2).
We use the discrete-output model of the individual cell to analyze the learning process and the distributed classifier behaviour. Namely, we assume that each individual cell can produce two distinguishable kinds of output, corresponding to the cases in Eq (2): low, or “negative answer” (which is the subthreshold background output gi = αγ), and high, or “positive answer” (above-threshold output).
We note that each individual cell acts as a linear classifier in the transformed input space with coordinates (a1,a2) defined by the corresponding nonlinear input functions
(4)
Indeed, an individual ith cell generates high output when , or
(5)
where .
Such classifier divides the transformed input space into two regions, corresponding to either answer of the classifier, which we will refer to as the negative and the positive classes. The border separating the classes in the transformed input space is a straight line
(6)
Note that a1,2 as well as m1,2 can not be negative due to their meaning. In the following, a1,2 and m1,2 are assumed to be non-negative real numbers. In particular, it means that the space of inputs and the space of parameters are always limited to the first quadrant (or hyperoctant with all coordinates non-negative) of the full real space, regardless of its dimension.
Hard classification technique and learning strategy
An ensemble of linear classifiers can be utilized to perform a more complicated classification task with a piecewise-linear border in the transformed input space. Denote with Pi the positive class of the ith individual classifier:
(7)
Let all elements in the ensemble be given the same input. Then the whole ensemble can be used as a single distributed classifier, dividing the transformed input space into the positive class P = ⋃i Pi, where at least one individual classifier gives the positive answer, and the negative class , where all classifiers answer negatively (here the overbar “” denotes complement in the transformed input space), see Fig 2.
P1, P2, P3—positive classes of individual linear classifiers, D—negative class of the collective classifier.
By construction, the negative class D is entirely contained in each closed half-plane defined by any of its edges, which means it is always convex. The classification border is a polygonal line composed of segments, each described by an equation of type Eq (6), all having negative slope, because both and are positive. In the limit of large number of cells, the negative class becomes a convex region bordered by the coordinate axes and a smooth classification border having negative tangent slope at each point.
An ensemble constituting a distributed classifier with a specified (“target”) classification border (satisfying the requirements of negative slopes and convexity) can be prepared by the following learning algorithm. Let us start with a master population of linear classifiers of type Eq (7) with random parameters , distributed continuously over some interval. The aim of the learning is to keep all individual classifiers which answer correctly to all training examples and remove all incorrectly answering ones. To achieve this, we test the whole ensemble against a training sequence of samples from the negative class. All elements which answer positively to at least one negative sample are considered “incorrect” and are removed from the ensemble. This can be done, for example, using the fluorescence-activated cell sorting (FACS) technique. Positive class samples are not needed for learning, since hard classification fundamentally assumes separability of classes.
Actually, it is enough to use only samples located along the classification border. Although training sequences of this kind might be not available in real situations, theoretically, excluding the interior of the negative region from the training sequence leads to achieving the same learning outcome with a smaller number of samples.
The ensemble which remains after this learning procedure forms a distributed classifier with the class border determined by the training sequence. The actual set of cells constituting the trained distributed classifier is essentially the outcome of clipping the master population in the parameter space (m1,m2) with a certain mask, which completely characterizes the action of the learning algorithm. In other words, the trained ensemble is a set intersection of the master population with a region in the parameter space, which we will refer to as the “trained ensemble region”.
To get an insight into a quantitative description of hard learning strategy, we start with a trivial case when the target classification border is linear, defined by the equation
(8)
where μ1,2 are given constant coefficients, see Fig 3A. Although this classification task can be solved by a single linear classifier, we use it as a starting point to describe the training of a distributed classifier.
(A) Target classes: P—positive, D—negative. (B) Trained ensemble region on the plane of parameters: hatched area.
In the course of learning with a sequence of points distributed along the border Eq (8), any element having m1 > μ1 or m2 > μ2 will eventually answer positively and therefore will be removed from the ensemble. Thus, the trained ensemble region on the plane (m1,m2) is a rectangle (hatched area in Fig 3B).
Similarly, if the target border is a polygonal line (satisfying the requirements of negative slopes and convexity), with the target positive class being a union of several linear classes
(9)
where , are the coefficients of the individual segments of the target polygonal border, then the trained ensemble region on the plane (m1,m2) is a convex polygon with vertices , shown in Fig. S2A in S1 Appendix as hatched area.
In S1 Appendix we analyze the response of a trained hard classifier to an input taken from the positive class. In particular, a lower estimate is obtained for the quantity of cells answering positively to such inputs. It is found to be proportional to the density of the master population per unit of the logarithmic parameter space (logm1, logm2). It is also shown that the maximal quantity mmax, to which the region covered by the master population in the parameter space extends in both m1 and m2, should be not less than the inverse of the smaller intercept of the target class border (the intercepts are the abscissa and the ordinate of the points where the border crosses the axes Oa1 and Oa2).
Simulations
To illustrate and verify the analytical results, we performed numerical simulations. We specify the class border (black-white dashed line in Fig 4) composed of two sections. One section is a segment of the line a1+a2 = A, and the other one is an arc of the circle . The segments are connected at the point a1 = a2 = A/2, forming a smooth curve.
Response of a trained distributed classifier in the space of inputs. Black-white dashed line—target (predefined) class border, white (black) filled circles—samples from the negative (positive) class, color—number of the positively responding cells (quantities 40 and above marked with same color).
The negative class is the bounded part of the first quadrant of the plane (a1,a2), separated by the border. The training sequence of length Ntrain (white filled circles in Fig 4) is randomly sampled from the negative class. The positive class is additionally bounded by condition with B > A.
The master population of the classifier cells is obtained by randomly sampling the parameters (m1,m2) from the log-uniform distribution in the parameter space, bounded by the minimal and maximal values mmin and mmax. The total number of cells in the master population is Nmaster. The uniform density of cells per logarithmic unit of the parameter space is
(10)
The classifier is trained by presenting sequentially all training samples from the negative class, and discarding all cells answering positively to at least one sample. Algorithm description in Table 1 formalizes the above procedure.
In our simulation we let Nmaster = 300, Ntrain = 200, A = 6, B = 8. The smaller border intercept is . In accordance to the criterion formulated in the end of the previous subsection, we let mmax = 0.5 > 1/4.24, and mmin = mmax/100. We measure the quantity of the positively responding cells of the trained classifier as a function of the input (a1,a2). The result is depicted in Fig 4 in color code. The straight interfaces of color, distinguishable in the figure, are the borders of type Eq (6) associated with the individual linear classifiers (cells).
Soft classification problem
The approach considered above can only be applied to hard classification problems with a special type of the classification border (namely, the border must be a curve connecting the axes in the input space, having a negative slope at each point, with the negative class being a convex region, see subsection “Hard classification technique and learning strategy” for details). In order to address problems with classification border of more general type, or “soft” classification problems (i.e. problems with inseparable classes with a priori unknown probability distributions in the input space) we employ soft learning strategy and a two-input elementary classifier design with a bell-shaped response function, which was suggested in [16].
Two-input classifier with a bell-shaped response
An elementary classifier circuit providing a bell-shaped response in the two-dimensional input space can be constructed of two independent sensing branches, whose outputs are combined using a genetic AND gate (Fig 5) [16]. Each sensing branch is composed of two genetic modules, the sensor and the signal transducer [16]. The sensing module is monotonically induced by the corresponding input chemical signal Xj (j = 1,2) and drives the synthesis of an intermediate repressor/activator Uj. The signal transducer part is activated by Uj at intermediate concentrations and inhibited at higher concentrations, providing the maximal response at a certain concentration level. The classic well-characterized example of such promoter is the promoter PRM of phage lambda which provides this kind of non-monotonic response to the lambda repressor protein CI [26].
x1, x2—inputs inducing the corresponding promoters, RBSU1 and RBSU2—ribosome binding sites determining the strengths of the input branches, U1, U2—intermediate repressor/activator factors, Z1, Z2—outputs of the individual branches, GFP—reporter gene.
The outputs Zj of both sensing branches drive the expression of a reporter protein (e.g., GFP) through a two-input genetic AND gate. A number of circuits performing logical operations including AND have been developed and characterized recently [22–24]. When each sensing branch provides a bell-shaped response function, then the response of the full circuit will also be a bell-shaped function in the two-dimensional input space.
Omitting the indices j at all variables and parameters for the sake of conciseness and denoting the concentrations of X, U, Z with x, u and z, the steady-state concentration of each single sensing branch output Z can be written as [16]
(11)
where x is the input concentration, μu and μz are the degradation rates of U and Z, respectively; ru(⋅) and rz(⋅) are the effective production rates of U and Z described by standard Hill functions
(12)
(13)
where α determines the basal expression from the sensor promoter in the absence of the input chemical X, Au and Az are the dissociation constants of X and U with their corresponding promoters, the Hill coefficients pu and pz characterize the cooperativity of activation or repression of the corresponding promoters, mu and mz describe the overall expression strength of U and Z.
The function z(x) defined by Eqs (11)–(13) is bell-shaped in a range of mu/μu ∈ (Az,Az/α), with the position of the maximum determined by the value of mu/μu[16]. A master population of elementary two-input classifiers with response maxima randomly varied in the input space can be constructed by random variation of the sensory promoter strengths mu both among the individual cells, as well as among the two sensory branches in each cell. The variation range of the maximum position is limited by the parameter α, which is for common promoters of the order of 10−3[27, 28]. The full range can be covered, provided the promoter strengths mu are varied at least 1/α = 103 fold, which is achievable, for example, by varying the DNA sequence within and near the ribosome binding site of the sensory gene [17, 18].
In the following we let the mu parameters of the two sensory branches in a chosen ith cell take on the values and , the lower index denoting the input, the upper being the cell number, with all other parameters being the same in both sensory branches in all cells. We model the AND gate, which drives the reporter protein production, as a product of two Hill functions
(14)
where z1,2 are the inputs to the AND gate, β is a dimensional constant, Ag and pg are respectively the dissociation constant and the Hill coefficient for the AND gate (for simplicity we assume equal values for both inputs).
The inputs to the AND gate are essentially the outputs of the sensory branches, thus the output of a chosen ith cell finally is
(15)
where x1,2 are the classifier inputs, the function g(⋅, ⋅) is defined by Eq (14), and z(⋅) by Eqs (11)–(13) with mu substituted by or for either input branch, and index i labeling the individual cells.
Soft learning strategy
By “soft learning” we mean a learning strategy which reshapes the population density in the parameter space in response to a sequence of training examples in order to maximize the correct answer probability for the distributed classifier taken as a whole, without any hard separation of the cells into “correct” and “incorrect”.
This can be achieved by organizing a kind of population dynamics which gives preference to cells which tend to maximize the performance of the whole classifier. In the simplest case, the training examples are sequentially presented to all cells in the population, and some cells get eliminated from the population in a probabilistic way, with survival probability depending upon the cell output, given the a priori knowledge about the particular training example to belong to a certain class.
We use a more elaborate learning strategy incorporating a mechanism for conserving the total cell count. In the model description this is achieved by simply replacing each discarded cell with a duplicate of a randomly chosen cell from the population. In [16] it is shown that in the limit of infinite number of cells and infinite number of training samples the evolution of the population during this learning process is described by a set of ordinary differential equations in the form of a classical competition model. The viabilities of the competing cell types depend upon the correctness of their answers to the training samples. The same kind of dynamics can be approximately implemented in experiment, if the selection goes in parallel with cell division. The conserved number of cells is essentially the maximal (equilibrium) population size determined by experimental conditions. The cell viabilities can be controlled using FACS or by means of well-established genetically encoded positive/negative selection methods [29].
In consistency with [16], we specify the probabilities of cell survival after presenting each training example as
(16a)
(16b)
where g is the cell output upon presenting a training example, ξ = exp(8γ−1), γ controls the “softness” of the learning (the greater γ, the softer is the slope of p+(g) and p−(g)). Either p+(g) or p−(g) is used, depending on the class to which the training example is a priori known to belong. The functions specified in (Eqs 16a,16b) have maximal slope at g = 1/8. The cell output range should be scaled to cover this value by adjusting the constant β in Eq (14).
The output of a distributed classifier is the sum of all individual cell outputs:
(17)
where fi(x1,x2) is defined by Eq (15), and Nc is the total number of cells.
The classification decision is made by comparing the classifier output to a threshold θ:
(18)
where θ has to be adjusted after the learning to maximize the correct answer rate of the classifier.
The classification border is actually a level line of f(x1,x2) corresponding to the threshold θ. The aim of the soft learning is thus to reshape the population and select the optimal value of θ in a way that the corresponding level line is the best approximation of the (unknown a priori) optimal classification border. The computational criterion of this optimality is the maximization of the correct answer rate using the given training examples.
Simulations
We used algorithm described in Table 2 to implement the soft learning strategy. We demonstrate the use of the soft classification strategy to solve two problems which are not solvable with hard distributed classifiers described in section “Hard classification problem”. The first example has separable classes which consist of disjoint regions and thus do not satisfy the requirements of convexity and negative slopes which were imposed in subsection “Hard classification technique and learning strategy”. The positive class is specified as union of two circles on the (x1,x2) plane, one centered at x1 = x2 = A with radius R, and the other centered at x1 = x2 = B with radius 3R, and the negative class as union of two ellipses, one centered at x1 = A, x2 = B with semiaxes R and 3R, and the other centered at x1 = B, x2 = A with semiaxes and , where
(19)
The simulation parameters are Nc = 2⋅103, Ntrain = 100 (50 samples from each class), Niter = 1000, softness parameter γ = 0.4, mmin = 22 Az, mmax = 28 Az, Az = 20, mz = Au = 1, Ag = 2, pz = pu = pg = 2, α = 10−3. Output scaling constant β = 1056.25 is chosen so that cell output g ranges from 0 to 0.25 in consistency with expressions for survival probabilities (16a,16b). The simulation result is presented in Fig 6. All training samples are classified correctly after learning, but this becomes impossible in case of inseparable classification problems.
(A) Untrained (master) population output (color). (B) Trained population output (color). White (black) filled circles—samples from the negative (positive) class, black-white dashed line—classification border of the trained classifier.
The next example shows the classifier operation for inseparable classes. For either class we use a two-dimensional log-normal distribution resulting from independently sampling both inputs x1 and x2 from a one-dimensional log-normal distribution centered at logx1,2 = −2.4 (log10x1,2 ≈ −1.04) for the positive class, and at logx1,2 = −0.8 (log10x1,2 ≈ −0.35) for the negative class, with standard deviation of logx1,2 for both classes set to 0.5 (which makes approximately 0.22 in terms of log10x1,2). The length of the training sequence is Ntrain = 2000 (1000 samples from each class), chosen so that the distributions overlap is represented by a number of samples from both classes. Other simulation parameters are the same as in the previous example. The result of the simulation is presented in Fig 7 the same way as in the previous example. Since the training data are contradictory (overlapping), it is not possible to classify correctly all examples after learning. We observe, however, that the classification border produced by soft learning strategy separates the distributions close to a straight line equidistant from their centers in the logarithmic input space (which is the Bayesian solution).
Notations same as in Fig 6.
The successful classification rate of the distributed classifier computed by validation against a testing sequence of length Ntest = Ntrain = 2000 (1000 samples from each class) amounts to 98.35%, which is very close to the theoretical maximum of 98.82% set forth by the Bayesian classification rule. We performed another simulation with an increased overlap of the distributions, which is achieved by shifting the central point of the positive class to logx1,2 = −1.4 (log10 x1,2 ≈ −0.61), with all other conditions kept from the previous simulation. Validation against a test sequence yields performance 77.1%, while the Bayesian result is 80.19%.
There exist rigorous theorems on Bayes consistency (convergence to Bayesian decision boundaries) of classification methods [30], which applies to commonly used state-of-the-art machine learning methods. We did not carry out any rigorous consistency analysis for distributed classifiers, but based on the simulations we conclude that the considered mathematical model of distributed classifier demonstrates the possibility in principle to approach the theoretical maximum in classification performance. Biological implementation will face complications including cell count variation, transcriptional and instrumental noise, which inevitably cut down the classifier performance. That said, the simulation results justify the use of multi-input gene circuits in combination with distributed classifier approach to construct a learnable synthetic gene classifier.
Discussion
In this paper we have presented a design of multi-input classifiers to be implemented as a synthetic genetic network. We have considered two examples, corresponding to hard and soft learning strategy. As a multi-input classifier, these devices can solve classification task based on the data inseparable in the single dimension case. Moreover, the proposed design allows to achieve practically arbitrary shape of the classification border in the space of input signals. Here we have considered two-input genetic classifiers but the same design principles can be utilized to construct multi-input classifying devices, then the number of inputs is limited only by the availability of orthogonal input-inducible promoters and multi-input hybrid promoters.
Our approach challenged a problem of discrimination between classes with overlapping probability density distributions in the input space. In this case the classification error probability cannot vanish and has to be minimized. The optimal solution to this problem is given by the Bayesian classification rule [31]. In case of equal a priori probabilities for a randomly picked sample to belong to either class, the classification of a presented sample point from the parameter space is optimally done by comparing the class probability density functions at this point: the class with the greatest probability density value is the optimal answer to the classification problem. At the classification border the probability density functions become equal. If these functions are known a priori, then the optimal border is thus also known, and the problem reduces to “hard classification”.
When the probability density functions of the classes are not known a priori, the optimal classification rule is not known either, and the classifier has to be trained by examples. Hard learning is not applicable in this case, because it may eventually lead to discarding all cells. Inseparable classes with a priori unknown probability density functions require another learning strategy which we refer to as “soft learning”, when the decision to discard or to keep a particular cell upon presenting a training example is probabilistic, depending on the cell output.
Our consideration did not account for cell division. An accurate description of population dynamics should incorporate the dependence of the cell division rate upon the metabolic burden imposed by the synthetic constructs. This factor can play a destructive role on classification, since non-uniform cell duplication may reshape the trained population in a way that distorts the classifier output. Judging whether this effect will be important for the experimental system requires quantitative understanding of metabolic burden imbalance and its impact upon cell division. We leave it for a separate study.
Another challenge to implementation is noise, both biological and instrumental. In [16] performance of distributed classifiers based on single-input genetic circuits was studied in the presence of both mentioned types of noise. It was shown that noise, when not too strong, does not destroy the classifier performance. We note, that a distributed classifier must be more robust to noise than single-cell classifiers due to averaging out the individual cell noise in the summary output. In this study we did not specially address the problem of noise. We do not expect, however, any qualitative difference in noise robustness between single- and multi-input classifier circuits.
An important aspect of synthetic biology is the design of smart biological devices or new intelligent drugs, through the development of in vivo digital circuits [32]. If living cells can be made to function as computers, one could envisage, for instance, the development of fully programmable microbial robots that are able to communicate with each other, with their environment and with human operators. These devices could then be used, e.g., for detection of hazardous substances or even to direct the growth of new tissue. In that direction, pioneering experimental studies have shown the feasibility of programmed pattern formation [9], the possibility of implementing logical gates and simple devices within cells [33], and the construction of new biological devices capable to solve or compute certain problems [34].
The classifiers designed could be considered as a further development towards the construction of robust and predictable synthetic genetic biosensors, which have the potential to affect and effect a lot of applications in the biomedical, therapeutic, diagnostic, bioremediation, energy-generation and industrial fields [35–38].
Supporting Information
S1 Appendix. Deriving an estimate for hard classifier response.
https://doi.org/10.1371/journal.pone.0125144.s001
(PDF)
Author Contributions
Conceived and designed the experiments: OK LT RH AZ MI. Performed the experiments: OK RK. Analyzed the data: OK AA AZ MI. Wrote the paper: OK LT RH AA AZ MI.
References
- 1. Gardner TS, Cantor CR, Collins JJ. Construction of a genetic toggle switch in Escherichia coli. Nature. 2000;403(6767):339–42. pmid:10659857
- 2. Elowitz MB, Leibler S. A synthetic oscillatory network of transcriptional regulators. Nature. 2000;403(6767):335–8. pmid:10659856
- 3. Stricker J, Cookson S, Bennett MR, Mather WH, Tsimring LS, Hasty J. A fast, robust and tunable synthetic gene oscillator. Nature. 2008;456(7221):516–9. pmid:18971928
- 4. Tigges M, Marquez-Lago TT, Stelling J, Fussenegger M. A tunable synthetic mammalian oscillator. Nature. 2009;457(7227):309–12. pmid:19148099
- 5. Fung E, Wong WW, Suen JK, Bulter T, Lee SG, Liao JC. A synthetic gene-metabolic oscillator. Nature. 2005;435(7038):118–22. pmid:15875027
- 6. Danino T, Mondragon-Palomino O, Tsimring L, Hasty J. A synchronized quorum of genetic clocks. Nature. 2010;463(7279):326–30. pmid:20090747
- 7. Kim J, Winfree E. Synthetic in vitro transcriptional oscillators. Mol Syst Biol. 2011;7:465. pmid:21283141
- 8. Friedland AE, Lu TK, Wang X, Shi D, Church G, Collins JJ. Synthetic gene networks that count. Science. 2009;324(5931):1199–202. pmid:19478183
- 9. Basu S, Gerchman Y, Collins CH, Arnold FH, Weiss R. A synthetic multicellular system for programmed pattern formation. Nature. 2005;434(7037):1130–4. pmid:15858574
- 10. Fernando CT, Liekens AM, Bingle LE, Beck C, Lenser T, Stekel DJ, et al. Molecular circuits for associative learning in single-celled organisms. J R Soc Interface. 2009;6(34):463–9. pmid:18835803
- 11. Levskaya A, Chevalier AA, Tabor JJ, Simpson ZB, Lavery LA, Levy M, et al. Synthetic biology: engineering Escherichia coli to see light. Nature. 2005;438(7067):441–2. pmid:16306980
- 12. Bonnet J, Subsoontorn P, Endy D. Rewritable digital data storage in live cells via engineered control of recombination directionality. Proc Natl Acad Sci USA. 2012;109(23):8884–9. pmid:22615351
- 13. Tamsir A, Tabor JJ, Voigt CA. Robust multicellular computing using genetically encoded NOR gates and chemical ‘wires’. Nature. 2011;469(7329):212–5. pmid:21150903
- 14. Bonnet J, Yin P, Ortiz ME, Subsoontorn P, Endy D. Amplifying genetic logic gates. Science. 2013;340(6132):599–603. pmid:23539178
- 15. Siuti P, Yazbek J, Lu TK. Synthetic circuits integrating logic and memory in living cells. Nat Biotechnol. 2013;31(5):448–52. pmid:23396014
- 16. Didovyk A, Kanakov OI, Ivanchenko MV, Hasty J, Huerta R, Tsimring L. Distributed Classifier Based on Genetically Engineered Bacterial Cell Cultures. ACS Synth Biol. 2015;4(1):72–82. pmid:25349924
- 17. Salis HM, Mirsky EA, Voigt CA. Automated design of synthetic ribosome binding sites to control protein expression. Nat Biotechnol. 2009;27(10):946–950. pmid:19801975
- 18. Kudla G, Murray AW, Tollervey D, Plotkin JB. Coding-sequence determinants of gene expression in Escherichia coli. Science. 2009;324(5924):255–258. pmid:19359587
- 19. Pfleger BF, Pitera DJ, Smolke CD, Keasling JD. Combinatorial engineering of intergenic regions in operons tunes expression of multiple genes. Nat Biotechnol. 2006;24(8):1027–1032. pmid:16845378
- 20. Wang HH, Isaacs FJ, Carr PA, Sun ZZ, Xu G, Forest CR, et al. Programming cells by multiplex genome engineering and accelerated evolution. Nature. 2009;460(7257):894–898. pmid:19633652
- 21. Zelcbuch L, Antonovsky N, Bar-Even A, Levin-Karp A, Barenholz U, Dayagi M, et al. Spanning high-dimensional expression space using ribosome-binding site combinatorics. Nucleic Acids Res. 2013;41(9):e98–e98. pmid:23470993
- 22. Wang B, Kitney RI, Joly N, Buck M. Engineering modular and orthogonal genetic logic gates for robust digital-like synthetic biology. Nat Commun. 2011;2:508. pmid:22009040
- 23. Moon TS, Lou C, Tamsir A, Stanton BC, Voigt CA. Genetic programs constructed from layered logic gates in single cells. Nature. 2012;491(7423):249–253. pmid:23041931
- 24. Shis DL, Bennett MR. Library of synthetic transcriptional AND gates built with split T7 RNA polymerase mutants. Proc Natl Acad Sci USA. 2013;110(13):5028–5033. pmid:23479654
- 25. Buchler NE, Cross FR. Protein sequestration generates a flexible ultrasensitive response in a genetic network. Mol Syst Biol. 2009;5: 272. pmid:19455136
- 26.
Ptashne M. A genetic switch: Gene control and phage lambda. Palo Alto, CA (US); Blackwell Scientific Publications; 1986.
- 27. Lutz R, Bujard H. Independent and tight regulation of transcriptional units in Escherichia coli via the LacR/O, the TetR/O and AraC/I1 I2 regulatory elements. Nucleic Acids Res. 1997;25(6):1203–1210. pmid:9092630
- 28. Cox RS, Surette MG, Elowitz MB. Programming gene expression with combinatorial promoters. Mol Syst Biol. 2007;3: 145. pmid:18004278
- 29. Schaerli Y, Isalan M. Building synthetic gene circuits from combinatorial libraries: screening and selection strategies. Molecular BioSystems. 2013;9(7):1559–1567. pmid:23340599
- 30. Tewari A, Bartlett PL. On the consistency of multiclass classification methods. The Journal of Machine Learning Research. 2007;8:1007–1025.
- 31.
Duda RO, Hart PE, Stork DG. Pattern classification. John Wiley & Sons; 2012. 680 p.
- 32.
Weiss R, Homsy GE, Knight TF Jr. Toward in vivo digital circuits. In: Evolution as Computation. Springer; 2002. p. 275–295.
- 33. Moon TS, Lou CB, Tamsir A, Stanton BC, Voigt CA. Genetic programs constructed from layered logic gates in single cells. Nature. 2012;491(7423):249–253. pmid:23041931
- 34. Haynes KA, Silver PA. Eukaryotic systems broaden the scope of synthetic biology. J Cell Biol. 2009;187(5):589–96. pmid:19948487
- 35. Lu TK, Khalil AS, Collins JJ. Next-generation synthetic gene networks. Nat Biotechnol. 2009;27(12):1139–50. pmid:20010597
- 36. Khalil AS, Collins JJ. Synthetic biology: applications come of age. Nat Rev Genet. 2010;11(5):367–79. pmid:20395970
- 37. Ruder WC, Lu T, Collins JJ. Synthetic biology moving into the clinic. Science. 2011;333(6047):1248–52. pmid:21885773
- 38. Weber W, Fussenegger M. Emerging biomedical applications of synthetic biology. Nat Rev Genet. 2012;13(1):21–35.