The Scaling Window of the 2-SAT Transition

We consider the random 2-satisfiability problem, in which each instance is a formula that is the conjunction of m clauses of the form (x or y), chosen uniformly at random from among all 2-clauses on n Boolean variables and their negations. As m and n tend to infinity in the ratio m/n --> alpha, the problem is known to have a phase transition at alpha_c = 1, below which the probability that the formula is satisfiable tends to one and above which it tends to zero. We determine the finite-size scaling about this transition, namely the scaling of the maximal window W(n,delta) = (alpha_-(n,delta),alpha_+(n,delta)) such that the probability of satisfiability is greater than 1-delta for alpha < alpha_- and is less than delta for alpha > alpha_+. We show that W(n,delta)=(1-Theta(n^{-1/3}),1+Theta(n^{-1/3})), where the constants implicit in Theta depend on delta. We also determine the rates at which the probability of satisfiability approaches one and zero at the boundaries of the window. Namely, for m=(1+epsilon)n, where epsilon may depend on n as long as |epsilon| is sufficiently small and |epsilon|*n^(1/3) is sufficiently large, we show that the probability of satisfiability decays like exp(-Theta(n*epsilon^3)) above the window, and goes to one like 1-Theta(1/(n*|epsilon|^3)) below the window. We prove these results by defining an order parameter for the transition and establishing its scaling behavior in n both inside and outside the window. Using this order parameter, we prove that the 2-SAT phase transition is continuous with an order parameter critical exponent of 1. We also determine the values of two other critical exponents, showing that the exponents of 2-SAT are identical to those of the random graph.Comment: 57 pages. This version updates some reference

The birth of the strong components

Random directed graphs $D(n,p)$ undergo a phase transition around the point $p = 1/n$, and the width of the transition window has been known since the works of Luczak and Seierstad. They have established that as $n \to \infty$ when $p = (1 + \mu n^{-1/3})/n$, the asymptotic probability that the strongly connected components of a random directed graph are only cycles and single vertices decreases from 1 to 0 as $\mu$ goes from $-\infty$ to $\infty$. By using techniques from analytic combinatorics, we establish the exact limiting value of this probability as a function of $\mu$ and provide more properties of the structure of a random digraph around, below and above its transition point. We obtain the limiting probability that a random digraph is acyclic and the probability that it has one strongly connected complex component with a given difference between the number of edges and vertices (called excess). Our result can be extended to the case of several complex components with given excesses as well in the whole range of sparse digraphs. Our study is based on a general symbolic method which can deal with a great variety of possible digraph families, and a version of the saddle-point method which can be systematically applied to the complex contour integrals appearing from the symbolic method. While the technically easiest model is the model of random multidigraphs, in which multiple edges are allowed, and where edge multiplicities are sampled independently according to a Poisson distribution with a fixed parameter $p$, we also show how to systematically approach the family of simple digraphs, where multiple edges are forbidden, and where 2-cycles are either allowed or not. Our theoretical predictions are supported by numerical simulations, and we provide tables of numerical values for the integrals of Airy functions that appear in this study.Comment: 62 pages, 12 figures, 6 tables. Supplementary computer algebra computations available at https://gitlab.com/vit.north/strong-components-au

On small subgraphs in a random intersection digraph

Given a set of vertices V and a set of attributes W let each vertex v ∈ V include an attribute w ∈ W into a set S − (v) with probability p − and let it include w into a set S + (v) with probability p + independently for each w ∈ W . The random binomial intersection digraph on the vertex set V is defined as follows: for each u, v ∈ V the arc uv is present if S − (u) and S + (v) are not disjoint. For any h = 2, 3, . . . we determine the birth threshold of the complete digraph on h vertices and describe the configurations of intersecting sets that realise the threshold

Complex networks: analysis and control

The introduction provides an overview on complex networks, trying to investigate what apparently different kinds of networks have in common. Some statistical properties are illustrated and a simulation tool for the analysis of complex networks is presented. A weighted directed random graph is used as network model. The graph contains a fixed number N of nodes and a variable number of edges: in particular, each edge is present with probability p. Some statistical properties (such as strong connection, global and local efficiency, cost, etc) are computed and their reliance on probability p is studied. Some probability distributions (such as shortest path, edge/node load) are also drawn and, by using the method of stages, the best fitting curves are computed. The way as parameters characterizing such curves change when p varies is also investigated. The general structure of the proposed fitting technique allows to model several aspects of complex networks and makes possible its use in many different fields. Finally, the tracking control problem of linear time invariant (LTI) systems when the plant and the controller belong to the same network is considered. Time delays can degrade significantly the performance of a networked control system, eventually leading to instability. The problem characterized by constant and known network delays is analytically examined, showing how to construct a plant state predictor in order to compensate the time delays between the plant and the controller, so to allow the tracking of a reference signal. Computer simulations illustrate the effectiveness of the proposed technique, also when time delays slightly vary around a mean value

Sur certains problèmes de diffusion et de connexité dans le modèle de configuration

A number of real-world systems consisting of interacting agents can be usefully modelled by graphs, where the agents are represented by the vertices of the graph and the interactions by the edges. Such systems can be as diverse and complex as social networks (traditional or online), protein-protein interaction networks, internet, transport network and inter-bank loan networks. One important question that arises in the study of these networks is: to what extent, the local statistics of a network determine its global topology. This problem can be approached by constructing a random graph constrained to have some of the same local statistics as those observed in the graph of interest. One such random graph model is configuration model, which is constructed in such a way that a uniformly chosen vertex has a given degree distribution. This is the random graph which provides the underlying framework for this thesis. As our first problem, we consider propagation of influence on configuration model, where each vertex can be influenced by any of its neighbours but in its turn, it can only influence a random subset of its neighbours. Our (enhanced) model is described by the total degree of the typical vertex and the number of neighbours it is able to influence. We give a tight condition, involving the joint distribution of these two degrees, which allows with high probability the influence to reach an essentially unique non-negligible set of the vertices, called a big influenced component, provided that the source vertex is chosen from a set of good pioneers. We explicitly evaluate the asymptotic relative size of the influenced component as well as of the set of good pioneers, provided it is non-negligible. Our proof uses the joint exploration of the configuration model and the propagation of the influence up to the time when a big influenced component is completed, a technique introduced in Janson and Luczak (2008). Our model can be seen as a generalization of the classical Bond and Node percolation on configuration model, with the difference stemming from the oriented conductivity of edges in our model. We illustrate these results using a few examples which are interesting from either theoretical or real-world perspective. The examples are, in particular, motivated by the viral marketing phenomenon in the context of social networks...Un certain nombre de systèmes dans le monde réel, comprenant des agents interagissant, peut être utilement modélisé par des graphes, où les agents sont représentés par les sommets du graphe et les interactions par les arêtes. De tels systèmes peuvent être aussi divers et complexes que les réseaux sociaux (traditionnels ou virtuels), les réseaux d'interaction protéine-protéine, internet, réseaux de transport et les réseaux de prêts interbancaires. Une question importante qui se pose dans l'étude de ces réseaux est: dans quelle mesure, les statistiques locales d'un réseau déterminent sa topologie globale. Ce problème peut être approché par la construction d'un graphe aléatoire contraint d'avoir les mêmes statistiques locales que celles observées dans le graphe d'intérêt. Le modèle de configuration est un tel modèle de graphe aléatoire conçu de telle sorte qu'un sommet uniformément choisi présente une distribution de degré donnée. Il fournit le cadre sous-jacent à cette thèse. En premier lieu nous considérons un problème de propagation de l'influence sur le modèle de configuration, où chaque sommet peut être influencé par l'un de ses voisins, mais à son tour, il ne peut influencer qu'un sous-ensemble aléatoire de ses voisins. Notre modèle étendu est décrit par le degré total du sommet typique et le nombre de voisins il est capable d'influencer. Nous donnons une condition stricte sur la distribution conjointe de ces deux degrés, qui permet à l'influence de parvenir, avec une forte probabilité, à un ensemble non négligeable de sommets, essentiellement unique, appelé la composante géante influencée, à condition que le sommet de la source soit choisi à partir d'un ensemble de bons pionniers. Nous évaluons explicitement la taille relative asymptotique de la composant géante influencée, ainsi que de l'ensemble des bons pionniers, à condition qu'ils soient non-négligeable. Notre preuve utilise l'exploration conjointe du modèle de configuration et de la propagation de l'influence jusqu'au moment où une grande partie est influencée, une technique introduite dans Janson et Luczak (2008). Notre modèle peut être vu comme une généralisation de la percolation classique par arêtes ou par sites sur le modèle de configuration, avec la différence résultant de la conductivité orientée des arêtes dans notre modèle. Nous illustrons ces résultats en utilisant quelques exemples, en particulier, motivés par le marketing viral - un phénomène connu dans le contexte des réseaux sociaux

Impulsive Control of Dynamical Networks

Dynamical networks (DNs) consist of a large set of interconnected nodes with each node being a fundamental unit with detailed contents. A great number of natural and man-made networks such as social networks, food networks, neural networks, WorldWideWeb, electrical power grid, etc., can be effectively modeled by DNs. The main focus of the present thesis is on delay-dependent impulsive control of DNs. To study the impulsive control problem of DNs, we firstly construct stability results for general nonlinear time-delay systems with delayed impulses by using the method of Lyapunov functionals and Razumikhin technique. Secondly, we study the consensus problem of multi-agent systems with both fixed and switching topologies. A hybrid consensus protocol is proposed to take into consideration of continuous-time communications among agents and delayed instant information exchanges on a sequence of discrete times. Then, a novel hybrid consensus protocol with dynamically changing interaction topologies is designed to take the time-delay into account in both the continuous-time communication among agents and the instant information exchange at discrete moments. We also study the consensus problem of networked multi-agent systems. Distributed delays are considered in both the agent dynamics and the proposed impulsive consensus protocols. Lastly, stabilization and synchronization problems of DNs under pinning impulsive control are studied. A pinning algorithm is incorporated with the impulsive control method. We propose a delay-dependent pinning impulsive controller to investigate the synchronization of linear delay-free DNs on time scales. Then, we apply the pinning impulsive controller proposed for the delay-free networks to stabilize time-delay DNs. Results show that the delay-dependent pinning impulsive controller can successfully stabilize and synchronize DNs with/without time-delay. Moreover, we design a type of pinning impulsive controllers that relies only on the network states at history moments (not on the states at each impulsive instant). Sufficient conditions on stabilization of time-delay networks are obtained, and results show that the proposed pinning impulsive controller can effectively stabilize the network even though only time-delay states are available to the pinning controller at each impulsive instant. We further consider the pinning impulsive controllers with both discrete and distributed time-delay effects to synchronize the drive and response systems modeled by globally Lipschitz time-delay systems. As an extension study of pinning impulsive control approach, we investigate the synchronization problem of systems and networks governed by PDEs