A many-loci system with evolution characterized by uncountable linear operators

B. A. Omirov and U. A. Rozikov

arXiv: 2409.19687v1 · PDF · 29 September 2024
Categories: math.DS
Licence: CC BY 4.0 The site shows the text.

Abstract

This paper investigates the evolution of a multi-locus biological system. The evolution of such a system is described by a quadratic stochastic operator (QSO) defined on a simplex. We demonstrate that this QSO can be decomposed into an infinite series of linear operators, each of which maps certain invariant subsets of the simplex to themselves. Furthermore, the entire simplex is the union of these invariant subsets, enabling analytical examination of the dynamical systems produced by the QSO. Finding all limit points of the dynamical system generated by the QSO in terms of the limit points of the linear operators, we provide a comprehensive characterization of the many-loci population dynamics.

Items 19

Lemma

Lemma 1

OVBK

The quadratic operator (?), W, maps S^{2m-1} to itself.

Used by Remark 1

Proof of Lemma 1

Let x=(x_1,\dots, x_{2m})\in S^{2m-1}, we show that x'=W(x)=(x'_1,\dots, x'_{2m})\in S^{2m-1}. It is easy to see that \sum\limits_{i=1}^{2m} x'_i=1. It remains to show that each coordinate x'_{2i-1}, x'_{2i}, i=1, \dots, m is non-negative. Taking into account 1=\sum\limits_{i=1}^{2m} x_i and a_{ij}\in [0,1], we deduce

\begin{array}{llll} x'_{2i-1}&=&x_{2i-1}+\sum\limits_{j=1}^{m}a_{ij}(x_{2i}x_{2j-1}- x_{2i-1}x_{2j})\\[5mm] &=&x_{2i-1}\Big(1-\sum\limits_{j=1}^{m}a_{ij}x_{2j}\Big)+ x_{2i}\sum\limits_{j=1}^{m} a_{ij}x_{2j-1}\\[5mm] &\geq& x_{2i-1}\Big(1-\sum\limits_{j=1}^{m} x_{2j}\Big)+x_{2i}\sum\limits_{j=1}^{m} a_{ij}x_{2j-1}\\[5mm] &=&x_{2i-1}\sum\limits_{j=1}^{m} x_{2j-1}+x_{2i}\sum\limits_{j=1}^{m} a_{ij}x_{2j-1}\geq 0.\\[5mm] \end{array}

Similarly, for x'_{2i} we derive

x'_{2i}\geq x_{2i}\sum_{j=1}^{m} x_{2j}+x_{2i-1}\sum_{j=1}^{m} a_{ij}x_{2j}\geq 0.

Remark

Remark 1

TU14

From the proof of Lemma 1 it follows that operator (?) is a QSO, because of it can be rewritten as

W: \left\{\begin{array}{llllll} x'_{2i-1}&=&x_{2i-1}\sum\limits_{j=1}^{m}\Big(x_{2j-1}+(1- a_{ij})x_{2j}\Big)+ x_{2i}\sum\limits_{j=1}^{m}a_{ij}x_{2j-1},\\[3mm] x'_{2i}&=&x_{2i}\sum\limits_{j=1}^{m}\Big(x_{2j}+(1- a_{ij})x_{2j-1}\Big)+ x_{2i-1}\sum\limits_{j=1}^{m}a_{ij}x_{2j}.\\[3mm] \end{array}\right.

Uses Lemma 1

Lemma

Lemma 2

7VNS

For each c\in S^{m-1} the operator W_c:=W_{|I_c} is a linear map given by

x'_{2i-1}=\Big(1-\sum_{{j=1\atop j\ne i}}^{m} a_{ij}c_j\Big) x_{2i-1}+c_i\sum_{{j=1\atop j\ne i}}^{m}a_{ij}x_{2j-1}, \ \ 1\leq i \leq m.

Proof of Lemma 2

Since on I_c with c=(c_1, \dots, c_m) we have x_{2i-1}+x_{2i}=c_i, each quadratic term in (?) can be simplified as

x_{2i}x_{2j-1}-x_{2i-1}x_{2j}=(c_i-x_{2i-1})x_{2j-1}-x_{2i-1}(c_j-x_{2j-1})=c_ix_{2j-1}-c_jx_{2i-1}.

Substituting these in (?) one gets (2).

Lemma

Lemma 3

BFFS

For each c\in S^{m-1}, the matrix B_c has eigenvalue 1.

Used by Proof

Proof of Lemma 3

It suffices to show that B_cc^T=c^T. Due to (?) for each i\in\{1,\dots,m\} we get

(B_cc^T)_i= \sum_{j=1}^mb_{ij}c_j=b_{ii}c_i+ \sum_{{j=1\atop j\ne i}}^mb_{ij}c_j=\left(1-\sum_{{j=1\atop j\ne i}}^{m} a_{ij}c_j\right)c_i+\sum_{{j=1\atop j\ne i}}^mc_ia_{ij}c_j=c_i.

Lemma

Lemma 4

9Z4T

Let the matrix A=(a_{ij})_{i,j=1}^m be symmetric (i.e. a_{ij}=a_{ji}). Then the matrix B_c is left stochastic, meaning that each of its entries is a non-negative real number and each column sums to 1.

Proof of Lemma 4

By the definition of B_c we have 0\leq b_{ik}\leq 1 for i\ne k. To compute the sum of the elements in the k-th column (taking into account that A is symmetric), we get

\sum_{i=1}^mb_{ik}=1-\sum_{{j=1\atop j\ne k}}^{m} a_{kj}c_j+ \sum_{{i=1\atop i\ne k}}^{m} a_{ik}c_i=1.

Corollary

Corollary 1

GAL3

If the condition of Lemma 4 is satisfied, then the dynamical system generated by QSO W is decomposed to uncountable set of Markov chains.

Example

Example 1

5F54

For a given a,b\in (0,1] we consider the case

m=3, \, a_{12}=a_{21}=a, \, a_{13}=a_{31}=a_{23}=a_{32}=b.

With c=(\alpha, \beta, \gamma) under conditions (1) the matrix B_c has the following form

\left(\begin{array}{ccc} 1-a\beta-b\gamma& a\alpha & b\alpha\\[2mm] a\beta & 1-a\alpha-b\gamma & b\beta\\[2mm] b\gamma & b\gamma & 1-b\alpha-b\beta \end{array}\right).

Evidently, B_c is a left stochastic matrix.

Using \alpha+\beta+\gamma=1, one can get that the eigenvalues of this matrix are

\lambda_1=1, \ \ \lambda_2=1-b, \ \ \lambda_3=1-a+(a-b)\gamma.

For any values of parameters a,b\in (0,1] and \gamma\in [0,1] we have 0<\lambda_2<1 and 0<\lambda_3<1. Moreover, since entries of matrix B_c are strictly positive the dynamical system generated by linear operator of V_c has unique limit point.

Remark

Remark 2

UNIO

If Z(c)\ne \emptyset for some c\in S^{m-1}, then since

x'_{2i-1}=x'_{2i}=x_{2i-1}=x_{2i}=0 \ \mbox{for any} \ i\in Z(c)

the operator W is reduced on simplex S^{2(m-|Z(c)|)-1}. Therefore, without loss of generality, one can assume Z(c)=\emptyset, i.e., c_i> 0 for any i\in\{1,\dots, m\}.

Theorem

Theorem 1

7ZA2

(Perron-Frobenius) Let {\mathbf P} be an n \times n irreducible non-negative matrix. The following assertions hold:

1. Spectral radius: The matrix {\mathbf P} has a unique largest positive eigenvalue, called the P-F root, denoted by \lambda_{\text{max}}(This eigenvalue is also called the spectral radius of {\mathbf P}.).
2. Simplicity: The P-F root \lambda_{\text{max}} is a simple eigenvalue (i.e., its algebraic multiplicity is 1). Moreover, any other eigenvalue \lambda of {\mathbf P} satisfies |\lambda| < \lambda_{\text{max}}.
3. P-F eigenvector: There exists a corresponding positive eigenvector v (i.e., all coordinates of v are positive) such that {\mathbf P} v = \lambda_{\text{max}} v. This vector is unique up to multiplication by a positive scalar. All eigenvectors for other eigenvalues have at least one positive and one negative coordinate.

Used by Proof

Lemma

Lemma 5

8ZFX

If a_{ij}>0 and c\in S^{m-1} is such that c_i>0 for all 1\leq i \leq m, then all eigenvalues of B_c have absolute values less than or equal to 1, and the eigenvalue 1 is simple.

Proof of Lemma 5

By Lemma 3 we know that 1 is an eigenvalue of B_c. The corresponding to 1 eigenvector of B_c is c, i.e., the unique positive vector mentioned in part 3 of the Perron-Frobenius theorem. Therefore, \lambda_{\text{max}} = 1, indeed, if \lambda_{\text{max}}> 1 then corresponding positive eigenvector will be different from c, which contradicts to part 3 of Theorem 1. Hence, |\lambda|< 1 for each eigenvalue \lambda\ne 1 of B_c. The simplicity of 1 is a consequence of Theorem 1.

Uses Lemma 3, Theorem 1

Lemma

Lemma 6

JB5O

The set {\rm Fix}(W_c) is an uncountable subset of I_c. In particular, (c_1, 0, ..., c_{m}, 0)\in {\rm Fix}(W_c).

Proof of Lemma 6

We have to find vectors u=(u_1, \dots, u_m) with the condition (u_1, c_1-u_1, \dots, u_{m}, c_m-u_m)\in I_c such that

\sum_{j=1}^{m} a_{ij}\left(c_iu_j-c_ju_i\right)=0 \ \mbox{for all} \ i\in \{1, \dots, m\}.

Straightforward computations lead that (u_1, \dots, u_m)=c satisfies (Proof). For m\geq 2 we set

H_c = \begin{bmatrix} \sum\limits_{j \ne 1} a_{1j} c_j & -c_1 a_{12} & \dots & -c_1 a_{1m} \\ -c_2 a_{21} & \sum\limits_{j \ne 2} a_{2j} c_j & \dots & -c_2 a_{2m} \\ \vdots & \vdots & \ddots & \vdots \\ -c_m a_{m1} & -c_m a_{m2} & \dots & \sum\limits_{j \ne m} a_{mj} c_j \end{bmatrix}

Then the system of equations (Proof) can be rewritten as H_cu^T=0. Since u=c satisfies H_cc^T=0 we have that \det(H_c)=0, therefore H_cu^T=0 has infinitely many solutions.

Theorem

Theorem 2

B2QZ

For any c\in S^{m-1} and t^{(0)}=(u_1^{(0)}, c_1-u_1^{(0)}, \dots, u_m^{(0)}, c_m-u_m^{(0)})\in I_c\subset S^{2m-1} corresponding trajectory generated by non-linear operator (?) has limit

\lim_{n\to\infty}W^nt^{(0)}=(\beta c_1, c_1(1- \beta), \beta c_2, c_2(1- \beta), \dots, \beta c_m, c_m(1- \beta)),

where \beta= \beta(t^{(0)}) defined by (?).

Proof of Theorem 2

Using (?) by the equality

x^{(n)}_{2i-1}+x^{(n)}_{2i}=u^{(n)}_{i}+x^{(n)}_{2i}=c_i, \, i=1, \dots, m.

one completes the proof.

Source and licence

The text on this page is from arXiv:2409.19687v1 by B. A. Omirov and U. A. Rozikov, under the licence CC BY 4.0. The corpus made these changes: it read the items out of the LaTeX source, it expanded the macros of the paper, it put each proof after its statement, and it converted the text to HTML. The formulas are the TeX of the paper, and KaTeX renders them. A formula or a reference can look different from the PDF. The page is published under CC BY 4.0.

The record of each item is in analysis/objects/2409/2409.19687.jsonl.