arXiv++ Combinatorics

Let X be a space of constant curvature and P be a convex polyhedron in X. A Coxeter decomposition of the polyhedron P is a decomposition of P into finitely many Coxeter polyhedra, such that any two polyhedra having a common facet are symmetric with respect to this facet. In this paper we classify Coxeter decompositions of simplices in hyperbolic space of dimension greater than 3. The problem is close to the classification of the finite index subgroups in the discrete hyperbolic reflection groups.

This paper starts with an observation that two infinite series of simplicial complexes, which a priori do not seem to have anything to do with each other, have the same homotopy type. One series consists of the complexes of directed forests on a double directed string, while the other one consists of Shapiro-Welker models for the spaces of hyperbolic polynomials with a triple root. We explain this coincidence in the more general context by finding an explicit homotopy equivalence between complexes of directed forests on a double directed tree, and doubly disconnecting complexes of a tree.

We introduce the fatness parameter of a 4-dimensional polytope P, defined as φ(P)=(f_1+f_2)/(f_0+f_3). It arises in an important open problem in 4-dimensional combinatorial geometry: Is the fatness of convex 4-polytopes bounded? We describe and analyze a hyperbolic geometry construction that produces 4-polytopes with fatness φ(P)>5.048, as well as the first infinite family of 2-simple, 2-simplicial 4-polytopes. Moreover, using a construction via finite covering spaces of surfaces, we show that fatness is not bounded for the more general class of strongly regular CW decompositions of the 3-sphere.

We give a lower bound for the value at q=1 of a Kazhdan-Lustig polynomial in a Weyl group W in terms of "patterns''. This is expressed by a "pattern map" from W to W' for any parabloic subgroup W'. This notion generalizes the concept of patterns and pattern avoidance for permutations to all Weyl groups. The main tool of the proof is a "hyperbolic localization" on intersection cohomology; see the related paper http://front.math.ucdavis.edu/math.AG/0202251

This paper gives lower bounds on the spectral radius of vertex-transitive graphs, based on the number of ``prime cycles'' at a vertex. The bounds are obtained by constructing circuits in the graph that resemble ``cactus trees'', and enumerating them. Counting these circuits gives a coefficient-wise underestimation of the Green function of the graph, and hence and underestimation of its spectral radius. The bounds obtained are very good for the Cayley graph of surface groups of genus g>=2, with standard generators (these graphs are the 1-skeletons of tessellations of hyperbolic plane by 4g-gons, 4g per vertex). We have for example for g=2 0.662420<=|M|<=0.662816, and for g=3 0.552773<=|M|<=0.552792.

In this paper we study the topology of the strata, indexed by number partitions $λ$, in the natural stratification of the space of monic hyperbolic polynomials of degree $n$. We prove stabilization theorems for removing an independent block or an independent relation in $λ$. We also prove contractibility of the one-point compactifications of the strata indexed by a large class of number partitions, including $λ=(k^m,1^r)$, for $m\geq 2$. Furthermore, we study the maps between the homology groups of the strata, induced by imposing additional relations (resonances) on the number partition $λ$, or by merging some of the blocks of $λ$.

A {\it cluster of cycles} (or {\it $(r,q)$-polycycle}) is a simple planar 2--co nnected finite or countable graph $G$ of girth $r$ and maximal vertex-degree $q$, which admits {\it $(r,q)$-polycyclic realization} on the plane, denote it by $P(G)$, i.e. such that: (i) all interior vertices are of degree $q$, (ii) all interior faces (denote their number by $p_r$) are combinatorial $r$-gons and (implied by (i), (ii)) (iii) all vertices, edges and interior faces form a cell-complex. An example of $(r,q)$-polycycle is the skeleton of $(r^q)$, i.e. of the $q$-valent partition of the sphere $S^2$, Euclidean plane $R^2$ or hyperbolic plane $H^2$ by regular $r$-gons. Call {\it spheric} pairs $(r,q)=(3,3),(3,4),(4,3),(3,5),(5,3)$; for those five pairs $P(r^q)$ is $(r^q)$ without the exterior face; otherwise $P(r^q)=(r^q)$. We give here a compact survey of results on $(r,q)$-polycycles.

The main result is that every complete finite area hyperbolic metric on a sphere with punctures can be uniquely realized as the induced metric on the surface of a convex ideal polyhedron in hyperbolic 3-space. A number of other observations are included.

We review the regular tilings of d-sphere, Euclidean d-space, hyperbolic d-space and Coxeter's regular hyperbolic honeycombs (with infinite or star-shaped cells or vertex figures) with respect of possible embedding, isometric up to a scale, of their skeletons into a m-cube or m-dimensional cubic lattice. In section 2 the last remaining 2-dimensional case is decided: for any odd m>6, star-honeycombs {m, m/2} are embeddable while {m/2, m} are not (unique case of non-embedding for dimension 2). As a spherical analogue of those honeycombs, we enumerate, in section 3, 36 Riemann surfaces representing all nine regular polyhedra on the sphere. In section 4, non-embeddability of all remaining star-honeycombs (on 3-sphere and hyperbolic 4-space) is proved. In the last section 5, all cases of embedding for dimension d>2 are identified. Besides hyper-simplices and hyper-octahedra, they are exactly those with bipartite skeleton: hyper-cubes, cubic lattices and 8, 2, 1 tilings of hyperbolic 3-, 4-, 5-space (only two, {435} and {4335}, of those 11 are compact).

We explore some generalizations of fullerenes F_v (simple polyhedra with v vertices and only 5- and 6-gonal faces) seen as (d-1)-dimensional simple manifolds (preferably, spherical or polytopal) with only 5- and 6-gonal 2-faces. First, finite and planar (infinite) 3-fullerenes are described. Three infinite families of spherical 4-fullerenes are presented in Constructions A,B,C. The Construction A gives 4-polytopes by suitable insertion of fullerenes F_{30}(D_{5h}) into glued 120-cells. The Construction B gives 3-spheres by growing dodecahedra and barrels F_{24} around of given fullerene. The Construction C gives 4-fullerenes from special decoration of given 4-fullerene, which add facets F_{20}, F_{24}, F_{26} and F_{28}(T_d) only. Some 5-fullerenes are obtained, by a variation of gluing of two regular tilings {5333} of hyperbolic 4-space or of their suitable quotients.