arXiv++ Combinatorics

The present paper is a new version of the arXiv paper revisiting the proof given in a previous paper of the author published in 2008 proving that the general tiling problem of the hyperbolic plane is undecidable by proving a slightly stronger version using only a regular polygon as the basic shape of the tiles. The problem was raised by a paper of Raphael Robinson in 1971, in his famous simplified proof that the general tiling problem is undecidable for the Euclidean plane, initially proved by Robert Berger in 1966. The present construction improves that of the recent arXiv paper. It also strongly reduces the number of prototiles.

We suggest a new random model for links based on meander diagrams and graphs. We then prove that trivial links appear with vanishing probability in this model, no link $L$ is obtained with probability 1, and there is a lower bound for the number of non-isotopic knots obtained for a fixed number of crossings. A random meander diagram is obtained through matching pairs of parentheses, a well-studied problem in combinatorics. Hence tools from combinatorics can be used to investigate properties of random links in this model, and, moreover, of the respective 3-manifolds that are link complements in 3-sphere. We use this for exploring geometric properties of a link complement. Specifically, we give expected twist number of a link diagram and use it to bound expected hyperbolic and simplicial volume of random links. The tools from combinatorics that we use include Catalan and Narayana numbers, and Zeilberger's algorithm.

Twin-width is a recently introduced graph parameter with applications in algorithmics, combinatorics, and finite model theory. For graphs of bounded degree, finiteness of twin-width is preserved by quasi-isometry. Thus, through Cayley graphs, it defines a group invariant. We prove that groups which are abelian, hyperbolic, ordered, solvable, or with polynomial growth, have finite twin-width. Twin-width can be characterised by excluding patterns in the self-action by product of the group elements. Based on this characterisation, we propose a strengthening called uniform twin-width, which is stable under constructions such as group extensions, direct products, and direct limits. The existence of finitely generated groups with infinite twin-width is not immediate. We construct one using a result of Osajda on embeddings of graphs into groups. This implies the existence of a class of finite graphs with unbounded twin-width but containing $2^{O(n)} \cdot n!$ graphs on vertex set $\{1,\dots,n\}$, settling a question asked in a previous work.

Let $α$ and $β$ be uniformly random permutations of orders $2$ and $3$, respectively, in $S_{N}$, and consider, say, the permutation $αβαβ^{-1}$. How many fixed points does this random permutation have on average? The current paper studies questions of this kind and relates them to surprising topological and algebraic invariants of elements in free products of groups. Formally, let $Γ=G_{1}*\ldots*G_{k}$ be a free product of groups where each of $G_1,\ldots,G_k$ is either finite, finitely generated free, or an orientable hyperbolic surface group. For a fixed element $γ\inΓ$, a $γ$-random permutation in the symmetric group $S_{N}$ is the image of $γ$ through a uniformly random homomorphism $Γ\to S_{N}$. In this paper we study local statistics of $γ$-random permutations and their asymptotics as $N$ grows. We first consider $\mathbb{E}\left[\mathrm{fix}_γ\left(N\right)\right]$, the expected number of fixed points in a $γ$-random permutation in $S_{N}$. We show that unless $γ$ has finite order, the limit of $\mathbb{E}\left[\mathrm{fix}_γ\left(N\right)\right]$ as $N\to\infty$ is an integer, and is equal to the number of subgroups $H\leΓ$ containing $γ$ such that $H\cong\mathbb{Z}$ or $H\cong C_{2}*C_{2}$. Equivalently, this is the number of subgroups $H\leΓ$ containing $γ$ and having (rational) Euler characteristic zero. We also prove there is an asymptotic expansion for $\mathbb{E}\left[\mathrm{fix}_γ\left(N\right)\right]$ and determine the limit distribution of the number of fixed points as $N\to\infty$. These results are then generalized to all statistics of cycles of fixed lengths.

An arrangement of hyperplanes is strongly inscribable if it has an inscribed (or ideal hyperbolic) zonotope. We characterize inscribed zonotopes and prove that the family of strongly inscribable arrangements is closed under restriction and localization. Moreover, we show that (strongly) inscribable arrangements are simplicial. We conjecture that only reflection arrangements and their restrictions are strongly inscribable and we verify our conjecture in rank-$3$ using the conjecturally complete list of irreducible simplicial rank-$3$ arrangements.

In this paper we study $\times_0$-products of Lannér diagrams. We prove that every $\times_0$-product of at least four Lannér diagrams with at least one diagram of order $\ge 3$ is superhyperbolic. As a corollary, we obtain that known classifications exhaust all compact hyperbolic Coxeter polytopes that are combinatorially equivalent to products of simplices. We also consider compact hyperbolic Coxeter polytopes whose every Lannér subdiagram has order $2$. The second result of this paper slightly improves recent Burcroff's upper bound on the dimension of such polytopes to $12$.

In this paper we study crystallographic sphere packings and Kleinian sphere packings, introduced first by Kontorovich and Nakamura in 2017 and then studied further by Kapovich and Kontorovich in 2021. In particular, we solve the problem of existence of crystallographic sphere packings in certain higher dimensions posed by Kontorovich and Nakamura. In addition, we present a geometric doubling procedure allowing to obtain sphere packings from some Coxeter polyhedra without isolated roots, and study "properly integral" packings (that is, ones which are integral but not superintegral). Our techniques rely extensively on computations with Lorentzian quadratic forms, their orthogonal groups, and associated higher-dimensional hyperbolic polyhedra.

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.