Cyclic orders and actions of Leary--Minasyan groups on coarse $\mathrm{PD}(n)$ spaces

2025-08-01T21:14:41Z

We show that for $n \geq 3$, there are torsion-free CAT(0) groups with visual boundaries that embed into $S^n$ but which are not virtually the fundamental group of a compact aspherical $n+1$-manifold. The groups are the CAT(0) and not bi-automatic groups constructed previously by Leary and Minasyan. The obstruction comes from analyzing certain cyclic orders on the boundary of the Bass-Serre tree, in the same manner as Kapovich-Kleiner ruled out actions of Baumslag-Solitar groups on coarse $\mathrm{PD}(3)$ spaces.

Doubling property of self-similar measures with overlaps

2025-08-01T13:01:14Z

Recently, Yang, Yuan and Zhang [Doubling properties of self-similar measures and Bernoulli measures on self-affine Sierpinski sponges, Indiana Univ. Math. J., 73 (2024), 475-492] characterized when a self-similar measure satisfying the open set condition is doubling. In this paper, we study when a self-similar measure with overlaps is doubling. Let $m\geq 2$ and let $β>1$ be the Pisot number satisfying $β^m=\sum_{j=0}^{m-1}β^j$. Let $\mathbf{p}=(p_1,p_2)$ be a probability weight and let $μ_{\mathbf{p}}$ be the self-similar measure associated to the IFS $\{ S_1(x)={x}/β, S_2(x)={x}/β+(1-{1}/β),\}.$ Yung [...,Indiana Univ. Math. J., ] proved that when $m=2$, $μ_{\mathbf{p}}$ is doubling if and only if $\mathbf{p}=(1/2,1/2)$. We show that for $m\geq 3$, $μ_{\mathbf{p}}$ is always non-doubling.

Geometric invariants of locally compact groups: the homological perspective

2025-08-01T10:11:08Z

In this paper we develop the homological version of $Σ$-theory for locally compact Hausdorff groups, leaving the homotopical version for another paper. Both versions are connected by a Hurewicz-like theorem. They can be thought of as directional versions of type $\mathrm{CP}_m$ and type $\mathrm{C}_m$, respectively. And classical $Σ$-theory is recovered if we equip an abstract group with the discrete topology. This paper provides criteria for type $\mathrm{CP}_m$ and homological locally compact $Σ^m$. Given a short exact sequence with kernel of type $\mathrm{CP}_m$, we can derive $Σ^m$ of the extension on the sphere that vanishes on the kernel from the quotient and likewise. Given a short exact sequence with abelian quotient, $Σ$-theory on the extension can tell if the kernel is of type $\mathrm{CP}_m$.

The metric compactification of a Kobayashi hyperbolic complex manifold and a Denjoy--Wolff Theorem

2025-08-01T05:32:51Z

We study the metric compactification of a Kobayashi hyperbolic complex manifold $\mathcal{X} $ equipped with the Kobayashi distance $ \mathsf{k}_{\mathcal{X}} $. We show that this compactification is genuine -- i.e., $ \mathcal{X} $ embeds as a dense open subset -- even without completeness of $ \mathsf{k}_{\mathcal{X}} $, and that it becomes a \emph{good compactification} in the sense of Bharali--Zimmer when $(\mathcal{X}, \mathsf{k}_{\mathcal{X}}) $ is complete. As an application, we obtain a criterion for the continuous extension of quasi-isometric embeddings from $ (\mathcal{X}, \mathsf{k}_{\mathcal{X}}) $ into visibility domains of complex manifolds. For a Kobayashi hyperbolic domain $ Ω\subsetneq \mathcal{X} $, to each boundary point of $ Ω$ in the end compactification, we associate a fiber of metric boundary points. This allows the small and big horospheres of Abate to be expressed as the intersection and union of horoballs centered at metric boundary points. We use this to formulate a Wolff-type lemma in terms of horoballs and prove a Denjoy--Wolff theorem for complete hyperbolic domains satisfying a boundary divergence condition for $\mathsf{k}_{\mathcal{X}} $. Finally, we present necessary and sufficient conditions under which the identity map extends continuously between the metric and end compactifications.

On the Undecidability of Tiling the $3$-dimensional Space with a Set of $3$ Polycubes

2025-07-31T22:18:53Z

Translational tiling problems are among the most fundamental and representative undecidable problems in all fields of mathematics. Greenfeld and Tao obtained two remarkable results on the undecidability of translational tiling in recent years. One is the existence of an aperiodic monotile in a space of sufficiently large dimension. The other is the undecidability of translational tiling of periodic subsets of space with a single tile, provided that the dimension of the space is part of the input. These two results support the following conjecture: there is a fixed dimension $n$ such that translational tiling with a single tile is undecidable. One strategy towards solving this conjecture is to prove the undecidability of translational tiling of a fixed dimension space with a set of $k$ tiles, for a positive integer $k$ as small as possible. In this paper, it is shown that translational tiling the $3$-dimensional space with a set of $3$ polycubes is undecidable.

Algebraic connectivity in normed spaces

2025-07-31T19:49:13Z

The algebraic connectivity of a graph $G$ in a finite dimensional real normed linear space $X$ is a geometric counterpart to the Fiedler number of the graph and can be regarded as a measure of the rigidity of the graph in $X$. We analyse the behaviour of the algebraic connectivity of $G$ in $X$ with respect to graph decomposition, vertex deletion and isometric isomorphism, and provide a general bound expressed in terms of the geometry of $X$ and the Fiedler number of the graph. Particular focus is given to the space $\ell_\infty^d$ where we present explicit formulae and calculations as well as upper and lower bounds. As a key tool, we show that the monochrome subgraphs of a complete framework in $\ell_\infty^d$ are odd-hole-free. Connections to redundant rigidity are also presented.

Horofunctions of infinite Sierpinski polygon graphs

2025-07-31T15:57:18Z

Generalizing works of D'Angeli and Donno, we describe, starting from an infinite sequence over $r$ letters with $r \neq 4i$ and $i \in \mathbb{N}$, a sequence of pointed finite graphs. We study the pointed Gromov-Hausdorff limit graphs giving a description of isomorphim classes in terms of dihedral groups and providing insights on the horofunction boundaries in terms of Busemann and non-Busemann points.

Pseudo-Isometric Surgery

2025-07-31T15:46:44Z

We introduce a type of surgery on metric spaces. This surgery, in some sense, seeks to replace a subspace $S$ of a metric space $X$ with another metric space $T$ via a function $f : S \to T$. When $T$ is a discrete space, this amounts to collapsing the subspace according to the function. This surgery results in a new metric space we denote $\widehat{X}_f$ and there is a natural function $F : X \to \widehat{X}_f$ induced from $f$. Our primary interest is investigating if properties of the original function $f$ are inherited by the induced function $F$. We show that if $f$ is a pseudo-isometry then so is $F$. However, for a quasi-isometry, a very natural generalization of a pseudo-isometry that is prevalent in geometric group theory, such a result does not hold.

A naive generalization of the hyperbolic and the quasihyperbolic metrics

2025-07-31T11:51:48Z

Although the hyperbolic metric possesses many remarkable properties, it is not defined on arbitrary subdomains of $\mathbb{R}^n$ with $n \geq 2$. This article introduces a new hyperbolic-type metric that provides an alternative approach to this limitation. The proposed metric coincides with the hyperbolic metric on balls and half-spaces, and, quite unexpectedly, agrees with the quasihyperbolic metric in unbounded domains. We compute the density of this metric in several classical domains and discuss aspects of its curvature. Furthermore, we establish characterizations of uniform domains and John disks in terms of the newly defined metric. In addition, we investigate several geometric properties of the metric, including the existence of geodesics and the minimal length of non-trivial closed curves in multiply connected domains.

Sum-product phenomena for Ahlfors-regular sets

2025-07-31T11:37:24Z

We utilise the recent work of Orponen to yield a sum-product result for Ahlfors-regular sets. As a corollary, we obtain the fractal analogue of Solymosi's $4/3$-bound for finite subsets of $\mathbb{R}.$

Covering sponges with tubes

2025-07-31T11:26:21Z

The aim of this note is to give a short proof of a result of Pyörälä--Shmerkin--Suomala--Wu; the Sierpiński carpet, and generalisations, are tube-null; they can be covered with tubes of arbitrarily small total width. We remark that a more general class of sponge-like sets satisfy this property. For a given $ε> 0$ the proof is able to give an explicit description of the tubes for which the total width is less than $ε.$

Discrete Poincaré inequalities and universal approximators for random graphs

2025-07-30T15:36:50Z

Nonlinear Poincaré inequalities are indispensable tools in the study of dimension reduction and low-distortion embeddings of graphs into metric spaces, and have found remarkable algorithmic applications. A basic open problem, posed by Jon Kleinberg (2013), asks whether the optimal nonlinear Poincaré constant for maps between two independent $3$-regular random graphs is dimension-free, i.e., independent of vertex-set sizes. We give a complete and affirmative resolution to Kleinberg's problem, also allowing for arbitrary graph degrees. As a corollary, we obtain a stochastic construction of $O(1)\text{-universal}$ approximators for random graphs, answering a question of Mendel and Naor.

Generalized Theta Series of a Lattice

2025-07-30T12:30:54Z

Mimicking the idea of the generalized Hamming weight of linear codes, we introduce a new lattice invariant, the generalized theta series. Applications range from identifying stable lattices to the lattice isomorphism problem. Moreover, we provide counterexamples for the secrecy gain conjecture on isodual lattices, which claims that the ratio of the theta series of an isodual (and more generally, formally unimodular) lattice by the theta series of the integer lattice $\mathbb{Z}^n$ is minimized at a (unique) symmetry point.

Properties of Algorithmic Information Distance

2025-07-29T16:39:44Z

The domain-independent universal Normalized Information Distance based on Kolmogorov complexity has been (in approximate form) successfully applied to a variety of difficult clustering problems. In this paper we investigate theoretical properties of the un-normalized algorithmic information distance $d_K$. The main question we are asking in this work is what properties this curious distance has, besides being a metric. We show that many (in)finite-dimensional spaces can(not) be isometrically scale-embedded into the space of finite strings with metric $d_K$. We also show that $d_K$ is not an Euclidean distance, but any finite set of points in Euclidean space can be scale-embedded into $(\{0,1\}^*,d_K)$. A major contribution is the development of the necessary framework and tools for finding more (interesting) properties of $d_K$ in future, and to state several open problems.

A quantitative approach to the regularity of a Riemannian surface

2025-07-29T15:35:08Z

We introduce two definitions with the purpose of quantifying the concept of a $C^{2,α}$ surface for $0 < α< 1$. The intrinsic definition is given in terms of the $α$-Hölder norm of the Gauss curvature function. The extrinsic one relies on the existence of a smooth local representation of the Riemannian metric. We show that these definitions are equivalent up to a constant depending on $α$.