arXiv++ Combinatorics

Let $B$ and $R$ be two simple graphs with vertex set $V$, and let $G(B,R)$ be the simple graph with vertex set $V$, in which two vertices are adjacent if they are adjacent in at least one of $B$ and $R$. For $X \subseteq V$, we denote by $B|X$ the subgraph of $B$ induced by $X$; let $R|X$ and $G(B,R)|X$ be defined similarly. We say that the pair $(B,R)$ is {\em additive} if for every $X \subseteq V$, the sum of the clique numbers of $B|X$ and $R|X$ is at least the clique number of $G(B,R)|X$. In this paper we give a necessary and sufficient characterization of additive pairs of graphs. This is a numerical variant of a structural question studied in \cite{ABC}.

Independent sets play a key role into the study of graphs and important problems arising in graph theory reduce to them. We define the monomial ideal of independent sets associated to a finite simple graph and describe its homological and algebraic invariants in terms of the combinatorics of the graph. We compute the minimal primary decomposition and characterize the Cohen--Macaulay ideals. Moreover, we provide a formula for computing the Betti numbers, which depends only on the coefficients of the independence polynomial of the graph.

This work re-examines a classical construction of a 2-connected (simple) graph where every intermediate graph is 2-connected before detailing an analogous construction for 3-connected graphs which requires a graph equivalence relation $\sim_2$ and a related concept of the $\sim_2$-core of a graph. The case of $k$-connected graphs for $k\geq 4$ is also addressed.

A geometric graph \G is a simple graph drawn in the plane, on points in general position, with straight-line edges. We call \G a geometric realization of the underlying abstract graph G. A geometric homomorphism from \G to \H is a vertex map that preserves adjacencies and crossings (but not necessarily non-adjacencies or non-crossings). Geometric homomorphisms can be used to define a partial order on the set of isomorphism classes of geometric realizations of an abstract graph G. In this paper, the homomorphism poset of K_{3,3} is determined.

A good drawing of a simple graph is a drawing on the sphere or, equivalently, in the plane in which vertices are drawn as distinct points, edges are drawn as Jordan arcs connecting their end vertices, and any pair of edges intersects at most once. In any good drawing, the edges of three pairwise connected vertices form a Jordan curve which we call a triangle. We say that a triangle is empty if one of the two connected components it induces does not contain any of the remaining vertices of the drawing of the graph. We show that the number of empty triangles in any good drawing of the complete graph $K_n$ with $n$ vertices is at least $n$.

We discuss some linear algebra related to the Dirac matrix D of a finite simple graph G=(V,E).

Given a finite simple graph one can associate the edge ideal. In this paper we prove that a graded Betti number of the edge ideal does not vanish if the original graph contains a set of complete bipartite subgraphs with some conditions. Also we give a combinatorial description for the projective dimension of the edge ideals of unmixed bipartite graphs.

Let $G$ be a simple graph with $n$ vertices and $e(G)$ edges, and $q_1(G)\geq q_2(G)\geq\cdots\geq q_n(G)\geq0$ be the signless Laplacian eigenvalues of $G.$ Let $S_k^+(G)=\sum_{i=1}^{k}q_i(G),$ where $k=1, 2, \ldots, n.$ F. Ashraf et al. conjectured that $S_k^+(G)\leq e(G)+\binom{k+1}{2}$ for $k=1, 2, \ldots, n.$ In this paper, we give various upper bounds for $S_k^+(G),$ and prove that this conjecture is true for the following cases: connected graph with sufficiently large $k,$ unicyclic graphs and bicyclic graphs for all $k,$ and tricyclic graphs when $k\neq 3.$

Let $R$ be a commutative ring with unity and $Z(R)$ and ${\rm Reg}(R)$ be the set of zero-divisors and non-zero zero-divisors of $R$, respectively. We denote by $T(Γ(R))$, the total graph of $R$, a simple graph with the vertex set $R$ and two distinct vertices $x$ and $y$ are adjacent if and only if $x+y\in Z(R)$. The induced subgraphs on $Z(R)$ and ${\rm Reg}(R)$ are denoted by $Z(Γ(R))$ and $Reg(Γ(R))$, respectively. These graphs were first introduced by D.F. Anderson and A. Badawi in 2008. In this paper, we prove the following result: let $R$ be a finite ring and one of the following conditions hold: (i) The residue field of $R$ of minimum size has even characteristic, (ii) Every residue field of $R$ has odd characteristic and $\frac{R}{J(R)}$ has no summand isomorphic to $\mathbb{Z}_3\times \mathbb{Z}_3$, then the chromatic number and clique number of $T(Γ(R))$ are equal to $\max\{|\mathfrak{m}|\,:\, \mathfrak{m}\in {\rm Max}(R)\}$. The same result holds for $Z(Γ(R))$. Moreover, if the residue field of $R$ of minimum size has even characteristic or every residue field of $R$ has odd characteristic, then we determine the chromatic number and clique number of $Reg(Γ(R))$ as well.

We prove that every 3-regular, n-vertex simple graph with sufficiently large girth contains an independent set of size at least 0.4361n. (The best known bound is 0.4352n.) In fact, computer simulation suggests that the bound our method provides is about 0.438n. Our method uses invariant Gaussian processes on the d-regular tree that satisfy the eigenvector equation at each vertex for a certain eigenvalue λ. We show that such processes can be approximated by i.i.d. factors provided that $|λ| \leq 2\sqrt{d-1}$. We then use these approximations for $λ= -2\sqrt{d-1}$ to produce factor of i.i.d. independent sets on regular trees.

Let $G$ be a simple graph of order n. The domination polynomial of G is the polynomial D(G,x) =\sum d(G, i)x^i, where d(G,i) is the number of dominating sets of G of size i. Every root of D(G,x) is called the domination root of G. It is clear that (0,\infty) is zero free interval for domination polynomial of a graph. It is interesting to investigate graphs which have complex domination roots with positive real parts. In this paper, we first investigate complexity of the domination polynomial at specific points. Then we present and investigate some families of graphs whose complex domination roots have positive real part.

In this paper we prove two main results about obstruction to graph planarity. One is that, if $G$ is a 3-connected graph with a $K_5$-minor and $T$ is a triangle of $G$, then $G$ has a $K_5$-minor $H$, such that $E(T)\cont E(H)$. Other is that if $G$ is a 3-connected simple non-planar graph not isomorphic to $K_5$ and $e,f\in E(G)$, then $G$ has a minor $H$ such that $e,f\in E(H)$ and, up to isomorphisms, $H$ is one of the four non-isomorphic simple graphs obtained from $K_{3,3}$ by the addiction of \,0, 1 or 2 edges. We generalize this second result to the class of the regular matroids.

The critical ideals of a graph are the determinantal ideals of the generalized Laplacian matrix associated to a graph. A basic property of the critical ideals of graphs asserts that the graphs with at most k trivial critical ideals, $Γ_{\leq k}$, are closed under induced subgraphs. In this article we find the set of minimal forbidden subgraphs for $Γ_{\leq 2}$, and we use this forbidden subgraphs to get a classification of the graphs in $Γ_{\leq 2}$. As a consequence we give a classification of the simple graphs whose critical group has two invariant factors equal to one. At the end of this article we give two infinite families of forbidden subgraphs.

Let J and J* be subsets of Z+ such that 0,1\in J and 0\in J*. For infinitely many n, let k=(k_1,..., k_n) be a vector of nonnegative integers whose sum M is even. We find an asymptotic expression for the number of multigraphs on the vertex set {1,..., n} with degree sequence given by k, such that every loop has multiplicity in J* and every non-loop edge has multiplicity in J. Equivalently, these are symmetric integer matrices with values J* allowed on the diagonal and J off the diagonal. Our expression holds when the maximum degree K satisfies K = o(M^(1/3)). We prove this result using the switching method, building on an asymptotic enumeration of simple graphs with given degrees (McKay and Wormald, 1991). Our application of the switching method introduces a novel way of combining several different switching operations into a single computation.

Given a finite connected simple graph $Γ$, and a subgroup $G$ of its automorphism group, a general method for finding all finite abelian regular coverings of $Γ$ that admit a lift of each element of $G$ is developed. As an application, all connected arc-transitive abelian regular coverings of the Petersen graph are classified up to isomorphism.

I discuss the work of many authors on various matrices used to study signed graphs, concentrating on adjacency and incidence matrices and the closely related topics of Kirchhoff (`Laplacian') matrices, line graphs, and very strong regularity.

Let $G$ be a simple graph of order $n$. An independent set in a graph is a set of pairwise non-adjacent vertices. The independence polynomial of $G$ is the polynomial $I(G,x)=\sum_{k=0}^{n} s(G,k) x^{k}$, where $s(G,k)$ is the number of independent sets of $G$ of size $k$ and $s(G,0)=1$. Clearly all real roots of $I(G,x)$ are negative. Let $ξ(G)$ be the largest real root of $I(G,x)$. Let $H$ be a simple graph. By $G \succeq H$ we mean that $I(H,x)\geq I(G,x)$ for every $x$ in the interval $[ξ(G),0]$. We note that $G\succeq H$ implies that $ξ(G)\geq ξ(H)$. Also we let $G\succ H$ if and only if $G\succeq H$ and $I(G,x)\neq I(H,x)$. We prove that for every tree $T$ of order $n$, $S_n\succeq T\succeq P_n$, where $S_n$ and $P_n$ are the star and the path of order n, respectively. By $T=T(n_1,\ldots,n_k)$ we mean a tree $T$ which has a vertex $v$ of degree $k$ such that $T\setminus v=P_{n_1-1}+\cdots+P_{n_k-1}$, that is $T\setminus v$ is the disjoint union of the paths $P_{n_1-1},\ldots,P_{n_k-1}$. Let $X=(x_1,\ldots,x_k)$ and $Y=(y_1,\ldots,y_k)$, where $x_1\geq \cdots\geq x_k$ and $y_1\geq\cdots\geq y_k$ are real. By $X\succ Y$, we mean $x_1=y_1,\ldots,x_{t-1}=y_{t-1}$ and $x_t>y_t$ for some $t\in\{1,\ldots,k\}$. We let $X\succ_{d}Y$, if $X\neq Y$ and for every $j$, $1\leq j\leq k$, $\sum_{i=1}^{j}x_i\geq \sum_{i=1}^{j}y_i$. Among all trees with fixed number of vertices, we show that if $(m_1,\ldots,m_k)\succ_{d}(n_1,\ldots,n_k)$, then $T(n_1,\ldots,n_k)\succ T(m_1,\ldots,m_k)$. We conjecture that $T(n_1,\ldots,n_k)\succ T(m_1,\ldots,m_k)$ if and only if $(m_1,\ldots,m_k)\succ (n_1,\ldots,n_k)$, where $\sum_{i=1}^kn_i=\sum_{i=1}^km_i$.

We give a new interpretation of the chromatic polynomial of a simple graph G in terms of the Kac-Moody Lie algebra with Dynkin diagram G. We show that the chromatic polynomial is essentially the q-Kostant partition function of this Lie algebra evaluated on the sum of the simple roots. Applying the Peterson recurrence formula for root multiplicities, we obtain a new realization of the chromatic polynomial as a weighted sum of paths in the bond lattice of G.

Let $I(G)$ be the edge ideal of a simple graph $G$. In this paper, we will give sufficient and necessary combinatorial conditions of $G$ in which the second symbolic and ordinary power of its edge ideal are Cohen-Macaulay (resp. Buchsbaum, generalized Cohen-Macaulay). As an application of our results, we will classify all bipartite graphs in which the second (symbolic) powers are Cohen-Macaulay (resp. Buchsbaum, generalized Cohen-Macaulay).

B. Szegedy [Edge coloring models and reflection positivity, {\sl Journal of the American Mathematical Society} {\bf 20} (2007) 969--988] showed that the number of homomorphisms into a weighted graph is equal to the partition function of a complex edge-coloring model. Using some results in geometric invariant theory, we characterize for which weighted graphs the edge-coloring model can be taken to be real valued that is, we characterize for which weighted graphs the number of homomorphisms into them are edge-reflection positive. In particular, we determine explicitly for which simple graphs the number of homomorphisms into them is equal to the partition function of a real edge-coloring model. This answers a question posed by Szegedy.