度量几何
We prove polarity duality for covering problems in Hilbert geometry. Let $G$ and $K$ be convex bodies in $\mathbb{R}^d$ where $G \subset \operatorname{int}(K)$ and $\operatorname{int}(G)$ contains the origin. Let $N^H_K(G,\alpha)$ and…
In 2014 the author showed that in the three-dimensional spherical space, alongside with three classical types of flexible octahedra constructed by Bricard, there exists a new type of flexible octahedra, which was called exotic. In the…
We introduce the notion of timed-Gromov--Hausdorff distance for timed-metric spaces. We prove that this distance is bi-Lipschitz equivalent to the intrinsic timed-Hausdorff distance of Sakovich--Sormani, and therefore induces the same…
We determine putative optimal packings of regular spherical polygons via optimization on smooth manifolds. For several cases, we establish maximality by extending the Lov\'asz theta number to Cayley graphs on the special orthogonal group…
In this work, we extend a classical theorem of Keith Ball on integrals of log-concave functions along rays against the weight $r^{p-1}$ to the previously inaccessible regime $p\in (-1,0)$: if $g:\mathbb R^n\to\mathbb R_+$ is an integrable…
We define a multi-scale metric $d_\rho$ on strings by aggregating angle distances between all $n$-gram count vectors with exponential weights $\rho^n$. We benchmark $d_\rho$ in DBSCAN clustering against edit and $n$-gram baselines, give a…
We study the $l_p$ Hausdorff distance from convex hull of a compact set $A\subset\mathbb{R}^n$, which is the distance \begin{equation*} d^{(l_p)}(A):=\sup_{x\in conv(A)}\inf_{a\in A}\|x-a\|_p, \end{equation*} where $\|\cdot\|_p$ is the…
We prove that the volume of central hyperplane sections of a unit cube in $\mathbb{R}^n$ orthogonal to a diameter of the cube is a strictly monotonically increasing function of the dimension for $n\geq 3$. Our argument uses an integral…
This paper aims to establish a relation between the tangent cone of the medial axis of X at a given point a of R^n$ and the medial axis of the set of points in X realising the distance d(a,X). As a consequence, a lower bound for the…
This paper develops the notion of superquadracity defined by L.Birbrair and M.Denkowski for subsets of R^n. In this regard, the main theorem of the paper establishes the relation between the superquadracity and non-empty intersection of the…
We prove that the contact graph of a 2-dimensional CAT(0) cube complex ${\bf X}$ of maximum degree $\Delta$ can be coloured with at most $\epsilon(\Delta)=M\Delta^{26}$ colours, for a fixed constant $M$. This implies that ${\bf X}$ (and the…
It is a long-standing open question to determine whether the Sierpi\'nski carpet attains its conformal dimension or not. While this problem remains unresolved, we prove that Cartesian products $\mathbb{S}^k$, where $\mathbb{S}$ is the…
By means of constructing a new edge-bending algorithm, we prove that every locally polyhedral tiling of $\mathbb{R}^3$ can be completely softened. A weaker form of this statement, for polyhedral space tilings, was conjectured by Domokos,…
In this paper we provide conditions for a Wasserstein barycenter to be absolutely continuous with respect to its Hausdorff measure away from the vertices of the graph.
We construct a Lipschitz curve in the free Carnot group of step 3 with 2 generators that meets every $C^{1}$ horizontal curve in a set of measure zero. This shows that the $C^{1}_{H}$-Lusin property fails in a strong sense in this group,…
We construct a conservative and strongly local regular symmetric Dirichlet form on the pointed Gromov--Hausdorff limit space and demonstrate the stability of heat kernel estimates under this convergence. Furthermore, we establish the Mosco…
We show that whenever a separable subset $S$ of a complete metric space $X$ admits a $d$-dimensional weak tangent field, the set $S$ is close to being $d$-dimensional in the following sense. Whenever $\mu$ is a Borel finite measure on $X$…
We extend the structure theory of Burago--Gromov--Perelman for Alexandrov spaces with curvature bounded below, to the setting of Busemann spaces with non-negative curvature. We prove that any finite-dimensional Busemann space with…
$\Phi$-intermediate dimensions interpolate between Hausdorff and box-counting dimensions by restricting admissible coverings to scale windows of the form $[\Phi(r),r]$. Using a family of $\Phi$-dependent kernels, we develop a…
Gromov introduced the notion of a pyramid as a generalization of a metric measure space, based on the idea of the concentration of measure phenomenon. In this paper, we introduce the concept of a direct sum of pyramids, which naturally…