Emergent behaviors of discrete Lohe aggregation flows

<p style='text-indent:20px;'>The Lohe sphere model and the Lohe matrix model are prototype continuous aggregation models on the unit sphere and the unitary group, respectively. These models have been extensively investigated in recent literature. In this paper, we propose several discrete counterparts for the continuous Lohe type aggregation models and study their emergent behaviors using the Lyapunov function method. For suitable discretization of the Lohe sphere model, we employ a scheme consisting of two steps. In the first step, we solve the first-order forward Euler scheme, and in the second step, we project the intermediate state onto the unit sphere. For this discrete model, we present a sufficient framework leading to the complete state aggregation in terms of system parameters and initial data. For the discretization of the Lohe matrix model, we use the Lie group integrator method, Lie-Trotter splitting method and Strang splitting method to propose three discrete models. For these models, we also provide several analytical frameworks leading to complete state aggregation and asymptotic state-locking.</p>

Proportional lumpability and proportional bisimilarity

In this paper, we deal with the lumpability approach to cope with the state space explosion problem inherent to the computation of the stationary performance indices of large stochastic models. The lumpability method is based on a state aggregation technique and applies to Markov chains exhibiting some structural regularity. Moreover, it allows one to efficiently compute the exact values of the stationary performance indices when the model is actually lumpable. The notion of quasi-lumpability is based on the idea that a Markov chain can be altered by relatively small perturbations of the transition rates in such a way that the new resulting Markov chain is lumpable. In this case, only upper and lower bounds on the performance indices can be derived. Here, we introduce a novel notion of quasi-lumpability, named proportional lumpability, which extends the original definition of lumpability but, differently from the general definition of quasi-lumpability, it allows one to derive exact stationary performance indices for the original process. We then introduce the notion of proportional bisimilarity for the terms of the performance process algebra PEPA. Proportional bisimilarity induces a proportional lumpability on the underlying continuous-time Markov chains. Finally, we prove some compositionality results and show the applicability of our theory through examples.