arXiv++ Combinatorics

Tilings of the plane resemble the simplicial and other complexes from algebraic topology, but have not been studied from this perspective. We construct finite categories corresponding to polygons with labeled directed edges, and introduce the problem of modeling tilings of the Euclidean or hyperbolic plane as presheaves over such a category. Combinatorially, this amounts to choosing an ``alignment'' for a tiling: a direction for every edge and consistent labels for the edges of each polygonal tile. We show that for a fixed tiling, given a single alignment we can characterize every other alignment of the same tiling by comparison of the edge directions. We then construct a ``reflective'' alignment for any tiling with an even number of polygons at each vertex, and from this generate a large family of alignments with elegant symmetry properties.

We introduce and study VERSs (vertex and edge replacement systems) as a technology of graph expansions. We consider its history graph, an augmented tree that records each graph expansion, and we provide sufficient conditions under which it is hyperbolic. When hyperbolic, its Gromov boundary is what we call the limit space of the VERS. We provide three examples from different areas of mathematics: Schreier graphs and limit spaces of finitely generated contracting self-similar groups, injective post-critically finite iterated function systems and limit spaces of edge replacement systems.

We explore basic properties of number friezes, due to Conway and Coxeter, and their relations to decompositions of rational numbers into continued fractions, Farey sequences, and the modular group acting on the hyperbolic plane. These are notes from a mini-course for undergraduate students given at the 19th Summer School ``Modern Mathematics'', Dubna, Russia, July 18-29, 2019.

One of the consequences of residual finiteness of triangle groups is that for any given hyperbolic triple $(\ell,m,n)$ there exist infinitely many regular hypermaps of type $(\ell,m,n)$ on compact orientable surfaces. The same conclusion also follows from a classification of those finite quotients of hyperbolic triangle groups that are isomorphic to linear fractional groups over finite fields. A non-orientable analogue of this, that is, existence of regular hypermaps of a given hyperbolic type on {\em non-orientable} compact surfaces, appears to have been proved only for {\em maps}, which arise when one of the parameters $\ell,m,n$ is equal to $2$. In this paper we establish a non-orientable version of the above statement in full generality by proving the following much stronger assertion: for every hyperbolic triple $(\ell,m,n)$ there exists an infinite set of primes $p$ of positive Dirichlet density, such that (i) there exists a regular hypermap $\mathcal{H}$ of type $(\ell,m,n)$ on a compact non-orientable surface such that the automorphism group of $\mathcal{H}$ is isomorphic to $\PSL(2,p)$, and, moreover, (ii) the carrier compact surface of {\em every} regular hypermap of type $(\ell,m,n)$ with rotation group isomorphic to $\PSL(2,p)$ is necessarily non-orientable.

In this paper, we introduce and analyze a random graph model $\mathcal{F}_{χ,n}$, which is a configuration model consisting of interior and boundary vertices. We investigate the asymptotic behavior of eigenvalues for graphs in $\mathcal{F}_{χ,n}$ under various growth regimes of $χ$ and $n$. When $n = o\left(χ^{\frac{2}{3}}\right)$, we prove that almost every graph in the model is connected and forms an expander family. We also establish upper bounds for the first Steklov eigenvalue, identifying scenarios in which expanders cannot be constructed. Furthermore, we explicitly construct an expanding family in the critical regime $n \asymp g$, and apply it to build a sequence of complete, noncompact hyperbolic surfaces with uniformly positive spectral gaps.

We investigate oriented graphs based on the curve complex $C(S)$ of a closed surface $S$ and induced by functions on the vertex set of $C(S)$. In particular, we introduce the Dehn quasi-homothetic functions, which behave similarly to homotheties under repeated Dehn twists. We prove that any two positive such functions of the same type induce different oriented graphs unless they are proportional. This leads to a new rigidity result for closed hyperbolic surfaces -- distinct from the $9g-9$ theorem and length spectrum rigidity -- knowing only for any two disjoint simple closed curves which one is longer (in terms of hyperbolic or extremal length) suffices to determine the hyperbolic metric on the surface. We also prove that each automorphism of the oriented graph induced by a function with sublevel sets finite is induced by a self-homeomorphism of $S$.

The combinatorial structure of the realization space of the euqilateral pentagon linkage is closely related to a tiling of the hyperbolic plane by right-angled pentagons. In this correspondence lower dimensional faces of the tiling correspond to degenerate realizations of the linkage. We extend this combinatorial correspondence to a full conformal parameterization of the space of all such linkaged controlled by one point in the hyperbolic plane. To do so we exploit the symmetry of the realization space, combine it with the Riemann mapping theorem and a normalization procedure introduced by Springborn. The resulting parameterization is "democratic" in the sense of Yoshida Masaaki: All points are treated exactly equal.

Let $F$ and $G$ be two graphs. A spanning subgraph $H$ of $G$ is called weakly $F$-saturated if one can add to $H$ the edges of $G \setminus H$ in some order, so that whenever a new edge is added, a new copy of $F$ is formed. Obtaining lower bounds for the minimum size $\mathrm{wsat}(G,F)$ of such an $H$ is a classical problem in extremal combinatorics. In particular, in the past 40 years, various algebraic tools have been developed to prove lower bounds on the weak saturation number $\mathrm{wsat}(G,F)$. Our paper uncovers a new connection of weak saturation to topology of clique complexes, that allows to prove tight lower bounds in some cases when the algebraic tools are not efficient. It is easy to see that the smallest $K_3$-saturating graphs in $K_n$ are trees, thus $\mathrm{wsat}(K_n,K_3)=n-1$. In 2017, Korándi and Sudakov proved that this is also the case in dense random graphs $G\sim G_{n,p}$, $p=\mathrm{const}\in(0,1)$, and posed the question of determining the smallest $p$ for which $G_{n,p}$ contains a $K_3$-saturating tree with high probability. Using the new topological connection, we show that this critical $p$ is of order $n^{-1/3-o(1)}$. Inspired by Gromov's local-to-global principle for hyperbolic groups, we further develop our topological approach and determine the critical probability up to a constant factor, for trees with diameter at most $n^{c}$, for some $c>0$. The new connection also enables us to improve the best known upper bound on the threshold probability for simple connectivity of the 2-dimensional clique complex of $G_{n,p}$, due to Kahle.

In this paper, we establish that the non-zero dihedral angles of hyperbolic Coxeter polyhedra of large dimensions are not arbitrarily small. Namely, for dimensions $n\geq 32$, they are of the form $\fracπ{m}$ with $m\leq 6$. Moreover, this property holds in all dimensions $n\geq 7$ for Coxeter polyhedra with mutually intersecting facets. Then, we develop a constructive procedure tailored to Coxeter polyhedra with prescribed dihedral angles, from which we derive the complete classification of ADEG-polyhedra, characterized by having no pair of disjoint facets and dihedral angles $\fracπ{2}, \fracπ{3}$ and $\fracπ{6}$, only. Besides some well-known simplices and pyramids, there are three exceptional polyhedra, one of which is a new polyhedron $P_{\star}\subset \mathbb H^9$ with $14$ facets.

We study a generalization of Eulerian polynomials to the multivariate setting introduced by Brändén. Although initially these polynomials were introduced using the language of hyperbolic and stable polynomials, we manage to translate some restrictions of these polynomials to our real zero setting. Once we are in this setting, we focus our attention on the rigidly convex sets (RCSs) defined by these polynomials. In particular, we study the corresponding rigidly convex sets looking at spectrahedral relaxations constructed through the use of monic symmetric linear matrix polynomials (MSLMPs) of small size and depending polynomially (actually just cubically) on the coefficients of the corresponding polynomials. We analyze how good are the obtained spectrahedral approximations to these rigidly convex sets. We do this analysis by measuring the behavior along the diagonal, where we precisely recover the original univariate Eulerian polynomials. Thus we conclude that, measuring through the diagonal, our relaxation-based spectrahedral method for approximation of the rigidly convex sets defined by multivariate Eulerian polynomials is highly accurate. In particular, we see that this relaxation-based spectrahedral method for approximation of the rigidly convex sets defined by multivariate Eulerian polynomials provides bounds for the extreme roots of the corresponding univariate Eulerian polynomials that are better than these already found in the literature. All in all, this tells us that, at least close to the diagonal, the global outer approximation to the rigidly convex sets provided by this relaxation-based spectrahedral method is itself highly accurate.

In a seminal 2005 paper, Haagerup and Thorbjørnsen discovered that the norm of any noncommutative polynomial of independent complex Gaussian random matrices converges to that of a limiting family of operators that arises from Voiculescu's free probability theory. In recent years, new methods have made it possible to establish such strong convergence properties in much more general situations, and to obtain even more powerful quantitative forms of the strong convergence phenomenon. These, in turn, have led to a number of spectacular applications to long-standing open problems on random graphs, hyperbolic surfaces, and operator algebras, and have provided flexible new tools that enable the study of random matrices in unexpected generality. This survey aims to provide an introduction to this circle of ideas.

Motivated by a question of Galby, Munaro, and Yang (SoCG 2023) asking whether every graph class of bounded layered tree-independence number admits clique-based separators of sublinear weight, we investigate relations between layered tree-independence number, weight of clique-based separators, clique cover degeneracy and independence degeneracy. In particular, we provide a number of results bounding these parameters on geometric intersection graphs. For example, we show that the layered tree-independence number is $\mathcal{O}(g)$ for $g$-map graphs, $\mathcal{O}(\frac{r}{\tanh r})$ for hyperbolic uniform disk graphs with radius $r$, and $\mathcal{O}(1)$ for spherical uniform disk graphs with radius $r$. Our structural results have algorithmic consequences. In particular, we obtain a number of subexponential or quasi-polynomial-time algorithms for weighted problems such as \textsc{Max Weight Independent Set} and \textsc{Min Weight Feedback Vertex Set} on several geometric intersection graphs. Finally, we conjecture that every fractionally tree-independence-number-fragile graph class has bounded independence degeneracy.

In this paper, we provide upper and lower bounds on the crossing numbers of dense graphs on surfaces, which match up to constant factors. First, we prove that if $G$ is a dense enough graph with $m$ edges and $Σ$ is a surface of genus $g$, then any drawing of $G$ on $Σ$ incurs at least $Ω\left(\frac{m^2}{g} \log ^2 g\right)$ crossings. The poly-logarithmic factor in this lower bound is new even in the case of complete graphs and disproves a conjecture of Shahrokhi, Székely and Vrt'o from 1996. Then we prove a geometric converse to this lower bound: we provide an explicit family of hyperbolic surfaces such that for any graph $G$, sampling the vertices uniformly at random on this surface and connecting them with shortest paths yields $O\left(\frac{m^2}{g} \log ^2 g\right)$ crossings in expectation.

A reciprocal geodesic on a (2,k, $\infty$) Hecke surface is a geodesic loop based at an even order cone point p traversing its path an even number of times. Associated to each reciprocal geodesic is the conjugacy class of a hyperbolic element in the (2,k,$\infty$) Hecke group whose axis passes through a cone point that projects to p. Such an element is called a reciprocal hyperbolic element based at p. In this paper, we determine the asymptotic growth rate and limiting constant (in terms of word length) of the number of primitive conjugacy classes of reciprocal hyperbolic elements in a Hecke group.

We prove infinitely many cases of conjectured sharp upper and lower bounds for the spanning tree entropy of any planar lattice graph. These bounds come from volumes of associated hyperbolic alternating links, right-angled hyperbolic polyhedra and hyperbolic regular ideal bipyramids. For many planar lattice graphs, we show these bounds are easy to compute and provide excellent numerical estimates for the spanning tree entropy.

We study infinitesimal deformations of complete hyperbolic surfaces with boundary and with ideal vertices, possibly decorated with horoballs. ``Admissible'' deformations are the ones that pull all horoballs apart; they form a convex cone of deformations. We describe this cone in terms of the arc complex of the surface: specifically, this paper focuses on the surfaces for which that complex is finite. Those surfaces form four families: (ideal) polygons, once-punctured polygons, one-holed polygons (or ``crowns''), and Möbius strips with spikes. In each case, we describe a natural simplicial decomposition of the projectivised admissible cone and of each of its faces, realizing them as appropriate arc complexes.

Let $Q^+(2n+1,q)$ be a hyperbolic quadric of $\PG(2n+1,q)$. Fix a generator $Π$ of the quadric. Define $\cG_n$ as the graph with vertex set the points of $Q^+(2n+1,q)\setminus Π$ and two vertices adjacent if they either span a secant to $Q^+(2n+1,q)$ or a line contained in $Q^+(2n+1,q)$ meeting $Π$ non-trivially. Then such a construction defines a strongly regular graph, which is the complement of a (non-induced) subgraph of the collinearity graph of $Q^+(2n+1,q)$. In this paper, we directly compute the parameters of $\cG_n$, which is cospectral, when $q=2$, to the tangent graph $NO^+(2n+2,2)$, but it is non-isomorphic for $n\geq3$. We also classify the maximal cliques of $\cG_3$ for $q=2$, proving as a by-product the non-isomorphism with the graph $NO^+(8,2)$.

We study Lam's reduced random walk in a hyperbolic triangle group, which we view as a random walk in the upper half-plane. We prove that this walk converges almost surely to a point on the extended real line. We devote special attention to the reduced random walk in $PGL_2(\mathbb{Z})$ (i.e., the $(2,3,\infty)$ triangle group). In this case, we provide an explicit formula for the cumulative distribution function of the limit. This formula is written in terms of the interrobang function, a new function $!\hspace{-3.8pt}?\colon[0,1]\to\mathbb{R}$ that shares several of the remarkable analytic and arithmetic properties of Minkowski's question-mark function.

In this article we construct contracting elements in the standard Cayley graphs of the so-called periagroups, a family of groups introduced by the second-named author which include Coxeter groups, graph products, and Dyer groups. As a consequence, we deduce that, unless they virtually split as direct products, periagroups are acylindrically hyperbolic and their conjugacy growth series, with respect to standard generating sets, are transcendental.

We study several noncommutative properties of 0-hyperbolic graphs. In particular, we prove that 0-hyperbolicity is preserved under quantum isomorphism. We also compute the quantum automorphism groups of 0-hyperbolic graphs and characterise the ones with quantum symmetry.