arXiv++ Combinatorics

The main goal of this note is to provide a First-Order Logic with Betweenness (FOLB) axiomatization of the main classes of graphs occurring in Metric Graph Theory, in analogy to Tarski's axiomatization of Euclidean geometry. We provide such an axiomatization for weakly modular graphs and their principal subclasses (median and modular graphs, bridged graphs, Helly graphs, dual polar graphs, etc), basis graphs of matroids and even $Δ$-matroids, partial cubes and their subclasses (ample partial cubes, tope graphs of oriented matroids and complexes of oriented matroids, bipartite Pasch and Peano graphs, cellular and hypercellular partial cubes, almost-median graphs, netlike partial cubes), and Gromov hyperbolic graphs. On the other hand, we show that some classes of graphs (including chordal, planar, Eulerian, and dismantlable graphs), closely related with Metric Graph Theory, but defined in a combinatorial or topological way, do not allow such an axiomatization.

Motivated by Krioukov et al.'s model of random hyperbolic graphs for real-world networks, and inspired by the analysis of a dynamic model of graphs in Euclidean space by Peres et al., we introduce a dynamic model of hyperbolic graphs in which vertices are allowed to move according to a Brownian motion maintaining the distribution of vertices in hyperbolic space invariant. For different parameters of the speed of angular and radial motion, we analyze tail bounds for detection times of a fixed target and obtain a complete picture, for very different regimes, of how and when the target is detected: as a function of the time passed, we characterize the subset of the hyperbolic space where particles typically detecting the target are initially located. We overcome several substantial technical difficulties not present in Euclidean space, and provide a complete picture on tail bounds. On the way, we obtain also new results for the time more general continuous processes with drift and reflecting barrier spent in certain regions, and we also obtain improved bounds for independent sums of Pareto random variables.

Champanerkar, Kofman and Lalín conjectured an inequality between bipyramid volume of links and Mahler measure of associated dimer models induced from alternating links on torus. Hyperbolic volume and Mahler measure can be related for isoradial graphs, which allows us to confirm the conjecture for two examples. By exploiting a connection between perfect matchings of dimer models and spanning trees on lattices, five more examples are calculated.

We study the length statistics of the components of a random multicurve on a surface of genus $g \geq 2$. For each fixed genus, the existence of such statistics follows from the work of M.~Mirzakhani, F.~Arana-Herrera and M.~Liu. We prove that as the genus $g$ tends to infinity the statistics converge in law to the Poisson--Dirichlet distribution of parameter $θ=1/2$. In particular, as the genus tends to infinity the mean length of the three longest components converge respectively to $75.8\%$, $17.1\%$ and $4.9\%$ of the total length.

*by a standard (one-tape) Turing machine. It is well-known that the word problem for hyperbolic groups, whence in particular for free groups, can be solved in linear time. However, these algorithms run on machines more complicated than a standard Turing machine. By contrast, in this note we show that a standard Turing machine cannot solve the word problem for the free group on two generators in less than quadratic time.

We complete the classification of compact hyperbolic Coxeter $d$-polytopes with $d+4$ facets for $d=4$ and $5$. By previous work of Felikson and Tumarkin, the only remaining dimension where new polytopes may arise is $d=6$. We derive a new method for generating the combinatorial type of these polytopes via the classification of point set order types. In dimensions $4$ and $5$, there are $348$ and $51$ polytopes, respectively, yielding many new examples for further study. We furthermore provide new upper bounds on the dimension $d$ of compact hyperbolic Coxeter polytopes with $d+k$ facets for $k \leq 10$. It was shown by Vinberg in 1985 that for any $k$, we have $d \leq 29$, and no better bounds have previously been published for $k \geq 5$. As a consequence of our bounds, we prove that a compact hyperbolic Coxeter $29$-polytope has at least $40$ facets.

This paper introduces a combinatorial structure of orthogeodesics on hyperbolic surfaces and presents several relations among them. As a primary application, we propose a recursive method for computing the trace (the hyperbolic cosine of the length) of orthogeodesics and establish the existence of surfaces where the trace of each orthogeodesic is an integer. These surfaces and their orthogeodesics are closely related to integral Apollonian circle packings. Notably, we found a new type of root-flipping that transitions between roots in different quadratic Diophantine equations of a certain type, with Vieta root-flipping as a special case. Finally, we provide a combinatorial proof of Basmajian's identity for hyperbolic surfaces, akin to Bowditch's combinatorial proof of the McShane identity.

Frieze patterns are numerical arrangements that satisfy a local arithmetic rule. These arrangements are actively studied in connection to the theory of cluster algebras. In the setting of cluster algebras, the notion of a frieze pattern can be generalized, in particular to a frieze associated with a bordered marked surface endowed with a decorated hyperbolic metric. We study friezes associated with a pair of pants, interpreting entries of the frieze as lambda-lengths of arcs connecting the marked points. We prove that all positive integral friezes over such surfaces are unitary, i.e. they arise from triangulations with all edges having unit lambda-lengths.

We study uniformly random maps with a single face, genus $g$, and size $n$, as $n,g\rightarrow \infty$ with $g = o(n)$, in continuation of several previous works on the geometric properties of "high genus maps". We calculate the number of short simple cycles, and we show convergence of their lengths (after a well-chosen rescaling of the graph distance) to a Poisson process, which happens to be exactly the same as the limit law obtained by Mirzakhani and Petri (2019) when they studied simple closed geodesics on random hyperbolic surfaces under the Weil-Petersson measure as $g\rightarrow \infty$. This leads us to conjecture that these two models are somehow "the same" in the limit, which would allow to translate problems on hyperbolic surfaces in terms of random trees, thanks to a powerful bijection of Chapuy, Féray and Fusy (2013).

The cusped hyperbolic n-orbifolds of minimal volume are well known for $n \leq 9$. Their fundamental groups are related to the Coxeter n-simplex groups $Γ_n$ listed in Table 1. In this work, we prove that $Γ_n$ has minimal growth rate among all non-cocompact Coxeter groups of finite covolume in $\hbox{Isom}\mathbb H^n$. In this way, we extend previous results of Floyd for $n = 2$ and of Kellerhals for $n = 3$ respectively. Our proof is a generalisation of the methods developed in [2] for the cocompact case.

We provide a natural characterisation for the sets of elliptic and hyperbolic hyperplanes of the parabolic quadric Q(2n,q) when q is even. This characterisation is based on the number of elements of these sets through points and codimension 2 spaces and generalises [S. Barwick, A. Hui, and W-A. Jackson. Characterising elliptic solids of Q(4,q), q even. Discrete Math., 343 (6) (2020), 111857] and [S. Barwick, A. Hui, W-A. Jackson, and J. Schillewaert. Characterising hyperbolic solids of Q(4,q), q even. Des. Codes Cryptogr., 88 (1) (2020), 33--39.].

In this paper we obtain new upper bounds on volumes of right-angled polyhedra in hyperbolic space $\mathbb{H}^3$ in three different cases: for ideal polyhedra with all vertices on the ideal hyperbolic boundary, for compact polytopes with only finite (or usual) vertices, and for finite volume polyhedra with vertices of both types.

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 is asymptotically equal to $πλ/3$ as $λ\to0.$ This answers a question of Benjamini and Schramm.

The volume $\mathscr{B}_Σ^{\rm comb}(\mathbb{G})$ of the unit ball -- with respect to the combinatorial length function $\ell_{\mathbb{G}}$ -- of the space of measured foliations on a stable bordered surface $Σ$ appears as the prefactor of the polynomial growth of the number of multicurves on $Σ$. We find the range of $s \in \mathbb{R}$ for which $(\mathscr{B}_Σ^{\rm comb})^{s}$, as a function over the combinatorial moduli spaces, is integrable with respect to the Kontsevich measure. The results depends on the topology of $Σ$, in contrast with the situation for hyperbolic surfaces where Arana-Herrera and Athreya (arXiv:1907.06287) recently proved an optimal square-integrability.

In the research, with aid of the Faà di Bruno formula, be virtue of several identities for the Bell polynomials of the second kind, with help of two combinatorial identities, by means of the (logarithmically) complete monotonicity of generating functions of several integer sequences, and in light of the Wronski theorem, the author \begin{enumerate} \item establishes the Taylor power series expansions of several functions involving the inverse (hyperbolic) tangent function; \item finds out the Maclaurin power series expansion of the Wilf function, which is a composite of the inverse tangent, square root, and exponential functions; \item expresses the coefficients in the Maclaurin power series expansion of the Wilf function in terms of the Stirling numbers of the second kind; \item analyzes some properties, including generating functions, limits, positivity, monotonicity, and logarithmic convexity, of the coefficients in the Maclaurin power series expansion of the Wilf function; \item derives a closed-form formula for a sequence of special values of the Gauss hypergeometric function; \item discovers a closed-form formula for a sequence of special values of the Bell polynomials of the second kind; \item presents several infinite series representations of the circular constant and other sequences; \item recovers an asymptotic rational approximation to the circular constant; \item and connects several integer sequences by determinants. \end{enumerate}

In the paper, by virtue of expansions of two finite products of finitely many square sums, with the aid of series expansions of composite functions of (hyperbolic) sine and cosine functions with inverse sine and cosine functions, and in the light of properties of partial Bell polynomials, the author establishes Taylor's series expansions of real powers of two functions containing squares of inverse (hyperbolic) cosine functions in terms of the Stirling numbers of the first kind, presents an explicit formula of specific partial Bell polynomials at a sequence of derivatives of a function containing the square of inverse cosine function, derives several combinatorial identities involving the Stirling numbers of the first kind, demonstrates several series representations of the circular constant Pi and its real powers, recovers series expansions of positive integer powers of inverse (hyperbolic) sine functions in terms of the Stirling numbers of the first kind, and also deduces other useful, meaningful, and significant conclusions.

We determine necessary and sufficient conditions for real algebraic curves near the non-singular tropical limit to be hyperbolic with respect to a point, thus generalising Speyer's classification of stable curves near the tropical limit. In order to obtain the conditions, we develop tools of real tropical intersection theory. We introduce the tropical hyperbolicity locus and the signed tropical hyperbolicity locus of a real algebraic curve near the non-singular tropical limit. In the case of honeycombs, we characterise the tropical hyperbolicity locus in terms of the set of twisted edges on the tropical limit.

An animal is a planar shape formed by attaching congruent regular polygons, known as tiles, along their edges. In this paper, we study extremal animals defined on regular tessellations of the plane. In 1976, Harary and Harborth studied animals in the Euclidean cases, finding extremal values for their vertices, edges, and tiles, when any one of these parameters is fixed. Here, we generalize their results to hyperbolic animals. For each hyperbolic tessellation, we exhibit a sequence of spiral animals and prove that they attain the minimal numbers of edges and vertices within the class of animals with $n$ tiles. In their conclusions, Harary and Harborth also proposed the question of enumerating extremal animals with a fixed number of tiles. This question has previously only been considered for Euclidean animals. As a first step in solving this problem, we find special sequences of extremal animals that are unique extremal animals, in the sense that any animal with the same number of tiles which is distinct up to isometries can't be extremal.

Spin systems with hyperbolic symmetry originated as simplified models for the Anderson metal--insulator transition, and were subsequently found to exactly describe probabilistic models of linearly reinforced walks and random forests. In this survey we introduce these models, discuss their origins and main features, some existing tools available for their study, recent probabilistic results, and relations to other well-studied probabilistic models. Along the way we discuss some of the (many) open questions that remain.

We study Morse subgroups and Morse boundaries of random right-angled Coxeter groups in the Erdős--Rényi model. We show that at densities below $\left(\sqrt{\frac{1}{2}}-ε\right)\sqrt{\frac{\log{n}}{n}}$ random right-angled Coxeter groups almost surely have Morse hyperbolic surface subgroups. This implies their Morse boundaries contain embedded circles and they cannot be quasi-isometric to a right-angled Artin group. Further, at densities above $\left(\sqrt{\frac{1}{2}}+ε\right)\sqrt{\frac{\log{n}}{n}}$ we show that, almost surely, the hyperbolic Morse special subgroups of a random right-angled Coxeter group are virtually free. We also apply these methods to show that for a random graph $Γ$ at densities below $(1-ε)\sqrt{\frac{\log{n}}{n}}$, $\square(Γ)$ almost surely contains an isolated vertex. As a consequence, this provides infinitely many examples of right-angled Coxeter groups with no one-ended hyperbolic Morse special subgroups that are not quasi-isometric to a right-angled Artin group.