We consider centralized networks composed of multiple satellites arranged around a few dominating super-egoistic centers. These so-called empires are organized using a divide and rule framework enforcing strong center–satellite interactions while keeping the pairwise interactions between the satellites sufficiently weak. We present a stochastic stability analysis, in which we consider these dynamical systems as stable if the centers have sufficient resources while the satellites have no value. Our model is based on a Hopfield type network that proved its significance in the field of artificial intelligence. Using this model, it is shown that the divide and rule framework provides important advantages: it allows for completely controlling the dynamics in a straight-forward way by adjusting center–satellite interactions. Moreover, it is shown that such empires should only have a single ruling center to provide sufficient stability. To survive, empires should have switching mechanisms implementing adequate behavior models by choosing appropriate local attractors in order to correctly respond to internal and external challenges. By an analogy with Bose–Einstein condensation, we show that if the noise correlations are negative for each pair of nodes, then the most stable structure with respect to noise is a globally connected network. For social systems, we show that controllability by their centers is only possible if the centers evolve slowly. Except for short periods when the state approaches a certain stable state, the development of such structures is very slow and negatively correlated with the size of the system’s structure. Hence, increasing size eventually ends up in the “control trap.”
Complex networks appear in many applications in biology, ecology, economics, and social sciences, as well as in artificial intelligence and machine learning. Within the last few decades, the analysis of dynamics and stability of such networks received great attention. A key question asks for the stability of network states under the influence of noise. In this regard, we study a dynamical model describing a network, which is composed of a small number of center nodes and several weakly connected satellite nodes. Centers interact with the satellites according to a “divide and rule” scheme, which implies that satellite-satellite interactions are weak or are totally absent. We refer to such structures as “empires.” For such networks, one can show that their dynamics may be very complex, with a single restriction that the attractor dimension is smaller than the number of centers. However, to provide network state stability under noise, we should increase the number of satellites obtaining a slow down in the empire dynamics. It shows that empires, earlier or later, fall into a control trap: to support the dynamical regime, they should have many satellites, but then their evolution becomes slow. We show that if the noise correlations are negative for each pair of nodes, then the most stable structure of an empire with respect to noise is a globally connected one. In the opposite case, this means that the connectivity of centers in an empire should be bounded.
I. INTRODUCTION
The introduction of the divide and rule concept (also divide and conquer or divide et impera in its Latin formulation) is partly attributed to the Florentine diplomat and political theorist Niccolò Machiavelli who explained in his 16th-century political treatise The Prince (Il Principe)1,2 to Lorenzo di Piero de’ Medici, at that time the ruler of Florence, how to increase and maintain his power. In fact, this maxim was already practiced in the legal organization of the ancient Roman civilization. The individual member states of the old Roman Empire were only permitted to establish contracts with the central power in Rome. In contrast, contracting with each other was prohibited. In addition, Rome actively enforced a distinct diversity of the individual allies. Hereby, the spectrum of valence ranged from the subjugated ones (subiecti), over allies (foederati or socii) up to legally equated friends of the Roman people (amici populi Romani), who were granted Roman citizenship (civitas Romana) for their faithfulness. Within this staging, states could empower themselves through good conduct, including varying degrees of self-government. Even the Roman politician and military general Gaius Julius Caesar, who played a critical role in the events that led to the demise of the Roman Republic and the rise of the Roman Empire, already employed the divide and rule strategy in order to easily defeat the militarily strong Gauls since Vercingetorix’s attempt to unite the Gauls against Roman invasion came too late.3
Since ancient times, this principle seems to be common across different civilizations, cultures, and epochs, partially causing fatal effects until today, for example, as consequences of colonialism, as in the Sykes–Picot agreement between the United Kingdom and France defining their mutually agreed spheres of influence and control in the Middle East.4 The contractual partners acted as super-egoistic colonial rulers without taking ethnic and cultural structures appropriately into account in their demarcation agreement. As a consequence of their kleptocratic acting, the colonial rulers were unable to establish a stable order for the peoples living there, for which reason this agreement is today referred to as a major cause of conflicts in the region.5
The Rhineland-born German-Italian sociologist Robert Michels, one of the founding fathers of modern political science, introduced in his early 20th-century main work Political Parties a sociological study of the oligarchical tendencies of modern democracy,6,7 the iron law of oligarchy claiming that being ruled by an elite (oligarchy) is inevitable as an “iron law” within any large-scale organization, which is openly committed to democratic principles. Their natural transition into large bureaucracies ruled by only a few is a consequence of “tactical and technical necessities” of the organization caused by the increasing complexity of duties requiring specific skills. The direct involvement of average organization members in general decision-making is severely limited by the growing number and complexity of issues and the large number of members prevents regular contact so that the organization’s leadership can apply the principle of divide and rule.6,7 Given these general findings, it does not seem surprising that this concept is nowadays also mentioned beyond structures in state politics, as in modern economics as a strategy for market action in order to get the most out of the players in a competitive market or in management studies where divide and rule is, among other things, noticed as a common strategy by corporate psychopaths to help consolidate and advance their grip on power in the corporate hierarchy.8 Moreover, the divide and rule approach is also systematically applied at the management level of corporate companies. In this regard, a recent study specifically analyzes the situation at Walmart Inc., an American multinational retail corporation operating a chain of hypermarkets, discount department stores, and grocery stores.9
In order to understand these phenomena from a mathematical point of view, we use network models. The last decades’ studies for topological structures of economical, social, and gene networks have received great attention, for example,10–13 among many others. In particular, in Ref. 12, some basic structures are found such as FGR (“fit-get-rich”) and “winner-takes-all” ones. In the first case, the networks have many strongly connected centers; however, those centers share only a small part of all links. The second regime can be described by a beautiful analogy with quantum physics, namely, with Bose–Einstein (BE) condensation, which exhibits a winner-takes-all phenomenon, where the largest connected node also always acquires a finite fraction of links.12 This concept found applications in many domains. In particular, in the paper,14 the problem of collective decision-making as a second order phase-transition is considered. This problem occurs in heterogeneous information-oriented communities possessing frequent information exchange between individuals. In Ref. 14, the quantum-like model of simplified two-level cognitive systems (TLCS) interacting with a socially important (contextual) information field is proposed, where Bose–Einstein condensation appears.
In this paper, we are going to study not only topological structures and phase transitions, but also dynamical and stochastic properties of networks. To this end, we consider a particular class of networks, studied (in a non-stochastic case) in Refs. 15 and 16, where the name “centralized networks” was established.
Centralized networks are composed of a few center nodes surrounded by a number of satellite nodes. The centers exercise control over the lower-level satellite components directly using a binary power hierarchy realized by the application of a strict divide and rule framework allowing for the active supervision of the lower-level components.
Next to their importance with respect to social structures, we would like to mention here that divide and rule networks are omnipresent in the natural sciences, for example, as dynamical models for gene regulation and neural networks.16,17 In this context, it was shown that such networks can generate complicated (including chaotic) attractors and exhibit different non-trivial bifurcations. Actually, one can show that such networks generate completely structurally stable dynamics defined by systems of an differential equation in a compact domain where is the number of centers.
In this paper, a rigorous mathematical model is devised and employed to explain structural changes in large social and economical systems as described above. We study centralized networks organized according to the divide and rule principle in its general structure (for brevity, we refer to such networks as empires). Empires consist of only a few of center nodes interacting with a number of satellite nodes. We further assume that the main interactions within such an empire are of a center–center or center–satellite type. In contrast, the pairwise interaction between satellites is either completely absent or at least sufficiently weak. Using a time-continuous description, this model is embedded into a dynamical system described by a set of differential equations. In our paper, this set describes a Hopfield neural network. Retrospectively, this kind of neural networks was discovered by Little in 197418 and then later popularized by Hopfield in 1982.19 The Hopfield model has many classical applications in artificial intelligence, gene networks, and spin glasses.19–24 There are recent investigations of Hopfield networks in general non-smooth constrained convex optimization25 and quantum computing.26 The Hopfield model was also applied to social systems in Refs. 27 and 28. The paper27 explains why in social systems there appear a polarization in antagonistic groups even in the absence of competition. The work28 demonstrates that both the individual’s personality and the connections within a group are important in shaping the entire group dynamics and that the Hopfield neural network can model social groups and group dynamics. Note that earlier in the paper,29 the divide and rule principle was applied in another way. Using the Ising model, it is shown in Ref. 29 that in order to force a society to adopt a new point of view, one needs to break its homogeneity.
Our main aim is to study the empire’s stochastic stability of kleptocratic kind for which we consider these systems as stable if the centers have sufficient resources. In contrast, the satellites have no value at all. However, in such a model of a kleptocratic system, even the super-egoistic centers are motivated to support the satellites given the fact that if the satellites are not functioning sufficiently well, then finally the centers lose resources. In other words, in an empire, centers and satellites are coupled in a way that the survival of the satellites is a critical asset from the centers’ perspective. We show that the divide and rule framework provides important advantages: it allows for completely controlling the dynamics in a straightforward way by adjusting center–satellite interactions. Periodic (respectively, chaotic) regimes are possible if there are more than two (respectively, three) centers. We show that for a single center, the attractor is always a set of steady states for fixed network parameters. Hence, to avoid chaos, such empires should only have a single ruling center.
We also investigate the stochastic stability of equilibrium states in such centralized networks. Under certain assumptions, it is shown that the probability to be in this state within a time can be estimated by an interesting relation, which admits an analogy with physics.12 It can be connected with energy of some system of particles occupying discrete states. The minimum of this energy corresponds to the maximal probability to stay in the steady state. If the noises acting on nodes are not correlated, then the form of the energy shows that we are dealing with a system of non-interacting particles.
We are seeking for the network’s topology, which corresponds to the maximal robustness with respect to the noise, and in the state of the maximal robustness, the energy is minimal. Here, we observe a bifurcation induced by noise. Depending on the correlation sign, we have sharply different optimal network topology. If the noise correlations are negative for each pair of nodes, then the corresponding interaction term in the energy is positive, and we obtain that the most stable structure is a globally connected network, where all nodes are connected (the corresponding graph is complete); i.e., a globally connected system is more stable. However, if the noise correlations are positive, then the optimal structure consists of many nodes with identical degrees and the corresponding graph is not complete: its mean connectivity is bounded, even as the number of nodes is large.
This paper is organized as follows. In Sec. II, we precisely describe our mathematical model and introduce required definitions. The systems under investigation are closely related to Hopfield networks.19 The stability of all centers and a whole network are investigated in Sec. III. In Sec. IV, we show that the dynamics of the system is completely controlled by the adjustment of center–satellite interactions. In Sec. V, we consider effects induced by a weak interaction between satellites by numerical simulations and asymptotical methods. Final conclusions are given in Sec. VI.
II. PROBLEM SETUP
A network consists of nodes with activities . The nodes can be interpreted as regions, and the viability of these nodes is characterized by the assigned activities.
Many important network models can be represented by the following Hopfield system with continuous time:
where are node activities, is the interaction matrix, are activation thresholds, and is a smoothly increasing sigmoidal function such that
We set the initial condition
The Hopfield model (1) involves parameters that can be considered as thresholds for resources accumulated by the th node. These resources, which define the activity of the nodes, are given by the sums , and they are subject to the action of fluctuations .
In this paper, we will apply the general model (1) to describe social structures. In fact, in this model, we take into account the following main features of social and economical structures: (1) they consist of nodes having different levels of activity, (2) the nodes interact and their interaction is defined by a matrix, (3) node activities are saturated, and (4) there exist inertia parameters , which define the rate of time evolution for the states.
We suppose that random processes satisfy the following assumption:
Assumption (random processes are Markov) M
Quantities are Markov processes with values in , trajectories are continuous functions of , and processes are independent for .
Let us fix continuous trajectories . Then, for , solutions of the Cauchy problem defined by Eqs. (1) and (2) uniquely exist because of the boundedness, smoothness of , and assumption M. Moreover, we obtain a priori estimates,
A. Divide and rule model for Hopfield networks
In order to obtain our results for systems defined by (1), we do not use any special assumptions regarding the network topology. However, we suppose that there are two types of network components: centers and satellites. In order to take these types of nodes into account, we use a distinct nomenclature for centers, , and for the satellites, . The real matrix entry defines the intensity of the action of the satellite node on the center node . Similarly, the matrix , the matrix , and the matrix define the action of the centers on the satellites, the interactions between the satellites, and the interactions between the centers, respectively. In order to simplify formulas, we make use of the abbreviated notation,
so that (1) can be rewritten as follows:
where and . Here, the unknown functions are defined for . We assume that is a positive parameter. For small , the variables are fast with respect to variables . We set the initial conditions to
It is natural to assume that all states are initially non-negative. Moreover, it is clear that they stay non-negative for all times. We suppose, in Eqs. (3) and (4), that noises act on satellites only. The more sophisticated case when noises affect centers is postponed for future works.
The divide and rule model is a particular case of Eq. (1) for small entries , when the satellite–satellite interactions are weak. In this case, the structure of the interactions can be illustrated by Fig. 1.
This image shows an example of a divide and rule network with and . The graph consists of eight nodes denoted by , and . The set is the set of centers . Let denote the set of satellites connected with the center , then, for example, and .
This image shows an example of a divide and rule network with and . The graph consists of eight nodes denoted by , and . The set is the set of centers . Let denote the set of satellites connected with the center , then, for example, and .
B. Viability problems for networks under stochastic impact
We consider the viability problems for systems (3) and (4). We suppose that the system is viable if the activities of the centers are sufficiently large. The viability domain is defined as a set , where are some thresholds corresponding to a minimal possible activity.
The general approach to viability problems was initially developed by Jean-Pierre Aubin.30
As a measure of the stochastic stability of the system within an interval with the initial state , we consider the probability that ,
where . This probability depends on the system parameters and the stability domain . It defines the system viability on the time interval .
C. Hopfield network viability under random fluctuations
For the Hopfield networks defined by (1), we assume that the viability domain is a subset of the nonnegative cone . Moreover, if is a subset of the cone,
for the maximal possible . Then, we say that is the set of key indices and is its cardinality.
If is a key index, then we assume is positive (th node corresponds to the active one). The key index corresponds to the important administrative center of the empire. This approach is also rather fruitful in biology, where such nodes correspond to genes important for the organism’s functionality. In fact, it is well known (see the seminal paper31) that important genes are hubs in gene networks.
D. Parameters of Hopfield networks
Each interaction matrix generates a directed graph with nodes and at most edges. We assume that th and th nodes are connected by a directed edge if the corresponding entry . Biological circuits are usually far away from being completely connected.10 Valency (degree, connectivity) of a node (vertex) is the number of the edges, which enter this node,
For each fixed node , we have a valency : only the among the entries is not equal to zero. For quantitative measurements, we will use the minimal connectivity of the key nodes defined by the parameter
where the minimum is taken over by all key indices . The number of such indices is denoted as .
We estimate the stochastic stability via and the following parameters:
where for and for .
III. STABILITY OF ALL CENTERS AND THE WHOLE NETWORK
In this section, we consider the probability that all centers are viable in the time interval and the probability that all nodes are viable. Our aim is to understand which network topology corresponds to the maximal viability probability. The first variant describes a kleptocratic regime, when we ignore satellite viability. In a kleptocratic system of course, the main problem is to conserve centers.32
The second case, when we must obtain the maximum of , can be interpreted as a “democratic regime.” We fix the total number of nodes in the network , but for the kleptocratic regime, we vary the number of the centers to study how the stability depends on the center number. We will consider the case of arbitrary network topology and correlated noises: there are possible correlations between noises acting on different nodes.
Note that in reality, existing free-scale networks distinguishing hubs (centers) and satellites are not quite a trivial problem; therefore, our model of kleptocratic system is an idealization.
To simplify our analysis, we consider the Gaussian noises and the following classical time discrete variant of the Hopfield equations (1),
where , are time discrete Gaussian random processes simulating a discrete white noise in . For each , we sample real valued by the multivariate Gaussian density with the zero mean,
where is a positively definite symmetric covariance matrix.
Model (9) is the paradigm of the neural network and spin glass theory. It is well known that in the absence of noises, this system can simulate all Turing machines33 and generate all structurally stable dynamics.15,16 To avoid considerations of complicated dynamical regimes, we make additional assumptions; namely, let be the Heaviside step function [then ], and let be a steady state of (9). We introduce the probabilities and by
where is the set of corresponding to centers, and
respectively. Those probabilities serve as measures of stochastical stability of an active network steady state under noises. In that steady state, all nodes are active. Note that if the threshold is negative and for all satellite indices , then . In this case, the satellites can be considered as an external field for centers since the fluctuations weakly affect their states.
To compute the probabilities and , we introduce the quantities analogous to the connectivity , which, however, take into account the interaction magnitudes between the nodes and thresholds,
The quantity can be interpreted as a force acting on the node , which is induced by all other nodes. If all are equal, and , then is, up to constant, the degree (connectivity) of the node . We can express our probabilities via as follows:
and
where the integration domains and are defined by
A. Independent noises
If the fluctuations are independent, then the matrix is diagonal. Let , where . Then, we obtain
where is
and where for large ,
Therefore, for large , one has
Analogous relations hold for (the democratic case). We can consider as an energy of a system of non-interacting particles. When that energy is minimal, our probability is maximal; therefore, the optimal network structure maximally robust with respect to the noise can be found by minimization of .
In the general case of arbitrary the problem is complicated. However, under conditions
and large , we find that for fixed and in the democratic case (we seek for maximal ), the minimum of attains when we are dealing with a maximally connected network with positive interactions .
The problem can be simplified under conditions
Let be the number of the centers and let us denote by the probability that a center has connections. Then, under conditions and , where and , we can obtain an asymptotics of by (18) as follows. We remark that the first term on the right-hand side of (18) is much more than , the second and third terms are order of , the fourth term is , and the last one vanishes at all as . Therefore, for large ,
Now, the energy can be expressed via as follows:
The expression can be interpreted as an energy of a system of non-interacting particles, which can occupy the levels with the inverse temperature . If the energy has a minimum, the network system has the maximal robustness. Note that the energy level is discrete and this ideal gas of “quasiquantum” particles exhibits interesting properties. Namely, the optimal state is similar to a Bose–Einstein condensate when the distribution is localized at . It corresponds to an “empire” with a single center, where a single node shares an essential part of links. Therefore, the kleptocratic case structure with a single center is more stable.
Let us consider now the problem of minimization under condition (20) and the following restriction on the average connectivity of the network:
Then, in the democratic case, the situation changes. To see it, consider the expression (16), where the set contains all . We are seeking for the maximum of the right-hand side of (16) with respect to under restrictions and (23). Using the Lagrange multiplier , we obtain that for the optimal state,
for each and where is a positive constant. We see that all are equal. In that network, there are no strong centers.
B. Strongly correlated noises
The case of the maximally strong correlation arises if , where are constants and is a random process with the discrete time taking the values in . Then, for a given ,
where . Therefore, to obtain the maximum of we have to resolve a minimax problem: to find such that . It is clear that for the fixed number and a fixed average connectivity , the solution is ; i.e., all nodes are connected similarly (if has the same order). We obtain the same result as in the kleptocratic case.
C. Weakly correlated noises
It is difficult to compute in the case of general Gaussian noises. To handle the problem, we consider the case of a weak correlation, where , where is a small perturbation. Note that then for the covariance matrix , one has
where stands for the identity matrix. The case where all entries of the matrix are positive (negative), we will refer as cases of the negative (positive) noise correlation. Taking into account only the main terms and correction terms of the first order in , we obtain
where is defined by (19) and
is an energy of ”interaction,” induced by noise correlations.
Thus, we obtain that finding an optimal structure minimizing noise impact on the steady state is equivalent to the following standard problem of statistical mechanics: to find the main state of the system with the energy , which corresponds to a system of interacting particles. We consider that problem under simplifying assumptions (21). In the kleptocratic case, we obtain the same expression, but the sums are taken over all and we have particles. Note that the values are discrete; thus, we are dealing with particles, which have certain quantum properties, and their states lie in a discrete set. Note, moreover, that systems of interacting quantum particles with Bose statistics can exhibit the Bose–Einstein condensation, as it was established by Bogolubov.34
The solution of our optimization problem can be found in the two simple cases: and , where is a small positive parameter. In terms of noises, depending on the sign of , we have correlation and anticorrelation: the case corresponds to negative correlations, and for , we have positive correlations between noises acting on different nodes. To see it, we further simplify the expression for supposing . Then, by removing in the relations for , one obtains
where
If , then the global minimum of the polynomial attains at ; thus, the optimal state of the networks attains at maximal possible center connectivity . In particular, the structure with a single center sharing the maximum of possible links is most stable.
If , then the minimum of attains at . Then, for each , the optimal structure of the networks is absolutely another. Here, the connectivity of each center is bounded and depends on .
For the democratic case (), we obtain that globally connected networks with the complete graph of interactions are most stable for , but for , the connectivity of this graph should be bounded. We see that the cases and are sharply different; therefore, is a critical value for a transition induced by noise. The result essentially depends on the sign of , and at , we observe a bifurcation.
A more accurate analysis leads to the same conclusions. We can differ two situations: (A) without restrictions on the average connectivity and (B) with restriction (23) on . Consider a more general case (B). Using the Lagrange multiplier, we have relations, which generalize (24),
In the case , those equations have no solutions. In the case of , we resolve these equations for a given that gives us , and then, we find and by the conditions
This procedure permits us to find solutions in the interior of the domain . Moreover, there are possible solutions corresponding the case when for some . One can show that for small , the global minimum corresponds to the studied case where all .
IV. NETWORK DYNAMICS, TOTAL CONTROL, AND MAXIMALLY FLEXIBLE SYSTEMS
In this section, we state a mathematical approach to describe systems with a total control, where a few of centers would like to completely prescribe the behavior of the whole system. We consider an ideal situation, where we remove the random processes and thus all random effects. Particularly, we set for all in Eq. (1) and in Eqs. (3) and (4). The random effects will be studied numerically in Sec. V C.
How can we describe mathematically systems of total control, which were an ideal for many dictators in the past and wonderfully still stay such an ideal in the present? What are the capabilities of this system and what are its limitations?
To this end, we make use of the concept of inertial manifolds developed to describe the dynamics of infinite dimensional dissipative systems.35 An invariant manifold is called inertial if it is a globally attracting set. Such an approach is chosen because, for large times, dynamics of whole big system (possibly, even an infinite dimensional one) with an inertial manifold is determined by a few variables, i.e.,
where is the state of the system, are control variables, and ; the function is exponentially decreasing in corrections. The dynamics of is defined by a few dimensional system . The inertial dynamics usually appears when a big system can be decomposed in slow components and fast ones. Then, we can summarize the inertial dynamics principle simply: for large times, dynamics of a whole system is captured by dynamics of slow components. In such a system, we observe the following dynamical picture: first, we see a fast dynamics within a relatively short time period, when the system state approaches to the inertial manifold and then a slow time evolution of that state on that manifold. The first stage corresponds to an approaching to inertial manifold when the term is not small yet and the second stage is a motion on the inertial manifold. Inertial dynamics enjoys remarkable stability properties. Under certain assumptions, it is stable under perturbations including stochastic ones, and if an external shock is happened, the effect of this shock is only temporary.
In this section, we first state two theorems obtained in Refs. 16, 17, and 36, and we discuss their consequences for social systems. Those theorems show the occurrence of the inertial dynamics when centers are slow and that the network’s behavior can realize all finite dimensional structurally stable dynamics. Therefore, roughly speaking, all robust dynamics (stable under small perturbations) can be generated by the systems, which satisfy the above formulated properties. Such systems are called as maximally flexible.36 Also, the concept of maximal flexibility covers the case of chaotic dynamics. In order to show it, let us consider systems of differential equations defined by
(26), which satisfy the following condition:
Condition structural stability (SS). System (26) generates a global semiflow , , defined on the -dimensional closed ball and having structurally stable (for example, hyperbolic) local attractors , .
Structural stability is a fundamental property of dynamics, which means that the topological structure of the trajectories of system (26) on is unaffected by -small perturbations of the vector field . In particular, under small perturbations, hyperbolic rest points remain so and only slightly shift, they cannot be transformed into cycles and vice versa, and hyperbolic cycles cannot become points.
The structurally stable systems can exhibit complicated dynamics, for example, chaotic (see Ref. 37 for details).
In the theory of dynamical systems, there are two outstanding results: first, Anosov and Smale proved that there exist structurally stable systems with a chaotic behavior, and furthermore, it was shown by Smale that structurally stable systems, in a sense, are rare (formally, they do not form an open set in the space of all systems for dimensions ).37
The first theorem shows that total control is possible for divide and rule networks when the center’s dynamics is slow.
(Center control for divide and rule networks)
Functions have a complicated form, and they can be found in Ref. 17.
Is this theorem applicable to social systems? We think so and illustrate it using the following example.
Following Karl Marx, we assume that Russia turned off the European path of development under Ivan Kalita (1322–1340), when Moscow became the center of the unification of Russian lands. Unification needed a strong state. Note that, according to the inertial dynamics theory, such strong systems should be very stable, and we see that this really is true: after the revolution and civil war, Russia is reborn under the name of the USSR and Stalin turns it into a kind of empire. Russia also endured fantastic chaos during the Time of Troubles (the period in the history of Russia from 1598 to 1613, marked by natural disasters, civil war, the Russian-Polish and Russian-Swedish wars, the most severe state-political and socio-economic crisis), but the Moscow system has revived again. The contemporary Russian system, we think, is also a partial restoration of a tight system of control over the regions after the chaos of the Yeltsin period. Why does this seem to be effective and is it really effective? According to inertial dynamics principles, the fast evolution may be only short (see above). Notice that the fast growth without great sacrifices was in Russia in the period 1880–1913 as a result of Emperor Alexander II serfdom abolishing in the emancipation reform of 1861 when the slaving system of the previous Emperor, Nikolai, I, is weakened.
Theorem 1 is demonstrated in Ref. 17 for the divide and rule Hopfield model (3) and (4). Note that the critical value decreases as the satellite number increases.
Furthermore, divide and rule networks satisfy the maximal switchability principle, which was proven for the Hopfield networks.17 Let us formulate certain conditions (see Ref. 17).
Let us assume that the system parameters satisfy the following conditions:
Here, all positive constants are independent of for small . The smaller the value of , the slower the centers’ dynamics are in comparison with its satellites and the center control on satellites is weaker. Serfdom abolishing allowed former serfs quit agriculture moving to cities. For example, the creator of the famous brand Pyotr Arsenievich Smirnov became one of the first peasants who rapidly developed after the abolition of serfdom.
The scaling assumption on is needed because, as we will prove later, for small . For the same reasons, can be neglected with respect to for small , meaning that the action of centers on satellites is dominant with respect to satellites’ mutual interactions. In other words, these conditions describe a divide and rule control principle.
(Maximal flexibility theorem for divide and rule networks)
Assume that the dynamical system defined by (26) satisfies conditions (3) and (4) Then, for sufficiently large satellite numbers , there exist matrices and parameters , and such that the dynamical system defined by (3) and (4) has local attractors topologically equivalent to . The restrictions of the semiflow to are orbitally topologically equivalent to the restrictions of semiflows to
The proof is based on a classical center manifold technique and on the well known idea that any -dimensional dynamics can bifurcate from an equilibrium with -zero eigenvalues if the number of bifurcation parameters is large enough. Such approach was used for finite dimensional systems (see Ref. 38) and after for reaction–diffusion equations39 and reaction–diffusion systems.40 Let us outline briefly the method.
Let us consider a system of ODEs involving a parameter . Assume that for each value of , the system generates a global semiflow . We obtain then a family of global semiflows , where each semiflow depends on the parameter . Suppose that for an integer , there is an appropriate value of the parameter such that the corresponding global semiflow has an -dimensional finite -smooth locally invariant manifold . The semiflow , restricted to , is defined by a vector field on . Then, we say that the family realizes the vector field . The main idea of the proof is that the Hopfield neural networks are capable to realize (within arbitrary small accuracy) all fields.
In our case of the Hopfield model, the parameters are center–satellite interactions; i.e., control can be performed in a straight-forward way by adjusting center–satellite interactions. In other words, one can say that by tuning those interactions, the reduced dynamics on the inertial manifold can be specified within an arbitrarily small error.
Divide and rule networks are maximally flexible in the sense of the previous comment in particular they are capable to generate different kinds of chaotic and periodic dynamical regimes. In particular any kind of behavior from the chaotic hyperbolic sets can occur in the dynamics of the maximally flexible systems, for example, Anosov flows, Ruelle–Takens–Newhouse chaos,37 or Smale’s horseshoes
In connection with that corollary, it is interesting to discuss which regimes could appear in real dynamics of social and economic systems. In real applications, systems of ODEs seldom enjoy the structural stability property except for dimensions and that is natural in connection with the Smale theorem mentioned above. Therefore, if we are dealing with a two center case, we can expect the appearance of periodical cycles. Typically, in dissipative systems, such cycles are structurally stable. A huge literature is devoted to business cycles, many famous economists (for example, Kuznets, Kondratiev, and Schumpeter, among many others) believed their existence. Modern economic theory declines toward the study of economic fluctuations rather than cycles (see Ref. 41 for an overview).
Note that coexistence of many cycles is a feature of chaos; for example, a chaotic hyperbolic set contains infinitely many unstable cycles.
Theorem 2 shows, moreover, that the systems (3) and (4) can exhibit multistationarity, i.e., they can switch between different local attractors by a choice of an initial state. However, of course, to realize these switches, the network should have a sufficiently large satellite number.
Therefore, we see that divide and rule networks permit to realize the complete control; however, the price of that control is very high: center dynamics should be slow. The larger the empire, the slower it develops.
V. SINGLE CENTER ASYMPTOTICS AND NUMERICAL SIMULATIONS
In this section, using our model, we study numerically how satellite interactions influence the viability of growing empires when the number of satellites increases. In order to do so, we consider the system (1) in the case of a single center, i.e., , and under some simplifications. It takes the form
where . We set the initial conditions
In simulations, is defined by The parameter may be arbitrary, but in order to control the satellites by the center, is considered to be sufficiently small. Then, the variables are fast with respect to or, in other words, the parameter represents satellite mobility with respect to the center one. In the analysis for large , we will use normalized quantity, which is given by the formula .
A. Asymptotics
We start with the first case, when there are no satellite interactions (). Numerical simulations show then that all trajectories defined by Eqs. (31) and (32) are convergent; i.e., they tend to equilibrium. For small , it is a consequence of the existence of a one-dimensional inertial manifold. The dynamics on this manifold is defined by a differential equation , where is a smooth function such that for large . For such an equation, all trajectories are converging to , where is the solution of the equation .
Then, the equilibrium condition implies
where
Consider the asymptotics of this solution for large . In the generic case of a parameter choice, we may suppose that the function has the order .42 Then, we obtain a piecewise linear network model, which is well studied in many publications.43
The set
plays an important role in the asymptotics analysis. It is an interval or a union of intervals. In the simplest case, when is an interval, the following situations occur.
(I) The interval contains .
(II) The interval contains but does not contain .
(III) The interval does not contain both and .
In case I, we obtain that is a global attractor of the system (31) and (32), if , and is a local attractor if . In the second case, we observe bistability with a saddle point . For II, we obtain a stable globally attracting equilibrium , , and in case III, we obtain a local equilibrium , a saddle point, and a second local attractor within . If is a union of disjoint subintervals, then we have multiple equilibria and saddle points.
B. Perturbation theory for small satellite interactions
Weak random satellite interactions may affect equilibrium states and the center activity depending on three distinct cases: SM, satellite mutualism, where the expected values of ; SC, satellite competition for center resources, where ; and the neutral case SN, . The equilibrium is governed by equations
We set , where is defined by Eqs. (34) and (35) and is perturbations. For a given function as a solution of non-perturbed equations, by taking into account smallness of , one obtains
where
In the case SM and SC, the main contribution in the perturbation is given by the term .
Consider the case SM. Then, ; therefore, mutualism leads to an enhancement of satellite activities, and furthermore, the center activity also increases. In contrast, in the case SC, we have an opposite picture: , which implies the fall of the satellite activities, and as a consequence, the center activity also decreases.
Interpretation: Competition of regions (provinces) for resources of the center diminishes empire stability. The mutualistic interaction between satellites enhances the rate of recovery of empire after crisis (see Fig. 2).
Temporal evolution of the empire’s activity obtained from numerical simulations of the three distinct cases: satellite mutualism (left), satellite neutralism (middle), and satellite competition (right).
Temporal evolution of the empire’s activity obtained from numerical simulations of the three distinct cases: satellite mutualism (left), satellite neutralism (middle), and satellite competition (right).
In the neutral case , we should take into account the next dominating term . If all coefficients are independent and identically distributed according to normal law , then . Since the second derivative is negative for large and positive for large negative , it means that a weak random satellite interaction diminishes the center activity if the center is active and that the interaction increases the center activity when the center is passive ).
As for strong interactions, this question is outside the scope of the paper, but if satellites interact strongly, then the centers are not capable to control them.
C. Numerical simulations
In this section, we study how noise influences the stability of the empire. We apply the pure empire setting given by the divide and rule principle. With respect to noise , we assume that it is white noise with zero mean and deviation . We will distinguish different cases when satellites are noised independently or in a correlated way. Survivability of empire is determined by its homeostasis domain,
The results of our numerical simulations are illustrated in Fig. 3 showing the temporal evolution of for different parameter configurations.
Temporal evolution of the empire’s activity obtained from numerical simulations of different cases: (a) small influence , no white noise ; (b) small influence , small white noise ; (c) small influence , big white noise (correlated/uncorrelated); (d) big influence , small white noise ; (e) big influence, big white noise (uncorrelated); and (f) big influence , big white noise (correlated).
Temporal evolution of the empire’s activity obtained from numerical simulations of different cases: (a) small influence , no white noise ; (b) small influence , small white noise ; (c) small influence , big white noise (correlated/uncorrelated); (d) big influence , small white noise ; (e) big influence, big white noise (uncorrelated); and (f) big influence , big white noise (correlated).
Figure 3 has natural interpretations. External influence and noise average or the mean value of noise are the most critical terms for viability of empire for . Small noise provokes a crisis in empire, and then for time , empire returns to a homeostasis domain (a)–(c). Alternatively, big influence implies a crash (d), but white noise could even prevent empire from fall (e). Notice that in the application domain, white noise can be related to concepts such as freedom on the one side, but also to corruption on the other side. Although corruption has a negative influence on the economy, it serves positively for viability because bureaucracy creates certain levels of resistance to external influence and propaganda. The simulations indicate that empires are rather stable with respect to an uncorrelated influence but becomes vulnerable when correlated action appears. Notice that big countries could suffer from correlated noise, not only because of synchronized attacks, but also because of being involved in a global market.
VI. CONCLUSION
In this paper, centralized networks composed of multiple satellites arranged around a few dominating super-egoistic centers were studied. These structures that we called empires are organized using a divide and rule framework enforcing strong center–satellite interactions while keeping the pairwise interactions between the satellites sufficiently weak. The large divide and rule networks are stable under some conditions to center–satellite interactions. Theorem 1 states results on the existence of inertial manifolds in the dynamics of divide and rule networks. The existence of inertial dynamics is possible if the center mobility parameter is small enough.
Moreover, the stochastic stability of equilibrium states in centralized networks is studied. Under certain assumptions, it is shown that the probability to be in this state within a time can be estimated by an interesting relation, which admits an analogy with physics, similar to Ref. 12. It can be connected with the energy of some system of particles occupying discrete states. The minimum of this energy corresponds to the maximal probability to stay in the steady state. If the noises acting on nodes are not correlated, then the form of the energy shows that we are dealing with a system of non-interacting particles. The energy minimum attains a state with a single center. In the opposite case, when the noises are strongly correlated, the network should have many nodes with the maximal possible connectivity.
Finally, our main conclusions are as follows:
Empires with centers and satellites are capable to generate all structurally stable dynamics of dimension , for example, periodic or chaotic dynamics. The dynamics can be controlled by adjusting interaction forces between centers and satellites appropriately (Theorem 2).
If noises acting on nodes in a network with a few organizing centers are positively correlated, then the optimal state of the networks attains at maximal possible center connectivity. In particular, the structure with a single center sharing the maximum of possible links is most stable.
However, if we have even a weak negative correlation, then the optimal (the most stable) structure of the networks is absolutely another. Here, the connectivity of each center is bounded and depends on the correlation level.
According to Theorem 1, the control by centers is possible only when the centers evolve slowly. Except for short periods when the state approaches to inertial manifold, the development of such structures is very slow. Therefore, we can say that with increasing size, these structures eventually end up in “the control trap.” As a result, they are not capable to evolve.
The idea that the control trap is a main obstacle for development is consistent, as we think, with contemporary economical ideas. An important conclusion of the contemporary economic–social models (see Refs. 44 and 45) is that economic growth may be accompanied by conflict interests of various economic agents. Since the development of new products leads to loss of monopoly rent by firms already existing on the market, the latter will have an incentive to impede technological progress. If owners of existing firms have significant political weight and the ability to influence economic policy, then to protect them, interests will lead to a slowdown in economic growth. In terms of the model, this means multiple decrease in research technology productivity as the introduction of new technologies becomes more costly; then, the structural stability becomes an obstacle to growth.
ACKNOWLEDGMENTS
We are thankful to the anonymous reviewers for their interesting remarks and comments.
This work has been partially supported by the Government of the Russian Federation (Grant No. 08-08), the King Abdullah University of Science and Technology (KAUST baseline funding), and the United States National Institutes of Health (Grant No. RO1 OD010936, formerly No. RR07801).
DATA AVAILABILITY
The data that support the findings of this study are available from the corresponding author upon reasonable request.