416 research outputs found
Byzantine Approximate Agreement on Graphs
Consider a distributed system with n processors out of which f can be Byzantine faulty. In the approximate agreement task, each processor i receives an input value x_i and has to decide on an output value y_i such that
1) the output values are in the convex hull of the non-faulty processors\u27 input values,
2) the output values are within distance d of each other.
Classically, the values are assumed to be from an m-dimensional Euclidean space, where m >= 1.
In this work, we study the task in a discrete setting, where input values with some structure expressible as a graph. Namely, the input values are vertices of a finite graph G and the goal is to output vertices that are within distance d of each other in G, but still remain in the graph-induced convex hull of the input values. For d=0, the task reduces to consensus and cannot be solved with a deterministic algorithm in an asynchronous system even with a single crash fault. For any d >= 1, we show that the task is solvable in asynchronous systems when G is chordal and n > (omega+1)f, where omega is the clique number of G. In addition, we give the first Byzantine-tolerant algorithm for a variant of lattice agreement. For synchronous systems, we show tight resilience bounds for the exact variants of these and related tasks over a large class of combinatorial structures
Helly numbers of Algebraic Subsets of
We study -convex sets, which are the geometric objects obtained as the
intersection of the usual convex sets in with a proper subset
. We contribute new results about their -Helly
numbers. We extend prior work for , , and ; we give sharp bounds on the -Helly numbers in
several new cases. We considered the situation for low-dimensional and for
sets that have some algebraic structure, in particular when is an
arbitrary subgroup of or when is the difference between a
lattice and some of its sublattices. By abstracting the ingredients of Lov\'asz
method we obtain colorful versions of many monochromatic Helly-type results,
including several colorful versions of our own results.Comment: 13 pages, 3 figures. This paper is a revised version of what was
originally the first half of arXiv:1504.00076v
Combinatorics and geometry of finite and infinite squaregraphs
Squaregraphs were originally defined as finite plane graphs in which all
inner faces are quadrilaterals (i.e., 4-cycles) and all inner vertices (i.e.,
the vertices not incident with the outer face) have degrees larger than three.
The planar dual of a finite squaregraph is determined by a triangle-free chord
diagram of the unit disk, which could alternatively be viewed as a
triangle-free line arrangement in the hyperbolic plane. This representation
carries over to infinite plane graphs with finite vertex degrees in which the
balls are finite squaregraphs. Algebraically, finite squaregraphs are median
graphs for which the duals are finite circular split systems. Hence
squaregraphs are at the crosspoint of two dualities, an algebraic and a
geometric one, and thus lend themselves to several combinatorial
interpretations and structural characterizations. With these and the
5-colorability theorem for circle graphs at hand, we prove that every
squaregraph can be isometrically embedded into the Cartesian product of five
trees. This embedding result can also be extended to the infinite case without
reference to an embedding in the plane and without any cardinality restriction
when formulated for median graphs free of cubes and further finite
obstructions. Further, we exhibit a class of squaregraphs that can be embedded
into the product of three trees and we characterize those squaregraphs that are
embeddable into the product of just two trees. Finally, finite squaregraphs
enjoy a number of algorithmic features that do not extend to arbitrary median
graphs. For instance, we show that median-generating sets of finite
squaregraphs can be computed in polynomial time, whereas, not unexpectedly, the
corresponding problem for median graphs turns out to be NP-hard.Comment: 46 pages, 14 figure
On Helly number for crystals and cut-and-project sets
We prove existence of finite Helly numbers for crystals and for
cut-and-project sets with convex windows; also we prove exact bound of
for the Helly number of a crystal consisting of copies of a single lattice.
We show that there are sets of finite local complexity that do not have finite
Helly numbers
Optimality certificates for convex minimization and Helly numbers
We consider the problem of minimizing a convex function over a subset of R^n
that is not necessarily convex (minimization of a convex function over the
integer points in a polytope is a special case). We define a family of duals
for this problem and show that, under some natural conditions, strong duality
holds for a dual problem in this family that is more restrictive than
previously considered duals.Comment: 5 page
Quantitative Tverberg, Helly, & Carath\'eodory theorems
This paper presents sixteen quantitative versions of the classic Tverberg,
Helly, & Caratheodory theorems in combinatorial convexity. Our results include
measurable or enumerable information in the hypothesis and the conclusion.
Typical measurements include the volume, the diameter, or the number of points
in a lattice.Comment: 33 page
- …