English
Related papers

Related papers: A New Topological Helly Theorem and some Transvers…

200 papers

The present paper generalizes the result from one of the papers by Galstyan. Namely, we consider two nonempty subsets $A$ and $B$ of a metric space $X$, and construct one-parametric family $F_r$ of subsets obtained by intersection between…

Metric Geometry · Mathematics 2025-12-09 Arsen Galstyan , Alexey Tuzhilin

We prove the following variant of Helly's classical theorem for Hamming balls with a bounded radius. For $n>t$ and any (finite or infinite) set $X$, if in a family of Hamming balls of radius $t$ in $X^n$, every subfamily of at most…

Combinatorics · Mathematics 2024-06-04 Noga Alon , Zhihan Jin , Benny Sudakov

Tverberg's theorem is one of the cornerstones of discrete geometry. It states that, given a set $X$ of at least $(d+1)(r-1)+1$ points in $\mathbb R^d$, one can find a partition $X=X_1\cup \ldots \cup X_r$ of $X$, such that the convex hulls…

Computational Geometry · Computer Science 2021-04-13 Radoslav Fulek , Bernd Gärtner , Andrey Kupavskii , Pavel Valtr , Uli Wagner

A collection of sets is intersecting, if any pair of sets in the collection has nonempty intersection. A collection of sets \(\mathcal{C}\) has the Helly property if any intersecting subcollection has nonempty intersection. A graph is…

Combinatorics · Mathematics 2022-05-26 Rafael Villarroel-Flores

Let $\mathcal A=\{A_1,\ldots,A_n\}$ be a family of sets in the plane. For $0 \leq i < n$, denote by $f_i$ the number of subsets $\sigma$ of $\{1,\ldots,n\}$ of cardinality $i+1$ that satisfy $\bigcap_{i \in \sigma} A_i \neq \emptyset$. Let…

Combinatorics · Mathematics 2019-12-17 Gil Kalai , Zuzana Patáková

We prove that for every Hausdorff space X and any uniform quadra space (Y,U) the topology on C(X,Y) induced by the uniformity U| of uniform convergence on the saturation family L coincides with the set-open topology on C(X,Y). In…

General Topology · Mathematics 2012-09-10 Alexander V. Osipov

Let $\mathcal F$ be a family of compact convex sets in $\mathbb R^d$. We say that $\mathcal F $ has a \emph{topological $\rho$-transversal of index $(m,k)$} ($\rho<m$, $0<k\leq d-m$) if there are, homologically, as many transversal…

Combinatorics · Mathematics 2011-07-06 L. Montejano , R. N. Karasev

We prove discrete Helly-type theorems for pseudohalfplanes, which extend recent results of Jensen, Joshi and Ray about halfplanes. Among others we show that given a family of pseudohalfplanes $\cal H$ and a set of points $P$, if every…

Combinatorics · Mathematics 2021-10-05 Balázs Keszegh

Helly's theorem and its variants show that for a family of convex sets in Euclidean space, local intersection patterns influence global intersection patterns. A classical result of Eckhoff in 1988 provided an optimal fractional Helly…

Combinatorics · Mathematics 2024-02-09 Debsoumya Chakraborti , Jaehoon Kim , Jinha Kim , Minki Kim , Hong Liu

We propose a notion of depth with respect to a finite family $\mathcal{F}$ of convex sets in $\mathbb{R}^d$ which we call $\text{dep}_\mathcal{F}$. We begin showing that $\text{dep}_\mathcal{F}$ satisfies some expected properties for a…

Combinatorics · Mathematics 2016-12-13 Leonardo Martínez-Sandoval , Roee Tamam

We prove Helly-type theorems for line transversals to disjoint unit balls in $\R^{d}$. In particular, we show that a family of $n \geq 2d$ disjoint unit balls in $\R^d$ has a line transversal if, for some ordering $\prec$ of the balls, any…

Computational Geometry · Computer Science 2007-05-23 Otfried Cheong , Xavier Goaoc , Andreas Holmsen , Sylvain Petitjean

In this note we show that a $p$-complete nilpotent space $X$ has a $p$-complete suspension spectrum if and only if its homotopy groups $\pi_*X$ are bounded $p$-torsion. In contrast, if $\pi_*X$ is not all bounded $p$-torsion, we locate…

Algebraic Topology · Mathematics 2017-12-21 Tobias Barthel , A. K. Bousfield

We study infinite intersections of open subschemes and the corresponding intersection of Hilbert schemes. If $\{U_i\}$ is the collection of open subschemes of a variety $X$ containing a fixed point $P$, then we show that the Hilbert functor…

Algebraic Geometry · Mathematics 2007-05-23 R. M. Skjelnes , C. Walter

Topological invariance of the intersection homology of a pseudomanifold without codimension one strata, proven by Goresky and MacPherson, is one of the main features of this homology. This property is true for codimension-dependent…

Algebraic Topology · Mathematics 2019-11-13 David Chataur , Martintxo Saralegi-Aranguren , Daniel Tanré

Let X be a zero-dimensional compact space such that all non-empty clopen subsets of X are homeomorphic to each other, and let H(X) be the group of all self-homeomorphisms of X with the compact-open topology. We prove that the Roelcke…

General Topology · Mathematics 2021-08-27 V. V. Uspenskij

Let X be a normed linear space. We examine if every open, convex and unbounded subset of X is equal to the union of a family of open straight half lines. The answer is affirmative if and only if X is finite dimensional.

Functional Analysis · Mathematics 2017-10-31 D. Moshonas , V. Nestoridis , A. Terezakis

Hall's Theorem is a basic result in Combinatorics which states that the obvious necesssary condition for a finite family of sets to have a transversal is also sufficient. We present a sufficient (but not necessary) condition on the sizes of…

Discrete Mathematics · Computer Science 2016-02-17 Arindam Biswas

We study parameters of the convexity spaces associated with families of sets in $\mathbb{R}^d$ where every intersection between $t$ sets of the family has its Betti numbers bounded from above by a function of $t$. Although the Radon number…

Computational Geometry · Computer Science 2024-11-28 Marguerite Bin

Let $M$ be a subset of $\mathbb{R}^k$. It is an important question in the theory of linear inequalities to estimate the minimal number $h=h(M)$ such that every system of linear inequalities which is infeasible over $M$ has a subsystem of at…

Optimization and Control · Mathematics 2010-10-07 Gennadiy Averkov , Robert Weismantel

Let X be a complex analytic manifold. Given a closed subspace $Y\subset X$ of pure codimension p>0, we consider the sheaf of local algebraic cohomology $H^p_{[Y]}({\cal O}_X)$, and ${\cal L}(Y,X)\subset H^p_{[Y]}({\cal O}_X)$ the…

Algebraic Geometry · Mathematics 2008-05-25 Tristan Torrelli