arXiv Science⌕ Search

arXiv subjects

Panos Papasoglu

Publications and source records attributed to Panos Papasoglu.

At least 19 recordsLinked to original sources
arXiv2026

Asymptotic dimension of 3-dimensional CAT(0) manifolds

We prove that every $3$-manifold equipped with a proper metric admitting a convex geodesic bicombing has Assouad--Nagata dimension at most $3$. In particular, every proper CAT$(0)$ $3$-manifold has Assouad--Nagata dimension at most $3$. As a corollary one obtains that the isoperimetric gap theorem of Lang-Stadler-Urech (\cite{LSU}) and Peteranderl\cite{Pet}, generalizes from 3-dimensional Hadamard manifolds to 3-dimensional CAT(0) manifolds.

math.MG↗
arXiv2025

1-Uryson width and covers

We investigate the following question: Do there exist Riemannian polyhedra $X$ such that the 1-Uryson width of their universal covers $\mathrm{UW}_1(\widetilde{X})$ is bounded but $\mathrm{UW}_1(X)$ is arbitrarily large? We rule out two specific cases: when $\pi_1(X)$ is virtually cyclic and when $X$ is a Riemannian surface. More specifically, we show that if $X$ is a compact polyhedron with a virtually cyclic fundamental group, then its 1-Uryson width is bounded by the 1-Uryson width of its universal cover $\widetilde{X}$. Precisely: $$\mathrm{UW}_1(X) \leq 6 \cdot \mathrm{UW}_1(\widetilde{X}).$$ We show that if $X$ is a Riemannian surface with boundary then $$\mathrm{UW}_1(X) \leq \mathrm{UW}_1(\widetilde{X}).$$ Furthermore, we show that if there exist spaces $X$ for which $\mathrm{UW}_1(\widetilde{X})$ is bounded while $\mathrm{UW}_1(X)$ is arbitrarily large, then such examples must already appear in low dimensions. In particular, such $X$ can be found among Riemannian $2$-complexes.

math.MG↗
arXiv2025

Minimal tetrahedra and an isoperimetric gap theorem in non-positive curvature

We investigate isoperimetric inequalities for Lipschitz 2-spheres in CAT(0) spaces, proving bounds on the volume of efficient null-homotopies. In one dimension lower, it is known that a quadratic inequality with a constant smaller than $c_2=1/(4\pi)$ -- the optimal constant for the Euclidean plane -- implies that the underlying space is Gromov hyperbolic, and a linear inequality holds. We establish the first analogous gap theorem in higher dimensions: if a proper CAT(0) space satisfies a Euclidean inequality for 2-spheres with a constant below the sharp threshold $c_3=1/(6\sqrt{\pi})$, then the space also admits an inequality with an exponent arbitrarily close to 1. As a corollary we obtain a similar result for Lipschitz surfaces of higher genus. Towards our main theorem we prove a (non-sharp) Euclidean isoperimetric inequality for null-homotopies of 2-spheres, apparently missing in the literature. A novelty in our approach is the introduction of minimal tetrahedra, which we demonstrate satisfy a linear inequality.

math.MG↗
arXiv2023

A coarse-geometry characterization of cacti

We give a quasi-isometric characterization of cacti, which is similar to Manning's characterization of quasi-trees by the bottleneck property. We also give another quasi-isometric characterization of cacti using fat theta curves.

math.MG↗
arXiv2023

Graph minors and metric spaces

We present problems and results that combine graph-minors and coarse geometry. For example, we ask whether every geodesic metric space (or graph) without a fat $H$ minor is quasi-isometric to a graph with no $H$ minor, for an arbitrary finite graph $H$. We answer this affirmatively for a few small $H$. We also present a metric analogue of Menger's theorem and Konig's ray theorem. We conjecture metric analogues of the Erdos--Posa Theorem and Halin's grid theorem.

math.CO↗
arXiv2022

Periodic geodesics in singular spaces

We extend the classical result of Lyusternik and Fet on the existence of closed geodesics to singular spaces. We show that if $X$ is a compact geodesic metric space satisfying the CAT($\kappa $) condition for some fixed $\kappa >0$ and $\pi_n(X)\ne 0$ for some $n>0$ then $X$ has a periodic geodesic. This condition is satisfied for example by locally CAT($\kappa $) manifolds. Our result applies more generally to compact locally uniquely geodesic spaces.

math.MG↗
arXiv2021

Polynomial growth and asymptotic dimension

Bonamy et al \cite{BBEGLPS} showed that graphs of polynomial growth have finite asymptotic dimension. We refine their result showing that a graph of polynomial growth strictly less than $n^{k+1}$ has asymptotic dimension at most $k$. As a corollary Riemannian manifolds of bounded geometry and polynomial growth strictly less than $n^{k+1}$ have asymptotic dimension at most $k$. We show also that there are graphs of growth $ 0$ and infinite asymptotic Assouad-Nagata dimension.

math.MG↗
arXiv2020

Uryson width and volume

We give a short proof of a theorem of Guth relating volume of balls and Uryson width. The same approach applies to Hausdorff content implying a recent result of Liokumovich-Lishak-Nabutovsky-Rotman. We show also that for any $C>0$ there is a Riemannian metric $g$ on a 3-sphere such that $\text{vol}(S^3,g)=1$ and for any map $f:S^3\to \mathbb{R}^2$ there is some $x\in \mathbb{R}^2$ for which $\text{diam}(f^{-1}(x))>C$-answering a question of Guth.

math.DG↗
arXiv2020

Asymptotic dimension of planes and planar graphs

We show that the asymptotic dimension of a geodesic space that is homeomorphic to a subset in the plane is at most three. In particular, the asymptotic dimension of the plane and any planar graph is at most three.

math.MG↗
arXiv2019

A surface with discontinuous isoperimetric profile and expander manifolds

We construct sequences of `expander manifolds' and we use them to show that there is a complete connected 2-dimensional Riemannian manifold with discontinuous isoperimetric profile, answering a question of Nardulli and Pansu. Using expander manifolds in dimension 3 we show that for any $ε, M>0$ there is a Riemannian 3-sphere $S$ of volume 1, such that any (not necessarily connected) surface separating $S$ in two regions of volume greater than $ε$, has area greater than $M$.

math.DG↗
arXiv2018

Finite cuts and CAT(0) boundaries

We show that if a 1-ended group $G$ acts geometrically on a CAT(0) space $X$ and $\bd X$ is separated by $m$ points then either $G$ is virtually a surface group or $G$ splits over a 2-ended group. In the course of the proof we study nesting actions on $\R $-trees and we show that nesting actions with non overlapping translation intervals give rise to isometric actions.

math.GR↗
arXiv2016

Short loops in surfaces with a circle boundary component

It is a classical theorem of Loewner that the systole of a Riemannian torus can be bounded in terms of its area. We answer a question of a similar flavor of Robert Young showing that if $T$ is a Riemannian 2-torus with boundary in $\mathbb R ^n$, such that the boundary curve is a standard unit circle, then the length of the shortest non-contractible loop in $T$ is bounded in terms of the area of $T$.

math.DG↗
arXiv2014

Cop and robber game and hyperbolicity

In this note, we prove that all cop-win graphs G in the game in which the robber and the cop move at different speeds s and s' with s' 0, this establishes a new - game-theoretical - characterization of Gromov hyperbolicity. We also show that for weakly modular graphs the dependency between δand s is linear for any s'<s. Using these results, we describe a simple constant-factor approximation of the hyperbolicity δof a graph on n vertices in O(n^2) time when the graph is given by its distance-matrix.

math.CO↗
arXiv2013

Contracting thin disks

We answer a question of Liokumovich-Nabutovsky-Rotman showing that if D is a Riemannian 2-disc with boundary length L, diameter d and area A << d then D can be filled by a homotopy where the lengths of the intermediate curves are bounded by $L+2d+O(\sqrt A)$.

math.DG↗
arXiv2011

A cactus theorem for end cuts

Dinits-Karzanov-Lomonosov showed that it is possible to encode all minimal edge cuts of a graph by a tree-like structure called a cactus. We show here that minimal edge cuts separating ends of the graph rather than vertices can be `encoded' also by a cactus. We apply our methods to finite graphs as well and we show that several types of cuts can be encoded by cacti.

math.CO↗
arXiv2010

Growth and isoperimetric profile of planar graphs

Let G be a planar graph such that the volume function of G satisfies V(2n)< CV(n) for some constant C > 0. Then for every vertex v of G and integer n, there is a domain Ωsuch that B(v,n) \subset Ω, Ω\subset B(v, 6n) and the size of the boundary of Ωis at most order n.

math.MG↗
arXiv2009

Splittings and the asymptotic topology of the lamplighter group

It is known that splittings of finitely presented groups over 2-ended groups can be characterized geometrically. We show that this characterization does not extend to all finitely generated groups. Answering a question of Kleiner we show that the Cayley graph of the lamplighter group is coarsely separated by quasi-circles.

math.GR↗