arXiv++ Combinatorics

We extend Carter's notion of admissible diagrams and attach a "Dynkin-like" diagram to each reduced reflection factorization of an element in a finite Weyl group. We give a complete classification for the diagrams attached to reduced reflection factorizations. Remarkably, such a diagram turns out to be cyclically orientable if and only if it is isomorphic to the underlying graph of a quiver which is mutation-equivalent to a Dynkin quiver. Furthermore we show that each diagram encodes a natural presentation of the Weyl group as reflection group. The latter one extends work of Cameron, Seidel and Tsaranov as well as Barot and Marsh.

A finite simple graph G is declared to have positive curvature if every in G embedded wheel graph has five or six vertices. A d-graph is a finite simple graph G for which every unit sphere is a (d-1)-sphere. A d-sphere is a d-graph G for which there exists a vertex x such that G-x is contractible. A graph G is contractible if there is a vertex x such that S(x) and G-x are contractible. The empty graph 0 is the (-1)-sphere. The 1-point graph 1 is contractible. The theorem is that for d bigger than 1, every connected positive curvature d-graph is a d-sphere. A discrete Synge result follows: a positive curvature graph is simply connected and orientable. For every d larger than 1, there are only finitely many positive curvature graphs. There are six for d=2 and all have diameter less or equal to 3. To prove the theorem, we use a "geomag lemma" which shows that every geodesic in G can be extended to an immersed 2-graph S of positive curvature and must so be a 2-sphere with positive curvature. As none of these has diameter larger than 3, also G has a diameter 3 or less. This can be used to show that G-x is contractible and so must be a sphere.

We extend several $g$-type theorems for connected, orientable homology manifolds without boundary to manifolds with boundary. As applications of these results we obtain Kühnel-type bounds on the Betti numbers as well as on certain weighted sums of Betti numbers of manifolds with boundary. Our main tool is the completion $\hatΔ$ of a manifold with boundary $Δ$; it is obtained from $Δ$ by coning off the boundary of $Δ$ with a single new vertex. We show that despite the fact that $\hatΔ$ has a singular vertex, its Stanley--Reisner ring shares a few properties with the Stanley--Reisner rings of homology spheres. We close with a discussion of a connection between three lower bound theorems for manifolds, PL-handle decompositions, and surgery.

Relative Heffter arrays, denoted by $\mathrm{H}_t(m,n; s,k)$, have been introduced as a generalization of the classical concept of Heffter array. A $\mathrm{H}_t(m,n; s,k)$ is an $m\times n$ partially filled array with elements in $\mathbb{Z}_v$, where $v=2nk+t$, whose rows contain $s$ filled cells and whose columns contain $k$ filled cells, such that the elements in every row and column sum to zero and, for every $x\in \mathbb{Z}_v$ not belonging to the subgroup of order $t$, either $x$ or $-x$ appears in the array. In this paper we show how relative Heffter arrays can be used to construct biembeddings of cyclic cycle decompositions of the complete multipartite graph $K_{\frac{2nk+t}{t}\times t}$ into an orientable surface. In particular, we construct such biembeddings providing integer globally simple square relative Heffter arrays for $t=k=3,5,7,9$ and $n\equiv 3 \pmod 4$ and for $k=3$ with $t=n,2n$, any odd $n$.

Amalgamation in the totally non-negative part of positroid varieties is equivalent to gluing copies of $Gr^{TP}(1,3)$ and $Gr^{TP}(2,3)$. Lam has proposed to represent amalgamation in positroid varieties by equivalence classes of relations on bipartite graphs and identify total non-negativity via edge signatures. Here we provide an explicit characterization of such signatures on the planar bicolored trivalent directed perfect networks in the disk parametrizing positroid cells $S_M^{TNN}$.To a graph $G$ representing $S_M^{TNN}$, we associate a geometric signature satisfying full rank condition and total non--negativity. Such signature is uniquely identified by geometric indices ruled by orientation and gauge ray direction. The image of this map coincides with that of Postnikov boundary measurement map. We solve the system of geometric relations generalizing Postnikov's and Talaska's results for the boundary edges to the internal edges of the graphs: the edge vector components are rational in the weights with subtraction--free denominators, and have explicit expressions in terms of conservative and edge flows. At boundary sources the edge vectors give the boundary measurement matrix. If $G$ is acyclically orientable, all components are subtraction-free rational in the weights w.r.t. a convenient basis. We provide explicit formulas for the transformation rules w.r.t. changes the orientation, the several gauges of the given network, moves and reductions of networks. We show that the image of the boundary measurement map and the dimer partition functions do not coincide if the graph is not bipartite.

Consider the family of graphs without $ k $ node-disjoint odd cycles, where $ k $ is a constant. Determining the complexity of the stable set problem for such graphs $ G $ is a long-standing problem. We give a polynomial-time algorithm for the case that $ G $ can be further embedded in a (possibly non-orientable) surface of bounded genus. Moreover, we obtain polynomial-size extended formulations for the respective stable set polytopes. To this end, we show that $2$-sided odd cycles satisfy the Erdős-Pósa property in graphs embedded in a fixed surface. This extends the fact that odd cycles satisfy the Erdős-Pósa property in graphs embedded in a fixed orientable surface (Kawarabayashi & Nakamoto, 2007). Eventually, our findings allow us to reduce the original problem to the problem of finding a minimum-cost non-negative integer circulation of a certain homology class, which turns out to be efficiently solvable in our case.

We study the atomic embeddability testing problem, which is a common generalization of clustered planarity (c-planarity, for short) and thickenability testing, and present a polynomial-time algorithm for this problem, thereby giving the first polynomial-time algorithm for c-planarity. C-planarity was introduced in 1995 by Feng, Cohen, and Eades as a variant of graph planarity, in which the vertex set of the input graph is endowed with a hierarchical clustering and we seek an embedding (crossing free drawing) of the graph in the plane that respects the clustering in a certain natural sense. Until now, it has been an open problem whether c-planarity can be tested efficiently, despite relentless efforts. The thickenability problem for simplicial complexes emerged in the topology of manifolds in the 1960s. A 2-dimensional simplicial complex is thickenable if it embeds in some orientable 3-dimensional manifold. Recently, Carmesin announced that thickenability can be tested in polynomial time. Our algorithm for atomic embeddability combines ideas from Carmesin's work with algorithmic tools previously developed for weak embeddability testing. We express our results purely in terms of graphs on surfaces, and rely on the machinery of topological graph theory. Finally, we give a polynomial-time reduction from atomic embeddability to thickenability thereby showing that both problems are polynomially equivalent, and show that a slight generalization of atomic embeddability to the setting in which clusters are toroidal graphs is NP-complete.

In this paper we will show the existence of a face $2$-colourable biembedding of the complete graph onto an orientable surface where each face is a cycle of a fixed length $k$, for infinitely many values of $k$. In particular, under certain conditions, we show that there exists at least $(n-2)[(p-2)!]^2/(e^2 kn)$ non-isomorphic face $2$-colourable biembeddings of $K_{2nk+1}$ in which all faces are cycles of length $k=4p+3$. These conditions are: $n\equiv 1\mod 4$, $k\equiv 3\mod 4$ and either $n$ is prime or $n\gg k$ and $n\equiv 0\mod 3$ implies $p\equiv 1\mod 3$. To achieve this result we begin by verifying the existence of $(n-2)[(p-2)!/e]^2$ non-equivalent Heffter arrays, $H(n;k)$, which satisfy the conditions: (1) for each row and each column the sequential partial sums determined by the natural ordering must be distinct modulo $2nk+1$; (2) the composition of the natural orderings of the rows and columns is equivalent to a single cycle permutation on the entries in the array. The existence of Heffter arrays $H(n;k)$ that satisfy condition (1) was established earlier in \cite{BCDY} and in this current paper we vary this construction and show that there are at least $(n-2)[(p-2)!/e]^2$ such non-equivalent $H(n;k)$ that satisfy condition (1) and then show that each of these Heffter arrays also satisfy condition (2) under certain conditions.

Square Heffter arrays are $n\times n$ arrays such that each row and each column contains $k$ filled cells, each row and column sum is divisible by $2nk+1$ and either $x$ or $-x$ appears in the array for each integer $1\leq x\leq nk$. Archdeacon noted that a Heffter array, satisfying two additional conditions, yields a face $2$-colourable embedding of the complete graph $K_{2nk+1}$ on an orientable surface, where for each colour, the faces give a $k$-cycle system. Moreover, a cyclic permutation on the vertices acts as an automorphism of the embedding. These necessary conditions pertain to cyclic orderings of the entries in each row and each column of the Heffter array and are: (1) for each row and each column the sequential partial sums determined by the cyclic ordering must be distinct modulo $2nk+1$; (2) the composition of the cyclic orderings of the rows and columns is equivalent to a single cycle permutation on the entries in the array. We construct Heffter arrays that satisfy condition (1) whenever (a) $k\equiv 0\mod 4$; or (b) $n\equiv 1\mod 4$ and $k\equiv 3\mod 4$; or (c) $n\equiv 0\mod 4$, $k\equiv3\mod 4$ and $n\gg k$. As corollaries to the above we obtain pairs of orthogonal $k$-cycle decompositions of $K_{2nk+1}$.

The cochromatic number $Z(G)$ of a graph $G$ is the fewest number of colors needed to color the vertices of $G$ so that each color class is a clique or an independent set. In a fractional cocoloring of $G$ a non-negative weight is assigned to each clique and independent set so that for each vertex $v$, the sum of the weights of all cliques and independent sets containing $v$ is at least one. The smallest total weight of such a fractional cocoloring of $G$ is the fractional cochromatic number $Z_f(G)$. In this paper we prove results for the fractional cochromatic number $Z_f(G)$ that parallel results for $Z(G)$ and the well studied fractional chromatic number $χ_f{(G)}$. For example $Z_f(G)=χ_f(G)$ when $G$ is triangle-free, except when the only nontrivial component of $G$ is a star. More generally, if $G$ contains no $k$-clique, then $Z_f(G)\le χ_f(G)\le Z_f(G)+R(k,k)$. Moreover, every graph $G$ with $χ_f(G)=m$ contains a subgraph $H$ with $Z_f(H)\ge (\frac 14 - o(1))\frac m{\log_2 m}$. We also prove that the maximum value of $Z_f(G)$ over all graphs $G$ of order $n$ is $Θ(n/\log n)$, and the maximum over all graphs embedded on an orientable surface of genus $g$ is $Θ(\sqrt g / \log g)$.

We characterise which simplicial surfaces can be folded onto a triangle. We define a notion of folding that incorporates the non-intersection-properties of real materials. All of the surfaces foldable onto a triangle admit a vertex-3-colouring. Based on this colouring, we can describe the surface by three involutions that act on the faces of the surface. A simplicial surface is foldable onto a triangle if and only if there exists a cyclic permutation on all faces, whose products with the involutions have a specified number of cycles. In addition, we show that all simplicial surfaces that can be folded onto a triangle have to be orientable.

The Weisfeiler-Leman (WL) dimension of a graph is a measure for the inherent descriptive complexity of the graph. While originally derived from a combinatorial graph isomorphism test called the Weisfeiler-Leman algorithm, the WL dimension can also be characterised in terms of the number of variables that is required to describe the graph up to isomorphism in first-order logic with counting quantifiers. It is known that the WL dimension is upper-bounded for all graphs that exclude some fixed graph as a minor (Grohe, JACM 2012). However, the bounds that can be derived from this general result are astronomic. Only recently, it was proved that the WL dimension of planar graphs is at most 3 (Kiefer, Ponomarenko, and Schweitzer, LICS 2017). In this paper, we prove that the WL dimension of graphs embeddable in a surface of Euler genus $g$ is at most $4g+3$. For the WL dimension of graphs embeddable in an orientable surface of Euler genus $g$, our approach yields an upper bound of $2g+3$.

A transitive graph is 2-dimensional if it can be represented as the intersection of two linear orders. Such representations make answering of reachability queries trivial, and allow many problems that are NP-hard on arbitrary graphs to be solved in polynomial time. One may therefore be interested in finding 2-dimensional graphs that closely approximate a given graph of arbitrary order dimension. In this paper we show that the maximal 2-dimensional subgraphs of a transitive graph G are induced by the optimal near-transitive orientations of the complement of G. The same characterization holds for the maximal permutation subgraphs of a transitively orientable graph. We provide an algorithm that enables this problem reduction in near-linear time, and an approach for enlarging non-maximal 2-dimensional subgraphs, such as trees.

We consider the problem of embedding a symmetric configuration with block size 3 in an orientable surface in such a way that the blocks of the configuration form triangular faces and there is only one extra large face. We develop a sufficient condition for such an embedding to exist given any orientation of the configuration, and show that this condition is satisfied for all configurations on up to 19 points. We also show that there exists a configuration on 21 points which is not embeddable in any orientation. As a by-product, we give a revised table of numbers of configurations, correcting the published figure for 19 points. We give a number of open questions about embeddability of configurations on larger numbers of points.

We develop a theory of simple pentagonal subdivision of quadrilateral tilings, on orientable as well as non-orientable surfaces. Then we apply the theory to answer questions related to pentagonal tilings of surfaces, especially those related to pentagonal or double pentagonal subdivisions.

The \emph{genus} $\mathrm{g}(G)$ of a graph $G$ is the minimum $g$ such that $G$ has an embedding on the orientable surface $M_g$ of genus $g$. A drawing of a graph on a surface is \emph{independently even} if every pair of nonadjacent edges in the drawing crosses an even number of times. The \emph{$\mathbb{Z}_2$-genus} of a graph $G$, denoted by $\mathrm{g}_0(G)$, is the minimum $g$ such that $G$ has an independently even drawing on $M_g$. By a result of Battle, Harary, Kodama and Youngs from 1962, the graph genus is additive over 2-connected blocks. In 2013, Schaefer and Štefankovič proved that the $\mathbb{Z}_2$-genus of a graph is additive over 2-connected blocks as well, and asked whether this result can be extended to so-called 2-amalgamations, as an analogue of results by Decker, Glover, Huneke, and Stahl for the genus. We give the following partial answer. If $G=G_1\cup G_2$, $G_1$ and $G_2$ intersect in two vertices $u$ and $v$, and $G-u-v$ has $k$ connected components (among which we count the edge $uv$ if present), then $|\mathrm{g}_0(G)-(\mathrm{g}_0(G_1)+\mathrm{g}_0(G_2))|\le k+1$. For complete bipartite graphs $K_{m,n}$, with $n\ge m\ge 3$, we prove that $\frac{\mathrm{g}_0(K_{m,n})}{\mathrm{g}(K_{m,n})}=1-O(\frac{1}{n})$. Similar results are proved also for the Euler $\mathbb{Z}_2$-genus. We express the $\mathbb{Z}_2$-genus of a graph using the minimum rank of partial symmetric matrices over $\mathbb{Z}_2$; a problem that might be of independent interest.

Various tensor models have been recently shown to have the same properties as the celebrated Sachdev-Ye-Kitaev (SYK) model. In this paper we study in detail the diagrammatics of two such SYK-like tensor models: the multi-orientable (MO) model which has an $U(N) \times O(N) \times U(N)$ symmetry and a quartic $O(N)^3$-invariant model whose interaction has the tetrahedral pattern. We show that the Feynman graphs of the MO model can be seen as the Feynman graphs of the $O(N)^3$-invariant model which have an orientable jacket. We then present a diagrammatic toolbox to analyze the $O(N)^3$-invariant graphs. This toolbox allows for a simple strategy to identify all the graphs of a given order in the $1/N$ expansion. We apply it to the next-to-next-to-leading and next-to-next-to-next-to-leading orders which are the graphs of degree $1$ and $3/2$ respectively.

The current state of knowledge of genus g orientable crossing numbers of complete graphs through K11 is reviewed. It is shown that cr3(K10)=3, cr3(K11)<=14, and cr4(K11)=4. It is established with the aid of an algorithm that there are precisely two non-isomorphic embeddings of K9 with a hexagon with all its vertices distinct on a surface of genus 3.

We enumerate cubic (3-regular) unicellular maps on closed surfaces up to all homeomorphisms. Using the orbifold approach, we reduce the unsensed enumeration to explicit counts of quotient maps and rooted cubic/precubic maps on simpler surfaces. For orientable hosts this yields a compact identity expressed through known sensed and rooted numbers; for non orientable hosts we obtain a fully explicit finite sum expression via precubic counts. Numerical tables are provided, together with a brief asymptotic discussion.

We develop an algebraic framework for ribbon graphs, revealing symmetry properties of (partial) twisted duality. The original ribbon group action of Ellis-Monaghan and Moffatt restricts self-duality, -petriality, or -triality to the canonical identification of a graph's edges with those of its dual, petrial, or trial, whereas the more natural definition allows any isomorphism. Here we define a new ribbon group action on ribbon graphs, using a semidirect product of the original ribbon group with a permutation group, to take (partial) twists and duals of ribbon graphs while also encoding graph isomorphisms. This brings new algebraic tools to bear on the natural definitions of self-duality etc., as a ribbon graph is a fixed point of this new ribbon group action exactly when it is isomorphic to one of its (partial) twisted duals. With these tools, we prove that every ribbon graph has in its orbit an orientable embedded bouquet, whose (partial) twisted duality properties propagate through the orbit. Thus, (partial) twisted duality properties of all embedded graphs may be analyzed through such bouquets, for which checking isomorphism reduces to checking just dihedral group symmetries. Previous research on self-duality, etc., typically focused on highly symmetric regular maps, but the theory here fully encompasses all cellularly embedded graphs. In contrast to the few, large, very high-genus, self-trial regular maps found by Wilson, and by Jones and Poultin, here we apply our framework to generate all self-trial ribbon graphs on up to seven edges. We also show how a graph's automorphism group may be used to find self-dual, etc., graphs in its orbit, thus exposing the relationship between regularity and the ribbon group action and, answering a question of Jones and Poulton, yielding an infinite family of self-trial graphs not arising as covers or parallel connections of regular maps.