arXiv++ Combinatorics

We give an explicit and simple construction of the incidence graph for the integral cohomology of real Grassmann manifold Gr(k,n) in terms of the Young diagrams filled with the letter q in checkered pattern. It turns out that there are two types of graphs, one for the trivial coefficients and other for the twisted coefficients, and they compute the homology groups of the orientable and non-orientable cases of Gr(k,n) via the Poincaré-Verdier duality. We also give an explicit formula of the Poincaré polynomial for Gr(k,n) and show that the Poincaré polynomial is also related to the number of points on Gr(k,n) over a finite field {F}_q with q being a power of prime which is also used in the Young diagrams.

A new formula is obtained in algebraic topology, in terms of Betti numbers, and a new method, called the spinal method, is suggested and developed for generating quadrangulations of closed orientable surfaces. Those surfaces arise as the thickenings of 1- and 2-dimensional curvilinear polyhedra, called spines, in Euclidean 3-space. By way of spinal manipulation, quadrangulations with given properties are constructed.

Two types of connected chord diagrams with chord endpoints lying in a collection of ordered and oriented real segments are considered here: the real segments may contain additional bivalent vertices in one model but not in the other. In the former case, we record in a generating function the number of fatgraph boundary cycles containing a fixed number of bivalent vertices while in the latter, we instead record the number of boundary cycles of each fixed length. Second order, non-linear, algebraic partial differential equations are derived which are satisfied by these generating functions in each case giving efficient enumerative schemes. Moreover, these generating functions provide multi-parameter families of solutions to the KP hierarchy. For each model, there is furthermore a non-orientable analog, and each such model likewise has its own associated differential equation. The enumerative problems we solve are interpreted in terms of certain polygon gluings. As specific applications, we discuss models of several interacting RNA molecules. We also study a matrix integral which computes numbers of chord diagrams in both orientable and non-orientable cases in the model with bivalent vertices, and the large-N limit is computed using techniques of free probability.

The bondage number $b(G)$ of a graph $G$ is the smallest number of edges whose removal from $G$ results in a graph with larger domination number. An orientable surface $\mathbb{S}_h$ of genus $h$, $h \geq 0$, is obtained from the sphere $\mathbb{S}_0$ by adding $h$ handles. A non-orientable surface $\mathbb{N}_q$ of genus $q$, $q \geq 1$, is obtained from the sphere by adding $q$ crosscaps. The Euler characteristic of a surface is defined by $χ(\mathbb{S}_h) = 2 - 2h$ and $χ(\mathbb{S}_q)= 2-q$. Let $G$ be a connected graph of order $n$ which is 2-cell embedded on a surface $\mathbb{M}$ with $χ(\mathbb{M})= χ$. We prove that $b(G) \leq 7+i$ when $\mathbb{M} = \mathbb{N}_i$, $i=1,2,3$, and $b(G) \leq 12$ when $\mathbb{M} \in \{\mathbb{N}_4, \mathbb{S}_2\}$. We give new arguments that improve the known upper bounds on the bondage number at least when $-7χ/(δ(G) - 5) < n \leq -12χ$, $δ(G) \geq 6$, where $δ(G)$ is the minimum degree of $G$. We obtain sufficient conditions for the validity of the inequality $b(G) \leq 2s-2$, provided $G$ has degree $s$ vertices. In particular, we prove that if $δ(G) = δ\geq 6$, $χ\leq -1$ and $-14χ< δ- 4 + 2(δ-5)n$ then $b(G) \leq 2δ-2$. We show that if $γ(G) = γ\not = 2$, where $γ(G)$ is the domination number of $G$, then $n \geq γ+ (1 + \sqrt{9+8γ-8χ})/2$; the bound is tight. We also present upper bounds for the bondage number of graphs in terms of the girth, domination number and Euler characteristic. As a corollary we prove that if $γ(G) \geq 4$ and $χ\leq -1$, then $b(G) \leq 11 - 24χ/(9 + \sqrt{41 - 8χ})$. Several unanswered questions are posed.

The Bandwidth Theorem of Böttcher, Schacht and Taraz [Mathematische Annalen 343 (1), 175-205] gives minimum degree conditions for the containment of spanning graphs H with small bandwidth and bounded maximum degree. We generalise this result to a-arrangeable graphs H with Δ(H)<sqrt(n)/log(n), where n is the number of vertices of H. Our result implies that sufficiently large n-vertex graphs G with minimum degree at least (3/4+γ)n contain almost all planar graphs on n vertices as subgraphs. Using techniques developed by Allen, Brightwell and Skokan [Combinatorica, to appear] we can also apply our methods to show that almost all planar graphs H have Ramsey number at most 12|H|. We obtain corresponding results for graphs embeddable on different orientable surfaces.

A Frobenius group is a transitive permutation group which is not regular but only the identity element can fix two points. Such a group can be expressed as the semi-direct product $G = K \rtimes H$ of a nilpotent normal subgroup $K$ and another group $H$ fixing a point. A first-kind $G$-Frobenius graph is a connected Cayley graph on $K$ with connection set an $H$-orbit $a^H$ on $K$ that generates $K$, where $H$ has an even order or $a$ is an involution. It is known that the first-kind Frobenius graphs admit attractive routing and gossiping algorithms. A complete rotation in a Cayley graph on a group $G$ with connection set $S$ is an automorphism of $G$ fixing $S$ setwise and permuting the elements of $S$ cyclically. It is known that if the fixed-point set of such a complete rotation is an independent set and not a vertex-cut, then the gossiping time of the Cayley graph (under a certain model) attains the smallest possible value. In this paper we classify all first-kind Frobenius circulant graphs that admit complete rotations, and describe a means to construct them. This result can be stated as a necessary and sufficient condition for a first-kind Frobenius circulant to be 2-cell embeddable on a closed orientable surface as a balanced regular Cayley map. We construct a family of non-Frobenius circulants admitting complete rotations such that the corresponding fixed-point sets are independent and not vertex-cuts. We also give an infinite family of counterexamples to the conjecture that the fixed-point set of every complete rotation of a Cayley graph is not a vertex-cut.

We consider two systems of curves $(α_1,...,α_m)$ and $(β_1,...,β_n)$ drawn on a compact two-dimensional surface $M$ with boundary. Each $α_i$ and each $β_j$ is either an arc meeting the boundary of $M$ at its two endpoints, or a closed curve. The $α_i$ are pairwise disjoint except for possibly sharing endpoints, and similarly for the $β_j$. We want to "untangle" the $β_j$ from the $α_i$ by a self-homeomorphism of $M$; more precisely, we seek a homeomorphism $φ:M\rightarrow M$ fixing the boundary of $M$ pointwise such that the total number of crossings of the $α_i$ with the $φ(β_j)$ is as small as possible. This problem is motivated by an application in the algorithmic theory of embeddings and 3-manifolds. We prove that if $M$ is planar, i.e., a sphere with $h\geq 0$ boundary components ("holes"), then $O(mn)$ crossings can be achieved (independently of $h$), which is asymptotically tight, as an easy lower bound shows. In general, for an arbitrary (orientable or nonorientable) surface $M$ with $h$ holes and of (orientable or nonorientable) genus $g$, we obtain an $O((m+n)^4)$ upper bound, again independent of $h$ and $g$. The proofs rely, among others, on a result concerning simultaneous planar drawings of graphs by Erten and Kobourov.

This paper considers *-graphs in which all vertices have degree 4 or 6, and studies the question of calculating the genus of orientable 2-surfaces into which such graphs may be embedded. A *-graph is a graph endowed with a formal adjacency structure on the half-edges around each vertex, and an embedding of a *-graph is an embedding under which the formal adjacency relation on half-edges corresponds to the adjacency relation induced by the embedding. *-graphs are a natural generalization of four-valent framed graphs, which are four-valent graphs with an opposite half-edge structure. In [5], the question of whether a four-valent framed graph admits a Z2-homologically trivial embedding into a given surface was shown to be equivalent to a problem on matrices. We show that a similar result holds for *-graphs in which all vertices have degree 4 or 6. This gives an algorithm in quadratic time to determine whether a *-graph admits an embedding into the plane.

In this paper we introduce the notion of a $d$-dimensional cycle which is a homological generalization of the idea of a graph cycle to higher dimensions. We examine both the combinatorial and homological properties of this structure and use these results to describe the relationship between the combinatorial structure of a simplicial complex and its simplicial homology. In particular, we show that over any field of characteristic 2 the existence of non-zero $d$-dimensional homology corresponds exactly to the presence of a $d$-dimensional cycle in the simplicial complex. We also show that $d$-dimensional cycles which are orientable give rise to non-zero simplicical homology over any field.

We show that for each fixed $k$, the problem of finding $k$ pairwise vertex-disjoint directed paths between given source-sink pairs in a planar directed graph is solvable in polynomial time. In fact, it suffices to fix the number of faces needed to cover all sources and sinks. Moreover, the method can be extended to any fixed compact orientable surface (instead of the plane) and to rooted trees (instead of paths). Our approach is algebraic and is based on cohomology over graph (nonabelian) groups. More precisely, let $D=(V,A)$ be a directed graph and let $(G,\cdot)$ be a group. Call two function $φ,ψ:A\to G$ {\em cohomologous} if there exists a function $p:V\to G$ such that $p(u)\cdotφ(a)\cdot p(w)^{-1}=ψ(a)$ for each arc $a=(u,w)$. Now given a function $φ:A\to G$ we want to find a function $ψ$ cohomologous to $φ$ such that each $ψ(a)$ belongs to a prescribed subset $H(a)$ of $G$. We give a polynomial-time algorithm for this problem in case $G$ is a graph group and each $H(a)$ is closed (i.e., if word $xyz$ belongs to $H(a)$ then also word $y$ belongs to $H(a)$). The method also implies that such a $ψ$ exists, if and only if for each $s\in V$ and each pair $P,Q$ of (undirected) $s-s$ paths there exists an $x\in G$ such that $x\cdotφ(P)\cdot x^{-1}\in H(P)$ and $x\cdotφ(Q)\cdot x^{-1}\in H(P)$. (Here $φ(P)$ is the product of the $φ(a)$ over the arcs in $P$. Similarly, $H(P)$ is the (group subset) product of the $H(a)$.)

We give an explicit construction of vertex-transitive tight triangulations of $d$-manifolds for $d\geq 2$. More explicitly, for each $d\geq 2$, we construct two $(d^2+5d+5)$-vertex neighborly triangulated $d$-manifolds whose vertex-links are stacked spheres. The only other non-trivial series of such tight triangulated manifolds currently known is the series of non-simply connected triangulated $d$-manifolds with $2d+3$ vertices constructed by Kühnel. The manifolds we construct are strongly minimal. For $d\geq 3$, they are also tight neighborly as defined by Lutz, Sulanke and Swartz. Like Kühnel's complexes, our manifolds are orientable in even dimensions and non-orientable in odd dimensions.

We restrict our discussion to the orientable category. For $g > 1$, let $OE_g$ be the maximum order of a finite group $G$ acting on the closed surface $Σ_g$ of genus $g$ which extends over $(S^3, Σ_g)$, where the maximum is taken over all possible embeddings $Σ_g\hookrightarrow S^3$. We will determine $OE_g$ for each $g$, indeed the action realizing $OE_g$. In particular, with 23 exceptions, $OE_g$ is $4(g+1)$ if $g\ne k^2$ or $4(\sqrt{g}+1)^2$ if $g=k^2$, and moreover $OE_g$ can be realized by unknotted embeddings for all $g$ except for $g=21$ and $481$.

The bondage number of a graph is the smallest number of its edges whose removal results in a graph having a larger domination number. We provide constant upper bounds for the bondage number of graphs on topological surfaces, improve upper bounds for the bondage number in terms of the maximum vertex degree and the orientable and non-orientable genera of the graph, and show tight lower bounds for the number of vertices of graphs 2-cell embeddable on topological surfaces of a given genus. Also, we provide stronger upper bounds for graphs with no triangles and graphs with the number of vertices larger than a certain threshold in terms of the graph genera. This settles Teschner's Conjecture in positive for almost all graphs.

A partial formula is provided to calculate the smallest number of vertices possible in a quadrangulation on the closed orientable 2-manifold of given genus. This extends the previously known partial formula due to N. Hartsfield and G. Ringel [J. Comb. Theory, Ser. B, 1989, 46, 84-95].

For $d\geq 2$, Walkup's class $\Kd$ consists of the $d$-dimensional simplicial complexes whose vertex-links are stacked $(d-1)$-spheres. Recently Lutz, Sulanke and Swartz have shown that all $\mathbb{F}$-orientable triangulated $d$-manifolds satisfy the inequality $\binom{f_0-d-1}{2} \geq \binom{d+2}{2}β_1$ for $d\geq 3$. They call a $d$-manifold \emph{tight neighborly} if it attains the equality in the bound. For $d\geq 4$, tight neighborly $d$-manifolds are precisely the 2-neighborly members of $\Kd$. In this paper we show that there does not exist any tight neighborly $d$-manifold with $β_1=2$.

The complete set of minimal obstructions for embedding graphs into the torus is still not determined. In this paper, we present all obstructions for the torus of connectivity 2. Furthermore, we describe the building blocks of obstructions of connectivity 2 for any orientable surface.

A method is suggested for construction of quadrangulations of the closed orientable surface with given genus g and either (1) with given chromatic number or (2) with given order allowed by the genus g. In particular, N. Hartsfield and G. Ringel's results [Minimal quadrangulations of orientable surfaces, J. Combin. Theory, Series B 46 (1989) 84-95] are generalized by way of generating new minimal quadrangulations of infinitely many other genera.

We show that the edges of every 3-connected planar graph except $K_4$ can be colored with two colors in such a way that the graph has no color preserving automorphisms. Also, we characterize all graphs which have the property that their edges can be $2$-colored so that no matter how the graph is embedded in any orientable surface, there is no homeomorphism of the surface which induces a non-trivial color preserving automorphism of the graph.

Suppose that D is an acyclic orientation of a graph G. An arc of D is called dependent if its reversal creates a directed cycle. Let m and M denote the minimum and the maximum of the number of dependent arcs over all acyclic orientations of G. We call G fully orientable if G has an acyclic orientation with exactly d dependent arcs for every d satisfying m <= d <= M. A graph G is called chordal if every cycle in G of length at least four has a chord. We show that all chordal graphs are fully orientable.

Let D be an acyclic orientation of a simple graph G. An arc of D is called dependent if its reversal creates a directed cycle. Let d(D) denote the number of dependent arcs in D. Define m and M to be the minimum and the maximum number of d(D) over all acyclic orientations D of G. We call G fully orientable if G has an acyclic orientation with exactly k dependent arcs for every k satisfying m <= k <= M. In this paper, we prove that the square of a cycle C_n of length n is fully orientable except n=6.