57,087 research outputs found
Message and time efficient multi-broadcast schemes
We consider message and time efficient broadcasting and multi-broadcasting in
wireless ad-hoc networks, where a subset of nodes, each with a unique rumor,
wish to broadcast their rumors to all destinations while minimizing the total
number of transmissions and total time until all rumors arrive to their
destination. Under centralized settings, we introduce a novel approximation
algorithm that provides almost optimal results with respect to the number of
transmissions and total time, separately. Later on, we show how to efficiently
implement this algorithm under distributed settings, where the nodes have only
local information about their surroundings. In addition, we show multiple
approximation techniques based on the network collision detection capabilities
and explain how to calibrate the algorithms' parameters to produce optimal
results for time and messages.Comment: In Proceedings FOMC 2013, arXiv:1310.459
Beeping a Maximal Independent Set
We consider the problem of computing a maximal independent set (MIS) in an
extremely harsh broadcast model that relies only on carrier sensing. The model
consists of an anonymous broadcast network in which nodes have no knowledge
about the topology of the network or even an upper bound on its size.
Furthermore, it is assumed that an adversary chooses at which time slot each
node wakes up. At each time slot a node can either beep, that is, emit a
signal, or be silent. At a particular time slot, beeping nodes receive no
feedback, while silent nodes can only differentiate between none of its
neighbors beeping, or at least one of its neighbors beeping.
We start by proving a lower bound that shows that in this model, it is not
possible to locally converge to an MIS in sub-polynomial time. We then study
four different relaxations of the model which allow us to circumvent the lower
bound and find an MIS in polylogarithmic time. First, we show that if a
polynomial upper bound on the network size is known, it is possible to find an
MIS in O(log^3 n) time. Second, if we assume sleeping nodes are awoken by
neighboring beeps, then we can also find an MIS in O(log^3 n) time. Third, if
in addition to this wakeup assumption we allow sender-side collision detection,
that is, beeping nodes can distinguish whether at least one neighboring node is
beeping concurrently or not, we can find an MIS in O(log^2 n) time. Finally, if
instead we endow nodes with synchronous clocks, it is also possible to find an
MIS in O(log^2 n) time.Comment: arXiv admin note: substantial text overlap with arXiv:1108.192
On the Impact of Geometry on Ad Hoc Communication in Wireless Networks
In this work we address the question how important is the knowledge of
geometric location and network density to the efficiency of (distributed)
wireless communication in ad hoc networks. We study fundamental communication
task of broadcast and develop well-scalable, randomized algorithms that do not
rely on GPS information, and which efficiency formulas do not depend on how
dense the geometric network is. We consider two settings: with and without
spontaneous wake-up of nodes. In the former setting, in which all nodes start
the protocol at the same time, our algorithm accomplishes broadcast in rounds under the SINR model, with high probability (whp), where
is the diameter of the communication graph and is the number of
stations. In the latter setting, in which only the source node containing the
original message is active in the beginning, we develop a slightly slower
algorithm working in rounds whp. Both algorithms are based on a
novel distributed coloring method, which is of independent interest and
potential applicability to other communication tasks under the SINR wireless
model
Three-dimensional evolution of magnetic and velocity shear driven instabilities in a compressible magnetized jet
The problem of three-dimensional combined magnetic and velocity shear driven
instabilities of a compressible magnetized jet modeled with a plane
neutral/current double vortex sheet in the framework of the resistive
magnetohydrodynamics is addressed. The resulting dynamics given by the
stream+current sheet interaction is analyzed and the effects of a variable
geometry of the basic fields are considered. Depending on the basic asymptotic
magnetic field configuration, a selection rule of the linear instability modes
can be obtained. Hence, the system follows a two-stage path developing either
through a fully three-dimensional dynamics with a rapid evolution of kink modes
leading to a final turbulent state, or rather through a driving two-dimensional
instability pattern that develops on parallel planes on which a
reconnection+coalescence process takes place.Comment: 33 pages, 15 figures, accepted for publication in Physics of Plasma
Computing in Additive Networks with Bounded-Information Codes
This paper studies the theory of the additive wireless network model, in
which the received signal is abstracted as an addition of the transmitted
signals. Our central observation is that the crucial challenge for computing in
this model is not high contention, as assumed previously, but rather
guaranteeing a bounded amount of \emph{information} in each neighborhood per
round, a property that we show is achievable using a new random coding
technique.
Technically, we provide efficient algorithms for fundamental distributed
tasks in additive networks, such as solving various symmetry breaking problems,
approximating network parameters, and solving an \emph{asymmetry revealing}
problem such as computing a maximal input.
The key method used is a novel random coding technique that allows a node to
successfully decode the received information, as long as it does not contain
too many distinct values. We then design our algorithms to produce a limited
amount of information in each neighborhood in order to leverage our enriched
toolbox for computing in additive networks
Holomorphic flexibility properties of compact complex surfaces
We introduce the notion of a stratified Oka manifold and prove that such a
manifold is strongly dominable in the sense that for every , there
is a holomorphic map f:\C^n\to X, , such that and is a
local biholomorphism at 0. We deduce that every Kummer surface is strongly
dominable. We determine which minimal compact complex surfaces of class VII are
Oka, assuming the global spherical shell conjecture. We deduce that the Oka
property and several weaker holomorphic flexibility properties are in general
not closed in families of compact complex manifolds. Finally, we consider the
behaviour of the Oka property under blowing up and blowing down.Comment: Version 2: Theorem 11 reformulated and its proof corrected. Minor
improvements to the exposition. Version 3: A few minor improvements. To
appear in International Mathematics Research Notice
- …