This paper investigates the delay synchronization between two temporal Boolean networks base on semi-tensor product method, which improve complete synchronization. Necessary and sufficient conditions for delay synchronization are drawn base on algebraic expression of temporal Boolean networks. A example is presented to show the effectiveness of theoretical analysis.
I. INTRODUCTION
In 1990, the completion of the human genome project marked the beginning of life science into the era of systems biology. From then on, people study the running mechanism of biological systems focus on the level of the genome structure and function.
Systems biology research biological system, among which contain many different levels and different forms of organization of networks, including the micro protein molecules and signaling transduction network, macro ecological network and gene regulatory network, etc.1–4 Research of gene regulatory network starting from the interaction among genes, which reveal the essence of complex life phenomenon of organism. Gene regulatory network is the important content of functional genomics.
Gene regulatory networks research not only involves the knowledge of biology but also covers mathematics, control theory, computer science and other disciplines. Due to gene regulatory network of various physiological activities of organisms is very complex. At present, the structure of regulatory network can not be established by biological experiment. However, gene regulatory network topology can be built by mathematic analytical method,5–7 thus simulation real gene regulatory network. The establishment of mathematical models of gene regulatory network is an important mission for gene regulatory network. At present, there are various ways to establish gene regulatory network mathematical model, such as Boolean networks,8,9 bayesian networks10 and differential equation,11 piecewise linear differential equation,12 qualitative networks,13 etc. These methods all describe gene regulatory networks different perspectives.
Boolean networks (BNs) is the fundamental method which can systematically describe gene networks. In 1969, Kauffman firstly brought forward the concepts of Boolean networks.14 The abstract model of Boolean networks is built by Boolean logic and binary “0,1”, which study the biological activities. Boolean networks is an effective tool to describe the complex structure of gene regulatory network and analysis of the network dynamics. In the Kauffman proposed model, gene expression are abstracted as two states “0” and “1”: logic value“1” represents that gene is in the activated state, logic value “0” represents that gene is in the inhibitory state. The state of every gene in networks is in “0” or “1” at arbitrary moment. The state of gene is decided by gene regulation rules, which is run by Boolean function.14,15
In recent years, Boolean networks is researched widely, including time complexities for Boolean networks,16 symbolic dynamics of Boolean networks,17 controllability and observability of Boolean networks, etc. Synchronization is a typical collective behavior,18,19 which exist in the natural world, has pointed that physiological rhythms are central to life and synchronization of networks is essential for biological rhythms and information processing in biological organism. In the past decades, synchronization of dynamic system has been developed.20,21 The study of synchronization of Boolean networks is meaningful too, which can provide useful information on the coevolution of several biological species whose genetic dynamics influence each other.22 Besides, the synchronization of two coupled Boolean networks can be applied to the synchronization of two lasers.23
Research on synchronization of Boolean networks have acquired some achievements. Li and Chu propose complete synchronization between two Boolean networks.24 Li etc. propose synchronization of Boolean networks with delay.25 Li etc. propose complete synchronization between two Boolean networks base on semi-tensor product.26 Li etc. propose complete synchronization between two Boolean networks with time delay.27 Li study complete synchronization between two large-scale Boolean networks.28 Li etc. study complete synchronization between two Boolean networks with delays.29 Lu etc. present complete synchronization between two output-coupled temporal Boolean networks.30 Zhong etc. present complete synchronization in array output-couple Boolean networks.31 Although there are some achievements on synchronization of Boolean networks, synchronization of Boolean networks is focused mainly on complete synchronization. According to biological knowledge, some genes will happen interaction in specific time and specific conditions. The internal and external of the networks are perturbation. So the delay synchronization is unavoidable in Boolean networks. There are few paper research on delay synchronization between two Boolean networks. So, we propose definition of delay synchronization and achieve delay synchronization of temporal Boolean networks.
The rest of this paper is organized as follows: In Section II, the semi-tensor product and the algorithm are briefly introduced. In Section III, the delay synchronization of temporal Boolean networks is defined and necessary and sufficient conditions are drawn. An illustrative example is given to illustrate correctness of theoretical analysis in Section IV. The conclusion is finally drawn in Section V.
II. PRELIMINARIES
The property and computations of the semi-tensor product is adopted in this paper, the semi-tensor product of matrices are introduced in the following sections.
When n = p, the semi-tensor product operations become common matrix operations. In the following research, we omit the symbols of the semi-tensor product.
We need to know the following basic symbol.
.
where is i the column of the identity matrix Ik.
Mm×n is the set of m × n real matrixes.
1m is 1 × k row vector which each element is 1, .
Coli(E)[Rowi(E)] is the i the column [line] of matrix E, the set of column of matrix E are expressed as Col(E).
Let T be a matrix, , T can be simply as T = δn[i1, i2, …, ir].
Classical logic theory field: true (T ∼ 1) and false (F ∼ 0), which can be expressed as . Logical values true and false can be expressed as and , respectively. So logic theory field can be expressed as .
We need to know the following common methods for structuring structure matrix of the general logic operator.
Dummy matrix : Given:c ∈ Δp, d ∈ Δq, then Dp,qW[p,q]cd = d, Dp,qW[p,q]cd = c, where , is swap matrix.
Descending power matrix : Given: x ∈ Δk, then there are x2 = Mr,kx, where .
III. MAIN RESULTS
Some necessary and sufficient conditions are summarized to achieve delay synchronization between two temporal Boolean networks.
A. Problem formulation
The Boolean networks with n nodes can be showed as follows,
where Ci and Di represent nodes of drive networks (1) and response networks (2), respectively. are Boolean functions, τ1 ≥ 0 and τ2 ≥ 0 are time delays.
To convert (1) and (2) into algebraic manipulation, we define . Let the structure matrix of hi and li be Mi and Ni, respectively. Then (1) can be expressed as follows,
Suppose
then
where . Hence, the drive temporal Boolean networks (1) can be expressed as,
Defining , so
So
where . Hence, the response temporal Boolean networks (2) can be expressed as,
where , .
B. Delay synchronization
In this section, some necessary and sufficient conditions are drawn for achieving the delay synchronization between networks (1) and (2).
Note: Mn stand for the operation of negation. , where are bijective mappings.26
The above Eq.(18) prove the Eq.(14) is true for t ≥ k. The networks (1) and (2) achieve delay synchronization.
The minimum of k is determined in the following section at last.
Analysis Eq. (21) can gotten εt = (Ft ⊗ Gεt−1)(Φn(τ1+1) ⊗ I2n(τ2+1)). Then
If there are k0 and s0, then
Supposing that , then and Col(Tεb) = Col(Tεk0). Let μ1, …, μ2n(τ1+τ2+2) be , therefore (I2n ⊗ 12nτ2) Gεb−s′−1 = δ2n(μ1, …, μ2n(τ1+τ2+2)).
IV. AN ILLUSTRATIVE EXAMPLE
Let s be s = 1, then C(t) = D(t − 1). Let the drive Boolean networks (1) be the following equation,
Let C(t) be . Let x(t) be . So
where Mc is the structure matrice of logical function “∧″ and Md is the structure matrice of logical function “∨″. So
where . Then
Hence, Boolean networks (27) can be expressed the following the algebraic format,
with F = δ16[1, 1, 1, 1, 2, 2, 10, 10, 7, 3, 7, 3, 8, 4, 16, 12].
Let the response Boolean networks be the following equation,
Let D(t) and y(t) be , so
Thus D(t + 1) = D1(t + 1) D2(t + 1) = L2x(t) y(t), where . Then
Therefore, Boolean networks (32) can be expressed the following the algebraic format,
So
V. CONCLUSIONS
The delay synchronization for temporal Boolean networks is investigated in this paper. Delay synchronization has been achieved and sufficiency and necessity conditions are given based on semi-tensor product. Compared with complete synchronization, delay synchronization is more common and more general. An example has been worked out to prove the correctness of the theoretical analyses.
Synchronization of Boolean networks need be further investigated, such as feedback synchronization, limited number of iterations synchronization, etc.
ACKNOWLEDGEMENT
The first author would like to thank the support of Doctor Start-up capital of the Beihua University (Nos: 199500096). The second author would like to thank the support of the National Natural Science Foundation of China (No: 61363082). The third author would like to thank the support of the Natural Science Foundation of the Xinjiang Uygur Autonomous Region (Nos:201442137-26). The fourth author would like to thank the support of the Special Fundation for Outstanding Young Doctor of Dalian University (No. 2014YL07). The fifth author would like to thank the support of the Natural Science Foundation of Sichuan Province (No. 2016JY0179), the Innovation Group Build Plan for the Universities in Sichuan (No. 15TD0024), the Youth Science and Technology Innovation Group of Sichuan Provincial (No.2015TD0022), the High-level Innovative Talents Plan of Sichuan University of Science and Engineering (2014), and the Talents Project of Sichuan University of Science and Engineering (No. 2015RC50).