arXiv++ Combinatorics

The classic Ky Fan theorem is a combinatorial equivalent of Borsuk-Ulam theorem. It is a generalization and extension of Tucker's lemma and, just like its predecessor, it pinpoints important properties of antipodal colorings of vertices of a triangulated sphere $S^n$. Here we describe generalizations of Ky Fan theorem for the case when the sphere is replaced by the total space of a triangulated sphere bundle.

The global Schwinger formula, introduced by Cachazo and Early as a single integral over the positive tropical Grassmannian, provides a way to uncover properties of scattering amplitudes which are hard to see in their standard Feynman diagram formulation. In a recent work, Cachazo and one of the authors extended the global Schwinger formula to general $φ^p$ theories. When $p=4$, it was conjectured that the integral decomposes as a sum over cones which are in bijection with non-crossing chord diagrams, and further that these can be obtained by finding the zeroes of a piece-wise linear function, $H(x)$. In this note we give a proof of this conjecture. We also present a purely combinatorial way of computing $φ^p$ amplitudes by triangulating a trivial extended version of non-crossing $(p-2)$-chord diagrams, called extended diagrams, and present a proof of the bijection between triangulated extended diagrams and Feynman diagrams when $p=4$. This is reminiscent of recent constructions using Stokes polytopes and accordiohedra. However, the $φ^p$ amplitude is now partitioned by a new collection of objects, each of which characterizes a polyhedral cone in the positive tropical Grassmannian in the form of an associahedron or of an intersection of two associahedra. Moreover, we comment on the bijection between extended diagrams and double-ordered biadjoint scalar amplitudes. We also conjecture the form of the general piece-wise linear function, $H^{φ^p}(x)$, whose zeroes generate the regions in which the $φ^p$ global Schwinger formula decomposes into.

We give a definition of a what we call a `tonnetz' on a triangulated surface, generalising the famous tonnetz of Euler from 1739. In Euler's tonnetz the vertices of a regular `$A_2$ triangulation' of the plane are labelled with notes, or pitch-classes. In our generalisation we allow much more general labellings of triangulated surfaces. In particular, edge labellings turn out to lead to a rich set of examples. We construct natural examples that are related to crystallographic reflection groups and live on triangulations of tori. Underlying these we observe a curious relationship between mathematical Langlands duality and major/minor duality. We also construct `exotic' type-$A_2$ examples (different from Euler's Tonnetz), and a tonnetz on a sphere that encodes all major ninth chords.

Paquette and Yıldırım recently introduced triangulated categories of arcs in completed infinity-gons, which are discs with an infinite closed set of marked points on their boundary. These categories have many features in common with the cluster categories associated to discs with different sets of marked points. In particular, they have (weak) cluster-tilting subcategories, which Paquette and Yıldırım show are in bijection with very special triangulations of the disc. This is in contrast to Igusa and Todorov's earlier work in the uncompleted case, in which every triangulation corresponds to a weak cluster-tilting subcategory. In this paper, we replace the triangulated structure of Paquette and Yıldırım's category by an extriangulated substructure and prove that, with this structure, the weak cluster-tilting subcategories are once again in bijection with triangulations. We further show that functorial finiteness of a weak cluster-tilting subcategory is equivalent to a very mild condition on the triangulation, which also appears in Çanakçı and Felikson's study of infinite rank cluster algebras from Teichmüller theory. By comparison with the combinatorics of triangulations, we are also able to characterise when weak cluster-tilting subcategories can be mutated in this new extriangulated category.

3D printing of surfaces has become an established method for prototyping and visualisation. However, surfaces often contain certain degenerations, such as self-intersecting faces or non-manifold parts, which pose problems in obtaining a 3D printable file. Therefore, it is necessary to examine these degenerations beforehand. Surfaces in three-dimensional space can be represented as embedded simplicial complexes describing a triangulation of the surface. We use this combinatorial description, and the notion of embedded simplicial surfaces (which can be understood as well-behaved surfaces) to give a framework for obtaining 3D printable files. This provides a new perspective on self-intersecting triangulated surfaces in three-dimensional space. Our method first retriangulates a surface using a minimal number of triangles, then computes its outer hull, and finally treats non-manifold parts. To this end, we prove an initialisation criterion for the computation of the outer hull. We also show how symmetry properties can be used to simplify computations. Implementations of the proposed algorithms are given in the computer algebra system GAP4. To verify our methods, we use a dataset of self-intersecting symmetric icosahedra. Exploiting the symmetry of the underlying embedded complex leads to a notable speed-up and enhanced numerical robustness when computing a retriangulation, compared to methods that do not take advantage of symmetry.

A triangulation of a circle bundle $ E \xrightarrow[\text{}]π B$ is a triangulation of the total space $E$ and the base $B$ such that the projection $π$ is a simplicial map. In the paper we address the following questions: Which circle bundles can be triangulated over a given triangulation of the base? What are the minimal triangulations of a bundle? A complete solution for semisimplicial triangulations was given by N. Mnëv. Our results deal with classical triangulations, that is, simplicial complexes. We give an exact answer for an infinite family of triangulated spheres (including the boundary of the $3$-simplex, the boundary of the octahedron, the suspension over an $n$-gon, the icosahedron). For the general case we present a sufficient criterion for existence of a triangulation. Some minimality results follow straightforwadly.

Generalized cluster algebras from orbifolds were defined by Chekhov and Shapiro to give a combinatorial description of their Teichmüller spaces. One can also assign a gentle algebra to a triangulated orbifold, as in the work of Labardini-Fragoso and Mou. In this work, we show that the Caldero-Chapoton map and the snake graph expansion map agree for arcs in triangulated orbifolds and arc modules, and similarly for closed curves and certain band modules. As a consequence, we have a bijection between some indecomposable modules over a gentle algebra and cluster variables in a generalized cluster algebra where both algebras arise from the same triangulated orbifold.

In this paper, we introduce a new graph structure, called the $direct~ sum ~graph$ on a finite dimensional vector space. We investigate the connectivity, diameter and the completeness of $Γ_{U\oplus W}(\mathbb{V})$. Further, we find its domination number and independence number. We also determine the degree of each vertex in case the base field is finite and show that the graph $Γ_{U\oplus W}(\mathbb{V})$ is not Eulerian. We also show that under some mild conditions the graph $Γ_{U\oplus W}(\mathbb{V})$ is triangulated. We determine the clique number of $Γ_{U\oplus W}(\mathbb{V})$ for some particular cases. Finally, we find the size, girth, edge-connectivity and the chromatic number of $Γ_{U\oplus W}(\mathbb{V})$.

We describe a reduction technique for stably 2-Calabi--Yau Frobenius extriangulated categories $\mathcal{F}$ with respect to a functorially finite rigid subcategory $\mathcal{X}$. The reduction of such a category is another category $\mathcal{X}^{\perp_1}\subseteq\mathcal{F}$ of the same kind, whose cluster-tilting subcategories are those cluster-tilting subcategories $\mathcal{T}\subseteq\mathcal{F}$ such that $\mathcal{X}\subseteq\mathcal{T}$. This reduction operation generalises Iyama--Yoshino's reduction for 2-Calabi--Yau triangulated categories, which is recovered by passing to stable categories. Moreover, for a certain class of categories $\mathcal{F}$ and rigid objects $M$, we show that the relationship between $\mathcal{F}$ and $M^{\perp_1}$ may also be expressed in terms of internally Calabi--Yau algebras, in the sense of the third author. As an application, we give a conceptual proof of a result on frieze patterns originally obtained by the first author with Baur, Gratz, Serhiyenko, and Todorov.

The Heawood graph is a remarkable graph that played a fundamental role in the development of the theory of graph colorings on surfaces in the 19th and 20th centuries. Based on permutahedral tilings, we introduce a generalization of the classical Heawood graph indexed by a sequence of positive integers. We show that the resulting generalized Heawood graphs are toroidal graphs, which are dual to higher dimensional triangulated tori. We also present explicit combinatorial formulas for their $f$-vectors and study their automorphism groups.

We study representations of simply-laced Weyl groups which are equipped with canonical bases. Our main result is that for a large class of representations, the separable elements of the Weyl group $W$ act on these canonical bases by bijections up to lower-order terms. Examples of this phenomenon include the action of separable permutations on the Kazhdan--Lusztig basis of irreducible representations for the symmetric group, and the action of separable elements of $W$ on dual canonical bases of weight zero in tensor product representations of a Lie algebra. Our methods arise from categorical representation theory, and in particular the study of the perversity of Rickard complexes acting on triangulated categories.

A $k$-subcolouring of a graph $G$ is a function $f:V(G) \to \{0,\ldots,k-1\}$ such that the set of vertices coloured $i$ induce a disjoint union of cliques. The subchromatic number, $χ_{\textrm{sub}}(G)$, is the minimum $k$ such that $G$ admits a $k$-subcolouring. Nešetřil, Ossona de Mendez, Pilipczuk, and Zhu (2020), recently raised the problem of finding tight upper bounds for $χ_{\textrm{sub}}(G^2)$ when $G$ is planar. We show that $χ_{\textrm{sub}}(G^2)\le 43$ when $G$ is planar, improving their bound of 135. We give even better bounds when the planar graph $G$ has larger girth. Moreover, we show that $χ_{\textrm{sub}}(G^{3})\le 95$, improving the previous bound of 364. For these we adapt some recent techniques of Almulhim and Kierstead (2022), while also extending the decompositions of triangulated planar graphs of Van den Heuvel, Ossona de Mendez, Quiroz, Rabinovich and Siebertz (2017), to planar graphs of arbitrary girth. Note that these decompositions are the precursors of the graph product structure theorem of planar graphs. We give improved bounds for $χ_{\textrm{sub}}(G^p)$ for all $p$, whenever $G$ has bounded treewidth, bounded simple treewidth, bounded genus, or excludes a clique or biclique as a minor. For this we introduce a family of parameters which form a gradation between the strong and the weak colouring numbers. We give upper bounds for these parameters for graphs coming from such classes. Finally, we give a 2-approximation algorithm for the subchromatic number of graphs coming from any fixed class with bounded layered cliquewidth. In particular, this implies a 2-approximation algorithm for the subchromatic number of powers $G^p$ of graphs coming from any fixed class with bounded layered treewidth (such as the class of planar graphs). This algorithm works even if the power $p$ and the graph $G$ is unknown.

Given a 3-uniform hypergraph H, its 2-intersection graph G has for vertex set the hyperedges of H and ee' is an edge of G whenever e and e' have exactly two common vertices in H. Di Marco et al. prove that deciding wether a graph G is the 2-intersection graph of a 3-uniform hypergraph is NP-complete. The main problems we study concern the class of claw-free graphs. We show that the recognition problem remains NP-complete when G is claw-free graphs but becomes polynomial if in addition G is triangulated.

In a categorification of skew-symmetric cluster algebras, each cluster variable corresponds with an indecomposable module over the associated Jacobian algebra. Buan, Marsh and Reiten studied when the denominator vector of each cluster variable in an acyclic cluster algebra coincides with the dimension vector of the corresponding module. In this paper, we give analogues of their results for cluster algebras from triangulated surfaces by comparing two kinds of intersection numbers of tagged arcs.

For a graph $G$ with the vertex set $V(G)$ and the edge set $E(G)$ and a star subgraph $S$ of $G$, let $α_S(G)$ be the maximum number of vertices in $G$ such that no two of them are in the same star subgraph $S$ and $θ_S(G)$ be the minimum number of star subgraph $S$ that cover the vertices of $G$. A graph $G$ is called $S$-perfect if for every induced subgraph $H$ of $G$, $α_S(H)=θ_S(H)$. Motivated by perfect graphs discovered by Berge, Ravindra introduced $S$-perfect graphs. In this paper we prove that a triangulated graph is $S$-perfect if and only if $G$ is odd sun-free. This result leads to a conjecture which if proved is a structural characterization of $S$-perfect graphs in terms of forbidden subgraphs.

This article deals with a relationship between derived categories of modules over some partially ordered sets and triangulated categories arising from quasi-homogeneous isolated singularities. It produces heuristics for the existence of derived equivalences between posets, using the geometric category as an auxiliary intermediate. The notion of Weight plays a central role as a simple footprint of the derived categories under consideration.

In this article, we initiate the study of hereditary extriangulated categories. Many important categories arising in representation theory in connection with various theories of mutation are hereditary extriangulated. Special cases include homotopy categories of 2-term complexes with projective components, which are related to silting mutation, and cluster categories (with relevant relative extriangulated structures) where cluster tilting mutation take place. We prove that there is a theory of irreducible mutation for maximal rigid objects and subcategories in hereditary extriangulated categories of dominant dimension 1. Applied to the examples above, this recovers 2-term silting mutation in triangulated categories and cluster tilting mutation. By constructing suitable extriangulated categories, we also recover tau-tilting mutation for gentle algebras and flips for their non-kissing facets. Combined with results by Adachi-Tsukamoto and Pauksztello-Zvonareva, our mutation also provides mutation for intermediate co-t-structures. In spirit of our earlier work, we study negative extensions in hereditary extriangulated categories. We give sufficient conditions for the existence of universal balanced negative extensions. We explicitly compute certain, a priori non-universal, versions of negative extensions in hereditary categories constructed from triangulated categories with rigid subcategories. We discuss examples where these two constructions give the same delta-functors and where they disagree.

A planar graph can be embedded in a piecewise linear manifold, and the lattice on each linear piece can be colored with 3-coloring. If a planar graph can be colored with multiple 3-coloring, i.e. coloring the graph in pieces with different 3-color subsets of 4 colors, then the graph is 4-colorable. In this paper, multiple 3-coloring was introduced, and then the combination and partition of planar graphs for multiple 3-coloring was studied. The study reveals that planar graphs can generally be decomposed into independent subgraphs, and each subgraph can be triangulated into a symmetric structure for multiple 3-coloring.

Numerous structural findings of homology manifolds have been derived in various ways in relation to $g_2$-values. The homology $4$-manifolds with $g_2\leq 5$ are characterized combinatorially in this article. It is well-known that all homology $4$-manifolds for $g_2\leq 2$ are polytopal spheres. We demonstrate that homology $4$-manifolds with $g_2\leq 5$ are triangulated spheres and are derived from triangulated 4-spheres with $g_2\leq 2$ by a series of connected sum, bistellar 1- and 2-moves, edge contraction, edge expansion, and edge flipping operations. We establish that the above inequality is optimally attainable, i.e., it cannot be extended to $g_2 = 6$.

We obtain a multiplication formula for cluster characters on (stably) 2-Calabi-Yau (Frobenius or) triangulated categories. This formula generalizes those known for arbitrary pairs of objects and for Auslander-Reiten triangles. As an application, we show that for cluster algebras of acyclic types, specialization of a cluster variable to 1 sends all cluster variables to elements of a cluster algebra of smaller rank. We also obtain application to the reduction of friezes of acyclic type.