arXiv++ Combinatorics

Let $Ω_i$ and $Ω_j$ be the sets of elements of respective types $i$ and $j$ of a polar space~$Δ$ of rank at least $3$, viewed as a Tits-building. For any Weyl distance $δ$ between $Ω_i$ and $Ω_j$, we show that $δ$ is characterised by $i$ and $j$ and two additional numerical parameters $k$ and $\ell$. We consider permutations $ρ$ of $Ω_i \cup Ω_j$ that preserve a single Weyl distance $δ$. Up to a minor technical condition on $\ell$, we prove that, up to trivial cases and two classes of true exceptions, $ρ$ is induced by an automorphism of the Tits-building associated to $Δ$, which is always a type-preserving automorphism of $Δ$ (and hence preserving all Weyl-distances), unless $Δ$ is hyperbolic, in which case there are outer automorphisms. For each class of exceptions, we determine a Tits-building $Δ'$ in which $Δ$ naturally embeds and is such that $ρ$ is induced by an automorphism of $Δ'$. At the same time, we prove similar results for permutations preserving a natural incidence condition. These yield combinatorial characterisations of all groups of algebraic origin which are the full automorphism group of some polar space as the automorphism group of many bipartite graphs.

Given $α\in (0, \infty)$ and $r \in (0, \infty)$, let ${\cal D}_{r, α}$ be the disc of radius $r$ in the hyperbolic plane having curvature $-α^2$. Consider the Poisson point process having uniform intensity density on ${\cal D}_{R, α}$, with $R = 2 \log(n/ ν),$ $n \in \mathbb{N}$, and $ν< n$ a fixed constant. The points are projected onto ${\cal D}_{R, 1}$, preserving polar coordinates, yielding a Poisson point process ${\cal P}_{α, n}$ on ${\cal D}_{R, 1}$. The hyperbolic geometric graph ${\cal G}_{α, n}$ on ${\cal P}_{α, n}$ puts an edge between pairs of points of ${\cal P}_{α, n}$ which are distant at most $R$. This model has been used to express fundamental features of complex networks in terms of an underlying hyperbolic geometry. For $α\in (1/2, \infty)$ we establish expectation and variance asymptotics as well as asymptotic normality for the number of isolated and extreme points in ${\cal G}_{α, n}$ as $n \to \infty$. The limit theory and renormalization for the number of isolated points are highly sensitive on the curvature parameter. In particular, for $α\in (1/2, 1)$, the variance is super-linear, for $α= 1$ the variance is linear with a logarithmic correction, whereas for $α\in (1, \infty)$ the variance is linear. The central limit theorem fails for $α\in (1/2, 1)$ but it holds for $α\in (1, \infty)$.

Materials science and the study of the electronic properties of solids are a major field of interest in both physics and engineering. The starting point for all such calculations is single-electron, or non-interacting, band structure calculations, and in the limit of strong on-site confinement this can be reduced to graph-like tight-binding models. In this context, both mathematicians and physicists have developed largely independent methods for solving these models. In this paper we will combine and present results from both fields. In particular, we will discuss a class of lattices which can be realized as line graphs of other lattices, both in Euclidean and hyperbolic space. These lattices display highly unusual features including flat bands and localized eigenstates of compact support. We will use the methods of both fields to show how these properties arise and systems for classifying the phenomenology of these lattices, as well as criteria for maximizing the gaps. Furthermore, we will present a particular hardware implementation using superconducting coplanar waveguide resonators that can realize a wide variety of these lattices in both non-interacting and interacting form.

We show that any two geometric triangulations of a closed hyperbolic, spherical or Euclidean manifold are related by a sequence of Pachner moves and barycentric subdivisions of bounded length. This bound is in terms of the dimension of the manifold, the number of top dimensional simplexes and bound on the lengths of edges of the triangulation. This leads to an algorithm to check from the combinatorics of the triangulation and bounds on lengths of edges, if two geometrically triangulated closed hyperbolic or low dimensional spherical manifolds are isometric or not.

We prove a conjecture of Benjamini and Curien stating that the local limits of uniform random triangulations whose genus is proportional to the number of faces are the Planar Stochastic Hyperbolic Triangulations (PSHT) defined in arXiv:1401.3297. The proof relies on a combinatorial argument and the Goulden--Jackson recurrence relation to obtain tightness, and probabilistic arguments showing the uniqueness of the limit. As a consequence, we obtain asymptotics up to subexponential factors on the number of triangulations when both the size and the genus go to infinity. As a part of our proof, we also obtain the following result of independent interest: if a random triangulation of the plane $T$ is weakly Markovian in the sense that the probability to observe a finite triangulation $t$ around the root only depends on the perimeter and volume of $t$, then $T$ is a mixture of PSHT.

In this paper we consider the existence of Hamilton cycles and perfect matchings 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 previously shown that this model has various properties associated with complex networks, including a power-law degree distribution, "short distances" and a strictly positive clustering coefficient. The model is specified using three parameters: the number of nodes $n$, which we think of as going to infinity, and $α, ν> 0$, which we think of as constant. Roughly speaking $α$ controls the power law exponent of the degree sequence and $ν$ the average degree. Here we show that for every $α< 1/2$ and $ν=ν(α)$ sufficiently small, the model does not contain a perfect matching with high probability, whereas for every $α< 1/2$ and $ν=ν(α)$ sufficiently large, the model contains a Hamilton cycle with high probability.

By expressing polynomials in the basis of Chebyshev polynomials, certain families of hyperbolic polynomials appear naturally. Some of these families have all their roots in the interval $[-2,2]$. In many cases the span of the family of polynomials thus found is greater than 4, and we show that they are the minimal polynomials of Salem numbers, possibly multiplied by some cyclotomic polynomials. In addition, we show how to compute the limit of the largest and smallest roots.

In this paper we provide new examples of hyperbolic but nonsystolic groups by showing that the triangle groups $(2,4,5)$ and $(2,5,5)$ are not systolic. Along the way we prove some results about subsets of systolic complexes stable under involutions.

We consider infinite connected quasi-transitive locally finite graphs and show that every such graph with more than one end is a tree amalgamation of two other such graphs. This can be seen as a graph-theoretical version of Stallings' splitting theorem for multi-ended finitely generated groups and indeed it implies this theorem. It will also lead to a characterisation of accessible graphs in terms of tree amalgamations. We obtain applications of our results for hyperbolic graphs, planar graphs and graphs without any thick end. The application for planar graphs answers a question of Mohar in the affirmative.

In this paper, we show that Alexander polynomials for any 2-bridge knots are specializations of cluster variables. A key tool is an ancestral triangle which appeared in both quantum topology and hyperbolic geometry in different ways.

In this note, we show that there exist cusped hyperbolic $3$-manifolds that embed geodesically, but cannot bound geometrically. Thus, being a geometric boundary is a non-trivial property for such manifolds. Our result complements the work by Long and Reid on geometric boundaries of compact hyperbolic $4$-manifolds, and by Kolpakov, Reid and Slavich on embedding arithmetic hyperbolic manifolds.

We introduce shortcut graphs and groups. Shortcut graphs are graphs in which cycles cannot embed without metric distortion. Shortcut groups are groups which act properly and cocompactly on shortcut graphs. These notions unify a surprisingly broad family of graphs and groups of interest in geometric group theory and metric graph theory, including: the 1-skeletons of systolic and quadric complexes (in particular finitely presented C(6) and C(4)-T(4) small cancellation groups), 1-skeletons of finite dimensional CAT(0) cube complexes, hyperbolic graphs, standard Cayley graphs of finitely generated Coxeter groups and the standard Cayley graph of the Baumslag-Solitar group BS(1,2). Most of these examples satisfy a strong form of the shortcut property. The shortcut properties also have important geometric group theoretic consequences. We show that shortcut groups are finitely presented and have exponential isoperimetric and isodiametric functions. We show that groups satisfying the strong form of the shortcut property have polynomial isoperimetric and isodiametric functions.

Let $M^d$ be the spherical, Euclidean, or hyperbolic space of dimension $d\ge n+1$. Given any degenerate $(n+1)$-simplex $\mathbf{A}$ in $M^d$ with non-degenerate $n$-faces $F_i$, there is a natural partition of the set of $n$-faces into two subsets $X_1$ and $X_2$ such that $\sum_{X_1}V_n(F_i)=\sum_{X_2}V_n(F_i)$, except for a special spherical case where $X_2$ is the empty set and $\sum_{X_1}V_n(F_i)=V_n(\mathbb{S}^n)$ instead. For all cases, if the vertices vary smoothly in $M^d$ with a \emph{single} volume constraint that $\sum_{X_1}V_n(F_i)-\sum_{X_2}V_n(F_i)$ is preserved as a constant (0 or $V_n(\mathbb{S}^n)$), we prove that if a \emph{stress} invariant $c_{n-1}(α^{n-1})$ of the degenerate simplex is non-zero, then the vertices will be confined to a lower dimensional $M^n$ for any sufficiently small motion. This answers a question of the author and we also show that in the Euclidean case, $c_{n-1}(α^{n-1})=0$ is equivalent to the vertices of a \emph{dual} degenerate $(n+1)$-simplex lying on an $(n-1)$-sphere in $\mathbb{R}^n$.

We continue the exploration of the relationship between conformal dimension and the separation profile by computing the separation of families of spheres in hyperbolic graphs whose boundaries are standard Sierpiński carpets and Menger sponges. In all cases, we show that the separation of these spheres is $n^{\frac{d-1}{d}}$ for some $d$ which is strictly smaller than the conformal dimension, in contrast to the case of rank 1 symmetric spaces of dimension $\geq 3$. The value of $d$ obtained naturally corresponds to a previously known lower bound on the conformal dimension of the associated fractal.

We construct a new family of trivalent expanders tessellating hyperbolic surfaces with large isometry groups. These graphs are obtained from a family of Cayley graphs of nilpotent groups via $(Δ-Y)$-transformations. We compare this family with Platonic graphs and their associated hyperbolic surfaces and see that they are generally very different with only one hyperbolic surface in the intersection. Moreover, we study combinatorial, topological and spectral properties of our trivalent graphs and their associated hyperbolic surfaces.

Nielsen, Plotkin, and Winskel (1981) proved that every 1-safe Petri net $N$ unfolds into an event structure $\mathcal{E}_N$. By a result of Thiagarajan (1996 and 2002), these unfoldings are exactly the trace regular event structures. Thiagarajan (1996 and 2002) conjectured that regular event structures correspond exactly to trace regular event structures. In a recent paper (Chalopin and Chepoi, 2017, 2018), we disproved this conjecture, based on the striking bijection between domains of event structures, median graphs, and CAT(0) cube complexes. On the other hand, in Chalopin and Chepoi (2018) we proved that Thiagarajan's conjecture is true for regular event structures whose domains are principal filters of universal covers of (virtually) finite special cube complexes. In the current paper, we prove the converse: to any finite 1-safe Petri net $N$ one can associate a finite special cube complex ${X}_N$ such that the domain of the event structure $\mathcal{E}_N$ (obtained as the unfolding of $N$) is a principal filter of the universal cover $\widetilde{X}_N$ of $X_N$. This establishes a bijection between 1-safe Petri nets and finite special cube complexes and provides a combinatorial characterization of trace regular event structures. Using this bijection and techniques from graph theory and geometry (MSO theory of graphs, bounded treewidth, and bounded hyperbolicity) we disprove yet another conjecture by Thiagarajan (from the paper with S. Yang from 2014) that the monadic second order logic of a 1-safe Petri net is decidable if and only if its unfolding is grid-free. Our counterexample is the trace regular event structure $\mathcal{\dot E}_Z$ which arises from a virtually special square complex $\dot Z$. The domain of $\mathcal{\dot E}_Z$ is grid-free (because it is hyperbolic), but the MSO theory of the event structure $\mathcal{\dot E}_Z$ is undecidable.

Recently Marcus, Spielman and Srivastava gave a spectacular proof of a theorem which implies a positive solution to the Kadison-Singer problem via Weaver's $KS_r$ conjecture. We extend this theorem to the realm of hyperbolic polynomials and hyperbolicity cones, as well as to arbitrary ranks. We also sharpen the theorem by providing better bounds, which imply better bounds in Weaver's $KS_r$ conjecture for each $r>2$. For $r=2$ our bound agrees with Bownik et al.

It is shown that in various categories, including many consisting of maps or hypermaps, oriented or unoriented, of a given hyperbolic type, every countable group $A$ is isomorphic to the automorphism group of uncountably many non-isomorphic objects, infinitely many of them finite if $A$ is finite. In particular, this applies to dessins d'enfants, regarded as finite oriented hypermaps. The proof, involving maximal subgroups of various triangle groups, yields a simple construction of a regular map whose automorphism group contains an isomorphic copy of every finite group.

A semi-regular tiling of the hyperbolic plane is a tessellation by regular geodesic polygons with the property that each vertex has the same vertex-type, which is a cyclic tuple of integers that determine the number of sides of the polygons surrounding the vertex. We determine combinatorial criteria for the existence, and uniqueness, of a semi-regular tiling with a given vertex-type, and pose some open questions.

Making use of the `Veldkamp blow-up' recipe, introduced by Saniga and others (Ann. Inst. H. Poincar\' e D2 (2015) 309) for binary Segre varieties, we study geometric hyperplanes and Veldkamp lines of Segre varieties $S_k(3)$, where $S_k(3)$ stands for the $k$-fold direct product of projective lines of size four and $k$ runs from 2 to 4. Unlike the binary case, the Veldkamp spaces here feature also non-projective elements. Although for $k=2$ such elements are found only among Veldkamp lines, for $k \geq 3$ they are also present among Veldkamp points of the associated Segre variety. Even if we consider only projective geometric hyperplanes, we find four different types of non-projective Veldkamp lines of $S_3(3)$, having 2268 members in total, and five more types if non-projective ovoids are also taken into account. Sole geometric and combinatorial arguments lead to as many as 62 types of projective Veldkamp lines of $S_3(3)$, whose blowing-ups yield 43 distinct types of projective geometric hyperplanes of $S_4(3)$. As the latter number falls short of 48, the number of different large orbits of $2 \times 2 \times 2 \times 2$ arrays over the three-element field found by Bremner and Stavrou (Lin. Multilin. Algebra 61 (2013) 986), there are five (explicitly indicated) hyperplane types such that each is the merger of two different large orbits. Furthermore, we single out those 22 types of geometric hyperplanes of $S_4(3)$, featuring 7 176 640 members in total, that are in a one-to-one correspondence with the points lying on the unique hyperbolic quadric $\mathcal{Q}_0^{+}(15,3) \subset {\rm PG}(15,3) \subset \mathcal{V}(S_4(3))$; and, out of them, seven ones that correspond bijectively to the set of 91 840 generators of the symplectic polar space $\mathcal{W}(7,3) \subset \mathcal{V}(S_3(3))$. For $k=3$ we also discuss embedding of the binary Veldkamp space into the ternary one.