626 research outputs found
An application of the Helly property to the partially ordered sets
AbstractQuilliot (Discrete Math. 1982.) showed that when the bowls of a connected graph satisfy the Helly property it is possible to deduce for this graph some fixed point and homomorphism extension theorems. For a partially ordered set E a special family of subsets is defined which, when it satisfies the Helly property, permits the deductions that every homomorphism from E into E has a fixed point, that every antitone function from E has “almost” a fixed point, and that there exists a simple criterion letting us know when a function f from a subset A of a partially ordered set G can be extended into a homomorphism from G to E
Bounding Helly numbers via Betti numbers
We show that very weak topological assumptions are enough to ensure the
existence of a Helly-type theorem. More precisely, we show that for any
non-negative integers and there exists an integer such that
the following holds. If is a finite family of subsets of such that for any
and every
then has Helly number at most . Here
denotes the reduced -Betti numbers (with singular homology). These
topological conditions are sharp: not controlling any of these first Betti numbers allow for families with unbounded Helly number.
Our proofs combine homological non-embeddability results with a Ramsey-based
approach to build, given an arbitrary simplicial complex , some well-behaved
chain map .Comment: 29 pages, 8 figure
Helly meets Garside and Artin
A graph is Helly if every family of pairwise intersecting combinatorial balls
has a nonempty intersection. We show that weak Garside groups of finite type
and FC-type Artin groups are Helly, that is, they act geometrically on Helly
graphs. In particular, such groups act geometrically on spaces with convex
geodesic bicombing, equipping them with a nonpositive-curvature-like structure.
That structure has many properties of a CAT(0) structure and, additionally, it
has a combinatorial flavor implying biautomaticity. As immediate consequences
we obtain new results for FC-type Artin groups (in particular braid groups and
spherical Artin groups) and weak Garside groups, including e.g.\ fundamental
groups of the complements of complexified finite simplicial arrangements of
hyperplanes, braid groups of well-generated complex reflection groups, and
one-relator groups with non-trivial center. Among the results are:
biautomaticity, existence of EZ and Tits boundaries, the Farrell-Jones
conjecture, the coarse Baum-Connes conjecture, and a description of higher
order homological and homotopical Dehn functions. As a mean of proving the
Helly property we introduce and use the notion of a (generalized) cell Helly
complex.Comment: Small modifications according to the referee report, updated
references. Final accepted versio
Core congestion is inherent in hyperbolic networks
We investigate the impact the negative curvature has on the traffic
congestion in large-scale networks. We prove that every Gromov hyperbolic
network admits a core, thus answering in the positive a conjecture by
Jonckheere, Lou, Bonahon, and Baryshnikov, Internet Mathematics, 7 (2011) which
is based on the experimental observation by Narayan and Saniee, Physical Review
E, 84 (2011) that real-world networks with small hyperbolicity have a core
congestion. Namely, we prove that for every subset of vertices of a
-hyperbolic graph there exists a vertex of such that the
disk of radius centered at intercepts at least
one half of the total flow between all pairs of vertices of , where the flow
between two vertices is carried by geodesic (or quasi-geodesic)
-paths. A set intercepts the flow between two nodes and if
intersect every shortest path between and . Differently from what
was conjectured by Jonckheere et al., we show that is not (and cannot be)
the center of mass of but is a node close to the median of in the
so-called injective hull of . In case of non-uniform traffic between nodes
of (in this case, the unit flow exists only between certain pairs of nodes
of defined by a commodity graph ), we prove a primal-dual result showing
that for any the size of a -multi-core (i.e., the number
of disks of radius ) intercepting all pairs of is upper bounded by
the maximum number of pairwise -apart pairs of
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
Sunflowers of Convex Open Sets
A sunflower is a collection of sets such that the
pairwise intersection is the same for all choices of distinct
and . We study sunflowers of convex open sets in , and provide
a Helly-type theorem describing a certain "rigidity" that they possess. In
particular we show that if is a sunflower in , then any hyperplane that intersects all must also intersect
. We use our results to describe a combinatorial code
for all which is on the one hand minimally non-convex,
and on the other hand has no local obstructions. Along the way we further
develop the theory of morphisms of codes, and establish results on the covering
relation in the poset
- …