Distributed anonymous function computation in information fusion and multiagent systems

We propose a model for deterministic distributed function computation by a network of identical and anonymous nodes, with bounded computation and storage capabilities that do not scale with the network size. Our goal is to characterize the class of functions that can be computed within this model. In our main result, we exhibit a class of non-computable functions, and prove that every function outside this class can at least be approximated. The problem of computing averages in a distributed manner plays a central role in our development

Distributed anonymous discrete function computation

We propose a model for deterministic distributed function computation by a network of identical and anonymous nodes. In this model, each node has bounded computation and storage capabilities that do not grow with the network size. Furthermore, each node only knows its neighbors, not the entire graph. Our goal is to characterize the class of functions that can be computed within this model. In our main result, we provide a necessary condition for computability which we show to be nearly sufficient, in the sense that every function that satisfies this condition can at least be approximated. The problem of computing suitably rounded averages in a distributed manner plays a central role in our development; we provide an algorithm that solves it in time that grows quadratically with the size of the network

Residence time of symmetric random walkers in a strip with large reflective obstacles

We study the effect of a large obstacle on the so called residence time, i.e., the time that a particle performing a symmetric random walk in a rectangular (2D) domain needs to cross the strip. We observe a complex behavior, that is we find out that the residence time does not depend monotonically on the geometric properties of the obstacle, such as its width, length, and position. In some cases, due to the presence of the obstacle, the mean residence time is shorter with respect to the one measured for the obstacle--free strip. We explain the residence time behavior by developing a 1D analog of the 2D model where the role of the obstacle is played by two defect sites having a smaller probability to be crossed with respect to all the other regular sites. The 1D and 2D models behave similarly, but in the 1D case we are able to compute exactly the residence time finding a perfect match with the Monte Carlo simulations

Continuous-time average-preserving opinion dynamics with opinion-dependent communications

We study a simple continuous-time multi-agent system related to Krause's model of opinion dynamics: each agent holds a real value, and this value is continuously attracted by every other value differing from it by less than 1, with an intensity proportional to the difference. We prove convergence to a set of clusters, with the agents in each cluster sharing a common value, and provide a lower bound on the distance between clusters at a stable equilibrium, under a suitable notion of multi-agent system stability. To better understand the behavior of the system for a large number of agents, we introduce a variant involving a continuum of agents. We prove, under some conditions, the existence of a solution to the system dynamics, convergence to clusters, and a non-trivial lower bound on the distance between clusters. Finally, we establish that the continuum model accurately represents the asymptotic behavior of a system with a finite but large number of agents.Comment: 25 pages, 2 figures, 11 tex files and 2 eps file

A comparison between different cycle decompositions for Metropolis dynamics

In the last decades the problem of metastability has been attacked on rigorous grounds via many different approaches and techniques which are briefly reviewed in this paper. It is then useful to understand connections between different point of views. In view of this we consider irreducible, aperiodic and reversible Markov chains with exponentially small transition probabilities in the framework of Metropolis dynamics. We compare two different cycle decompositions and prove their equivalence

Cu NMR evidence for enhanced antiferromagnetic correlations around Zn impurities in YBa2Cu3O6.7

Doping the high-Tc superconductor YBa2Cu3O6.7 with 1.5 % of non-magnetic Zn impurities in CuO2 planes is shown to produce a considerable broadening of 63Cu NMR spectra, as well as an increase of low-energy magnetic fluctuations detected in 63Cu spin-lattice relaxation measurements. A model-independent analysis demonstrates that these effects are due to the development of staggered magnetic moments on many Cu sites around each Zn and that the Zn-induced moment in the bulk susceptibility might be explained by this staggered magnetization. Several implications of these enhanced antiferromagnetic correlations are discussed.Comment: 4 pages including 2 figure

Incipient charge order observed by NMR in the normal state of YBa2Cu3Oy

The pseudogap regime of high-temperature cuprates harbours diverse manifestations of electronic ordering whose exact nature and universality remain debated. Here, we show that the short-ranged charge order recently reported in the normal state of YBa2Cu3Oy corresponds to a truly static modulation of the charge density. We also show that this modulation impacts on most electronic properties, that it appears jointly with intra-unit-cell nematic, but not magnetic, order, and that it exhibits differences with the charge density wave observed at lower temperatures in high magnetic fields. These observations prove mostly universal, they place new constraints on the origin of the charge density wave and they reveal that the charge modulation is pinned by native defects. Similarities with results in layered metals such as NbSe2, in which defects nucleate halos of incipient charge density wave at temperatures above the ordering transition, raise the possibility that order-parameter fluctuations, but no static order, would be observed in the normal state of most cuprates if disorder were absent.Comment: Updated version. Free download at Nature Comm. website (doi below

Stability of the spiral phase in the 2D extended t-J model

We analyze the t-t'-t''-J model at low doping by chiral perturbation theory and show that the (1,0) spiral state is stabilized by the presence of t',t'' above critical values around 0.2J, assuming t/J=3.1. We find that the (magnon mediated) hole-hole interactions have an important effect on the region of charge stability in the space of parameters t',t'', generally increasing stability, while the stability in the magnetic sector is guaranteed by the presence of spin quantum fluctuations (order from disorder effect). These conclusions are based on perturbative analysis performed up to two loops, with very good convergence.Comment: 7 pages, 6 figure

Convergence of type-symmetric and cut-balanced consensus seeking systems (extended version)

We consider continuous-time consensus seeking systems whose time-dependent interactions are cut-balanced, in the following sense: if a group of agents influences the remaining ones, the former group is also influenced by the remaining ones by at least a proportional amount. Models involving symmetric interconnections and models in which a weighted average of the agent values is conserved are special cases. We prove that such systems always converge. We give a sufficient condition on the evolving interaction topology for the limit values of two agents to be the same. Conversely, we show that if our condition is not satisfied, then these limits are generically different. These results allow treating systems where the agent interactions are a priori unknown, e.g., random or determined endogenously by the agent values. We also derive corresponding results for discrete-time systems.Comment: update of the file following publication of journal version, including a minor correction in the proof of theorem 1(b). 12 pages, 12 tex files, no figur