3,876 research outputs found
Schramm's formula for multiple loop-erased random walks
We revisit the computation of the discrete version of Schramm's formula for
the loop-erased random walk derived by Kenyon. The explicit formula in terms of
the Green function relies on the use of a complex connection on a graph, for
which a line bundle Laplacian is defined. We give explicit results in the
scaling limit for the upper half-plane, the cylinder and the Moebius strip.
Schramm's formula is then extended to multiple loop-erased random walks.Comment: 59 pages, 19 figures. v2: reformulation of Section 2.3, minor
correction
Dynamic Algorithms for the Massively Parallel Computation Model
The Massive Parallel Computing (MPC) model gained popularity during the last
decade and it is now seen as the standard model for processing large scale
data. One significant shortcoming of the model is that it assumes to work on
static datasets while, in practice, real-world datasets evolve continuously. To
overcome this issue, in this paper we initiate the study of dynamic algorithms
in the MPC model.
We first discuss the main requirements for a dynamic parallel model and we
show how to adapt the classic MPC model to capture them. Then we analyze the
connection between classic dynamic algorithms and dynamic algorithms in the MPC
model. Finally, we provide new efficient dynamic MPC algorithms for a variety
of fundamental graph problems, including connectivity, minimum spanning tree
and matching.Comment: Accepted to the 31st ACM Symposium on Parallelism in Algorithms and
Architectures (SPAA 2019
Three Existence Problems in Extremal Graph Theory
Proving the existence or nonexistence of structures with specified properties is the impetus for many classical results in discrete mathematics.
In this thesis we take this approach to three different structural questions rooted in extremal graph theory.
When studying graph representations, we seek efficient ways to encode the structure of a graph.
For example, an {\it interval representation} of a graph is an assignment of intervals on the real line to the vertices of such that two vertices are adjacent if and only if their intervals intersect.
We consider graphs that have {\it bar -visibility representations}, a generalization of both interval representations and another well-studied class of representations known as visibility representations.
We obtain results on , the family of graphs having bar -visibility representations.
We also study .
In particular, we determine the largest complete graph having a bar -visibility representation, and we show that there are graphs that do not have bar -visibility representations for any .
Graphs arise naturally as models of networks, and there has been much study of the movement of information or resources in graphs.
Lampert and Slater \cite{LS} introduced {\it acquisition} in weighted graphs, whereby weight moves around provided that each move transfers weight from a vertex to a heavier neighbor.
Our goal in making acquisition moves is to consolidate all of the weight in on the minimum number of vertices; this minimum number is the {\it acquisition number} of .
We study three variations of acquisition in graphs: when a move must transfer all the weight from a vertex to its neighbor, when each move transfers a single unit of weight, and when a move can transfer any positive amount of weight.
We consider acquisition numbers in various families of graphs, including paths, cycles, trees, and graphs with diameter .
We also study, under the various acquisition models, those graphs in which all the weight can be moved to a single vertex.
Restrictive local conditions often have far-reaching impacts on the global structure of mathematical objects.
Some local conditions are so limiting that very few objects satisfy the requirements.
For example, suppose that we seek a graph in which every two vertices have exactly one common neighbor.
Such graphs are called {\it friendship graphs}, and Wilf~\cite{Wilf} proved that the only such graphs consist of edge-disjoint triangles sharing a common vertex.
We study a related structural restriction where similar phenomena occur.
For a fixed graph , we consider those graphs that do not contain and such that the addition of any edge completes exactly one copy of .
Such a graph is called {\it uniquely -saturated}.
We study the existence of uniquely -saturated graphs when is a path or a cycle.
In particular, we determine all of the uniquely -saturated graphs; there are exactly ten.
Interestingly, the uniquely -saturated graphs are precisely the friendship graphs characterized by Wilf
Light Spanners
A -spanner of a weighted undirected graph , is a subgraph
such that for all . The sparseness of
the spanner can be measured by its size (the number of edges) and weight (the
sum of all edge weights), both being important measures of the spanner's
quality -- in this work we focus on the latter.
Specifically, it is shown that for any parameters and ,
any weighted graph on vertices admits a
-stretch spanner of weight at most , where is the weight of a minimum
spanning tree of . Our result is obtained via a novel analysis of the
classic greedy algorithm, and improves previous work by a factor of .Comment: 10 pages, 1 figure, to appear in ICALP 201
JGraphT -- A Java library for graph data structures and algorithms
Mathematical software and graph-theoretical algorithmic packages to
efficiently model, analyze and query graphs are crucial in an era where
large-scale spatial, societal and economic network data are abundantly
available. One such package is JGraphT, a programming library which contains
very efficient and generic graph data-structures along with a large collection
of state-of-the-art algorithms. The library is written in Java with stability,
interoperability and performance in mind. A distinctive feature of this library
is the ability to model vertices and edges as arbitrary objects, thereby
permitting natural representations of many common networks including
transportation, social and biological networks. Besides classic graph
algorithms such as shortest-paths and spanning-tree algorithms, the library
contains numerous advanced algorithms: graph and subgraph isomorphism; matching
and flow problems; approximation algorithms for NP-hard problems such as
independent set and TSP; and several more exotic algorithms such as Berge graph
detection. Due to its versatility and generic design, JGraphT is currently used
in large-scale commercial, non-commercial and academic research projects. In
this work we describe in detail the design and underlying structure of the
library, and discuss its most important features and algorithms. A
computational study is conducted to evaluate the performance of JGraphT versus
a number of similar libraries. Experiments on a large number of graphs over a
variety of popular algorithms show that JGraphT is highly competitive with
other established libraries such as NetworkX or the BGL.Comment: Major Revisio
A simple model of trees for unicellular maps
We consider unicellular maps, or polygon gluings, of fixed genus. A few years
ago the first author gave a recursive bijection transforming unicellular maps
into trees, explaining the presence of Catalan numbers in counting formulas for
these objects. In this paper, we give another bijection that explicitly
describes the "recursive part" of the first bijection. As a result we obtain a
very simple description of unicellular maps as pairs made by a plane tree and a
permutation-like structure. All the previously known formulas follow as an
immediate corollary or easy exercise, thus giving a bijective proof for each of
them, in a unified way. For some of these formulas, this is the first bijective
proof, e.g. the Harer-Zagier recurrence formula, the Lehman-Walsh formula and
the Goupil-Schaeffer formula. We also discuss several applications of our
construction: we obtain a new proof of an identity related to covered maps due
to Bernardi and the first author, and thanks to previous work of the second
author, we give a new expression for Stanley character polynomials, which
evaluate irreducible characters of the symmetric group. Finally, we show that
our techniques apply partially to unicellular 3-constellations and to related
objects that we call quasi-constellations.Comment: v5: minor revision after reviewers comments, 33 pages, added a
refinement by degree of the Harer-Zagier formula and more details in some
proof
Distributed Connectivity Decomposition
We present time-efficient distributed algorithms for decomposing graphs with
large edge or vertex connectivity into multiple spanning or dominating trees,
respectively. As their primary applications, these decompositions allow us to
achieve information flow with size close to the connectivity by parallelizing
it along the trees. More specifically, our distributed decomposition algorithms
are as follows:
(I) A decomposition of each undirected graph with vertex-connectivity
into (fractionally) vertex-disjoint weighted dominating trees with total weight
, in rounds.
(II) A decomposition of each undirected graph with edge-connectivity
into (fractionally) edge-disjoint weighted spanning trees with total
weight , in
rounds.
We also show round complexity lower bounds of
and
for the above two decompositions,
using techniques of [Das Sarma et al., STOC'11]. Moreover, our
vertex-connectivity decomposition extends to centralized algorithms and
improves the time complexity of [Censor-Hillel et al., SODA'14] from
to near-optimal .
As corollaries, we also get distributed oblivious routing broadcast with
-competitive edge-congestion and -competitive
vertex-congestion. Furthermore, the vertex connectivity decomposition leads to
near-time-optimal -approximation of vertex connectivity: centralized
and distributed . The former moves
toward the 1974 conjecture of Aho, Hopcroft, and Ullman postulating an
centralized exact algorithm while the latter is the first distributed vertex
connectivity approximation
Fast Routing Table Construction Using Small Messages
We describe a distributed randomized algorithm computing approximate
distances and routes that approximate shortest paths. Let n denote the number
of nodes in the graph, and let HD denote the hop diameter of the graph, i.e.,
the diameter of the graph when all edges are considered to have unit weight.
Given 0 < eps <= 1/2, our algorithm runs in weak-O(n^(1/2 + eps) + HD)
communication rounds using messages of O(log n) bits and guarantees a stretch
of O(eps^(-1) log eps^(-1)) with high probability. This is the first
distributed algorithm approximating weighted shortest paths that uses small
messages and runs in weak-o(n) time (in graphs where HD in weak-o(n)). The time
complexity nearly matches the lower bounds of weak-Omega(sqrt(n) + HD) in the
small-messages model that hold for stateless routing (where routing decisions
do not depend on the traversed path) as well as approximation of the weigthed
diameter. Our scheme replaces the original identifiers of the nodes by labels
of size O(log eps^(-1) log n). We show that no algorithm that keeps the
original identifiers and runs for weak-o(n) rounds can achieve a
polylogarithmic approximation ratio.
Variations of our techniques yield a number of fast distributed approximation
algorithms solving related problems using small messages. Specifically, we
present algorithms that run in weak-O(n^(1/2 + eps) + HD) rounds for a given 0
< eps <= 1/2, and solve, with high probability, the following problems:
- O(eps^(-1))-approximation for the Generalized Steiner Forest (the running
time in this case has an additive weak-O(t^(1 + 2eps)) term, where t is the
number of terminals);
- O(eps^(-2))-approximation of weighted distances, using node labels of size
O(eps^(-1) log n) and weak-O(n^(eps)) bits of memory per node;
- O(eps^(-1))-approximation of the weighted diameter;
- O(eps^(-3))-approximate shortest paths using the labels 1,...,n.Comment: 40 pages, 2 figures, extended abstract submitted to STOC'1
Massively Parallel Algorithms for Distance Approximation and Spanners
Over the past decade, there has been increasing interest in
distributed/parallel algorithms for processing large-scale graphs. By now, we
have quite fast algorithms -- usually sublogarithmic-time and often
-time, or even faster -- for a number of fundamental graph
problems in the massively parallel computation (MPC) model. This model is a
widely-adopted theoretical abstraction of MapReduce style settings, where a
number of machines communicate in an all-to-all manner to process large-scale
data. Contributing to this line of work on MPC graph algorithms, we present
round MPC algorithms for computing
-spanners in the strongly sublinear regime of local memory. To
the best of our knowledge, these are the first sublogarithmic-time MPC
algorithms for spanner construction. As primary applications of our spanners,
we get two important implications, as follows:
-For the MPC setting, we get an -round algorithm for
approximation of all pairs shortest paths (APSP) in the
near-linear regime of local memory. To the best of our knowledge, this is the
first sublogarithmic-time MPC algorithm for distance approximations.
-Our result above also extends to the Congested Clique model of distributed
computing, with the same round complexity and approximation guarantee. This
gives the first sub-logarithmic algorithm for approximating APSP in weighted
graphs in the Congested Clique model
- …