度量几何
We give another proof of Toyoda's theorem that describes 5-point subpaces in CAT(0) length spaces
There are several remarkable points, defined for polygons and multisets of points in the plane, called centers (such as the centroid). To make possible their study, there exists a formal definition for the concept of center in both cases.…
We showcase a small triacontadigon, i.e. a convex $32$-gon of unit diameter, with perimeter $3.1403311569546$, which improves on all examples available so far.
We prove a a formula for the first variation of the integral of a log-concave function, which allows us to define the surface area measure of such a function. The formula holds in complete generality with no regularity assumptions, and is…
Let $P$ be a bounded polyhedron defined as the intersection of the non-negative orthant ${\Bbb R}^n_+$ and an affine subspace of codimension $m$ in ${\Bbb R}^n$. We show that a simple and computationally efficient formula approximates the…
We study the problem of finding a function $f$ with ``small support'' that simultaneously tiles with finitely many lattices $\Lambda_1, \ldots, \Lambda_N$ in $d$-dimensional Euclidean spaces. We prove several results, both upper bounds…
Monotone sets have been introduced about ten years ago by Cheeger and Kleiner who reduced the proof of the non biLipschitz embeddability of the Heisenberg group into $L^1$ to the classification of its monotone subsets. Later on, monotone…
In 1957, Hadwiger conjectured that every convex body in $\mathbb{R}^d$ can be covered by $2^d$ translates of its interior. For over 60 years, the best known bound was of the form $O(4^d \sqrt{d} \log d)$, but this was recently improved by a…
We study the following question: for given $d\geq 2$, $n\geq d$ and $k \leq n$, what is the largest value $c(d,n,k)$ such that from any set of $n$ unit vectors in $\mathbb{R}^d$, we may select $k$ vectors with corresponding signs $\pm 1$ so…
Consider a point on a convex surface in $\mathbb{R}^d$, $d \ge 2$ and a plane of support $\Pi$ to the surface at this point. Draw a plane parallel to $\Pi$ cutting a part of the surface. We study the limiting behavior of this part of…
A horn angle between a circle and its tangent is considered in Euclid's Elements, and Euclid remarks that it is smaller than any acute rectilinear angle. Already in antiquity, Proclus wondered whether it is possible to bisect horn angles.…
Define the superball with radius $r$ and center ${\boldsymbol 0}$ in $\mathbb{R}^n$ to be the set $$ \left\{{\boldsymbol x}\in\mathbb{R}^n:\sum_{j=1}^{m}\left(x_{k_j+1}^2+x_{k_j+2}^2+\cdots+x_{k_{j+1}}^2\right)^{p/2}\leq…
The aim of this paper is to prove isoperimetric inequalities for simplices and polytopes with $d+2$ vertices in Euclidean, spherical and hyperbolic $d$-space. In particular, we find the minimal volume $d$-dimensional hyperbolic simplices…
We extend Prekopa's Theorem and the Brunn-Minkowski Theorem from convexity to $F$-subharmonicity. We apply this to the interpolation problem of convex functions and convex sets introducing a new notion of "harmonic interpolation" that we…
Let $Q_n=[0,1]^n$ be the unit cube in ${\mathbb R}^n$ and let $C(Q_n)$ be a space of continuous functions $f:Q_n\to{\mathbb R}$ with the norm $\|f\|_{C(Q_n)}:=\max_{x\in Q_n}|f(x)|.$ By $\Pi_1\left({\mathbb R}^n\right)$ denote a set of…
We develop a theory that may be considered as a prequel to the coarse theory. We are viewing ends of spaces as extra points at infinity. In order to discuss behaviour of spaces at infinity one needs a concept (a measure) of approaching…
We consider the problem of estimating the distance between two bodies of volume $\varepsilon$ located inside a $n$-dimensional ball $U$ of unit volume for $n\to\infty$. Let $A$ be a closed set with a smooth boundary of the volume…
We prove that for a compact metric space the property of having finite covering dimension is equivalent to the existence of a total order with finite snake number.
On the set of all metric measure spaces, we have two important metrics, the box metric and the observable metric, both introduced by M. Gromov. We obtain the representation of these metrics by using transport plan. In addition, we prove the…
We develop a rigidity theory for bar-joint frameworks in Euclidean $d$-space in which specified classes of edges are allowed to change length in a coordinated fashion that requires differences of lengths to be preserved within each class.…