arXiv++ Combinatorics

Delta-matroid theory is often thought of as a generalization of topological graph theory. It is well-known that an orientable embedded graph is bipartite if and only if its Petrie dual is orientable. In this paper, we first introduce the concepts of Eulerian and bipartite delta-matroids and then extend the result from embedded graphs to arbitrary binary delta-matroids. The dual of any bipartite embedded graph is Eulerian. We also extend the result from embedded graphs to the class of delta-matroids that arise as twists of binary matroids. Several related results are also obtained.

We construct an explicit bijection between bipartite pointed maps of an arbitrary surface $\mathbb{S}$, and specific unicellular blossoming maps of the same surface. Our bijection gives access to the degrees of all the faces, and distances from the pointed vertex in the initial map. The main construction generalizes recent work of the second author which covered the case of an orientable surface. Our bijection gives rise to a first combinatorial proof of a parametric rationality result concerning the bivariate generating series of maps of a given surface with respect to their numbers of faces and vertices. In particular, it provides a combinatorial explanation of the structural difference between the aforementioned bivariate parametric generating series in the case of orientable and non-orientable maps.

A Hamiltonian embedding is an embedding of a graph $G$ such that the boundary of each face is a Hamiltonian cycle of $G$. It is shown that the hypercube graph $Q_n$ admits such an embedding on an orientable surface when $n$ is a power of 2. Basic necessary conditions on Hamiltonian embeddings for $Q_n$ and conjectures are made about other values of $n$.

We generalise the expansion formulae of Musiker, Schiffler and Williams, obtained for cluster algebras from orientable surfaces, to a larger class of coefficients which we call principal laminations. In doing so, for any quasi-cluster algebra from a non-orientable surface, we are able to obtain expansion formulae for each cluster variable with respect to any initial quasi-triangulation $T$, and any choice of principal lamination. Moreover, generalising the `separation of additions' formula of Fomin and Zelevinsky, we settle a conjecture of Lam and Pylyavskyy in the setting of quasi-cluster algebras. Namely, we prove the positivity conjecture for quasi-cluster algebras with respect to any choice of coefficients.

Let a compact torus $T=T^{n-1}$ act on an orientable smooth compact manifold $X=X^{2n}$ effectively, with nonempty finite set of fixed points, and suppose that stabilizers of all points are connected. If $H^{odd}(X)=0$ and the weights of tangent representation at each fixed point are in general position, we prove that the orbit space $Q=X/T$ is a homology $(n+1)$-sphere. If, in addition, $π_1(X)=0$, then $Q$ is homeomorphic to $S^{n+1}$. We introduce the notion of $j$-generality of tangent weights of torus action. For any action of $T^k$ on $X^{2n}$ with isolated fixed points and $H^{odd}(X)=0$, we prove that $j$-generality of weights implies $(j+1)$-acyclicity of the orbit space $Q$. This statement generalizes several known results for actions of complexity zero and one. In complexity one, we give a criterion of equivariant formality in terms of the orbit space. In this case, we give a formula expressing Betti numbers of a manifold in terms of certain combinatorial structure that sits in the orbit space.

Given a natural number k and an orientable surface S of finite type, define the k-curve graph to be the graph with vertices corresponding to isotopy classes of essential simple closed curves on S and with edges corresponding to pairs of such curves admitting representatives that intersect at most k times. We prove that the automorphism group of the k-curve graph of a surface S is isomorphic to the extended mapping class group for all k sufficiently small with respect to the Euler characteristic of S. We prove the same result for the so-called systolic complex, a variant of the curve graph whose complete subgraphs encode the intersection patterns for any collection of systoles with respect to a hyperbolic metric. This resolves a conjecture of Schmutz Schaller.

Let $D$ be a directed graph cellularly embedded in a surface together with non-negative cost on its arcs. Given any integer circulation in $D$, we study the problem of finding a minimum-cost non-negative integer circulation in $D$ that is homologous over the integers to the given circulation. A special case of this problem arises in recent work on the stable set problem for graphs with bounded odd cycle packing number, in which the surface is non-orientable (Conforti et al., SODA'20). For orientable surfaces, polynomial-time algorithms have been obtained for different variants of this problem. We complement these results by showing that the convex hull of feasible solutions has a very simple polyhedral description. In contrast, only little seems to be known about the case of non-orientable surfaces. We show that the problem is strongly NP-hard for general non-orientable surfaces, and give the first polynomial-time algorithm for surfaces of fixed genus. For the latter, we provide a characterization of homology (over the integers) that allows us to recast the problem as a special integer program, which can be efficiently solved using proximity results and dynamic programming.

A collection $ Δ$ of simple closed curves on an orientable surface is an algebraic $ k $-system if the algebraic intersection number $\langle α,β\rangle$ is equal to $k $ in absolute value for every $ α, β\in Δ$ distinct. Generalizing a theorem of [MRT14] we compute that the maximum size of an algebraic $k$-system of curves on a surface of genus $g$ is $2g+1$ when $g\ge 3$ or $k$ is odd, and $2g$ otherwise. To illustrate the tightness in our assumptions, we present a construction of curves pairwise geometrically intersecting twice whose size grows as $g^2$.

It is proved that for any prescribed orientation of the triples of either a Steiner triple system or a Latin square of odd order, there exists an embedding in an orientable surface with the triples forming triangular faces and one extra large face.

We study edge-maximal, non-complete graphs on surfaces that do not triangulate the surface. We prove that there is no such graph on the projective plane $\mathbb{N}_1$, $K_7-e$ is the unique such graph on the Klein bottle $\mathbb{N}_2$ and $K_8-E(C_5)$ is the unique such graph on the torus $\mathbb{S}_1$. In contrast to this for each $g\ge 2$ we construct an infinite family of such graphs on the orientable surface $\mathbb{S}_g$ of genus $g$, that are $\lfloor \frac{g}{2} \rfloor$ edges short of a triangulation.

A graph G is prismatic if for every triangle T of G, every vertex of G not in T has a unique neighbour in T. The complement of a prismatic graph is called \emph{antiprismatic}. The complexity of colouring antiprismatic graphs is still unknown. Equivalently, the complexity of the clique cover problem in prismatic graphs is not known. Chudnovsky and Seymour gave a full structural description of prismatic graphs. They showed that the class can be divided into two subclasses: the orientable prismatic graphs, and the non-orientable prismatic graphs. We give a polynomial time algorithm that solves the clique cover problem in every non-orientable prismatic graph. It relies on the the structural description and on later work of Javadi and Hajebi. We give a polynomial time algorithm which solves the vertex-disjoint triangles problem for every prismatic graph. It does not rely on the structural description.

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}$.