A group membership algorithm with a practical specification

Presents a solvable specification and gives an algorithm for the group membership problem in asynchronous systems with crash failures. Our specification requires processes to maintain a consistent history in their sequences of views. This allows processes to order failures and recoveries in time and simplifies the programming of high level applications. Previous work has proven that the group membership problem cannot be solved in asynchronous systems with crash failures. We circumvent this impossibility result building a weaker, yet nontrivial specification. We show that our solution is an improvement upon previous attempts to solve this problem using a weaker specification. We also relate our solution to other methods and give a classification of progress properties that can be achieved under different models

Self-organized Segregation on the Grid

We consider an agent-based model in which two types of agents interact locally over a graph and have a common intolerance threshold $\tau$ for changing their types with exponentially distributed waiting times. The model is equivalent to an unperturbed Schelling model of self-organized segregation, an Asynchronous Cellular Automata (ACA) with extended Moore neighborhoods, or a zero-temperature Ising model with Glauber dynamics, and has applications in the analysis of social and biological networks, and spin glasses systems. Some rigorous results were recently obtained in the theoretical computer science literature, and this work provides several extensions. We enlarge the intolerance interval leading to the formation of large segregated regions of agents of a single type from the known size $\epsilon>0$ to size $\approx 0.134$. Namely, we show that for $0.433 < \tau < 1/2$ (and by symmetry $1/2<\tau<0.567$), the expected size of the largest segregated region containing an arbitrary agent is exponential in the size of the neighborhood. We further extend the interval leading to large segregated regions to size $\approx 0.312$ considering "almost segregated" regions, namely regions where the ratio of the number of agents of one type and the number of agents of the other type vanishes quickly as the size of the neighborhood grows. In this case, we show that for $0.344 < \tau \leq 0.433$ (and by symmetry for $0.567 \leq \tau<0.656$) the expected size of the largest almost segregated region containing an arbitrary agent is exponential in the size of the neighborhood. The exponential bounds that we provide also imply that complete segregation, where agents of a single type cover the whole grid, does not occur with high probability for $p=1/2$ and the range of tolerance considered

Control-theoretic Approach to Communication with Feedback: Fundamental Limits and Code Design

Feedback communication is studied from a control-theoretic perspective, mapping the communication problem to a control problem in which the control signal is received through the same noisy channel as in the communication problem, and the (nonlinear and time-varying) dynamics of the system determine a subclass of encoders available at the transmitter. The MMSE capacity is defined to be the supremum exponential decay rate of the mean square decoding error. This is upper bounded by the information-theoretic feedback capacity, which is the supremum of the achievable rates. A sufficient condition is provided under which the upper bound holds with equality. For the special class of stationary Gaussian channels, a simple application of Bode's integral formula shows that the feedback capacity, recently characterized by Kim, is equal to the maximum instability that can be tolerated by the controller under a given power constraint. Finally, the control mapping is generalized to the N-sender AWGN multiple access channel. It is shown that Kramer's code for this channel, which is known to be sum rate optimal in the class of generalized linear feedback codes, can be obtained by solving a linear quadratic Gaussian control problem.Comment: Submitted to IEEE Transactions on Automatic Contro

A Geometric Theorem for Network Design

Consider an infinite square grid G. How many discs of given radius r, centered at the vertices of G, are required, in the worst case, to completely cover an arbitrary disc of radius r placed on the plane? We show that this number is an integer in the set {3,4,5,6} whose value depends on the ratio of r to the grid spacing. One application of this result is to design facility location algorithms with constant approximation factors. Another application is to determine if a grid network design, where facilities are placed on a regular grid in a way that each potential customer is within a reasonably small radius around the facility, is cost effective in comparison to a nongrid design. This can be relevant to determine a cost effective design for base station placement in a wireless network

Size Dependence of the Multiple Exciton Generation Rate in CdSe Quantum Dots

The multiplication rates of hot carriers in CdSe quantum dots are quantified using an atomistic pseudopotential approach and first order perturbation theory. Both excited holes and electrons are considered, and electron-hole Coulomb interactions are accounted for. We find that holes have much higher multiplication rates than electrons with the same excess energy due to the larger density of final states (positive trions). When electron-hole pairs are generated by photon absorption, however, the net carrier multiplication rate is dominated by photogenerated electrons, because they have on average much higher excess energy. We also find, contrary to earlier studies, that the effective Coulomb coupling governing carrier multiplication is energy dependent. We show that smaller dots result in a decrease in the carrier multiplication rate for a given absolute photon energy. However, if the photon energy is scaled by the volume dependent optical gap, then smaller dots exhibit an enhancement in carrier multiplication for a given relative energy.Comment: 19 pages, 6 figure