arXiv++ Combinatorics

In this paper, a complete classification of finite simple cubic vertex-transitive graphs of girth $6$ is obtained. It is proved that every such graph, with the exception of the Desargues graph on $20$ vertices, is either a skeleton of a hexagonal tiling of the torus, the skeleton of the truncation of an arc-transitive triangulation of a closed hyperbolic surface, or the truncation of a $6$-regular graph with respect to an arc-transitive dihedral scheme. Cubic vertex-transitive graphs of girth larger than $6$ are also discussed.

A hypertree, or $\mathbb{Q}$-acyclic complex, is a higher-dimensional analogue of a tree. We study random $2$-dimensional hypertrees according to the determinantal measure suggested by Lyons. We are especially interested in their topological and geometric properties. We show that with high probability, a random $2$-dimensional hypertree $T$ is apsherical, i.e. that it has a contractible universal cover. We also show that with high probability the fundamental group $π_1(T)$ is hyperbolic and has cohomological dimension $2$.

We consider percolation on the Voronoi tessellation generated by a homogeneous Poisson point process on the hyperbolic plane. We show that the critical probability for the existence of an infinite cluster tends to $1/2$ as the intensity of the Poisson process tends to infinity. This confirms a conjecture of Benjamini and Schramm.

We study the spread of information in finite and infinite inhomogeneous spatial random graphs. We assume that each edge has a transmission cost that is a product of an i.i.d. random variable L and a penalty factor: edges between vertices of expected degrees w_1 and w_2 are penalised by a factor of (w_1w_2)^μfor all μ>0. We study this process for scale-free percolation, for (finite and infinite) Geometric Inhomogeneous Random Graphs, and for Hyperbolic Random Graphs, all with power law degree distributions with exponent τ> 1. For τ< 3, we find a threshold behaviour, depending on how fast the cumulative distribution function of L decays at zero. If it decays at most polynomially with exponent smaller than (3-τ)/(2μ) then explosion happens, i.e., with positive probability we can reach infinitely many vertices with finite cost (for the infinite models), or reach a linear fraction of all vertices with bounded costs (for the finite models). On the other hand, if the cdf of L decays at zero at least polynomially with exponent larger than (3-τ)/(2μ), then no explosion happens. This behaviour is arguably a better representation of information spreading processes in social networks than the case without penalising factor, in which explosion always happens unless the cdf of L is doubly exponentially flat around zero. Finally, we extend the results to other penalty functions, including arbitrary polynomials in w_1 and w_2. In some cases the interesting phenomenon occurs that the model changes behaviour (from explosive to conservative and vice versa) when we reverse the role of w_1 and w_2. Intuitively, this could corresponds to reversing the flow of information: gathering information might take much longer than sending it out.

In this article we define and study a stochastic process on Galoisian covers of compact manifolds. The successive positions of the process are defined recursively by picking a point uniformly in the Dirichlet domain of the previous one. We prove a theorem à la Kesten for such a process: the escape rate of the random walk is positive if and only if the cover is non amenable. We also investigate more in details the case where the deck group is Gromov hyperbolic, showing the almost sure convergence to the boundary of the trajectory as well as a central limit theorem for the escape rate

In this paper we consider the clustering coefficient and clustering function in a random graph model proposed by Krioukov et al.~in 2010. In this model, nodes are chosen randomly inside a disk in the hyperbolic plane and two nodes are connected if they are at most a certain hyperbolic distance from each other. It has been shown that this model has various properties associated with complex networks, e.g. power-law degree distribution, short distances and non-vanishing clustering coefficient. Here we show that the clustering coefficient tends in probability to a constant $γ$ that we give explicitly as a closed form expression in terms of $α, ν$ and certain special functions. This improves earlier work by Gugelmann et al., who proved that the clustering coefficient remains bounded away from zero with high probability, but left open the issue of convergence to a limiting constant. Similarly, we are able to show that $c(k)$, the average clustering coefficient over all vertices of degree exactly $k$, tends in probability to a limit $γ(k)$ which we give explicitly as a closed form expression in terms of $α, ν$ and certain special functions. We are able to extend this last result also to sequences $(k_n)_n$ where $k_n$ grows as a function of $n$. Our results show that $γ(k)$ scales differently, as $k$ grows, for different ranges of $α$. More precisely, there exists constants $c_{α,ν}$ depending on $α$ and $ν$, such that as $k \to \infty$, $γ(k) \sim c_{α,ν} \cdot k^{2 - 4α}$ if $\frac{1}{2} < α< \frac{3}{4}$, $γ(k) \sim c_{α,ν} \cdot \log(k) \cdot k^{-1} $ if $α=\frac{3}{4}$ and $γ(k) \sim c_{α,ν} \cdot k^{-1}$ when $α> \frac{3}{4}$. These results contradict a claim of Krioukov et al., which stated that the limiting values $γ(k)$ should always scale with $k^{-1}$ as we let $k$ grow.

This paper provides upper and lower bounds on the kissing number of congruent radius $r > 0$ spheres in hyperbolic $\mathbb{H}^n$ and spherical $\mathbb{S}^n$ spaces, for $n\geq 2$. For that purpose, the kissing number is replaced by the kissing function $κ_H(n, r)$, resp. $κ_S(n, r)$, which depends on the dimension $n$ and the radius $r$. After we obtain some theoretical upper and lower bounds for $κ_H(n, r)$, we study their asymptotic behaviour and show, in particular, that $κ_H(n,r) \sim (n-1) \cdot d_{n-1} \cdot B(\frac{n-1}{2}, \frac{1}{2}) \cdot e^{(n-1) r}$, where $d_n$ is the sphere packing density in $\mathbb{R}^n$, and $B$ is the beta-function. Then we produce numeric upper bounds by solving a suitable semidefinite program, as well as lower bounds coming from concrete spherical codes. A similar approach allows us to locate the values of $κ_S(n, r)$, for $n= 3,\, 4$, over subintervals in $[0, π]$ with relatively high accuracy.

We give a combinatorial characterization of the family of lines of P G(3, q) which meet a hyperbolic quadric in two points (the so called secant lines) using their intersection properties with the points and planes of PG(3,q).

Helly graphs are graphs in which every family of pairwise intersecting balls has a non-empty intersection. This is a classical and widely studied class of graphs. In this article we focus on groups acting geometrically on Helly graphs -- Helly groups. We provide numerous examples of such groups: all (Gromov) hyperbolic, CAT(0) cubical, finitely presented graphical C(4)$-$T(4) small cancellation groups, and type-preserving uniform lattices in Euclidean buildings of type $C_n$ are Helly; free products of Helly groups with amalgamation over finite subgroups, graph products of Helly groups, some diagram products of Helly groups, some right-angled graphs of Helly groups, and quotients of Helly groups by finite normal subgroups are Helly. We show many properties of Helly groups: biautomaticity, existence of finite dimensional models for classifying spaces for proper actions, contractibility of asymptotic cones, existence of EZ-boundaries, satisfiability of the Farrell-Jones conjecture and of the coarse Baum-Connes conjecture. This leads to new results for some classical families of groups (e.g. for FC-type Artin groups) and to a unified approach to results obtained earlier.

If we fix the angles at the vertices of a convex planar $n$-gon, the lengths of its edges must satisfy two linear constraints in order for it to close up. If we also require unit perimeter, our vectors of $n$ edge lengths form a convex polytope of dimension $n-3$, each facet of which consists of those $n$-gons in which the length of a particular edge has fallen to zero. Bavard and Ghys require unit area instead, which gives them a hyperbolic polytope. Those two polytopes are combinatorially equivalent, so either is fine for our purposes. Such a fixed-angles polytope is combinatorially richer when the angles are well balanced. We say that fixed external angles are "majority dominant" when every consecutive string of more than half of them sums to more than $π$. When $n$ is odd, we show that the fixed-angles polytope for any majority-dominant angles is dual to the cyclic polytope $C_{n-3}(n)$. To extend that result to even $n$, we require that the angles also have "dipole tie-breaking": None of the $n$ strings of length $n/2$ sums to precisely $π$, and the $n/2$ that sum to more than $π$ overlap as much as possible, all containing a particular angle. Fixing the vertex angles is uncommon, however; people more often fix the edge lengths. That is harder, in part because fixed-lengths $n$-gons may not be convex, but mostly because fixing the lengths constrains the angles nonlinearly -- so the resulting moduli spaces, called "polygon spaces", are curved. Using Schwarz-Christoffel maps, Kapovich and Millson show that the subset of that polygon space in which the $n$-gons are convex and traversed counterclockwise is homeomorphic to the fixed-angles polytope above, for those same fixed values. Each such subset is thus a topological polytope; and it is dual cyclic whenever the fixed lengths are majority dominant and, for even $n$, have dipole tie-breaking.

We show that every non-degenerate regular polytope can be used to construct a thin, residually-connected, chamber-transitive incidence geometry, i.e. a regular hypertope, with a tail-triangle Coxeter diagram. We discuss several interesting examples derived when this construction is applied to generalised cubes. In particular, we produce an example of a rank $5$ finite locally spherical proper hypertope of hyperbolic type.

Let $\mathfrak{g}$ be a hyperbolic Kac-Moody algebra of rank $2$. We give a necessary and sufficient condition for the crystal graph of the Lakshmibai-Seshadri path crystal $\mathbb{B}(λ)$ to be connected for an arbitrary integral weight $λ$.

Given a natural number k and an orientable surface S of finite type, define the k-curve graph to be the graph with vertices corresponding to isotopy classes of essential simple closed curves on S and with edges corresponding to pairs of such curves admitting representatives that intersect at most k times. We prove that the automorphism group of the k-curve graph of a surface S is isomorphic to the extended mapping class group for all k sufficiently small with respect to the Euler characteristic of S. We prove the same result for the so-called systolic complex, a variant of the curve graph whose complete subgraphs encode the intersection patterns for any collection of systoles with respect to a hyperbolic metric. This resolves a conjecture of Schmutz Schaller.

We define a large class of abstract Coxeter groups, that we call $\infty$--spanned, and for which the word growth rate and the geodesic growth rate appear to be Perron numbers. This class contains a fair amount of Coxeter groups acting on hyperbolic spaces, thus corroborating a conjecture by Kellerhals and Perren. We also show that for this class the geodesic growth rate strictly dominates the word growth rate.

We show various upper bounds for the order of a digraph (or a mixed graph) whose Hermitian adjacency matrix has an eigenspace of prescribed codimension. In particular, this generalizes the so-called absolute bound for (simple) graphs first shown by Delsarte, Goethals, and Seidel (1977) and extended by Bell and Rowlinson (2003). In doing so, we also adapt the Blokhuis' theory (1983) of harmonic analysis in real hyperbolic spaces to that in complex hyperbolic spaces.

Nicolas and DeSalvo and Pak proved that the partition function $p(n)$ is log concave for $n \geq 25$. Chen, Jia and Wang proved that $p(n)$ satisfies the third order Turán inequality, and that the associated degree 3 Jensen polynomials are hyperbolic for $n \geq 94$. More recently, Griffin, Ono, Rolen and Zagier proved more generally that for all $d$, the degree $d$ Jensen polynomials associated to $p(n)$ are hyperbolic for sufficiently large $n$. In this paper, we prove that the same result holds for the $k$-regular partition function $p_k(n)$ for $k \geq 2$. In particular, for any positive integers $d$ and $k$, the order $d$ Turán inequalities hold for $p_k(n)$ for sufficiently large $n$. The case when $d = k = 2$ proves a conjecture by Neil Sloane that $p_2(n)$ is log concave.

We prove that the parameter $x$ of a tight set $\mathcal{T}$ of a hyperbolic quadric $\mathsf{Q}^+(2n+1,q)$ of an odd rank $n+1$ satisfies ${x\choose 2}+w(w-x)\equiv 0\mod q+1$, where $w$ is the number of points of $\mathcal{T}$ in any generator of $\mathsf{Q}^+(2n+1,q)$. As this modular equation should have an integer solution in $w$ if such a $\mathcal{T}$ exists, this condition rules out roughly at least one half of all possible parameters $x$. It generalizes a previous result by the author and K. Metsch shown for tight sets of a hyperbolic quadric $\mathsf{Q}^+(5,q)$ (also known as Cameron-Liebler line classes in $\mathrm{PG}(3,q)$).

For $3$-dimensional convex polytopes, inscribability is a classical property that is relatively well-understood due to its relation with Delaunay subdivisions of the plane and hyperbolic geometry. In particular, inscribability can be tested in polynomial time, and for every $f$-vector of $3$-polytopes, there exists an inscribable polytope with that $f$-vector. For higher-dimensional polytopes, much less is known. Of course, for any inscribable polytope, all of its lower-dimensional faces need to be inscribable, but this condition does not appear to be very strong. We observe non-trivial new obstructions to the inscribability of polytopes that arise when imposing that a certain inscribable face be inscribed. Using this obstruction, we show that the duals of the $4$-dimensional cyclic polytopes with at least $8$ vertices---all of whose faces are inscribable---are not inscribable. This result is optimal in the following sense: We prove that the duals of the cyclic $4$-polytopes with up to $7$ vertices are, in fact, inscribable. Moreover, we interpret this obstruction combinatorially as a forbidden subposet of the face lattice of a polytope, show that $d$-dimensional cyclic polytopes with at least $d+4$ vertices are not circumscribable, and that no dual of a neighborly $4$-polytope with $8$ vertices, that is, no polytope with $f$-vector $(20,40,28,8)$, is inscribable.

We look at tree amalgamations of locally finite quasi-transitive hyperbolic graphs and prove that the homeomorphism type of the hyperbolic boundary of such a tree amalgamation only depends on the homeomorphism types of the hyperbolic boundaries of their factors. Additionally, we show that two locally finite quasi-transitive hyperbolic graphs have homeomorphic hyperbolic boundaries if and only if the homeomorphism types of the hyperbolic boundaries of the factors of their terminal factorisations coincide.

Bicyclic codes are a generalization of the one dimensional (1D) cyclic codes to two dimensions (2D). Similar to the 1D case, in some cases, 2D cyclic codes can also be constructed to guarantee a specified minimum distance. Many aspects of these codes are yet unexplored. Motivated by the problem of constructing quantum codes, in this paper, we study some structural properties of certain bicyclic codes. We show that a primitive narrow-sense bicyclic hyperbolic code of length $n^2$ contains its dual if and only if its design distance is lower than $n-Δ$, where $Δ=\mathcal{O}(\sqrt{n})$. We extend the sufficiency condition to the non-primitive case as well. We also show that over quadratic extension fields, a primitive bicyclic hyperbolic code of length $n^2$ contains Hermitian dual if and only if its design distance is lower than $n-Δ_h$, where $Δ_h=\mathcal{O}(\sqrt{n})$. Our results are analogous to some structural results known for BCH and Reed-Solomon codes. They further our understanding of bicyclic codes. We also give an application of these results by showing that we can construct two classes of quantum bicyclic codes based on our results.