Related papers: Covering Hypercube $mB^n$

Liebmann's Theorem asserts that a compact, connected, convex surface with constant mean curvature (CMC) in the Euclidean space must be a totally umbilical sphere. In this article we extend Liebmann's result to hypersurfaces with boundary.…

Let $M$ be a hyperk\"ahler manifold with $b_2(M)\geq 5$. We improve our earlier results on the Morrison-Kawamata cone conjecture by showing that the Beauville-Bogomolov square of the primitive MBM classes (i.e. the classes whose orthogonal…

We provide upper bounds for the sum of the multiplicities of the non-constant irreducible factors that appear in the canonical decomposition of a polynomial $f(X)\in\mathbb{Z}[X]$, in case all the roots of $f$ lie inside an Apollonius…

In this paper we present three different results dealing with the number of $(\leq k)$-facets of a set of points: 1. We give structural properties of sets in the plane that achieve the optimal lower bound $3\binom{k+2}{2}$ of $(\leq…

Given a closed hyperbolic 3-manifold $M$, we construct a tower of covers with increasing Heegaard genus, and give an explicit lower bound on the Heegaard genus of such covers as a function of their degree. Using similar methods we prove…

We prove a conjecture of Toponogov on complete convex planes, namely that such planes must contain an umbilic point, albeit at infinity. Our proof is indirect. It uses Fredholm regularity of an associated Riemann-Hilbert boundary value…

We prove that a submaximal plane curve (i.e., an irreducible counterexample to Nagata's conjecture) with r singular points has sequence of multiplicities (m, n, ..., n) with m<sn for every integer with ((s-1)(s+2))^2 > 6.76(r-1).

Given a universe $\mathcal{U}=R \cup B$ of a finite set of red elements $R$, and a finite set of blue elements $B$ and a family $\mathcal{F}$ of subsets of $\mathcal{U}$, the \RBSC problem is to find a subset $\mathcal{F}'$ of $\mathcal{F}$…

If a convex body $K \subset \mathbb{R}^n$ is covered by the union of convex bodies $C_1, \ldots, C_N$, multiple subadditivity questions can be asked. Two classical results regard the subadditivity of the width (the smallest distance between…

We present subquadratic algorithms, in the algebraic decision-tree model of computation, for detecting whether there exists a triple of points, belonging to three respective sets $A$, $B$, and $C$ of points in the plane, that satisfy a…

Consider a finite collection of affine hyperplanes in $\mathbb R^d$. The hyperplanes dissect $\mathbb R^d$ into finitely many polyhedral chambers. For a point $x\in \mathbb R^d$ and a chamber $P$ the metric projection of $x$ onto $P$ is the…

Let $M$ be a complete K\"{a}hler manifold, whose universal covering is biholomorphic to a ball $\mathbb B^m(R_0)$ in $\mathbb C^m$ ($0<R_0\le +\infty$). In this article, we will show that if three meromorphic mappings $f^1,f^2,f^3$ of $M$…

For various triple systems $F$, we give tight lower bounds on the number of copies of $F$ in a triple system with a prescribed number of vertices and edges. These are the first such results for hypergraphs, and extend earlier theorems of…

The approximate degree of a Boolean function $f(x_{1},x_{2},\ldots,x_{n})$ is the minimum degree of a real polynomial that approximates $f$ pointwise within $1/3$. Upper bounds on approximate degree have a variety of applications in…

This paper views the honeycomb conjecture and the Kepler problem essentially as extreme value problems and solves them by partitioning 2-space and 3-space into building blocks and determining those blocks that have the universal extreme…

We construct a bi-Lipschitz bijection from the Boolean cube to the Hamming ball of equal volume. More precisely, we show that for all even n there exists an explicit bijection f from the n-dimensional Boolean cube to the Hamming ball of…

Let m be a positive integer and let G be a cubic graph of order 2n. We consider the problem of covering the edge-set of G with the minimum number of matchings of size m. This number is called excessive [m]-index of G in literature. The case…

Our contribution is a bounded cubic compilation theorem. For each fixed resource parameter $k$, syntactic proof checking at resource level $k$ is faithfully represented by a finite bounded-domain system of cubic polynomial equations. Every…

For almost all Riemannian metrics (in the $C^\infty$ Baire sense) on a compact manifold with boundary $(M^{n+1},\partial M)$, $3\leq (n + 1)\leq 7$, we prove that, for any open subset $V$ of $\partial M$, there exists a compact, properly…

We provide the currently fastest randomized (1+epsilon)-approximation algorithm for the closest vector problem in the infinity norm. The running time of our method depends on the dimension n and the approximation guarantee epsilon by 2^O(n)…