- Research article
- Open Access
- Published:

# A simple theoretical framework for understanding heterogeneous differentiation of CD4^{+} T cells

*BMC Systems Biology*
**volumeÂ 6**, ArticleÂ number:Â 66 (2012)

## Abstract

### Background

CD4^{+} T cells have several subsets of functional phenotypes, which play critical yet diverse roles in the immune system. Pathogen-driven differentiation of these subsets of cells is often heterogeneous in terms of the induced phenotypic diversity. *In vitro* recapitulation of heterogeneous differentiation under homogeneous experimental conditions indicates some highly regulated mechanisms by which multiple phenotypes of CD4^{+} T cells can be generated from a single population of naÃ¯ve CD4^{+} T cells. Therefore, conceptual understanding of induced heterogeneous differentiation will shed light on the mechanisms controlling the response of populations of CD4^{+} T cells under physiological conditions.

### Results

We present a simple theoretical framework to show how heterogeneous differentiation in a two-master-regulator paradigm can be governed by a signaling network motif common to all subsets of CD4^{+} T cells. With this motif, a population of naÃ¯ve CD4^{+} T cells can integrate the signals from their environment to generate a functionally diverse population with robust commitment of individual cells. Notably, two positive feedback loops in this network motif govern three bistable switches, which in turn, give rise to three types of heterogeneous differentiated states, depending upon particular combinations of input signals. We provide three prototype models illustrating how to use this framework to explain experimental observations and make specific testable predictions.

### Conclusions

The process in which several types of T helper cells are generated simultaneously to mount complex immune responses upon pathogenic challenges can be highly regulated, and a simple signaling network motif can be responsible for generating all possible types of heterogeneous populations with respect to a pair of master regulators controlling CD4^{+} T cell differentiation. The framework provides a mathematical basis for understanding the decision-making mechanisms of CD4^{+} T cells, and it can be helpful for interpreting experimental results. Mathematical models based on the framework make specific testable predictions that may improve our understanding of this differentiation system.

## Background

CD4^{+} T helper cells serve as key players in host immune responses by regulating and coordinating a large repertoire of immune cells, such as macrophages, B cells and CD8^{+} T cells. Consequently, CD4^{+} T helper cells are critical in human health ranging from homeostasis to pathogenesis of diseases [1, 2]. Central to the functions of CD4^{+} T cells is their ability to produce a wide range of extracellular immunomodulating agents including cytokines and chemokines [3]. In order to correctly direct the immune response to antigen stimulation, CD4^{+} T cells have to secrete appropriate types of cytokines in appropriate amounts, and they achieve this by differentiating into various subtypes of functional CD4^{+} T cells from a pool of precursor cells, known as naÃ¯ve CD4^{+} T cells. These subsets primarily include T helper 1 (T_{H}1), T helper 2 (T_{H}2), T helper 17 (T_{H}17) and induced regulatory T (iT_{Reg}) cells. Each subtype of CD4^{+} T cells produces a distinctive spectrum of cytokines, and in each of these subtypes there is typically one key transcription factor, or master regulator, that is highly expressed and controls the expression of downstream genes, including those encoding the lineage specific cytokines. The master regulators for the four functional subsets are T-bet, GATA3, RORÎ³t and Foxp3, respectively [3].

The differentiation of CD4^{+} T cells is a highly controlled process, and the lineage specificity of the differentiation process is determined by integrating micro-environmental cues that activate various signaling pathways. These pathways include the T cell receptor (TCR) pathway and the Signal Transducer and Activator of Transcription (STAT) pathways [4, 5], which are activated by cognate antigens and cytokines, respectively. Other pathways, such as those associated with Notch and Toll-like receptors (TLRs), are also involved in differentiation of CD4^{+} T cells into distinct lineages [6â€“8].

In a few types of chronic infections, the dominance of one subtype of CD4^{+} T cells can be observed [9]. However, most immune responses elicit balanced phenotypes of functional CD4^{+} T cells and their effector molecules, suggesting the importance of maintaining the diversity and flexibility of functional CD4^{+} T cells [10, 11]. The importance of balancing the phenotypic composition is further corroborated by the fact that inappropriate dominance of particular subtype(s) of CD4^{+} T cells is often associated with inflammatory disorders [12â€“14]. It is not surprising to observe the balanced phenotypes of CD4^{+} T cells *in vivo*, given the plausible heterogeneous micro-environments of the naÃ¯ve CD4^{+} T cells, which may stimulate the differentiation into multiple subtypes of functional CD4^{+} T cells. Interestingly, however, highly purified naÃ¯ve CD4^{+} T cells can be induced to differentiate into multiple subtypes simultaneously in certain homogeneous *in vitro* experimental conditions [15â€“21]. Also interesting are the observations that optimum experimental conditions for generating homogeneous subsets of CD4^{+} T cells often include conditions that block the differentiation of undesired subsets [3]. These observations suggest that some highly regulated mechanisms, intrinsic to naÃ¯ve CD4^{+} T cells, generate and maintain phenotypic heterogeneity of functional CD4^{+} T cells. *In vitro* assays showing heterogeneous differentiation recapitulate, at least in part, the balanced CD4^{+} T cell populations observed *in vivo*. Understanding situations of induced heterogeneous differentiation will shed light on the mechanisms controlling the response of populations of CD4^{+} T cells under physiological conditions.

Although the overexpression of one type of master regulator is generally considered the hallmark of the differentiation of one subtype of CD4^{+} T cells, it has been recently discovered that cells highly expressing two types of master regulators exist *in vivo*[16, 17, 22â€“26], and some of these 'double-positive' phenotypes have been shown to be important in responding to pathogens [16, 17, 26]. Consistent with *in vivo* studies showing that the numbers of single-positive and double-positive CD4^{+} T cells can be increased in comparable proportions upon pathogenic challenges [16], *in vitro* induction of the differentiation of double-positive CD4^{+} T cells often requires heterogeneous differentiation, which is accompanied by the differentiation of single-positive phenotypes [15â€“17]. Some double-positive CD4^{+} T cells can be generated by reprogramming the single-positive phenotypes, which also results in a heterogeneous population containing both single-positive and double-positive cells [23, 24]. These experiments provide us with the clues to the conditions for generating double-positive phenotypes and highlight the intimate link between the double-positive phenotype and heterogeneous differentiation.

In most experiments demonstrating induction of heterogeneous differentiation, the expression levels of master regulators controlling two population subsets are examined at the single cell level. Despite the limited scope of these experiments in terms of the number of subsets considered, significant diversity of heterogeneous differentiation has been revealed. In a particular differentiation event, one can obtain one of the following types of heterogeneous populations (Figure 1): a population containing two types of single-positive cells [18], a population containing one type of single-positive cells and double-positive cells [17], and a population containing two types of single-positive cells and double-positive cells [15]. The diversity of heterogeneous differentiation in this minimum paradigm might be only the tip of an iceberg of complexity involving heterogeneous differentiation of all subsets of CD4^{+} T cells, but understanding a minimal system with only two classical subtypes is surely the place to start.

Previously, mathematical modeling has advanced our understanding of CD4^{+} T cell differentiation [27â€“32]. In particular, HÃ¶fer et al. [27] used a mathematical model to explain T_{H}2 cell fate memory created by positive feedbacks in the signaling network; Mariani et al. [28] used a similar model to demonstrate the robust lineage choice between T_{H}1 and T_{H}2 cells; Yates et al. [29] linked the dynamics of master regulators to the phenotypic composition of T_{H}1 and T_{H}2 cells during differentiation and reprogramming; van den Ham et al. [30] used a generic model to describe the switches among all CD4^{+} T cell lineages; and Naldi et al. [32] developed a Boolean-network model that takes all four lineages of CD4^{+} T cells into consideration. We recently used a mathematical model to study the reciprocal differentiation of T_{H}17 and iT_{Reg} cells, in which heterogeneous differentiation is observed [33]. It is unclear, however, how a broader spectrum of CD4^{+} T cells can be involved in heterogeneous differentiation and what determines the observed types of differentiated states.

Here, we propose a simple theoretical framework for understanding the heterogeneous differentiation of CD4^{+} T cells. We analyze the dynamic properties of a signaling network motif common to all CD4^{+} T cell lineages. We show that, at the level of cell populations, this motif can generate all possible homogeneous and heterogeneous phenotypic compositions with respect to a pair of master regulators, and at the single-cell level it ensures the robust commitment of a particular choice of differentiated state. Two types of positive feedback loops in this network motif govern three types of bistable switches, which in turn, result in three types of heterogeneous differentiation upon receiving appropriate combinations of input signals. This framework facilitates not only an intuitive understanding of the complex process by which CD4^{+} T cells integrate multiple signals to give rise to multiple functional phenotypes, but also the construction of more detailed mathematical models for studying CD4^{+} T cell differentiation. We provide three prototype models illustrating how to use this framework to explain experimental observations and make specific testable predictions.

## Results and discussion

### A basal signaling network motif is proposed to govern the differentiation of all lineages of CD4^{+} T cells

To consider the heterogeneous differentiation of CD4^{+} T cells, we introduce a minimal model based on a pair of master regulators (proteins X and Y). We neglect the influence of other master regulators during the differentiation process. In the undifferentiated (naÃ¯ve) cell, the expression levels of X and Y are both low, and the stable expression of either X or Y marks the differentiation event. Three phenotypes can be observed upon differentiation: X single-positive (XSP) cell, Y single-positive (YSP) cell, and double-positive (DP) cell (Figure 1A). In the model, heterogeneous differentiation is defined as the process in which more than one functional (non-naÃ¯ve) phenotypes can be observed upon uniform treatment of a population of simulated naÃ¯ve cells (see Methods).

In this minimum paradigm, three types of heterogeneous differentiation can be induced: 1) two different types of single-positive cells are differentiated simultaneously from naÃ¯ve precursors; 2) one type of single-positive cells differentiates simultaneously with double-positive cells; and 3) both types of single-positive cells differentiate simultaneously with double positive cells (Figure 1B). We define these three scenarios as Type 1, 2 and 3 heterogeneous differentiations, respectively.

We next propose a basal network motif that governs cell differentiation in this minimal model. Based on known molecular interactions, we notice that the four master regulators of CD4^{+} T cells are all involved in signaling networks of similar topologies (Figure 2A-C). From these examples, we introduce a â€˜basal motifâ€™ (Figure 2D). In the basal motif, two master regulators (X and Y) mutually inhibit each otherâ€™s expression, while activating their own production. Two types of signals are responsible for activating the expression of the master regulators: a 'primary signal' (S1) which is sufficient to fully upregulate at least one master regulator, and two polarizing signals (S2 and S3) which favor the expression of one master regulator or the other (X and Y, respectively) but are not sufficient to upregulate their expression in the absence of a primary signal (Figure 2D). Each influence relationship in this basal motif has direct biological meaning, but some components in this motif may represent different biological entities in different dual-master-regulator networks. For example, in the T_{H}1-T_{H}2 network (Figure 2B) the primary signal represents the TCR ligands, whereas in the iT_{Reg}-T_{H}17 network (Figure 2C) it represents a combined treatment of TCR ligands and TGFÎ², which is justified by the fact that both TCR and TGF-Î² signaling pathways activate both Foxp3 and RORÎ³t. Note that the signals, which are treated as parameters in our models, represent exogenous cytokine doses only, not endogenous cytokines produced by T cells upon activation. The latter are represented in part by the auto-activation relations.

In Table 1, we list the generic signaling components and their corresponding biological entities for each prototype model. Note that a TCR ligand is a typical example of a primary signal, and certain groups of cytokines correspond to polarizing signals. In Table 2, we list the evidences for all molecular influences of each prototype model.

We first analyze Type 1 heterogeneous differentiation using the core motif, in the absence of auto-activation, and then we use the full version of the basal motif to explain all three types of heterogeneous differentiation.

### The basal motif without auto-activations can generate Type 1 heterogeneous differentiation

#### The symmetric case

Consider first the case of perfectly symmetrical parameter settings (Additional file 1: Table S1 Generic Model 1) for the core motif without self-activations. (See the Methods section for a description of our mathematical model of the signaling motifs.) In the absence of exogenous signals, the system persists in the stable â€˜double-negativeâ€™ state corresponding to naÃ¯ve cells (Figure 3A). Small positive values of the primary signal (0â€‰<â€‰S1â€‰<â€‰0.704) drive the expression of modest amounts of both master regulators in a single cell. Larger values (0.704â€‰<â€‰S1â€‰<â€‰2.396) destabilize the co-expression state and give rise to two new (alternative) stable steady states: the X-high-Y-low state and the X-low-Y-high state, which correspond to XSP and YSP cells, respectively (Figure 3B). The basins of attraction of these two states are separated by the diagonal line (*X*â€‰=â€‰*Y*) through the state space. When the primary signal is extremely strong (S1â€‰>â€‰2.396), the system is attracted to a unique stable steady state (X-high-Y-high), corresponding to a DP cell (Figure 3C). Bifurcation analysis on these steady states shows that the system undergoes pitchfork bifurcations at S1â€‰=â€‰0.704 and at S1â€‰=â€‰2.396 (Figure 3D), a typical type of bifurcation obtained for dynamical systems with perfect symmetry [52â€“54]. Saturation of the primary signal may prevent cells from reaching the DP state (Additional file 2: Figure S1A and B).

The presence of a polarizing signal breaks the symmetry of the system, resulting in a pitchfork bifurcation with broken symmetry (Additional file 3: Figure S2A and B). To analyze the influence of polarizing signals on this dynamical system, we plot two-parameter bifurcation diagrams with respect to the primary signal and to each of the polarizing signals (e.g., Figure 3E, for S1 and S2). In Figure 3F we plot a â€˜bidirectionalâ€™ two-parameter bifurcation diagram, with S2 versus S1 plotted â€˜upâ€™ and S3 versus S1 plotted â€˜downâ€™ (see Methods for details). In Figure 3F we see a bistable region (bounded by the red curves) for moderate values of the primary signal strength (0.7-2.3 units) and for low values (0â€“0.35 units) of either of the polarizing signal strengths. Within the bistable region are found the two types of single-positive states. Outside the bistable region are found unique steady state solutions that vary continuously from the naÃ¯ve state on the left to the double-positive state on the right, through intermediate region (0.7â€‰<â€‰S1â€‰<â€‰2.3) dominated by XSP cells (for S2â€‰>â€‰0) or by YSP cells (for S3â€‰>â€‰0). Because of the perfect symmetry of the parameters, both of the cusps of the bistable region lie on the X-axis.

In order to predict the response of this regulatory system to changing stimuli (S1 and S2, or S1 and S3), we must be careful in interpreting the effects of trajectories crossing the two-parameter bifurcation diagram in Figure 3F. If we fix the polarizing signals at S3â€‰=â€‰0, S2â€‰=â€‰0.1 and increase the primary signal from 0 to 3, as in Additional file 3: Figure S2A and B, we see that the regulatory system passes smoothly from the naÃ¯ve state (X-low-Y-low) to the XSP state (X-high-Y-low) to the DP state (X-high-Y-high). The regulatory system passes over the bistable region without undergoing any abrupt changes of the state (bifurcation) or exhibiting hysteresis effects. On the other hand, if we fix the primary signal at S1â€‰=â€‰1.5 and increase one of the polarizing signals (either S2 or S3), as in Additional file 3: Figure S2â€‰C and D, we see that the regulatory system starts in one of the single-positive state and jumps abruptly to another single-positive state at a saddle-node bifurcation point. Also, the system exhibit hysteresis because, if the polarizing signal is reduced to zero after the jump occurs, the regulatory system remains stuck in the stable â€˜flippedâ€™ state (XSP if S2 increases/decreases, YSP if S3 increases/decreases). We call this type of response a â€˜reprogrammingâ€™ switch, because the control system flips irreversibly between alternative single-positive states. On the contrary, transitions from the naÃ¯ve or the DP state to either one of the single-positive states are smooth and reversible (they do not invoke reprogramming).

We next show that this network motif can generate heterogeneous differentiation and identify the parameter region in which a heterogeneous population can be obtained. To this end we simulate the induced differentiation process in a group of cells (with small cell-to-cell variability) exposed to various combinations of primary (S1) and polarizing signals (either S2 or S3). For each combination of S1 and S2 (or S3), we compute the percentages of cells of different phenotypes in the final (steady state) differentiated population. We plot these percentages (as heat maps) over the coordinates of the bidirectional two-parameter bifurcation diagram (see Additional file 4: Figure S3A-D). We summarize these results with a â€˜heterogeneity scoreâ€™ (see Methods) to highlight the region of parameter space that can generate heterogeneous populations (Figure 3G). Not surprisingly, in the absence of strong polarizing signals (S2â€‰â‰ˆâ€‰0 and S3â€‰â‰ˆâ€‰0), the primary signal can induce heterogeneous differentiation of two single-positive phenotypes (Figure 3G, bright area). This is because of the close proximity of the naÃ¯ve states to the separatrix, and the presence of cell-to-cell variability which can bias individual cells towards different phenotypes (Additional file 4: Figure S3E). The polarizing signal, on the other hand, makes the differentiation into one single-positive phenotype more likely, which can result in homogeneous differentiation once it is sufficiently strong (Figure 3G, dark area).

We next explore how the cell population responds to sequential stimuli rather than simultaneous stimuli. If the population is stimulated first by a polarizing signal and then, after the cells have reached their steady states, the simulations are continued in the presence of primary signal, we find that the response to sequential stimuli is very similar to the response to simultaneous stimuli (Figure 3H). But when we switch the sequence of the stimuli, the polarizing signal fails to influence cell fate in the bistable region, resulting in heterogeneous populations in this region (Figure 3I). This is due to a hysteresis effect, which prevents reprogramming by polarizing signals that are insufficiently strong. These results suggest that polarizing signals can influence cell fate determination until the induction of differentiation, after which their influence is greatly reduced.

#### Broken symmetry

The preceding analysis is based on a set of perfectly symmetrical parameters in the signaling network, although the exogenous polarizing signals can act as â€˜symmetry breakersâ€™. How differently does the regulatory system behave if its intrinsic kinetic parameters are not perfectly symmetrical? For illustrative purposes, we use a representative set of asymmetrical parameter values (Additional file 1: Table S1 Generic Model 2). Because of the asymmetries, the primary signal upregulates the two master regulators at different thresholds (Figure 4A and B), and the bistable region of the bidirectional two-parameter bifurcation diagram is re-oriented so that its cusps are located on different sides of the X-axis (Figure 4C). When we stimulate cell populations with combinations of primary and polarizing signals, we find that the parameter region that gives rise to heterogeneous populations is not coincident with the X-axis. Instead, the â€˜heterogeneousâ€™ region forms a patch that intersects the X-axis (Figure 4D). In this situation, the system requires a specific range of primary signal strength to generate a heterogeneous population. On the other hand, the primary signal now gains some control over cell fate determination, in addition to its ability to trigger the differentiation. For a similar network in B cells, Sciammas et al. [55] recently showed that the strength of the B cell receptor signal (primary signal) can determine cell fate because of the asymmetry of the network.

The effects of sequential stimuli in the asymmetrical model are similar to their effects in the symmetrical model (Figure 4E and F).

Up to this point, we have assumed that the relaxation rates of X and Y are identical \left({\mathrm{\xce\xb3}}_{\text{X}}={\mathrm{\xce\xb3}}_{\text{Y}}=5\right). Breaking this symmetry changes the parameter combinations that generate heterogeneous differentiation without changing the bifurcation diagram (Additional file 5: Figure S4). This result, together with the responses to sequential stimuli discussed earlier, shows that although the bistable region is critical to obtaining heterogeneous differentiation, the exact phenotypic composition within the bistable region also depends on the kinetics of the signal inputs and the intrinsic relaxation rates of the master regulators.

We suggest that biological signaling networks of this type (i.e., those resembling the basal motif) may have evolved to take advantage of either symmetrical or asymmetrical types of behavior. A typical asymmetrical design is found in the T_{H}1 and T_{H}2 paradigm, in which TCR signaling not only triggers the heterogeneous differentiation of both T_{H}1 and T_{H}2, but also regulates their phenotypic compositions depending on signal strength (discussed in detail in later section). With this understanding, one can design experiments to study more detailed signal-control principles of a particular signaling network governing heterogeneous differentiation.

### The basal network motif with additional positive feedback loops can generate all types of heterogeneous differentiation

Previously, mathematical modelers found that interconnected positive feedback loops can give rise to complex multistability in CD4^{+} T cell differentiation [28] and elsewhere [54]. It is still not clear, however, how these different multistable regions depend on the interconnection of multiple positive feedback loops, nor how one can use biologically relevant signals to guide cells into various multistable regions, where heterogeneous differentiation might occur. In this section, we show that our basal motif can give rise to complex multistability, we clarify the effects of the additional positive feedback loops using bifurcation analysis, and we explain the biological meaning of each parameter region in the context of the heterogeneous differentiation of CD4^{+} T cells.

For illustrative purpose, we first choose another set of perfectly symmetrical parameters (Additional file 1: Table S1 Generic Model 3). This model differs from Generic Model 1 in that the double-negative feedback (mutual inhibition) is not strong enough to create bistability. Nonetheless, with the addition of symmetrical increase of auto-activation loops, a bistable region first appears in the intermediate range (1.7â€‰<â€‰S1â€‰<â€‰2.4) of the primary signal (Additional file 6: Figure S5A), similar to the case of Generic Model 1 (Figure 3D). Further increase of the auto-activation weights enlarges the bistable region, and at a critical point (weightsâ€‰=â€‰1.8), the pitchfork bifurcation changes from supercritical (Additional file 6: Figure S5A, weightsâ€‰=â€‰1.5) to subcritical (Additional file 6: Figure S5B, weightsâ€‰=â€‰3.2). Beyond the transition from supercritical to subcritical, each pitchfork bifurcation gives rise to two saddle-node bifurcation points (Additional file 6: Figure S5B and C). On the bidirectional (S1-S2-S3) two-parameter bifurcation diagram (Figure 5A), each cusp region 'folds back' to form three interconnected cusp regions, which govern two new bistable regions and one tristable region (Figure 5A). Further increase of the auto-activation weights enlarges the original bistable region as well as the newly formed multistable regions. Eventually, the plane on the bidirectional two-parameter bifurcation diagram is divided into 11 regions with distinct stability features (Figure 5B).

We clarify this unique two-parameter bifurcation diagram as follows. If the autoactivation loops are absent or weaker, the parameter region outside of the reprogramming switch bistable region (Figure 3F) is continuous and monostable, although it can represent four types of steady states. Essentially, strong auto-activation loops create folding in this monostable region so that it is divided into four monostable regions separated by four new bistable regions. This structure effectively creates an additional level of robustness of cell fate commitment, which is rendered by two new types of bistable switches, in addition to the reprogramming switch. One type of switch consists of the two bistable regions located at lower range of the primary signal (Figure 5B, light blue areas), which controls differentiation/dedifferentiation commitment, i.e. the switches from or to the naÃ¯ve state (Additional file 6: Figure S5D and E). Another type of switch consists of the two bistable regions located at higher range of the primary signal (Figure 5B, light yellow areas), which controls co-expression commitment, i.e. the switches from or to the double-positive state (Additional file 6: Figure S5D and E). We define these two switches as the â€˜differentiation switchâ€™ and the â€˜co-expression switchâ€™ respectively. The tri-stable regions in this diagram are the overlapping areas between the bistable regions governed by the reprogramming switch and either the differentiation or the co-expression switch. In fact, extremely high weights (>4) of auto-activation may give rise to a tetra-stable region, where the three types of the bistable regions overlap (Additional file 6: Figure S5C).

In summary, the positive feedback loop involving mutual inhibition of the master regulators can create the reprogramming switch, and additional feedback loops involving auto-activation can enhance the robustness of the reprogramming switch and create the differentiation switch and the co-expression switch. The features of the three bistable switches are listed in Table 3.

We next ran simulations to check whether these regions of multistability are correlated to various types of heterogeneous differentiation. Our results show that Type 1 heterogeneous differentiation can be induced in the reprogramming switch region (Figure 5C) (this is consistent with the results obtained with the core motif), Type 2 heterogeneous differentiation can be induced in the co-expression bistable switch regions (Figure 5D and E), and Type 3 heterogeneous differentiation can be induced in the tri-stable region consisting of three functional (non-naÃ¯ve) states (Figure 5F). These types of heterogeneous differentiations are all robust in terms of single cell commitment because the corresponding parameter regions admit a variety of stable steady states.

Positive feedback loops have long been recognized as mechanisms for biological switches [56â€“58]. We have demonstrated that two types of positive feedback in the CD4^{+} T cell differentiation network underlie three types of bistable switches that govern the transitions among different phenotypes of those T cells. In addition to ensuring the robust commitment, the multistability created by positive feedback loops may be used to generate phenotypic diversities of various types. In this context, the biological functions of the positive feedback loops are seen as more versatile than giving rise to simple on-or-off switches.

Our theoretical analysis of the basal regulatory motif (Figure 2D) started with symmetrical parameter values and then considered the effects of broken symmetries. In the next section, we show how non-symmetrical prototype models of heterogeneous differentiation among real lines of CD4^{+} T cells can be studied within this unifying framework despite their diverse features.

### Mathematical models based on the theoretical framework can be used to understand experimental results and make testable predictions

In this section we discuss three prototype models for studying heterogeneous differentiation of CD4^{+} T cells. The first two models are aimed to explain some interesting biological phenomena that were not studied previously with mathematical modeling. The third one is a simplified version of our previous model [33], but we have made it more accessible by using the framework presented here. Because of their limited scope, none of these models are intended to provide a comprehensive understanding of the corresponding biological systems. Rather, our intention is to illustrate how to use the modeling framework to explain observed heterogeneous differentiation and make testable predictions.

Prototype Model 1: Heterogeneous differentiation of T_{H}1 and T_{H}2 cells

Previous mathematical models successfully described the dynamic behavior and the underlying molecular control system of the reciprocal differentiation of T_{H}1 and T_{H}2 cells [27â€“31]. However, heterogeneous differentiation of T_{H}1 and T_{H}2 cells and its underlying molecular controls were not studied with these models. Yamashita et al. [18] discovered that the heterogeneous differentiation of T_{H}1 and T_{H}2 cells can be obtained with antigenic stimulations. Similar observations were obtained by Hosken et al. [20], and Messi et al. [21]. We have built a mathematical model, based on the influence diagram in Figure 2A, to describe heterogeneous differentiation of T_{H}1 and T_{H}2 cells. The parameter values for the model are listed in Additional file 1: Table S2.

Figure 6A shows the bidirectional two-parameter bifurcation diagram, and Figure 6B shows the simulation results as the heterogeneity score with respect to the two single-positive phenotypes. Our simulation results suggest that exogenous polarizing signals, i.e. IL-4 and IL-12, are not sufficient to trigger differentiation. They must be accompanied by a sufficiently high dose of antigenic stimulant (TCR signal) to trigger the differentiation into the corresponding phenotypes. This conclusion is in agreement with previous experimental results [18]. High strength of TCR signal alone (>1 unit) or with intermediate level of IL-4 (0.3 unit) was sufficient to induce the differentiation of two single-positive phenotypes. With increasing strengths of TCR signal, our simulations show a spectrum of heterogeneous populations with increasing percentages of T_{H}2 cells and decreasing percentage of T_{H}1 cells. The following experimental findings are consistent with our simulation. Messi et al. [21] observed the heterogeneous differentiation of T_{H}1 and T_{H}2 with IL-4 and antigenic stimulant. Yamashita et al. [18] observed a similar pattern of heterogeneous populations with increasing doses of antigenic stimulant in the presence of an intermediate level of IL-4. Hosken et al. [20] also observed such pattern with a different type of antigenic stimulant, although only a narrow range of stimulant concentrations could give rise to heterogeneous populations. Clearly, our model predicts that in order to achieve comparable proportions of T_{H}1 cells and T_{H}2 cells, one would need a higher dose of antigenic stimulant without exogenous IL-4 as compared to with exogenous IL-4. Based on the bifurcation diagram, we also predict that a slow increase of stimulant concentration favors the differentiation of T_{H}1 cells. Additionally, the simulation results and bifurcation analysis show that the double-positive phenotype can be obtained in the presence of T_{H}1 polarizing signals. Hegazy et al. [24] have discovered that exogenous T_{H}1 polarizing signals can reprogram T_{H}2 cells into T-bet^{+}GATA3^{+} cells in the presence of antigenic stimulant. Our model predicts that the differentiation of such double-positive phenotype can be directly induced by high dose of antigenic stimulant (>2 units) in the presence of exogenous T_{H}1 polarizing signals (0.5 unit), and the differentiation is likely to be heterogeneous with the concurrent induction of two types of single-positive cells, in addition to the double-positive cells. If we reduce the auto-activation weight of GATA3 (see Methods), then the TCR signal primarily triggers the differentiation of T_{H}1 cells instead of a heterogeneous population (Figure 6C and D). Maruyama et al. [59] demonstrated that TCR signal alone can induce a significant fraction of GATA3^{+} cells (this is consistent with the experimental findings mentioned above), and blocking the auto-activation feedback between GATA3 and IL-4 prevents the induction of GATA3^{+} cells. Our model predicts that the population may be dominated by T_{H}1 cells under this condition.

Table 4 summarizes the published observations consistent with our simulation results and new predictions based on the bifurcation analyses and simulation results.

Prototype Model 2: Heterogeneous differentiation of T_{H}1 and T_{H}17 cells

We build a prototype model to study the heterogeneous differentiation of T_{H}1 and T_{H}17 cells that was recently demonstrated by Ghoreschi et al. [17]. The influence diagram of the model is shown in Figure 2B, and the parameter values are listed in Additional file 1: Table S3. In the presence of TCR signal alone, the simulated population is dominated by T_{H}1 cells (Figure 7A and B). When the TCR signal is combined with IL-23â€‰+â€‰IL-1 polarizing signal, the induced population contains both the T-bet^{+}RORÎ³t^{-} single-positive phenotype and the T-bet^{+}RORÎ³t^{+} double positive phenotype (Figure 7A and B). When the TCR signal is combined with TGF-Î² (another polarizing signal), the population is dominated by the T-bet^{-}RORÎ³t^{+} single-positive phenotype (Figure 7C and D). These results are consistent with the observations of Ghoreschi et al. [17]. Our model predicts that lowering the TCR signal strength may result in the reprogramming from T-bet^{+}RORÎ³t^{+} double positive phenotype to T-bet^{+}RORÎ³t^{-} single positive phenotype even in the presence of a strong IL-23â€‰+â€‰IL-1 signal and that when low dose of TGF-Î²â€‰+â€‰IL-6 (â‰ˆ0.4 unit) is used, one may observe the heterogeneous differentiation of T_{H}1 and T_{H}17 cells. Also, the model recapitulates the scenario in which knocking out T-bet genes resulted in the homogeneous differentiation into T-bet^{-}RORÎ³t^{+} single-positive phenotype when either of the polarizing signals is used (Additional file 7: Figure S6) [17].

Simulation results with testable predictions are summarized in Table 5.

Prototype Model 3: Heterogeneous differentiation of iT_{Reg} and T_{H}17 cells

Heterogeneous differentiation of iT_{Reg} and T_{H}17 cells has been observed in many experiments [15, 16, 19]. Here we present a prototype model based on the influence diagram (Figure 2C) and the parameter values (Additional file 1: Table S4). The model shows that a combination of TGF-Î² and TCR signal can drive a heterogeneous population containing Foxp3^{+}RORÎ³t^{-}, Foxp3^{-}RORÎ³t^{+} and Foxp3^{+}RORÎ³t^{+} phenotypes (Figure 8A and B, tri-stable region at TCRâ€‰+â€‰TGF-Î² signalâ€‰â‰ˆâ€‰1.8). Raising the strength of TGF-Î²â€‰+â€‰TCR signal or adding IL-6 (a T_{H}17 polarizing signal) can skew the population into Foxp3^{-}RORÎ³t^{+} and Foxp3^{+}RORÎ³t^{+} phenotypes (Figure 8A and B, bistable region in the upper plot at highest level of TCRâ€‰+â€‰TGF-Î² signal). These results are in agreement with previous experimental observations [15, 16]. Predictions made from the model include: 1) an intermediate TGF-Î²â€‰+â€‰TCR signal (1â€“1.5 units) favors heterogeneous differentiation of Foxp3^{+}RORÎ³t^{-} and Foxp3^{-}RORÎ³t^{+} populations; 2) an intermediate level of TGF-Î²â€‰+â€‰TCR signal (1â€“1.5 units) with an iT_{Reg} polarizing signal produces a homogeneous Foxp3^{+}RORÎ³t^{-} population; and 3) a high level of TGF-Î²â€‰+â€‰TCR signal (>2 units) with an iT_{Reg} polarizing signal induces heterogeneous Foxp3^{+}RORÎ³t^{-} and Foxp3^{+}RORÎ³t^{+} populations.

Simulation results with testable predictions are summarized in Table 6.

## Conclusions

In this study, we have demonstrated that a simple signaling network motif can be responsible for generating all possible types of heterogeneous populations with respect to a pair of master regulators controlling CD4^{+} T cell differentiation. We showed how naÃ¯ve CD4^{+} T cells can integrate multiple types of signals to differentiate into populations of diverse phenotypes. We illustrate the theoretical framework with three specific cases and made testable predictions.

It is becoming evident that certain signals can drive the differentiation of multiple lineages of T cells, whereas other environmental cues can skew the outcome to specific phenotypes [60]. Because the proposed basal motif appears commonly in the signaling networks controlling CD4^{+} T cell differentiation, biological examples of this framework are clearly not limited to the prototype models we presented here. For example, it has been recently demonstrated that STAT3 activation is required for T_{H}2 differentiation [61]. This gives the possibility that IL-6, which upregulates RORÎ³t via STAT3 activation [62], can act as a primary signal giving rise to heterogeneous T_{H}2 and T_{H}17 populations if the cells are primed with certain amount of other signals, such as TCR, TGFÎ² and IL-4.

Our study suggests the importance of regulated cell-to-cell variations that can be exploited to generate phenotypic diversity in CD4^{+} T cells. The significance of such variations in some other biological systems has been highlighted by other groups. Feinerman et al. [63] discovered that the cell-to-cell variations in the expression levels of some key co-receptors in CD8^{+} T cells can be critical for achieving diversity in TCR responses. Similarly, Chang et al. [64] demonstrated that variations in the expression of stem cell markers can influence the fate of the cell. We have used a simple generic form to account for cell-to-cell variability in this study (i.e. parametric variations), it would be interesting to study which specific variable factors in naÃ¯ve CD4^{+} T cells can be predictive of the phenotypic compositions in an induced population. Harnessing such factors might be useful for fine-tuning the immune system to prevent and treat diseases.

Our modeling approach has the advantage of describing non-linear responses in biochemical reactions without knowing detailed biochemical mechanisms and kinetics, which are generally unavailable for T cell differentiation. It has the disadvantage that parameters in the equations are phenomenological and cannot be related to biochemical reaction rate constants. We expect that other modeling approaches, such as ordinary differential equations with Hill function nonlinearities, will produce results similar to ours.

We are aware of the following limitations of this framework. First, all master regulators of CD4^{+} T cell may influence each other during differentiation. Thus considering only a pair of master regulators may not be sufficient to describe all important components governing the heterogeneous differentiation of CD4^{+} T cells. Secondly, cell-to-cell communication is neglected in our models of cell population. We assume that our models describe the initial phase of differentiation and that the phenotypic compositions of the population do not change significantly during the differentiation process. The validity of this assumption needs to be examined in future studies.

## Methods

### Dynamical model

We modeled the signaling network motifs with a generic form of ordinary differential equations (ODEs) that describe both gene expression and protein interaction networks [65â€“67]. Each ODE in our model has the form:

Where *X*_{
i
} is the activity or concentration of protein *i*. On a time scaleâ€‰=â€‰1/Î³_{
i
}, *X*_{
i
}(*t*) relaxes toward a value determined by the sigmoidal function, *F*, which has a steepness set by {\mathrm{\xcf\u0192}}_{i}. The basal value of *F*, in the absence of any influencing factors, is determined by {\mathrm{\xcf\u2030}}_{i}^{o}. The coefficients {\mathrm{\xcf\u2030}}_{j\xe2\u2020\u2019i} determine the influence of protein *j* on protein *i*. *N* is the total number of proteins in the network.

All variables and parameters are dimensionless. One time unit in our simulations corresponds to 1.5â€‰days. Parameter values are listed in supplementary tables.

All simulations and bifurcation analyses were performed with PyDSTool, a software environment for dynamical systems [68].

### Bifurcation diagrams

In order to visualize the response of the T cell differentiation network to multiple signals (a primary differentiation signal and two types of polarizing signals), we have employed bidirectional two-parameter bifurcation diagrams, as in [69]. The two two-parameter bifurcation diagrams share the same primary bifurcation parameter (the primary differentiation signal, S1) on the horizontal axis. The secondary bifurcation parameters (the polarizing signals, S2 and S3) are plotted on the vertical axis: one in the upward direction and the other in the downward direction. The bidirectional two-parameter bifurcation diagram allows one to analyze the response of the regulatory system to the primary signal alone or in combination with either of the polarizing signals. Although this two-dimensional representation does not allow a full analysis of the responses to all three types of signals simultaneously, it is very useful in understanding the complex interplay between signals and responses in these heterogeneous differentiation systems. We ran simulations for a population of naÃ¯ve CD4^{+} T cells, and we overlaid the simulation results on the bidirectional two-parameter bifurcation diagrams, allowing one to visualize the bifurcation analyses and simulation results simultaneously (detailed below).

### Cell-to-cell variability

To account for cell-to-cell variability in a population, we made many simulations of the system of ODEs, each time with a slightly different choice of parameter values, to represent slight differences from cell to cell. We allowed all of the parameters in our model to change simultaneously, and we assumed that the value of each parameter conforms to a normal distribution with CVâ€‰=â€‰0.05 (CVâ€‰=â€‰coefficient of variationâ€‰=â€‰standard deviation / mean). The mean value that we specified for each parameter distribution is also referred as the â€˜basalâ€™ value of that parameter. In our bifurcation analysis of the dynamical system, we considered an imaginary cell that adopts the basal value for each of its parameters, and we defined this cell as the â€˜averageâ€™ cell. Note that none of the cells in our simulated population is likely to be this average cell, because every parameter value is likely to deviate a little (CVâ€‰=â€‰5â€‰%) from the basal value.

In order to simulate the induced differentiation process, we first solved the ODEs numerically with some small initial values of master regulator concentrations in the absence of any exogenous signals. After a short period of time, each simulated cell will find its own, stable â€˜double-negativeâ€™ steady state, corresponding to a naÃ¯ve CD4^{+} T cell. Next, we changed the primary and/or polarizing signals to certain positive values and continued the numerical simulation. If needed, we continued the simulation again with a second change of primary and/or polarizing signals. By the end of the simulation, each cell arrives at its corresponding â€˜inducedâ€™ phenotype, which might vary from cell to cell because of the parametric variability of the population. We repeated this simulation 200 times for a given set of exogenous signals to represent the responses of 200 cells in a population. We made the simple definition that a protein is expressed when its level is greater than 0.5 units. The simulations for a cell population were repeated 40x40 times with primary and polarizing signals of various strengths, and we overlaid the final steady state phenotypic composition on the point with corresponding coordinates on the bidirectional two-parameter bifurcation diagram.

### Mutant simulation

The experiment of knocking out GATA3-IL-4 feedback was simulated with reduced weight of auto-activation of GATA-3 to one-tenth of the original value. The experiment of knocking out T-bet genes was simulated by setting {\mathrm{\xcf\u2030}}_{\text{T-bet}}^{\text{o}}= âˆ’17 (10 times its value in the basal model).

### Heterogeneity score

To summarize simulations results with multiple phenotypes and to highlight heterogeneous and homogeneous populations in parameter space, we compute a â€˜heterogeneity scoreâ€™ for a simulation as follows.

The scoring function takes a list of â€˜phenotypes of interestâ€™ ({P}_{1}\text{,}\xe2\u20ac\xa6,{P}_{n}), and computes the sum of the pairwise heterogeneities, which are based on the numbers of cells of any two different phenotypes ({C}_{{P}_{i}} and {C}_{{P}_{j}}). The score is normalized with respect to the number of phenotypes of interest (*n*) and the total number of cells in the population (*N*). *S*_{H}â€‰â‰ˆâ€‰1 when there are comparable numbers of cells of the phenotypes of interest in the population, *S*_{H}â€‰â‰ˆâ€‰âˆ’1 when the population is dominated by one phenotype out of all the phenotypes of interest, and *S*_{H}â€‰â‰ˆâ€‰0 when there are few cells with the phenotypes of interest in the population, or the degree of heterogeneity is moderate.

## References

Dranoff G, Jaffee E, Lazenby A, Golumbek P, Levitsky H, Brose K, Jackson V, Hamada H, Pardoll D, Mulligan RC:

**Vaccination with irradiated tumor cells engineered to secrete murine granulocyte-macrophage colony-stimulating factor stimulates potent, specific, and long-lasting anti-tumor immunity.***Proc Natl Acad Sci U S A*1993,**90:**3539-3543. 10.1073/pnas.90.8.3539Moir S, Chun TW, Fauci AS:

**Pathogenic mechanisms of HIV disease.***Annu Rev Pathol*2011,**6:**223-248. 10.1146/annurev-pathol-011110-130254Zhu J, Yamane H, Paul WE:

**Differentiation of effector CD4 T cell populations.***Annu Rev Immunol*2010,**28:**445-489. 10.1146/annurev-immunol-030409-101212Nakayama T, Yamashita M:

**The TCR-mediated signaling pathways that control the direction of helper T cell differentiation.***Semin Immunol*2010,**22:**303-309. 10.1016/j.smim.2010.04.010O'Shea JJ, Lahesmaa R, Vahedi G, Laurence A, Kanno Y:

**Genomic views of STAT function in CD4+ T helper cell differentiation.***Nat Rev Immunol*2011,**11:**239-250. 10.1038/nri2958Fang TC, Yashiro-Ohtani Y, Del Bianco C, Knoblock DM, Blacklow SC, Pear WS:

**Notch directly regulates Gata3 expression during T helper 2 cell differentiation.***Immunity*2007,**27:**100-110. 10.1016/j.immuni.2007.04.018Reynolds JM, Pappu BP, Peng J, Martinez GJ, Zhang Y, Chung Y, Ma L, Yang XO, Nurieva RI, Tian Q, Dong C:

**Toll-like receptor 2 signaling in CD4(+) T lymphocytes promotes T helper 17 responses and regulates the pathogenesis of autoimmune disease.***Immunity*2010,**32:**692-702. 10.1016/j.immuni.2010.04.010Amsen D, Blander JM, Lee GR, Tanigaki K, Honjo T, Flavell RA:

**Instruction of distinct CD4 T helper cell fates by different notch ligands on antigen-presenting cells.***Cell*2004,**117:**515-526.Sher A, Coffman RL:

**Regulation of immunity to parasites by T cells and T cell-derived cytokines.***Annu Rev Immunol*1992,**10:**385-409. 10.1146/annurev.iy.10.040192.002125O'Shea JJ, Paul WE:

**Mechanisms underlying lineage commitment and plasticity of helper CD4+ T cells.***Science*2010,**327:**1098-1102. 10.1126/science.1178334Murphy KM, Stockinger B:

**Effector T cell plasticity: flexibility in the face of changing circumstances.***Nat Immunol*2010,**11:**674-680.Littman DR, Rudensky AY:

**Th17 and regulatory T cells in mediating and restraining inflammation.***Cell*2010,**140:**845-858. 10.1016/j.cell.2010.02.021Romagnani S:

**Immunologic influences on allergy and the TH1/TH2 balance.***J Allergy Clin Immunol*2004,**113:**395-400. 10.1016/j.jaci.2003.11.025Mauri C, Williams RO, Walmsley M, Feldmann M:

**Relationship between Th1/Th2 cytokine patterns and the arthritogenic response in collagen-induced arthritis.***Eur J Immunol*1996,**26:**1511-1518. 10.1002/eji.1830260716Zhou L, Lopes JE, Chong MM, Ivanov II, Min R, Victora GD, Shen Y, Du J, Rubtsov YP, Rudensky AY, et al:

**TGF-beta-induced Foxp3 inhibits T(H)17 cell differentiation by antagonizing RORgammat function.***Nature*2008,**453:**236-240. 10.1038/nature06878Lochner M, Peduto L, Cherrier M, Sawa S, Langa F, Varona R, Riethmacher D, Si-Tahar M, Di Santo JP, Eberl G:

**In vivo equilibrium of proinflammatory IL-17+ and regulatory IL-10+ Foxp3+ RORgamma tâ€‰+â€‰T cells.***J Exp Med*2008,**205:**1381-1393. 10.1084/jem.20080034Ghoreschi K, Laurence A, Yang XP, Tato CM, McGeachy MJ, Konkel JE, Ramos HL, Wei L, Davidson TS, Bouladoux N, et al:

**Generation of pathogenic T(H)17 cells in the absence of TGF-beta signalling.***Nature*2010,**467:**967-971. 10.1038/nature09447Yamashita M, Kimura M, Kubo M, Shimizu C, Tada T, Perlmutter RM, Nakayama T:

**T cell antigen receptor-mediated activation of the Ras/mitogen-activated protein kinase pathway controls interleukin 4 receptor function and type-2 helper T cell differentiation.***Proc Natl Acad Sci U S A*1999,**96:**1024-1029. 10.1073/pnas.96.3.1024Molinero LL, Miller ML, Evaristo C, Alegre ML:

**High TCR stimuli prevent induced regulatory T cell differentiation in a NF-kappaB-dependent manner.***J Immunol*2011,**186:**4609-4617. 10.4049/jimmunol.1002361Hosken NA, Shibuya K, Heath AW, Murphy KM, O'Garra A:

**The effect of antigen dose on CD4+ T helper cell phenotype development in a T cell receptor-alpha beta-transgenic model.***J Exp Med*1995,**182:**1579-1584. 10.1084/jem.182.5.1579Messi M, Giacchetto I, Nagata K, Lanzavecchia A, Natoli G, Sallusto F:

**Memory and flexibility of cytokine gene expression as separable properties of human T(H)1 and T(H)2 lymphocytes.***Nat Immunol*2003,**4:**78-86. 10.1038/ni872Ayyoub M, Deknuydt F, Raimbaud I, Dousset C, Leveque L, Bioley G, Valmori D:

**Human memory FOXP3+ Tregs secrete IL-17 ex vivo and constitutively express the T(H)17 lineage-specific transcription factor RORgamma t.***Proc Natl Acad Sci U S A*2009,**106:**8635-8640. 10.1073/pnas.0900621106Voo KS, Wang YH, Santori FR, Boggiano C, Arima K, Bover L, Hanabuchi S, Khalili J, Marinova E, Zheng B, et al:

**Identification of IL-17-producing FOXP3+ regulatory T cells in humans.***Proc Natl Acad Sci U S A*2009,**106:**4793-4798. 10.1073/pnas.0900408106Hegazy AN, Peine M, Helmstetter C, Panse I, Frohlich A, Bergthaler A, Flatz L, Pinschewer DD, Radbruch A, Lohning M:

**Interferons direct Th2 cell reprogramming to generate a stable GATA-3(+)T-bet(+) cell subset with combined Th2 and Th1 cell functions.***Immunity*2010,**32:**116-128. 10.1016/j.immuni.2009.12.004Zhu J, Paul WE:

**Peripheral CD4+ T-cell differentiation regulated by networks of cytokines and transcription factors.***Immunol Rev*2010,**238:**247-262. 10.1111/j.1600-065X.2010.00951.xAbromson-Leeman S, Bronson RT, Dorf ME:

**Encephalitogenic T cells that stably express both T-bet and ROR gamma t consistently produce IFNgamma but have a spectrum of IL-17 profiles.***J Neuroimmunol*2009,**215:**10-24. 10.1016/j.jneuroim.2009.07.007Hofer T, Nathansen H, Lohning M, Radbruch A, Heinrich R:

**GATA-3 transcriptional imprinting in Th2 lymphocytes: a mathematical model.***Proc Natl Acad Sci U S A*2002,**99:**9364-9368. 10.1073/pnas.142284699Mariani L, Lohning M, Radbruch A, Hofer T:

**Transcriptional control networks of cell differentiation: insights from helper T lymphocytes.***Prog Biophys Mol Biol*2004,**86:**45-76. 10.1016/j.pbiomolbio.2004.02.007Yates A, Callard R, Stark J:

**Combining cytokine signalling with T-bet and GATA-3 regulation in Th1 and Th2 differentiation: a model for cellular decision-making.***J Theor Biol*2004,**231:**181-196. 10.1016/j.jtbi.2004.06.013van den Ham HJ, de Boer RJ:

**From the two-dimensional Th1 and Th2 phenotypes to high-dimensional models for gene regulation.***Int Immunol*2008,**20:**1269-1277. 10.1093/intimm/dxn093Mendoza L, Xenarios I:

**A method for the generation of standardized qualitative dynamical systems of regulatory networks.***Theor Biol Med Model*2006,**3:**13. 10.1186/1742-4682-3-13Naldi A, Carneiro J, Chaouiya C, Thieffry D:

**Diversity and plasticity of Th cell types predicted from regulatory network modelling.***PLoS Comput Biol*2010,**6:**e1000912. 10.1371/journal.pcbi.1000912Hong T, Xing J, Li L, Tyson JJ:

**A mathematical model for the reciprocal differentiation of T helper 17 cells and induced regulatory T cells.***PLoS Comput Biol*2011,**7:**e1002122. 10.1371/journal.pcbi.1002122Placek K, Gasparian S, Coffre M, Maiella S, Sechet E, Bianchi E, Rogge L:

**Integration of distinct intracellular signaling pathways at distal regulatory elements directs T-bet expression in human CD4+ T cells.***J Immunol*2009,**183:**7743-7751. 10.4049/jimmunol.0803812Yamane H, Zhu J, Paul WE:

**Independent roles for IL-2 and GATA-3 in stimulating naive CD4+ T cells to generate a Th2-inducing cytokine environment.***J Exp Med*2005,**202:**793-804. 10.1084/jem.20051304Zhu J, Guo L, Watson CJ, Hu-Li J, Paul WE:

**Stat6 is necessary and sufficient for IL-4's role in Th2 differentiation and cell expansion.***J Immunol*2001,**166:**7276-7281.Usui T, Preiss JC, Kanno Y, Yao ZJ, Bream JH, O'Shea JJ, Strober W:

**T-bet regulates Th1 responses through essential effects on GATA-3 function rather than on IFNG gene acetylation and transcription.***J Exp Med*2006,**203:**755-766. 10.1084/jem.20052165Zhu J, Jankovic D, Grinberg A, Guo L, Paul WE:

**Gfi-1 plays an important role in IL-2-mediated Th2 cell expansion.***Proc Natl Acad Sci U S A*2006,**103:**18214-18219. 10.1073/pnas.0608981103Mullen AC, High FA, Hutchins AS, Lee HW, Villarino AV, Livingston DM, Kung AL, Cereb N, Yao TP, Yang SY, Reiner SL:

**Role of T-bet in commitment of TH1 cells before IL-12-dependent selection.***Science*2001,**292:**1907-1910. 10.1126/science.1059835Ouyang W, Lohning M, Gao Z, Assenmacher M, Ranganath S, Radbruch A, Murphy KM:

**Stat6-independent GATA-3 autoactivation directs IL-4-independent Th2 development and commitment.***Immunity*2000,**12:**27-37. 10.1016/S1074-7613(00)80156-9Yang XO, Nurieva R, Martinez GJ, Kang HS, Chung Y, Pappu BP, Shah B, Chang SH, Schluns KS, Watowich SS, et al:

**Molecular antagonism and plasticity of regulatory and inflammatory T cell programs.***Immunity*2008,**29:**44-56. 10.1016/j.immuni.2008.05.007Yang L, Anderson DE, Baecher-Allan C, Hastings WD, Bettelli E, Oukka M, Kuchroo VK, Hafler DA:

**IL-21 and TGF-beta are required for differentiation of human T(H)17 cells.***Nature*2008,**454:**350-352. 10.1038/nature07021Gorelik L, Constant S, Flavell RA:

**Mechanism of transforming growth factor beta-induced inhibition of T helper type 1 differentiation.***J Exp Med*2002,**195:**1499-1505. 10.1084/jem.20012076Lazarevic V, Chen X, Shim JH, Hwang ES, Jang E, Bolm AN, Oukka M, Kuchroo VK, Glimcher LH:

**T-bet represses T(H)17 differentiation by preventing Runx1-mediated activation of the gene encoding RORgammat.***Nat Immunol*2011,**12:**96-104. 10.1038/ni.1969Mukasa R, Balasubramani A, Lee YK, Whitley SK, Weaver BT, Shibata Y, Crawford GE, Hatton RD, Weaver CT:

**Epigenetic instability of cytokine and transcription factor gene loci underlies plasticity of the T helper 17 cell lineage.***Immunity*2010,**32:**616-627. 10.1016/j.immuni.2010.04.016Gutcher I, Donkor MK, Ma Q, Rudensky AY, Flavell RA, Li MO:

**Autocrine transforming growth factor-beta1 promotes in vivo Th17 cell differentiation.***Immunity*2011,**34:**396-408. 10.1016/j.immuni.2011.03.005Kimura A, Kishimoto T:

**IL-6: regulator of Treg/Th17 balance.***Eur J Immunol*2010,**40:**1830-1835. 10.1002/eji.201040391Elias KM, Laurence A, Davidson TS, Stephens G, Kanno Y, Shevach EM, O'Shea JJ:

**Retinoic acid inhibits Th17 polarization and enhances FoxP3 expression through a Stat-3/Stat-5 independent signaling pathway.***Blood*2008,**111:**1013-1020.Mucida D, Park Y, Kim G, Turovskaya O, Scott I, Kronenberg M, Cheroutre H:

**Reciprocal TH17 and regulatory T cell differentiation mediated by retinoic acid.***Science*2007,**317:**256-260. 10.1126/science.1145697Gavin MA, Rasmussen JP, Fontenot JD, Vasta V, Manganiello VC, Beavo JA, Rudensky AY:

**Foxp3-dependent programme of regulatory T-cell differentiation.***Nature*2007,**445:**771-775. 10.1038/nature05543Burgler S, Mantel PY, Bassin C, Ouaked N, Akdis CA, Schmidt-Weber CB:

**RORC2 is involved in T cell polarization through interaction with the FOXP3 promoter.***J Immunol*2010,**184:**6161-6169. 10.4049/jimmunol.0903243Laslo P, Spooner CJ, Warmflash A, Lancki DW, Lee HJ, Sciammas R, Gantner BN, Dinner AR, Singh H:

**Multilineage transcriptional priming and determination of alternate hematopoietic cell fates.***Cell*2006,**126:**755-766. 10.1016/j.cell.2006.06.052Huang S, Guo YP, May G, Enver T:

**Bifurcation dynamics in lineage-commitment in bipotent progenitor cells.***Dev Biol*2007,**305:**695-713. 10.1016/j.ydbio.2007.02.036Guantes R, Poyatos JF:

**Multistable decision switches for flexible control of epigenetic differentiation.***PLoS Comput Biol*2008,**4:**e1000235. 10.1371/journal.pcbi.1000235Sciammas R, Li Y, Warmflash A, Song Y, Dinner AR, Singh H:

**An incoherent regulatory network architecture that orchestrates B cell diversification in response to antigen signaling.***Mol Syst Biol*2011,**7:**495.Griffith JS:

**Mathematics of cellular control processes. II. Positive feedback to one gene.***J Theor Biol*1968,**20:**209-216. 10.1016/0022-5193(68)90190-2Thomas R:

**Logical analysis of systems comprising feedback loops.***J Theor Biol*1978,**73:**631-656. 10.1016/0022-5193(78)90127-3Roessler OE:

**Basic circuits for fluid automata and relaxation systems.***Z Naturforsch*1972,**27:**333-343.Maruyama T, Li J, Vaque JP, Konkel JE, Wang W, Zhang B, Zhang P, Zamarron BF, Yu D, Wu Y, et al:

**Control of the differentiation of regulatory T cells and T(H)17 cells by the DNA-binding inhibitor Id3.***Nat Immunol*2011,**12:**86-95. 10.1038/ni.1965Powell JD, Delgoffe GM:

**The mammalian target of rapamycin: linking T cell differentiation, function, and metabolism.***Immunity*2010,**33:**301-311. 10.1016/j.immuni.2010.09.002Stritesky GL, Muthukrishnan R, Sehra S, Goswami R, Pham D, Travers J, Nguyen ET, Levy DE, Kaplan MH:

**The transcription factor STAT3 is required for T helper 2 cell development.***Immunity*2011,**34:**39-49. 10.1016/j.immuni.2010.12.013Dong C:

**TH17 cells in development: an updated view of their molecular identity and genetic programming.***Nat Rev Immunol*2008,**8:**337-348. 10.1038/nri2295Feinerman O, Veiga J, Dorfman JR, Germain RN, Altan-Bonnet G:

**Variability and robustness in T cell activation from regulated heterogeneity in protein levels.***Science*2008,**321:**1081-1084. 10.1126/science.1158013Chang HH, Hemberg M, Barahona M, Ingber DE, Huang S:

**Transcriptome-wide noise controls lineage choice in mammalian progenitor cells.***Nature*2008,**453:**544-547. 10.1038/nature06965Wilson HR, Cowan JD:

**Excitatory and inhibitory interactions in localized populations of model neurons.***Biophys J*1972,**12:**1-24.Mjolsness E, Sharp DH, Reinitz J:

**A connectionist model of development.***J Theor Biol*1991,**152:**429-453. 10.1016/S0022-5193(05)80391-1Tyson JJ, Novak B:

**Functional motifs in biochemical reaction networks.***Annu Rev Phys Chem*2010,**61:**219-240. 10.1146/annurev.physchem.012809.103457Clewley R, Sherwood WE, LaMar MD, Guckenheimer JM:

*PyDSTool, a software environment for dynamical systems modeling*. [http://pydstool.sourceforge.net] []Tyson JJ, Novak B:

**Temporal organization of the cell cycle.***Curr Biol*2008,**18:**R759-R768. 10.1016/j.cub.2008.07.001

## Acknowledgements

TH was supported by a Transdisciplinary Team Science Fellowship from the Virginia Bioinformatics Institute, and by an NIH Grant (R01 GM078989-05) to JJT. LL was partially supported by grants from NIH (R0164414) and the American Heart Association. JX was supported by an NSF grant (DMS-0969417) and an NIAID grant 1R03AI099120. The funders had no role in study design, data collection and analysis, decision to publish, or preparation of the manuscript.

## Author information

### Authors and Affiliations

### Corresponding author

## Additional information

### Competing interests

The authors declare that they have no competing interests.

### Authorsâ€™ contributions

Conceived and designed the experiments: TH JX LL JJT. Performed the experiments: TH. Analyzed the data: TH JX LL JJT. Wrote the paper: TH LL JJT. All authors read and approved the final manuscript.

## Electronic supplementary material

### Additional file 6: **Figure S5.** Additional bifurcation analyses of the full basal motif. (TIFF 508 KB)

### 12918_2011_915_MOESM7_ESM.tiff

Additional file 7: **Figure S6.** Simulation results of Prototype Model 2 (heterogeneous differentiation of T_{H}1 and T_{H}17 cells) with T-bet knocked-out. (TIFF 596 KB)

## Authorsâ€™ original submitted files for images

Below are the links to the authorsâ€™ original submitted files for images.

## Rights and permissions

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

## About this article

### Cite this article

Hong, T., Xing, J., Li, L. *et al.* A simple theoretical framework for understanding heterogeneous differentiation of CD4^{+} T cells.
*BMC Syst Biol* **6**, 66 (2012). https://doi.org/10.1186/1752-0509-6-66

Received:

Accepted:

Published:

DOI: https://doi.org/10.1186/1752-0509-6-66

### Keywords

- Master Regulator
- Prototype Model
- Polarize Signal
- Pitchfork Bifurcation
- Bistable Region