Mathematics - Metric Geometry Publications (50)


Mathematics - Metric Geometry Publications

Slicing a Voronoi tessellation in $\mathbb{R}^n$ with a $k$-plane gives a $k$-dimensional weighted Voronoi tessellation, also known as power diagram or Laguerre tessellation. Mapping every simplex of the dual weighted Delaunay mosaic to the radius of the smallest empty circumscribed sphere whose center lies in the $k$-plane gives a generalized discrete Morse function. Assuming the Voronoi tessellation is generated by a Poisson point process in $\mathbb{R}^n$, we study the expected number of simplices in the $k$-dimensional weighted Delaunay mosaic as well as the expected number of intervals of the Morse function, both as functions of a radius threshold. Read More

We mainly consider two metrics: a Gromov hyperbolic metric and a scale invariant Cassinian metric. We compare these two metrics and obtain their relationship with certain well-known hyperbolic-type metrics, leading to several inclusion relations between the associated metric balls. Read More

We provide an algebraic description of the Teichm\"uller space and moduli space of flat metrics on a closed manifold or orbifold and study its boundary, which consists of (isometry classes of) flat orbifolds to which the original object may collapse. It is also shown that every closed flat orbifold can be obtained by collapsing closed flat manifolds, and the collapsed limits of closed flat 3-manifolds are classified. Read More

Kleiner's theorem states that for a finitely generated group $\mathbb{G}$, polynomial growth implies that the space of harmonic functions with polynomial growth of degree at most $k$ is finite dimensional. We show a generalization to the class of measures with exponential tail. This has implications to the structure of the space of polynomially growing harmonic functions. Read More

Warped cones are metric spaces introduced by John Roe from discrete group actions on compact metric spaces to produce interesting examples in coarse geometry. We show that a certain class of warped cones $\mathcal{O}_\Gamma (M)$ admit a fibred coarse embedding into a $L_p$-space ($1\leq p<\infty$) if and only if the discrete group $\Gamma$ admits a proper affine isometric action on a $L_p$-space. This actually holds for any class of Banach spaces stable under taking Lebesgue-Bochner $L_p$-spaces and ultraproducts, e. Read More

We classify the radially symmetric connections in vector bundles over round spheres by proving that they are all parallel. Read More

Giving a joint generalization of a result of Brazitikos, Chasapis and Hioni and results of Giannopoulos and Milman, we prove that roughly $\left\lceil \frac{d}{(1-\vartheta)^d}\ln\frac{1}{(1-\vartheta)^d} \right\rceil$ points chosen uniformly and independently from a centered convex body $K$ in ${\mathbb R}^d$ yield a polytope $P$ for which $\vartheta K\subseteq P\subseteq K$ holds with large probability. The proof is simple, and relies on a combinatorial tool, the $\varepsilon$-net theorem. Read More

We establish a natural and geometric 1-1 correspondence between projective toric varieties of dimension $n$ and horofunction compactifications of $\mathbb{R}^n$ with respect to rational polyhedral norms. For this purpose, we explain a topological model of toric varieties. Consequently, toric varieties in algebraic geometry, normed spaces in convex analysis, and horofunction compactifications in metric geometry are directly and explicitly related. Read More

In this article, we propose the notion of the general $p$-affine capacity and prove some basic properties for the general $p$-affine capacity, such as affine invariance and monotonicity. The newly proposed general $p$-affine capacity is compared with several classical geometric quantities, e.g. Read More

We consider the sound ranging problem, which is to find the position of the source-point from the moments when the wave-sphere of linearly, with time, increasing radius reaches the sensor-points, in the infinite-dimensional separable Euclidean space H, and describe the solving methods, for entire space and for its unit sphere. In the former case, we give the conditions ensuring the uniqueness of the solution. We also provide two examples with the sets of sensors being a basis of H: 1st, when sound ranging problem and so-called dual problem both have single solutions, and 2nd, when sound ranging problem has two distinct solutions. Read More

The equidistant set of two nonempty subsets $K$ and $L$ in the Euclidean plane is a set all of whose points have the same distance from $K$ and $L$. Since the classical conics can be also given in this way, equidistant sets can be considered as a kind of their generalizations: $K$ and $L$ are called the focal sets. In their paper \cite{PS} the authors posed the problem of the characterization of closed subsets in the Euclidean plane that can be realized as the equidistant set of two connected disjoint closed sets. Read More

Let $(M,d)$ be a bounded countable metric space and $c>0$ a constant, such that $d(x,y)+d(y,z)-d(x,z) \ge c$, for any pairwise distinct points $x,y,z$ of $M$. For such metric spaces we prove that they can be isometrically embedded into any Banach space containing an isomorphic copy of $\ell_\infty$. Read More

In this article a new concentration inequality is proven for Lipschitz maps on the infinite Hamming graphs and taking values in Tsirelson's original space. This concentration inequality is then used to disprove the conjecture that the separable infinite dimensional Hilbert space coarsely embeds into every infinite dimensional Banach space. Some positive embeddability results are proven for the infinite Hamming graphs and the countably branching trees using the theory of spreading models. Read More

We study Riemannian metrics on compact, torsionless, non-geometric $3$-manifolds, i.e. whose interior does not support any of the eight model geometries. Read More

Apollonian gaskets are formed by repeatedly filling the interstices between four mutually tangent circles with further tangent circles. We experimentally study the pair correlation, electrostatic energy, and nearest neighbor spacing of centers of circles from Apollonian gaskets. Even though the centers of these circles are not uniformly distributed in any `ambient' space, after proper normalization, all these statistics seem to exhibit some interesting limiting behaviors. Read More

We determine barycentric coordinates of triangle centers in the elliptic plane. The main focus is put on centers that lie on lines whose euclidean limit (triangle excess $\rightarrow 0$) is the Euler line or the Brocard line. We also investigate curves which can serve in elliptic geometry as substitutes for the euclidean nine-point-circle, the first Lemoine circle or the apollonian circles. Read More

We will prove a reverse Rogers-Shephard inequality for log-concave functions. In some particular cases, the method used for general log-concave functions can be slightly improved, allowing us to prove volume estimates for polars of $\ell_p$-diferences of convex bodies whose polar bodies under some condition on the barycenter of their polar bodies. Read More

Let $D$ be a bounded domain $D$ in $\mathbb R^n $ with infinitely smooth boundary and $n$ is odd. We prove that if the volume cut off from the domain by a hyperplane is an algebraic function of the hyperplane, free of real singular points, then the domain is an ellipsoid. This partially answers a question of V. Read More

We introduce and study skew product Smale endomorphisms over finitely irreducible topological Markov shifts with countable alphabets. We prove that almost all conditional measures of equilibrium states of summable and locally Holder continuous potentials are dimensionally exact, and that their dimension is equal to the ratio of the (global) entropy and the Lyapunov exponent. We also prove for them a formula of Bowen type for the Hausdorff dimension of all fibers. Read More

We establish a coarse version of the Cartan-Hadamard theorem, which states that proper coarsely convex spaces are coarsely homotopy equivalent to the open cones of their ideal boundaries. As an application, we show that such spaces satisfy the coarse Baum-Connes conjecture. Combined with the result of Osajda-Przytycki, it implies that systolic groups and locally finite systolic complexes satisfy the coarse Baum-Connes conjecture. Read More

We compactify the classical moduli variety $A_g$ of principally polarized abelian varieties of complex dimension $g$ by attaching the moduli of flat tori of real dimensions at most $g$ in an explicit manner. Equivalently, we explicitly determine the Gromov-Hausdorff limits of principally polarized abelian varieties. This work is analogous to the first of our series (available at arXiv:1406. Read More

We prove that ideal sub-Riemannian manifolds (i.e., admitting no non-trivial abnormal minimizers) support interpolation inequalities for optimal transport. Read More

Suppose $(M^{n},g)$ is a Riemannian manifold with nonnegative Ricci curvature, and let $h_{d}(M)$ be the dimension of the space of harmonic functions with polynomial growth of growth order at most $d$. Colding and Minicozzi proved that $h_{d}(M)$ is finite. Later on, there are many researches which give better estimates of $h_{d}(M)$. Read More

Mixed volumes $V(K_1,\dots, K_d)$ of convex bodies $K_1,\dots ,K_d$ in Euclidean space $\mathbb{R}^d$ are of central importance in the Brunn-Minkowski theory. Representations for mixed volumes are available in special cases, for example as integrals over the unit sphere with respect to mixed area measures. More generally, in Hug-Rataj-Weil (2013) a formula for $V(K [n], M[d-n])$, $n\in \{1,\dots ,d-1\}$, as a double integral over flag manifolds was established which involved certain flag measures of the convex bodies $K$ and $M$ (and required a general position of the bodies). Read More

We relate the existence of many infinite geodesics on Alexandrov spaces to a statement about the average growth of volumes of balls. We deduce that the geodesic flow exists and preserves the Liouville measure in several important cases. The developed analytic tool has close ties to integral geometry. Read More

This article presents the currently known examples of 4-regular matchstick graphs with 63 - 70 vertices. Read More

It is proved that for $k\geq 4$, if the points of $k$-dimensional Euclidean space are coloured in red and blue, then there are either two red points distance one apart or $k+3$ blue collinear points with distance one between any two consecutive points. This result is new for $4\leq k\leq 10$. Read More

This paper introduces an extension of Heron's formula to approximate area of cyclic n-gons where the error never exceeds $\frac{\pi}{e}-1$ Read More

A polyellipse is a curve in the Euclidean plane all of whose points have the same sum of distances from finitely many given points (focuses). The classical version of Erd\H{o}s-Vincze's theorem states that regular triangles can not be presented as the Hausdorff limit of polyellipses even if the number of the focuses can be arbitrary large. In other words the topological closure of the set of polyellipses with respect to the Hausdorff distance does not contain any regular triangle and we have a negative answer to the problem posed by E. Read More

Recently we showed that only one unique configuration of 7 equal round cylinders (all mutually touching) is possible in 3D, although a whole world of configurations is possible for arbitrary radii of the cylinders. It was found that as many as 9 round cylinders (all mutually touching) are possible in 3D while the upper limit for arbitrary cylinders was established to be not more than 14. Now by using the chirality and Ring matrices that we introduced earlier for the topological classification of line configurations, we have established the rigorous limit for the number of mutually touching straight infinite cylinders of arbitrary cross-section in 3D. Read More

We show that any d-colored set of points in general position in \R^d can be partitioned into n subsets with disjoint convex hulls such that the set of points and all color classes are partitioned as evenly as possible. This extends results by Holmsen, Kyn\v{c}l \& Valculescu (2017) and establishes a central case of their general conjecture. Our proof utilizes a result of Sober\'on (2012) on simultaneous equipartitions of d continuous measures in \R^d by n convex regions, which gives a convex partition of \R^d with the desired properties, except that points may lie on the boundaries of the regions. Read More

We consider a method of construction of self-similar dendrites on a plane and establish main topological and metric properties of resulting class of dendrites. Read More

In the present paper we study the $\SOL$ geometry that is one of the eight homogeneous Thurston 3-geomet\-ri\-es. We determine the equation of the translation-like bisector surface of any two points. We prove, that the isosceles property of a translation triangle is not equivalent to two angles of the triangle being equal and that the triangle inequalities do not remain valid for translation triangles in general. Read More

The aim of this paper is to obtain new solutions to the open question on the existence of a contractive condition which is strong enough to generate a fixed point but which does not force the map to be continuous at the fixed point. To do this, we use the right-hand side of the classical Rhoades' inequality and the set $M(x,y)$ given in the definition of an $(\alpha ,\beta )$-Geraghty type-$I$ rational contractive mapping. Also we give an application of these new results to discontinuous activation functions. Read More

B\'ar\'any, Kalai, and Meshulam recently obtained a topological Tverberg-type theorem for matroids, which guarantees multiple coincidences for continuous maps from a matroid complex to d-dimensional Euclidean space, if the matroid has sufficiently many disjoint bases. They make a conjecture on the connectivity of k-fold deleted joins of a matroid with many disjoint bases, which would yield a much tighter result - but we provide a counterexample already for the case of k=2, where a tight Tverberg-type theorem would be a topological Radon theorem for matroids. Nevertheless, we prove the topological Radon theorem for the counterexample family of matroids by an index calculation, despite the failure of the connectivity-based approach. Read More

We provide estimates for the dimensions of sets in $\mathbb{R}$ which uniformly avoid finite arithmetic progressions. More precisely, we say $F$ uniformly avoids arithmetic progressions of length $k \geq 3$ if there is an $\epsilon>0$ such that one cannot find an arithmetic progression of length $k$ and gap length $\Delta>0$ inside the $\epsilon \Delta$ neighbourhood of $F$. Our main result is an explicit upper bound for the Assouad (and thus Hausdorff) dimension of such sets in terms of $k$ and $\epsilon$. Read More

Given a projective hyperkahler manifold with a holomorphic Lagrangian fibration, we prove that hyperkahler metrics with volume of the torus fibers shrinking to zero collapse in the Gromov-Hausdorff sense (and smoothly away from the singular fibers) to a compact metric space which is a half-dimensional special Kahler manifold outside a singular set of real Hausdorff codimension 2. Read More

Using the geodesic distance on the $n$-dimensional sphere, we study the expected radius function of the Delaunay mosaic of a random set of points. Specifically, we consider the partition of the mosaic into intervals of the radius function and determine the expected number of intervals whose radii are less than or equal to a given threshold. Assuming the points are not contained in a hemisphere, the Delaunay mosaic is isomorphic to the boundary complex of the convex hull in $\mathbb{R}^{n+1}$, so we also get the expected number of faces of a random inscribed polytope. Read More

We correct one erroneous statement made in our recent paper {\it Medial axis and singularities}. Read More

In 3- and 4-dimensional hyperbolic spaces there are four, respectively five, regular mosaics with bounded cells. A belt can be created around an arbitrary base vertex of a mosaic. The construction can be iterated and a growing ratio can be determined by using the number of the cells of the considered belts. Read More

In this paper we provide an alternative reduction theory for real, binary forms with no real roots. Our approach is completely geometric, making use of the notion of hyperbolic center of mass in the upper half-plane. It appears that our model compares favorably with existing reduction theories, at least in certain aspects related to the field of definition. Read More

By rectangle packing we mean putting a set of rectangles into an enclosing rectangle, without any overlapping. We begin with perfect rectangle packing problems, then prove two continuity properties for parallel rectangle packing problems, and discuss how they might be used to obtain negative results for perfect rectangle packing problems. Read More

Consider an arrangement of $n$ congruent zones on the $d$-dimensional unit sphere $S^{d-1}$, where a zone is the intersection of an origin symmetric Euclidean plank with $S^{d-1}$. We prove that, for sufficiently large $n$, it is possible to arrange $n$ equal zones of suitable width on $S^{d-1}$ such that no point belongs to more than a constant number of zones, where the constant depends only on the dimension and the width of the zones. Furthermore, we also show that it is possible to cover $S^{d-1}$ by $n$ equal zones such that each point of $S^{d-1}$ belongs to at most $A_d\ln n$ zones, where the $A_d$ is a constant that depends only on $d$. Read More

In this paper, we address the following algebraic generalization of the bipartite stable set problem. We are given a block-structured matrix (partitioned matrix) $A = (A_{\alpha \beta})$, where $A_{\alpha \beta}$ is an $m_{\alpha}$ by $n_{\beta}$ matrix over field ${\bf F}$ for $\alpha=1,2,\ldots,\mu$ and $\beta = 1,2,\ldots,\nu$. The maximum vanishing subspace problem (MVSP) is to maximize $\sum_{\alpha} \dim X_{\alpha} + \sum_{\beta} \dim Y_{\beta}$ over vector subspaces $X_{\alpha} \subseteq {\bf F}^{m_{\alpha}}$ for $\alpha=1,2,\ldots,\mu$ and $Y_{\beta} \subseteq {\bf F}^{n_{\beta}}$ for $\beta = 1,2,\ldots,\nu$ such that each $A_{\alpha \beta}$ vanishes on $X_{\alpha} \times Y_{\beta}$ when $A_{\alpha \beta}$ is viewed as a bilinear form ${\bf F}^{m_{\alpha}} \times {\bf F}^{n_{\beta}} \to {\bf F}$. Read More

It is shown that for a finite set $A$ of four or more complex numbers, the cardinality of the set $C[A]$ of all cross-ratios generated by quadruples of pair-wise distinct elements of $A$ is $|C[A]|\gg |A|^{2+\frac{2}{11}}\log^{-\frac{6}{11}} |A|$ and without the logarithmic factor in the real case. The set $C=C[A]$ always grows under both addition and multiplication. The cross-ratio arises, in particular, in the study of the open question of the minimum number of triangle areas, with two vertices in a given non-collinear finite point set in the plane and the third one at the fixed origin. Read More

In this note we study the Banach-Mazur distance between the $n$-dimensional cube and the crosspolytope. Previous work shows that the distance has order $\sqrt{n}$, and here we will prove some explicit bounds improving on former results. Even in dimension 3 the exact distance is not known, and based on computational results it is conjectured to be $\frac{9}{5}$. Read More

Uniform Roe algebras are $C^*$-algebras associated to discrete metric spaces: as well as forming a natural class of $C^*$-algebras in their own right, they have important applications in coarse geometry, dynamics, and higher index theory. The goal of this paper is to study when uniform Roe algebras have certain $C^*$-algebraic properties in terms of properties of the underlying space: in particular, we study properties like having stable rank one or real rank zero that are thought of as low dimensional, and connect these to low dimensionality of the underlying space in the sense of the asymptotic dimension of Gromov. Some of these results (for example, on stable rank one and cancellation) give definitive characterizations, while others (on real rank zero) are only partial and leave a lot open. Read More

Two hexagons in the space are said to intersect badly if the intersection of their convex hulls consists of at least one common vertex as well as an interior point. We are going to show that the number of hexagons on n points in 3-space without bad intersections is o(n^2), under the assumption that the hexagons are "fat". Read More

We study topological properties of the Gromov-Hausdorff metric on the set of isometry classes of nonnegatively curved $2$-spheres. Read More