arXiv++ Combinatorics

In this article we introduce a new type of Pascal pyramids. A regular squared mosaic in the hyperbolic plane yields a $(h^2r)$-cube mosaic in space $\mathbf{H}^2\!\times\!\mathbf{R}$ and the definition of the pyramid is based on this regular mosaic. The levels of the pyramid inherit some properties from the Euclidean and hyperbolic Pascal triangles. We give the growing method from level to level and show some illustrating figures.

The interaction between combinatorics and algebraic and differential geometry is very strong. While researching a problem of Hessian topology, we came across a series of identities of binomial coefficients, which are useful for proving a topological property of certain spaces whose elements are graphs of a class of hyperbolic polynomials. These identities are proven by different methods in combinatorics.

The generalized Lax conjecture asserts that each hyperbolicity cone is a linear slice of the cone of positive semidefinite matrices. We prove the conjecture for a multivariate generalization of the matching polynomial. This is further extended (albeit in a weaker sense) to a multivariate version of the independence polynomial for simplicial graphs. As an application we give a new proof of the conjecture for elementary symmetric polynomials (originally due to Brändén). Finally we consider a hyperbolic convolution of determinant polynomials generalizing an identity of Godsil and Gutman.

A reciprocal linear space is the image of a linear space under coordinate-wise inversion. These fundamental varieties describe the analytic centers of hyperplane arrangements and appear as part of the defining equations of the central path of a linear program. Their structure is controlled by an underlying matroid. This provides a large family of hyperbolic varieties, recently introduced by Shamovich and Vinnikov. Here we give a definite determinantal representation to the Chow form of a reciprocal linear space. One consequence is the existence of symmetric rank-one Ulrich sheaves on reciprocal linear spaces. Another is a representation of the entropic discriminant as a sum of squares. For generic linear spaces, the determinantal formulas obtained are closely related to the Laplacian of the complete graph and generalizations to simplicial matroids. This raises interesting questions about the combinatorics of hyperbolic varieties and connections with the positive Grassmannian.

Let $G$ be a graph embedded in a fixed surface $Σ$ of genus $g$ and let $L=(L(v):v\in V(G))$ be a collection of lists such that either each list has size at least five, or each list has size at least four and $G$ is triangle-free, or each list has size at least three and $G$ has no cycle of length four or less. An $L$-coloring of $G$ is a mapping $φ$ with domain $V(G)$ such that $φ(v)\in L(v)$ for every $v\in V(G)$ and $φ(v)\neφ(u)$ for every pair of adjacent vertices $u,v\in V(G)$. We prove * if every non-null-homotopic cycle in $G$ has length $Ω(\log g)$, then $G$ has an $L$-coloring, * if $G$ does not have an $L$-coloring, but every proper subgraph does ("$L$-critical graph"), then $|V(G)|=O(g)$, * if every non-null-homotopic cycle in $G$ has length $Ω(g)$, and a set $X\subseteq V(G)$ of vertices that are pairwise at distance $Ω(1)$ is precolored from the corresponding lists, then the precoloring extends to an $L$-coloring of $G$, * if every non-null-homotopic cycle in $G$ has length $Ω(g)$, and the graph $G$ is allowed to have crossings, but every two crossings are at distance $Ω(1)$, then $G$ has an $L$-coloring, and * if $G$ has at least one $L$-coloring, then it has at least $2^{Ω(|V(G)|)}$ distinct $L$-colorings. We show that the above assertions are consequences of certain isoperimetric inequalities satisfied by $L$-critical graphs, and we study the structure of families of embedded graphs that satisfy those inequalities. It follows that the above assertions hold for other coloring problems, as long as the corresponding critical graphs satisfy the same inequalities.

We study the chromatic number of the curve graph of a surface. We show that the chromatic number grows like k log k for the graph of separating curves on a surface of Euler characteristic -k. We also show that the graph of curves that represent a fixed non-zero homology class is uniquely t-colorable, where t denotes its clique number. Together, these results lead to the best known bounds on the chromatic number of the curve graph. We also study variations for arc graphs and obtain exact results for surfaces of low complexity. Our investigation leads to connections with Kneser graphs, the Johnson homomorphism, and hyperbolic geometry.

We introduce a new matrix function for studying graphs and real-world networks based on a double-factorial penalization of walks between nodes in a graph. This new matrix function is based on the matrix error function. We find a very good approximation of this function using a matrix hyperbolic tangent function. We derive a communicability function, a subgraph centrality and a double-factorial Estrada index based on this new matrix function. We obtain upper and lower bounds for the double-factorial Estrada index of graphs, showing that they are similar to those of the single-factorial Estrada index. We then compare these indices with the single-factorial one for simple graphs and real-world networks. We conclude that for networks containing chordless cycles---holes---the two penalization schemes produce significantly different results. In particular, we study two series of real-world networks representing urban street networks, and protein residue networks. We observe that the subgraph centrality based on both indices produce significantly different ranking of the nodes. The use of the double factorial penalization of walks opens new possibilities for studying important structural properties of real-world networks where long-walks play a fundamental role, such as the cases of networks containing chordless cycles.

Random hyperbolic graphs have been suggested as a promising model of social networks. A few of their fundamental parameters have been studied. However, none of them concerns their spectra. We consider the random hyperbolic graph model as formalized by [GPP12] and essentially determine the spectral gap of their normalized Laplacian. Specifically, we establish that with high probability the second smallest eigenvalue of the normalized Laplacian of the giant component of and $n$-vertex random hyperbolic graph is $Ω(n^{-(2α-1)}/D)$, where $\frac12<α<1$ is a model parameter and $D$ is the network diameter (which is known to be at most polylogarithmic in $n$). We also show a matching (up to a polylogarithmic factor) upper bound of $n^{-(2α-1)}(\log n)^{1+o(1)}$. As a byproduct we conclude that the conductance upper bound on the eigenvalue gap obtained via Cheeger's inequality is essentially tight. We also provide a more detailed picture of the collection of vertices on which the bound on the conductance is attained, in particular showing that for all subsets whose volume is $O(n^{1-\varepsilon})$ the obtained conductance is with high probability $Ω(n^{-(2α-1)\varepsilon+o(1)})$. Finally, we also show consequences of our result for the minimum and maximum bisection of the giant component.

We provide a counterexample to a conjecture by Thiagarajan (1996 and 2002) that regular event structures correspond exactly to event structures obtained as unfoldings of finite 1-safe Petri nets. The same counterexample is used to disprove a closely related conjecture by Badouel, Darondeau, and Raoult (1999) that domains of regular event structures with bounded $\natural$-cliques are recognizable by finite trace automata. Event structures, trace automata, and Petri nets are fundamental models in concurrency theory. There exist nice interpretations of these structures as combinatorial and geometric objects. Namely, from a graph theoretical point of view, the domains of prime event structures correspond exactly to median graphs; from a geometric point of view, these domains are in bijection with CAT(0) cube complexes. A necessary condition for both conjectures to be true is that domains of regular event structures (with bounded $\natural$-cliques) admit a regular nice labeling. To disprove these conjectures, we describe a regular event domain (with bounded $\natural$-cliques) that does not admit a regular nice labeling. Our counterexample is derived from an example by Wise (1996 and 2007) of a nonpositively curved square complex whose universal cover is a CAT(0) square complex containing a particular plane with an aperiodic tiling. We prove that other counterexamples to Thiagarajan's conjecture arise from aperiodic 4-way deterministic tile sets of Kari and Papasoglu (1999) and Lukkarila (2009). On the positive side, using breakthrough results by Agol (2013) and Haglund and Wise (2008, 2012) from geometric group theory, we prove that Thiagarajan's conjecture is true for regular event structures whose domains occur as principal filters of hyperbolic CAT(0) cube complexes which are universal covers of finite nonpositively curved cube complexes.

We investigate the impact the negative curvature has on the traffic congestion in large-scale networks. We prove that every Gromov hyperbolic network $G$ admits a core, thus answering in the positive a conjecture by Jonckheere, Lou, Bonahon, and Baryshnikov, Internet Mathematics, 7 (2011) which is based on the experimental observation by Narayan and Saniee, Physical Review E, 84 (2011) that real-world networks with small hyperbolicity have a core congestion. Namely, we prove that for every subset $X$ of vertices of a $δ$-hyperbolic graph $G$ there exists a vertex $m$ of $G$ such that the disk $D(m,4 δ)$ of radius $4 δ$ centered at $m$ intercepts at least one half of the total flow between all pairs of vertices of $X$, where the flow between two vertices $x,y\in X$ is carried by geodesic (or quasi-geodesic) $(x,y)$-paths. A set $S$ intercepts the flow between two nodes $x$ and $y$ if $S$ intersect every shortest path between $x$ and $y$. Differently from what was conjectured by Jonckheere et al., we show that $m$ is not (and cannot be) the center of mass of $X$ but is a node close to the median of $X$ in the so-called injective hull of $X$. In case of non-uniform traffic between nodes of $X$ (in this case, the unit flow exists only between certain pairs of nodes of $X$ defined by a commodity graph $R$), we prove a primal-dual result showing that for any $ρ>5δ$ the size of a $ρ$-multi-core (i.e., the number of disks of radius $ρ$) intercepting all pairs of $R$ is upper bounded by the maximum number of pairwise $(ρ-3δ)$-apart pairs of $R$.

We consider the component structure of a recent model of random graphs on the hyperbolic plane that was introduced by Krioukov et al. The model exhibits a power law degree sequence, small distances and clustering, features that are associated with the so-called complex networks. The model is controlled by two parameters $α$ and $ν$ where, roughly speaking, $α$ controls the exponent of the power law and $ν$ controls the average degree. Refining earlier results, we are able to show a law of large numbers for the largest component. That is, we show that the fraction of points in the largest component tends in probability to a constant $c$ that depends only on $α,ν$, while all other components are sublinear. We also study how $c$ depends on $α, ν$. To deduce our results, we introduce a local approximation of the random graph by a continuum percolation model on $\mathbb{R}^2$ that may be of independent interest.

We construct a transient bounded-degree graph no transient subgraph of which embeds in any surface of finite genus. Moreover, we construct a transient, Liouville, bounded-degree, Gromov--hyperbolic graph with trivial hyperbolic boundary that has no transient subtree. This answers a question of Benjamini. This graph also yields a (further) counterexample to a conjecture of Benjamini and Schramm.

We study mapping class group orbits of homotopy and isotopy classes of curves with self-intersections. We exhibit the asymptotics of the number of such orbits of curves with a bounded number of self-intersections, as the complexity of the surface tends to infinity. We also consider the minimal genus of a subsurface that contains the curve. We determine the asymptotic number of orbits of curves with a fixed minimal genus and a bounded self-intersection number, as the complexity of the surface tends to infinity. As a corollary of our methods, we obtain that most curves that are homotopic are also isotopic. Furthermore, using a theorem by Basmajian, we get a bound on the number of mapping class group orbits on a given a hyperbolic surface that can contain short curves. For a fixed length, this bound is polynomial in the signature of the surface. The arguments we use are based on counting embeddings of ribbon graphs.

The classical theorem of Fáry states that every planar graph can be represented by an embedding in which every edge is represented by a straight line segment. We consider generalizations of Fáry's theorem to surfaces equipped with Riemannian metrics. In this setting, we require that every edge is drawn as a shortest path between its two endpoints and we call an embedding with this property a shortest path embedding. The main question addressed in this paper is whether given a closed surface S, there exists a Riemannian metric for which every topologically embeddable graph admits a shortest path embedding. This question is also motivated by various problems regarding crossing numbers on surfaces. We observe that the round metrics on the sphere and the projective plane have this property. We provide flat metrics on the torus and the Klein bottle which also have this property. Then we show that for the unit square flat metric on the Klein bottle there exists a graph without shortest path embeddings. We show, moreover, that for large g, there exist graphs G embeddable into the orientable surface of genus g, such that with large probability a random hyperbolic metric does not admit a shortest path embedding of G, where the probability measure is proportional to the Weil-Petersson volume on moduli space. Finally, we construct a hyperbolic metric on every orientable surface S of genus g, such that every graph embeddable into S can be embedded so that every edge is a concatenation of at most O(g) shortest paths.

Using the combinatorics of the underlying simplicial complex $K$, we give various upper and lower bounds for the Lusternik-Schnirelmann (LS) category of moment-angle complexes $\zk$. We describe families of simplicial complexes and combinatorial operations which allow for a systematic description of the LS category. In particular, we characterise the LS category of moment-angle complexes $\zk$ over triangulated $d$-manifolds $K$ for $d\leq 2$, as well as higher dimension spheres built up via connected sum, join, and vertex doubling operations. %This characterisation is given in terms of the combinatorics of $K$, the cup product length of $H^*(\zk)$, as well as a certain Massey products. We show that the LS category closely relates to vanishing of Massey products in $H^*(\zk)$ and through this connection we describe first structural properties of Massey products in moment-angel manifolds. Some of further applications include calculations of the LS category and the description of conditions for vanishing of Massey products for moment-angle manifolds over fullerenes, Pogorelov polytopes and $k$-neighbourly complexes, which double as important examples of hyperbolic manifolds.

An Erdős-Ko-Rado set of generators of a hyperbolic quadric is a set of generators which are pairwise not disjoint. In this article we classify the second largest maximal Erdős-Ko-Rado set of generators of the hyperbolic quadrics $\mathcal{Q}^{+}(4n+1,q)$, $q\geq3$.

Given an action of a group $Γ$ on a measure space $Ω$, we provide a sufficient criterion under which two sets $A, B\subseteq Ω$ are measurably equidecomposable, i.e., $A$ can be partitioned into finitely many measurable pieces which can be rearranged using the elements of $Γ$ to form a partition of $B$. In particular, we prove that every bounded measurable subset of $R^n$, $n\ge 3$, with non-empty interior is measurably equidecomposable to a ball via isometries. The analogous result also holds for some other spaces, such as the sphere or the hyperbolic space of dimension $n\ge 2$.

The systole of a hyperbolic surface is bounded by a logarithmic function of its genus. This bound is sharp, in that there exist sequences of surfaces with genera tending to infinity that attain logarithmically large systoles. These are constructed by taking congruence covers of arithmetic surfaces. In this article we provide a new construction for a sequence of surfaces with systoles that grow logarithmically in their genera. We do this by combining a construction for graphs of large girth and a count of the number of $\mathrm{SL}_2(\mathbb{Z})$ matrices with positive entries and bounded trace.

The generalized Lax conjecture asserts that each hyperbolicity cone is a linear slice of the cone of positive semidefinite matrices. Hyperbolic polynomials give rise to a class of (hyperbolic) matroids which properly contains the class of matroids representable over the complex numbers. This connection was used by the second author to construct counterexamples to algebraic (stronger) versions of the generalized Lax conjecture by considering a non-representable hyperbolic matroid. The Vámos matroid and a generalization of it are, prior to this work, the only known instances of non-representable hyperbolic matroids. We prove that the Non-Pappus and Non-Desargues matroids are non-representable hyperbolic matroids by exploiting a connection between Euclidean Jordan algebras and projective geometries. We further identify a large class of hyperbolic matroids which contains the Vámos matroid and the generalized Vámos matroids recently studied by Burton, Vinzant and Youm. This proves a conjecture of Burton et al. We also prove that many of the matroids considered here are non-representable. The proof of hyperbolicity for the matroids in the class depends on proving nonnegativity of certain symmetric polynomials. In particular we generalize and strengthen several inequalities in the literature, such as the Laguerre-Turán inequality and Jensen's inequality. Finally we explore consequences to algebraic versions of the generalized Lax conjecture.

We show that some hyperbolic 3-manifolds which are tessellated by copies of the regular ideal hyperbolic tetrahedron embed geodesically in a complete, finite volume, hyperbolic 4-manifold. This allows us to prove that the complement of the figure-eight knot geometrically bounds a complete, finite volume hyperbolic 4-manifold. This the first example of geometrically bounding hyperbolic knot complement and, amongst known examples of geometrically bounding manifolds, the one with the smallest volume.