arXiv++ Combinatorics

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.

We show that in the random hyperbolic graph model as formalized by Gugelmann et al. in the most interesting range of $\frac12 < α< 1$ the size of the second largest component is $Θ((\log n)^{1/(1-α)})$, thus answering a question of Bode et al. We also show that for $α=\frac12$ with constant probability the corresponding size is $Θ(\log n)$, whereas for $α=1$ it is $Ω(n^{b})$ for some $b > 0$.

The class of quasi-median graphs is a generalisation of median graphs, or equivalently of CAT(0) cube complexes. The purpose of this thesis is to introduce these graphs in geometric group theory. In the first part of our work, we extend the definition of hyperplanes from CAT(0) cube complexes, and we show that the geometry of a quasi-median graph essentially reduces to the combinatorics of its hyperplanes. In the second part, we exploit the specific structure of the hyperplanes to state combination results. The main idea is that if a group acts in a suitable way on a quasi-median graph so that clique-stabilisers satisfy some non-positively curved property $\mathcal{P}$, then the whole group must satisfy $\mathcal{P}$ as well. The properties we are interested in are mainly (relative) hyperbolicity, (equivariant) $\ell^p$-compressions, CAT(0)-ness and cubicality. In the third part, we apply our general criteria to several classes of groups, including graph products, Guba and Sapir's diagram products, some wreath products, and some graphs of groups. Graph products are our most natural examples, where the link between the group and its quasi-median graph is particularly strong and explicit; in particular, we are able to determine precisely when a graph product is relatively hyperbolic.

One can define the notion of primitive length spectrum for a simple regular periodic graph via counting the orbits of closed reduced primitive cycles under an action of a discrete group of automorphisms. We prove that this primitive length spectrum satisfies an analogue of the `Multiplicity one' property. We show that if all but finitely many primitive cycles in two simple regular periodic graphs have equal lengths, then all the primitive cycles have equal lengths. This is a graph-theoretic analogue of a similar theorem in the context of geodesics on hyperbolic spaces. We also prove, in the context of actions of finitely generated abelian groups on a graph, that if the adjacency operators for two actions of such a group on a graph are similar, then corresponding periodic graphs are length isospectral.

Much is known about random right-angled Coxeter groups (i.e., right-angled Coxeter groups whose defining graphs are random graphs under the Erdös-Rényi model). In this paper, we extend this model to study random general Coxeter groups and give some results about random Coxeter groups, including some information about the homology of the nerve of a random Coxeter group and results about when random Coxeter groups are $δ$-hyperbolic and when they have the FC-type property.

We extend the notion of canonical measures to all (possibly non-compact) metric graphs. This will allow us to introduce a notion of "hyperbolic measures" on universal covers of metric graphs. Kazhdan's theorem for Riemann surfaces describes the limiting behavior of canonical (Arakelov) measures on finite covers in relation to the hyperbolic measure. We will prove a generalized version of this theorem for metric graphs, allowing any infinite Galois cover to replace the universal cover. We will show all such limiting measures satisfy a version of Gauss-Bonnet formula which, using the theory of von Neumann dimensions, can be interpreted as a "trace formula". In the special case where the infinite cover is the universal cover, we will provide explicit methods to compute the corresponding limiting (hyperbolic) measure. Our ideas are motivated by non-Archimedean analytic and tropical geometry.

Grotzsch proved that every triangle-free planar graph is 3-colorable. Thomassen proved that every planar graph of girth at least five is 3-choosable. As for other surfaces, Thomassen proved that there are only finitely many 4-critical graphs of girth at least five embeddable in any fixed surface. This implies a linear-time algorithm for deciding 3-colorablity for graphs of girth at least five on any fixed surface. Dvorak, Kral and Thomas strengthened Thomassen's result by proving that the number of vertices in a 4-critical graph of girth at least five is linear in its genus. They used this result to prove Havel's conjecture that a planar graph whose triangles are pairwise far enough apart is 3-colorable. As for list-coloring, Dvorak proved that a planar graph whose cycles of size at most four are pairwise far enough part is 3-choosable. In this article, we generalize these results. First we prove a linear isoperimetric bound for 3-list-coloring graphs of girth at least five. Many new results then follow from the theory of hyperbolic families of graphs developed by Postle and Thomas. In particular, it follows that there are only finitely many 4-list-critical graphs of girth at least five on any fixed surface, and that in fact the number of vertices of a 4-list-critical graph is linear in its genus. This provides independent proofs of the above results while generalizing Dvorak's result to graphs on surfaces that have large edge-width and yields a similar result showing that a graph of girth at least five with crossings pairwise far apart is 3-choosable. Finally, we generalize to surfaces Thomassen's result that every planar graph of girth at least five has exponentially many distinct 3-list-colorings. Specifically, we show that every graph of girth at least five that has a 3-list-coloring has $2^{Ω(n)-O(g)}$ distinct 3-list-colorings.