1 Introduction
In the past decades, the study of various dynamical processes of coupled nonlinear systems [
1–
14] became a well-studied topic, attracting a great deal of interest in diverse research areas including physics, chemistry, biology, sociology, and engineering technology. The rich dynamical behaviors of these processes include synchronization [
15–
23], splay states [
24–
26], amplitude death [
27–
29], self-organized criticality [
30], consensus in multi-agent systems [
31], and epidemic spreading [
32], just to name a few. Uncovering the organizing rules for these distinct dynamical processes in coupled systems poses a great challenge.
Although most previous studies focused on systems of coupled
identical elements, such as the complete (state) synchronization in coupled chaotic systems based on a stability analysis of synchronization in the framework of the master stability function (or eigenvalue analysis) [
15–
22], the assumption that the elements are identical is never practical in any realistic world, where the system elements always display a disparity in the values of some characteristic parameters. A distinguished case is the model of power grids [
33–
35], for which the system characteristic parameters for the identical nodal dynamics of the generators and users have to be chosen as positive and negative, respectively, owing to the supply–demand balance.
Therefore, it is quite natural that this problem of system parameter diversity has aroused continuous interest of researchers in nonlinear dynamics field, with some unusual effects of parameter diversity being discovered [
36–
51]. For instance, Braiman
et al. found that, to our great surprise, the parameter diversity can be used to tame spatiotemporal chaos [
36]. Later work on the disordered driving forces exerted on phases revealed the same result [
38]. Some nontrivial effects of parameter diversity and the spatial independence of noise have been studied in the framework of array-enhanced coherence resonance [
39]. Recently, a novel concept, diversity-induced resonance, has been proposed by Tessone and coworkers, who found that the system’s response subjected to an external subthreshold signal is optimized for an intermediate value of diversity, indicating a constructive role of intrinsic diversity [
40]. This counterintuitive effect, diversity-induced resonance, has been extensively found in ensembles of coupled bistable or excitable systems [
40] and in some other coupled systems [
41,
42]. Despite these extensive
statistical investigations on the parameter diversity effect, however, we are still at a very early stage of fully understanding the underlying mechanism for all these peculiar diversity-induced order effects.
To fill this gap, recently some of the authors and coworkers have proposed the
optimal configuration problem [
47–
51] with the intention of ascertaining how the spatial position of elements with different parameters precisely determines the dynamics of the whole system. Basically, this is a difficult problem and fundamentally differs in manner from that of all previous studies on diversity, in which nonidentical parameters were usually randomly chosen from a fixed interval with a uniform or Gaussian distribution and only statistical effects were investigated; see, e.g., Refs. [
36–
40]. For instance, we studied the influences of different spatial frequency distributions on the efficiency of frequency synchronization and defined a physical quantity “roughness”
R as a function of frequency configuration, which monotonically determines the efficiency of frequency synchronization [
47]. Therefore, we found that synchronizing a sufficiently large number of nonidentical oscillators with a very small coupling is possible if we can properly reshuffle the spatial positions of nodes; this is essentially distinct from the common sense that full frequency synchronization in a system of infinitely large size typically requires an infinitely large coupling strength. Recently, we have generalized this optimal configuration problem to some other dynamical behaviors, such as the oscillation death in coupled nonidentical periodic or chaotic oscillators [
49,
50] and vibration spectra in the classical mass–spring model with different masses on complex networks [
51]. For sufficiently random networks, we found that the second smallest vibrational frequency
becomes maximal and the largest vibrational frequency
becomes minimal if the node degrees are point-to-point-positively correlated with the masses [
51]. Moreover,
becomes minimal under the condition that the heaviest mass is placed on the lowest-degree vertex,
is maximal as long as the lightest mass is placed on the highest-degree vertex, and, in both cases, all other masses can be arbitrarily settled. These findings indicate that the matchings between the node parameter and the node position rule the global system dynamics, and sometimes only one node is enough to control the collective behaviors of the whole system.
In the classical mass–spring model [
52–
58], masses settled on the network’s vertices interact with each other through a spring with a uniform spring constant. This mass–spring model and the associated powerful analytical method, normal mode analysis, which were originally developed in classical mechanics [
52,
53], have been extensively used in many other disciplines, such as protein dynamics in structural biology [
54] and lattice vibrations and associated phonon excitations in solid-state physics [
55]. In this paper, we will study the same optimal configuration problem but turn to the regular ring structure [
51]. As now the node degree is homogeneous, some previous interesting findings on sufficiently random networks depending on the matching between the node degree and node parameter disappear, but some other unusual phenomena purely depending on the spatial position of masses are expected.
The paper is organized as follows. In Section 2, the model and some theoretical results for very small system sizes are presented. In Section 3, all numerical results including , , , and for very large system sizes relying on our observations are given in detail. Finally, the last section is devoted to a brief discussion and our conclusion.
2 Model and analysis
For the simplest case of spatial structure, i.e., the nearest-neighbor-coupled ring configuration, the equations of motion are
where mj represents the jth oscillator’s mass, κ is the spring constant, and N indicates the number of mass points. Without loss of generality, we take throughout this paper. Periodic boundary conditions, i.e., and , are always used. Because we are interested in the spatial distribution effect of different masses, we always consider distinct masses mj for all j’s; i.e., all masses are nonidentical.
Based on normal mode analysis, the system’s motion can be considered as a linear superposition of N normal modes with different characteristic frequencies:
where
and
yj denote an independent characteristic frequency and its corresponding amplitude, respectively. The frequencies can be ordered as
. Clearly,
represents the translational motion of the system. Among all the modes, the second smallest (slowest) vibration frequency
characterizes the most global vibrational motion, whereas the largest vibration frequency
reflects the most tightly packed and constrained local motion generally; both of them are the most representative. Therefore, as in our previous work on the vibration frequencies on complex networks [
51], we will only consider these two characteristic frequencies
and
and study how they are determined by the different mass spatial configurations.
For small sizes, and , the vibration spectra are explicitly available and are, respectively,
and
Clearly, for the simplest case () with only two masses m1 and m2 connected by a spring, the physical quantity is the effective mass of the system; it solely determines the only nonzero vibration frequency: .
For in Eq. (4), clearly the second smallest and the largest vibration frequencies and are complicated functions of the mass values. However, because of the periodic boundary conditions, only one independent configuration exists. Thus, the transform of any two masses among m1, m2, and m3 will not change the values of and ; this point is clear in Eq. (4).
For , with the aid of symbol calculation using the MATLAB software, we can also obtain an explicit expression for all vibration frequencies, but the equation is too lengthy to be presented here. For , even MATLAB cannot give an explicit expression using a personal computer. We surmise that, even if more powerful computers could give an explicit expression for much larger N, finding useful rules from the complicated and lengthy algebraic function would be difficult. Therefore, to accomplish our goal, we have to turn to numerical simulations and try to find some general results from the numerical results.
The above equations [Eqs. (1)] can be written in the compact form
where , L is the Laplacian matrix: , for or and otherwise, and Y is the N-dimensional nonzero column vector with the components yi in (2).
Solving Eq. (5) is equivalent to finding ω satisfying , where “det” denotes the determinant. For M being nonsingular, it is convenient to change the mass-weighted Laplacian matrix to a symmetric one; this manipulation does not change the final result, but it becomes more efficient in simulations to solve eigenvalues of a symmetric matrix than those of an asymmetric matrix. Therefore, we have
where λ denotes the eigenvalue of the corresponding matrix.
For choosing the masses, we assume that the units are ordered with increasing weight and that they are denoted as , correspondingly. It is easy to see that the number of independent mass spatial configurations for a ring consisting of N distinct masses is , which diverges with N and is certainly beyond the feasible limit of our computational resources for any large N. Therefore, our strategy is to begin by inferring the optimal configuration rules by exhaustively searching all the spatial configurations for sufficiently small N first (e.g., ) and then apply and verify these rules for much larger N. When the precise rules for the optimal configurations for and are not available by our analysis, some approximate rules are also highly appreciated. However, we start from the simplest nonidentical case, namely, the case in which all the masses are completely linearly distributed, for . Later, we will generalize this case to more complicated random distributions of masses.
For a set of fixed masses and a given configuration, the vibration frequencies can be easily calculated from the above eigenvalue analysis in Eq. (6). Below we will focus on the two most representative frequencies and , scrutinize their corresponding optimal configurations for , , , and , and present the numerical results and our observations in more detail in the next section.
3 Numerical results and observations
3.1
Figures 1(a)–(h) present the numerical results of in ascending order for all the mass spatial configurations for , respectively. In addition, we depict the mass spatial configurations for the first several smallest ’s under each subfigure. For these configurations, increases from left to right and the configuration for is the first one. The numbers around the ring represent the orders of the masses (or, equivalently, the values of the masses).
Our objective is to find the common organizing rule for . By carefully observing these mass spatial configurations in Fig. 1, we do find some common rules, which are described as follows. (To aid explanation, two examples for and are shown in Fig. 2.) When is even, any two closest masses can be put into a group successively to form a mass pair, i.e., . Then, any pair should be placed on the two sides of the diameter of the ring and the masses in any one pair can exchange their positions. Thus, any two masses in each pair show diametral symmetry. Finally, the pair position could be determined. We may denote an arbitrary mass spatial configuration as and the mass of the jth configuration rearranged as . The pair spatial configuration corresponding to the minimal should maximize the following physical quantity:
where represents the nearest integer less than or equal to j.
Based on such observations, for even N we can only have the above grouping rules and actually we cannot precisely determine the configuration for , which is only one among all possible grouping configurations. Hereafter, we use to denote the configurations satisfying the grouping rules. See the schematic shown for in Fig. 2(a) for further details, and check the configurations in Fig. 1, where red filled squares are used to indicate the configurations for groupings and red open circles for their corresponding values of . From these plots, remarkably all values of have been greatly squeezed into a very small regime. Thus, we have captured the essential rules for by , although we cannot recognize the exact one corresponding to . As we will see below, these rules also work for odd N with some variations.
When N is odd, the mass pairs become , and we have to fix the unmatched heaviest mass first. Then, any mass pairs should be placed (mirror) symmetrically about the diameter for the heaviest mass. See the schematic shown for in Fig. 2(b) for further details. We use the solid line to emphasize the main diameter starting from the heaviest mass m9 and the dashed lines for the paired masses showing mirror symmetry. As for even N, any two masses in any pair can exchange their positions, and their corresponding values are of very small difference and are essentially indistinguishable. Interestingly, the mass pair arrangement condition for maximizing R in Eq. (7) also works here. Considering these grouping procedures, we can obtain the independent number of configurations for irrespective of N being even or odd, and 1 for .
For being odd, some other variations exist. Actually, for odd , we can further precisely determine the configuration for as we can group the whole masses from the other side, namely, . In this situation, the lightest mass becomes the isolated one. Similarly, we can fix the unmatched lightest unit and place all other mass pairs mirror-symmetrically with the diameter starting from it. Consequently, the specific configuration for can be fully determined; the two different grouping schemes for are exemplified in Fig. 2(b) for .
Until now, the rules for for any N and for odd N have been found on the basis of observations on small N. Below we check these rules for large N. For this purpose, Fig. 3(a) depicts the numerical results of in ascending order for completely random spatial configurations for . A sufficiently large number of configurations, , is selected. The corresponding histogram distribution, presented in Fig. 3(b), is indicative of a Gaussian distribution (red curve). Clearly, has a wide distribution, ranging from to . In addition, we select all () configurations for satisfying the grouping rules and plot their corresponding values of in Fig. 3(c). Remarkably, the values of in the group have been greatly squeezed into a much smaller regime: . Note the different scales employed in Figs. 3(a) and (c) and the range of ’s in Fig. 3(c) being only that of the original range in Fig. 3(a). Additionally, the mean value, , marked with a red filled square in Fig. 3(b), is clearly located at the leftmost of the distribution. Here denotes the mean value over sufficiently large tests. All these figures obviously prove the grouping organization rules of , although the common rule of the exact configuration for for even N is missing.
Similarly, Figs. 3(d)–(f) show the results for . As now the configuration for can be precisely determined, its value is signaled by a red open square in Fig. 3(f), being the lowest in the whole distribution of . Again, this perfectly proves our prediction.
For N being sufficient large, e.g., and , and have the same patterns as in Fig. 3. (The figures are not presented here.) All these results confirm our predictions for sufficiently large N. Finally, we have also calculated the average values for and for different N’s and for odd N’s only. These results show that they all damp, exhibiting a power-law relation with similar scales as a function of N. The results also indicate that the mismatch between [or ] and becomes diminishing with increasing N.
3.2
So far, we have successfully obtained the rules for . Next, let us see what happens for . Similar to Fig. 1, Fig. 4 is for ’s but focuses on the configurations for large instead. In all these configurations, increases from left to right and the last one corresponds to . After carefully observing these spatial configurations, we can conclude only that all these configurations have rough bipartite characteristics; namely, the heaviest masses like to gather together on one side of the ring, while the lightest ones gather on the other side. We fail to obtain the controlling rules for or even .
3.3
Now, let us turn to the study of . Similar to what we have done for , we calculated ’s exhaustedly for all different configurations for ; the results are presented in Figs. 5(a)–(h). Again, the specific mass spatial configurations for several small ’s are illustrated in ascending order. A key distinction from the case for in Fig. 1 is that the distribution now becomes noncontinuous, accompanied with some breaks.
Similarly, we have to derive the underlying rules from these patterns. Without loss of generality, again we take and as two examples in Fig. 6. For in Fig. 6(a), we may divide the units into pairs, , whereas for , . Clearly, for , the lightest mass pair (masses m1 and m2) are fixed on one diameter of a ring (solid line), whereas any two masses in the pair are placed mirror-symmetrically about the solid line. To emphasize the mirror symmetry relation, we have connected them by several dashed lines. However, for , the unmatched lightest one starting from m1 is emphasized by the solid line, and any two masses in one pair are also placed symmetrically about the solid line. In addition, we find that the mass pairs are listed in ascending order; see, e.g., in the right column of Fig. 6(a) for and in the right column of Fig. 6(b) for . Namely, the pair positions are fixed in the ring. We also find that, irrespective of whether N is even or odd, the lightest node with mass m1 is always placed between the two heaviest nodes with masses and mN; this feature persists for more general sets of masses, as we will see below. Here it is noticeable that we cannot determine the configuration for even if N is odd.
Therefore, based on the above observations, the optimal configurations for the approximate in the grouping manner can be easily obtained, although the precise configuration for is not available for any N. We may denote all these possible configurations for small as . It is also quite interesting to recognize that the number of independent configurations is the same as in the case for , namely, for irrespective of N being even or odd, and 1 for .
3.4
Now we focus on the case of large and their corresponding mass spatial configurations in Fig. 7. By thoroughly investigating the last configurations for in Figs. 7(a)–(h) for each N, we can find that they just correspond to the maximal value of the physical quantity
where for the periodic boundary condition. Note the key difference from the similar equation [Eq. (7) for ]: Now the summarization is from 1 to N for all nodes. Luckily, we can obtain the optimal configuration for for any N, without needing to consider grouping rules for approximate extreme values again. Figures 8(a) and (b) give schematic views of for and , respectively. Although now the grouping rules are unnecessary, we may still divide all the nodes into several groups with similar masses and show the mirror symmetry for both and , as illustrated in the two bottom configurations of the figures.
Finally, all these organization rules for and have been well checked for large N, as shown in Figs. 9(a)–(d) for , , , and , where the ragged, noncontinuous patterns are clear and the values of (red filled squares) and (red open squares) always remain at the leftmost and rightmost sides of the distributions for all N’s. In addition, we have also calculated the values of , , and as a function of N. The results clearly show the damping relation for and , along with a nearly unchanging relation for , indicative of a quite different pattern with .
3.5 General cases
So far, we have obtained the mass spatial configuration rules for an exact linear distribution of . Below we consider more general situations for the node masses. For example, the values of mi for are uniformly, randomly chosen from the interval . We found that some rules still hold, but some others disappear: (i) For , the same grouping rules remain. However, we can only obtain the general group but not the specific minimum for N being odd, as shown by the configurations in Fig. 2(a) and the top configurations in Fig. 2(b). (ii) For , still only the approximate bipartite distribution is available. (iii) For , the feature for the lightest node placed between the two heaviest nodes persists, as shown by the fractions of the positions and in Figs. 6(a) and (b), respectively, while all other grouping rules disappear. (iv) For , luckily all the rules persist. Furthermore, we have found that all these rules are unchanged for many other tests for randomly chosen mi’s and hold not only for the ring configuration with the nearest-neighboring connections but also for longer local connections with ranges of 2 or 3. Therefore, these properties are expected to be very general for any regular network.
4 Discussion and conclusions
In conclusion, we have investigated the parameter diversity effect of coupled harmonic oscillators with different masses on a regular ring network and discovered the organization rules for the spatial configurations of the masses for the extreme values of
and
. It has been shown that symmetric rules and grouping rules are both very important in determining the whole system dynamics on the regular ring. This is a key distinction from our previous studies on coupled networked harmonic oscillators [
51], for which the matching between the node parameter and the node degree on complex networks is extremely important.
We summarize the symmetric rules and grouping rules for the optimal configurations for the special case with in Table 1, where G indicates that we can find grouping spatial configurations, O indicates that we can find a specific optimal configuration, and R indicates that we have only rough (nonspecific) rules. In addition, the letters DS, MS, and NS indicate that the grouped masses have diametral symmetry, mirror symmetry, and no symmetry, respectively. Additionally, we also present the organization rules for the general cases for randomly chosen mi values in Table 2.
These findings might be applicable for explaining some interesting phenomena in realistic systems, such as lattice vibrations and associated excitations in atomic or molecular systems. In addition, the optimal configuration exhibits the significance of symmetry (including mirror symmetry, diametric symmetry, and no symmetry) and grouping between nodes with similar parameters (masses), which may help us to further understand the parameter diversity effect and may provide us with potential guidelines in engineering design. We expect these findings could arouse general interest in studying the diversity-induced effect and the structure-dynamics-function relation in complex systems, both of which are of fundamental importance for deciphering and utilizing the spontaneous order in nature and in human-made products.
Higher Education Press and Springer-Verlag Berlin Heidelberg 2015