BZPEERPapers, people, evidence and research paths
Menu

Discover

SearchFind papers, people, topics, institutions and opportunities from one place.GraphSee how papers, authors, topics and evidence connect.

Research tools

HomeContinue from the papers, people and topics that matter now.CollectionsTurn saved papers into reading lists, evidence maps and shareable context.ResearchReconstruct the path that led you from search to paper to question.CollaborationMove from a paper, topic or expert request into a focused thread.PublishCreate full-text research articles with metadata, formulas and versions.

Network

ExpertsFind specialists whose work and reviews explain why they can help.CommunitiesJoin research groups organized around papers, topics and shared evidence.

Opportunities

ListingsBrowse roles, calls and collaborations connected to real research context.

Account

Log inReturn to your saved papers, graph views and active threads.Create accountStart saving papers, building a research trail and joining teams.
Log inCreate account

Source author record

Valmir C. Barbosa

Valmir C. Barbosa appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record
cond-mat.stat-mechNetworking and Internet ArchitecturePopulations and EvolutionDistributed, Parallel, and Cluster ComputingNeurons and CognitionNeural and Evolutionary Computingnlin.CGData Structures and AlgorithmsSocial and Information NetworksArtificial IntelligenceDiscrete MathematicsInformation Retrievalmath.COmath.HOmath.PRMultiagent SystemsOperating Systemsphysics.soc-ph

Catalog footprint

What is connected

30works
18topics
4close collaborators

Actions

Connect this record

Log in to claim
Open graphBrowse works

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

30 published item(s)

preprint2021arXiv

Integrated optimization of heterogeneous-network management and the elusive role of macrocells

We consider heterogeneous wireless networks in the physical interference model and introduce a new formulation of the mixed-integer nonlinear programming problem that addresses base-station activation and many-to-many associations while minimizing power consumption. We also introduce HetNetGA, a genetic algorithm that can tackle the problem without any approximations. Though unsuitable for practical deployment, HetNetGA enables the investigation of such networks' true possibilities. Results for scenarios involving both macrocells and picocells often align with what is expected, but sometimes are unexpected and essentially point to the need to better understand the role of macrocells in helping provide capacity while remaining energetically advantageous.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

Interspecies evolutionary dynamics mediated by public goods in bacterial quorum sensing

Bacterial quorum sensing is the communication that takes place between bacteria as they secrete certain molecules into the intercellular medium that later get absorbed by the secreting cells themselves and by others. Depending on cell density, this uptake has the potential to alter gene expression and thereby affect global properties of the community. We consider the case of multiple bacterial species coexisting, referring to each one of them as a genotype and adopting the usual denomination of the molecules they collectively secrete as public goods. A crucial problem in this setting is characterizing the coevolution of genotypes as some of them secrete public goods (and pay the associated metabolic costs) while others do not but may nevertheless benefit from the available public goods. We introduce a network model to describe genotype interaction and evolution when genotype fitness depends on the production and uptake of public goods. The model comprises a random graph to summarize the possible evolutionary pathways the genotypes may take as they interact genetically with one another, and a system of coupled differential equations to characterize the behavior of genotype abundance in time. We study some simple variations of the model analytically and more complex variations computationally. Our results point to a simple trade-off affecting the long-term survival of those genotypes that do produce public goods. This trade-off involves, on the producer side, the impact of producing and that of absorbing the public good. On the non-producer side, it involves the impact of absorbing the public good as well, now compounded by the molecular compatibility between the producer and the non-producer. Depending on how these factors turn out, producers may or may not survive.

0 citations0 reviewsNo code linkedOpen access
preprint2019arXiv

Scheduling wireless links in the physical interference model by fractional edge coloring

We consider the problem of scheduling the links of wireless mesh networks for capacity maximization in the physical interference model. We represent such a network by an undirected graph $G$, with vertices standing for network nodes and edges for links. We define network capacity to be $1/χ'^*_\mathrm{phys}(G)$, where $χ'^*_\mathrm{phys}(G)$ is a novel edge-chromatic indicator of $G$, one that modifies the notion of $G$'s fractional chromatic index. This index asks that the edges of $G$ be covered by matchings in a certain optimal way. The new indicator does the same, but requires additionally that the matchings used be all feasible in the sense of the physical interference model. Sometimes the resulting optimal covering of $G$'s edge set by feasible matchings is simply a partition of the edge set. In such cases, the index $χ'^*_\mathrm{phys}(G)$ becomes the particular case that we denote by $χ'_\mathrm{phys}(G)$, a similar modification of $G$'s well-known chromatic index. We formulate the exact computation of $χ'^*_\mathrm{phys}(G)$ as a linear programming problem, which we solve for an extensive collection of random geometric graphs used to instantiate networks in the physical interference model. We have found that, depending on node density (number of nodes per unit deployment area), often $G$ is such that $χ'^*_\mathrm{phys}(G)<χ'_\mathrm{phys}(G)$. This bespeaks the possibility of increased network capacity by virtue of simply defining it so that edges are colored in the fractional, rather than the integer, sense.

0 citations0 reviewsNo code linkedOpen access
preprint2018arXiv

Co-evolution of the mitotic and meiotic modes of eukaryotic cellular division

The genetic material of a eukaryotic cell comprises both nuclear DNA (ncDNA) and mitochondrial DNA (mtDNA). These differ markedly in several aspects but nevertheless must encode proteins that are compatible with one another. Here we introduce a network model of the hypothetical co-evolution of the two most common modes of cellular division for reproduction: by mitosis (supporting asexual reproduction) and by meiosis (supporting sexual reproduction). Our model is based on a random hypergraph, with two nodes for each possible genotype, each encompassing both ncDNA and mtDNA. One of the nodes is necessarily generated by mitosis occurring at a parent genotype, the other by meiosis occurring at two parent genotypes. A genotype's fitness depends on the compatibility of its ncDNA and mtDNA. The model has two probability parameters, $p$ and $r$, the former accounting for the diversification of ncDNA during meiosis, the latter for the diversification of mtDNA accompanying both meiosis and mitosis. Another parameter, $λ$, is used to regulate the relative rate at which mitosis- and meiosis-generated genotypes are produced. We have found that, even though $p$ and $r$ do affect the existence of evolutionary pathways in the network, the crucial parameter regulating the coexistence of the two modes of cellular division is $λ$. Depending on genotype size, $λ$ can be valued so that either mode of cellular division prevails. Our study is closely related to a recent hypothesis that views the appearance of cellular division by meiosis, as opposed to division by mitosis, as an evolutionary strategy for boosting ncDNA diversification to keep up with that of mtDNA. Our results indicate that this may well have been the case, thus lending support to the first hypothesis in the field to take into account the role of such ubiquitous and essential organelles as mitochondria.

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

Local symmetry in random graphs

Quite often real-world networks can be thought of as being symmetric, in the abstract sense that vertices can be found to have similar or equivalent structural roles. However, traditional measures of symmetry in graphs are based on their automorphism groups, which do not account for the similarity of local structures. We introduce the concept of local symmetry, which reflects the structural equivalence of the vertices' egonets. We study the emergence of asymmetry in the Erdős-Rényi random graph model and identify regimes of both asymptotic local symmetry and asymptotic local asymmetry. We find that local symmetry persists at least to an average degree of $n^{1/3}$ and local asymmetry emerges at an average degree not greater than $n^{1/2}$, which are regimes of much larger average degree than for traditional, global asymmetry.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

Adaptive event sensing in networks of autonomous mobile agents

Given a connected region in two-dimensional space where events of a certain kind occur according to a certain time-varying density, we consider the problem of setting up a network of autonomous mobile agents to detect the occurrence of those events and possibly record them in as effective a manner as possible. We assume that agents can communicate with one another wirelessly within a fixed communication radius, and moreover that initially no agent has any information regarding the event density. We introduce a new distributed algorithm for agent control based on the notion of an execution mode, which essentially lets each agent roam the target region either at random or following its local view of a density-dependent gradient. Agents can switch back and forth between the two modes, and the precise manner of such changes depends on the setting of various parameters that can be adjusted as a function of the application at hand. We provide simulation results on some synthetic applications especially designed to highlight the algorithm's behavior relative to the possible execution modes.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

Detecting and Handling Flash-Crowd Events on Cloud Environments

Cloud computing is a highly scalable computing paradigm where resources are delivered to users on demand via Internet. There are several areas that can benefit from cloud computing and one in special is gaining much attention: the flash-crowd handling. Flash-crowd events happen when servers are unable to handle the volume of requests for a specific content (or a set of contents) that actually reach it, thus causing some requests to be denied. For the handling of flash-crowd events in Web applications, clouds can offer elastic computing and storage capacity during these events in order to process all requests. However, it is important that flash-crowd events are quickly detected and the amount of resources to be instantiated during flash crowds is correctly estimated. In this paper, a new mechanism for detection of flash crowds based on concepts of entropy and total correlation is proposed. Moreover, the Flash-Crowd Handling Problem (FCHP) is precisely defined and formulated as an integer programming problem. A new algorithm for solving it, named FCHP-ILS, is also proposed. With FCHP-ILS the Web provider is able to replicate contents in the available resources and define the types and amount of resources to instantiate in the cloud during a flash-crowd event. Finally we present a case study, based on a synthetic dataset representing flash-crowd events in small scenarios aiming at comparing the proposed approach with de facto standard Amazon's Auto Scaling mechanism.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

Quasispecies dynamics on a network of interacting genotypes and idiotypes: Applications to autoimmunity and immunodeficiency

In spite of their many facets, the phenomena of autoimmunity and immunodeficiency seem to be related to each other through the subtle links connecting retroviral mutation and action to immune response and adaptation. In a previous work, we introduced a network model of how a set of interrelated genotypes (called a quasispecies, in the stationary state) and a set of interrelated idiotypes (an idiotypic network) interact. That model, which does not cover the case of a retroviral quasispecies, was instrumental for the study of quasispecies survival when confronting the immune system and led to the conclusion that, unlike what happens when a quasispecies is left to evolve by itself, letting genotypes mutate too infrequently leads to the destruction of the quasispecies. Here we extend that genotype-idiotype interaction model by the addition of a further parameter ($ν$) to account for the action of retroviruses (i.e., the destruction of idiotypes by genotypes). We give simulation results within a suitable parameter niche, highlighting the issues of quasispecies survival and of the onset of autoimmunity through the appearance of the so-called pathogenic idiotypes. Our main findings refer to how $ν$ and $λ$, a parameter describing the rate at which idiotypes get stimulated, relate to each other. While for $ν>λ$ the quasispecies survives at the expense of weakening the immune system significantly or even destroying it, for $ν<λ$ the fittest genotypes of the quasispecies become mimicked inside the immune system as pathogenic idiotypes. The latter is in agreement with the current understanding of the HIV quasispecies.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

Scheduling wireless links by graph multicoloring in the physical interference model

Scheduling wireless links for simultaneous activation in such a way that all transmissions are successfully decoded at the receivers and moreover network capacity is maximized is a computationally hard problem. Usually it is tackled by heuristics whose output is a sequence of time slots in which every link appears in exactly one time slot. Such approaches can be interpreted as the coloring of a graph's vertices so that every vertex gets exactly one color. Here we introduce a new approach that can be viewed as assigning multiple colors to each vertex, so that, in the resulting schedule, every link may appear more than once (though the same number of times for all links). We report on extensive computational experiments, under the physical interference model, revealing substantial gains for a variety of randomly generated networks.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

Further insights into the interareal connectivity of a cortical network

Over the past years, network science has proven invaluable as a means to better understand many of the processes taking place in the brain. Recently, interareal connectivity data of the macaque cortex was made available with great richness of detail. We explore new aspects of this dataset, such as a correlation between connection weights and cortical hierarchy. We also look at the link-community structure that emerges from the data to uncover the major communication pathways in the network, and moreover investigate its reciprocal connections, showing that they share similar properties.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

Handling Flash-Crowd Events to Improve the Performance of Web Applications

Cloud computing can offer a set of computing resources according to users' demand. It is suitable to be used to handle flash-crowd events in Web applications due to its elasticity and on-demand characteristics. Thus, when Web applications need more computing or storage capacity, they just instantiate new resources. However, providers have to estimate the amount of resources to instantiate to handle with the flash-crowd event. This estimation is far from trivial since each cloud environment provides several kinds of heterogeneous resources, each one with its own characteristics such as bandwidth, CPU, memory and financial cost. In this paper, the Flash Crowd Handling Problem (FCHP) is precisely defined and formulated as an integer programming problem. A new algorithm for handling with a flash crowd named FCHP-ILS is also proposed. With FCHP-ILS the Web applications can replicate contents in the already instantiated resources and define the types and amount of resources to instantiate in the cloud during a flash crowd. Our approach is evaluated considering real flash crowd traces obtained from the related literature. We also present a case study, based on a synthetic dataset representing flash-crowd events in small scenarios aiming at the comparison of the proposed approach against Amazon's Auto-Scale mechanism.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

Information integration in elementary cellular automata

We study the emergence of information integration in cellular automata (CA) with respect to states in the long run. Information integration is in this case quantified by applying the information-theoretic measure known as total correlation to the long-run distribution of CA states. Total correlation is the amount by which the total uncertainty associated with cell states surpasses the uncertainty of the CA state taken as a whole. It is an emergent property, in the sense that it can only be ascribed to how the cells interact with one another, and has been linked to the rise of consciousness in the brain. We investigate total correlation in the evolution of elementary CA for all update rules that are unique with respect to negation or reflection. For each rule we consider the usual, deterministic CA behavior, assuming that the initial state is chosen uniformly at random, and also the probabilistic variant in which every cell, at all time steps and independently of all others, disobeys the rule's prescription with a fixed probability. We have found rules that generate as much total correlation as possible, or nearly so, particularly in Wolfram classes 2 and 3. We conjecture that some of these rules can be used as CA models of information integration.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

Network algorithmics and the emergence of synchronization in cortical models

When brain signals are recorded in an electroencephalogram or some similar large-scale record of brain activity, oscillatory patterns are typically observed that are thought to reflect the aggregate electrical activity of the underlying neuronal ensemble. Although it now seems that such patterns participate in feedback loops both temporally with the neurons' spikes and spatially with other brain regions, the mechanisms that might explain the existence of such loops have remained essentially unknown. Here we present a theoretical study of these issues on a cortical model we introduced earlier [Nathan A, Barbosa VC (2010) Network algorithmics and the emergence of the cortical synaptic-weight distribution. Phys Rev E 81: 021916]. We start with the definition of two synchronization measures that aim to capture the synchronization possibilities offered by the model regarding both the overall spiking activity of the neurons and the spiking activity that causes the immediate firing of the postsynaptic neurons. We present computational results on our cortical model, on a model that is random in the Erdős-Rényi sense, and on a structurally deterministic model. We have found that the algorithmic component underlying our cortical model ultimately provides, through the two synchronization measures, a strong quantitative basis for the emergence of both types of synchronization in all cases. This, in turn, may explain the rise both of temporal feedback loops in the neurons' combined electrical activity and of spatial feedback loops as brain regions that are spatially separated engage in rhythmic behavior.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

Quasispecies dynamics on a network of interacting genotypes and idiotypes: Formulation of the model

A quasispecies is the stationary state of a set of interrelated genotypes that evolve according to the usual principles of selection and mutation. Quasispecies studies have invariably concentrated on the possibility of errors during genotype replication and their role in promoting either the survival or the demise of the quasispecies. In a previous work [V. C. Barbosa, R. Donangelo, and S. R. Souza, J. Theor. Biol. 312, 114 (2012)], we introduced a network model of quasispecies dynamics, based on a single probability parameter ($p$) and capable of addressing several plausibility issues of previous models. Here we extend that model by pairing its network with another one aimed at modeling the dynamics of the immune system when confronted with the quasispecies. The new network is based on the idiotypic-network model of immunity and, together with the previous one, constitutes a network model of interacting genotypes and idiotypes. The resulting model requires further parameters and as a consequence leads to a vast phase space. We have focused on a particular niche in which it is possible to observe the trade-offs involved in the quasispecies' survival or destruction. Within this niche, we give simulation results that highlight some key preconditions for quasispecies survival. These include a minimum initial abundance of genotypes relative to that of the idiotypes and a minimum value of $p$. The latter, in particular, is to be contrasted with the stand-alone quasispecies network of our previous work, in which arbitrarily low values of $p$ constitute a guarantee of quasispecies survival.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

The predecessor-existence problem for k-reversible processes

For k>=1, we consider the graph dynamical system known as a k-reversible process. In such process, each vertex in the graph has one of two possible states at each discrete time. Each vertex changes its state between the present time and the next if and only if it currently has at least k neighbors in a state different than its own. Given a k-reversible process and a configuration of states assigned to the vertices, the Predecessor Existence problem consists of determining whether this configuration can be generated by the process from another configuration within exactly one time step. We can also extend the problem by asking for the number of configurations from which a given configuration is reachable within one time step. Predecessor Existence can be solved in polynomial time for k=1, but for k>1 we show that it is NP-complete. When the graph in question is a tree we show how to solve it in O(n) time and how to count the number of predecessor configurations in O(n^2) time. We also solve Predecessor Existence efficiently for the specific case of 2-reversible processes when the maximum degree of a vertex in the graph is no greater than 3. For this case we present an algorithm that runs in O(n) time.

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

Local heuristic for the refinement of multi-path routing in wireless mesh networks

We consider wireless mesh networks and the problem of routing end-to-end traffic over multiple paths for the same origin-destination pair with minimal interference. We introduce a heuristic for path determination with two distinguishing characteristics. First, it works by refining an extant set of paths, determined previously by a single- or multi-path routing algorithm. Second, it is totally local, in the sense that it can be run by each of the origins on information that is available no farther than the node's immediate neighborhood. We have conducted extensive computational experiments with the new heuristic, using AODV and OLSR, as well as their multi-path variants, as underlying routing methods. For two different CSMA settings (as implemented by 802.11) and one TDMA setting running a path-oriented link scheduling algorithm, we have demonstrated that the new heuristic is capable of improving the average throughput network-wide. When working from the paths generated by the multi-path routing algorithms, the heuristic is also capable to provide a more evenly distributed traffic pattern.

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

The conduciveness of CA-rule graphs

Given two subsets A and B of nodes in a directed graph, the conduciveness of the graph from A to B is the ratio representing how many of the edges outgoing from nodes in A are incoming to nodes in B. When the graph's nodes stand for the possible solutions to certain problems of combinatorial optimization, choosing its edges appropriately has been shown to lead to conduciveness properties that provide useful insight into the performance of algorithms to solve those problems. Here we study the conduciveness of CA-rule graphs, that is, graphs whose node set is the set of all CA rules given a cell's number of possible states and neighborhood size. We consider several different edge sets interconnecting these nodes, both deterministic and random ones, and derive analytical expressions for the resulting graph's conduciveness toward rules having a fixed number of non-quiescent entries. We demonstrate that one of the random edge sets, characterized by allowing nodes to be sparsely interconnected across any Hamming distance between the corresponding rules, has the potential of providing reasonable conduciveness toward the desired rules. We conjecture that this may lie at the bottom of the best strategies known to date for discovering complex rules to solve specific problems, all of an evolutionary nature.

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

The network structure of mathematical knowledge according to the Wikipedia, MathWorld, and DLMF online libraries

We study the network structure of Wikipedia (restricted to its mathematical portion), MathWorld, and DLMF. We approach these three online mathematical libraries from the perspective of several global and local network-theoretic features, providing for each one the appropriate value or distribution, along with comparisons that, if possible, also include the whole of the Wikipedia or the Web. We identify some distinguishing characteristics of all three libraries, most of them supposedly traceable to the libraries' shared nature of relating to a very specialized domain. Among these characteristics are the presence of a very large strongly connected component in each of the corresponding directed graphs, the complete absence of any clear power laws describing the distribution of local features, and the rise to prominence of some local features (e.g., stress centrality) that can be used to effectively search for keywords in the libraries.

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

A study of the edge-switching Markov-chain method for the generation of random graphs

We study the problem of generating connected random graphs with no self-loops or multiple edges and that, in addition, have a given degree sequence. The generation method we focus on is the edge-switching Markov-chain method, whose functioning depends on a parameter w related to the method's core operation of an edge switch. We analyze two existing heuristics for adjusting w during the generation of a graph and show that they result in a Markov chain whose stationary distribution is uniform, thus ensuring that generation occurs uniformly at random. We also introduce a novel w-adjusting heuristic which, even though it does not always lead to a Markov chain, is still guaranteed to converge to the uniform distribution under relatively mild conditions. We report on extensive computer experiments comparing the three heuristics' performance at generating random graphs whose node degrees are distributed as power laws.

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

Evolved preambles for MAX-SAT heuristics

MAX-SAT heuristics normally operate from random initial truth assignments to the variables. We consider the use of what we call preambles, which are sequences of variables with corresponding single-variable assignment actions intended to be used to determine a more suitable initial truth assignment for a given problem instance and a given heuristic. For a number of well established MAX-SAT heuristics and benchmark instances, we demonstrate that preambles can be evolved by a genetic algorithm such that the heuristics are outperformed in a significant fraction of the cases.

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

Quasispecies dynamics with network constraints

A quasispecies is a set of interrelated genotypes that have reached a situation of equilibrium while evolving according to the usual Darwinian principles of selection and mutation. Quasispecies studies invariably assume that it is possible for any genotype to mutate into any other, but recent finds indicate that this assumption is not necessarily true. Here we revisit the traditional quasispecies theory by adopting a network structure to constrain the occurrence of mutations. Such structure is governed by a random-graph model, whose single parameter (a probability p) controls both the graph's density and the dynamics of mutation. We contribute two further modifications to the theory, one to account for the fact that different loci in a genotype may be differently susceptible to the occurrence of mutations, the other to allow for a more plausible description of the transition from adaptation to degeneracy of the quasispecies as p is increased. We give analytical and simulation results for the usual case of binary genotypes, assuming the fitness landscape in which a genotype's fitness decays exponentially with its Hamming distance to the wild type. These results support the theory's assertions regarding the adaptation of the quasispecies to the fitness landscape and also its possible demise as a function of p.

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

Scheduling links for heavy traffic on interfering routes in wireless mesh networks

We consider wireless mesh networks and the problem of scheduling the links of a given set of routes under the assumption of a heavy-traffic pattern. We assume some TDMA protocol provides a background of synchronized time slots and seek to schedule the routes' links to maximize the number of packets that get delivered to their destinations per time slot. Our approach is to construct an undirected graph G and to heuristically obtain node multicolorings for G that can be turned into efficient link schedules. In G each node represents a link to be scheduled and the edges are set up to represent every possible interference for any given set of interference assumptions. We present two multicoloring-based heuristics and study their performance through extensive simulations. One of the two heuristics is based on relaxing the notion of a node multicoloring by dynamically exploiting the availability of communication opportunities that would otherwise be wasted. We have found that, as a consequence, its performance is significantly superior to the other's.

0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv

Early appraisal of the fixation probability in directed networks

In evolutionary dynamics, the probability that a mutation spreads through the whole population, having arisen in a single individual, is known as the fixation probability. In general, it is not possible to find the fixation probability analytically given the mutant's fitness and the topological constraints that govern the spread of the mutation, so one resorts to simulations instead. Depending on the topology in use, a great number of evolutionary steps may be needed in each of the simulation events, particularly in those that end with the population containing mutants only. We introduce two techniques to accelerate the determination of the fixation probability. The first one skips all evolutionary steps in which the number of mutants does not change and thereby reduces the number of steps per simulation event considerably. This technique is computationally advantageous for some of the so-called layered networks. The second technique, which is not restricted to layered networks, consists of aborting any simulation event in which the number of mutants has grown beyond a certain threshold value, and counting that event as having led to a total spread of the mutation. For large populations, and regardless of the network's topology, we demonstrate, both analytically and by means of simulations, that using a threshold of about 100 mutants leads to an estimate of the fixation probability that deviates in no significant way from that obtained from the full-fledged simulations. We have observed speedups of two orders of magnitude for layered networks with 10000 nodes.

0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv

Network algorithmics and the emergence of information integration in cortical models

An information-theoretic framework known as integrated information theory (IIT) has been introduced recently for the study of the emergence of consciousness in the brain [D. Balduzzi and G. Tononi, PLoS Comput. Biol. 4, e1000091 (2008)]. IIT purports that this phenomenon is to be equated with the generation of information by the brain surpassing the information which the brain's constituents already generate independently of one another. IIT is not fully plausible in its modeling assumptions, nor is it testable due to severe combinatorial growth embedded in its key definitions. Here we introduce an alternative to IIT which, while inspired in similar information-theoretic principles, seeks to address some of IIT's shortcomings to some extent. Our alternative framework uses the same network-algorithmic cortical model we introduced earlier [A. Nathan and V. C. Barbosa, Phys. Rev. E 81, 021916 (2010)] and, to allow for somewhat improved testability relative to IIT, adopts the well-known notions of information gain and total correlation applied to a set of variables representing the reachability of neurons by messages in the model's dynamics. We argue that these two quantities relate to each other in such a way that can be used to quantify the system's efficiency in generating information beyond that which does not depend on integration, and give computational results on our cortical model and on variants thereof that are either structurally random in the sense of an Erdos-Renyi random directed graph or structurally deterministic. We have found that our cortical model stands out with respect to the others in the sense that many of its instances are capable of integrating information more efficiently than most of those others' instances.

0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv

Network conduciveness with application to the graph-coloring and independent-set optimization transitions

We introduce the notion of a network's conduciveness, a probabilistically interpretable measure of how the network's structure allows it to be conducive to roaming agents, in certain conditions, from one portion of the network to another. We exemplify its use through an application to the two problems in combinatorial optimization that, given an undirected graph, ask that its so-called chromatic and independence numbers be found. Though NP-hard, when solved on sequences of expanding random graphs there appear marked transitions at which optimal solutions can be obtained substantially more easily than right before them. We demonstrate that these phenomena can be understood by resorting to the network that represents the solution space of the problems for each graph and examining its conduciveness between the non-optimal solutions and the optimal ones. At the said transitions, this network becomes strikingly more conducive in the direction of the optimal solutions than it was just before them, while at the same time becoming less conducive in the opposite direction. We believe that, besides becoming useful also in other areas in which network theory has a role to play, network conduciveness may become instrumental in helping clarify further issues related to NP-hardness that remain poorly understood.

0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv

Revisiting deadlock prevention: a probabilistic approach

We revisit the deadlock-prevention problem by focusing on priority digraphs instead of the traditional wait-for digraphs. This has allowed us to formulate deadlock prevention in terms of prohibiting the occurrence of directed cycles even in the most general of wait models (the so-called AND-OR model, in which prohibiting wait-for directed cycles is generally overly restrictive). For a particular case in which the priority digraphs are somewhat simplified, we introduce a Las Vegas probabilistic mechanism for resource granting and analyze its key aspects in detail.

0 citations0 reviewsNo code linkedOpen access
preprint2009arXiv

Network algorithmics and the emergence of the cortical synaptic-weight distribution

When a neuron fires and the resulting action potential travels down its axon toward other neurons' dendrites, the effect on each of those neurons is mediated by the weight of the synapse that separates it from the firing neuron. This weight, in turn, is affected by the postsynaptic neuron's response through a mechanism that is thought to underlie important processes such as learning and memory. Although of difficult quantification, cortical synaptic weights have been found to obey a long-tailed unimodal distribution peaking near the lowest values, thus confirming some of the predictive models built previously. These models are all causally local, in the sense that they refer to the situation in which a number of neurons all fire directly at the same postsynaptic neuron. Consequently, they necessarily embody assumptions regarding the generation of action potentials by the presynaptic neurons that have little biological interpretability. In this letter we introduce a network model of large groups of interconnected neurons and demonstrate, making none of the assumptions that characterize the causally local models, that its long-term behavior gives rise to a distribution of synaptic weights with the same properties that were experimentally observed. In our model the action potentials that create a neuron's input are, ultimately, the product of network-wide causal chains relating what happens at a neuron to the firings of others. Our model is then of a causally global nature and predicates the emergence of the synaptic-weight distribution on network structure and function. As such, it has the potential to become instrumental also in the study of other emergent cortical phenomena.

0 citations0 reviewsNo code linkedOpen access
preprint2007arXiv

Optimization of supply diversity for the self-assembly of simple objects in two and three dimensions

The field of algorithmic self-assembly is concerned with the design and analysis of self-assembly systems from a computational perspective, that is, from the perspective of mathematical problems whose study may give insight into the natural processes through which elementary objects self-assemble into more complex ones. One of the main problems of algorithmic self-assembly is the minimum tile set problem (MTSP), which asks for a collection of types of elementary objects (called tiles) to be found for the self-assembly of an object having a pre-established shape. Such a collection is to be as concise as possible, thus minimizing supply diversity, while satisfying a set of stringent constraints having to do with the termination and other properties of the self-assembly process from its tile types. We present a study of what we think is the first practical approach to MTSP. Our study starts with the introduction of an evolutionary heuristic to tackle MTSP and includes results from extensive experimentation with the heuristic on the self-assembly of simple objects in two and three dimensions. The heuristic we introduce combines classic elements from the field of evolutionary computation with a problem-specific variant of Pareto dominance into a multi-objective approach to MTSP.

0 citations0 reviewsNo code linkedOpen access
preprint2007arXiv

Reachability and recoverability of sink nodes in growing acyclic directed networks

We study the growth of networks from a set of isolated ground nodes by the addition of one new node per time step and also of a fixed number of directed edges leading from the new node to randomly selected nodes already in the network. A fixed-width time window is used so that, in general, only nodes that entered the network within the latest window may receive new incoming edges. The resulting directed network is acyclic at all times and allows some of the ground nodes, then called sinks, to be reached from some of the non-ground nodes. We regard such networks as representative of abstract systems of partially ordered constituents, for example in some of the domains related to technological evolution. Two properties of interest are the number of sinks that can be reached from a randomly chosen non-ground node (its reach) and, for a fixed sink, the number of nonoverlapping directed paths through which the sink can be reached, at a given time, from some of the latest nodes to have entered the network. We demonstrate, by means of simulations and also of analytic characterizations, that reaches are distributed according to a power law and that the desired directed paths are expected to occur in very small numbers, perhaps indicating that recovering sinks late in the process of network growth is strongly sensitive to accidental path disruptions.

0 citations0 reviewsNo code linkedOpen access
preprint2006arXiv

Partially ordered distributed computations on asynchronous point-to-point networks

Asynchronous executions of a distributed algorithm differ from each other due to the nondeterminism in the order in which the messages exchanged are handled. In many situations of interest, the asynchronous executions induced by restricting nondeterminism are more efficient, in an application-specific sense, than the others. In this work, we define partially ordered executions of a distributed algorithm as the executions satisfying some restricted orders of their actions in two different frameworks, those of the so-called event- and pulse-driven computations. The aim of these restrictions is to characterize asynchronous executions that are likely to be more efficient for some important classes of applications. Also, an asynchronous algorithm that ensures the occurrence of partially ordered executions is given for each case. Two of the applications that we believe may benefit from the restricted nondeterminism are backtrack search, in the event-driven case, and iterative algorithms for systems of linear equations, in the pulse-driven case.

0 citations0 reviewsNo code linkedOpen access