Next Article in Journal
Critical Domain Problem for the Reaction–Telegraph Equation Model of Population Dynamics
Next Article in Special Issue
Gray Codes Generation Algorithm and Theoretical Evaluation of Random Walks in N-Cubes
Previous Article in Journal
Quasirecognition by Prime Graph of the Groups 2D2n(q) Where q < 105
Previous Article in Special Issue
Asynchronous Iterations of Parareal Algorithm for Option Pricing Models
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

Theoretical Study of the One Self-Regulating Gene in the Modified Wagner Model

1
Femto-ST Institute, UMR 6174 CNRS, University of Bourgogne Franche-Comté, 90000 Belfort, France
2
EGCE, CNRS-IRD-Université Paris-Saclay, 91198 Gif-sur-Yvette, France
*
Author to whom correspondence should be addressed.
Mathematics 2018, 6(4), 58; https://doi.org/10.3390/math6040058
Submission received: 31 January 2018 / Revised: 6 March 2018 / Accepted: 31 March 2018 / Published: 9 April 2018

Abstract

:
Predicting how a genetic change affects a given character is a major challenge in biology, and being able to tackle this problem relies on our ability to develop realistic models of gene networks. However, such models are rarely tractable mathematically. In this paper, we propose a mathematical analysis of the sigmoid variant of the Wagner gene-network model. By considering the simplest case, that is, one unique self-regulating gene, we show that numerical simulations are not the only tool available to study such models: theoretical studies can be done too, by mathematical analysis of discrete dynamical systems. It is first shown that the particular sigmoid function can be theoretically investigated. Secondly, we provide an illustration of how to apply such investigations in the case of the dynamical system representing the one self-regulating gene. In this context, we focused on the composite function f a ( m . x ) where f a is the parametric sigmoid function and m is a scalar not in { 0 , 1 } and we have proven that the number of fixed-point can be deduced theoretically, according to the values of a and m.

1. Introduction

Predicting the effect of a genetic change (differences in the DNA molecule) on a character of interest (which can be related to, e.g., human health, plant and animal production, or evolutionary differences between species) remains a major challenge in biology [1]. This is mainly due to the fact that cell physiology is heavily regulated by complex gene networks, which are able to compensate various genetic defects or environmental disturbances. Understanding how DNA variation translates to observable (phenotypic) variation, due for instance to a modification of the conformation of proteins [2] or DNA [3] a is of obvious importance, although very complex. Being able to tackle this complexity relies, among other things, on our ability to develop realistic models of such gene networks.
There exist several kinds of biological interactions that can be modeled as gene networks (e.g., signal transduction, metabolism, or transcription regulation). The literature proposes several modeling frameworks for each of them based on various biological hypotheses and different time scales [4,5,6,7]. More generally, [8] provides a complete review of biological systems inspired by network science. An interesting subset of gene network models does not aim at predicting the behavior of a specific group of identified genes in an organism, but are rather used as a general abstraction of a gene network, in order to study their evolutionary properties in individual-based simulations [9,10]. Although naive in terms of biological hypotheses, these models are particularly important because they could contribute to unifying systems biology and evolutionary genetics.
The most popular framework in this field is the so-called “Wagner Model” (after [9,11]). This model is an abstraction of the interactions between transcription factors (genes that regulate the expression of other genes). The structure of the n-gene network is encoded into a n × n matrix (W in the original model, thereafter noted M), which is constant for an organism, and the status of the gene network (the expression of the n genes of the network) is encoded into a vector S of size n. The dynamics of the gene network over a finite number of discrete time steps is modeled as a system of n linear difference equations, often written as S t + 1 = F ( M S t ) , where F ( x ) = [ f ( x 1 ) , f ( x 2 ) , , f ( x n ) ] , in which f is a scaling function. The n 2 elements of matrix M are real numbers representing the influence of gene j on gene i ( M i j < 0 for repression, M i j > 0 for up-regulation, and M i j = 0 for the absence of interaction). Self regulation is possible (and realistic), i.e., S i i can be different from 0. The purpose of the scaling function f is to ensure that gene expressions S remain in their domain of definition. The gene network starts from an initial vector of gene expressions S 0 , generally set at an arbitrary level.
In the original setting from [11], gene expressions were discrete and could take only two values, −1 for no expression and 1 for an expressed gene, f ( x ) was thus a step function ( f ( x < 0 ) = 1 ; f ( 0 ) = 0 ; f ( x > 0 ) = 1 ). Alternative parameterization include e.g., scaling between 0 and 1 [12]. An overview of the diversity of similar settings is provided in [13]. Recent implementations of the model consider continuous gene expressions, and the step function was turned into a sigmoid, scaling gene expressions between −1 and 1 ( f ( x ) = 2 / ( 1 + e x ) 1 , see [14,15]). For more realism, the sigmoid function can also be further modified to ensure that genes are only weakly expressed in absence of regulators, by considering that f ( 0 ) = a < 1 / 2 , as in [16], and which is the model studied below.
The main purpose of such models is to ensure that any combination M , S 0 can be solved computationally (e.g., as the state of the network S T after T time-steps) within a predictable (most of the time, constant) amount of time. This is of major importance in individual-based computer simulations or other numerical studies in which the network structure M can mutate and evolve over time. The lack of mathematical tractability remains, however, problematic, as it makes it difficult to compare simulation results with classical predictions from population and quantitative genetics models [17,18].
This is why, in this article, a mathematical analysis of the sigmoid variant of the Wagner gene-network model is presented, focusing on the simplest case, that is, one unique self-regulating gene. It is demonstrated that, in addition to classical numerical simulations, this model can be theoretically studied too, by the means of mathematical analysis of discrete dynamical systems. It is first shown that the particular sigmoid function, usually studied within this model, can be theoretically investigated, and such investigations are secondly partially applied to the dynamical system representing the one self-regulating gene. Finally, some ways to extend the analysis to the multiple gene case are sketched.
The remainder of this article is structured as follows. In the next section, the parameterized sigmoid function is deeply studied by the means of mathematical analysis. Effects of parameter changes on its shape are discussed too, and a systematic investigation of its fixed points is finally provided. Section 3, for its part, focuses on the discrete dynamical system of the modified Wagner model. The one self-regulating gene model is next partially studied, in a particular situation and then in its most general formulation. This article ends by a conclusion section, in which the contribution is summarized and intended future work is outlined.

2. Studying the Sigmoid Function

We first provide some rationales about the sigmoid function usually considered in the variant of the Wagner gene-network model studied here [16]. They will be used in the next section, when studying the one self-regulating gene system.

2.1. Introducing the Considered Sigmoid

Let us consider a ] 0 , 1 [ and the particular sigmoid function defined by:
x R , f a ( x ) = 1 1 + λ e μ x
with λ = 1 a a > 0 and μ = 1 a ( 1 a ) = 1 a + 1 1 a > 1 .
This function, and its parameters, have been chosen in order to have:
  • a continuous increasing function,
  • the limit of f a as x approaches negative infinity is 0,
  • the limit of f a as x approaches infinity is 1,
  • f a ( 0 ) = a and f a ( 0 ) = 1 ,
which corresponds to the curve depicted in Figure 1.
f a is a smooth function, with
x R , f a ( x ) = λ μ e μ x 1 + λ e μ x 2 > 0 .
we can thus verify that f a is strictly increasing. Additionally, we can reformulate this derivative, to relate it to the logistic map:
f a ( x ) = μ f a ( x ) 1 f a ( x ) .

2.2. About λ and μ Parameters

Let us now investigate the two parameters inside f a that both depend on a. λ ( a ) = 1 a 1 has a curve depicted in Figure 2a. μ ( a ) = 1 a + 1 1 a , for its part, has a derivative equal to:
μ ( a ) = 2 a 1 a 2 ( 1 a ) 2 ,
whose variation table is as described in Figure 3.
Let us thus remark that λ μ = 1 a 2 > 1 , next that λ μ = ( 1 a ) 2 ] 0 , 1 [ and finally that h is always greater or equal than 4.

2.3. Fixed Point of f a

One of the most important elements to study, when investigating the Wagner model, is the existence and meaning of fixed points. We will show that the fixed points of the one self-regulating gene model are related to those of the modified sigmoid function f a , which are studied hereafter.
We can first remark that, as a [ 0 , 1 ] , f a is continuous and such that f a ( [ 0 , 1 ] ) f a ( [ 0 , 1 ] ) , it is thus a function mapping a compact convex set to itself. Due to Brouwer’s fixed-point theorem, f a has at least one fixed point in [ 0 , 1 ] . Let us prove that,
Theorem 1.
a [ 0 , 1 ] , f a has one unique fixed point in R , which is within [ 0 , 1 ] .
Proof. 
Let us first remark that, if f a has a fixed point x ¯ , then it satisfies:
x ¯ = 1 1 + λ e μ x ¯ .
Moreover, as f a ( x ¯ ) = x ¯ on the one hand, and f a ( R ) = ] 0 , 1 [ on the other hand, we necessarily have:
x ¯ ] 0 , 1 [ .
Additionally, 0 < x ¯ and f a is strictly increasing, so f a ( 0 ) < f a ( x ¯ ) , which leads to a < x ¯ . To sum up, if f a has a fixed point x ¯ , then this latter satisfies:
0 < a < x ¯ < 1 .
Let us consider a fixed point x for f a . So we have:
f a ( x ) = x 1 1 + λ e μ x x = 0 h ( x ) = 1 1 + λ e μ x 1 x λ x e μ x = 0 .
Let us define H ( x ) = 1 x λ x e μ x , so x is a fixed point for f a if and only if it is a zero of H: H ( x ) = 0 . Let us study the variations of H function.
H ( x ) = 1 λ e μ x + λ μ x e μ x = λ e μ x ( μ x 1 ) 1 H ( x ) = λ μ e μ x ( μ x 1 ) λ μ e μ x = λ μ e μ x ( 2 μ x ) > 0 x < 2 μ ,
which leads to the variations depicted in Figure 4.
Depending on the sign of λ e 2 1 , H can be either negative on the whole R set, or positive on a bounded interval containing 2 μ . More precisely,
λ e 2 1 0 λ e 2 1 a 1 e 2 a 1 e 2 + 1 ] 0 , 1 [ .
  • If a 1 e 2 + 1 , then H 0 on R , and we have lim x H ( x ) = lim x 1 x λ x e μ x = + and lim x + H ( x ) = , which leads to the variations depicted in Figure 5.
    Consequently, if a 1 e 2 + 1 , then H ( x ) = 0 has one unique solution, i.e., f a has one unique fixed point.
  • If a 1 e 2 + 1 , then there exist two real numbers x 1 and x 2 such that the variation table of Figure 6 is satisfied for H.
    -
    H 2 μ = 1 2 μ 2 λ μ e 2 . As μ 4 , we deduce that 2 μ 1 2 . Additionally, e 2 < 1 4 and λ μ = ( 1 a ) 2 ] 0 , 1 [ , then 2 λ μ e 2 < 1 2 . As a conclusion, H 2 μ > 0 .
    As H 2 μ > 0 , H is increasing on [ 2 μ , x 2 ] , H decreases on [ x 2 , + [ , and the limit of H of x as x approaches + equals , we can deduce that H ( x ) = 0 has an unique solution on 2 μ , , on a point x ¯ > x 2 . In particular, f a has one unique fixed point in this interval.
    -
    We show that H ( x 1 ) > 0 , and so f a has no fixed point on , 2 μ .
    H ( x 1 ) = 0 , then λ e μ x 1 ( μ x 1 1 ) 1 = 0 λ e μ x 1 = 1 μ x 1 1 . So: H ( x 1 ) = λ x 1 e μ x 1 + x 1 1 = x 1 μ x 1 1 + x 1 1 = ( μ x 1 2 μ x 1 + 1 ) ( μ x 1 1 ) .
    Furthermore, H 1 μ = λ e 1 ( 1 1 ) 1 < 0 , and H is increasing on , 2 μ (as H > 0 on this interval). As H ( x 1 ) = 0 , we can deduce that x 1 > 1 μ . Consequently, μ x 1 1 > 0 . Let j ( x ) = μ x 2 μ x + 1 . Since 1 + λ e μ x 1 > 0 , thus H ( x 1 ) is negative if and only if j ( x 1 ) 0 . We now investigate the sign of j.
    As 0 < 1 μ < x 1 < 2 μ 1 2 , it is sufficient to study j on the interval I = 0 , 1 2 .
    j ( x ) = μ ( 2 x 1 ) , so j is strictly decreasing on I. The discriminant of the quadratic equation j ( x ) = 0 being μ ( μ 4 ) 0 , the latter has two solutions μ ± μ ( μ 4 ) 2 μ , which are equal when μ = 4 (i.e., when a = 1 2 ). Note that only μ μ ( μ 4 ) 2 μ may belong to I, and that the latter is equal to 1 2 1 4 1 μ = 1 2 1 4 a ( 1 a ) = 1 2 a 1 2 2 . We successively have
    1 2 a 1 2 2 = 1 4 a 1 2 2 1 2 + a 1 2 2 = a 2 + a 1 2 + a 1 2 2 = a ( a 1 ) 1 2 + a 1 2 2
    which is positive for each a ] 0 , 1 [ and less than 1 2 . Thus μ μ ( μ 4 ) 2 μ ] 0 , 1 / 2 [ and we have the variations depicted in Figure 7.
    If x 1 belongs to 0 , μ μ ( μ 4 ) 2 μ , then j ( x 1 ) is positive and H ( x 1 ) is negative.
    Let us show that x 1 μ μ ( μ 4 ) 2 μ , 1 2 . As a 1 e 2 + 1 , we then have a 1 2 < 0 , and so a 1 2 2 = 1 2 a . Finally, μ μ ( μ 4 ) 2 μ = a . As stated at the beginning of the proof, since x 1 is a root of H, x 1 is a fixed point for f a and thanks to (7).
    a < x 1 , and so j ( x 1 ) < 0 , as j is decreasing with j ( a ) = 0 . To put it in a nutshell, H ( x 1 ) > 0 .
A numerical simulation based on a dichotomic approach to solve the equation
x ¯ = 1 1 + λ ( a ) e μ ( a ) x ¯
on ] 0 , 1 [ , leads to the curve depicted in Figure 8.
Let us now establish the following result:
Proposition 1.
For all x ] 0 , 1 [ , | f a ( x ) | < 1 .
Proof. 
As stated previously (Equation (3)), f a ( x ) = μ f a ( x ) 1 f a ( x ) . So, we have
f a ( x ) = μ f a ( x ) 1 f a ( x ) μ f a ( x ) f a ( x ) = μ f a ( x ) 1 2 f a ( x ) .
Thanks to inequation (2) it can be deduced that f a ( x ) shares then the same sign than 1 2 f a on R , and consequently on [ 0 , 1 ] where the fixed point x ¯ is located. Furthermore,
1 2 f a ( x ) 0 f a ( x ) 1 2 1 1 + λ e μ x 1 2 1 + λ e μ x 2 e μ x 1 λ x l n ( λ ) μ .
But l n ( λ ) μ 0 λ 1 1 a 1 1 a 1 2 .
So, if a 1 2 , then l n ( λ ) μ 0 , and thus x [ 0 , 1 ] , x l n ( λ ) μ . This implies that x [ 0 , 1 ] , 1 2 f a ( x ) 0 , and so x [ 0 , 1 ] , f a ( x ) 0 . In other words, if a 1 2 , then f a decreases in [ 0 , 1 ] , and so:
x [ 0 , 1 ] , 0 f a ( x ) f a ( 0 ) = a < 1 .
To sum up, if a 1 2 , then f a is a contraction mapping such that | f a | is bounded by a.
Let us now consider a < 1 2 , and x ˇ = l n ( λ ) μ . x ˇ is in [ 0 , 1 ] , as
l n ( λ ) μ = l n 1 a a 1 a ( 1 a ) 1 a a 1 1 a ( 1 a ) = ( 1 2 a ) ( 1 a ) ,
and each term of the right-side product is in [ 0 , 1 ] . Additionally, as 1 2 f a ( x ) 0 x l n ( λ ) μ = x ˇ and as x ˇ < 1 , we can deduce that the sigh of f a , which is the one of 1 2 f a ( x ) , is negative for x 1 . Finally, lim x + f a ( x ) = lim x + λ μ e μ x 1 + λ e μ x 2 = 0 . All these information are summarized in Figure 9.
f a ( x ) has a maximum in x ˇ , but f a ( x ˇ ) = μ 4 < 1 , since μ < 4 . In fact the function a ( 1 a ) has a maximum in a = 1 / 2 . Since f a is also positive on [ 0 , 1 ] we have proven that | f a ( x ) | < 1 , for all x [ 0 , 1 ] . ☐
From all the material detailed previously, we can thus conclude that,
Theorem 2.
The unique fixed-point of f a is an attractive one.
Proof. 
As | f a ( x ) | < 1 , f a is a contraction mapping. By applying the Banach fixed-point theorem, we can deduce again the existence and uniqueness, and in addition the exponential convergence of the dynamical system to this fixed point. ☐
Note that:
  • The unique fixed-point can be found as follows: start with an arbitrary element x 0 in R and define a sequence ( x n ) n N by x n = f a ( x n 1 ) , then x n x ¯ ( a ) .
  • For a 1 / 2 , as | f a ( x ) | < a , we can deduce that f a is Lipschitz continuous, with a Lipschitz constant equal to a. As a well-known consequence, the convergence of the aforementioned sequence is at least geometric, with a common ratio of a. For a < 1 / 2 the same conclusion holds but for a constant γ < 1 .

3. The 1-Dimensional Situation ( n = 1 )

3.1. The Discrete Dynamical System under Consideration

Let us firstly recall the general model to study gene networks. Let n N * , M M n R be a square real matrix of size n × n , and let X 0 R n . We consider the discrete dynamical system:
Σ k N , X k + 1 = F a ( M X k )
where
F a : R n R n ( x 1 , , x n ) f a ( x 1 ) , , f a ( x n ) .
Note that, most of the times, X 0 = ( a , , a ) T . We will now focus on its most simplest cases.

3.2. A Fundamental Case: M = ( 1 )

Let us consider first that n = 1 and that the matrix M is the identity: M = ( 1 ) . The Σ system becomes:
x 0 = a x k + 1 = f a ( x k ) .
Let us recall that, if the recurrent sequence u k + 1 = f ( u k ) converges, then the limit is a fixed point of f. And, from the study of the previous section concerning the sigmoid f a , we know that this fixed-point x ¯ ( a ) :
  • exists and is unique,
  • is such that 0 a < x ¯ ( a ) < 1 ,
  • the convergence speed is geometric, of ratio equal to a ( γ ).
As f a is increasing, then the sequence ( x k ) k N is monotonic. Being bounded, as f a outputs are in ] 0 , 1 [ , we can conclude that the sequence converges, and thus its limit is x a ¯ . Finally, if x 0 < x ¯ ( a ) , then the sequence ( x n ) n N increases to its limit, and otherwise it decreases to its limit x ¯ ( a ) , as depicted in Figure 10.

3.3. General 1-D Case: M = ( m )

In that case, Σ becomes:
x 0 = a x k + 1 = f a ( m x k ) , m { 0 , 1 } .
Let us introduce g a , m ( x ) = f a ( m x ) . We investigate the fixed points of g a , m according to the sign of m.

3.3.1. Fixed Points of g a , m When m > 0

First, g a , m ( x ) = x x = 1 1 + λ e μ m x 1 1 + λ e μ m x 1 x λ x e μ m x = 0 .
As in the fundamental case of Section 2.3, we are left to study the zeroes of function H m ( x ) = 1 x λ x e μ m x , by investigating first its variations. We have H m ( x ) = λ e μ m x ( μ m x 1 ) 1 , and so H m ( x ) = λ μ m e μ m x ( 2 μ m x ) . The second order derivative H m is positive if and only if (1) m > 0 and 2 μ m x > 0 , or (2) m < 0 and 2 μ m x < 0 . Both cases are equivalent to x < 2 μ m . We then have two variations for H m , depending on the sign of m. First of all, Figure 11 depicts the case m > 0 .
  • If a 1 e 2 + 1 , then λ e 2 1 is negative and then H 0 over R , and after the computation of the limits of H m as x approaches ± , we can deduce the table of variations depicted in Figure 12 (and which is independent of m).
    Consequently, if a 1 e 2 + 1 , then H m ( x ) = 0 has one unique solution, i.e., g a , m has one unique fixed point.
  • If a 1 e 2 + 1 , then we obtain a curve similar to the fundamental case for H m , see Figure 13.
    As previously, we remark that H m ( x 1 ) = 0 = λ e μ m x 1 ( μ m x 1 1 ) 1 , so λ e μ m x 1 = 1 μ m x 1 1 .
    As a consequence,
    H m ( x 1 ) = x 1 μ m x 1 1 + x 1 1 = ( μ m x 1 2 μ m x 1 + 1 ) ( μ m x 1 1 ) .
    Again as previously, H m 1 m μ = 1 < 0 , H m is increasing over , 2 μ m , and H m ( x 1 ) = 0 , so x 1 > 1 μ m . Consequently, since m > 0 , then μ m x 1 1 > 0 , and H m ( x 1 ) has the opposite sign of j m ( x 1 ) where j m ( x ) = μ m x 2 μ m x + 1 .
    Let us study the quadratic polynomial j m ( x ) on R . Its discriminant Δ ( j m ) is equal to μ 2 m 2 4 μ m = μ m ( μ m 4 ) , and it has the sign table described in Figure 14.
    -
    If m 0 , 4 μ , then j m ( x 1 ) = μ m x 1 2 μ m x 1 + 1 = μ m x 1 1 2 2 μ m 4 + 1 . As 0 < m < 4 μ , we can conclude that j m ( x 1 ) > 0 . So H m ( x 1 ) < 0 . For the same reasons, H m ( x 2 ) is negative and H m has thus only one root, which belongs to , x 1 . Thus g m , a has only one fixed point in this interval.
    -
    If m = 4 μ , then
    H 4 μ ( x 1 ) = ( 2 x 1 1 ) 2 1 + λ e 4 x 1 ( 4 x 1 1 ) ,
    which is of the sign of 1 4 x 1 . But x 1 > 1 m μ = 1 4 4 x 1 > 1 1 4 x 1 < 0 . So, for m = 4 μ , H 4 μ ( x 1 ) is strictly negative and H 4 μ ( x 2 ) similarly. Again, g 4 μ , a has only one fixed point in the interval , x 1 .
    -
    If m > 4 μ , then Δ ( j m ) > 0 . So j m is positive outside its two roots and negative otherwise. 1 2 ± 1 4 1 m μ . The largest one is outside I = 0 , 1 2 . Let us first focus on z 1 = 1 2 1 4 1 m μ = 1 μ m 1 2 + 1 4 1 μ m . Since 0 1 μ m 1 4 then 1 2 1 2 + 1 4 1 μ m 1 and thus 1 μ m z 1 2 μ m . From 1 μ m z 1 1 2 , one can thus deduce that 2 μ m z 2 1 . Thus, 2 μ m is in ] z 1 , z 2 [ and j m ( 2 μ m ) < 0 . In other words,
    H m ( x 2 ) > H m ( 2 μ m ) > 0 .
    If μ m is large (i.e., 1 μ m is close to 0), z 1 is close to 1 μ m . The left root of H, x 1 would be s.t. x 1 z 1 and j m ( x 1 ) < 0 . In such a case H m ( x 1 ) > 0 and there is only one fixed point in ] x 2 , [ .
    If μ m is close to 4, z 1 is close to 2 μ m . The left root of H, x 1 would be s.t. x 1 z 1 and j m ( x 1 ) > 0 . In such a case H m ( x 1 ) < 0 and there is one fixed point in , x 1 , one in x 1 , 2 μ m and one in ] x 2 , [ .
    if x 1 = z 1 , j m ( x 1 ) = 0 and so H m ( x 1 ) = 0 . There is one fixed point x 1 in , 2 μ m and one in ] x 2 , [ .

3.3.2. Fixed Points of g a , m When m < 0

The existence of a unique fixed point can be proved without computations, however deeper investigation to establish the nature of this fixed pointed are necessary.
Lemma 1.
g a , m ( x ) has at least one fixed point.
Proof. 
Suppose for an absurdum that g a , m has no fixed points. Since g a , m is a continuous map and g a , m ( 0 ) = a we have
Γ ( g a , m ) : = { ( x , y ) : g a , m ( x ) = y } { ( x , y ) : x < y } ,
that is trivially false since there are x R such that x > g a , m ( x ) , (for instance x = 2 / m ). ☐
Theorem 3.
If m < 0 , then g a , m has a unique fixed point.
Proof. 
Let P R 2 be the subset of the fixed points of f, i.e., P = { ( x , x ) R 2 : f ( x ) = x } ; since P is a compact set, we can consider his minimum p 1 P , that we may call the first fixed point of f. In fact P = Γ ( f ) Γ ( y = x ) [ 0 , 1 ] 2 , thus P is compact because is a finite intersection of close subsets contained in a compact set ( [ 0 , 1 ] 2 ).
Suppose for an absurdum to have another fixed point p 2 ; since p 1 is the first fixed point, we have p 1 < p 2 . However g a , m is a decreasing function on [ 0 , 1 ] , in fact
g a , m ( x ) = λ μ m e μ m x 1 + λ e μ m x 2 ,
thus we have
p 1 = g a , m ( p 1 ) > g a , m ( p 2 ) = p 2 ,
a contradiction that proves that p 1 can be the only fixed point of g a , m . ☐
As can be seen, the number of fixed-point of g a , m can be deduced theoretically, according to the values of a and m. At each fixed-point x ¯ , we still have to study its attractive property thanks to the value of | g a , m ( x ¯ ) | . Although technical, this latter can be done by using usual methods from the mathematical analysis.

4. Conclusions and Future Work

In this article, the objective was to show that gene-network models like the Wagner one, based on the iterations of some discrete dynamical systems defined using a sigmoid function, can be studied too theoretically. Iterations of the sigmoid function has been deeply studied in a first section, emphasizes the fact that the number of fixed points, their approximate location, and their attractivity, can be computed mathematically. Furthermore, we shown that each iteration of this sigmoid function tends to the fixed-point, no matter the initial condition. Elements showing how to extend this study to the complete one self-regulating gene has then be provided in a second section, showing the possibility of such studies. In future work, we intend to extend such investigations to a network of more than one gene. We will first deeply studied the case of 2–4 genes. Such investigations will then be extended to a larger number of genes, introducing qualitative methods that will depend on the shape of the considered matrix.

Author Contributions

Christophe Guyeux outlined and structured the demonstration of the general case, in its first version, and all the proofs have been checked and improved by Jean-François Couchot. and then Luigi Marangio, who proposed the solution for the case m < 0 in Section 3. Finally, Arnaud Le Rouzic proposed the framework and the related works, while Jacques M. Bahi supervised the work.

Conflicts of Interest

The authors declare no conflict of interest.

References

  1. Bahi, J.M.; Guyeux, C.; Perasso, A. Chaos in DNA evolution. Int. J. Biomath. (IJB) 2016, 9, 1650076. [Google Scholar] [CrossRef]
  2. Guyeux, C.; Nicod, J.M.; Philippe, L.; Bahi, J.M. The study of unfoldable self-avoiding walks. Application to protein structure prediction software. JBCB J. Bioinform. Comput. Biol. 2015, 13, 1550009. [Google Scholar] [CrossRef] [PubMed]
  3. Pai, A.A.; Pritchard, J.K.; Gilad, Y. The genetic and mechanistic basis for variation in gene regulation. PLoS Genet. 2015, 11, e1004857. [Google Scholar] [CrossRef] [PubMed]
  4. Bornholdt, S. Modeling genetic networks and their evolution: A complex dynamical systems perspective. Biol. Chem. 2001, 382, 1289–1299. [Google Scholar] [CrossRef] [PubMed]
  5. Barabási, A.L.; Oltvai, Z.N. Network biology: Understanding the cell’s functional organization. Nat. Rev. Genet. 2004, 5, 101–113. [Google Scholar] [CrossRef] [PubMed]
  6. Polynikis, A.; Hogan, S.; di Bernardo, M. Comparing different ODE modelling approaches for gene regulatory networks. J. Theor. Biol. 2009, 261, 511–530. [Google Scholar] [CrossRef] [PubMed]
  7. Perc, M. Stochastic resonance on paced genetic regulatory small-world networks: Effects of asymmetric potentials. Eur. Phys. J. B 2009, 69, 147–153. [Google Scholar] [CrossRef]
  8. Gosak, M.; Markovič, R.; Dolenšek, J.; Rupnik, M.S.; Marhl, M.; Stožer, A.; Perc, M. Network science of biological systems at different scales: A review. Phys. Life Rev. 2018, 24, 118–135. [Google Scholar] [CrossRef] [PubMed]
  9. Wagner, A. Does evolutionary plasticity evolve? Evolution 1996, 50, 1008–1023. [Google Scholar] [CrossRef] [PubMed]
  10. Fierst, J.L.; Phillips, P.C. Modeling the evolution of complex genetic systems: The gene network family tree. J. Exp. Zool. Part B Mol. Dev. Evol. 2015, 324, 1–12. [Google Scholar] [CrossRef] [PubMed]
  11. Wagner, A. Evolution of gene networks by gene duplications: A mathematical model and its implications on genome organization. Proc. Natl. Acad. Sci. USA 1994, 91, 4387–4391. [Google Scholar] [CrossRef] [PubMed]
  12. Masel, J. Genetic assimilation can occur in the absence of selection for the assimilating phenotype, suggesting a role for the canalization heuristic. J. Evolut. Biol. 2004, 17, 1106–1110. [Google Scholar] [CrossRef] [PubMed]
  13. Pinho, R.; Borenstein, E.; Feldman, M.W. Most networks in Wagner’s model are cycling. PLoS ONE 2012, 7, e34285. [Google Scholar] [CrossRef] [PubMed]
  14. Siegal, M.L.; Bergman, A. Waddington’s canalization revisited: Developmental stability and evolution. Proc. Natl. Acad. Sci. USA 2002, 99, 10528–10532. [Google Scholar] [CrossRef] [PubMed]
  15. Carneiro, M.O.; Taubes, C.H.; Hartl, D.L. Model transcriptional networks with continuously varying expression levels. BMC Evolut. Biol. 2011, 11, 363. [Google Scholar] [CrossRef] [PubMed] [Green Version]
  16. Rünneburger, E.; Le Rouzic, A. Why and how genetic canalization evolves in gene regulatory networks. BMC Evolut. Biol. 2016, 16, 239. [Google Scholar] [CrossRef] [PubMed]
  17. Huerta-Sanchez, E.; Durrett, R. Wagner’s canalization model. Theor. Popul. Biol. 2007, 71, 121–130. [Google Scholar] [CrossRef] [PubMed]
  18. Le Cunff, Y.; Pakdaman, K. Phenotype–genotype relation in Wagner’s canalization model. J. Theor. Biol. 2012, 314, 69–83. [Google Scholar] [CrossRef] [PubMed]
Figure 1. Graph of the sigmoid function f a ( x ) = 1 1 + λ e μ x with λ = 1 a a > 0 , μ = 1 a ( 1 a ) and a ] 0 , 1 [ .
Figure 1. Graph of the sigmoid function f a ( x ) = 1 1 + λ e μ x with λ = 1 a a > 0 , μ = 1 a ( 1 a ) and a ] 0 , 1 [ .
Mathematics 06 00058 g001
Figure 2. Parameter dependence against a ] 0 , 1 [ .
Figure 2. Parameter dependence against a ] 0 , 1 [ .
Mathematics 06 00058 g002
Figure 3. Variation table of μ .
Figure 3. Variation table of μ .
Mathematics 06 00058 g003
Figure 4. Variations of H .
Figure 4. Variations of H .
Mathematics 06 00058 g004
Figure 5. Variations of H.
Figure 5. Variations of H.
Mathematics 06 00058 g005
Figure 6. Variation of H when a 1 e 2 + 1 .
Figure 6. Variation of H when a 1 e 2 + 1 .
Mathematics 06 00058 g006
Figure 7. Variations of j.
Figure 7. Variations of j.
Mathematics 06 00058 g007
Figure 8. Graph of numerical solution of equation x ¯ = 1 1 + λ ( a ) e μ ( a ) x ¯ when a is varying in ] 0 , 1 [ .
Figure 8. Graph of numerical solution of equation x ¯ = 1 1 + λ ( a ) e μ ( a ) x ¯ when a is varying in ] 0 , 1 [ .
Mathematics 06 00058 g008
Figure 9. Behavior of f a .
Figure 9. Behavior of f a .
Mathematics 06 00058 g009
Figure 10. Iterations of x n + 1 = f a ( x n ) .
Figure 10. Iterations of x n + 1 = f a ( x n ) .
Mathematics 06 00058 g010
Figure 11. Variations of H m for m > 0 .
Figure 11. Variations of H m for m > 0 .
Mathematics 06 00058 g011
Figure 12. Variation of H m for a 1 e 2 + 1 .
Figure 12. Variation of H m for a 1 e 2 + 1 .
Mathematics 06 00058 g012
Figure 13. Variation of H m for a 1 e 2 + 1 .
Figure 13. Variation of H m for a 1 e 2 + 1 .
Mathematics 06 00058 g013
Figure 14. Sign of Δ ( j m ) .
Figure 14. Sign of Δ ( j m ) .
Mathematics 06 00058 g014

Share and Cite

MDPI and ACS Style

Guyeux, C.; Couchot, J.-F.; Le Rouzic, A.; Bahi, J.M.; Marangio, L. Theoretical Study of the One Self-Regulating Gene in the Modified Wagner Model. Mathematics 2018, 6, 58. https://doi.org/10.3390/math6040058

AMA Style

Guyeux C, Couchot J-F, Le Rouzic A, Bahi JM, Marangio L. Theoretical Study of the One Self-Regulating Gene in the Modified Wagner Model. Mathematics. 2018; 6(4):58. https://doi.org/10.3390/math6040058

Chicago/Turabian Style

Guyeux, Christophe, Jean-François Couchot, Arnaud Le Rouzic, Jacques M. Bahi, and Luigi Marangio. 2018. "Theoretical Study of the One Self-Regulating Gene in the Modified Wagner Model" Mathematics 6, no. 4: 58. https://doi.org/10.3390/math6040058

Note that from the first issue of 2016, this journal uses article numbers instead of page numbers. See further details here.

Article Metrics

Back to TopTop