arXiv++ Combinatorics

We construct a new family of trivalent expanders tessellating hyperbolic surfaces with large isometry groups. These graphs are obtained from a family of Cayley graphs of nilpotent groups via $(Δ-Y)$-transformations. We compare this family with Platonic graphs and their associated hyperbolic surfaces and see that they are generally very different with only one hyperbolic surface in the intersection. Moreover, we study combinatorial, topological and spectral properties of our trivalent graphs and their associated hyperbolic surfaces.

Nielsen, Plotkin, and Winskel (1981) proved that every 1-safe Petri net $N$ unfolds into an event structure $\mathcal{E}_N$. By a result of Thiagarajan (1996 and 2002), these unfoldings are exactly the trace regular event structures. Thiagarajan (1996 and 2002) conjectured that regular event structures correspond exactly to trace regular event structures. In a recent paper (Chalopin and Chepoi, 2017, 2018), we disproved this conjecture, based on the striking bijection between domains of event structures, median graphs, and CAT(0) cube complexes. On the other hand, in Chalopin and Chepoi (2018) we proved that Thiagarajan's conjecture is true for regular event structures whose domains are principal filters of universal covers of (virtually) finite special cube complexes. In the current paper, we prove the converse: to any finite 1-safe Petri net $N$ one can associate a finite special cube complex ${X}_N$ such that the domain of the event structure $\mathcal{E}_N$ (obtained as the unfolding of $N$) is a principal filter of the universal cover $\widetilde{X}_N$ of $X_N$. This establishes a bijection between 1-safe Petri nets and finite special cube complexes and provides a combinatorial characterization of trace regular event structures. Using this bijection and techniques from graph theory and geometry (MSO theory of graphs, bounded treewidth, and bounded hyperbolicity) we disprove yet another conjecture by Thiagarajan (from the paper with S. Yang from 2014) that the monadic second order logic of a 1-safe Petri net is decidable if and only if its unfolding is grid-free. Our counterexample is the trace regular event structure $\mathcal{\dot E}_Z$ which arises from a virtually special square complex $\dot Z$. The domain of $\mathcal{\dot E}_Z$ is grid-free (because it is hyperbolic), but the MSO theory of the event structure $\mathcal{\dot E}_Z$ is undecidable.

Recently Marcus, Spielman and Srivastava gave a spectacular proof of a theorem which implies a positive solution to the Kadison-Singer problem via Weaver's $KS_r$ conjecture. We extend this theorem to the realm of hyperbolic polynomials and hyperbolicity cones, as well as to arbitrary ranks. We also sharpen the theorem by providing better bounds, which imply better bounds in Weaver's $KS_r$ conjecture for each $r>2$. For $r=2$ our bound agrees with Bownik et al.

It is shown that in various categories, including many consisting of maps or hypermaps, oriented or unoriented, of a given hyperbolic type, every countable group $A$ is isomorphic to the automorphism group of uncountably many non-isomorphic objects, infinitely many of them finite if $A$ is finite. In particular, this applies to dessins d'enfants, regarded as finite oriented hypermaps. The proof, involving maximal subgroups of various triangle groups, yields a simple construction of a regular map whose automorphism group contains an isomorphic copy of every finite group.

A semi-regular tiling of the hyperbolic plane is a tessellation by regular geodesic polygons with the property that each vertex has the same vertex-type, which is a cyclic tuple of integers that determine the number of sides of the polygons surrounding the vertex. We determine combinatorial criteria for the existence, and uniqueness, of a semi-regular tiling with a given vertex-type, and pose some open questions.

Making use of the `Veldkamp blow-up' recipe, introduced by Saniga and others (Ann. Inst. H. Poincar\' e D2 (2015) 309) for binary Segre varieties, we study geometric hyperplanes and Veldkamp lines of Segre varieties $S_k(3)$, where $S_k(3)$ stands for the $k$-fold direct product of projective lines of size four and $k$ runs from 2 to 4. Unlike the binary case, the Veldkamp spaces here feature also non-projective elements. Although for $k=2$ such elements are found only among Veldkamp lines, for $k \geq 3$ they are also present among Veldkamp points of the associated Segre variety. Even if we consider only projective geometric hyperplanes, we find four different types of non-projective Veldkamp lines of $S_3(3)$, having 2268 members in total, and five more types if non-projective ovoids are also taken into account. Sole geometric and combinatorial arguments lead to as many as 62 types of projective Veldkamp lines of $S_3(3)$, whose blowing-ups yield 43 distinct types of projective geometric hyperplanes of $S_4(3)$. As the latter number falls short of 48, the number of different large orbits of $2 \times 2 \times 2 \times 2$ arrays over the three-element field found by Bremner and Stavrou (Lin. Multilin. Algebra 61 (2013) 986), there are five (explicitly indicated) hyperplane types such that each is the merger of two different large orbits. Furthermore, we single out those 22 types of geometric hyperplanes of $S_4(3)$, featuring 7 176 640 members in total, that are in a one-to-one correspondence with the points lying on the unique hyperbolic quadric $\mathcal{Q}_0^{+}(15,3) \subset {\rm PG}(15,3) \subset \mathcal{V}(S_4(3))$; and, out of them, seven ones that correspond bijectively to the set of 91 840 generators of the symplectic polar space $\mathcal{W}(7,3) \subset \mathcal{V}(S_3(3))$. For $k=3$ we also discuss embedding of the binary Veldkamp space into the ternary one.

We investigate weighted floating bodies of polytopes. We show that the weighted volume depends on the complete flags of the polytope. This connection is obtained by introducing flag simplices, which translate between the metric and combinatorial structure. Our results are applied in spherical and hyperbolic space. This leads to new asymptotic results for polytopes in these spaces. We also provide explicit examples of spherical and hyperbolic convex bodies whose floating bodies behave completely different from any convex body in Euclidean space.

A graph G is list (b:a)-colorable if for every assignment of lists of size b to vertices of G, there exists a choice of an a-element subset of the list at each vertex such that the subsets chosen at adjacent vertices are disjoint. We prove that for every positive integer a, the family of minimal obstructions of girth at least five to list (3a:a)-colorability is strongly hyperbolic, in the sense of the hyperbolicity theory developed by Postle and Thomas. This has a number of consequences, e.g., that if a graph of girth at least five and Euler genus g is not list (3a:a)-colorable, then G contains a subgraph with O(g) vertices which is not list (3a:a) colorable.

We prove that there exists a universal constant $c$ such that any closed hyperbolic 3-manifold admits a triangulation of treewidth at most $c$ times its volume. The converse is not true: we show there exists a sequence of hyperbolic 3-manifolds of bounded treewidth but volume approaching infinity. Along the way, we prove that crushing a normal surface in a triangulation does not increase the carving-width, and hence crushing any number of normal surfaces in a triangulation affects treewidth by at most a constant multiple.

In the course of our work on low-volume hyperbolic 3-manifolds, we came upon a linking problem for horoball necklaces in $\mathbb{H}^3$. A horoball necklace is a collection of sequentially tangent beards (i.e. spheres) with disjoint interiors lying on a flat table (i.e. a plane) such that each bead is of diameter at most one and is tangent to the table. In this note, we analyze the possible configurations of an 8-bead necklace linking around two other diameter-one spheres on the table. We show that all the beads are forced to have diameter one, the two linked spheres are tangent, and that each bead must kiss (i.e. be tangent to) at least one of the two linked spheres. In fact, there is a 1-parameter family of distinct configurations.

We show that generating functions associated to the sequence of convergents of a quadratic irrational are related in a natural way to the dynam- ical zeta function of a hyperbolic automorphism of the 2-torus. As a corollary, this shows that the Lévy constant of a quadratic irrational appears naturally as the topological entropy of such maps.

The image of a linear space under inversion of some coordinates is an affine variety whose structure is governed by an underlying hyperplane arrangement. In this paper, we generalize work by Proudfoot and Speyer to show that circuit polynomials form a universal Groebner basis for the ideal of polynomials vanishing on this variety. The proof relies on degenerations to the Stanley-Reisner ideal of a simplicial complex determined by the underlying matroid. If the linear space is real, then the semi-inverted linear space is also an example of a hyperbolic variety, meaning that all of its intersection points with a large family of linear spaces are real.

Beside simplices, $n$-cubes form an important class of simple polyhedra. Unlike hyperbolic Coxeter simplices, hyperbolic Coxeter $n$-cubes are not classified. We show that there is no hyperbolic Coxeter $n$-cube for $n\geq~6$, and provide a full classification for $n\leq 5$. Our methods, which are essentially of combinatorial and algebraic nature, can be (and have been successfully) implemented in a symbolic computation software such as Mathematica$^\circledR$.

In this paper, we study Gromov hyperbolicity and related parameters, that represent how close (locally) a metric space is to a tree from a metric point of view. The study of Gromov hyperbolicity for geodesic metric spaces can be reduced to the study of graph hyperbolicity. The main contribution of this paper is a new characterization of the hyperbolicity of graphs. This characterization has algorithmic implications in the field of large-scale network analysis. A sharp estimate of graph hyperbolicity is useful, e.g., in embedding an undirected graph into hyperbolic space with minimum distortion [Verbeek and Suri, SoCG'14]. The hyperbolicity of a graph can be computed in polynomial-time, however it is unlikely that it can be done in subcubic time. This makes this parameter difficult to compute or to approximate on large graphs. Using our new characterization of graph hyperbolicity, we provide a simple factor 8 approximation algorithm for computing the hyperbolicity of an $n$-vertex graph $G=(V,E)$ in optimal time $O(n^2)$ (assuming that the input is the distance matrix of the graph). This algorithm leads to constant factor approximations of other graph-parameters related to hyperbolicity (thinness, slimness, and insize). We also present the first efficient algorithms for exact computation of these parameters. All of our algorithms can be used to approximate the hyperbolicity of a geodesic metric space. We also show that a similar characterization of hyperbolicity holds for all geodesic metric spaces endowed with a geodesic spanning tree. Along the way, we prove that any complete geodesic metric space $(X,d)$ has such a geodesic spanning tree. We hope that this fundamental result can be useful in other contexts.

Recently, the existence of an Amplituhedron for tree level amplitudes in the bi-adjoint scalar field theory has been proved by Arkhani-Hamed et al. We argue that hyperbolic geometry constitutes a natural framework to address the study of positive geometries in moduli spaces of Riemann surfaces, and thus to try to extend this achievement beyond tree level. In this paper we begin an exploration of these ideas starting from the simplest example of hyperbolic geometry, the hyperbolic plane. The hyperboloid model naturally guides us to re-discover the moduli space Associahedron, and a new version of its kinematical avatar. As a by-product we obtain a solution to the scattering equations which can be interpreted as a special case of the two well known solutions in terms of spinor-helicity formalism. The construction is done in $1+2$ dimensions and this makes harder to understand how to extract the amplitude from the dlog of the space time Associahedron. Nevertheless, we continue the investigation accommodating a loop momentum in the picture. By doing this we are led to another polytope called Halohedron, which was already known to mathematicians. We argue that the Halohedron fulfils many criteria that make it plausible to be understood as a 1-loop Amplituhedron for the cubic theory. Furthermore, the hyperboloid model again allows to understand that a kinematical version of the Halohedron exists and is related to the one living in moduli space by a simple generalisation of the tree level map.

We study the hyperbolic random geometric graph introduced in Krioukov et al. For a sequence $R_n \to \infty$, we define these graphs to have the vertex set as Poisson points distributed uniformly in balls $B(0,R_n) \subset B_d^α$, the $d$-dimensional Poincaré ball (unit d-ball with the Poincaré metric $d_α$ corresponding to negative curvature $-α^2, α> 0$) by connecting any two points within a distance $R_n$ according to the metric $d_ζ, ζ> 0$. Denoting these graphs by $HG_n(R_n ; α, ζ)$, we study asymptotic counts of copies of a fixed tree $Γ_k$ (with the ordered degree sequence $d_{(1)} \leq \ldots \leq d_{(k)}$) in $HG_n(R_n ; α, ζ)$. Unlike earlier works, we count more involved structures, allowing for $d > 2$, and in many places, more general choices of $R_n$ rather than $R_n = 2[ζ(d-1)]^{-1}\log (n/ ν), ν\in (0,\infty)$. The latter choice of $R_n$ for $α/ ζ> 1/2$ corresponds to the thermodynamic regime. We show multiple phase transitions in $HG_n(R_n ; α, ζ)$ as $α/ ζ$ increases, i.e., the space $B_d^α$ becomes more hyperbolic. In particular, our analyses reveal that the sub-tree counts exhibit an intricate dependence on the degree sequence $d_{(1)},\ldots,d_{(k)}$ of $Γ_k$ as well as the ratio $α/ζ$. Under a more general radius regime $R_n$ than that described above, we investigate the asymptotics of the expectation and variance of sub-tree counts. Moreover, we prove the corresponding central limit theorem as well. Our proofs rely crucially on a careful analysis of the sub-tree counts near the boundary using Palm calculus for Poisson point processes along with estimates for the hyperbolic metric and measure. For the central limit theorem, we use the abstract normal approximation result from Last et al. derived using the Malliavin-Stein method.

Following ideas that go back to Cannon, we show the rationality of various generating functions of growth sequences counting embeddings of convex subgraphs in locally-finite, vertex-transitive graphs with the (relative) falsification by fellow traveler property (fftp). In particular, we recover results of Cannon, of Epstein, Iano-Fletcher and Zwick, and of Calegari and Fujiwara. One of our applications concerns Schreier coset graphs of hyperbolic groups relative to quasi-convex subgroups, we show that these graphs have rational growth, the falsification by fellow traveler property, and the existence of a lower bound for the growth rate independent of the finite generating set and the infinite index quasi-convex subgroup.

Markov numbers are integers that appear in the solution triples of the Diophantine equation, $x^2+y^2+z^2=3xyz$, called the Markov equation. A classical topic in number theory, these numbers are related to many areas of mathematics such as combinatorics, hyperbolic geometry, approximation theory and cluster algebras. There is a natural map from the rational numbers between zero and one to the Markov numbers. In this paper, we prove two conjectures seen in Martin Aigner's book, Markov's theorem and 100 years of the uniqueness conjecture, that determine an ordering on subsets of the Markov numbers based on their corresponding rational. The proof relies on a relationship between Markov numbers and continuant polynomials which originates in Frobenius' 1913 paper.

In this paper, we study a class of sequences of polynomials linked to the sequence of Bell polynomials. Some sequences of this class have applications on the theory of hyperbolic differential equations and other sequences generalize Laguerre polynomials and associated Lah polynomials. We discuss, for these polynomials, their explicit expressions, relations to the successive derivatives of a given function, real zeros and recurrence relations. Some known results are significantly simplified.

Several articles deal with tilings with squares and dominoes of the well-known regular square mosaic in Euclidean plane, but not any with the hyperbolic regular square mosaics. In this article, we examine the tiling problem with colored squares and dominoes of one type of the possible hyperbolic generalization of $(2\times n)$-board.