arXiv++ Combinatorics

A near-factor of a finite simple graph $G$ is a matching that saturates all vertices except one. A graph $G$ is said to be near-factor-critical if the deletion of any vertex from $G$ results in a subgraph that has a near-factor. We prove that a connected graph $G$ is near-factor-critical if and only if it has a perfect matching. We also characterize disconnected near-factor-critical graphs.

A signed graph is a graph whose edges are signed. In a vertex-signed graph the vertices are signed. The latter is called consistent if the product of signs in every circle is positive. The line graph of a signed graph is naturally vertex-signed. Based on a characterization by Acharya, Acharya, and Sinha in 2009, we give constructions for the signed simple graphs whose naturally vertex-signed line graph is consistent.

The Erdős-Sós Conjecture states that if $G$ is a simple graph of order $n$ with average degree more than $k-2,$ then $G$ contains every tree of order $k$. In this paper, we prove that Erdős-Sós Conjecture is true for $n=k+4$.

Let $G$ be a simple graph of order $n$. The domination polynomial of $G$ is the polynomial $D(G, x)=\sum_{i=γ(G)}^{n} d(G,i) x^{i}$, where $d(G,i)$ is the number of dominating sets of $G$ of size $i$ and $γ(G)$ is the domination number of $G$. In this paper we consider cactus chains with triangular and square blocks and study their domination polynomials.

A finite simple graph is called a bi-Cayley graph over a group $H$ if it has a semiregular automorphism group, isomorphic to $H,$ which has two orbits on the vertex set. Cubic vertex-transitive bi-Cayley graphs over abelian groups have been classified recently by Feng and Zhou (Europ. J. Combin. 36 (2014), 679--693). In this paper we consider the latter class of graphs and select those in the class which are also arc-transitive. Furthermore, such a graph is called $0$-type when it is bipartite, and the bipartition classes are equal to the two orbits of the respective semiregular automorphism group. A $0$-type graph can be represented as the graph $\mathrm{BCay}(H,S),$ where $S$ is a subset of $H,$ the vertex set of which consists of two copies of $H,$ say $H_0$ and $H_1,$ and the edge set is $\{\{h_0,g_1\} : h,g \in H, g h^{-1} \in S\}$. A bi-Cayley graph $\mathrm{BCay}(H,S)$ is called a BCI-graph if for any bi-Cayley graph $\mathrm{BCay}(H,T),$ $\mathrm{BCay}(H,S) \cong \mathrm{BCay}(H,T)$ implies that $T = h S^α$ for some $h \in H$ and $α\in \mathrm{Aut}(H)$. It is also shown that every cubic connected arc-transitive $0$-type bi-Cayley graph over an abelian group is a BCI-graph.

Beginning with the concepts of orientation for a 3-hypergraph and transitivity for an oriented 3-hypergraph, it is natural to study the class of comparability 3-hypergraphs (those that can be transitively oriented). In this work we show three different behaviors in respect to the relationship between the chromatic number and the clique number of a comparability 3-hypergraph, this is in contrast with the fact that a comparability simple graph is a perfect graph.

In trying to generalize the classic Sylvester-Gallai theorem and De Bruijn-Erdős theorem in plane geometry, lines and closure lines were previously defined for metric spaces and hypergraphs. Both definitions do not obey the geometric intuition in the sense that two lines (closure lines) may intersect at more than one point, and one line (closure line) might be the proper subset of another. In this work, we study the systems where one or both of the configurations are forbidden. We note that when any two lines intersect in at most one point, the two classic theorems extend in any metric space. We study the metric spaces induced by simple graphs where no line is a proper subset of another, and show that the least number of lines for such a graph with $n$ vertices is between the order of $n^{4/3}$ and $n^{4/3} \ln^{2/3} n$.

Given a finite connected simple graph $G=(V,E)$ with vertex set $V$ and edge set $E\subseteq \binom{V}{2}$, we will show that $1.$ the (necessarily unique) smallest block graph with vertex set $V$ whose edge set contains $E$ is uniquely determined by the $V$-indexed family ${\bf P}_G:=\big(π_0(G^{(v)})\big)_{v \in V}$ of the various partitions $π_0(G^{(v)})$ of the set $V$ into the set of connected components of the graph $G^{(v)}:=(V,\{e\in E: v\notin e\})$, $2.$ the edge set of this block graph coincides with set of all $2$-subsets $\{u,v\}$ of $V$ for which $u$ and $v$ are, for all $w\in V-\{u,v\}$, contained in the same connected component of $G^{(w)}$, $3.$ and an arbitrary $V$-indexed family ${\bf P}p=({\bf p}_v)_{v \in V}$ of partitions $π_v$ of the set $V$ is of the form ${\bf P}p={\bf P}p_G$ for some connected simple graph $G=(V,E)$ with vertex set $V$ as above if and only if, for any two distinct elements $u,v\in V$, the union of the set in ${\bf p}_v$ that contains $u$ and the set in ${\bf p}_u$ that contains $v$ coincides with the set $V$, and $\{v\}\in {\bf p}_v$ holds for all $v \in V$. As well as being of inherent interest to the theory of block graphs, these facts are also useful in the analysis of compatible decompositions and block realizations of finite metric spaces.

Given a connected simple graph $G=(V,E)$, and a positive integer $k$, a set $S\subseteq V$ is said to be a $k$-metric generator for $G$ if and only if for any pair of different vertices $u,v\in V$, there exist at least $k$ vertices $w_1,w_2,...,w_k\in S$ such that $d_G(u,w_i)\ne d_G(v,w_i)$, for every $i\in \{1,...,k\}$, where $d_G(x,y)$ is the length of a shortest path between $x$ and $y$. A $k$-metric generator of minimum cardinality in $G$ is called a $k$-metric basis and its cardinality, the $k$-metric dimension of $G$. In this article we study the $k$-metric dimension of corona product graphs $G\odot\mathcal{H}$, where $G$ is a graph of order $n$ and $\mathcal{H}$ is a family of $n$ non-trivial graphs. Specifically, we give some necessary and sufficient conditions for the existence of a $k$-metric basis in a connected corona graph. Moreover, we obtain tight bounds and closed formulae for the $k$-metric dimension of connected corona graphs.

The Merrifield-Simmons conjectures states a relation between the distance of vertices in a simple graph $G$ and the number of independent sets, denoted as $σ(G)$, in vertex-deleted subgraphs. Namely, that the sign of the term $σ(G_{-u}) \cdot σ(G_{-v}) - σ(G) \cdot σ(G_{-u-v})$ only depends on the parity of the distance of $u$ and $v$ in $G$. We prove this statement in the case of parity graphs and give some evidence that this result may not be further generalized to other classes of graphs.

We consider the representation of a continuous-time quantum walk in a graph $X$ by the matrix $\exp(itA(X))$. We provide necessary and sufficient criteria for distance-regular graphs and, more generally, for graphs in association schemes to have perfect state transfer. Using these conditions, we provide several new examples of perfect state transfer in simple graphs.

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 simple graph of order $N$. The normalized Laplacian Estrada index of $G$ is defined as $NEE(G)=\sum_{i=1}^Ne^{λ_i}$, where $λ_1,λ_2,\cdots,λ_N$ are the normalized Laplacian eigenvalues of $G$. In this paper, we give a tight lower bound for $NEE$ of general graphs. We also calculate $NEE$ for a class of treelike fractals, which contain some classical chemical trees as special cases. It is shown that $NEE$ scales linearly with the order of the fractal, in line with a best possible lower bound for connected bipartite graphs.

Let $G$ be a simple graph of order $n$. The domination polynomial of $G$ is the polynomial $D(G, x)=\sum_{i=γ(G)}^{n} d(G,i) x^{i}$, where $d(G,i)$ is the number of dominating sets of $G$ of size $i$ and $γ(G)$ is the domination number of $G$. It is conjectured that the domination polynomial of any graph is unimodal. In this paper we present some families of graphs whose domination polynomials are unimodal.

We show, through local estimates and simulation, that if one constrains simple graphs by their densities $\varepsilon$ of edges and $τ$ of triangles, then asymptotically (in the number of vertices) for over $95\%$ of the possible range of those densities there is a well-defined typical graph, and it has a very simple structure: the vertices are decomposed into two subsets $V_1$ and $V_2$ of fixed relative size $c$ and $1-c$, and there are well-defined probabilities of edges, $g_{jk}$, between $v_j\in V_j$, and $v_k\in V_k$. Furthermore the four parameters $c, g_{11}, g_{22}$ and $g_{12}$ are smooth functions of $(\varepsilon,τ)$ except at two smooth `phase transition' curves.

A Kneser representation KG(H) for a graph G is a bijective assignment of hyperedges of a hypergraph H to the vertices of G such that two vertices of G are adjacent if and only if the corresponding hyperedges are disjoint. In this paper, we introduce a colored version of the Turan number and use that to determine the chromatic number of some families of graphs in terms of the generalized Turan number of graphs. In particular, we determine the chromatic number of every Kneser multigraph KG(H), where the vertex set of H is the edge set of a multigraph G such that the multiplicity of each edge is greater than 1 and a hyperedge in H corresponds to a subgraph of G isomorphic to some graph in a fixed prescribed family of simple graphs.

Let $G$ be a simple graph of order $n$ and size $m$. The edge covering of $G$ is a set of edges such that every vertex of $G$ is incident to at least one edge of the set. The edge cover polynomial of $G$ is the polynomial $E(G,x)=\sum_{i=ρ(G)}^{m} e(G,i) x^{i}$, where $e(G,i)$ is the number of edge coverings of $G$ of size $i$, and $ρ(G)$ is the edge covering number of $G$. In this paper we study the edge cover polynomials of cubic graphs of order $10$. We show that all cubic graphs of order $10$ (especially the Petersen graph) are determined uniquely by their edge cover polynomials. Also we construct infinite families of graphs whose edge cover polynomials have only roots $-1$ and $0$.

For a given simple graph $G$, the energy of $G$, denoted by $\mathcal {E}(G)$, is defined as the sum of the absolute values of all eigenvalues of its adjacency matrix, which was defined by I. Gutman. The problem on determining the maximal energy tends to be complicated for a given class of graphs. There are many approaches on the maximal energy of trees, unicyclic graphs and bicyclic graphs, respectively. Let $P^{6,6,6}_n$ denote the graph with $n\geq 20$ vertices obtained from three copies of $C_6$ and a path $P_{n-18}$ by adding a single edge between each of two copies of $C_6$ to one endpoint of the path and a single edge from the third $C_6$ to the other endpoint of the $P_{n-18}$. Very recently, Aouchiche et al. [M. Aouchiche, G. Caporossi, P. Hansen, Open problems on graph eigenvalues studied with AutoGraphiX, {\it Europ. J. Comput. Optim.} {\bf 1}(2013), 181--199] put forward the following conjecture: Let $G$ be a tricyclic graphs on $n$ vertices with $n=20$ or $n\geq22$, then $\mathcal{E}(G)\leq \mathcal{E}(P_{n}^{6,6,6})$ with equality if and only if $G\cong P_{n}^{6,6,6}$. Let $G(n;a,b,k)$ denote the set of all connected bipartite tricyclic graphs on $n$ vertices with three vertex-disjoint cycles $C_{a}$, $C_{b}$ and $C_{k}$, where $n\geq 20$. In this paper, we try to prove that the conjecture is true for graphs in the class $G\in G(n;a,b,k)$, but as a consequence we can only show that this is true for most of the graphs in the class except for 9 families of such graphs.

A pancyclic graph is a simple graph containing a cycle of length $k$ for all $3\leq k\leq n$. Let $m(n)$ be the minimum number of edges of all pancyclic graphs on $n$ vertices. Exact values are given for $m(n)$ for $n\leq 37$, combining calculations from an exhaustive search on graphs with up to 29 vertices with a construction that works for up to 37 vertices. The behavior of $m(n)$ in general is also explored, including a proof of the conjecture that $m(n+1)>m(n)$ for all $n$ in some special cases.

A tree $T$, in an edge-colored graph $G$, is called {\em a rainbow tree} if no two edges of $T$ are assigned the same color. A {\em $k$-rainbow coloring}of $G$ is an edge coloring of $G$ having the property that for every set $S$ of $k$ vertices of $G$, there exists a rainbow tree $T$ in $G$ such that $S\subseteq V(T)$. The minimum number of colors needed in a $k$-rainbow coloring of $G$ is the {\em $k$-rainbow index of $G$}, denoted by $rx_k(G)$. Graph operations, both binary and unary, are an interesting subject, which can be used to understand structures of graphs. In this paper, we will study the $3$-rainbow index with respect to three important graph product operations (namely cartesian product, strong product, lexicographic product) and other graph operations. In this direction, we firstly show if $G^*=G_1\Box G_2\cdots\Box G_k$ ($k\geq 2$), where each $G_i$ is connected, then $rx_3(G^*)\leq \sum_{i=1}^{k} rx_3(G_i)$. Moreover, we also present a condition and show the above equality holds if every graph $G_i (1\leq i\leq k)$ meets the condition. As a corollary, we obtain an upper bound for the 3-rainbow index of strong product. Secondly, we discuss the 3-rainbow index of the lexicographic graph $G[H]$ for connected graphs $G$ and $H$. The proofs are constructive and hence yield the sharp bound. Finally, we consider the relationship between the 3-rainbow index of original graphs and other simple graph operations : the join of $G$ and $H$, split a vertex of a graph and subdivide an edge.