Related papers: Spherical Separation Theorem

We study intersections of projective convex sets in the sense of Steinitz. In a projective space, an intersection of a nonempty family of convex sets splits into multiple connected components each of which is a convex set. Hence, such an…

An open set in C^n is pseudoconvex if and only if its intersection with every affine subspace of complex dimension two as seen as an open set in C^2 is pseudoconvex.

In this short note we provide a new proof of the recent result of Han and Nashimura on the separation of spherical convex sets established in arXiv:2002.06558. Our proof is based on a result stated in locally convex spaces.

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…

A subset of the d-dimensional Euclidean space having nonempty interior is called a spindle convex body if it is the intersection of (finitely or infinitely many) congruent d-dimensional closed balls. The spindle convex body is called a…

Two elements, $x$ and $y$, are separated by a set $S$ if it contains exactly one of $x$ and $y$. We prove that any set of $n$ points in general position in the plane can be separated by $O(n\log\log n/\log n)$ convex sets, and for some…

A famous result of Hausdorff states that a sphere with countably many points removed can be partitioned into three pieces A,B,C such that A is congruent to B (i.e., there is an isometry of the sphere which sends A to B), B is congruent to…

F. Wehrung has asked: Given a family $\mathcal{C}$ of subsets of a set $\Omega$, under what conditions will there exist a total ordering on $\Omega$ under which every member of $\mathcal{C}$ is convex? <p> Note that if $A$ and $B$ are…

We prove that any $n$-dimensional closed mean convex $\lambda$-hypersurface is convex if $\lambda\le 0.$ This generalizes Guang's work on $2$-dimensional strictly mean convex $\lambda$-hypersurfaces. As a corollary, we obtain a gap theorem…

This paper studies algebraic residual intersections in rings with Serre's condition \( S_{s} \). It demonstrates that residual intersections admit free approaches i.e. perfect subideal with the same radical. This fact leads to determining a…

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…

The connected wedge theorem states that in order to have a scattering process in the bulk, it is necessary to have $O(1/G_N)$ mutual information between certain "decision" regions in the boundary theory. While this large mutual information…

We consider the following problem: Given a point set in space find a largest subset that is in convex position and whose convex hull is empty. We show that the (decision version of the) problem is W[1]-hard.

The present work concerns generalized convex sets in the real multi-dimensional Euclidean space, known as weakly $1$-convex and weakly $1$-semiconvex sets. An open set is called weakly $1$-convex (weakly $1$-semiconvex) if, through every…

Properties of two classes of generally convex sets in the n-dimentional real Euclidean space, called m-semiconvex and weakly m-semiconvex, 1<=m<n, are investigated in the present work. In particular, it is established that an open set with…

In this paper, we solve a separation of singularities problem in the Bergman space. More precisely, we show that if $P\subset \mathbb{C}$ is a convex polygon which is the intersection of $n$ half planes, then the Bergman space on $P$…

We prove that a nonempty closed and geodesically convex subset of the $l_{\infty}$ plane $\mathbb{R}^2_{\infty}$ is hyperconvex and we characterize the tight spans of arbitrary subsets of $\mathbb{R}^2_{\infty}$ via this property: Given any…

Assume two finite families $\mathcal A$ and $\mathcal B$ of convex sets in $\mathbb{R}^3$ have the property that $A\cap B\ne \emptyset$ for every $A \in \mathcal A$ and $B\in \mathcal B$. Is there a constant $\gamma >0$ (independent of…

We show that if $\mathbb{R} = A \cup B$ is a partition of $\mathbb{R}$ into two suborders $A$ and $B$, then there is an open interval $I$ such that $A \cap I$ is not order-isomorphic to $B \cap I$. The proof depends on the completeness of…

Let $X$ be a proper CAT($0$) space and $G$ a cocompact group of isometries of $X$ without fixed point at infinity. We prove that if $\partial X$ contains an invariant subset of circumradius $\pi/2$, then $X$ contains a quasi-dense, closed…