Related papers: The John Theorem for Simplex
Consider a random set of points on the unit sphere in $\mathbb{R}^d$, which can be either uniformly sampled or a Poisson point process. Its convex hull is a random inscribed polytope, whose boundary approximates the sphere. We focus on the…
A type analysable in one-based types in a simple theory is itself one-based.
In this paper a generalized topological central point theorem is proved for maps of a simplex to finite-dimensional metric spaces. Similar generalizations of the Tverberg theorem are considered.
We show that smooth and strongly convex bodies in the symplectic $\mathbb R^{2n}$ for $n>1$ with all characteristics planar, or all outer billiard trajectories planar are affine symplectic images of balls.
The purpose of this paper is to give a survey of the various versions of Floer homology for manifolds with contact type boundary that have so far appeared in the literature. Under the name of ``Symplectic homology'' or ``Floer homology for…
A classical theorem by Jacobson says that a ring in which every element $x$ satisfies the equation $x^n=x$ for some $n>1$ is commutative. According to Birkhoff's Completeness Theorem, if $n$ is fixed, there must be an equational proof of…
Taylor's theorem (and its variants) is widely used in several areas of mathematical analysis, including numerical analysis, functional analysis, and partial differential equations. This article explains how Taylor's theorem in its most…
We prove that the set of directions of lines intersecting three disjoint balls in $R^3$ in a given order is a strictly convex subset of $S^2$. We then generalize this result to $n$ disjoint balls in $R^d$. As a consequence, we can improve…
We introduce and analyze the characteristic foliation induced by a contact structure on a branched surface, in particular a branched standard spine of a 3-manifold. We extend to (fairly general) singular foliations of branched surfaces the…
We give a new and elementary proof that the number of elastic collisions of a finite number of balls in the Euclidean space is finite. We show that if there are $n$ balls of equal masses and radii 1, and at the time of a collision between…
The rigidity theorems of Alexandrov (1950) and Stoker (1968) are classical results in the theory of convex polyhedra. In this paper we prove analogues of them for normal (resp., standard) ball-polyhedra. Here, a ball-polyhedron means an…
The John equation serves as the mathematical foundation of the X-ray transform, describing the intrinsic compatibility conditions that projection data must satisfy. In this paper, within three-dimensional (3D) Euclidean space, an innovative…
We prove that every plane passing through the origin divides an embedded compact free boundary minimal surface of the euclidean $3$-ball in exactly two connected surfaces. We also show that if a region in the ball has mean convex boundary…
We establish connections between contact isometry groups of certain contact manifolds and compactly supported symplectomorphism groups of their symplectizations. We apply these results to investigate the space of symplectic embeddings of…
Finding a largest Euclidean ball in a given convex body $K \subset \mathbb{R}^d$ and finding a largest volume ellipsoid in $K$ are two problems of fundamentally different nature. The first is a purely Euclidean problem, where we consider…
Ball's complex plank theorem states that if $v_1,\dots,v_n$ are unit vectors in $\mathbb{C}^d$, and $t_1,\dots,t_n$, non-negative numbers satisfying $\sum_{k=1}^nt_k^2 = 1,$ then there exists a unit vector $v$ in $\mathbb{C}^d$ for which…
We present a formalization of convex polyhedra in the proof assistant Coq. The cornerstone of our work is a complete implementation of the simplex method, together with the proof of its correctness and termination. This allows us to define…
It is shown in our earlier paper that, using only tools of elementary geometry, the classical Routh's theorem for triangles can be fully extended to tetrahedra. In this article we first give another proof of Routh's theorem for tetrahedra…
We prove that if a continuous piecewise-smooth map on $\mathbb{R}^n$ is comprised of two linear functions, has a bounded orbit, and satisfies a certain non-degeneracy condition, then it has a fixed point. The result has important…
We give a remarkably elementary proof of the Brouwer fixed point theorem. The proof is verifiable for most of the mathematicians.