arXiv++ Combinatorics

Conway and Coxeter introduced frieze patterns in 1973 and classified them via triangulated polygons. The determinant of the matrix associated to a frieze table was computed explicitly by Broline, Crowe and Isaacs in 1974, a result generalized 2012 by Baur and Marsh in the context of cluster algebras of type A. Higher angulations of polygons and associated generalized frieze patterns were studied in a joint paper with Holm and Jørgensen. Here we take these results further; we allow arbitrary dissections and introduce polynomially weighted walks around such dissected polygons. The corresponding generalized frieze table satisfies a complementary symmetry condition; its determinant is a multisymmetric multivariate polynomial that is given explicitly. But even more, the frieze matrix may be transformed over a ring of Laurent polynomials to a nice diagonal form generalizing the Smith normal form result given in an earlier joint paper with Holm and Jørgensen. Considering the generalized polynomial frieze in this context it is also shown that the non-zero local determinants are monomials that are given explicitly, depending on the geometry of the dissected polygon.

It is well known that a triangulation of a closed 2-manifold is tight with respect to a field of characteristic two if and only if it is neighbourly; and it is tight with respect to a field of odd characteristic if and only if it is neighbourly and orientable. No such characterization of tightness was previously known for higher dimensional manifolds. In this paper, we prove that a triangulation of a closed 3-manifold is tight with respect to a field of odd characteristic if and only if it is neighbourly, orientable and stacked. In consequence, the Kühnel-Lutz conjecture is valid in dimension three for fields of odd characteristic. Next let $\mathbb{F}$ be a field of characteristic two. It is known that, in this case, any neighbourly and stacked triangulation of a closed 3-manifold is $\mathbb{F}$-tight. For triangulated closed 3-manifolds with at most 71 vertices or with first Betti number at most 188, we show that the converse is true. But the possibility of an $\mathbb{F}$-tight non-stacked triangulation on a larger number of vertices remains open. We prove the following upper bound theorem on such triangulations. If an $\mathbb{F}$-tight triangulation of a closed 3-manifold has $n$ vertices and first Betti number $β_1$, then $(n-4)(617n- 3861) \leq 15444β_1$. Equality holds here if and only if all the vertex links of the triangulation are connected sums of boundary complexes of icosahedra.

We consider the problem of morphing between two planar drawings of the same triangulated graph, maintaining straight-line planarity. A paper in SODA 2013 gave a morph that consists of $O(n^2)$ steps where each step is a linear morph that moves each of the $n$ vertices in a straight line at uniform speed. However, their method imitates edge contractions so the grid size of the intermediate drawings is not bounded and the morphs are not good for visualization purposes. Using Schnyder embeddings, we are able to morph in $O(n^2)$ linear morphing steps and improve the grid size to $O(n)\times O(n)$ for a significant class of drawings of triangulations, namely the class of weighted Schnyder drawings. The morphs are visually attractive. Our method involves implementing the basic "flip" operations of Schnyder woods as linear morphs.

We give three constructions of a vertex-minimal triangulation of $4$-dimensional real projective space $\mathbb{R}P^4$. The first construction describes a $4$-dimensional sphere on $32$ vertices, which is a double cover of a triangulated $\mathbb{R}P^4$ and has a large amount of symmetry. The second and third constructions illustrate approaches to improving the known number of vertices needed to triangulate $n$-dimensional real projective space. All three constructions deliver the same combinatorial manifold, which is also the same as the only known $16$-vertex triangulation of $\mathbb{R}P^4$. We also give a short, simple construction of the $22$-point Witt design, which is closely related to the complex we construct.

In 1996, Tarjan and Matheson proved that if $G$ is a plane triangulated disc with $n$ vertices, $γ(G)\le n/3$, where $γ(G)$ denotes the domination number of $G$. Furthermore, they conjectured that the constant $1/3$ could be improved to $1/4$ for sufficiently large $n$. Their conjecture remains unsettled. In the present paper, it is proved that if $G$ is a hamiltonian plane triangulation with $|V(G)|=n$ vertices and minimum degree at least 4, then $γ(G)\le\max\{\lceil 2n/7\rceil, \lfloor 5n/16\rfloor\}$. It follows immediately that if $G$ is a 4-connected plane triangulation with $n$ vertices, then $γ(G)\le\max\{\lceil 2n/7\rceil, \lfloor 5n/16\rfloor\} $. It then follows that if $n\ge 26$, then $γ(G)\le \lfloor 5n/16\rfloor$.

How much cutting is needed to simplify the topology of a surface? We provide bounds for several instances of this question, for the minimum length of topologically non-trivial closed curves, pants decompositions, and cut graphs with a given combinatorial map in triangulated combinatorial surfaces (or their dual cross-metric counterpart). Our work builds upon Riemannian systolic inequalities, which bound the minimum length of non-trivial closed curves in terms of the genus and the area of the surface. We first describe a systematic way to translate Riemannian systolic inequalities to a discrete setting, and vice-versa. This implies a conjecture by Przytycka and Przytycki from 1993, a number of new systolic inequalities in the discrete setting, and the fact that a theorem of Hutchinson on the edge-width of triangulated surfaces and Gromov's systolic inequality for surfaces are essentially equivalent. We also discuss how these proofs generalize to higher dimensions. Then we focus on topological decompositions of surfaces. Relying on ideas of Buser, we prove the existence of pants decompositions of length O(g^{3/2}n^{1/2}) for any triangulated combinatorial surface of genus g with n triangles, and describe an O(gn)-time algorithm to compute such a decomposition. Finally, we consider the problem of embedding a cut graph (or more generally a cellular graph) with a given combinatorial map on a given surface. Using random triangulations, we prove (essentially) that, for any choice of a combinatorial map, there are some surfaces on which any cellular embedding with that combinatorial map has length superlinear in the number of triangles of the triangulated combinatorial surface. There is also a similar result for graphs embedded on polyhedral triangulations.

It is known that the $(2k-1)$-sphere has at most $2^{O(n^k \log n)}$ combinatorially distinct triangulations with $n$ vertices, for every $k\ge 2$. Here we construct at least $2^{Ω(n^k)}$ such triangulations, improving on the previous constructions which gave $2^{Ω(n^{k-1})}$ in the general case (Kalai) and $2^{Ω(n^{5/4})}$ for $k=2$ (Pfeifle-Ziegler). We also construct $2^{Ω\left(n^{k-1+\frac{1}{k}}\right)}$ geodesic (a.k.a. star-convex) $n$-vertex triangualtions of the $(2k-1)$-sphere. As a step for this (in the case $k=2$) we construct $n$-vertex $4$-polytopes containing $Ω(n^{3/2})$ facets that are not simplices, or with $Ω(n^{3/2})$ edges of degree three.

We prove two results on stacked triangulated manifolds in this paper: (a) every stacked triangulation of a connected manifold with or without boundary is obtained from a simplex or the boundary of a simplex by certain combinatorial operations; (b) in dimension $d \geq 4$, if $Δ$ is a tight connected closed homology $d$-manifold whose $i$th homology vanishes for $1 < i < d-1$, then $Δ$ is a stacked triangulation of a manifold.These results give affirmative answers to questions posed by Novik and Swartz and by Effenberger.

Discrete derived categories were studied initially by Vossieck \cite{Vossieck} and later by Bobiński, Geiß, Skowroński \cite{BGS}. In this article, we define the CW complex of silting pairs for a triangulated category and show that it is contractible in the case of discrete derived categories. We provide an explicit embedding from the silting CW complex into the stability manifold. By work of Qiu and Woolf, there is a deformation retract of the stability manifold onto the silting pairs CW complex. We obtain that the space of stability conditions of discrete derived categories is contractible.

A $triangulation$ is an embedding of a graph on surfaces where every face has length three. In this article, we show the existence of contractible Hamiltonian cycle in triangulated maps of which minimum degree is four.

In a recent work [2] with Datta, we introduced the mu vector (with respect to a given field) of simplicial complexes and used it to study tightness and lower bounds. In this paper, we modify the definition of mu vectors. With the new definition, most results of [2] become correct without the hypothesis of 2-neighbourliness. In particular, the combinatorial Morse inequalities of [2] are now true of all simplicial complexes. As an application, we prove the following generalized lower bound theorem (GLBT) for connected locally tame combinatorial manifolds. If $M$ is such a manifold of dimension $d$, then for $1 \leq \ell \leq \frac{d-1}{2}$ and any field $\mathbb{F}, ~ g_{\ell+1} (M) \geq \binom{d+2}{\ell+1} \sum\limits_{i=1}^\ell (-1)^{\ell-i} β_i (M;\mathbb{F})$. Equality holds here if and only if $M$ is $\ell$-stacked. We conjecture that, more generally, this theorem is true of all triangulated connected and closed homology manifolds. A conjecture on the sigma vectors of triangulated homology spheres is proposed, whose validity will imply this GLB Conjecture for homology manifolds. We also prove the GLBC for all connected and closed combinatorial 3-manifolds. Thus, any connected closed combinatorial manifold $M$ of dimension three satisfies $g_2 (M) \geq 10 β_1 (M;\mathbb{F})$, with equality iff $M$ is 1-stacked. This result settles a question of Novik and Swartz [6] in the affirmative.

We present a necessary and sufficient condition for existence of a contractible, non-separating and noncontractible separating Hamiltonian cycle in the edge graph of polyhedral maps on surfaces. In particular, we show the existence of contractible Hamiltonian cycle in equivelar triangulated maps. We also present an algorithm to construct such cycles whenever it exists.

We extend Ng's characterisation of torsion pairs in the 2-Calabi-Yau triangulated category generated by a 2-spherical object to the characterisation of torsion pairs in the w-Calabi-Yau triangulated category, $T_w$, generated by a w-spherical object for any integer w. Inspired by the combinatorics of $T_w$ for w < 0, we also characterise the torsion pairs in a certain w-Calabi-Yau orbit category of the bounded derived category of the path algebra of Dynkin type A.

Let $r$ and $d$ be positive integers with $r<d$. Consider a random $d$-ary tree constructed as follows. Start with a single vertex, and in each time-step choose a uniformly random leaf and give it $d$ newly created offspring. Let ${\mathcal T}_t$ be the tree produced after $t$ steps. We show that there exists a fixed $δ<1$ depending on $d$ and $r$ such that almost surely for all large $t$, every $r$-ary subtree of ${\mathcal T}_t$ has less than $t^δ$ vertices. The proof involves analysis that also yields a related result. Consider the following iterative construction of a random planar triangulation. Start with a triangle embedded in the plane. In each step, choose a bounded face uniformly at random, add a vertex inside that face and join it to the vertices of the face. In this way, one face is destroyed and three new faces are created. After $t$ steps, we obtain a random triangulated plane graph with $t+3$ vertices, which is called a random Apollonian network. We prove that there exists a fixed $δ<1$, such that eventually every path in this graph has length less than $t^δ$, which verifies a conjecture of Cooper and Frieze.

In 1987, Kalai proved that stacked spheres of dimension $d\geq 3$ are characterised by the fact that they attain equality in Barnette's celebrated Lower Bound Theorem. This result does not extend to dimension $d=2$. In this article, we give a characterisation of stacked $2$-spheres using what we call the {\em separation index}. Namely, we show that the separation index of a triangulated $2$-sphere is maximal if and only if it is stacked. In addition, we prove that, amongst all $n$-vertex triangulated $2$-spheres, the separation index is {\em minimised} by some $n$-vertex flag sphere for $n\geq 6$. Furthermore, we apply this characterisation of stacked $2$-spheres to settle the outstanding $3$-dimensional case of the Lutz-Sulanke-Swartz conjecture that "tight-neighbourly triangulated manifolds are tight". For dimension $d\geq 4$, the conjecture has already been proved by Effenberger following a result of Novik and Swartz.

In graph theory, Courcelle's theorem essentially states that, if an algorithmic problem can be formulated in monadic second-order logic, then it can be solved in linear time for graphs of bounded treewidth. We prove such a metatheorem for a general class of triangulations of arbitrary fixed dimension d, including all triangulated d-manifolds: if an algorithmic problem can be expressed in monadic second-order logic, then it can be solved in linear time for triangulations whose dual graphs have bounded treewidth. We apply our results to 3-manifold topology, a setting with many difficult computational problems but very few parameterised complexity results, and where treewidth has practical relevance as a parameter. Using our metatheorem, we recover and generalise earlier fixed-parameter tractability results on taut angle structures and discrete Morse theory respectively, and prove a new fixed-parameter tractability result for computing the powerful but complex Turaev-Viro invariants on 3-manifolds.

The notion of $SL_2$-tiling is a generalization of that of classical Coxeter-Conway frieze pattern. We classify doubly antiperiodic $SL_2$-tilings that contain a rectangular domain of positive integers. Every such $SL_2$-tiling corresponds to a pair of frieze patterns and a unimodular $2\times2$-matrix with positive integer coefficients. We relate this notion to triangulated $n$-gons in the Farey graph.

We show existence of centrally symmetric maps on surfaces all of whose faces are quadrangles and pentagons for each orientable genus $g \geq 0$. We also show existence of centrally symmetric maps on surfaces all of whose faces are hexagons for each orientable genus $g = 2k-1$, $k\in \mathbb{N}$. We enumerate centrally symmetric triangulated manifolds of dimensions 2 and 3 with few vertices.

Hom- and Riedtmann configurations were studied in the context of stable module categories of selfinjective algebras and a certain orbit category C of the bounded derived category of a Dynkin quiver, which is highly reminiscent of the cluster category. The category C is (-1)-Calabi-Yau. Holm and Jorgensen introduced a family of triangulated categories generated by $w$-spherical objects. When $w \geq 2$, these may be regarded as higher cluster categories of type A infinity. When $w \leq -1$, they are higher analogues of the orbit category C. In this paper, we classify the (higher) Hom- and Riedtmann configurations for these categories, and link them with noncrossing partitions in the case $w = -1$. Along the way, we obtain a new geometric model for the higher versions of the orbit category C.

In a recent paper, Barot and Marsh presented an explicit construction of presentation of a finite Weyl group by any seed of corresponding cluster algebra, i.e. by any diagram mutation-equivalent to an orientation of a Dynkin diagram with given Weyl group. Extending their construction to the affine case, we obtain presentations for all affine Coxeter groups. Furthermore, we generalize the construction to the settings of diagrams arising from unpunctured triangulated surfaces and orbifolds, which leads to presentations of corresponding groups as quotients of numerous distinct Coxeter groups.