arXiv++ Combinatorics

For an arbitrary cocompact hyperbolic Coxeter group G with finite generator set S and complete growth function P(x)/Q(x), we provide a recursion formula for the coefficients of the denominator polynomial Q(x) which allows to determine recursively the Taylor coefficients and the pole behavior of the growth function of G in terms of its Coxeter subgroup structure. We illustrate this in the easy case of compact right-angled hyperbolic n-polytopes. Finally, we provide detailed insight into the case of Coxeter groups with at most 6 generators, acting cocompactly on hyperbolic 4-space, by considering the three combinatorially different families discovered and classified by Lanner, Kaplinskaya and Esselmann, respectively.

Let $G$ be a connected graph with the usual shortest-path metric $d$. The graph $G$ is $δ$-hyperbolic provided for any vertices $x,y,u,v$ in it, the two larger of the three sums $d(u,v)+d(x,y),d(u,x)+d(v,y)$ and $d(u,y)+d(v,x)$ differ by at most $2δ.$ The graph $G$ is $k$-chordal provided it has no induced cycle of length greater than $k.$ Brinkmann, Koolen and Moulton find that every 3-chordal graph is 1-hyperbolic and is not 1/2-hyperbolic if and only if it contains one of two special graphs as an isometric subgraph. For every $k\geq 4,$ we show that a $k$-chordal graph must be $\frac{\lfloor \frac{k}{2}\rfloor}{2}$-hyperbolic and there does exist a $k$-chordal graph which is not $\frac{\lfloor \frac{k-2}{2}\rfloor}{2}$-hyperbolic. Moreover, we prove that a 5-chordal graph is 1/2-hyperbolic if and only if it does not contain any of a list of six special graphs (See Fig. 3) as an isometric subgraph.

It is shown that there is no quasi-sphere packing of the lattice grid Z^{d+1} or a co-compact hyperbolic lattice of H^{d+1} or the 3-regular tree \times Z, in R^d, for all d. A similar result is proved for some other graphs too. Rather than using a direct geometrical approach, the main tools we are using are from non-linear potential theory.

A Fibonacci-Lucas based statistical model and several other related models are studied. The canonical and grand canonical partition functions for these models are developed.Partition structure such as the distribution of sizes as in a cluster distribution is explored.Ensemble averaging over all partitions leads to a scale invariant power law behavior at a particular critical like point. The canonical ensemble of the Fibonacci-Lucas case involves the Gegenbauer polynomial.The model has a hyperbolic power law behavior, a feature linked to the golden mean ratio of two adjacent Fibonacci numbers and also the connection of Lucas numbers to the golden mean. The relation to other power law behavior, such as Zipf and Pareto laws, is mentioned. For the cases considered, the grand canonical ensemble involves the Gauss hypergeometric function F(a,b,c,z) with specific values for a,b,c. The general case has a variable power law behavior with tau exponent equal to1+c-a-b. An application with a=1/2, b=1, c=3 and thus tau=5/2 very closely approximates Bose-Einstein condensation. The zeta function zeta(3/2)=2.61 of the exact theory is replaced with 8/3 and zeta(5/2)= 1.34 with 4/3. At the condensation point the number of cycles of length falls as a scale invariant power law. The cycles, which arise from permutation symmetries associated with Bose-Einstein statistics, can be viewed as links in a complex network of connections between particles. This scale invariant power law parallels that seen in complex networks. The growth of the network is developed using recurrence properties of the model. Constraints imposed by the canonical ensemble and associates correlations lead to some number theoretic connections between Fibonacci and Lucas numbers as an incidental consequence of this approach.

In 1966, P. Günther proved the following result: Given a continuous function $f$ on a compact surface $M$ of constant curvature -1 and its periodic lift $\tilde{f}$ to the universal covering, the hyperbolic plane, then the averages of the lift $\tilde{f}$ over increasing spheres converge to the average of the function $f$ over the surface $M$. In this article, we prove similar results for functions on the vertices and edges of regular and semiregular graphs, with special emphasis on the convergence rate. However, we consider averages over more general sets, namely spherical arcs, which in turn imply results for tubes and horocycles as well as spheres.

Let F/Q be number field. The space of positive definite binary Hermitian forms over F form an open cone in a real vector space. There is a natural decomposition of this cone into subcones, which descend give rise to hyperbolic tessellations of 3-dimensional hyperbolic space by ideal polytopes. We compute the structure of these polytopes for a range of imaginary quadratic fields.

We calculate the Laplace transform of the cut-and-join equation of Goulden, Jackson and Vakil. The result is a polynomial equation that has the topological structure identical to the Mirzakhani recursion formula for the Weil-Petersson volume of the moduli space of bordered hyperbolic surfaces. We find that the direct image of this Laplace transformed equation via the inverse of the Lambert W-function is the topological recursion formula for Hurwitz numbers conjectured by Bouchard and Marino using topological string theory.

It is well known that the spectral radius of a tree whose maximum degree is $D$ cannot exceed $2\sqrt{D-1}$. In this paper we derive similar bounds for arbitrary planar graphs and for graphs of bounded genus. It is proved that a the spectral radius $ρ(G)$ of a planar graph $G$ of maximum vertex degree $D\ge 4$ satisfies $\sqrt{D}\le ρ(G)\le \sqrt{8D-16}+7.75$. This result is best possible up to the additive constant--we construct an (infinite) planar graph of maximum degree $D$, whose spectral radius is $\sqrt{8D-16}$. This generalizes and improves several previous results and solves an open problem proposed by Tom Hayes. Similar bounds are derived for graphs of bounded genus. For every $k$, these bounds can be improved by excluding $K_{2,k}$ as a subgraph. In particular, the upper bound is strengthened for 5-connected graphs. All our results hold for finite as well as for infinite graphs. At the end we enhance the graph decomposition method introduced in the first part of the paper and apply it to tessellations of the hyperbolic plane. We derive bounds on the spectral radius that are close to the true value, and even in the simplest case of regular tessellations of type $\{p,q\}$ we derive an essential improvement over known results, obtaining exact estimates in the first order term and non-trivial estimates for the second order asymptotics.

We introduce a notion of essential hyperbolic Coxeter polytope as a polytope which fits some minimality conditions. The problem of classification of hyperbolic reflection groups can be easily reduced to classification of essential Coxeter polytopes. We determine a potentially large combinatorial class of polytopes containing, in particular, all the compact hyperbolic Coxeter polytopes of dimension at least 6 which are known to be essential, and prove that this class contains finitely many polytopes only. We also construct an effective algorithm of classifying polytopes from this class, realize it in four-dimensional case, and formulate a conjecture on finiteness of the number of essential polytopes.

Squaregraphs were originally defined as finite plane graphs in which all inner faces are quadrilaterals (i.e., 4-cycles) and all inner vertices (i.e., the vertices not incident with the outer face) have degrees larger than three. The planar dual of a finite squaregraph is determined by a triangle-free chord diagram of the unit disk, which could alternatively be viewed as a triangle-free line arrangement in the hyperbolic plane. This representation carries over to infinite plane graphs with finite vertex degrees in which the balls are finite squaregraphs. Algebraically, finite squaregraphs are median graphs for which the duals are finite circular split systems. Hence squaregraphs are at the crosspoint of two dualities, an algebraic and a geometric one, and thus lend themselves to several combinatorial interpretations and structural characterizations. With these and the 5-colorability theorem for circle graphs at hand, we prove that every squaregraph can be isometrically embedded into the Cartesian product of five trees. This embedding result can also be extended to the infinite case without reference to an embedding in the plane and without any cardinality restriction when formulated for median graphs free of cubes and further finite obstructions. Further, we exhibit a class of squaregraphs that can be embedded into the product of three trees and we characterize those squaregraphs that are embeddable into the product of just two trees. Finally, finite squaregraphs enjoy a number of algorithmic features that do not extend to arbitrary median graphs. For instance, we show that median-generating sets of finite squaregraphs can be computed in polynomial time, whereas, not unexpectedly, the corresponding problem for median graphs turns out to be NP-hard.

The derivative polynomials for the hyperbolic and trigonometric tangent, cotangent and secant are found in explicit form, where the coefficients are given in terms of Stirling numbers of the second kind. As application, some integrals are evaluated and the reflection formula for the polygamma function is written in explicit form.

We adapt and refine methods developed by Abramenko and Devillers--Köhl--Mühlherr in order to establish the sphericity of the Phan geometries of type B_n and C_n, and their generalizations. As an application we determine the finiteness length of the unitary form of certain hyperbolic Kac--Moody groups. We also reproduce the finiteness length of the unitary form of the groups Sp_{2n}(GF(q^2)[t,t^{-1}]). Another application is the first published proof of the Phan-type theorem of type F_4. Within the revision of the classification of the finite simple groups this concludes the revision of Phan's theorems and their extension to the non-simply laced diagrams. We also reproduce the Phan-type theorems of types B_n and C_n.

Colour symmetries with ten colours are presented for different tilings. In many cases, the existence of these colourings were predicted by group theoretical methods. Only in a few cases explicit constructions were known, sometimes using combination of two-colour and five-colour symmetries. Here we present explicit constructions of several of the predicted colourings for the first time, and discuss them in contrast to already known colourings with ten colours.

A first step in investigating colour symmetries of periodic and nonperiodic patterns is determining the number of colours which allow perfect colourings of the pattern under consideration. A perfect colouring is one where each symmetry of the uncoloured pattern induces a global permutation of the colours. Two cases are distinguished: Either perfect colourings with respect to all symmetries, or with respect to orientation preserving symmetries only (no reflections). For the important class of colourings of regular tilings (and some Laves tilings) of the Euclidean or hyperbolic plane, this mainly combinatorial question is addressed here using group theoretical methods.

In 1966, P. Guenther proved the following result: Given a continuous function f on a compact surface M of constant curvature -1 and its periodic lift g to the universal covering, the hyperbolic plane, then the averages of the lift g over increasing spheres converge to the average of the function f over the surface M. In this article, we prove similar results for functions on the vertices and edges of regular and semiregular graphs, with special emphasis on the convergence rate. We also consider averages over more general sets like arcs, tubes and horocycles.

The paper studies modular reduction techniques for abstract regular and chiral polytopes, with two purposes in mind: first, to survey the literature about modular reduction in polytopes; and second, to apply modular reduction, with moduli given by primes in Z[t] (with t=τthe golden ratio), to construct new regular 4-polytopes of hyperbolic types {3,5,3} and {5,3,5} with automorphism groups given by finite orthogonal groups.

Let $p$ be a homogeneous polynomial of degree $n$ in $n$ variables, $p(z_1,...,z_n) = p(Z)$, $Z \in C^{n}$. We call such a polynomial $p$ {\bf H-Stable} if $p(z_1,...,z_n) \neq 0$ provided the real parts $Re(z_i) > 0, 1 \leq i \leq n$. This notion from {\it Control Theory} is closely related to the notion of {\it Hyperbolicity} used intensively in the {\it PDE} theory. The main theorem in this paper states that if $p(x_1,...,x_n)$ is a homogeneous {\bf H-Stable} polynomial of degree $n$ with nonnegative coefficients; $deg_{p}(i)$ is the maximum degree of the variable $x_i$, $C_i = \min(deg_{p}(i),i)$ and $$ Cap(p) = \inf_{x_i > 0, 1 \leq i \leq n} \frac{p(x_1,...,x_n)}{x_1 ... x_n} $$ then the following inequality holds $$ \frac{\partial^n}{\partial x_1... \partial x_n} p(0,...,0) \geq Cap(p) \prod_{2 \leq i \leq n} (\frac{C_i -1}{C_i})^{C_{i}-1}. $$ This inequality is a vast (and unifying) generalization of the Van der Waerden conjecture on the permanents of doubly stochastic matrices as well as the Schrijver-Valiant conjecture on the number of perfect matchings in $k$-regular bipartite graphs. These two famous results correspond to the {\bf H-Stable} polynomials which are products of linear forms. Our proof is relatively simple and ``noncomputational''; it uses just very basic properties of complex numbers and the AM/GM inequality.

We study Linial-Meshulam random 2-complexes, which are two-dimensional analogues of Erdős-Rényi random graphs. We find the threshold for simple connectivity to be p = n^{-1/2}. This is in contrast to the threshold for vanishing of the first homology group, which was shown earlier by Linial and Meshulam to be p = 2 log(n)/n. We use a variant of Gromov's local-to-global theorem for linear isoperimetric inequalities to show that when p = O(n^{-1/2 -ε}) the fundamental group is word hyperbolic. Along the way we classify the homotopy types of sparse 2-dimensional simplicial complexes and establish isoperimetric inequalities for such complexes. These intermediate results do not involve randomness and may be of independent interest.

A latin bitrade $(T^{\diamond}, T^{\otimes})$ is a pair of partial latin squares which defines the difference between two arbitrary latin squares $L^{\diamond} \supseteq T^{\diamond}$ and $L^{\diamond} \supseteq T^{\otimes}$ of the same order. A 3-homogeneous bitrade $(T^{\diamond}, T^{\otimes})$ has three entries in each row, three entries in each column, and each symbol appears three times in $T^{\diamond}$. Cavenagh (2006) showed that any 3-homogeneous bitrade may be partitioned into three transversals. In this paper we provide an independent proof of Cavenagh's result using geometric methods. In doing so we provide a framework for studying bitrades as tessellations of spherical, euclidean or hyperbolic space.

These pages serve two purposes. First, they are notes to accompany the talk "Hyperbolic and projective geometry in constraint programming for CAD" by Walter Whiteley at the "Janos Bolyai Conference on Hyperbolic Geometry", 8--12 July 2002, in Budapest, Hungary. Second, they sketch results that will be included in a forthcoming paper that will present the equivalence of the first-order rigidity theories of bar-and-joint frameworks in various geometries, including Euclidean, hyperbolic and spherical geometry. The bulk of the theory is outlined here, with remarks and comments alluding to other results that will make the final version of the paper.