Related papers: Helly-type Theorems for Hollow Axis-aligned Boxes
We prove that if a stationary, real analytic, asymptotically flat vacuum black hole spacetime of dimension $n\geq 4$ contains a non-degenerate horizon with compact cross sections that are transverse to the stationarity generating Killing…
In this short note, we provide the necessary and sufficient condition for an infinite collection of axis-parallel boxes in $\mathbb{R}^{d}$ to be pierceable by finitely many axis-parallel $k$-flats, where $0 \leq k < d$. We also consider…
Helly graphs are graphs in which every family of pairwise intersecting balls has a non-empty intersection. This is a classical and widely studied class of graphs. In this article we focus on groups acting geometrically on Helly graphs --…
We consider a class of black holes for which the area of the two-dimensional spatial cross-section has a minimum on the horizon with respect to a quasiglobal (Krusckal-like) coordinate. If the horizon is regular, one can generate a tubelike…
Let $H$ be a complete $r$-uniform hypergraph such that two vertices are marked in each edge as its `boundary' vertices. A linear ordering of the vertex set of $H$ is called an {\em agreeing linear order}, provided all vertices of each edge…
An axis-parallel $d$--dimensional box is a Cartesian product $R_1 \times R_2 \times ... \times R_d$ where $R_i$ (for $1 \le i \le d$) is a closed interval of the form $[a_i, b_i]$ on the real line. For a graph $G$, its \emph{boxicity}…
It is shown that the rank-$k$ numerical range of every $n$-by-$n$ complex matrix is non-empty if $n \ge 3k - 2$. The proof is based on a recent characterization of the rank-$k$ numerical range by Li and Sze, the Helly's theorem on compact…
A separated $d$-interval is defined as a disjoint union of $d$ convex sets from the real line $\mathbb R$. In this paper, we establish a series of Helly-type theorems for convexity spaces derived from separated $d$-intervals. Our results…
We introduce a new variant of quantitative Helly-type theorems: the minimal \emph{"homothetic distance"} of the intersection of a family of convex sets to the intersection of a subfamily of a fixed size. As an application, we establish the…
Two boxes in $\mathbb{R}^d$ are comparable if one of them is a subset of a translation of the other one. The comparable box dimension of a graph $G$ is the minimum integer $d$ such that $G$ can be represented as a touching graph of…
Recent work showing the existence of conflict-free almost-perfect hypergraph matchings has found many applications. We show that, assuming certain simple degree and codegree conditions on the hypergraph $ \mathcal{H} $ and the conflicts to…
Asymptotically locally AdS black hole geometries of dimension d > 2 are studied for nontrivial topologies of the transverse section. These geometries are static solutions of a set of theories labeled by an integer 0 < k < [(d-1)/2] which…
Given a set $S \subseteq \mathbb{R}^d$, a hollow polytope has vertices in $S$ but contains no other point of $S$ in its interior. We prove upper and lower bounds on the maximum number of vertices of hollow polytopes whose facets are…
The boxicity $\operatorname{box}(H)$ of a graph $H$ is the smallest integer $d$ such that $H$ is the intersection of $d$ interval graphs, or equivalently, that $H$ is the intersection graph of axis-aligned boxes in $\mathbb{R}^d$. These…
A convex lattice set in $\mathbb{Z}^d$ is the intersection of a convex set in $\mathbb{R}^d$ and the integer lattice $\mathbb{Z}^d$. A well-known theorem of Doignon states that the Helly number of $d$-dimensional convex lattice sets equals…
A new solution of four-dimensional vacuum General Relativity is presented. It describes the near horizon region of the extreme (maximally spinning) binary black hole system with two identical extreme Kerr black holes held in equilibrium by…
We place further restriction on the possible topology of stationary asymptotically flat vacuum black holes in 5 spacetime dimensions. We prove that the horizon manifold can be either a connected sum of Lens spaces and "handles" $S^1 \times…
We prove that if any $\lfloor3d/2 \rfloor$ or fewer elements of a finite family of linear operators $\mathbb K^d\to \mathbb K^d$ ($\mathbb K$ is an arbitrary field) have a common eigenvector then all operators in the family have a common…
We consider the classification of static near-horizon geometries of stationary extremal (not necessarily BPS) black hole solutions of five dimensional Einstein-Maxwell theory coupled to a Chern-Simons term with coupling xi (with xi=1…
We consider black holes in an "unsuitable box": a finite cavity coupled to a thermal reservoir at a temperature different than the black hole's Hawking temperature. These black holes are described by metrics that are continuous but not…