-
Ising Models with Hidden Markov Structure: Applications to Probabilistic Inference in Machine Learning
Authors:
F. Herrera,
U. A. Rozikov,
M. V. Velasco
Abstract:
In this paper, we investigate tree-indexed Markov chains (Gibbs measures) defined by a Hamiltonian that couples two Ising layers: hidden spins \(s(x) \in \{\pm 1\}\) and observed spins \(σ(x) \in \{\pm 1\}\) on a Cayley tree. The Hamiltonian incorporates Ising interactions within each layer and site-wise emission couplings between layers, extending hidden Markov models to a bilayer Markov random f…
▽ More
In this paper, we investigate tree-indexed Markov chains (Gibbs measures) defined by a Hamiltonian that couples two Ising layers: hidden spins \(s(x) \in \{\pm 1\}\) and observed spins \(σ(x) \in \{\pm 1\}\) on a Cayley tree. The Hamiltonian incorporates Ising interactions within each layer and site-wise emission couplings between layers, extending hidden Markov models to a bilayer Markov random field.
Specifically, we explore translation-invariant Gibbs measures (TIGM) of this Hamiltonian on Cayley trees.
Under certain explicit conditions on the model's parameters, we demonstrate that there can be up to three distinct TIGMs. Each of these measures represents an equilibrium state of the spin system. These measures provide a structured approach to inference on hierarchical data in machine learning. They have practical applications in tasks such as denoising, weakly supervised learning, and anomaly detection. The Cayley tree structure is particularly advantageous for exact inference due to its tractability.
△ Less
Submitted 14 June, 2025; v1 submitted 13 April, 2025;
originally announced April 2025.
-
Coupled Ising-Potts Model: Rich Sets of Critical Temperatures and Translation-Invariant Gibbs Measures
Authors:
F. H. Haydarov,
B. A. Omirov,
U. A. Rozikov
Abstract:
We consider a coupled Ising-Potts model on Cayley trees of order $ k \geq 2 $. This model involves spin vectors $ (s, σ) $, and generalizes both the Ising and Potts models by incorporating interactions between two types of spins: $s = \pm 1$ and $σ= 1, \dots, q$. It is applicable to a wide range of systems, including multicomponent alloys, spin glasses, biological systems, networks, and social mod…
▽ More
We consider a coupled Ising-Potts model on Cayley trees of order $ k \geq 2 $. This model involves spin vectors $ (s, σ) $, and generalizes both the Ising and Potts models by incorporating interactions between two types of spins: $s = \pm 1$ and $σ= 1, \dots, q$. It is applicable to a wide range of systems, including multicomponent alloys, spin glasses, biological systems, networks, and social models.
In this paper, we find some translation-invariant splitting Gibbs measures (TISGMs) and show, for $k\geq 2$, that at sufficiently low temperatures, the number of such measures is at least $2^{q}+1$. This is not an exact upper bound; for $k=2$ and $q=5$, we demonstrate that the number of TISGMs reaches the exact bound of 335, which is much larger than $2^5+1=33$. We prove, for $q=5$ that there are 12 critical temperatures at which the number of TISGMs changes, and we provide the exact number of TISGMs for each intermediate temperature. Additionally, we identify temperature regions where three TISGMs, close to the free measure, are either extreme or non-extreme among all Gibbs measures.
We also show that the coupled Ising-Potts model exhibits properties absent in the individual Ising and Potts models. In particular, we observe the following new phenomena:
1. In both the Ising and Potts models, if a Gibbs measure exists at some temperature $T_0$, then it exists for all $T<T_0$. However, in the coupled Ising-Potts model, some TISGMs may only exist at intermediate temperatures (neither very low nor very high).
2. The 5-state Potts model has three critical temperatures and up to 31 TISGMs. We show that for $q=5$, the coupled Ising-Potts model has four times as many critical temperatures and approximately 11 times as many TISGMs. Thus, our model modifies the phase structure more rapidly and exhibits a significantly richer class of splitting Gibbs measures.
△ Less
Submitted 17 February, 2025;
originally announced February 2025.
-
Non-Gibbsian Multivariate Ewens Probability Distributions on Regular Trees
Authors:
F. H. Haydarov,
Z. E. Mustafoyeva,
U. A. Rozikov
Abstract:
Ewens' sampling formula (ESF) provides the probability distribution governing the number of distinct genetic types and their respective frequencies at a selectively neutral locus under the infinitely-many-alleles model of mutation. A natural and significant question arises: ``Is the Ewens probability distribution on regular trees Gibbsian?"
In this paper, we demonstrate that Ewens probability di…
▽ More
Ewens' sampling formula (ESF) provides the probability distribution governing the number of distinct genetic types and their respective frequencies at a selectively neutral locus under the infinitely-many-alleles model of mutation. A natural and significant question arises: ``Is the Ewens probability distribution on regular trees Gibbsian?"
In this paper, we demonstrate that Ewens probability distributions can be regarded as non-Gibbsian distributions on regular trees and derive a sufficient condition for the consistency condition. This study lays the groundwork for a new direction in the theory of non-Gibbsian probability distributions on trees.
△ Less
Submitted 14 February, 2025;
originally announced February 2025.
-
Extreme Gibbs measures for a Hard-Core-SOS model on Cayley trees
Authors:
R. M. Khakimov,
M. T. Makhammadaliev,
U. A. Rozikov
Abstract:
We investigate splitting Gibbs measures (SGMs) of a three-state (wand-graph) hardcore SOS model on Cayley trees of order $ k \geq 2 $. Recently, this model was studied for the hinge-graph with $ k = 2, 3 $, while the case $ k \geq 4 $ remains unresolved. It was shown that as the coupling strength $θ$ increases, the number of translation-invariant SGMs (TISGMs) evolves through the sequence…
▽ More
We investigate splitting Gibbs measures (SGMs) of a three-state (wand-graph) hardcore SOS model on Cayley trees of order $ k \geq 2 $. Recently, this model was studied for the hinge-graph with $ k = 2, 3 $, while the case $ k \geq 4 $ remains unresolved. It was shown that as the coupling strength $θ$ increases, the number of translation-invariant SGMs (TISGMs) evolves through the sequence $ 1 \to 3 \to 5 \to 6 \to 7 $.
In this paper, for wand-graph we demonstrate that for arbitrary $ k \geq 2 $, the number of TISGMs is at most three, denoted by $ μ_i $, $ i = 0, 1, 2 $. We derive the exact critical value $θ_{\text{cr}}(k)$ at which the non-uniqueness of TISGMs begins. The measure $ μ_0 $ exists for any $θ> 0$.
Next, we investigate whether $ μ_i $, $i=0,1,2$ is extreme or non-extreme in the set of all Gibbs measures.
The results are quite intriguing:
1) For $μ_0$:
- For $ k = 2 $ and $ k = 3 $, there exist critical values $θ_1(k)$ and $θ_2(k)$ such that $ μ_0 $ is extreme if and only if $θ\in (θ_1, θ_2)$, excluding the boundary values $θ_1$ and $θ_2$, where the extremality remains undetermined.
- Moreover, for $ k \geq 4 $, $ μ_0 $ is never extreme.
2) For $μ_1$ and $μ_2$ at $k=2$ there is $θ_5<θ_{\text{cr}}(2)=1$ such that these measures are extreme if $θ\in (θ_5, 1)$.
△ Less
Submitted 8 December, 2024;
originally announced December 2024.
-
A many-loci system with evolution characterized by uncountable linear operators
Authors:
B. A. Omirov,
U. A. Rozikov
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 thes…
▽ More
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.
△ Less
Submitted 29 September, 2024;
originally announced September 2024.
-
Discrete-Time Dynamical Systems Generated by a Quadratic Operator
Authors:
S. K. Shoyimardonov,
U. A. Rozikov
Abstract:
In this paper, we examine a specific class of quadratic operators. For these operators, we identified all fixed points and categorized their types in the general case. Our analysis revealed that there are no attractive fixed points except the origin. Additionally, we investigated the global dynamics in the two-dimensional case and generalized several results obtained for lower-dimensional scenario…
▽ More
In this paper, we examine a specific class of quadratic operators. For these operators, we identified all fixed points and categorized their types in the general case. Our analysis revealed that there are no attractive fixed points except the origin. Additionally, we investigated the global dynamics in the two-dimensional case and generalized several results obtained for lower-dimensional scenarios
△ Less
Submitted 20 September, 2024;
originally announced September 2024.
-
Discrete dynamics of phytoplankton-zooplankton systems with Holling type functional responses
Authors:
S. K. Shoyimardonov,
U. A. Rozikov
Abstract:
In this paper, we study discrete dynamics of phytoplankton-zooplankton system with Holling type II and Holling type III predator functional responses. The stability of positive fixed points are investigated. By finding invariant sets, the convergence of the trajectory was shown under certain conditions on the parameters.
In this paper, we study discrete dynamics of phytoplankton-zooplankton system with Holling type II and Holling type III predator functional responses. The stability of positive fixed points are investigated. By finding invariant sets, the convergence of the trajectory was shown under certain conditions on the parameters.
△ Less
Submitted 25 August, 2024;
originally announced August 2024.
-
Stability analysis of a three-dimensional system of Topp model with diabetes
Authors:
Z. S. Boxonov,
U. A. Rozikov
Abstract:
Mathematical models of glucose, insulin, and pancreatic $β$-cell mass dynamics are essential for understanding the physiological basis of type 2 diabetes. This paper investigates the Topp model's discrete-time dynamics to represent these interactions. We perform a comprehensive analysis of the system's trajectory, examining both local and global behavior. First, we establish the invariance of the…
▽ More
Mathematical models of glucose, insulin, and pancreatic $β$-cell mass dynamics are essential for understanding the physiological basis of type 2 diabetes. This paper investigates the Topp model's discrete-time dynamics to represent these interactions. We perform a comprehensive analysis of the system's trajectory, examining both local and global behavior. First, we establish the invariance of the positive trajectory and analyze the existence of fixed points. Then, we conduct a complete stability analysis, determining the local and global asymptotic stability of these fixed points. Finally, numerical examples validate the effectiveness and applicability of our theoretical findings. Additionally, we provide biological interpretations of our results.
△ Less
Submitted 1 May, 2024;
originally announced May 2024.
-
Dynamical systems of an infinite-dimensional non-linear operator
Authors:
U. R. Olimov,
U. A. Rozikov
Abstract:
We investigate discrete-time dynamical systems generated by an infinite-dimensional non-linear operator that maps the Banach space $l_1$ to itself. It is demonstrated that this operator possesses up to seven fixed points. By leveraging the specific form of our operator, we illustrate that analyzing the operator can be simplified to a two-dimensional approach. Subsequently, we provide a detailed de…
▽ More
We investigate discrete-time dynamical systems generated by an infinite-dimensional non-linear operator that maps the Banach space $l_1$ to itself. It is demonstrated that this operator possesses up to seven fixed points. By leveraging the specific form of our operator, we illustrate that analyzing the operator can be simplified to a two-dimensional approach. Subsequently, we provide a detailed description of all fixed points, invariant sets for the two-dimensional operator and determine the set of limit points for its trajectories. These results are then applied to find the set of limit points for trajectories generated by the infinite-dimensional operator.
△ Less
Submitted 23 February, 2024;
originally announced February 2024.
-
Dynamical systems of Möbius transformation: real, $p$-adic and complex variables
Authors:
E. T. Aliev,
U. A. Rozikov
Abstract:
In this paper we consider function $f(x)={x+a\over bx+c}$, (where $b\ne 0$, $c\ne ab$, $x\ne -{c\over b}$) on three fields: the set of real, $p$-adic and complex numbers. We study dynamical systems generated by this function on each field separately and give some comparison remarks.
For real variable case we show that the real dynamical system of the function depends on the parameters…
▽ More
In this paper we consider function $f(x)={x+a\over bx+c}$, (where $b\ne 0$, $c\ne ab$, $x\ne -{c\over b}$) on three fields: the set of real, $p$-adic and complex numbers. We study dynamical systems generated by this function on each field separately and give some comparison remarks.
For real variable case we show that the real dynamical system of the function depends on the parameters $(a,b,c)\in \mathbb R^3$. Namely, we classify the parameters to three sets and prove that: for the parameters from first class each point, for which the trajectory is well defined, is a periodic point of $f$; for the parameters from second class any trajectory (under $f$) converges to one of fixed points (there may be up to two fixed points); for the parameters from third class any trajectory is dense in $\mathbb R$.
For the $p$-adic variable we give a review of known results about dynamical systems of function $f$. Then using a recently developed method we give simple new proofs of these results and prove some new ones related to trajectories which do not converge.
For the complex variables we give a review of known results.
△ Less
Submitted 8 April, 2023;
originally announced April 2023.
-
Gonosomal algebras and associated discrete-time dynamical systems
Authors:
U. A. Rozikov,
S. K. Shoyimardonov,
R. Varro
Abstract:
In this paper we study the discrete-time dynamical systems associated with gonosomal algebras used as algebraic model in the sex-linked genes inheritance. We show that the class of gonosomal algebras is disjoint from the other non-associative algebras usually studied (Lie, alternative, Jordan, associative power). To each gonosomal algebra, with the mapping $x\mapsto\frac{1}{2}x^{2}$, an evolution…
▽ More
In this paper we study the discrete-time dynamical systems associated with gonosomal algebras used as algebraic model in the sex-linked genes inheritance. We show that the class of gonosomal algebras is disjoint from the other non-associative algebras usually studied (Lie, alternative, Jordan, associative power). To each gonosomal algebra, with the mapping $x\mapsto\frac{1}{2}x^{2}$, an evolution operator $W$ is associated that gives the state of the offspring population at the birth stage, then from $W$ we define the operator $V$ which gives the frequency distribution of genetic types. We study discrete-time dynamical systems generated by these two operators, in particular we show that the various stability notions of the equilibrium points are preserved by passing from $W$ to $V$. Moreover, for the evolution operators associated with genetic disorders in the case of a diallelic gonosomal lethal gene we give complete analysis of fixed and limit points of the dynamical systems.
△ Less
Submitted 4 April, 2023;
originally announced April 2023.
-
Kittel's molecular zipper model on Cayley trees
Authors:
U. A. Rozikov
Abstract:
Kittel's 1D model represents a natural DNA with two strands as a (molecular) zipper, which may separated as the temperature is varied. We define multidimensional version of this model on a Cayley tree and study the set of Gibbs measures. We reduce description of Gibbs measures to solving of a non-linear functional equation, with unknown functions (called boundary laws) defined on vertices of the C…
▽ More
Kittel's 1D model represents a natural DNA with two strands as a (molecular) zipper, which may separated as the temperature is varied. We define multidimensional version of this model on a Cayley tree and study the set of Gibbs measures. We reduce description of Gibbs measures to solving of a non-linear functional equation, with unknown functions (called boundary laws) defined on vertices of the Cayley tree. Each boundary law defines a Gibbs measure. We give general formula of free energy depending on the boundary law. Moreover, we find some concrete boundary laws and corresponding Gibbs measures. Explicit critical temperature for occurrence a phase transition (non-uniqueness of Gibbs measures) is obtained.
△ Less
Submitted 18 January, 2023;
originally announced January 2023.
-
Bubble coalescence in interacting system of DNA molecules
Authors:
U. A. Rozikov
Abstract:
We consider two models of interacting DNA molecules: \textit{First} is (four parametric) bubble coalescence model in interacting DNAs (shortly: BCI-DNA). \textit{Second} is (three parametric) bubble coalescence model in a condensed DNA molecules (shortly BCC-DNA). To study bubble coalescence thermodynamics of BCI-DNA and BCC-DNA models we use methods of statistical physics. Namely, we define Hamil…
▽ More
We consider two models of interacting DNA molecules: \textit{First} is (four parametric) bubble coalescence model in interacting DNAs (shortly: BCI-DNA). \textit{Second} is (three parametric) bubble coalescence model in a condensed DNA molecules (shortly BCC-DNA). To study bubble coalescence thermodynamics of BCI-DNA and BCC-DNA models we use methods of statistical physics. Namely, we define Hamiltonian of each model and give their translation-invariant Gibbs measures (TIGMs). For the first model we find parameters such that corresponding Hamiltonian has up to three TIGMs (three phases of system) biologically meaning existence of three states: ``No bubble coalescence'', ``Dominated soft zone'', ``Bubble coalescence''. For the second model we show that for any (admissible) parameters this model has unique TIGM. This is a state where ``No bubble coalescence'' phase dominates.
△ Less
Submitted 6 November, 2022;
originally announced November 2022.
-
Evolutionary behavior in a two-locus system
Authors:
A. M. Diyorov,
U. A. Rozikov
Abstract:
In this short note we study a dynamical system generated by a two-parametric quadratic operator mapping 3-dimensional simplex to itself. This is an evolution operator of the frequencies of gametes in a two-locus system. We find the set of all (a continuum set) fixed points and show that each fixed point is non-hyperbolic. We completely describe the set of all limit points of the dynamical system.…
▽ More
In this short note we study a dynamical system generated by a two-parametric quadratic operator mapping 3-dimensional simplex to itself. This is an evolution operator of the frequencies of gametes in a two-locus system. We find the set of all (a continuum set) fixed points and show that each fixed point is non-hyperbolic. We completely describe the set of all limit points of the dynamical system. Namely, for any initial point (taken from the 3-dimensional simplex) we find an invariant set containing the initial point and a unique fixed point of the operator, such that the trajectory of the initial point converges to this fixed point.
△ Less
Submitted 1 October, 2022;
originally announced October 2022.
-
A non-linear second-order difference equation related to Gibbs measures of a SOS model
Authors:
U. A. Rozikov
Abstract:
For the SOS (solid-on-solid) model with an external field and with spin values from the set of all integers on a Cayley tree each (gradient) Gibbs measure corresponds to a boundary law (an infinite-dimensional vector function defined on vertices of the Cayley tree) satisfying a non-linear functional equation. Recently some translation-invariant and height-periodic (non-normalisable) solutions to t…
▽ More
For the SOS (solid-on-solid) model with an external field and with spin values from the set of all integers on a Cayley tree each (gradient) Gibbs measure corresponds to a boundary law (an infinite-dimensional vector function defined on vertices of the Cayley tree) satisfying a non-linear functional equation. Recently some translation-invariant and height-periodic (non-normalisable) solutions to the equation are found. Here our aim is to find non-height-periodic and non-normalisable boundary laws for the SOS model. By such a solution one can construct a non-probability Gibbs measure. We find explicitly several non-normalisable boundary laws. Moreover, we reduce the problem to solving of a non-linear, second-order difference equation. We give analytic and numerical analysis of the difference equation.
△ Less
Submitted 29 September, 2022;
originally announced September 2022.
-
Periodic points of a $p$-adic operator and their $p$-adic Gibbs measures
Authors:
U. A. Rozikov,
I. A. Sattarov,
A. M. Tukhtabaev
Abstract:
In this paper we investigate generalized Gibbs measure (GGM) for $p$-adic Hard-Core(HC) model with a countable set of spin values on a Cayley tree of order $k\geq 2$. This model is defined by $p$-adic parameters $λ_i$, $i\in \mathbb N$. We analyze $p$-adic functional equation which provides the consistency condition for the finite-dimensional generalized Gibbs distributions. Each solutions of the…
▽ More
In this paper we investigate generalized Gibbs measure (GGM) for $p$-adic Hard-Core(HC) model with a countable set of spin values on a Cayley tree of order $k\geq 2$. This model is defined by $p$-adic parameters $λ_i$, $i\in \mathbb N$. We analyze $p$-adic functional equation which provides the consistency condition for the finite-dimensional generalized Gibbs distributions. Each solutions of the functional equation defines a GGM by $p$-adic version of Kolmogorov's theorem. We define $p$-adic Gibbs distributions as limit of the consistent family of finite-dimensional generalized Gibbs distributions and show that, for our $p$-adic HC model on a Cayley tree, such a Gibbs distribution does not exist. Under some conditions on parameters $p$, $k$ and $λ_i$ we find the number of translation-invariant and two-periodic GGMs for the $p$-adic HC model on the Cayley tree of order two.
△ Less
Submitted 10 July, 2022;
originally announced July 2022.
-
Fixed points of an infinite dimensional operator related to Gibbs measures
Authors:
U. R. Olimov,
U. A. Rozikov
Abstract:
We describe fixed points of an infinite dimensional non-linear operator related to a hard core (HC) model with a countable set $\mathbb{N}$ of spin values on the Cayley tree. This operator is defined by a countable set of parameters $λ_{i}>0$, $a_{ij}\in \{0,1\}$, $ i,j \in \mathbb{N}$. We find a sufficient condition on these parameters under which the operator has unique fixed point. When this co…
▽ More
We describe fixed points of an infinite dimensional non-linear operator related to a hard core (HC) model with a countable set $\mathbb{N}$ of spin values on the Cayley tree. This operator is defined by a countable set of parameters $λ_{i}>0$, $a_{ij}\in \{0,1\}$, $ i,j \in \mathbb{N}$. We find a sufficient condition on these parameters under which the operator has unique fixed point. When this condition is not satisfied then we show that the operator may have up to five fixed points. Also, we prove that every fixed point generates a normalisable boundary law and therefore defines a Gibbs measure for the given HC-model.
△ Less
Submitted 28 June, 2022;
originally announced June 2022.
-
A HC model with countable set of spin values: uncountable set of Gibbs measures
Authors:
U. A. Rozikov,
F. H. Haydarov
Abstract:
We consider a hard core (HC) model with a countable set $\mathbb{Z}$ of spin values on the Cayley tree. This model is defined by a countable set of parameters $λ_{i}>0, i \in \mathbb{Z}\setminus\{0\}$. For all possible values of parameters, we give limit points of the dynamical system generated by a function which describes the consistency condition for finite-dimensional measures. Also, we prove…
▽ More
We consider a hard core (HC) model with a countable set $\mathbb{Z}$ of spin values on the Cayley tree. This model is defined by a countable set of parameters $λ_{i}>0, i \in \mathbb{Z}\setminus\{0\}$. For all possible values of parameters, we give limit points of the dynamical system generated by a function which describes the consistency condition for finite-dimensional measures. Also, we prove that every periodic Gibbs measure for the given model is either translation-invariant or periodic with period two. Moreover, we construct uncountable set of Gibbs measures for this HC model.
△ Less
Submitted 7 June, 2022;
originally announced June 2022.
-
Gradient Gibbs measures of an SOS model with alternating magnetism on Cayley trees
Authors:
N. N. Ganikhodjaev,
N. M. Khatamov,
U. A. Rozikov
Abstract:
The work is devoted to gradient Gibbs measures (GGMs) of a SOS model with countable set $\mathbb Z$ of spin values and having alternating magnetism on Cayley trees. This model is defined by a nearest-neighbor gradient interaction potential. Using Külske-Schriever argument, based on boundary law equations, we give several $q$-height-periodic translations invariant GGMs for $q=2,3,4$.
The work is devoted to gradient Gibbs measures (GGMs) of a SOS model with countable set $\mathbb Z$ of spin values and having alternating magnetism on Cayley trees. This model is defined by a nearest-neighbor gradient interaction potential. Using Külske-Schriever argument, based on boundary law equations, we give several $q$-height-periodic translations invariant GGMs for $q=2,3,4$.
△ Less
Submitted 19 September, 2023; v1 submitted 1 June, 2022;
originally announced June 2022.
-
Gibbs measures for HC-model with a countable set of spin values on a Cayley tree
Authors:
R. M. Khakimov,
M. T. Makhammadaliev,
U. A. Rozikov
Abstract:
In this paper, we study the HC-model with a countable set $\mathbb Z$ of spin values on a Cayley tree of order $k\geq 2$. This model is defined by a countable set of parameters (that is, the activity function $λ_i>0$, $i\in \mathbb Z$). A functional equation is obtained that provides the consistency condition for finite-dimensional Gibbs distributions. Analyzing this equation, the following result…
▽ More
In this paper, we study the HC-model with a countable set $\mathbb Z$ of spin values on a Cayley tree of order $k\geq 2$. This model is defined by a countable set of parameters (that is, the activity function $λ_i>0$, $i\in \mathbb Z$). A functional equation is obtained that provides the consistency condition for finite-dimensional Gibbs distributions. Analyzing this equation, the following results are obtained:
- Let $Λ=\sum_iλ_i$.
For $Λ=+\infty$ there are no translation-invariant Gibbs measures (TIGM) and no two-periodic Gibbs measures (TPGM);
- For $Λ<+\infty$, the uniqueness of TIGM is proved;
- Let $Λ_{\rm cr}(k)=\frac{k^k}{(k-1)^{k+1}}$. If $0<Λ\leqΛ_{\rm cr}$, then there is exactly one TPGM that is TIGM;
- For $Λ>Λ_{\rm cr}$, there are exactly three TPGMs, one of which is TIGM.
△ Less
Submitted 4 May, 2022;
originally announced May 2022.
-
Classification in a rotational flow of two-dimensional algebras
Authors:
U. A. Rozikov,
M. V. Velasco,
B. A. Narkuziev
Abstract:
In this paper, we examine a time-dependent family of two-dimensional algebras. We investigate the conditions under which any two algebras from this family, formed at different times, are isomorphic. Our findings reveal that the flow comprises of uncountable pairwise non-isomorphic algebras, including one commutative algebra. Additionally, we compare our results with a previously established classi…
▽ More
In this paper, we examine a time-dependent family of two-dimensional algebras. We investigate the conditions under which any two algebras from this family, formed at different times, are isomorphic. Our findings reveal that the flow comprises of uncountable pairwise non-isomorphic algebras, including one commutative algebra. Additionally, we compare our results with a previously established classification of 2-dimensional real algebras.
△ Less
Submitted 18 January, 2024; v1 submitted 29 April, 2022;
originally announced April 2022.
-
Mirror symmetry of height-periodic gradient Gibbs measures of a SOS model on Cayley trees
Authors:
U. A. Rozikov
Abstract:
For the solid-on-solid (SOS) model with spin values from the set of all integers on a Cayley tree we give gradient Gibbs measures (GGMs). Such a measure corresponds to a boundary law (which is an infinite-dimensional vector-valued function defined on vertices of the Cayley tree) satisfying an infinite system of functional equations. We give several concrete GGMs of boundary laws which are independ…
▽ More
For the solid-on-solid (SOS) model with spin values from the set of all integers on a Cayley tree we give gradient Gibbs measures (GGMs). Such a measure corresponds to a boundary law (which is an infinite-dimensional vector-valued function defined on vertices of the Cayley tree) satisfying an infinite system of functional equations. We give several concrete GGMs of boundary laws which are independent from vertices of the Cayley tree and (as an infinite-dimensional vector) have periodic, (non-)mirror symmetric coordinates.
△ Less
Submitted 12 June, 2022; v1 submitted 21 March, 2022;
originally announced March 2022.
-
Gradient Gibbs measures of a SOS model on Cayley trees: 4-periodic boundary laws
Authors:
F. H. Haydarov,
U. A. Rozikov
Abstract:
For SOS (solid-on-solid) model with external field and with spin values from the set of all integers, on a Cayley tree we give gradient Gibbs measures (GGMs). Such a measure corresponds to a boundary law (a function defined on vertices of Cayley tree) satisfying an infinite system of functional equations. We give several concrete GGMs which correspond to periodic boundary laws.
For SOS (solid-on-solid) model with external field and with spin values from the set of all integers, on a Cayley tree we give gradient Gibbs measures (GGMs). Such a measure corresponds to a boundary law (a function defined on vertices of Cayley tree) satisfying an infinite system of functional equations. We give several concrete GGMs which correspond to periodic boundary laws.
△ Less
Submitted 19 October, 2021;
originally announced October 2021.
-
Quadratic non-stochastic operators: Examples of splitted chaos
Authors:
U. A. Rozikov,
S. S. Xudayarov
Abstract:
There is one-to-one correspondence between quadratic operators (mapping $\mathbb R^m$ to itself) and cubic matrices. It is known that any quadratic operator corresponding to a stochastic (in a fixed sense) cubic matrix preserves the standard simplex. In this paper we find conditions on the (non-stochastic) cubic matrix ensuring that corresponding quadratic operator preserves simplex. Moreover, we…
▽ More
There is one-to-one correspondence between quadratic operators (mapping $\mathbb R^m$ to itself) and cubic matrices. It is known that any quadratic operator corresponding to a stochastic (in a fixed sense) cubic matrix preserves the standard simplex. In this paper we find conditions on the (non-stochastic) cubic matrix ensuring that corresponding quadratic operator preserves simplex. Moreover, we construct several quadratic non-stochastic operators which generate chaotic dynamical systems on the simplex. These chaotic behaviors are \emph{splitted} meaning that the simplex is partitioned into uncountably many invariant (with respect to quadratic operator) subsets and the restriction of the dynamical system on each invariant set is chaos in the sense of Devaney.
△ Less
Submitted 30 June, 2021;
originally announced June 2021.
-
An application of discrete-time SEIR model to the COVID-19 spread
Authors:
U. A. Rozikov,
S. K. Shoyimardonov
Abstract:
The Susceptible-Exposed-Infectious-Recovered (SEIR) model is applied in several countries to ascertain the spread of the coronavirus disease 2019 (COVID-19). We consider discrete-time SEIR epidemic model in a closed system which does not account for births or deaths, total population size under consideration is constant. This dynamical system generated by a non-linear evolution operator depending…
▽ More
The Susceptible-Exposed-Infectious-Recovered (SEIR) model is applied in several countries to ascertain the spread of the coronavirus disease 2019 (COVID-19). We consider discrete-time SEIR epidemic model in a closed system which does not account for births or deaths, total population size under consideration is constant. This dynamical system generated by a non-linear evolution operator depending on four parameters. Under some conditions on parameters we reduce the evolution operator to a quadratic stochastic operator (QSO) which maps 3-dimensional simplex to itself. We show that the QSO has uncountable set of fixed points (all laying on the boundary of the simplex). It is shown that all trajectories of the dynamical system (generated by the QSO) of the SEIR model are convergent (i.e. the QSO is regular). Moreover, we discuss the efficiency of the model for Uzbekistan.
△ Less
Submitted 1 May, 2021;
originally announced May 2021.
-
Dynamical system of a quadratic stochastic operator with two discontinuity points
Authors:
Sh. B. Abdurakhimova,
U. A. Rozikov
Abstract:
In this paper we consider a population consisting of two species, dynamics of which is defined by a quadratic stochastic operator with variable coefficients, making it discontinuous operator at two points. This operator depends on three parameters. It is shown that under suitable conditions on the parameters this operator may have fixed points, convergence of trajectories and there may exist perio…
▽ More
In this paper we consider a population consisting of two species, dynamics of which is defined by a quadratic stochastic operator with variable coefficients, making it discontinuous operator at two points. This operator depends on three parameters. It is shown that under suitable conditions on the parameters this operator may have fixed points, convergence of trajectories and there may exist periodic points.
△ Less
Submitted 27 March, 2021;
originally announced March 2021.
-
Gibbs measures of Potts model on Cayley trees: a survey and applications
Authors:
U. A. Rozikov
Abstract:
In this paper we give a systematic review of the theory of Gibbs measures of Potts model on Cayley trees (developed since 2013) and discuss many applications of the Potts model to real world situations: mainly biology, physics, and some examples of alloy behavior, cell sorting, financial engineering, flocking birds, flowing foams, image segmentation, medicine, sociology etc.
In this paper we give a systematic review of the theory of Gibbs measures of Potts model on Cayley trees (developed since 2013) and discuss many applications of the Potts model to real world situations: mainly biology, physics, and some examples of alloy behavior, cell sorting, financial engineering, flocking birds, flowing foams, image segmentation, medicine, sociology etc.
△ Less
Submitted 12 March, 2021;
originally announced March 2021.
-
A discrete-time dynamical system of wild mosquito population with Allee effects
Authors:
U. A. Rozikov,
Z. S. Boxonov
Abstract:
We study a discrete-time dynamical system of wild mosquito population with parameters: $β$ - the birth rate of adults; $α$ - maximum emergence rate; $μ>0$ - the death rate of adults; $γ$ - Allee effects. We prove that if $γ\geq\frac{α(β-μ)}{μ^2}$ then the mosquito population dies and if $γ<\frac{α(β-μ)}{μ^2}$ holds then extinction or survival of the mosquito population depends on their initial sta…
▽ More
We study a discrete-time dynamical system of wild mosquito population with parameters: $β$ - the birth rate of adults; $α$ - maximum emergence rate; $μ>0$ - the death rate of adults; $γ$ - Allee effects. We prove that if $γ\geq\frac{α(β-μ)}{μ^2}$ then the mosquito population dies and if $γ<\frac{α(β-μ)}{μ^2}$ holds then extinction or survival of the mosquito population depends on their initial state.
△ Less
Submitted 7 October, 2022; v1 submitted 16 February, 2021;
originally announced February 2021.
-
A Regular Gonosomal Evolution Operator with uncountable set of fixed points
Authors:
A. T. Absalamov,
U. A. Rozikov
Abstract:
In this paper we study dynamical systems generated by a gonosomal evolution operator of a bisexual population. We find explicitly all (uncountable set) of fixed points of the operator. It is shown that each fixed point has eigenvalues less or equal to 1. Moreover, we show that each trajectory converges to a fixed point, i.e. the operator is reqular. There are uncountable family of invariant sets e…
▽ More
In this paper we study dynamical systems generated by a gonosomal evolution operator of a bisexual population. We find explicitly all (uncountable set) of fixed points of the operator. It is shown that each fixed point has eigenvalues less or equal to 1. Moreover, we show that each trajectory converges to a fixed point, i.e. the operator is reqular. There are uncountable family of invariant sets each of which consisting unique fixed point. Thus there is one-to-one correspondence between such invariant sets and the set of fixed points. Any trajectory started at a point of the invariant set converges to the corresponding fixed point.
△ Less
Submitted 10 February, 2021;
originally announced February 2021.
-
$p$-adic dynamical systems of the function $a x^{-2}$
Authors:
U. A. Rozikov
Abstract:
In this paper we study $p$-adic dynamical systems generated by the function $f(x)={a\over x^2}$ in the set of complex $p$-adic numbers. We find an explicit formula for the $n$-fold composition of $f$ for any $n\geq 1$. Using this formula we give fixed points, periodic points, basin of attraction and Siegel disk of each fixed (periodic) point depending on parameters $p$ and $a$.
In this paper we study $p$-adic dynamical systems generated by the function $f(x)={a\over x^2}$ in the set of complex $p$-adic numbers. We find an explicit formula for the $n$-fold composition of $f$ for any $n\geq 1$. Using this formula we give fixed points, periodic points, basin of attraction and Siegel disk of each fixed (periodic) point depending on parameters $p$ and $a$.
△ Less
Submitted 14 January, 2021;
originally announced January 2021.
-
Dynamical system of a mosquito population with distinct birth-death rates
Authors:
Z. S. Boxonov,
U. A. Rozikov
Abstract:
We study the discrete-time dynamical systems of a model of wild mosquito population with distinct birth (denoted by $β$) and death (denoted by $μ$) rates. The case $μ=β$ was considered in our previous work. In this paper we prove that for $β<μ$ the mosquito population will die and for $β>μ$ the population will survive, namely, the number of the larvaes goes to infinite and the number of adults has…
▽ More
We study the discrete-time dynamical systems of a model of wild mosquito population with distinct birth (denoted by $β$) and death (denoted by $μ$) rates. The case $μ=β$ was considered in our previous work. In this paper we prove that for $β<μ$ the mosquito population will die and for $β>μ$ the population will survive, namely, the number of the larvaes goes to infinite and the number of adults has finite limit ${α\over μ}$, where $α>0$ is the maximum emergence rete.
△ Less
Submitted 9 September, 2020; v1 submitted 7 July, 2020;
originally announced July 2020.
-
Thermodynamics of DNA-RNA renaturation
Authors:
U. A. Rozikov
Abstract:
We consider a new model which consists of a DNA together with a RNA. Here we assume that DNA is from a mammal or bird but RNA comes from a virus. To study thermodynamic properties of this model we use methods of statistical mechanics, namely, the theory of Gibbs measures. We use these measures to describe phases (states) of the DNA-RNA system. Using a Markov chain (corresponding to Gibbs measure)…
▽ More
We consider a new model which consists of a DNA together with a RNA. Here we assume that DNA is from a mammal or bird but RNA comes from a virus. To study thermodynamic properties of this model we use methods of statistical mechanics, namely, the theory of Gibbs measures. We use these measures to describe phases (states) of the DNA-RNA system. Using a Markov chain (corresponding to Gibbs measure) we give conditions (on temperature) of DNA-RNA renaturation.
△ Less
Submitted 6 February, 2021; v1 submitted 1 July, 2020;
originally announced July 2020.
-
Thermodynamics of interacting system of DNAs
Authors:
U. A. Rozikov
Abstract:
We define a DNA as a sequence of $1, 2$'s and embed it on a path of Cayley tree in such a way that each vertex of the Cayley tree belongs only to one of DNA and each DNA has its own countably many set of neighboring DNAs. The Hamiltonian of this set of DNAs is a model with two spin values considered as DNA base pairs. We describe translation invariant Gibbs measures (TIGM) of the model on the Cayl…
▽ More
We define a DNA as a sequence of $1, 2$'s and embed it on a path of Cayley tree in such a way that each vertex of the Cayley tree belongs only to one of DNA and each DNA has its own countably many set of neighboring DNAs. The Hamiltonian of this set of DNAs is a model with two spin values considered as DNA base pairs. We describe translation invariant Gibbs measures (TIGM) of the model on the Cayley tree of order two and use them to study thermodynamic properties of the model of DNAs. We show that there is a critical temperature $T_{\rm c}$ such that (i) if temperature $T\geq T_{\rm c}$ then there exists unique TIGM; (ii) if $T<T_{\rm c}$ then there are three TIGMs. Each TIGM gives a phase of the set of DNAs. In case of very high and very low temperatures we give stationary distributions and typical configurations of the model.
△ Less
Submitted 23 June, 2020;
originally announced June 2020.
-
Quadratic stochastic processes of type $(σ|μ)$
Authors:
B. J. Mamurov,
U. A. Rozikov,
S. S. Xudayarov
Abstract:
We construct quadratic stochastic processes (QSP) (also known as Markov processes of cubic matrices) in continuous and discrete times. These are dynamical systems given by (a fixed type, called $σ$) stochastic cubic matrices satisfying an analogue of Kolmogorov-Chapman equation (KCE) with respect to a fixed multiplications (called $μ$) between cubic matrices. The existence of a stochastic (at each…
▽ More
We construct quadratic stochastic processes (QSP) (also known as Markov processes of cubic matrices) in continuous and discrete times. These are dynamical systems given by (a fixed type, called $σ$) stochastic cubic matrices satisfying an analogue of Kolmogorov-Chapman equation (KCE) with respect to a fixed multiplications (called $μ$) between cubic matrices. The existence of a stochastic (at each time) solution to the KCE provides the existence of a QSP called a QSP of type $(σ| μ)$. In this paper, our aim is to construct and study trajectories of QSPs for specially chosen notions of stochastic cubic matrices and a wide class of multiplications of such matrices (known as Maksimov's multiplications).
△ Less
Submitted 2 April, 2020;
originally announced April 2020.
-
A discrete-time dynamical system of stage-structured wild and sterile mosquito population
Authors:
Z. S. Boxonov,
U. A. Rozikov
Abstract:
We study the discrete-time dynamical systems associated to a stage-structured wild and sterile mosquito population. We describe all fixed points of the evolution operator (which depends on five parameters) of mosquito population and show that depending on the parameters this operator may have unique, two and infinitely many fixed points. Under some general conditions on parameters we determine typ…
▽ More
We study the discrete-time dynamical systems associated to a stage-structured wild and sterile mosquito population. We describe all fixed points of the evolution operator (which depends on five parameters) of mosquito population and show that depending on the parameters this operator may have unique, two and infinitely many fixed points. Under some general conditions on parameters we determine type of each fixed point and give the limit points of the dynamical system. Moreover, for a special case of parameters we give full analysis of corresponding dynamical system. We give some biological interpretations of our results.
△ Less
Submitted 27 February, 2020;
originally announced February 2020.
-
Dynamics of dioecious population with different fitness of genotypes
Authors:
A. M. Diyorov,
U. A. Rozikov
Abstract:
In this paper we study dynamical systems generated by an evolution operator
of a dioecious population. This evolution operator is a six-parametric, non-linear operator mapping $[0,1]^2$ to itself. We find all fixed points and under some conditions on parameters we give limit points of trajectories constructed by iterations of the evolution operator.
In this paper we study dynamical systems generated by an evolution operator
of a dioecious population. This evolution operator is a six-parametric, non-linear operator mapping $[0,1]^2$ to itself. We find all fixed points and under some conditions on parameters we give limit points of trajectories constructed by iterations of the evolution operator.
△ Less
Submitted 7 January, 2020;
originally announced January 2020.
-
Leslie's prey-predator model in discrete time
Authors:
U. A. Rozikov,
S. K. Shoyimardonov
Abstract:
We consider the Leslie's prey-predator model with discrete-time. This model is given by a non-linear evolution operator depending on five parameters. We show that this operator has two fixed points and define type of each fixed point depending on the parameters. Finding two invariant sets of the evolution operator we study the dynamical systems generated by the operator on each invariant set. Depe…
▽ More
We consider the Leslie's prey-predator model with discrete-time. This model is given by a non-linear evolution operator depending on five parameters. We show that this operator has two fixed points and define type of each fixed point depending on the parameters. Finding two invariant sets of the evolution operator we study the dynamical systems generated by the operator on each invariant set. Depending on the parameters we classify the dynamics between a predator and a prey of the Leslie's model.
△ Less
Submitted 6 January, 2020;
originally announced January 2020.
-
Planktons discrete-time dynamical systems
Authors:
U. A. Rozikov,
S. K. Shoyimardonov,
R. Varro
Abstract:
In this paper, we initiate the study of a discrete-time dynamical system modelling a trophic network connecting the three types of plankton (phytoplankton, zooplankton, mixoplankton) and bacteria. The nonlinear operator V associated with this dynamical system is of type 4-Volterra quadratic stochastic operator (QSO) with twelve parameters. We give conditions on the parameters under which this oper…
▽ More
In this paper, we initiate the study of a discrete-time dynamical system modelling a trophic network connecting the three types of plankton (phytoplankton, zooplankton, mixoplankton) and bacteria. The nonlinear operator V associated with this dynamical system is of type 4-Volterra quadratic stochastic operator (QSO) with twelve parameters. We give conditions on the parameters under which this operator maps the five-dimensional standard simplex to itself and we find its fixed points. Moreover, we study the limit points of trajectories for this operator. For each situations we give some biological interpretations.
△ Less
Submitted 1 March, 2020; v1 submitted 5 January, 2020;
originally announced January 2020.
-
Invariance property on group representations of the Cayley tree and its applications
Authors:
U. A. Rozikov,
F. H. Haydarov
Abstract:
In the present paper, we give a certain condition on subgroups of the group representation of the Cayley tree such that an invariance property holds. Except for the given condition, we show that the invariance property does not hold.
In the present paper, we give a certain condition on subgroups of the group representation of the Cayley tree such that an invariance property holds. Except for the given condition, we show that the invariance property does not hold.
△ Less
Submitted 30 October, 2019;
originally announced October 2019.
-
Approximation of an algebra by evolution algebras
Authors:
A. N. Imomkulov,
U. A. Rozikov
Abstract:
It is known that any multiplication of a finite dimensional algebra is determined by a matrix of structural constants. In general, this is a cubic matrix. Difficulty of investigation of an algebra depends on the cubic matrix. Such a cubic matrix defines a quadratic mapping called an evolution operator. In the case of evolution algebras, the cubic matrix consists many zeros allowing to reduce it to…
▽ More
It is known that any multiplication of a finite dimensional algebra is determined by a matrix of structural constants. In general, this is a cubic matrix. Difficulty of investigation of an algebra depends on the cubic matrix. Such a cubic matrix defines a quadratic mapping called an evolution operator. In the case of evolution algebras, the cubic matrix consists many zeros allowing to reduce it to a square matrix.
In this paper for any finite dimensional algebra we construct a family of evolution algebras corresponding to Jacobian of the evolution operator at a point of the algebra. We obtain some results answering how properties of an algebra depends on the properties of the corresponding family of evolution algebras. Moreover, we consider evolution algebras corresponding to 2 and 3-dimensional nilpotent Leibniz algebras. We prove that such evolution algebras are nilpotent too. Also we classify such evolution algebras.
△ Less
Submitted 8 October, 2019;
originally announced October 2019.
-
Dynamics of a population with two equal dominated species
Authors:
U. A. Rozikov,
J. B. Usmonov
Abstract:
We consider a population with two equal dominated species, dynamics of which is defined by one-dimensional piecewise-continuous, two parametric functions. It is shown that for any non-zero parameters this function has two fixed points and several periodic points. We prove that all periodic (in particular fixed) points are repelling, and find an invariant set which asymptotically involves the traje…
▽ More
We consider a population with two equal dominated species, dynamics of which is defined by one-dimensional piecewise-continuous, two parametric functions. It is shown that for any non-zero parameters this function has two fixed points and several periodic points. We prove that all periodic (in particular fixed) points are repelling, and find an invariant set which asymptotically involves the trajectories of any initial point except fixed and periodic ones. We showed that the orbits are unstable and chaotic because Lyapunov exponent is non-negative. The limit sets analyzed by bifurcation diagrams. We give biological interpretations of our results.
△ Less
Submitted 16 September, 2019;
originally announced September 2019.
-
Dynamics of quadratic operators generated by China's Five elements philosophy
Authors:
N. N. Ganikhodjaev,
C. H. Pah,
U. A. Rozikov
Abstract:
Motivating by the China's five element philosophy (CFEP) we construct a permuted Volterra quadratic stochastic operator acting on the four dimensional simplex. This operator (depending on 10 parameters) is considered as an evolution operator for CFEP. We study the discrete time dynamical system generated by this operator. Mainly our results related to a symmetric operator (depending on one paramet…
▽ More
Motivating by the China's five element philosophy (CFEP) we construct a permuted Volterra quadratic stochastic operator acting on the four dimensional simplex. This operator (depending on 10 parameters) is considered as an evolution operator for CFEP. We study the discrete time dynamical system generated by this operator. Mainly our results related to a symmetric operator (depending on one parameter). We show that this operator has a unique fixed point, which is repeller. Moreover, in the case of non-zero parameter, it has two 5-periodic orbits. We divide the simplex to four subsets: the first set consists a single point (the fixed point); the second (resp. third) set is the set of initial points trajectories of which converge to the first (resp. second) 5-periodic orbit; the fourth subset is the set of initial points trajectories of which do not converge and their sets of limit points are infinite and lie on the boundary of the simplex. We give interpretations of our results to CFEP.
△ Less
Submitted 21 August, 2019;
originally announced August 2019.
-
$p$-adic boundary laws and Markov chains on trees
Authors:
A. Le Ny,
L. Liao,
U. A. Rozikov
Abstract:
In this paper we consider $q$-state potential on general infinite trees with a nearest-neighbor $p$-adic interactions given by a stochastic matrix. {We show the uniqueness of the associated Markov chain ({\em splitting Gibbs measures}) under some sufficient conditions on the stochastic matrix.} Moreover, we find a family of stochastic matrices for which there are at least two $p$-adic Markov chain…
▽ More
In this paper we consider $q$-state potential on general infinite trees with a nearest-neighbor $p$-adic interactions given by a stochastic matrix. {We show the uniqueness of the associated Markov chain ({\em splitting Gibbs measures}) under some sufficient conditions on the stochastic matrix.} Moreover, we find a family of stochastic matrices for which there are at least two $p$-adic Markov chains on an infinite tree (in particular, on a Cayley tree). When the $p$-adic norm of $q$ is greater ({\em resp.} less) than the norm of any element of the stochastic matrix then it is proved that the $p$-adic Markov chain is bounded ({\em resp.} is not bounded). Our method {uses} a classical boundary law argument carefully adapted from the real case to the $p$-adic case, by a systematic use of some nice peculiarities of the ultrametric ($p$-adic) norms.
△ Less
Submitted 5 July, 2019;
originally announced July 2019.
-
On the uniqueness of Gibbs measure in the Potts model on a Cayley tree with external field
Authors:
Leonid V. Bogachev,
Utkir A. Rozikov
Abstract:
The paper concerns the $q$-state Potts model (i.e., with spin values in $\{1,\dots,q\}$) on a Cayley tree $\mathbb{T}^k$ of degree $k\geq 2$ (i.e., with $k+1$ edges emanating from each vertex) in an external (possibly random) field. We construct the so-called splitting Gibbs measures (SGM) using generalized boundary conditions on a sequence of expanding balls, subject to a suitable compatibility c…
▽ More
The paper concerns the $q$-state Potts model (i.e., with spin values in $\{1,\dots,q\}$) on a Cayley tree $\mathbb{T}^k$ of degree $k\geq 2$ (i.e., with $k+1$ edges emanating from each vertex) in an external (possibly random) field. We construct the so-called splitting Gibbs measures (SGM) using generalized boundary conditions on a sequence of expanding balls, subject to a suitable compatibility criterion. Hence, the problem of existence/uniqueness of SGM is reduced to solvability of the corresponding functional equation on the tree. In particular, we introduce the notion of translation-invariant SGMs and prove a novel criterion of translation invariance. Assuming a ferromagnetic nearest-neighbour spin-spin interaction, we obtain various sufficient conditions for uniqueness. For a model with constant external field, we provide in-depth analysis of uniqueness vs.\ non-uniqueness in the subclass of completely homogeneous SGMs by identifying the phase diagrams on the "temperature--field" plane for different values of the parameters $q$ and $k$. In a few particular cases (e.g., $q=2$ or $k=2$), the maximal number of completely homogeneous SGMs in this model is shown to be $2^q-1$, and we make a conjecture (supported by computer calculations) that this bound is valid for all $q\ge 2$ and $k\ge2$.
△ Less
Submitted 10 May, 2019; v1 submitted 27 March, 2019;
originally announced March 2019.
-
Dynamical systems of the $p$-adic $(2,2)$-rational functions with two fixed points
Authors:
U. A. Rozikov,
I. A. Sattarov
Abstract:
We consider a family of $(2,2)$-rational functions given on the set of complex $p$-adic field $\mathcal{C}_p$. Each such function $f$ has the two distinct fixed points $x_1=x_1(f)$, $x_2=x_2(f)$. We study $p$-adic dynamical systems generated by the $(2,2)$-rational functions. We prove that $x_1$ is always indifferent fixed point for $f$, i.e., $x_1$ is a center of some Siegel disk $SI(x_1)$. Depen…
▽ More
We consider a family of $(2,2)$-rational functions given on the set of complex $p$-adic field $\mathcal{C}_p$. Each such function $f$ has the two distinct fixed points $x_1=x_1(f)$, $x_2=x_2(f)$. We study $p$-adic dynamical systems generated by the $(2,2)$-rational functions. We prove that $x_1$ is always indifferent fixed point for $f$, i.e., $x_1$ is a center of some Siegel disk $SI(x_1)$. Depending on the parameters of the function $f$, the type of the fixed point $x_2$ may be any possibility: indifferent, attractor, repeller. We find Siegel disk or basin of attraction of the fixed point $x_2$, when $x_2$ is indifferent or attractor, respectively. When $x_2$ is repeller we find an open ball any point of which repelled from $x_2$. Moreover, we study relations between the sets $SI(x_1)$ and $SI(x_2)$ when $x_2$ is indifferent. For each $(2,2)$-rational function on $\mathcal{C}_p$ there are two points $\hat x_1=\hat x_1(f)$, $\hat x_2=\hat x_2(f)\in \mathcal{C}_p$ which are zeros of its denominator. We give explicit formulas of radiuses of spheres (with the center at the fixed point $x_1$) containing some points such that the trajectories (under actions of $f$) of the points after a finite step come to $\hat x_1$ or $\hat x_2$. We study periodic orbits of the dynamical system and find an invariant set, which contains all periodic orbits. Moreover, we study ergodicity properties of the dynamical system on each invariant sphere. Under some conditions we show that the system is ergodic iff $p=2$.
△ Less
Submitted 15 March, 2019;
originally announced March 2019.
-
Gradient Gibbs measures for the SOS model with countable values on a Cayley tree
Authors:
F. Henning,
C. Kuelske,
A. Le Ny,
U. A. Rozikov
Abstract:
We consider an SOS (solid-on-solid) model, with spin values from the set of all integers, on a Cayley tree of order k and are interested in translation-invariant gradient Gibbs measures (GGMs) of the model. Such a measure corresponds to a boundary law (a function defined on vertices of the Cayley tree) satisfying a functional equation. In the ferromagnetic SOS case on the binary tree we find up to…
▽ More
We consider an SOS (solid-on-solid) model, with spin values from the set of all integers, on a Cayley tree of order k and are interested in translation-invariant gradient Gibbs measures (GGMs) of the model. Such a measure corresponds to a boundary law (a function defined on vertices of the Cayley tree) satisfying a functional equation. In the ferromagnetic SOS case on the binary tree we find up to five solutions to a class of 4-periodic boundary law equations (in particular, some 2-periodic ones). We show that these boundary laws define up to four distinct GGMs. Moreover, we construct some 3-periodic boundary laws on the Cayley tree of arbitrary order k, which define GGMs different from the 4-periodic ones.
△ Less
Submitted 13 February, 2019;
originally announced February 2019.
-
Hard-Core and Soft-Core Widom-Rowlinson models on Cayley trees
Authors:
Sascha Kissel,
Christof Kuelske,
Utkir A. Rozikov
Abstract:
We consider both Hard-Core and Soft-Core Widom-Rowlinson models with spin values $-1,0,1$ on a Cayley tree of order $k\geq 2$ and we are interested in the Gibbs measures of the models. The models depend on 3 parameters: the order $k$ of the tree, $θ$ describing the strength of the (ferromagnetic or antiferromagnetic) interaction, and $λ$ describing the intensity for particles. The Hard-Core Widom-…
▽ More
We consider both Hard-Core and Soft-Core Widom-Rowlinson models with spin values $-1,0,1$ on a Cayley tree of order $k\geq 2$ and we are interested in the Gibbs measures of the models. The models depend on 3 parameters: the order $k$ of the tree, $θ$ describing the strength of the (ferromagnetic or antiferromagnetic) interaction, and $λ$ describing the intensity for particles. The Hard-Core Widom-Rowlinson model corresponds to the case $θ=0$. For the binary tree $k=2$, and for $k=3$ we prove that the ferromagnetic model has either one or three splitting Gibbs measures (tree-automorphism invariant Gibbs measures (TISGM) which are tree-indexed Markov chains). We also give the exact form of the corresponding critical curves in parameter space. For higher values of $k$ we give an explicit sufficient bound ensuring non-uniqueness which we conjecture to be the exact curve. Moreover, for the antiferromagnetic model we explicitly give two critical curves and prove that on these curves there are exactly two TISGMs; between these curves there are exactly three TISGMs; otherwise there exists a unique TISGM. Also some periodic and non-periodic SGMs are constructed in the ferromagnetic model.
△ Less
Submitted 26 January, 2019;
originally announced January 2019.
-
The dynamics of gonosomal evolution operators
Authors:
Akmal T. Absalamov,
Utkir A. Rozikov
Abstract:
In this paper we investigate the dynamical systems generated by gonosomal evolution operator of sex linked inheritance depending on parameters. Mainly we study dynamical systems of a hemophilia which is biological group of disorders connected with genes that diminish the body's ability to control blood clotting or coagulation that is used to stop bleeding when a blood vessel is broken. For the gon…
▽ More
In this paper we investigate the dynamical systems generated by gonosomal evolution operator of sex linked inheritance depending on parameters. Mainly we study dynamical systems of a hemophilia which is biological group of disorders connected with genes that diminish the body's ability to control blood clotting or coagulation that is used to stop bleeding when a blood vessel is broken. For the gonosomal operator we discrebe all forms and give explicitly the types of fixed points. Moreover we study limit points of the trajectories of the corresponding dynamical system.
△ Less
Submitted 30 September, 2018; v1 submitted 25 September, 2018;
originally announced September 2018.
-
On Volterra quadratic stochastic operators of a two-sex population on $S^1\times S^1$
Authors:
O. Castanos,
U. U. Jamilov,
U. A. Rozikov
Abstract:
We consider a four-parametric $(a, b, α, β)$ family of Volterra quadratic stochastic operators for a bisexual population (i.e., each organism of the population must belong either to the female sex or the male sex). We show that independently on parameters each such operator has at least two fixed points. Moreover, under some conditions on parameters the operator has infinitely many (continuum) fix…
▽ More
We consider a four-parametric $(a, b, α, β)$ family of Volterra quadratic stochastic operators for a bisexual population (i.e., each organism of the population must belong either to the female sex or the male sex). We show that independently on parameters each such operator has at least two fixed points. Moreover, under some conditions on parameters the operator has infinitely many (continuum) fixed points. Choosing parameters, numerically we show that a fixed point may be any type: attracting, repelling, saddle and non-hyperbolic. We separate five subfamilies of quadratic operators and show that each operator of these subfamilies is regular, i.e. any trajectory constructed by the operator converges to a fixed point.
△ Less
Submitted 11 September, 2018; v1 submitted 6 August, 2018;
originally announced August 2018.
-
A quasi-strictly non-volterra quadratic stochastic operator
Authors:
A. J. M. Hardin,
U. A. Rozikov
Abstract:
We consider a four-parameter family of non-Volterra operators defined on the two-dimensional simplex and show that, with one exception, each such operator has a unique fixed point. Depending on the parameters, we establish the type of this fixed point. We study the set of limit points for each trajectory and show that this set can be a single point or can contain a 2-periodic trajectory.
We consider a four-parameter family of non-Volterra operators defined on the two-dimensional simplex and show that, with one exception, each such operator has a unique fixed point. Depending on the parameters, we establish the type of this fixed point. We study the set of limit points for each trajectory and show that this set can be a single point or can contain a 2-periodic trajectory.
△ Less
Submitted 11 September, 2018; v1 submitted 1 August, 2018;
originally announced August 2018.
