We study two random processes on an n-vertex graph inspired by the internal diffusion limited aggregation (IDLA) model. These processes can also be regarded as protocols for allocating jobs in a distributed network of servers. In both processes n particles start from an arbitrary but fixed origin. Each particle performs a simple random walk until it first encounters an unoccupied vertex, at which point the vertex becomes occupied and the random walk terminates. In one of the processes, called Sequential-IDLA, a single particle moves until settling and only then does the next particle start whereas in the second process, called Parallel-IDLA, all unsettled particles move simultaneously. The second process is akin to running the first in parallel. Our main goal is to analyze the so-called dispersion time of these processes, which is the maximum number of steps performed by any of the n particles. In order to compare the two processes, we develop a coupling which shows the dispersion time of the Parallel-IDLA stochastically dominates that of the Sequential-IDLA; however, the total number of steps performed by all particles has the same distribution in both processes. This coupling also gives us that dispersion time of Parallel-IDLA is bounded in expectation by dispersion time of the Sequential-IDLA up to a multiplicative log n factor. Moreover, we derive asymptotic upper and lower bound on the dispersion time for several graph classes, such as cliques, cycles, binary trees, d-dimensional grids, hypercubes and expanders. Most of our bounds are tight up to a multiplicative constant.
One model where interaction between particles prevents settling at a cite is a two-type particle system called Oil and Water'' where particles of opposing types displace each other @cite_8 . There have been some papers on models related to the Parking function of a graph where cars drive randomly around a graph searching for vacant spots @cite_14 @cite_15 . More commonly, however, interaction is directly between particles and not with the host graph such as predator prey coalescing models @cite_20 . The problem of uniformly distributing @math non-communicating memoryless particles across @math unoccupied sites is also considered from a game theoretic perspective @cite_6 .
@cite_14 @cite_8 @cite_6 @cite_15 @cite_20
2187227140 2962724035 2039765418 1893146140
We introduce a two-type internal DLA model which is an example of a non-unary abelian network. Starting withn " andn " particles at the origin, the particles diuse in Z according to the following rule: whenever some site x2 Z has at least 1 oil and at least 1 water particle present, it res by sending 1 oil particle and 1 water particle each to an independent random neighbor x 1. Firing continues until every site has at most one type of particles. We establish the correct order for several statistics of this model and identify the scaling limit under assumption of existence. We give a detailed description of the geometry of single droplet patterns in a non- local isoperimetric problem. In particular we focus on the sharp interface limit of the Ohta- Kawasaki free energy for diblock copolymers, regarded as a paradigm for those energies modeling physical systems characterized by a competition between short and a long-range interactions. Exploiting fine properties of the regularity theory for minimal surfaces, we extend previous partial results in different directions and give robust tools for the geometric analysis of more complex patterns. where u is the order parameter of a two-phases system confined in ⊂ R n , and and m are two nonnegative numerical parameters. The two terms in the energy mimic attractive short-range and repulsive long-range energies between the phases. More precisely the first term is local, it favors minimal interface area and drives the system toward a partition into few pure phases while the second term, involving a Coulomb-like kernel G, is non-local and favor a fine mixing of the phases. A detailed description of the energy is given in § 1. The competition between these two terms is expected to induce the formation of highly regular mesoscopic patterns, whose geometry strongly depends on the choice of the parameters and m (e.g. spherical spots, cylinders, gyroids and lamellae). 0.1. The Ohta-Kawasaki functional for diblock copolymers. The model we consider arises as a simplification of a Ginzburg-Landau functional proposed by Ohta and Kawasaki in their pioneering paper (41) as a possible description of a diblock copolymers' (DBC) system. Even though it is questionable whether such an energy actually describes DBCs (see Choksi and Ren (15), Muratov (39) and Niethammer and Oshita (40)), nevertheless it is a first, and mathematically non-trivial, attempt to capture some of the main features of these systems. For such a reason it deserved over the last twenty years great attention from both the mathematical and the physical We study properties of multiple random walks on a graph under various assumptions of interaction between the particles. To give precise results, we make the analysis for random regular graphs. The cover time of a random walk on a random @math -regular graph was studied in [C. Cooper and A. Frieze, SIAM J. Discrete Math., 18 (2005), pp. 728-740], where it was shown with high probability (whp) that for @math the cover time is asymptotic to @math , where @math . In this paper we prove the following (whp) results, arising from the study of multiple random walks on a random regular graph @math . For @math independent walks on @math , the cover time @math is asymptotic to @math , where @math is the cover time of a single walk. For most starting positions, the expected number of steps before any of the walks meet is @math . If the walks can communicate when meeting at a vertex, we show that, for most starting positions, the expected time for @math walks to broadcast a single piece of information to each other is asymptotic to @math as @math . We also establish properties of walks where there are two types of particles, predator and prey, or where particles interact when they meet at a vertex by coalescing or by annihilating each other. For example, the expected extinction time of @math explosive particles ( @math even) tends to @math as @math . The case of @math coalescing particles, where one particle is initially located at each vertex, corresponds to a voter model defined as follows: Initially each vertex has a distinct opinion, and at each step each vertex changes its opinion to that of a random neighbor. The expected time for a unique opinion to emerge is the same as the expected time for all the particles to coalesce, which is asymptotic to @math . Combining results from the predator-prey and multiple random walk models allows us to compare expected detection times of all prey in the following scenarios: Both the predator and the prey move randomly, the prey moves randomly and the predators stay fixed, and the predators move randomly and the prey stays fixed. In all cases, with @math predators and @math prey the expected detection time is @math , where @math is the @math th harmonic number. This is the second in a series of papers in which we derive a @math -expansion for the two-dimensional non-local Ginzburg-Landau energy with Coulomb repulsion known as the Ohta-Kawasaki model in connection with diblock copolymer systems. In this model, two phases appear, which interact via a nonlocal Coulomb type energy. Here we focus on the sharp interface version of this energy in the regime where one of the phases has very small volume fraction, thus creating small "droplets" of the minority phase in a "sea" of the majority phase. In our previous paper, we computed the @math -limit of the leading order energy, which yields the averaged behavior for almost minimizers, namely that the density of droplets should be uniform. Here we go to the next order and derive a next order @math -limit energy, which is exactly the Coulombian renormalized energy obtained by Sandier and Serfaty as a limiting interaction energy for vortices in the magnetic Ginzburg-Landau model. The derivation is based on the abstract scheme of Sandier-Serfaty that serves to obtain lower bounds for 2-scale energies and express them through some probabilities on patterns via the multiparameter ergodic theorem. Without thus appealing to the Euler-Lagrange equation, we establish for all configurations which have "almost minimal energy" the asymptotic roundness and radius of the droplets, and the fact that they asymptotically shrink to points whose arrangement minimizes the renormalized energy in some averaged sense. Via a kind of @math -equivalence, the obtained results also yield an expansion of the minimal energy for the original Ohta-Kawasaki energy. This leads to expecting to see triangular lattices of droplets as energy minimizers.