416 research outputs found

    Byzantine Approximate Agreement on Graphs

    Get PDF
    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 Rd\mathbb R^d

    Full text link
    We study SS-convex sets, which are the geometric objects obtained as the intersection of the usual convex sets in Rd\mathbb R^d with a proper subset S⊂RdS\subset \mathbb R^d. We contribute new results about their SS-Helly numbers. We extend prior work for S=RdS=\mathbb R^d, Zd\mathbb Z^d, and Zd−k×Rk\mathbb Z^{d-k}\times\mathbb R^k; we give sharp bounds on the SS-Helly numbers in several new cases. We considered the situation for low-dimensional SS and for sets SS that have some algebraic structure, in particular when SS is an arbitrary subgroup of Rd\mathbb R^d or when SS 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

    Full text link
    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

    Full text link
    We prove existence of finite Helly numbers for crystals and for cut-and-project sets with convex windows; also we prove exact bound of k+6k+6 for the Helly number of a crystal consisting of kk 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

    Full text link
    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

    Full text link
    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
    • …
    corecore