arXiv++ Combinatorics

We consider the contact process on the model of hyperbolic random graph, in the regime when the degree distribution obeys a power law with exponent $χ\in(1,2)$ (so that the degree distribution has finite mean and infinite second moment). We show that the probability of non-extinction as the rate of infection goes to zero decays as a power law with an exponent that only depends on $χ$ and which is the same as in the configuration model, suggesting some universality of this critical exponent. We also consider finite versions of the hyperbolic graph and prove metastability results, as the size of the graph goes to infinity.

In this paper, we introduce the notion of "geodesic cover" for Fuchsian groups, which summons copies of fundamental polygons in the hyperbolic plane to cover pairs of representatives realizing distances in the corresponding hyperbolic surface. Then we use estimates of geodesic-covering numbers to study the distinct distances problem in hyperbolic surfaces. Especially, for $Y$ from a large class of hyperbolic surfaces, we establish the nearly optimal bound $\geq c(Y)N/\log N$ for distinct distances determined by any $N$ points in $Y$, where $c(Y)>0$ is some constant depending only on $Y$. In particular, for $Y$ being modular surface or standard regular of genus $g\geq 2$, we evaluate $c(Y)$ explicitly. We also derive new sum-product type estimates.

For a contractive iterated function system (IFS), it is known that there is a natural hyperbolic graph structure (augmented tree) on the symbolic space of the IFS that reflects the relationship among neighboring cells, and its hyperbolic boundary with the Gromov metric is Hölder equivalent to the attractor $K$. This setup was taken up to study the probabilistic potential theory on $K$, and the bi-Lipschitz equivalence on $K$. In this paper, we formulate a broad class of hyperbolic graphs, called expansive hyperbolic graphs, to capture the most essential properties from the augmented trees and the hyperbolic boundaries (e.g., the special geodesics, bounded degree property, metric doubling property, and Hölder equivalence). We also study a new setup of "weighted" IFS and investigate its connection with the self-similar energy form in the analysis of fractals.

We prove that the Fibonacci group, F(2,n), for n odd and n >= 11 is hyperbolic. We do this by applying a curvature argument to an arbitrary van Kampen diagram of F(2,n) and show that it satisfies a linear isoperimetric inequality. It then follows that F(2, n) is hyperbolic.

Toric topology assigns to each $n$-dimensional combinatorial simple convex polytope $P$ with $m$ facets an $(m+n)$-dimensional moment-angle manifold $\mathcal{Z}_P$ with an action of a compact torus $T^m$ such that $\mathcal{Z}_P/T^m$ is a convex polytope of combinatorial type $P$. A simple $n$-polytope is called $B$-rigid, if any isomorphism of graded rings $H^*(\mathcal{Z}_P,\mathbb Z)= H^*(\mathcal{Z}_Q,\mathbb Z)$ for a simple $n$-polytope $Q$ implies that $P$ and $Q$ are combinatorially equivalent. An ideal almost Pogorelov polytope is a combinatorial $3$-polytope obtained by cutting off all the ideal vertices of an ideal right-angled polytope in the Lobachevsky (hyperbolic) space $\mathbb L^3$. These polytopes are exactly the polytopes obtained from any, not necessarily simple, convex $3$-polytopes by cutting off all the vertices followed by cutting off all the "old" edges. The boundary of the dual polytope is the barycentric subdivision of the boundary of the old polytope (and also of its dual polytope). We prove that any ideal almost Pogorelov polytope is $B$-rigid. This produces three cohomologically rigid families of manifolds over ideal almost Pogorelov manifolds: moment-angle manifolds, canonical $6$-dimensional quasitoric manifolds and canonical $3$-dimensional small covers, which are "pullbacks from the linear model".

A new metric parameter for a graph, Helly-gap, is introduced. A graph $G$ is called $α$-weakly-Helly if any system of pairwise intersecting disks in $G$ has a nonempty common intersection when the radius of each disk is increased by an additive value $α$. The minimum $α$ for which a graph $G$ is $α$-weakly-Helly is called the Helly-gap of $G$ and denoted by $α(G)$. The Helly-gap of a graph $G$ is characterized by distances in the injective hull $\mathcal{H}(G)$, which is a (unique) minimal Helly graph which contains $G$ as an isometric subgraph. This characterization is used as a tool to generalize many eccentricity related results known for Helly graphs ($α(G)=0$), as well as for chordal graphs ($α(G)\le 1$), distance-hereditary graphs ($α(G)\le 1$) and $δ$-hyperbolic graphs ($α(G)\le 2δ$), to all graphs, parameterized by their Helly-gap $α(G)$. Several additional graph classes are shown to have a bounded Helly-gap, including AT-free graphs and graphs with bounded tree-length, bounded chordality or bounded $α_i$-metric.

In this paper, a complete classification of finite simple cubic vertex-transitive graphs of girth $6$ is obtained. It is proved that every such graph, with the exception of the Desargues graph on $20$ vertices, is either a skeleton of a hexagonal tiling of the torus, the skeleton of the truncation of an arc-transitive triangulation of a closed hyperbolic surface, or the truncation of a $6$-regular graph with respect to an arc-transitive dihedral scheme. Cubic vertex-transitive graphs of girth larger than $6$ are also discussed.

A hypertree, or $\mathbb{Q}$-acyclic complex, is a higher-dimensional analogue of a tree. We study random $2$-dimensional hypertrees according to the determinantal measure suggested by Lyons. We are especially interested in their topological and geometric properties. We show that with high probability, a random $2$-dimensional hypertree $T$ is apsherical, i.e. that it has a contractible universal cover. We also show that with high probability the fundamental group $π_1(T)$ is hyperbolic and has cohomological dimension $2$.

We consider percolation on the Voronoi tessellation generated by a homogeneous Poisson point process on the hyperbolic plane. We show that the critical probability for the existence of an infinite cluster tends to $1/2$ as the intensity of the Poisson process tends to infinity. This confirms a conjecture of Benjamini and Schramm.

We study the spread of information in finite and infinite inhomogeneous spatial random graphs. We assume that each edge has a transmission cost that is a product of an i.i.d. random variable L and a penalty factor: edges between vertices of expected degrees w_1 and w_2 are penalised by a factor of (w_1w_2)^μfor all μ>0. We study this process for scale-free percolation, for (finite and infinite) Geometric Inhomogeneous Random Graphs, and for Hyperbolic Random Graphs, all with power law degree distributions with exponent τ> 1. For τ< 3, we find a threshold behaviour, depending on how fast the cumulative distribution function of L decays at zero. If it decays at most polynomially with exponent smaller than (3-τ)/(2μ) then explosion happens, i.e., with positive probability we can reach infinitely many vertices with finite cost (for the infinite models), or reach a linear fraction of all vertices with bounded costs (for the finite models). On the other hand, if the cdf of L decays at zero at least polynomially with exponent larger than (3-τ)/(2μ), then no explosion happens. This behaviour is arguably a better representation of information spreading processes in social networks than the case without penalising factor, in which explosion always happens unless the cdf of L is doubly exponentially flat around zero. Finally, we extend the results to other penalty functions, including arbitrary polynomials in w_1 and w_2. In some cases the interesting phenomenon occurs that the model changes behaviour (from explosive to conservative and vice versa) when we reverse the role of w_1 and w_2. Intuitively, this could corresponds to reversing the flow of information: gathering information might take much longer than sending it out.

In this article we define and study a stochastic process on Galoisian covers of compact manifolds. The successive positions of the process are defined recursively by picking a point uniformly in the Dirichlet domain of the previous one. We prove a theorem à la Kesten for such a process: the escape rate of the random walk is positive if and only if the cover is non amenable. We also investigate more in details the case where the deck group is Gromov hyperbolic, showing the almost sure convergence to the boundary of the trajectory as well as a central limit theorem for the escape rate

In this paper we consider the clustering coefficient and clustering function in a random graph model proposed by Krioukov et al.~in 2010. In this model, nodes are chosen randomly inside a disk in the hyperbolic plane and two nodes are connected if they are at most a certain hyperbolic distance from each other. It has been shown that this model has various properties associated with complex networks, e.g. power-law degree distribution, short distances and non-vanishing clustering coefficient. Here we show that the clustering coefficient tends in probability to a constant $γ$ that we give explicitly as a closed form expression in terms of $α, ν$ and certain special functions. This improves earlier work by Gugelmann et al., who proved that the clustering coefficient remains bounded away from zero with high probability, but left open the issue of convergence to a limiting constant. Similarly, we are able to show that $c(k)$, the average clustering coefficient over all vertices of degree exactly $k$, tends in probability to a limit $γ(k)$ which we give explicitly as a closed form expression in terms of $α, ν$ and certain special functions. We are able to extend this last result also to sequences $(k_n)_n$ where $k_n$ grows as a function of $n$. Our results show that $γ(k)$ scales differently, as $k$ grows, for different ranges of $α$. More precisely, there exists constants $c_{α,ν}$ depending on $α$ and $ν$, such that as $k \to \infty$, $γ(k) \sim c_{α,ν} \cdot k^{2 - 4α}$ if $\frac{1}{2} < α< \frac{3}{4}$, $γ(k) \sim c_{α,ν} \cdot \log(k) \cdot k^{-1} $ if $α=\frac{3}{4}$ and $γ(k) \sim c_{α,ν} \cdot k^{-1}$ when $α> \frac{3}{4}$. These results contradict a claim of Krioukov et al., which stated that the limiting values $γ(k)$ should always scale with $k^{-1}$ as we let $k$ grow.

This paper provides upper and lower bounds on the kissing number of congruent radius $r > 0$ spheres in hyperbolic $\mathbb{H}^n$ and spherical $\mathbb{S}^n$ spaces, for $n\geq 2$. For that purpose, the kissing number is replaced by the kissing function $κ_H(n, r)$, resp. $κ_S(n, r)$, which depends on the dimension $n$ and the radius $r$. After we obtain some theoretical upper and lower bounds for $κ_H(n, r)$, we study their asymptotic behaviour and show, in particular, that $κ_H(n,r) \sim (n-1) \cdot d_{n-1} \cdot B(\frac{n-1}{2}, \frac{1}{2}) \cdot e^{(n-1) r}$, where $d_n$ is the sphere packing density in $\mathbb{R}^n$, and $B$ is the beta-function. Then we produce numeric upper bounds by solving a suitable semidefinite program, as well as lower bounds coming from concrete spherical codes. A similar approach allows us to locate the values of $κ_S(n, r)$, for $n= 3,\, 4$, over subintervals in $[0, π]$ with relatively high accuracy.

We give a combinatorial characterization of the family of lines of P G(3, q) which meet a hyperbolic quadric in two points (the so called secant lines) using their intersection properties with the points and planes of PG(3,q).

Helly graphs are graphs in which every family of pairwise intersecting balls has a non-empty intersection. This is a classical and widely studied class of graphs. In this article we focus on groups acting geometrically on Helly graphs -- Helly groups. We provide numerous examples of such groups: all (Gromov) hyperbolic, CAT(0) cubical, finitely presented graphical C(4)$-$T(4) small cancellation groups, and type-preserving uniform lattices in Euclidean buildings of type $C_n$ are Helly; free products of Helly groups with amalgamation over finite subgroups, graph products of Helly groups, some diagram products of Helly groups, some right-angled graphs of Helly groups, and quotients of Helly groups by finite normal subgroups are Helly. We show many properties of Helly groups: biautomaticity, existence of finite dimensional models for classifying spaces for proper actions, contractibility of asymptotic cones, existence of EZ-boundaries, satisfiability of the Farrell-Jones conjecture and of the coarse Baum-Connes conjecture. This leads to new results for some classical families of groups (e.g. for FC-type Artin groups) and to a unified approach to results obtained earlier.

If we fix the angles at the vertices of a convex planar $n$-gon, the lengths of its edges must satisfy two linear constraints in order for it to close up. If we also require unit perimeter, our vectors of $n$ edge lengths form a convex polytope of dimension $n-3$, each facet of which consists of those $n$-gons in which the length of a particular edge has fallen to zero. Bavard and Ghys require unit area instead, which gives them a hyperbolic polytope. Those two polytopes are combinatorially equivalent, so either is fine for our purposes. Such a fixed-angles polytope is combinatorially richer when the angles are well balanced. We say that fixed external angles are "majority dominant" when every consecutive string of more than half of them sums to more than $π$. When $n$ is odd, we show that the fixed-angles polytope for any majority-dominant angles is dual to the cyclic polytope $C_{n-3}(n)$. To extend that result to even $n$, we require that the angles also have "dipole tie-breaking": None of the $n$ strings of length $n/2$ sums to precisely $π$, and the $n/2$ that sum to more than $π$ overlap as much as possible, all containing a particular angle. Fixing the vertex angles is uncommon, however; people more often fix the edge lengths. That is harder, in part because fixed-lengths $n$-gons may not be convex, but mostly because fixing the lengths constrains the angles nonlinearly -- so the resulting moduli spaces, called "polygon spaces", are curved. Using Schwarz-Christoffel maps, Kapovich and Millson show that the subset of that polygon space in which the $n$-gons are convex and traversed counterclockwise is homeomorphic to the fixed-angles polytope above, for those same fixed values. Each such subset is thus a topological polytope; and it is dual cyclic whenever the fixed lengths are majority dominant and, for even $n$, have dipole tie-breaking.

We show that every non-degenerate regular polytope can be used to construct a thin, residually-connected, chamber-transitive incidence geometry, i.e. a regular hypertope, with a tail-triangle Coxeter diagram. We discuss several interesting examples derived when this construction is applied to generalised cubes. In particular, we produce an example of a rank $5$ finite locally spherical proper hypertope of hyperbolic type.

Let $\mathfrak{g}$ be a hyperbolic Kac-Moody algebra of rank $2$. We give a necessary and sufficient condition for the crystal graph of the Lakshmibai-Seshadri path crystal $\mathbb{B}(λ)$ to be connected for an arbitrary integral weight $λ$.

Given a natural number k and an orientable surface S of finite type, define the k-curve graph to be the graph with vertices corresponding to isotopy classes of essential simple closed curves on S and with edges corresponding to pairs of such curves admitting representatives that intersect at most k times. We prove that the automorphism group of the k-curve graph of a surface S is isomorphic to the extended mapping class group for all k sufficiently small with respect to the Euler characteristic of S. We prove the same result for the so-called systolic complex, a variant of the curve graph whose complete subgraphs encode the intersection patterns for any collection of systoles with respect to a hyperbolic metric. This resolves a conjecture of Schmutz Schaller.

We define a large class of abstract Coxeter groups, that we call $\infty$--spanned, and for which the word growth rate and the geodesic growth rate appear to be Perron numbers. This class contains a fair amount of Coxeter groups acting on hyperbolic spaces, thus corroborating a conjecture by Kellerhals and Perren. We also show that for this class the geodesic growth rate strictly dominates the word growth rate.