arXiv++ Combinatorics

Addressing a question of Zaremsky, we give conditions on a finite simplicial graph which guarantee that the associated matching arc complex is connected and hyperbolic.

The arboreal gas is the probability measure on (unrooted spanning) forests of a graph in which each forest is weighted by a factor $β>0$ per edge. It arises as the $q\to 0$ limit of the $q$-state random cluster model with $p=βq$. We prove that in dimensions $d\geq 3$ the arboreal gas undergoes a percolation phase transition. This contrasts with the case of $d=2$ where no percolation transition occurs. The starting point for our analysis is an exact relationship between the arboreal gas and a non-linear sigma model with target space the fermionic hyperbolic plane $\mathbb{H}^{0|2}$. This latter model can be thought of as the $0$-state Potts model, with the arboreal gas being its random cluster representation. Unlike the standard Potts models, the $\mathbb{H}^{0|2}$ model has continuous symmetries. By combining a renormalisation group analysis with Ward identities we prove that this symmetry is spontaneously broken at low temperatures. In terms of the arboreal gas, this symmetry breaking translates into the existence of infinite trees in the thermodynamic limit. Our analysis also establishes massless free field correlations at low temperatures and the existence of a macroscopic tree on finite tori.

We show that the permanent of a matrix can be written as the expectation value of a function of random variables each with zero mean and unit variance. This result is used to show that Glynn's theorem and a simplified MacMahon theorem extend from a common probabilistic interpretation of the permanent. Combining the methods in these two proofs, we prove a new result that relates the permanent of a matrix to the expectation value of a product of hyperbolic trigonometric functions, or, equivalently, the partition function of a spin system. We conclude by discussing how the main theorem can be generalized and how the techniques used to prove it can be applied to more general problems in combinatorics.

Let $\mathfrak{g}$ be a hyperbolic Kac-Moody algebra of rank $2$, and let $λ$ be an arbitrary integral weight. We denote by $\mathbb{B}(λ)$ the crystal of all Lakshmibai-Seshadri paths of shape $λ$. Let $V(λ)$ be the extremal weight module of extremal weight $λ$ generated by the (cyclic) extremal weight vector $v_λ$ of weight $λ$, and let $\mathcal{B}(λ)$ be the crystal basis of $V(λ)$ with $u_λ\in \mathcal{B}(λ)$ the element corresponding to $v_λ$. We prove that the connected component $\mathcal{B}_0(λ)$ of $\mathcal{B}(λ)$ containing $u_λ$ is isomorphic, as a crystal, to the connected component $\mathbb{B}_0(λ)$ of $\mathbb{B}(λ)$ containing the straight line $π_λ$. Furthermore, we prove that if $λ$ satisfies a special condition, then the crystal basis $\mathcal{B}(λ)$ is isomorphic, as a crystal, to the crystal $\mathbb{B}(λ)$. As an application of these results, we obtain an algorithm for computing the number of elements of weight $μ$ in $\mathcal{B}(Λ_1-Λ_2)$, where $Λ_1, Λ_2$ are the fundamental weights, in the case that $\mathfrak{g}$ is symmetric.

We study certain physically-relevant subgeometries of binary symplectic polar spaces $W(2N-1,2)$ of small rank $N$, when the points of these spaces canonically encode $N$-qubit observables. Key characteristics of a subspace of such a space $W(2N-1,2)$ are: the number of its negative lines, the distribution of types of observables, the character of the geometric hyperplane the subspace shares with the distinguished (non-singular) quadric of $W(2N-1,2)$ and the structure of its Veldkamp space. In particular, we classify and count polar subspaces of $W(2N-1,2)$ whose rank is $N-1$. $W(3,2)$ features three negative lines of the same type and its $W(1,2)$'s are of five different types. $W(5,2)$ is endowed with 90 negative lines of two types and its $W(3,2)$'s split into 13 types. 279 out of 480 $W(3,2)$'s with three negative lines are composite, i.\,e. they all originate from the two-qubit $W(3,2)$. Given a three-qubit $W(3,2)$ and any of its geometric hyperplanes, there are three other $W(3,2)$'s possessing the same hyperplane. The same holds if a geometric hyperplane is replaced by a `planar' tricentric triad. A hyperbolic quadric of $W(5,2)$ is found to host particular sets of seven $W(3,2)$'s, each of them being uniquely tied to a Conwell heptad with respect to the quadric. There is also a particular type of $W(3,2)$'s, a representative of which features a point each line through which is negative. Finally, $W(7,2)$ is found to possess 1908 negative lines of five types and its $W(5,2)$'s fall into as many as 29 types. 1524 out of 1560 $W(5,2)$'s with 90 negative lines originate from the three-qubit $W(5,2)$. Remarkably, the difference in the number of negative lines for any two distinct types of four-qubit $W(5,2)$'s is a multiple of four.

We study unions of fundamental domains of a Fuchsian group, especially those with hyperbolic plane metric realizing the metric of the corresponding hyperbolic surface. We call these unions the \textit{geodesic covers} of the Fuchsian group or the hyperbolic surface. The paper contributes to showing that finiteness of geodesic covers is basically another characterization of geometrically finiteness. The resolution of geometrically finite case is based on Shimizu's lemma.

Modularity is a quantity which has been introduced in the context of complex networks in order to quantify how close a network is to an ideal modular network in which the nodes form small interconnected communities that are joined together with relatively few edges. In this paper, we consider this quantity on a recent probabilistic model of complex networks introduced by Krioukov et al. (Phys. Rev. E 2010). This model views a complex network as an expression of hidden hierarchies, encapsulated by an underlying hyperbolic space. For certain parameters, this model was proved to have typical features that are observed in complex networks such as power law degree distribution, bounded average degree, clustering coefficient that is asymptotically bounded away from zero, and ultra-small typical distances. In the present work, we investigate its modularity and we show that, in this regime, it converges to 1 in probability.

From each point of a Poisson point process start growing a balloon at rate 1. When two balloons touch, they pop and disappear. Is every point contained in balloons infinitely often or not? We answer this for the Euclidean space, the hyperbolic plane and regular trees. The result for the Euclidean space relies on a novel 0-1 law for stationary processes. Towards establishing the results for the hyperbolic plane and regular trees, we prove an upper bound on the density of any well-separated set in a regular tree which is a factor of an i.i.d. process.

We study large uniform random maps with one face whose genus grows linearly with the number of edges, which are a model of discrete hyperbolic geometry. In previous works, several hyperbolic geometric features have been investigated. In the present work, we study the number of short cycles in a uniform unicellular map of high genus, and we show that it converges to a Poisson distribution. As a corollary, we obtain the law of the systole of uniform unicellular maps in high genus. We also obtain the asymptotic distribution of the vertex degrees in such a map.

We study large uniform random maps with one face whose genus grows linearly with the number of edges. They can be seen as a model of discrete hyperbolic geometry. In the past, several of these hyperbolic geometric features have been discovered, such as their local limit or their logarithmic diameter. In this work, we show that with high probability such a map contains a very large induced subgraph that is an expander.

A triangular field of rational numbers is characterized, with relations to Stirling numbers 2nd, Hyperbolic functions, and centered Binomial distribution. A Generating function is given.

In this article, a combinatorial characterization of the family of planes of $\PG(3,q)$ which meet a hyperbolic quadric in an irreducible conic, using their intersection properties with the points and lines of $\PG(3,q)$, is given.

Given any irreducible Coxeter group $C$ of hyperbolic type with non-linear diagram and rank at least $4$, whose maximal parabolic subgroups are finite, we construct an infinite family of locally spherical regular hypertopes of hyperbolic type whose Coxeter diagram is the same as that of $C$.

In the paper, the authors establish Maclaurin's series expansions and series identities for positive integer powers of the inverse sine function, for positive integer powers of the inverse hyperbolic sine function, for the composite of incomplete gamma functions with the inverse hyperbolic sine function, for positive integer powers of the inverse tangent function, and for positive integer powers of the inverse hyperbolic tangent function, in terms of the first kind Stirling numbers and binomial coefficients, apply the newly established Maclaurin's series expansion for positive integer powers of the inverse sine function to derive a closed-form formula for specific values of partial Bell polynomials and to derive a series representation of the generalized logsine function, and deduce several combinatorial identities involving the first kind Stirling numbers. Some of these results simplify and unify some known ones. All of these newly established Maclaurin's series expansions of positive integer powers of the inverse (hyperbolic) sine and tangent functions can be used to derive infinite series representations of the circular constant Pi and of positive integer powers of Pi.

Motivated by the recent advances in the categorification of the cluster structure on the coordinate rings of Grassmannians of $k$-subspaces in $n$-space, we investigate a particular construction of root systems of type $\mathsf{T}_{2,p,q}$, including the type $\mathsf{E}_n$. This construction generalizes Manin's ``hyperbolic construction'' of $\mathsf{E}_8$ and reveals a lot of otherwise hidden regularities in this family of root systems.

We consider maps on a surface of genus $g$ with all vertices of degree at least three and positive real lengths assigned to the edges. In particular, we study the family of such metric maps with fixed genus $g$ and fixed number $n$ of faces with circumferences $α_1,\ldots,α_n$ and a $β$-irreducibility constraint, which roughly requires that all contractible cycles have length at least $β$. Using recent results on the enumeration of discrete maps with an irreducibility constraint, we compute the volume $V_{g,n}^{(β)}(α_1,\ldots,α_n)$ of this family of maps that arises naturally from the Lebesgue measure on the edge lengths. It is shown to be a homogeneous polynomial in $β, α_1,\ldots, α_n$ of degree $6g-6+2n$ and to satisfy string and dilaton equations. Surprisingly, for $g=0,1$ and $β=2π$ the volume $V_{g,n}^{(2π)}$ is identical, up to powers of two, to the Weil-Petersson volume $V_{g,n}^{\mathrm{WP}}$ of hyperbolic surfaces of genus $g$ and $n$ geodesic boundary components of length $L_i = \sqrt{α_i^2 - 4π^2}$, $i=1,\ldots,n$. For genus $g\geq 2$ the identity between the volumes fails, but we provide explicit generating functions for both types of volumes, demonstrating that they are closely related. Finally we discuss the possibility of bijective interpretations via hyperbolic polyhedra.

We investigate polytopes inscribed into a sphere that are normally equivalent (or strongly isomorphic) to a given polytope $P$. We show that the associated space of polytopes, called the inscribed cone of $P$, is closed under Minkowski addition. Inscribed cones are interpreted as type cones of ideal hyperbolic polytopes and as deformation spaces of Delaunay subdivisions. In particular, testing if there is an inscribed polytope normally equivalent to $P$ is polynomial time solvable. Normal equivalence is decided on the level of normal fans and we study the structure of inscribed cones for various classes of polytopes and fans, including simple, simplicial, and even. We classify (virtually) inscribable fans in dimension $2$ as well as inscribable permutahedra and nestohedra. A second goal of the paper is to introduce inscribed virtual polytopes. Polytopes with a fixed normal fan $\mathcal{N}$ form a monoid with respect to Minkowski addition and the associated Grothendieck group is called the type space of $\mathcal{N}$. Elements of the type space correspond to formal Minkowski differences and are naturally equipped with vertices and hence with a notion of inscribability. We show that inscribed virtual polytopes form a subgroup, which can be non-trivial even if $\mathcal{N}$ does not have actual inscribed polytopes. We relate inscribed virtual polytopes to routed particle trajectories, that is, piecewise-linear trajectories of particles in a ball with restricted directions. The state spaces gives rise to connected groupoids generated by reflections, called reflection groupoids. The endomorphism groups of reflection groupoids can be thought of as discrete holonomy groups of the trajectories and we determine when they are reflection groups.

We study the local limits of uniform high genus bipartite maps with prescribed face degrees. We prove the convergence towards a family of infinite maps of the plane, the q-IBPMs, which exhibit both a spatial Markov property and a hyperbolic behaviour. Therefore, we observe a similar local behaviour for a wide class of models of random high genus maps, which can be seen as a result of universality. Our results cover all the regimes where the expected degree of the root face remains finite in the limit. This follows a work by the same authors on high genus triangulations arXiv:1902.00492.

We prove that the saddle connection graph associated to any half-translation surface is 4-hyperbolic and uniformly quasi-isometric to the regular countably infinite-valent tree. Consequently, the saddle connection graph is not quasi-isometrically rigid. We also characterise its Gromov boundary as the set of straight foliations with no saddle connections. In our arguments, we give a generalisation of the unicorn paths in the arc graph which may be of independent interest.

Motivated by recent work on Delaunay triangulations of hyperbolic surfaces, we consider the minimal number of vertices of such triangulations. First, we will show that every hyperbolic surface of genus $g$ has a simplicial Delaunay triangulation with $O(g)$ vertices, where edges are given by distance paths. Then, we will construct a class of hyperbolic surfaces for which the order of this bound is optimal. Finally, to give a general lower bound, we will show that the $Ω(\sqrt{g})$ lower bound for the number of vertices of a simplicial triangulation of a topological surface of genus $g$ is tight for hyperbolic surfaces as well.