Generalised lower Assouad-type dimensions and their interpolations

2026-02-07T08:13:29Z

This paper investigates the analytic and structural properties of the $φ$-lower Assouad dimension, a generalized notion extending the lower Assouad dimension. We establish the equivalence of $φ$-lower Assouad dimensions with respect to the dimension functions, prove analytic properties related to the regularity of the $φ$-lower dimension, and analyse the role of rate windows in this context. Furthermore, we explore both positive and negative interpolation properties of the $φ$-lower dimension by presenting corresponding theorems that delineate these behaviors.

Infinity Search: Approximate Vector Search with Projections on q-Metric Spaces

2026-02-07T04:21:36Z

An ultrametric space or infinity-metric space is defined by a dissimilarity function that satisfies a strong triangle inequality in which every side of a triangle is not larger than the larger of the other two. We show that search in ultrametric spaces with a vantage point tree has worst-case complexity equal to the depth of the tree. Since datasets of interest are not ultrametric in general, we employ a projection operator that transforms an arbitrary dissimilarity function into an ultrametric space while preserving nearest neighbors. We further learn an approximation of this projection operator to efficiently compute ultrametric distances between query points and points in the dataset. We proceed to solve a more general problem in which we consider projections in $q$-metric spaces -- in which triangle sides raised to the power of $q$ are smaller than the sum of the $q$-powers of the other two. Notice that the use of learned approximations of projected $q$-metric distances renders the search pipeline approximate. We show in experiments that increasing values of $q$ result in faster search but lower recall. Overall, search in q-metric and infinity metric spaces is competitive with existing search methods.

Steiner symmetrization with respect to the Kakutani-Fibonacci sequence of directions

2026-02-05T20:35:13Z

In this paper we will prove that for any planar measurable set of finite measure $M$, its successive Steiner symmetrizations with respect to the Kakutani-Fibonacci sequence of directions converge to the ball $M^*$ centered at the origin and having the same measure.

Continuous invariant-based asymmetries of periodic crystals quantify deviations from higher symmetry

2026-02-05T18:37:48Z

Ideal symmetry is known to break down under almost any noise. One measure of asymmetry in a periodic crystal is the relative multiplicity Z' of geometrically non-equivalent units. However, Z' discontinuously changes under almost any displacement of atoms, which can arbitrarily scale up a primitive cell. This discontinuity was recently resolved by a hierarchy of invariant descriptors that continuously change under all small perturbations. We introduce a Continuous Invariant-based Asymmetry (CIA) to quantify (in physically meaningful Angstroms) the deviation of a periodic crystal from a higher symmetry form. Our experiments on several Crystal Structure Prediction datasets show that about a half of simulated crystals have high values of CIA, while all experimental structures in these datasets have CIA=0. On another hand, many crystals with high values Z' in the Cambridge Structural Database (CSD) turned out to be close to more symmetric forms with Z'<=1 due to low values of CIAs.

Geometry and Dress groups with non-symmetric cost functions

2026-02-05T17:36:11Z

A metric relation by definition is symmetric. Since many data sets are non-symmetric, in this paper we develop a systematic theory of non-symmetric cost functions. Betweenness relations play an important role. We also introduce the notion of a Dress group in the non-symmetric setting and indicate a notion of curvature.

Generalized Perfect Matrices

2026-02-05T16:28:36Z

We generalize Voronoi's theory of perfect quadratic forms to generalized copositive matrices over a closed convex and full-dimensional cone K. We introduce a notion of a K-copositive minimum and of perfect K-copositive matrices. We consider a key feature of a given cone, which we call Interior Ryshkov (IR) property. Under this property the classical theory and its applications generalize nicely and we prove that rationally generated cones possess this IR property. For contrast, we give a detailed example of a simple cone without the IR property, showing various differences to the classical case. Moreover, this example yields connections to questions of number theory, in particular to Diophantine approximation and the Pell Equation. Finally, as an application, we give inner and outer polyhedral approximations for the generalized completely positive cone and a method to find rational certificates for (non-)membership in this cone.

Busemann and MCP

2026-02-05T15:05:30Z

We study the structure of Busemann spaces with measures satisfying the measure contraction property (MCP). The main results are rigidity theorems and structure theorems under the assumption of geodesic completeness or non-collapse. The appendix contains some observations on the tangent cones of geodesically complete Busemann spaces.

Cheeger inequalities on simplicial complexes

2026-02-05T12:58:48Z

Cheeger-type inequalities in which the decomposability of a graph and the spectral gap of its Laplacian mutually control each other play an important role in graph theory and network analysis, in particular in the context of expander theory. The natural problem to extend such inequalities to simplicial complexes and their higher order Eckmann Laplacians has been open for a long time. Before proving any inequality, however, one needs to identify the right Cheeger-type constant for which such an inequality can hold. Here, we solve this problem. Our solution involves and combines constructions from simplicial topology, signed graphs, Gromov filling radii and an interpolation between the standard 2-Laplacians and the analytically more difficult 1-Laplacians, for which, however, the inequalities become equalities. It is then natural to develop a general theory for $p$-Laplacians on simplicial complexes and investigate the related Cheeger-type inequalities.

On the Resistance Conjecture

2026-02-05T09:30:22Z

We give an affirmative answer to the resistance conjecture on characterization of parabolic Harnack inequalities in terms of volume doubling, upper capacity bounds and a Poincaré inequalities. The key step is to show that these three assumptions imply the so called cutoff Sobolev inequality, an important inequality in the study of anomalous diffusions, Dirichlet forms and re-scaled energies in fractals. This implication is shown in the general setting of $p$-Dirichlet Spaces introduced by the author and Murugan, and thus a unified treatment becomes possible to proving Harnack inequalities and stability phenomena in both analysis on metric spaces and fractals and for graphs and manifolds for all exponents $p\in (1,\infty)$. As an application, we also show that a Dirichlet space satisfying volume doubling, Poincaré and upper capacity bounds has finite martingale dimension and admits a type of differential structure similar to the work of Cheeger. In the course of the proof, we establish methods of extension and characterizations of Sobolev functions by Poincaré-inequalities, and extend the methods of Jones and Koskela to the general setting of $p$-Dirichlet spaces.

Metric pairs and tuples in theory and applications

2026-02-05T09:00:49Z

We present theoretical properties of the space of metric pairs equipped with the Gromov--Hausdorff distance. First, we establish the classical metric separability and the geometric geodesicity of this space. Second, we prove an Arzelà--Ascoli-type theorem for metric pairs. Third, extending a result by Cassorla, we show that the set of pairs consisting of a $2$-dimensional compact Riemannian manifold and a $2$-dimensional submanifold with boundary that can be isometrically embedded in $\mathbb{R}^3$ is dense in the space of compact metric pairs. Finally, to broaden the scope of potential applications, we describe scenarios where the Gromov--Hausdorff distance between metric pairs or tuples naturally arises.

Exparabolas of a Triangle

2026-02-05T06:43:28Z

Among a triangle's exparabolas (parabolas escribed to the triangle), three are distinguished by having locally maximal parameter. They are determined by a simple cubic equation and characterized by having axes that contain the triangle's centroid. More generally, there are three (not necessarily real) exparabolas with axes through a given point $X$. Their focal points determine another triangle which we call the $X$-focal triangle. It shares the circumcircle with the original triangle and its orthocenter is $X$. The sequence of iterated focal triangles with respect to the centroids splits into an even and an odd sub-sequence that both converge to equilateral triangles.

Regions surrounded by parabolas in the plane and trees representing their shapes respecting their natural projection to the line

2026-02-05T04:01:52Z

The author has been interested in regions surrounded by real algebraic curves of degree $1$ or $2$ in the plane. The author is mainly interested in their shapes and combinatorics. This is a fundamental and natural problem in mathematics being also elementary and connected to various fields. The shapes are understood via graphs the regions collapsing to respecting the canonical projection onto the 1st component. Our main result is the following: each tree is realized by regions surrounded by parabolas of two types, here. Related studies are elementary and interesting and surprisingly, this explicit field is started very recently, by Bodin, Popescu-Pampu and Sorea in the 2020s. After that, this is developing, due to the author. The author also investigates this motivated by studies on explicit construction of real algebraic maps onto the regions locally so-called moment maps: this comes from singularity theory of differentiable maps and real algebraic geometry.

Quasi-isometric modification of Gromov-Hausdorff distance

2026-02-04T18:14:45Z

We define a distance analogous to the Gromov-Hausdorff distance that enables the comparison of arbitrary quasi-isometric spaces. We also investigate properties preserved under limits with respect to this distance, as well as properties of the entire class of metric spaces equipped with this distance. For this purpose, we introduce the notion of quasi-isometric distortion for correspondences. Using this notion, we prove that the class of all metric spaces is path-connected; in fact, any two metric spaces can be connected by a curve of finite length.

Realising all countable groups as quasi-isometry groups

2026-02-04T13:27:04Z

Given any countable group $G$, we construct uncountably many quasi-isometry classes of proper geodesic metric spaces with quasi-isometry group isomorphic to $G$. Moreover, if the group $G$ is a hyperbolic group, the spaces we construct are hyperbolic metric spaces. We make use of a rigidity phenomenon for quasi-isometries exhibited by many symmetric spaces, called strong quasi-isometric rigidity. Our method involves the construction of new examples of strongly quasi-isometrically rigid spaces, arising as graphs of strongly quasi-isometrically rigid rank-one symmetric spaces.

Embeddings of trees of hyperbolic metric spaces and Cannon--Thurston maps

2026-02-04T12:48:43Z

Given a tree of hyperbolic metric spaces $π:X\to T$ a la Bestvina--Feighn (\cite{BF}), and a hyperbolic subspace $Y$ of $X$ with an induced tree of hyperbolic spaces structure over a subtree $S\subset T$, we address the question as to when the Cannon--Thurston (CT) map exists for the inclusion $Y\to X$. In this paper, we find additional sufficient conditions under which the CT map $\partial Y \to \partial X$ exists. However, we show with examples that this may fail to hold in general. These results about trees of spaces are then applied to graphs of hyperbolic groups to prove various existence results for CT maps. A very special instance of these results is the following: \emph{Suppose $G_1$ and $G_2$ are hyperbolic groups with a common quasiconvex subgroup $H$, and the free product with amalgamation $G = G_1 *_H G_2$ is hyperbolic. Suppose $K_i < G_i$, $i = 1,2$ are hyperbolic subgroups containing $H$ and $K=K_1*_H K_2$. Then $K$ (is hyperbolic and,) the inclusion $K\to G$ admits a CT map if the inclusions $K_i\to G_i$, $i=1,2$ admit CT maps.}