arXiv++ Combinatorics

Let $G$ be a simple graph of order $n$. The {\em domination polynomial} of $G$ is the polynomial ${D(G, x)=\sum_{i=0}^{n} d(G,i) x^{i}}$, where $d(G,i)$ is the number of dominating sets of $G$ of size $i$. Let $n$ be any positive integer and $F_n$ be the Friendship graph with $2n + 1$ vertices and $3n$ edges, formed by the join of $K_{1}$ with $nK_{2}$. We study the domination polynomials of this family of graphs, and in particular examine the domination roots of the family, and find the limiting curve for the roots. We also show that for every $n\geq 2$, $F_n$ is not $\mathcal{D}$-unique, that is, there is another non-isomorphic graph with the same domination polynomial. Also we construct some families of graphs whose real domination roots are only $-2$ and $0$. Finally, we conclude by discussing the domination polynomials of a related family of graphs, the $n$-book graphs $B_n$, formed by joining $n$ copies of the cycle graph $C_4$ with a common edge.

Let $G$ be a finite simple graph on a vertex set $V(G)=\{x_{11}, \ldots, x_{n1}\}$. Also let $m_1, \ldots,m_n \geq 2$ be integers and $G_1, \ldots, G_n$ be connected simple graphs on the vertex sets $V(G_i)=\{x_{i1}, \ldots, x_{im_i}\}$. In this paper, we provide necessary and sufficient conditions on $G_1, \ldots, G_n$ for which the graph obtained by attaching $G_i$ to $G$ is unmixed or vertex decomposable. Then we characterize Cohen--Macaulay and sequentially Cohen--Macaulay graphs obtained by attaching the cycle graphs or connected chordal graphs to an arbitrary graphs.

We prove that a connected graph has linear rank-width 1 if and only if it is a distance-hereditary graph and its split decomposition tree is a path. An immediate consequence is that one can decide in linear time whether a graph has linear rank-width at most 1, and give an obstruction if not. Other immediate consequences are several characterisations of graphs of linear rank-width 1. In particular a connected graph has linear rank-width 1 if and only if it is locally equivalent to a caterpillar if and only if it is a vertex-minor of a path [O-joung Kwon and Sang-il Oum, Graphs of small rank-width are pivot-minors of graphs of small tree-width, arxiv:1203.3606] if and only if it does not contain the co-K_2 graph, the Net graph and the 5-cycle graph as vertex-minors [Isolde Adler, Arthur M. Farley and Andrzej Proskurowski, Obstructions for linear rank-width at most 1, arxiv:1106.2533].

This paper deals with adjacency matrices of signed cycle graphs and chemical descriptors based on them. The eigenvalues and eigenvectors of the matrices are calculated and their efficacy in classifying different signed cycles is determined. The efficacy of some numerical indices is also examined.

Recently, Choi and Park introduced an invariant of a finite simple graph, called signed a-number, arising from computing certain topological invariants of some specific kinds of real toric manifolds. They also found the signed a-numbers of path graphs, cycle graphs, complete graphs, and star graphs. We introduce a signed a-polynomial which is a generalization of the signed a-number and gives a-, b-, and c-numbers. The signed a-polynomial of a graph $G$ is related to the Poincaré polynomial $P_{M(G)}(z)$, which is the generating function for the Betti numbers of the real toric manifold $M(G)$. We give the generating functions for the signed a-polynomials of not only path graphs, cycle graphs, complete graphs, and star graphs, but also complete bipartite graphs and complete multipartite graphs. As a consequence, we find the Euler characteristic number and the Betti numbers of the real toric manifold $M(G)$ for complete multipartite graphs $G$.

The neighborhood complexes of graphs were introduced by Lovász in his proof of the Kneser conjecture. He showed that a certain topological property of $N(G)$ gives a lower bound for the chromatic number of $G$. In this paper, we study a combinatorial description of the fundamental groups of the neighborhood complexes. For a positive integer $r$, we introduce the $r$-fundamental group $π_1^r(G,v)$ of a based graph $(G,v)$ and the $r$-neighborhood complex $N_r(G)$ of $G$. The $1$-neighborhood complex is the neighborhood complex. We show that the even part $π_1^{2r}(G,v)_{ev}$, which is a subgroup of $π_1^{2r}(G,v)$ with index 1 or 2, is isomorphic to the fundamental group of $(N_r(G),v)$ if $v$ is not isolated. We can use the $r$-fundamental groups to show the non-existence of graph homomorphisms. For example, we show that $π_1^3(KG_{2k+1,k})$ is isomorphic to $\mathbb{Z} /2$, and this implies that there is no graph homomorphism from $KG_{2k+1,k}$ to the 5-cycle graph $C_5$. We discuss the covering maps associated to $r$-fundamental groups.

The Hultman numbers enumerate permutations whose cycle graph has a given number of alternating cycles (they are relevant to the Bafna-Pevzner approach to genome comparison and genome rearrangements). We give two new interpretations of the Hultman numbers: in terms of polygon gluings and as integrals over the space of complex matrices, and derive some properties of their generating functions.

In this paper we explore enumeration problems related to the number of reachable configurations in a chip-firing game on a finite connected graph G. We define an auxiliary notion of debt-reachability and prove that the number of debt-reachable configurations from an initial configuration with c chips on one vertex is a quasipolynomial in c. For the cycle graph C_n, we apply these results to compute a near explicit formula for the number of debt-reachable configurations. We then derive polynomial asymptotic bounds for the number of debt-reachable and reachable configurations, and finally provide evidence for a quasipolynomiality conjecture regarding the number of reachable configurations.

We give a closed formula for Lovasz theta number of the powers of cycle graphs and of their complements, the circular complete graphs. As a consequence, we establish that the circular chromatic number of a circular perfect graph is computable in polynomial time. We also derive an asymptotic estimate for this theta number.

Graph pebbling is a network model for studying whether or not a given supply of discrete pebbles can satisfy a given demand via pebbling moves. A pebbling move across an edge of a graph takes two pebbles from one endpoint and places one pebble at the other endpoint; the other pebble is lost in transit as a toll. It has been shown that deciding whether a supply can meet a demand on a graph is NP-complete. The pebbling number of a graph is the smallest t such that every supply of t pebbles can satisfy every demand of one pebble. Deciding if the pebbling number is at most k is Π_2^P-complete. In this paper we develop a tool, called the Weight Function Lemma, for computing upper bounds and sometimes exact values for pebbling numbers with the assistance of linear optimization. With this tool we are able to calculate the pebbling numbers of much larger graphs than in previous algorithms, and much more quickly as well. We also obtain results for many families of graphs, in many cases by hand, with much simpler and remarkably shorter proofs than given in previously existing arguments (certificates typically of size at most the number of vertices times the maximum degree), especially for highly symmetric graphs. Here we apply the Weight Function Lemma to several specific graphs, including the Petersen, Lemke, 4th weak Bruhat, Lemke squared, and two random graphs, as well as to a number of infinite families of graphs, such as trees, cycles, graph powers of cycles, cubes, and some generalized Petersen and Coxeter graphs. This partly answers a question of Pachter, et al., by computing the pebbling exponent of cycles to within an asymptotically small range. It is conceivable that this method yields an approximation algorithm for graph pebbling.

Given a set of vertices $S=\{v_1,v_2,...,v_k\}$ of a connected graph $G$, the metric representation of a vertex $v$ of $G$ with respect to $S$ is the vector $r(v|S)=(d(v,v_1),d(v,v_2),...,d(v,v_k))$, where $d(v,v_i)$, $i\in \{1,...,k\}$ denotes the distance between $v$ and $v_i$. $S$ is a resolving set for $G$ if for every pair of vertices $u,v$ of $G$, $r(u|S)\ne r(v|S)$. The metric dimension of $G$, $dim(G)$, is the minimum cardinality of any resolving set for $G$. Let $G$ and $H$ be two graphs of order $n_1$ and $n_2$, respectively. The corona product $G\odot H$ is defined as the graph obtained from $G$ and $H$ by taking one copy of $G$ and $n_1$ copies of $H$ and joining by an edge each vertex from the $i^{th}$-copy of $H$ with the $i^{th}$-vertex of $G$. For any integer $k\ge 2$, we define the graph $G\odot^k H$ recursively from $G\odot H$ as $G\odot^k H=(G\odot^{k-1} H)\odot H$. We give several results on the metric dimension of $G\odot^k H$. For instance, we show that given two connected graphs $G$ and $H$ of order $n_1\ge 2$ and $n_2\ge 2$, respectively, if the diameter of $H$ is at most two, then $dim(G\odot^k H)=n_1(n_2+1)^{k-1}dim(H)$. Moreover, if $n_2\ge 7$ and the diameter of $H$ is greater than five or $H$ is a cycle graph, then $dim(G\odot^k H)=n_1(n_2+1)^{k-1}dim(K_1\odot H).$

Radio labeling is a variation of Hale's channel assignment problem, in which one seeks to assign positive integers to the vertices of a graph $G$ subject to certain constraints involving the distances between the vertices. Specifically, a radio labeling of a connected graph $G$ is a function $c:V(G) \rightarrow \mathbb Z_+$ such that $$d(u,v)+|c(u)-c(v)|\geq 1+\text{diam}(G)$$ for every two distinct vertices $u$ and $v$ of $G$ (where $d(u,v)$ is the distance between $u$ and $v$). The span of a radio labeling is the maximum integer assigned to a vertex. The radio number of a graph $G$ is the minimum span, taken over all radio labelings of $G$. This paper establishes the radio number of the Cartesian product of a cycle graph with itself (i.e., of $C_n\square C_n$.)

We extend known results regarding the maximum rectilinear crossing number of the cycle graph (C_n) and the complete graph (K_n) to the class of general d-regular graphs R_{n,d}. We present the generalized star drawings of the d-regular graphs S_{n,d} of order n where n+d= 1 mod 2 and prove that they maximize the maximum rectilinear crossing numbers. A star-like drawing of S_{n,d} for n = d = 0 mod 2 is introduced and we conjecture that this drawing maximizes the maximum rectilinear crossing numbers, too. We offer a simpler proof of two results initially proved by Furry and Kleitman as partial results in the direction of this conjecture.

We study nondeterministic and probabilistic versions of a discrete dynamical system (due to T. Antal, P. L. Krapivsky, and S. Redner) inspired by Heider's social balance theory. We investigate the convergence time of this dynamics on several classes of graphs. Our contributions include: 1. We point out the connection between the triad dynamics and a generalization of annihilating walks to hypergraphs. In particular, this connection allows us to completely characterize the recurrent states in graphs where each edge belongs to at most two triangles. 2. We also solve the case of hypergraphs that do not contain edges consisting of one or two vertices. 3. We show that on the so-called "triadic cycle" graph, the convergence time is linear. 4. We obtain a cubic upper bound on the convergence time on 2-regular triadic simplexes G. This bound can be further improved to a quantity that depends on the Cheeger constant of G. In particular this provides some rigorous counterparts to previous experimental observations. We also point out an application to the analysis of the random walk algorithm on certain instances of the 3-XOR-SAT problem.