arXiv++ Combinatorics

The anti-forcing number of a perfect matching $M$ of a graph $G$ is the minimal number of edges not in $M$ whose removal to make $M$ as a unique perfect matching of the resulting graph. The set of anti-forcing numbers of all perfect matchings of $G$ is the anti-forcing spectrum of $G$. In this paper, we characterize the plane elementary bipartite graph whose minimum anti-forcing number is one. We show that the maximum anti-forcing number of a graph is at most its cyclomatic number. In particular, we characterize the graphs with the maximum anti-forcing number achieving the upper bound, such extremal graphs are a class of plane bipartite graphs. Finally, we determine the anti-forcing spectrum of an even polygonal chain in linear time.

In this paper, we first present combinatorial proofs of a kind of expansions of the Eulerian polynomials of types A and B, and then we introduce Stirling permutations of the second kind. In particular, we count Stirling permutations of the second kind by their cycle ascent plateaus, fixed points and cycles.

Let G be a complete convex geometric graph on 2m vertices, and let F be a family of subgraphs of G. A blocker for F is a set of edges, of smallest possible size, that meets every element of F. In [C. Keller and M. A. Perles, On the smallest sets blocking simple perfect matchings in a convex geometric graph, Israel J. Math. 187 (2012), pp. 465-484], we gave an explicit description of all blockers for the family of simple perfect matchings (SPMs) of G. In this paper we show that the family of simple Hamiltonian paths (SHPs) in G has exactly the same blockers as the family of SPMs. Our argument is rather short, and provides a much simpler proof of the result of [KP12].

We introduce a new procedure for generating the binomial random graph/hypergraph models, referred to as \emph{online sprinkling}. As an illustrative application of this method, we show that for any fixed integer $k\geq 3$, the binomial $k$-uniform random hypergraph $H^{k}_{n,p}$ contains $N:=(1-o(1))\binom{n-1}{k-1}p$ edge-disjoint perfect matchings, provided $p\geq \frac{\log^{C}n}{n^{k-1}}$, where $C:=C(k)$ is an integer depending only on $k$. Our result for $N$ is asymptotically best optimal and for $p$ is optimal up to the $polylog(n)$ factor.

We investigate new graph classes of bounded mim-width, strictly extending interval graphs and permutation graphs. The graphs $K_t \boxminus K_t$ and $K_t \boxminus S_t$ are graphs obtained from the disjoint union of two cliques of size $t$, and one clique of size $t$ and one independent set of size $t$ respectively, by adding a perfect matching. We prove that : (1) interval graphs are $(K_3\boxminus S_3)$-free chordal graphs; and $(K_t\boxminus S_t)$-free chordal graphs have mim-width at most $t-1$, (2) permutation graphs are $(K_3\boxminus K_3)$-free co-comparability graphs; and $(K_t\boxminus K_t)$-free co-comparability graphs have mim-width at most $t-1$, (3) chordal graphs and co-comparability graphs have unbounded mim-width in general. We obtain several algorithmic consequences; for instance, while Minimum Dominating Set is NP-complete on chordal graphs, it can be solved in time $n^{\mathcal{O}(t)}$ on $(K_t\boxminus S_t)$-free chordal graphs. The third statement strengthens a result of Belmonte and Vatshelle stating that either those classes do not have constant mim-width or a decomposition with constant mim-width cannot be computed in polynomial time unless $P=NP$. We generalize these ideas to bigger graph classes. We introduce a new width parameter sim-width, of stronger modelling power than mim-width, by making a small change in the definition of mim-width. We prove that chordal graphs and co-comparability graphs have sim-width at most 1. We investigate a way to bound mim-width for graphs of bounded sim-width by excluding $K_t\boxminus K_t$ and $K_t\boxminus S_t$ as induced minors or induced subgraphs, and give algorithmic consequences. Lastly, we show that circle graphs have unbounded sim-width, and thus also unbounded mim-width.

Let $G$ be a graph of order $n$ and let $k\in\{1,\ldots,n-1\}$. The $k$-token graph $F_k(G)$ of $G$, is the graph whose vertices are the $k$-subsets of $V(G)$, where two vertices are adjacent in $F_k(G)$ whenever their symmetric difference is an edge of $G$. We study the independence and matching numbers of $F_k(G)$. We present a tight lower bound for the matching number of $F_k(G)$ for the case in which $G$ has either a perfect matching or an almost perfect matching. Also, we estimate the independence number for bipartite $k$-token graphs, and determine the exact value for some graphs.

Hartsfield and Ringel constructed orientable quadrangular embeddings of the complete graph $K_n$ for $n\equiv 5 \pmod 8$, and nonorientable ones for $n \ge 9$ and $n\equiv 1 \pmod 4$. These provide minimal quadrangulations of their underlying surfaces. We extend these results to determine, for every complete graph $K_n$, $n \ge 4$, the minimum genus, both orientable and nonorientable, for the surface in which $K_n$ has an embedding with all faces of degree at least $4$, and also for the surface in which $K_n$ has an embedding with all faces of even degree. These last embeddings provide sharpness examples for a result of Hutchinson bounding the chromatic number of graphs embedded with all faces of even degree, completing the proof of the Even Map Color Theorem. We also show that if a connected simple graph $G$ has a perfect matching and a cycle then the lexicographic product $G[K_4]$ has orientable and nonorientable quadrangular embeddings; this provides new examples of minimal quadrangulations.

The aim of this paper is to give analogs of the cluster expansion formula of Musiker and Schiffler for cluster algebras of type A with coefficients arising from boundary arcs of the corresponding triangulated polygon. Indeed, we give three cluster expansion formulas by perfect matchings of angles in triangulated polygon, by discrete subsets of arrows of the corresponding ice quiver and by minimal cuts of the corresponding quiver with potential.

In this note we study inhomogeneous random bipartite graphs in random environment. These graphs can be thought of as an extension of the classical Erdös-Rényi random graphs in a random environment. We show that the expected number of perfect matchings obeys a precise quenched asymptotic and that it can be approximated using an iterative process that converges exponentially fast.

One fundamental question in the context of the geometric complexity theory approach to the VP vs. VNP conjecture is whether VP = $\overline{\textrm{VP}}$, where VP is the class of families of polynomials that are of polynomial degree and can be computed by arithmetic circuits of polynomial size, and $\overline{\textrm{VP}}$ is the class of families of polynomials that are of polynomial degree and can be approximated infinitesimally closely by arithmetic circuits of polynomial size. The goal of this article is to study the conjecture in (Mulmuley, FOCS 2012) that $\overline{\textrm{VP}}$ is not contained in VP. Towards that end, we introduce three degenerations of VP (i.e., sets of points in $\overline{\textrm{VP}}$), namely the stable degeneration Stable-VP, the Newton degeneration Newton-VP, and the p-definable one-parameter degeneration VP*. We also introduce analogous degenerations of VNP. We show that Stable-VP $\subseteq$ Newton-VP $\subseteq$ VP* $\subseteq$ VNP, and Stable-VNP = Newton-VNP = VNP* = VNP. The three notions of degenerations and the proof of this result shed light on the problem of separating $\overline{\textrm{VP}}$ from VP. Although we do not yet construct explicit candidates for the polynomial families in $\overline{\textrm{VP}}\setminus$VP, we prove results which tell us where not to look for such families. Specifically, we demonstrate that the families in Newton-VP $\setminus$ VP based on semi-invariants of quivers would have to be non-generic by showing that, for many finite quivers (including some wild ones), any Newton degeneration of a generic semi-invariant can be computed by a circuit of polynomial size. We also show that the Newton degenerations of perfect matching Pfaffians, monotone arithmetic circuits over the reals, and Schur polynomials have polynomial-size circuits.

In this paper we prove a generalized version of Hall's theorem for hypergraphs. More precisely, let H be a k-uniform k- partite hypergraph with some ordering on parts as V1, V2,..., Vk. such that the subhypergraph generated on union of V1, V2,..., Vk-1 has a unique perfect matching. In this case, we give a necessary and sufficient condition for having a matching of size t = |V1| in H. Some relevant results and counterexamples are given as well.

In this paper, we characterize all unmixed d-uniform r-partite hypergraphs under a certain condition. Also we give a necessary condition for unmixedness in d-uniform hypergraphs with a perfect matching of size n. Finally we give a sufficient condition for unmixednes in d-uniform hypergraphs with a perfect matching.

It is well-known that an undirected graph has no odd cycle if and only if it is bipartite. A less obvious, but similar result holds for directed graphs: a strongly connected digraph has no odd cycle if and only if it is bipartite. Can this result be further generalized to more general graphs such as edge-colored graphs? In this paper, we study this problem and show how to decide if there exists an odd properly colored cycle in a given edge-colored graph. As a by-product, we show how to detect if there is a perfect matching in a graph with even (or odd) number of edges in a given edge set.

Lots of research focuses on the combinatorics behind various bases of cluster algebras. This paper studies the natural basis of a type A cluster algebra, which consists of all cluster monomials. We introduce a new kind of combinatorial formulas for the cluster monomials in terms of the so-called globally compatible collections. We give bijective proofs of these formulas by comparing with the well-known combinatorial models of the T-paths and of the perfect matchings in a snake diagram. For cluster variables of a type A cluster algebra, we give a bijection that relates our new formula with the theta functions constructed by Gross, Hacking, Keel and Kontsevich.

Given a set of $n$ points $S$ in the plane, a triangulation $T$ of $S$ is a maximal set of non-crossing segments with endpoints in $S$. We present an algorithm that computes the number of triangulations on a given set of $n$ points in time $n^{(11+ o(1))\sqrt{n} }$, significantly improving the previous best running time of $O(2^n n^2)$ by Alvarez and Seidel [SoCG 2013]. Our main tool is identifying separators of size $O(\sqrt{n})$ of a triangulation in a canonical way. The definition of the separators are based on the decomposition of the triangulation into nested layers ("cactus graphs"). Based on the above algorithm, we develop a simple and formal framework to count other non-crossing straight-line graphs in $n^{O(\sqrt{n})}$ time. We demonstrate the usefulness of the framework by applying it to counting non-crossing Hamilton cycles, spanning trees, perfect matchings, $3$-colorable triangulations, connected graphs, cycle decompositions, quadrangulations, $3$-regular graphs, and more.

The d-dimensional Catalan numbers form a well-known sequence of numbers which count balanced bracket expressions over an alphabet of size d. In this paper, we introduce and study what we call d-dimensional prime Catalan numbers, a sequence of numbers which count only a very specific subset of indecomposable balanced bracket expressions. We further introduce the notion of a trapezoidal diagram of a crossing-free geometric graph, such as a triangulation or a crossing-free perfect matching. In essence, such a diagram is obtained by augmenting the geometric graph in question with its trapezoidal decomposition, and then forgetting about the precise coordinates of individual vertices while preserving the vertical visibility relations between vertices and segments. We note that trapezoidal diagrams of triangulations are closely related to abstract upward triangulations. We study the numbers of such diagrams in the cases of (i) perfect matchings and (ii) triangulations. We give bijective proofs which establish relations with 3-dimensional (prime) Catalan numbers. This allows us to determine the corresponding exponential growth rates exactly as (i) 5.196^n and (ii) 23.459^n (bases are rounded to 3 decimal places). Finally, we give lower bounds for the maximum number of embeddings of a trapezoidal diagram on any given point set.

We study the biased $(1:b)$ Maker--Breaker positional games, played on the edge set of the complete graph on $n$ vertices, $K_n$. Given Breaker's bias $b$, possibly depending on $n$, we determine the bounds for the minimal number of moves, depending on $b$, in which Maker can win in each of the two standard graph games, the Perfect Matching game and the Hamilton Cycle game.

Given a graph on $n$ vertices and an assignment of colours to the edges, a rainbow Hamilton cycle is a cycle of length $n$ visiting each vertex once and with pairwise different colours on the edges. Similarly (for even $n$) a rainbow perfect matching is a collection of $n/2$ independent edges with pairwise different colours. In this note we show that if we randomly colour the edges of a random geometric graph with sufficiently many colours, then a.a.s. the graph contains a rainbow perfect matching (rainbow Hamilton cycle) if and only if the minimum degree is at least $1$ (respectively, at least $2$). More precisely, consider $n$ points (i.e. vertices) chosen independently and uniformly at random from the unit $d$-dimensional cube for any fixed $d\ge2$. Form a sequence of graphs on these $n$ vertices by adding edges one by one between each possible pair of vertices. Edges are added in increasing order of lengths (measured with respect to the $\ell_p$ norm, for any fixed $1<p\le\infty$). Each time a new edge is added, it receives a random colour chosen uniformly at random and with repetition from a set of $\lceil Kn\rceil$ colours, where $K=K(d)$ is a sufficiently large fixed constant. Then, a.a.s. the first graph in the sequence with minimum degree at least $1$ must contain a rainbow perfect matching (for even $n$), and the first graph with minimum degree at least $2$ must contain a rainbow Hamilton cycle.

We study biased Maker-Breaker positional games between two players, one of whom is playing randomly against an opponent with an optimal strategy. In this work we focus on the case of Breaker playing randomly and Maker being "clever". The reverse scenario is treated in a separate paper. We determine the sharp threshold bias of classical games played on the edge set of the complete graph $K_n$, such as connectivity, perfect matching, Hamiltonicity, and minimum degree-$1$. In all of these games, the threshold is equal to the trivial upper bound implied by the number of edges needed for Maker to occupy a winning set. Moreover, we show that the clever Maker can not only win against an asymptotically optimal bias, but can do so very fast, wasting only logarithmically many moves (while the winning set sizes are linear in $n$).

We study (a:a) Maker-Breaker games played on the edge set of the complete graph on n vertices. In the following four games - perfect matching game, Hamilton cycle game, star factor game and path factor game, our goal is to determine the least number of moves which Maker needs in order to win these games. Moreover, for all games except for the star factor game, we show how Red can win in the strong version of these games.