Related papers: Dimension-free L2 maximal inequality for spherical…
The hypercube Q_n is the graph whose vertex set is {0,1}^n and where two vertices are adjacent if they differ in exactly one coordinate. For any subgraph H of the cube, let ex(Q_n, H) be the maximum number of edges in a subgraph of Q_n…
We show that the recently formulated Equivalence Principle (EP) implies a basic cocycle condition both in Euclidean and Minkowski spaces, which holds in any dimension. This condition, that in one-dimension is sufficient to fix the…
An extra large metric is a spherical cone metric with all cone angles greater than 2 pi and every closed geodesic longer than 2pi. We show that every two-dimensional extra large metric can be triangulated with vertices at cone points only.…
We prove that the lacunary spherical maximal operator, defined on the $n$-dimensional real hyperbolic space, is bounded on $L^p(\mathbb{H}^n)$ for all $n\ge2$ and $1<p\le\infty$. In particular, the lacunary set is significantly larger than…
E. Calabi and J. Cao showed that a closed geodesic of least length in a two-sphere with nonnegative curvature is always simple. Using min-max theory, we prove that for some higher dimensions, this result holds without assumptions on the…
In this paper, we establish dimension-free $L_p$-estimates for operator-valued maximal spherical means over cyclic groups $\Z_{m+1}^d$ for all $p>1$ and $m\geq1$. The key ingredient is a noncommutative extension of the spectral technique…
Given a matching $M$ in the hypercube $Q^n$, the \emph{profile} of $M$ is the vector $\boldsymbol{x}=(x_1,\ldots, x_n) \in \mathbb{N}^n$ such that $M$ contains $x_i$ edges whose endpoints differ in the $i$th coordinate. If $M$ is a perfect…
Shape metrics for objects in high dimensions remain sparse. Those that do exist, such as hyper-volume, remain limited to objects that are better understood such as Platonic solids and $n$-Cubes. Further, understanding objects of ill-defined…
The space of shapes of a polyhedron with given total angles less than 2\pi at each of its n vertices has a Kaehler metric, locally isometric to complex hyperbolic space CH^{n-3}. The metric is not complete: collisions between vertices take…
Various authors have calculated how many pairwise incomparable points can be selected from a partially ordered set. We tackle this question for the family of subsets of a finite set obtained by removing or adding a bounded number of…
We give a sharp lower bound on the area of the domain enclosed by an embedded curve lying on a two-dimensional sphere, provided that geodesic curvature of this curve is bounded from below. Furthermore, we prove some dual inequalities for…
Assuming that the dominant contribution, to the entropy due to entanglement across a spherical hypersurface, comes from the near horizon degrees of freedom, we analytically derive the entropy of a free massless scalar field in Minkowski…
We prove that the four-dimensional round sphere contains a minimally embedded hypertorus, as well as infinitely many, pairwise non-isometric, immersed ones. Our analysis also yields infinitely many, pairwise non-isometric, minimally…
We consider the derivative NLS equation in one spatial dimension, which is known to be completely integrable. We prove that the orbits of $L^2$ bounded and equicontinuous sets of initial data remain bounded and equicontinuous, not only…
A subset $S$ of the unit sphere $\mathbb{S}^2$ is called orthogonal-pair-free if and only if there do not exist two distinct points $u, v \in S$ at distance $\frac{\pi}{2}$ from each other. Witsenhausen \cite{witsenhausen} asked the…
Our main result is that every n-dimensional polytope can be described by at most (2n-1) polynomial inequalities and, moreover, these polynomials can explicitly be constructed. For an n-dimensional pointed polyhedral cone we prove the bound…
We show that the surface area preserving mean curvature flow in Euclidean space exists for all time and converges exponentially to a round sphere, if initially the L^2-norm of the traceless second fundamental form is small (but the initial…
In this paper, we show that the total area of two distinct surfaces with Gaussian curvature equal to 1, which are also conformal to the Euclidean unit disk with the same conformal factor on the boundary, must be at least 4{\pi}. In other…
Let $\mathcal{H}_i$ be a finite dimensional complex Hilbert space of dimension $d_i$ associated with a finite level quantum system $A_i$ for $i = i, 1,2, ..., k$. A subspace $S \subset \mathcal{H} = \mathcal{H}_{A_{1} A_{2}... A_{k}} =…
It is possible to have a packing by translates of a cube that is maximal (i.e.\ no other cube can be added without overlapping) but does not form a tiling. In the long running analogy of packing and tiling to orthogonality and completeness…