arXiv++ Combinatorics

Green and Sisask showed that the maximal number of $3$-term arithmetic progressions in $n$-element sets of integers is $\lceil n^2/2\rceil$; it is easy to see that the same holds if the set of integers is replaced by the real line or by any Euclidean space. We study this problem in general metric spaces, where a triple $(a,b,c)$ of points in a metric space is considered a $3$-term arithmetic progression if $d(a,b)=d(b,c)=\frac{1}{2}d(a,c)$. In particular, we show that the result of Green and Sisask extends to any Cartan--Hadamard manifold (in particular, to the hyperbolic spaces), but does not hold in spherical geometry or in the $r$-regular tree, for any $r\geq 3$.

We observe that fullerene graphs are one-skeletons of polyhedra, which can be realized with all dihedral angles equal to $π/2$ in a hyperbolic 3-dimensional space. One of the most important invariants of such a polyhedron is its volume. We are referring this volume as a hyperbolic volume of a fullerene. It is known that some topological indices of graphs of chemical compounds serve as strong descriptors and correlate with chemical properties. We demonstrate that hyperbolic volume of fullerenes correlates with few important topological indices and so, hyperbolic volume can serve as a chemical descriptor too. The correlation between hyperbolic volume of fullerene and its Wiener index suggested few conjectures on volumes of hyperbolic polyhedra. These conjectures are confirmed for the initial list of fullerenes.

We study asymptotic invariants of metric spaces, defined in terms of the travelling salesman problem, and our goal is to classify groups and spaces depending on how well they can be ordered in this context. We characterize virtually free groups as those admitting an order which has some efficiency on $4$-point subsets. We show that all $δ$-hyperbolic spaces can be ordered extremely efficiently, for the question when the number of points of a subset tends to $\infty$.

The Markov numbers are the positive integers that appear in the solutions of the equation $x^2+y^2+z^2=3xyz$. These numbers are a classical subject in number theory and have important ramifications in hyperbolic geometry, algebraic geometry and combinatorics. It is known that the Markov numbers can be labeled by the lattice points $(q,p)$ in the first quadrant and below the diagonal whose coordinates are coprime. In this paper, we consider the following question. Given two lattice points, can we say which of the associated Markov numbers is larger? A complete answer to this question would solve the uniqueness conjecture formulated by Frobenius in 1913. We give a partial answer in terms of the slope of the line segment that connects the two lattice points. We prove that the Markov number with the greater $x$-coordinate is larger than the other if the slope is at least $-\frac{8}{7}$ and that it is smaller than the other if the slope is at most $-\frac{5}{4}$. As a special case, namely when the slope is equal to 0 or 1, we obtain a proof of two conjectures from Aigner's book "Markov's theorem and 100 years of the uniqueness conjecture".

We discuss several ways of packing a hyperbolic surface with circles (of either varying radii or all being congruent) or horocycles, and note down some observations related to their symmetries (or the absence thereof).

We express the Masur-Veech volume and the area Siegel-Veech constant of the moduli space $\mathcal{Q}_{g,n}$ of genus $g$ meromorphic quadratic differentials with $n$ simple poles as polynomials in the intersection numbers of $ψ$-classes with explicit rational coefficients. The formulae obtained in this article result from lattice point counts involving the Kontsevich volume polynomials that also appear in Mirzakhani's recursion for the Weil-Petersson volumes of the moduli spaces of bordered hyperbolic surfaces with geodesic boundaries. A similar formula for the Masur-Veech volume (though without explicit evaluation) was obtained earlier by Mirzakhani via completely different approach. Furthermore, we prove that the density of the mapping class group orbit of any simple closed multicurve $γ$ inside the ambient set of integral measured laminations computed by Mirzakhani coincides with the density of square-tiled surfaces having horizontal cylinder decomposition associated to $γ$ among all square-tiled surfaces in $\mathcal{Q}_{g,n}$. We study the resulting densities (or, equivalently, volume contributions) in more detail in the special case $n=0$. In particular, we compute the asymptotic frequencies of separating and non-separating simple closed geodesics on a closed hyperbolic surface of genus $g$ for small $g$ and we show that for large genera the separating closed geodesics are $\sqrt{\frac{2}{3πg}}\cdot\frac{1}{4^g}$ times less frequent.

In this paper, we study a special class of indefinite Kac-Moody algebras. Based on the study of hyperbolic Kac-Moody algebras, we give the definition of $N_k$ type Kac-Moody algebras and study some properties of this special type Kac-Moody algebras.

A graph $X$ is defined inductively to be $(a_0,\dots,a_{n-1})$-regular if $X$ is $a_0$-regular and for every vertex $v$ of $X$, the sphere of radius $1$ around $v$ is an $(a_1,\dots,a_{n-1})$-regular graph. Such a graph $X$ is said to be highly regular (HR) of level $n$ if $a_{n-1}\neq 0$. Chapman, Linial and Peled studied HR-graphs of level 2 and provided several methods to construct families of graphs which are expanders "globally and locally". They ask whether such HR-graphs of level 3 exist. In this paper we show how the theory of Coxeter groups, and abstract regular polytopes and their generalisations, can lead to such graphs. Given a Coxeter system $(W,S)$ and a subset $M$ of $S$, we construct highly regular quotients of the 1-skeleton of the associated Wythoffian polytope $\mathcal{P}_{W,M}$, which form an infinite family of expander graphs when $(W,S)$ is indefinite and $\mathcal{P}_{W,M}$ has finite vertex links. The regularity of the graphs in this family can be deduced from the Coxeter diagram of $(W,S)$. The expansion stems from applying superapproximation to the congruence subgroups of the linear group $W$. This machinery gives a rich collection of families of HR-graphs, with various interesting properties, and in particular answers affirmatively the question asked by Chapman, Linial and Peled.

We study classes determined by the Kazhdan-Lusztig basis of the Hecke algebra in the $K$-theory and hyperbolic cohomology theory of flag varieties. We first show that, in $K$-theory, the two different choices of Kazhdan-Lusztig bases produce dual bases, one of which can be interpreted as characteristic classes of the intersection homology mixed Hodge modules. In equivariant hyperbolic cohomology, we show that if the Schubert variety is smooth, then the class it determines coincides with the class of the Kazhdan-Lusztig basis; this was known as the Smoothness Conjecture. For Grassmannians, we prove that the classes of the Kazhdan-Lusztig basis coincide with the classes determined by Zelevinsky's small resolutions. These properties of the so-called KL-Schubert basis show that it is the closest existing analogue to the Schubert basis for hyperbolic cohomology; the latter is a very useful testbed for more general elliptic cohomologies.

One of the fundamental invariants connecting algebra and geometry is the degree of an ideal. In this paper we derive the probabilistic behavior of degree with respect to the versatile Erdős-Rényi-type model for random monomial ideals defined in \cite{rmi}. We study the staircase structure associated to a monomial ideal, and show that in the random case the shape of the staircase diagram is approximately hyperbolic, and this behavior is robust across several random models. Since the discrete volume under this staircase is related to the summatory higher-order divisor function studied in number theory, we use this connection and our control over the shape of the staircase diagram to derive the asymptotic degree of a random monomial ideal. Another way to compute the degree of a monomial ideal is with a standard pair decomposition. This paper derives bounds on the number of standard pairs of a random monomial ideal indexed by any subset of the ring variables. The standard pairs indexed by maximal subsets give a count of degree, as well as being a more nuanced invariant of the random monomial ideal.

For small $n$, the known compact hyperbolic $n$-orbifolds of minimal volume are intimately related to Coxeter groups of smallest rank. For $n=2$ and $3$, these Coxeter groups are given by the triangle group $[7,3]$ and the tetrahedral group $[3,5,3]$, and they are also distinguished by the fact that they have minimal growth rate among all cocompact hyperbolic Coxeter groups in $\hbox{Isom}\mathbb H^n$, respectively. In this work, we consider the cocompact Coxeter simplex group $G_4$ with Coxeter symbol $[5,3,3,3]$ in $\hbox{Isom}\mathbb H^4$ and the cocompact Coxeter prism group $G_5$ based on $[5,3,3,3,3]$ in $\hbox{Isom}\mathbb H^5$. Both groups are arithmetic and related to the fundamental group of the minimal volume arithmetic compact hyperbolic $n$-orbifold for $n=4$ and $5$, respectively. Here, we prove that the group $G_n$ is distinguished by having smallest growth rate among all Coxeter groups acting cocompactly on $\mathbb H^n$ for $n=4$ and $5$, respectively. The proof is based on combinatorial properties of compact hyperbolic Coxeter polyhedra, some partial classification results and certain monotonicity properties of growth rates of the associated Coxeter groups.

Algebraic Nahm equations, considered in the paper, are polynomial equations, governing the $q\rightarrow 1$ limit of the $q$-hypergeometric Nahm sums. They make an appearance in various fields: hyperbolic geometry, knot theory, quiver representation theory, topological strings and conformal field theory. In this paper we focus primarily on Nahm sums and Nahm equations that arise in relation with symmetric quivers. For a large class of them, we prove that quiver A-polynomials -- specialized resultants of the Nahm equations, are tempered (the so-called K-theoretic condition). This implies that they are quantizable. Moreover, we find that their face polynomials obey a remarkable combinatorial pattern. We use the machinery of initial forms and mixed polyhedral decompositions to investigate the edges of the Newton polytope. We show that this condition holds for the diagonal quivers with adjacency matrix $C = \mathrm{diag}(α,α,\dots,α),\ α\geq 2$, and provide several checks for non-diagonal quivers. Our conjecture is that the K-theoretic condition holds for all symmetric quivers.

In this paper we study the moduli space of the tropicalizations of Riemann surfaces. We first tropicalize a smooth pointed Riemann surface by a graph defined by its (hyperbolic) pair of pants decomposition. Then we can construct the moduli space of tropicalizations based on a fixed regular tropicalization, and compactify it by adding strata parametrizing weighted contractions. We show that this compact moduli space is also Hausdorff. In the end, we compare this moduli space with the moduli space of Riemann surfaces, establishing a partial order-preserving correspondence between the stratifications of these two moduli spaces.

Periodic tilings play a role in the decorative arts, in construction and in crystal structures. Combinatorial tiling theory allows the systematic generation, visualization and exploration of such tilings of the plane, sphere and hyperbolic plane, using advanced algorithms and software.Here we present a "galaxy" of tilings that consists of the set of all 2.4 billion different types of periodic tilings that have Dress complexity up to 24. We make these available in a database and provide a new program called Tegula that can be used to search and visualize such tilings. Availability: All tilings and software and are open source and available here: https://ab.inf.uni-tuebingen.de/software/tegula.

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.