Catalog footprint

What is connected

81works
40topics
4close collaborators

Actions

Connect this record

Log in to claim

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

81 published item(s)

preprint2023arXiv

Picture Fuzzy Interactional Bonferroni Mean Operators via Strict Triangular Norms and Applications to Multi-Criteria Decision Making

Based on the closed operational laws in picture fuzzy numbers and strict triangular norms, we extend the Bonferroni mean (BM) operator under the picture fuzzy environment to propose the picture fuzzy interactional Bonferroni mean (PFIBM), picture fuzzy interactional weighted Bonferroni mean (PFIWBM), and picture fuzzy interactional normalized weighted Bonferroni mean (PFINWBM) operators. We prove the monotonicity, idempotency, boundedness, and commutativity for the PFIBM and PFINWBM operators. We also establish a novel multi-criteria decision making (MCDM) method under the picture fuzzy environment by applying the PFINWBM operator. Furthermore, we apply our MCDM method to the enterprise resource planning (ERP) systems selection. The comparative results for our MCDM method induced by six classes of well-known triangular norms ensure that the best selection is always the same ERP system. Therefore, our MCDM method is effective for dealing with the picture fuzzy MCDM problems.

preprint2023arXiv

Sensor Scheduling Design for Complex Networks under a Distributed State Estimation Framework

This paper investigates sensor scheduling for state estimation of complex networks over shared transmission channels. For a complex network of dynamical systems, referred to as nodes, a sensor network is adopted to measure and estimate the system states in a distributed way, where a sensor is used to measure a node. The estimates are transmitted from sensors to the associated nodes, in the presence of one-step time delay and subject to packet loss. Due to limited transmission capability, only a portion of sensors are allowed to send information at each time step. The goal of this paper is to seek an optimal sensor scheduling policy minimizing the overall estimation errors. Under a distributed state estimation framework, this problem is reformulated as a Markov decision process, where the one-stage reward for each node is strongly coupled. The feasibility of the problem reformulation is ensured. In addition, an easy-to-check condition is established to guarantee the existence of an optimal deterministic and stationary policy. Moreover, it is found that the optimal policies have a threshold, which can be used to reduce the computational complexity in obtaining these policies. Finally, the effectiveness of the theoretical results is illustrated by several simulation examples.

preprint2022arXiv

Consensus-Based Distributed Filtering with Fusion Step Analysis

For consensus on measurement-based distributed filtering (CMDF), through infinite consensus fusion operations during each sampling interval, each node in the sensor network can achieve optimal filtering performance with centralized filtering. However, due to the limited communication resources in physical systems, the number of fusion steps cannot be infinite. To deal with this issue, the present paper analyzes the performance of CMDF with finite consensus fusion operations. First, by introducing a modified discrete-time algebraic Riccati equation and several novel techniques, the convergence of the estimation error covariance matrix of each sensor is guaranteed under a collective observability condition. In particular, the steady-state covariance matrix can be simplified as the solution to a discrete-time Lyapunov equation. Moreover, the performance degradation induced by reduced fusion frequency is obtained in closed form, which establishes an analytical relation between the performance of the CMDF with finite fusion steps and that of centralized filtering. Meanwhile, it provides a trade-off between the filtering performance and the communication cost. Furthermore, it is shown that the steady-state estimation error covariance matrix exponentially converges to the centralized optimal steady-state matrix with fusion operations tending to infinity during each sampling interval. Finally, the theoretical results are verified with illustrative numerical experiments.

preprint2022arXiv

Discernibility of topological variations for networked LTI systems based on observed output trajectories

In this paper, the possibility of detecting topological variations by observing output trajectories from networked linear time-invariant systems is investigated, where the network topology can be general, but the nodes have identical higher-dimensional dynamics. A necessary and sufficient condition on the discernibility of topological variations is derived, in terms of the eigenspaces of the original and the modified network configuarations. By taking the specific network structures into consideration, some lower-dimensional conditions are derived, which reveal how the network topologies, sensor locations, node-system dynamics and output, as well as inner interactions altogether affect the discernibility. Furthermore, the output discernibility of topological changes for networked multi-agent systems is revisited, showing that some criterion reported in the literature does not hold. Consequently, a modified necessary and sufficient condition is established. The effectiveness of the results is demonstrated through several examples.

preprint2022arXiv

Hyperparameter-free and Explainable Whole Graph Embedding

Graphs can be used to describe complex systems. Recently, whole graph embedding (graph representation learning) can compress a graph into a compact lower-dimension vector while preserving intrinsic properties, earning much attention. However, most graph embedding methods have problems such as tedious parameter tuning or poor explanation. This paper presents a simple and hyperparameter-free whole graph embedding method based on the DHC (Degree, H-index, and Coreness) theorem and Shannon Entropy (E), abbreviated as DHC-E. The DHC-E can provide a trade-off between simplicity and quality for supervised classification learning tasks involving molecular, social, and brain networks. Moreover, it performs well in lower-dimensional graph visualization. Overall, the DHC-E is simple, hyperparameter-free, and explainable for whole graph embedding with promising potential for exploring graph classification and lower-dimensional graph visualization.

preprint2022arXiv

Null Model-Based Data Augmentation for Graph Classification

In network science, the null model is typically used to generate a series of graphs based on randomization as a term of comparison to verify whether a network in question displays some non-trivial features such as community structure. Since such non-trivial features play a significant role in graph classification, the null model could be useful for network data augmentation to enhance classification performance. In this paper, we propose a novel technique that combines the null model with data augmentation for graph classification. Moreover, we propose four standard null model-based augmentation methods and four approximate null model-based augmentation methods to verify and improve the performance of our graph classification technique. Our experiments demonstrate that the proposed augmentation technique has significantly achieved general improvement on the tested datasets. In addition, we find that the standard null model-based augmentation methods always outperform the approximate ones, depending on the design mechanisms of the null models. Our results indicate that the choice of non-trivial features is significant for increasing the performance of augmentation models for different network structures, which also provides a new perspective of data augmentation for studying various graph classification methods.

preprint2022arXiv

Stochastic Event-triggered Variational Bayesian Filtering

This paper proposes an event-triggered variational Bayesian filter for remote state estimation with unknown and time-varying noise covariances. After presetting multiple nominal process noise covariances and an initial measurement noise covariance, a variational Bayesian method and a fixed-point iteration method are utilized to jointly estimate the posterior state vector and the unknown noise covariances under a stochastic event-triggered mechanism. The proposed algorithm ensures low communication loads and excellent estimation performances for a wide range of unknown noise covariances. Finally, the performance of the proposed algorithm is demonstrated by tracking simulations of a vehicle.

preprint2022arXiv

Topological and Algebraic Structures of Atanassov's Intuitionistic Fuzzy-Values Space

We prove that the space of intuitionistic fuzzy values (IFVs) with a linear order based on a score function and an accuracy function has the same algebraic structure as the one induced by a linear order based on a similarity function and an accuracy function. By introducing a new operator for IFVs via the linear order based on a score function and an accuracy function, we show that such an operator is a strong negation on IFVs. Moreover, we observe that the space of IFVs is a complete lattice and a Kleene algebra with the new operator. We also demonstrate that the topological space of IFVs with the order topology induced by the above two linear orders is not separable and metrizable but compact and connected. From some new perspectives,our results partially answer three open problems posed by Atanassov [Intuitionistic Fuzzy Sets: Theory and Applications, Springer, 1999] and [On Intuitionistic Fuzzy Sets Theory, Springer, 2012]. Furthermore, we construct an isomorphism between the spaces of IFVs and q-rung orthopedic fuzzy values (q-ROFVs) under the corresponding linear orders. To this end, we introduce the concept of admissible similarity measures with particular orders for IFSs, extending the existing definition of the similarity measure for IFSs, and construct an admissible similarity measure with a linear order based on a score function and an accuracy function, which is effectively applied to a pattern recognition problem about the classification of building materials.

preprint2021arXiv

Coherence Scaling of Noisy Second-Order Scale-Free Consensus Networks

A striking discovery in the field of network science is that the majority of real networked systems have some universal structural properties. In generally, they are simultaneously sparse, scale-free, small-world, and loopy. In this paper, we investigate the second-order consensus of dynamic networks with such universal structures subject to white noise at vertices. We focus on the network coherence $H_{\rm SO}$ characterized in terms of the $\mathcal{H}_2$-norm of the vertex systems, which measures the mean deviation of vertex states from their average value. We first study numerically the coherence of some representative real-world networks. We find that their coherence $H_{\rm SO}$ scales sublinearly with the vertex number $N$. We then study analytically $H_{\rm SO}$ for a class of iteratively growing networks -- pseudofractal scale-free webs (PSFWs), and obtain an exact solution to $H_{\rm SO}$, which also increases sublinearly in $N$, with an exponent much smaller than 1. To explain the reasons for this sublinear behavior, we finally study $H_{\rm SO}$ for Sierpinśki gaskets, for which $H_{\rm SO}$ grows superlinearly in $N$, with a power exponent much larger than 1. Sierpinśki gaskets have the same number of vertices and edges as the PSFWs, but do not display the scale-free and small-world properties. We thus conclude that the scale-free and small-world, and loopy topologies are jointly responsible for the observed sublinear scaling of $H_{\rm SO}$.

preprint2021arXiv

From Chaos to Pseudo-Randomness: A Case Study on the 2D Coupled Map Lattice

Applying chaos theory for secure digital communications is promising and it is well acknowledged that in such applications the underlying chaotic systems should be carefully chosen. However, the requirements imposed on the chaotic systems are usually heuristic, without theoretic guarantee for the resultant communication scheme. Among all the primitives for secure communications, it is well-accepted that (pseudo) random numbers are most essential. Taking the well-studied two-dimensional coupled map lattice (2D CML) as an example, this paper performs a theoretical study towards pseudo-random number generation with the 2D CML. In so doing, an analytical expression of the Lyapunov exponent (LE) spectrum of the 2D CML is first derived. Using the LEs, one can configure system parameters to ensure the 2D CML only exhibits complex dynamic behavior, and then collect pseudo-random numbers from the system orbits. Moreover, based on the observation that least significant bit distributes more evenly in the (pseudo) random distribution, an extraction algorithm E is developed with the property that, when applied to the orbits of the 2D CML, it can squeeze uniform bits. In implementation, if fixed-point arithmetic is used in binary format with a precision of $z$ bits after the radix point, E can ensure that the deviation of the squeezed bits is bounded by $2^{-z}$ . Further simulation results demonstrate that the new method not only guide the 2D CML model to exhibit complex dynamic behavior, but also generate uniformly distributed independent bits. In particular, the squeezed pseudo random bits can pass both NIST 800-22 and TestU01 test suites in various settings. This study thereby provides a theoretical basis for effectively applying the 2D CML to secure communications.

preprint2021arXiv

On the Existence of $t_r$-Norm and $t_r$-Conorm not in Convolution Form

This paper constructs a $t_{r}$-norm and a $t_{r}$-conorm on the set of all normal and convex functions from ${[0, 1]}$ to ${[0, 1]}$, which are not obtained by using the following two formulas on binary operations ${\curlywedge}$ and ${\curlyvee}$: $$ {(f\curlywedge g)(x)=\sup\left\{f(y)\ast g(z)\mid y\vartriangle z=x\right\},} $$ $$ {(f\curlyvee g)(x)=\sup\left\{f(y)\ast g(z)\mid y\ \triangledown\ z=x\right\},} $$ where ${f, g\in Map([0, 1], [0, 1])}$, ${\vartriangle}$ and ${\triangledown}$ are respectively a ${t}$-norm and a ${t}$-conorm on ${[0, 1]}$, and ${\ast}$ is a binary operation on ${[0, 1]}$. {\color{blue}This result answers affirmatively an open problem posed in \cite{HCT2015}. Moreover, the duality between $t_r$-norms and $t_r$-conorms is obtained by the introduction of operations dual to binary operations on ${Map([0, 1], [0, 1])}$.}

preprint2021arXiv

Sampling Subgraph Network with Application to Graph Classification

Graphs are naturally used to describe the structures of various real-world systems in biology, society, computer science etc., where subgraphs or motifs as basic blocks play an important role in function expression and information processing. However, existing research focuses on the basic statistics of certain motifs, largely ignoring the connection patterns among them. Recently, a subgraph network (SGN) model is proposed to study the potential structure among motifs, and it was found that the integration of SGN can enhance a series of graph classification methods. However, SGN model lacks diversity and is of quite high time complexity, making it difficult to widely apply in practice. In this paper, we introduce sampling strategies into SGN, and design a novel sampling subgraph network model, which is scale-controllable and of higher diversity. We also present a hierarchical feature fusion framework to integrate the structural features of diverse sampling SGNs, so as to improve the performance of graph classification. Extensive experiments demonstrate that, by comparing with the SGN model, our new model indeed has much lower time complexity (reduced by two orders of magnitude) and can better enhance a series of graph classification methods (doubling the performance enhancement).

preprint2020arXiv

A Framework of Hierarchical Attacks to Network Controllability

Network controllability robustness reflects how well a networked dynamical system can maintain its controllability against destructive attacks. This paper investigates the network controllability robustness from the perspective of a malicious attack. A framework of hierarchical attack is proposed, by means of edge- or node-removal attacks. Edges (or nodes) in a target network are classified hierarchically into categories, with different priorities to attack. The category of critical edges (or nodes) has the highest priority to be selected for attack. Extensive experiments on nine synthetic networks and nine real-world networks show the effectiveness of the proposed hierarchical attack strategies for destructing the network controllability. From the protection point of view, this study suggests that the critical edges and nodes should be hidden from the attackers. This finding helps better understand the network controllability and better design robust networks.

preprint2020arXiv

Adversarial Attacks to Scale-Free Networks: Testing the Robustness of Physical Criteria

Adversarial attacks have been alerting the artificial intelligence community recently, since many machine learning algorithms were found vulnerable to malicious attacks. This paper studies adversarial attacks to scale-free networks to test their robustness in terms of statistical measures. In addition to the well-known random link rewiring (RLR) attack, two heuristic attacks are formulated and simulated: degree-addition-based link rewiring (DALR) and degree-interval-based link rewiring (DILR). These three strategies are applied to attack a number of strong scale-free networks of various sizes generated from the Barabási-Albert model. It is found that both DALR and DILR are more effective than RLR, in the sense that rewiring a smaller number of links can succeed in the same attack. However, DILR is as concealed as RLR in the sense that they both are constructed by introducing a relatively small number of changes on several typical structural properties such as average shortest path-length, average clustering coefficient, and average diagonal distance. The results of this paper suggest that to classify a network to be scale-free has to be very careful from the viewpoint of adversarial attack effects.

preprint2020arXiv

Delay and Packet-Drop Tolerant Multi-Stage Distributed Average Tracking in Mean Square

This paper studies the distributed average tracking problem pertaining to a discrete-time linear time-invariant multi-agent network, which is subject to, concurrently, input delays, random packet-drops, and reference noise. The problem amounts to an integrated design of delay and packet-drop tolerant algorithm and determining the ultimate upper bound of the tracking error between agents' states and the average of the reference signals. The investigation is driven by the goal of devising a practically more attainable average tracking algorithm, thereby extending the existing work in the literature which largely ignored the aforementioned uncertainties. For this purpose, a blend of techniques from Kalman filtering, multi-stage consensus filtering, and predictive control is employed, which gives rise to a simple yet comepelling distributed average tracking algorithm that is robust to initialization error and allows the trade-off between communication/computation cost and stationary-state tracking error. Due to the inherent coupling among different control components, convergence analysis is significantly challenging. Nevertheless, it is revealed that the allowable values of the algorithm parameters rely upon the maximal degree of an expected network, while the convergence speed depends upon the second smallest eigenvalue of the same network's topology. The effectiveness of the theoretical results is verified by a numerical example.

preprint2020arXiv

Dynamics of continuous maps induced on the space of probability measures

For a continuous self-map $f$ on a compact interval $I$ and the induced map $\hat f$ on the space $\mathcal{M}(I)$ of probability measures, we obtain a sharp condition to guarantee that $(I,f)$ is transitive if and only if $(\mathcal{M}(I),\hat f)$ is transitive. We also show that the sensitivity of $(I,f)$ is equivalent to that of $(\mathcal{M}(I),\hat f)$. We prove that $(\mathcal{M}(I),\hat f)$ must have infinite topological entropy for any transitive system $(I,f)$, while there exists a transitive non-autonomous system $(I,f_{0,\infty})$ such that $(\mathcal{M}(I),\hat f_{0,\infty})$ has zero topological entropy, where $f_{0,\infty}=\{f_n\}_{n=0}^\infty$ is a sequence of continuous self-maps on $I$. For a continuous self-map $f$ on a general compact metric space $X$, we show that chain transitivity of $(X, f)$ implies chain mixing of $(\mathcal{M}(X),\hat f)$, and we provide two counterexamples to demonstrate that the converse is not true. We confirm that shadowing of $(X,f)$ is not inherited by $(\mathcal{M}(X),\hat f)$ in general. For a non-autonomous system $(X,f_{0,\infty})$, we prove that if $(\mathcal{M}(X),\hat{f}_{0,\infty})$ is weak mixing of order $n$, then so is $(X,f_{0,\infty})$ for any $n\geq2$; while there exists $(X,f_{0,\infty})$ such that it is weak mixing of order $2$ but $(\mathcal{M} (X),\hat{f}_{0,\infty})$ is not. We then prove that Li-Yorke chaos (resp., distributional chaos) of $(X,f_{0,\infty})$ carries over to $(\mathcal{M}(X),\hat f_{0,\infty})$, and give an example to show that $(X,f)$ and $(\mathcal{M}(X),\hat f)$ may have no Li-Yorke pair simultaneously. We also prove that if $f_n$ is surjective for all $n\geq 0$, then chain mixing of $(\mathcal{M}(X),\hat f_{0,\infty})$ always holds true, and shadowing of $(\mathcal{M}(X),\hat f_{0,\infty})$ implies mixing of $(X, f_{0,\infty})$.

preprint2020arXiv

Predicting Network Controllability Robustness: A Convolutional Neural Network Approach

Network controllability measures how well a networked system can be controlled to a target state, and its robustness reflects how well the system can maintain the controllability against malicious attacks by means of node-removals or edge-removals. The measure of network controllability is quantified by the number of external control inputs needed to recover or to retain the controllability after the occurrence of an unexpected attack. The measure of the network controllability robustness, on the other hand, is quantified by a sequence of values that record the remaining controllability of the network after a sequence of attacks. Traditionally, the controllability robustness is determined by attack simulations, which is computationally time consuming. In this paper, a method to predict the controllability robustness based on machine learning using a convolutional neural network is proposed, motivated by the observations that 1) there is no clear correlation between the topological features and the controllability robustness of a general network, 2) the adjacency matrix of a network can be regarded as a gray-scale image, and 3) the convolutional neural network technique has proved successful in image processing without human intervention. Under the new framework, a fairly large number of training data generated by simulations are used to train a convolutional neural network for predicting the controllability robustness according to the input network-adjacency matrices, without performing conventional attack simulations. Extensive experimental studies were carried out, which demonstrate that the proposed framework for predicting controllability robustness of different network configurations is accurate and reliable with very low overheads.

preprint2020arXiv

Totally Homogeneous Networks

In network science, the non-homogeneity of node degrees has been a concerned issue for study. Yet, with the modern web technologies today, the traditional social communication topologies have evolved from node-central structures to online cycle-based communities, urgently requiring new network theories and tools. Switching the focus from node degrees to network cycles, it could reveal many interesting properties from the perspective of totally homogeneous networks, or sub-networks in a complex network, especially basic simplexes (cliques) such as links and triangles. Clearly, comparing to node degrees it is much more challenging to deal with network cycles. For studying the latter, a new clique vector space framework is introduced in this paper, where the vector space with a basis consisting of links has the dimension equal to the number of links, that with a basis consisting of triangles has the dimension equal to the number of triangles, and so on. These two vector spaces are related through a boundary operator, e.g., mapping the boundary of a triangle in one space to the sun of three links in the other space. Under the new framework, some important concepts and methodologies from algebraic topology, such as characteristic number, homology group and Betti number, will have a play in network science leading to foreseeable new research directions. As immediate applications, the paper illustrates some important characteristics affecting the collective behaviors of complex networks, some new cycle-dependent importance indexes of nodes, and implications for network synchronization and brain network analysis.

preprint2020arXiv

Towards Optimal Robustness of Network Controllability: An Empirical Necessary Condition

To better understand the correlation between network topological features and the robustness of network controllability in a general setting, this paper suggests a practical approach to searching for optimal network topologies with given numbers of nodes and edges. Since theoretical analysis seems impossible at least in the present time, exhaustive search based on optimization techniques is employed, firstly for a group of small-sized networks that are realistically workable, where \textit{exhaustive} means 1) all possible network structures with the given numbers of nodes and edges are computed and compared, and 2) all possible node-removal sequences are considered. A main contribution of this paper is the observation of an empirical necessary condition (ENC) from the results of exhaustive search, which shrinks the search space to quickly find an optimal solution. ENC shows that the maximum and minimum in- and out-degrees of an optimal network structure should be almost identical, or within a very narrow range, i.e., the network should be extremely homogeneous. Edge rectification towards the satisfaction of the ENC is then designed and evaluated. Simulation results on large-sized synthetic and real-world networks verify the effectiveness of both the observed ENC and the edge rectification scheme. As more operations of edge rectification are performed, the network is getting closer to exactly satisfying the ENC, and consequently the robustness of the network controllability is enhanced towards optimum.

preprint2019arXiv

A geometric criterion for the existence of chaos based on periodic orbits in continuous-time autonomous systems

A new geometric criterion is derived for the existence of chaos in continuous-time autonomous systems in three-dimensional Euclidean spaces, where a type of Smale horseshoe in a subshift of finite type exists, but the intersection of stable and unstable manifolds of two points on a hyperbolic periodic orbit does not imply the existence of a Smale horseshoe of the same type on cross-sections of these two points. This criterion is based on the existence of a hyperbolic periodic orbit, differing from the classical equilibrium-based Shilnikov criterion and the condition of transversal homoclinic or heteroclinic orbits of Poincaré maps.

preprint2019arXiv

On-line Search History-assisted Restart Strategy for Covariance Matrix Adaptation Evolution Strategy

Restart strategy helps the covariance matrix adaptation evolution strategy (CMA-ES) to increase the probability of finding the global optimum in optimization, while a single run CMA-ES is easy to be trapped in local optima. In this paper, the continuous non-revisiting genetic algorithm (cNrGA) is used to help CMA-ES to achieve multiple restarts from different sub-regions of the search space. The CMA-ES with on-line search history-assisted restart strategy (HR-CMA-ES) is proposed. The entire on-line search history of cNrGA is stored in a binary space partitioning (BSP) tree, which is effective for performing local search. The frequently sampled sub-region is reflected by a deep position in the BSP tree. When leaf nodes are located deeper than a threshold, the corresponding sub-region is considered a region of interest (ROI). In HR-CMA-ES, cNrGA is responsible for global exploration and suggesting ROI for CMA-ES to perform an exploitation within or around the ROI. CMA-ES restarts independently in each suggested ROI. The non-revisiting mechanism of cNrGA avoids to suggest the same ROI for a second time. Experimental results on the CEC 2013 and 2017 benchmark suites show that HR-CMA-ES performs better than both CMA-ES and cNrGA. A positive synergy is observed by the memetic cooperation of the two algorithms.

preprint2018arXiv

Controllability of Directed Heterogeneous Networked MIMO Systems

This paper studies the controllability of networked multi-input-multi-output (MIMO) systems, in which the network topology is weighted and directed, and the nodes are heterogeneous higher-dimensional linear time-invariant (LTI) dynamical systems. The primary objective is to search for controllability criteria beyond those already known for homogeneous networks. The focus is on the effects of the network topology, node dynamics, external control inputs, as well as the inner interactions on the network controllability. It is found that a network of heterogeneous systems can be controllable even if the corresponding homogeneous network topology is uncontrollable. The finding thus unravels another fundamental property that affects the network controllability---the heterogeneity of the node dynamics. A necessary and sufficient condition is derived for the controllability of heterogeneous networked MIMO LTI systems. For some typical cases, necessary and/or sufficient controllability conditions are specified and presented on the node dynamics, inner interactions, as well as the network topology.

preprint2018arXiv

Toward Stronger Robustness of Network Controllability: A Snapback Network Model

A new complex network model, called q-snapback network, is introduced. Basic topological characteristics of the network, such as degree distribution, average path length, clustering coefficient and Pearson correlation coefficient, are evaluated. The typical 4-motifs of the network are simulated. The robustness of both state and structural controllabilities of the network against targeted and random node- and edge-removal attacks, with comparisons to the multiplex congruence network and the generic scale-free network, are presented. It is shown that the q-snapback network has the strongest robustness of controllabilities due to its advantageous inherent structure with many chain- and loop-motifs.

preprint2017arXiv

Communicating with sentences: A multi-word naming game model

Naming game simulates the process of naming an object by a single word, in which a population of communicating agents can reach global consensus asymptotically through iteratively pair-wise conversations. We propose an extension of the single-word model to a multi-word naming game (MWNG), simulating the case of describing a complex object by a sentence (multiple words). Words are defined in categories, and then organized as sentences by combining them from different categories. We refer to a formatted combination of several words as a pattern. In such an MWNG, through a pair-wise conversation, it requires the hearer to achieve consensus with the speaker with respect to both every single word in the sentence as well as the sentence pattern, so as to guarantee the correct meaning of the saying, otherwise, they fail reaching consensus in the interaction. We validate the model in three typical topologies as the underlying communication network, and employ both conventional and man-designed patterns in performing the MWNG.

preprint2016arXiv

A Unified Framework for Information Consumption Based on Markov Chains

This paper establishes a Markov chain model as a unified framework for understanding information consumption processes in complex networks, with clear implications to the Internet and big-data technologies. In particular, the proposed model is the first one to address the formation mechanism of the "trichotomy" in observed probability density functions from empirical data of various social and technical networks. Both simulation and experimental results demonstrate a good match of the proposed model with real datasets, showing its superiority over the classical power-law models.

preprint2016arXiv

Designing Distributed Fixed-Time Consensus Protocols for Linear Multi-Agent Systems Over Directed Graphs

This technical note addresses the distributed fixed-time consensus protocol design problem for multi-agent systems with general linear dynamics over directed communication graphs. By using motion planning approaches, a class of distributed fixed-time consensus algorithms are developed, which rely only on the sampling information at some sampling instants. For linear multi-agent systems, the proposed algorithms solve the fixed-time consensus problem for any directed graph containing a directed spanning tree. In particular, the settling time can be off-line pre-assigned according to task requirements. Compared with the existing results for multi-agent systems, to our best knowledge, it is the first-time to solve fixed-time consensus problems for general linear multi-agent systems over directed graphs having a directed spanning tree. Extensions to the fixed-time formation flying are further studied for multiple satellites described by Hill equations.

preprint2016arXiv

Fixed-time consensus of multiple double-integrator systems under directed topologies: A motion-planning approach

This paper investigates the fixed-time consensus problem under directed topologies. By using a motion-planning approach, a class of distributed fixed-time algorithms are developed for a multi-agent system with double-integrator dynamics. In the context of the fixed-time consensus, we focus on both directed fixed and switching topologies. Under the directed fixed topology, a novel class of distributed algorithms are designed, which guarantee the consensus of the multi-agent system with a fixed settling time if the topology has a directed spanning tree. Under the directed periodically switching topologies, the fixedtime consensus is solved via the proposed algorithms if the topologies jointly have a directed spanning tree. In particular, the fixed settling time can be off-line pre-assigned according to task requirements. Compared with the existing results, to our best knowledge, it is the first time to solve the fixed-time consensus problem for double-integrator systems under directed topologies. Finally, a numerical example is given to illustrate the effectiveness of the analytical results.

preprint2016arXiv

On the security defects of an image encryption scheme

This paper studies the security of a recently-proposed chaos-based image encryption scheme, and points out the following problems: 1) there exist a number of invalid keys and weak keys, and some keys are partially equivalent for encryption/decryption; 2) given one chosen plain-image, a subkey $K_{10}$ can be guessed with a smaller computational complexity than that of the simple brute-force attack; 3) given at most 128 chosen plain-images, a chosen-plaintext attack can possibly break the following part of the secret key: $\{K_i\bmod 128\}_{i=4}^{10}$, which works very well when $K_{10}$ is not too large; 4) when $K_{10}$ is relatively small, a known-plaintext attack can be carried out with only one known plain-image to recover some visual information of any other plain-images encrypted by the same key.

preprint2016arXiv

Sensitive dependence and transitivity of fuzzified dynamical systems

This paper proves that a set-valued dynamical system is sensitively dependent on initial conditions (resp., $\mathscr{F}$-sensitive, multi-sensitive) if and only if its $g$-fuzzification is sensitively dependent on initial conditions (resp., $\mathscr{F}$-sensitive, multi-sensitive), where $\mathscr{F}$ is a Furstenberg family. As an application, it is shown that there exists a sensitive dynamical system whose $g$-fuzzification does not have such sensitive dependence for any $g$ in a certain domain. Moreover, a sufficient condition ensuring that the $g$-fuzzification of every nontrivial dynamical system is not transitive is obtained. These give an answer to a question posed in \cite[J. Kupka, Information Sciences, {\bf 279} (2014): 642--653]{Kupka2014}.

preprint2015arXiv

Controllability of networked MIMO systems

In this paper, we consider the state controllability of networked systems, where the network topology is directed and weighted and the nodes are higher-dimensional linear time-invariant (LTI) dynamical systems. We investigate how the network topology, the node-system dynamics, the external control inputs, and the inner interactions affect the controllability of a networked system, and show that for a general networked multi-input/multi-output (MIMO) system: 1) the controllability of the overall network is an integrated result of the aforementioned relevant factors, which cannot be decoupled into the controllability of individual node-systems and the properties solely determined by the network topology, quite different from the familiar notion of consensus or formation controllability; 2) if the network topology is uncontrollable by external inputs, then the networked system with identical nodes will be uncontrollable, even if it is structurally controllable; 3) with a controllable network topology, controllability and observability of the nodes together are necessary for the controllability of the networked systems under some mild conditions, but nevertheless they are not sufficient. For a networked system with single-input/single-output (SISO) LTI nodes, we present precise necessary and sufficient conditions for the controllability of a general network topology.

preprint2015arXiv

Looking more closely to the Rabinovich-Fabrikant system

Recently, we look more closely into the Rabinovich-Fabrikant system, after a decade of the study in [Danca & Chen, 2004], discovering some new characteristics such as cycling chaos, transient chaos, chaotic hidden attractors and a new kind of saddles-like attractor. In addition to extensive and accurate numerical analysis, on the assumptive existence of heteroclinic orbits, we provide a few of their approximations.

preprint2014arXiv

Composite Centrality: A Natural Scale for Complex Evolving Networks

We derive a composite centrality measure for general weighted and directed complex networks, based on measure standardisation and invariant statistical inheritance schemes. Different schemes generate different intermediate abstract measures providing additional information, while the composite centrality measure tends to the standard normal distribution. This offers a unified scale to measure node and edge centralities for complex evolving networks under a uniform framework. Considering two real-world cases of the world trade web and the world migration web, both during a time span of 40 years, we propose a standard set-up to demonstrate its remarkable normative power and accuracy. We illustrate the applicability of the proposed framework for large and arbitrary complex systems, as well as its limitations, through extensive numerical simulations.

preprint2014arXiv

Cross-border Portfolio Investment Networks and Indicators for Financial Crises

Cross-border equity and long-term debt securities portfolio investment networks are analysed from 2002 to 2012, covering the 2008 global financial crisis. They serve as network-proxies for measuring the robustness of the global financial system and the interdependence of financial markets, respectively. Two early-warning indicators for financial crises are identified: First, the algebraic connectivity of the equity securities network, as a measure for structural robustness, drops close to zero already in 2005, while there is an over-representation of high-degree off-shore financial centres among the countries most-related to this observation, suggesting an investigation of such nodes with respect to the structural stability of the global financial system. Second, using a phenomenological model, the edge density of the debt securities network is found to describe, and even forecast, the proliferation of several over-the-counter-traded financial derivatives, most prominently credit default swaps, enabling one to detect potentially dangerous levels of market interdependence and systemic risk.

preprint2014arXiv

Dynamical Analysis of a Networked Control System

A new network data transmission strategy was proposed in Zhang \& Chen [2005] (arXiv:1405.2404), where the resulting nonlinear system was analyzed and the effectiveness of the transmission strategy was demonstrated via simulations. In this paper, we further generalize the results of Zhang \& Chen [2005] in the following ways: 1) Construct first-return maps of the nonlinear systems formulated in Zhang \& Chen [2005] and derive several existence conditions of periodic orbits and study their properties. 2) Formulate the new system as a hybrid system, which will ease the succeeding analysis. 3) Prove that this type of hybrid systems is not structurally stable based on phase transition which can be applied to higher-dimensional cases effortlessly. 4) Simulate a higher-dimensional model with emphasis on their rich dynamics. 5) Study a class of continuous-time hybrid systems as the counterparts of the discrete-time systems discussed above. 6) Propose new controller design methods based on this network data transmission strategy to improve the performance of each individual system and the whole network. We hope that this research and the problems posed here will rouse interests of researchers in such fields as control, dynamical systems and numerical analysis.

preprint2014arXiv

Naming Game on Networks: Let Everyone be Both Speaker and Hearer

To investigate how consensus is reached on a large self-organized peer-to-peer network, we extended the naming game model commonly used in language and communication to Naming Game in Groups (NGG). Differing from other existing naming game models, in NGG, everyone in the population (network) can be both speaker and hearer simultaneously, which resembles in a closer manner to real-life scenarios. Moreover, NGG allows the transmission (communication) of multiple words (opinions) for multiple intra-group consensuses. The communications among indirectly-connected nodes are also enabled in NGG. We simulated and analyzed the consensus process in some typical network topologies, including random-graph networks, small-world networks and scale-free networks, to better understand how global convergence (consensus) could be reached on one common word. The results are interpreted on group negotiation of a peer-to-peer network, which shows that global consensus in the population can be reached more rapidly when more opinions are permitted within each group or when the negotiating groups in the population are larger in size. The novel features and properties introduced by our model have demonstrated its applicability in better investigating general consensus problems on peer-to-peer networks.

preprint2014arXiv

Naming game with learning errors in communications

Naming game simulates the process of naming an objective by a population of agents organized in a certain communication network topology. By pair-wise iterative interactions, the population reaches a consensus state asymptotically. In this paper, we study naming game with communication errors during pair-wise conversations, where errors are represented by error rates in a uniform probability distribution. First, a model of naming game with learning errors in communications (NGLE) is proposed. Then, a strategy for agents to prevent learning errors is suggested. To that end, three typical topologies of communication networks, namely random-graph, small-world and scale-free networks with different parameters, are employed to investigate the effects of various learning errors. Simulation results on these models show that 1) learning errors slightly affect the convergence speed but distinctively increase the requirement for memory of each agent during lexicon propagation; 2) the maximum number of different words held by the whole population increases linearly as the value of the error rate increases; 3) without applying any strategy to eliminate learning errors, there is a threshold value of the learning errors which impairs the convergence. The new findings help to better understand the role of learning errors in naming game as well as human language development from a network science perspective.

preprint2014arXiv

Netconomics: Novel Forecasting Techniques from the Combination of Big Data, Network Science and Economics

The combination of the network theoretic approach with recently available abundant economic data leads to the development of novel analytic and computational tools for modelling and forecasting key economic indicators. The main idea is to introduce a topological component into the analysis, taking into account consistently all higher-order interactions. We present three basic methodologies to demonstrate different approaches to harness the resulting network gain. First, a multiple linear regression optimisation algorithm is used to generate a relational network between individual components of national balance of payment accounts. This model describes annual statistics with a high accuracy and delivers good forecasts for the majority of indicators. Second, an early-warning mechanism for global financial crises is presented, which combines network measures with standard economic indicators. From the analysis of the cross-border portfolio investment network of long-term debt securities, the proliferation of a wide range of over-the-counter-traded financial derivative products, such as credit default swaps, can be described in terms of gross-market values and notional outstanding amounts, which are associated with increased levels of market interdependence and systemic risk. Third, considering the flow-network of goods traded between G-20 economies, network statistics provide better proxies for key economic measures than conventional indicators. For example, it is shown that a country's gate-keeping potential, as a measure for local power, projects its annual change of GDP generally far better than the volume of its imports or exports.

preprint2014arXiv

On various definitions of shadowing with average error in tracing

In this paper we present a systematic study of shadowing properties with average error in tracing such as (asymptotic) average shadowing, $\underline{d}$-shadowing, $\overline{d}$-shadowing and almost specification. As the main tools we provide a few equivalent characterizations of the average shadowing property, which also partly apply to other notions of shadowing. We prove that almost specification on the whole space induces this property on the measure center. Next, we show that always (e.g. without assumption that the map is onto) almost specification implies asymptotic average shadowing, which in turn implies the average shadowing property and consequently also $\underline{d}$-shadowing and $\overline{d}$-shadowing. Finally, we study connections among sensitivity, transitivity, equicontinuity and (average) shadowing.

preprint2013arXiv

Link-based formalism for time evolution of adaptive networks

Network topology and nodal dynamics are two fundamental stones of adaptive networks. Detailed and accurate knowledge of these two ingredients is crucial for understanding the evolution and mechanism of adaptive networks. In this paper, by adopting the framework of the adaptive SIS model proposed by Gross et al. [Phys. Rev. Lett. 96, 208701 (2006)] and carefully utilizing the information of degree correlation of the network, we propose a link-based formalism for describing the system dynamics with high accuracy and subtle details. Several specific degree correlation measures are introduced to reveal the coevolution of network topology and system dynamics.

preprint2013arXiv

Performance of a Multiple-Access DCSK-CC System over Nakagami-$m$ Fading Channels

In this paper, we propose a novel cooperative scheme to enhance the performance of multiple-access (MA) differential-chaos-shift-keying (DCSK) systems. We provide the bit-error-rate (BER) performance and throughput analyses for the new system with a decode-and-forward (DF) protocol over Nakagami-$m$ fading channels. Our simulated results not only show that this system significantly improves the BER performance as compared to the existing DCSK non-cooperative (DCSK-NC) system and the multiple-input multiple-output DCSK (MIMO-DCSK) system, but also verify the theoretical analyses. Furthermore, we show that the throughput of this system approximately equals that of the DCSK-NC system, both of which have prominent improvements over the MIMO-DCSK system. We thus believe that the proposed system can be a good framework for chaos-modulation-based wireless communications.

preprint2012arXiv

An Overview of Recent Progress in the Study of Distributed Multi-agent Coordination

This article reviews some main results and progress in distributed multi-agent coordination, focusing on papers published in major control systems and robotics journals since 2006. Distributed coordination of multiple vehicles, including unmanned aerial vehicles, unmanned ground vehicles and unmanned underwater vehicles, has been a very active research subject studied extensively by the systems and control community. The recent results in this area are categorized into several directions, such as consensus, formation control, optimization, task assignment, and estimation. After the review, a short discussion section is included to summarize the existing research and to propose several promising research directions along with some open problems that are deemed important for further investigations.

preprint2012arXiv

Chaotifying Continuous-Time Nonlinear Autonomous Systems

Based on the principle of chaotification for continuous-time autonomous systems, which relies on two basic properties of chaos, i.e., globally bounded with necessary positive-zero-negative Lyapunov exponents, this paper derives a feasible and unified chaotification method of designing a general chaotic continuous-time autonomous nonlinear system. For a system consisting of a linear and a nonlinear subsystem, chaotification is achieved using separation of state variables, which decomposes the system into two open-loop subsystems interacting through mutual feedback resulting in an overall closed-loop nonlinear feedback system. Under the condition that the nonlinear feedback control output is uniformly bounded where the nonlinear function is of bounded-input/bounded-output, it is proved that the resulting system is chaotic in the sense of being globally bounded with a required placement of Lyapunov exponents. Several numerical examples are given to verify the effectiveness of the theoretical design. Since linear systems are special cases of nonlinear systems, the new method is also applicable to linear systems in general.

preprint2012arXiv

Constructing a chaotic system with any number of equilibria

In the chaotic Lorenz system, Chen system and Rössler system, their equilibria are unstable and the number of the equilibria are no more than three. This paper shows how to construct some simple chaotic systems that can have any preassigned number of equilibria. First, a chaotic system with no equilibrium is presented and discussed. Then, a methodology is presented by adding symmetry to a new chaotic system with only one stable equilibrium, to show that chaotic systems with any preassigned number of equilibria can be generated. By adjusting the only parameter in these systems, one can further control the stability of their equilibria. This result reveals an intrinsic relationship of the global dynamical behaviors with the number and stability of the equilibria of a chaotic system.

preprint2012arXiv

Exact eigenvalue spectrum of a class of fractal scale-free networks

The eigenvalue spectrum of the transition matrix of a network encodes important information about its structural and dynamical properties. We study the transition matrix of a family of fractal scale-free networks and analytically determine all the eigenvalues and their degeneracies. We then use these eigenvalues to evaluate the closed-form solution to the eigentime for random walks on the networks under consideration. Through the connection between the spectrum of transition matrix and the number of spanning trees, we corroborate the obtained eigenvalues and their multiplicities.

preprint2012arXiv

Multiple firing coherence resonances in excitatory and inhibitory coupled neurons

The impact of inhibitory and excitatory synapses in delay-coupled Hodgkin--Huxley neurons that are driven by noise is studied. If both synaptic types are used for coupling, appropriately tuned delays in the inhibition feedback induce multiple firing coherence resonances at sufficiently strong coupling strengths, thus giving rise to tongues of coherency in the corresponding delay-strength parameter plane. If only inhibitory synapses are used, however, appropriately tuned delays also give rise to multiresonant responses, yet the successive delays warranting an optimal coherence of excitations obey different relations with regards to the inherent time scales of neuronal dynamics. This leads to denser coherence resonance patterns in the delay-strength parameter plane. The robustness of these findings to the introduction of delay in the excitatory feedback, to noise, and to the number of coupled neurons is determined. Mechanisms underlying our observations are revealed, and it is suggested that the regularity of spiking across neuronal networks can be optimized in an unexpectedly rich variety of ways, depending on the type of coupling and the duration of delays.

preprint2012arXiv

Optimal and suboptimal networks for efficient navigation measured by mean-first passage time of random walks

For a random walk on a network, the mean first-passage time from a node $i$ to another node $j$ chosen stochastically according to the equilibrium distribution of Markov chain representing the random walk is called Kemeny constant, which is closely related to the navigability on the network. Thus, the configuration of a network that provides optimal or suboptimal navigation efficiency is a question of interest. It has been proved that complete graphs have the exact minimum Kemeny constant over all graphs. In this paper, by using another method we first prove that complete graphs are the optimal networks with a minimum Kemeny constant, which grows linearly with the network size. Then, we study the Kemeny constant of a class of sparse networks that exhibit remarkable scale-free and fractal features as observed in many real-life networks, which cannot be described by complete graphs. To this end, we determine the closed-form solutions to all eigenvalues and their degeneracies of the networks. Employing these eigenvalues, we derive the exact solution to the Kemeny constant, which also behaves linearly with the network size for some particular cases of networks. We further use the eigenvalue spectra to determine the number of spanning trees in the networks under consideration, which is in complete agreement with previously reported results. Our work demonstrates that scale-free and fractal properties are favorable for efficient navigation, which could be considered when designing networks with high navigation efficiency.

preprint2012arXiv

Performance of MIMO Relay DCSK-CD Systems over Nakagami Fading Channels

A multi-access multiple-input multiple-output (MIMO) relay differential chaos shift keying cooperative diversity (DCSK-CD) system is proposed in this paper as a comprehensive cooperation scheme, in which the relay and destination both employ multiple antennas to strengthen the robustness against signal fading in a wireless network. It is shown that, with spatial diversity gains, the bit error rate (BER) performance of the proposed system is remarkably better than the conventional DCSK non-cooperation (DCSK-NC) and DCSK cooperative communication (DCSK-CC) systems. Moreover, the exact BER and close-form expressions of the proposed system are derived over Nakagami fading channels through the moment generating function (MGF), which is shown to be highly consistent with the simulation results. Meanwhile, this paper illustrates a trade-off between the performance and the complexity, and provides a threshold for the number of relay antennas keeping the user consumed energy constant. Due to the above-mentioned advantages, the proposed system stands out as a good candidate or alternative for energy-constrained wireless communications based on chaotic modulation, especially for low-power and low-cost wireless personal area networks (WPANs).

preprint2012arXiv

Random walks on weighted networks

Random walks constitute a fundamental mechanism for a large set of dynamics taking place on networks. In this article, we study random walks on weighted networks with an arbitrary degree distribution, where the weight of an edge between two nodes has a tunable parameter. By using the spectral graph theory, we derive analytical expressions for the stationary distribution, mean first-passage time (MFPT), average trapping time (ATT), and lower bound of the ATT, which is defined as the average MFPT to a given node over every starting point chosen from the stationary distribution. All these results depend on the weight parameter, indicating a significant role of network weights on random walks. For the case of uncorrelated networks, we provide explicit formulas for the stationary distribution as well as ATT. Particularly, for uncorrelated scale-free networks, when the target is placed on a node with the highest degree, we show that ATT can display various scalings of network size, depending also on the same parameter. Our findings could pave a way to delicately controlling random-walk dynamics on complex networks.

preprint2012arXiv

Trapping in dendrimers and regular hyperbranched polymers

Dendrimers and regular hyperbranched polymers are two classic families of macromolecules, which can be modeled by Cayley trees and Vicsek fractals, respectively. In this paper, we study the trapping problem in Cayley trees and Vicsek fractals with different underlying geometries, focusing on a particular case with a perfect trap located at the central node. For both networks, we derive the exact analytic formulas in terms of the network size for the average trapping time (ATT)---the average of node-to-trap mean first-passage time over the whole networks. The obtained closed-form solutions show that for both Cayley trees and Vicsek fractals, the ATT display quite different scalings with various system sizes, which implies that the underlying structure plays a key role on the efficiency of trapping in polymer networks. Moreover, the dissimilar scalings of ATT may allow to differentiate readily between dendrimers and hyperbranched polymers.

preprint2011arXiv

A chaotic system with only one stable equilibrium

If you are given a simple three-dimensional autonomous quadratic system that has only one stable equilibrium, what would you predict its dynamics to be, stable or periodic? Will it be surprising if you are shown that such a system is actually chaotic? Although chaos theory for three-dimensional autonomous systems has been intensively and extensively studied since the time of Lorenz in the 1960s, and the theory has become quite mature today, it seems that no one would anticipate a possibility of finding a three-dimensional autonomous quadratic chaotic system with only one stable equilibrium. The discovery of the new system, to be reported in this Letter, is indeed striking because for a three-dimensional autonomous quadratic system with a single stable node-focus equilibrium, one typically would anticipate non-chaotic and even asymptotically converging behaviors. Although the new system is not of saddle-focus type, therefore the familiar Ši'lnikov homoclinic criterion is not applicable, it is demonstrated to be chaotic in the sense of having a positive largest Lyapunov exponent, a fractional dimension, a continuous broad frequency spectrum, and a period-doubling route to chaos.

preprint2011arXiv

A simple yet complex one-parameter family of generalized lorenz-like systems

This paper reports the finding of a simple one-parameter family of three-dimensional quadratic autonomous chaotic systems. By tuning the only parameter, this system can continuously generate a variety of cascading Lorenz-like attractors, which appears to be richer than the unified chaotic system that contains the Lorenz and the Chen systems as its two extremes. Although this new family of chaotic systems has very rich and complex dynamics, it has a very simple algebraic structure with only two quadratic terms (same as the Lorenz and the Chen systems) and all nonzero coefficients in the linear part being -1 except one -0.1 (thus, simpler than the Lorenz and Chen systems). Surprisingly, although this new system belongs to the family of Lorenz-type systems in some existing classifications such as the generalized Lorenz canonical form, it can generate not only Lorenz-like attractors but also Chen-like attractors. This suggests that there may exist some other unknown yet more essential algebraic characteristics for classifying general three-dimensional quadratic autonomous chaotic systems.

preprint2011arXiv

Complete spectrum of stochastic master equation for random walks on treelike fractals

We study random walks on a family of treelike regular fractals with a trap fixed on a central node. We obtain all the eigenvalues and their corresponding multiplicities for the associated stochastic master equation, with the eigenvalues being provided through an explicit recursive relation. We also evaluate the smallest eigenvalue and show that its reciprocal is approximately equal to the mean trapping time. We expect that our technique can also be adapted to other regular fractals with treelike structures.

preprint2011arXiv

Consensus of Discrete-Time Linear Multi-Agent Systems with Observer-Type Protocols

This paper concerns the consensus of discrete-time multi-agent systems with linear or linearized dynamics. An observer-type protocol based on the relative outputs of neighboring agents is proposed. The consensus of such a multi-agent system with a directed communication topology can be cast into the stability of a set of matrices with the same low dimension as that of a single agent. The notion of discrete-time consensus region is then introduced and analyzed. For neurally stable agents, it is shown that there exists an observer-type protocol having a bounded consensus region in the form of an open unit disk, provided that each agent is stabilizable and detectable. An algorithm is further presented to construct a protocol to achieve consensus with respect to all the communication topologies containing a spanning tree. Moreover, for the case where the agents have no poles outside the unit circle,an algorithm is proposed to construct a protocol having an origin-centered disk of radius $δ$ ($0<δ<1$) as its consensus region, where $δ$ has to further satisfy a constraint related to the unstable eigenvalues of a single agent for the case where each agent has a least one eigenvalue outside the unit circle. Finally, the consensus algorithms are applied to solve formation control problems of multi-agent systems.

preprint2011arXiv

Counting spanning trees in self-similar networks by evaluating determinants

Spanning trees are relevant to various aspects of networks. Generally, the number of spanning trees in a network can be obtained by computing a related determinant of the Laplacian matrix of the network. However, for a large generic network, evaluating the relevant determinant is computationally intractable. In this paper, we develop a fairly generic technique for computing determinants corresponding to self-similar networks, thereby providing a method to determine the numbers of spanning trees in networks exhibiting self-similarity. We describe the computation process with a family of networks, called $(x,y)$-flowers, which display rich behavior as observed in a large variety of real systems. The enumeration of spanning trees is based on the relationship between the determinants of submatrices of the Laplacian matrix corresponding to the $(x,y)$-flowers at different generations and is devoid of the direct laborious computation of determinants. Using the proposed method, we derive analytically the exact number of spanning trees in the $(x,y)$-flowers, on the basis of which we also obtain the entropies of the spanning trees in these networks. Moreover, to illustrate the universality of our technique, we apply it to some other self-similar networks with distinct degree distributions, and obtain explicit solutions to the numbers of spanning trees and their entropies. Finally, we compare our results for networks with the same average degree but different structural properties, such as degree distribution and fractal dimension, and uncover the effect of these topological features on the number of spanning trees.

preprint2011arXiv

Cryptanalyzing a chaos-based image encryption algorithm using alternate structure

Recently, a chaos-based image encryption algorithm using alternate structure (IEAS) was proposed. This paper focuses on differential cryptanalysis of the algorithm and finds that some properties of IEAS can support a differential attack to recover equivalent secret key with a little small number of known plain-images. Detailed approaches of the cryptanalysis for cryptanalyzing IEAS of the lower round number are presented and the breaking method can be extended to the case of higher round number. Both theoretical analysis and experiment results are provided to support vulnerability of IEAS against differential attack. In addition, some other security defects of IEAS, including insensitivity with respect to changes of plain-images and insufficient size of key space, are also reported.

preprint2011arXiv

Mean first-passage time for random walks on undirected networks

In this paper, by using two different techniques we derive an explicit formula for the mean first-passage time (MFPT) between any pair of nodes on a general undirected network, which is expressed in terms of eigenvalues and eigenvectors of an associated matrix similar to the transition matrix. We then apply the formula to derive a lower bound for the MFPT to arrive at a given node with the starting point chosen from the stationary distribution over the set of nodes. We show that for a correlated scale-free network of size $N$ with a degree distribution $P(d)\sim d^{-γ}$, the scaling of the lower bound is $N^{1-1/γ}$. Also, we provide a simple derivation for an eigentime identity. Our work leads to a comprehensive understanding of recent results about random walks on complex networks, especially on scale-free networks.

preprint2011arXiv

Random walks in small-world exponential treelike networks

In this paper, we investigate random walks in a family of small-world trees having an exponential degree distribution. First, we address a trapping problem, that is, a particular case of random walks with an immobile trap located at the initial node. We obtain the exact mean trapping time defined as the average of first-passage time (FPT) from all nodes to the trap, which scales linearly with the network order $N$ in large networks. Then, we determine analytically the mean sending time, which is the mean of the FPTs from the initial node to all other nodes, and show that it grows with $N$ in the order of $N \ln N$. After that, we compute the precise global mean first-passage time among all pairs of nodes and find that it also varies in the order of $N \ln N$ in the large limit of $N$. After obtaining the relevant quantities, we compare them with each other and related our results to the efficiency for information transmission by regarding the walker as an information messenger. Finally, we compare our results with those previously reported for other trees with different structural properties (e.g., degree distribution), such as the standard fractal trees and the scale-free small-world trees, and show that the shortest path between a pair of nodes in a tree is responsible for the scaling of FPT between the two nodes.

preprint2011arXiv

Traffic Fluctuations on Weighted Networks

Traffic fluctuation has so far been studied on unweighted networks. However many real traffic systems are better represented as weighted networks, where nodes and links are assigned a weight value representing their physical properties such as capacity and delay. Here we introduce a general random diffusion (GRD) model to investigate the traffic fluctuation in weighted networks, where a random walk's choice of route is affected not only by the number of links a node has, but also by the weight of individual links. We obtain analytical solutions that characterise the relation between the average traffic and the fluctuation through nodes and links. Our analysis is supported by the results of numerical simulations. We observe that the value ranges of the average traffic and the fluctuation, through nodes or links, increase dramatically with the level of heterogeneity in link weight. This highlights the key role that link weight plays in traffic fluctuation and the necessity to study traffic fluctuation on weighted networks.

preprint2010arXiv

Consensus over a Random Network Generated by i.i.d. Stochastic Matrices

Our goal is to find a necessary and sufficient condition on the consensus over a random network, generated by i.i.d. stochastic matrices. We show that the consensus problem in three different convergence modes (almost surely, in probability, and in L1) are equivalent, thus have the same necessary and sufficient condition. We obtain the necessary and sufficient condition through the stability in a projected subspace.

preprint2010arXiv

Synchronous bursts on scale-free neuronal networks with attractive and repulsive coupling

This paper investigates the dependence of synchronization transitions of bursting oscillations on the information transmission delay over scale-free neuronal networks with attractive and repulsive coupling. It is shown that for both types of coupling, the delay always plays a subtle role in either promoting or impairing synchronization. In particular, depending on the inherent oscillation period of individual neurons, regions of irregular and regular propagating excitatory fronts appear intermittently as the delay increases. These delay-induced synchronization transitions are manifested as well-expressed minima in the measure for spatiotemporal synchrony. For attractive coupling, the minima appear at every integer multiple of the average oscillation period, while for the repulsive coupling, they appear at every odd multiple of the half of the average oscillation period. The obtained results are robust to the variations of the dynamics of individual neurons, the system size, and the neuronal firing type. Hence, they can be used to characterize attractively or repulsively coupled scale-free neuronal networks with delays.

preprint2010arXiv

Using topological characteristics to evaluate complex network models can be misleading

Graphical models are frequently used to represent topological structures of various complex networks. Current criteria to assess different models of a network mainly rely on how close a model matches the network in terms of topological characteristics. Typical topological metrics are clustering coefficient, distance distribution, the largest eigenvalue of the adjacency matrix, and the gap between the first and the second largest eigenvalues, which are widely used to evaluate and compare different models of a network. In this paper, we show that evaluating complex network models based on the current topological metrics can be quite misleading. Taking several models of the AS-level Internet as examples, we show that although a model seems to be good to describe the Internet in terms of the aforementioned topological characteristics, it is far from being realistic to represent the real Internet in performances such as robustness in resisting intentional attacks and traffic load distributions. We further show that it is not useful to assess network models by examining some topological characteristics such as clustering coefficient and distance distribution, if robustness of the Internet against random node removals is the only concern. Our findings shed new lights on how to reasonably evaluate different models of a network, not only the Internet but also other types of complex networks.

preprint2009arXiv

Degree-distribution Stability of Growing Networks

In this paper, we abstract a kind of stochastic processes from evolving processes of growing networks, this process is called growing network Markov chains. Thus the existence and the formulas of degree distribution are transformed to the corresponding problems of growing network Markov chains. First we investigate the growing network Markov chains, and obtain the condition in which the steady degree distribution exists and get its exact formulas. Then we apply it to various growing networks. With this method, we get a rigorous, exact and unified solution of the steady degree distribution for growing networks.

preprint2007arXiv

Cryptanalysis of an MPEG-Video Encryption Scheme Based on Secret Huffman Tables

This paper studies the security of a recently-proposed MPEG-video encryption scheme based on secret Huffman tables. Our cryptanalysis shows that: 1) the key space of the encryption scheme is not sufficiently large against divide-and-conquer (DAC) attack and known-plaintext attack; 2) it is possible to decrypt a cipher-video with a partially-known key, thus dramatically reducing the complexity of the DAC brute-force attack in some cases; 3) its security against the chosen-plaintext attack is very weak. Some experimental results are included to support the cryptanalytic results with a brief discuss on how to improve this MPEG-video encryption scheme.

preprint2007arXiv

Cryptanalysis of two chaotic encryption schemes based on circular bit shift and XOR operations

Recently two encryption schemes were proposed by combining circular bit shift and XOR operations, under the control of a pseudorandom bit sequence (PRBS) generated from a chaotic system. This paper studies the security of these two encryption schemes and reports the following findings: 1) there exist some security defects in both schemes; 2) the underlying chaotic PRBS can be reconstructed as an equivalent key by using only two chosen plaintexts; 3) most elements in the underlying chaotic PRBS can be obtained by a differential known-plaintext attack using only two known plaintexts. Experimental results are given to demonstrate the feasibility of the proposed attack.

preprint2006arXiv

Cryptanalysis of a chaotic block cipher with external key and its improved version

Recently, Pareek et al. proposed a symmetric key block cipher using multiple one-dimensional chaotic maps. This paper reports some new findings on the security problems of this kind of chaotic cipher: 1) a number of weak keys exists; 2) some important intermediate data of the cipher are not sufficiently random; 3) the whole secret key can be broken by a known-plaintext attack with only 120 consecutive known plain-bytes in one known plaintext. In addition, it is pointed out that an improved version of the chaotic cipher proposed by Wei et al. still suffers from all the same security defects.

preprint2006arXiv

Cryptanalysis of an Encryption Scheme Based on Blind Source Separation

Recently Lin et al. proposed a method of using the underdetermined BSS (blind source separation) problem to realize image and speech encryption. In this paper, we give a cryptanalysis of this BSS-based encryption and point out that it is not secure against known/chosen-plaintext attack and chosen-ciphertext attack. In addition, there exist some other security defects: low sensitivity to part of the key and the plaintext, a ciphertext-only differential attack, divide-and-conquer (DAC) attack on part of the key. We also discuss the role of BSS in Lin et al.'s efforts towards cryptographically secure ciphers.

preprint2006arXiv

Geographical effects on epidemic spreading in scale-free networks

Many real networks are embedded in a metric space: the interactions among individuals depend on their spatial distances and usually take place among their nearest neighbors. In this paper, we introduce a modified susceptible-infected-susceptible (SIS) model to study geographical effects on the spread of diseases by assuming that the probability of a healthy individual infected by an infectious one is inversely proportional to the Euclidean distance between them. It is found that geography plays a more important role than hubs in disease spreading: the more geographically constrained the network is, the more highly the epidemic prevails.

preprint2006arXiv

Return-Map Cryptanalysis Revisited

As a powerful cryptanalysis tool, the method of return-map attacks can be used to extract secret messages masked by chaos in secure communication schemes. Recently, a simple defensive mechanism was presented to enhance the security of chaotic parameter modulation schemes against return-map attacks. Two techniques are combined in the proposed defensive mechanism: multistep parameter modulation and alternative driving of two different transmitter variables. This paper re-studies the security of this proposed defensive mechanism against return-map attacks, and points out that the security was much over-estimated in the original publication for both ciphertext-only attack and known/chosen-plaintext attacks. It is found that a deterministic relationship exists between the shape of the return map and the modulated parameter, and that such a relationship can be used to dramatically enhance return-map attacks thereby making them quite easy to break the defensive mechanism.

preprint2006arXiv

Synchronization on community networks

In this Letter, we propose a growing network model that can generate scale-free networks with a tunable community strength. The community strength, $C$, is directly measured by the ratio of the number of external edges to internal ones; a smaller $C$ corresponds to a stronger community structure. According to the criterion obtained based on the master stability function, we show that the synchronizability of a community network is significantly weaker than that of the original Barabási-Albert network. Interestingly, we found an unreported linear relationship between the smallest nonzero eigenvalue and the community strength, which can be analytically obtained by using the combinatorial matrix theory. Furthermore, we investigated the Kuramoto model and found an abnormal region ($C\leq 0.002$), in which the network has even worse synchronizability than the uncoupled case (C=0). On the other hand, the community effect will vanish when $C$ exceeds 0.1. Between these two extreme regions, a strong community structure will hinder global synchronization.

preprint2005arXiv

Breaking a chaos-based secure communication scheme designed by an improved modulation method

Recently Bu and Wang [Chaos, Solitons & Fractals 19 (2004) 919] proposed a simple modulation method aiming to improve the security of chaos-based secure communications against return-map-based attacks. Soon this modulation method was independently cryptanalyzed by Chee et al. [Chaos, Solitons & Fractals 21 (2004) 1129], Wu et al. [Chaos, Solitons & Fractals 22 (2004) 367], and Álvarez et al. [Chaos, Solitons & Fractals, accepted (2004), arXiv:nlin.CD/0406065] via different attacks. As an enhancement to the Bu-Wang method, an improving scheme was suggested by Wu et al. by removing the relationship between the modulating function and the zero-points. The present paper points out that the improved scheme proposed by Wu et al. is still insecure against a new attack. Compared with the existing attacks, the proposed attack is more powerful and can also break the original Bu-Wang scheme. Furthermore, it is pointed out that the security of the modulation-based schemes is not so satisfactory from a pure cryptographical point of view. The synchronization performance of this class of modulation-based schemes is also discussed.

preprint2005arXiv

Breaking a chaos-noise-based secure communication scheme

This paper studies the security of a secure communication scheme based on two discrete-time intermittently-chaotic systems synchronized via a common random driving signal. Some security defects of the scheme are revealed: 1) the key space can be remarkably reduced; 2) the decryption is insensitive to the mismatch of the secret key; 3) the key-generation process is insecure against known/chosen-plaintext attacks. The first two defects mean that the scheme is not secure enough against brute-force attacks, and the third one means that an attacker can easily break the cryptosystem by approximately estimating the secret key once he has a chance to access a fragment of the generated keystream. Yet it remains to be clarified if intermittent chaos could be used for designing secure chaotic cryptosystems.

preprint2004arXiv

A comprehensive weighted evolving network model

Many social, technological, biological, and economical systems are best described by weighted networks, whose properties and dynamics depend not only on their structures but also on the connection weights among their nodes. However, most existing research work on complex network models are concentrated on network structures, with connection weights among their nodes being either 1 or 0. In this paper, we propose a new weighted evolving network model. Numerical simulations indicate that this network model yields three power-law distributions of the node degrees, connection weights and node strengths. Particularly, some other properties of the distributions, such as the droop-head and heavy-tail effects, can also be reflected by this model.

preprint2004arXiv

Inherent Frequency and Spatial Decomposition of the Lorenz Chaotic Attractor

This letter suggests a new way to investigate 3-D chaos in spatial and frequency domains simultaneously. After spatially decomposing the Lorenz attractor into two separate scrolls with peaked spectra and a 1-D discrete-time zero-crossing series with a wide-band spectrum, it is found that the Lorenz chaotic attractor has an inherent frequency uniquely determined by the three system parameters. This result implies that chaos in the Lorenz attractor is mainly exhibited when the trajectory crosses from one scroll to another, not within the two scrolls. This is also true for some other double-scroll Lorenz-like chaotic attractors, such as Chua's attractor. Some possible applications of the inherent frequency and the spatial decomposition are also discussed.

preprint2004arXiv

On the topology of the world exchange arrangements web

Exchange arrangements among different countries over the world are foundations of the world economy, which generally stand behind the daily economic evolution. As the first study of the world exchange arrangements web (WEAW), we built a bipartite network with countries as one type of nodes and currencies as the other, and found it to have a prominent scale-free feature with a power-law degree distribution. In a further empirical study of the currency section of the WEAW, we calculated the clustering coefficients, average nearest-neighbors degree, and average shortest distance. As an essential economic network, the WEAW is found to be a correlated disassortative network with a hierarchical structure, possessing a more prominent scale-free feature than the world trade web (WTW).