arXiv++ Combinatorics

For any simple graph $G$ on $n$ vertices, the (positive semi-definite) minimum rank of $G$ is defined to be the smallest possible rank among all (positive semi-definite) real symmetric $n\times n$ matrices whose entry in position $(i,j)$, for $i\neq j$, is non-zero if $ij$ is an edge in $G$ and zero otherwise. Also, the (positive semi-definite) maximum nullity of $G$ is defined to be the largest possible nullity of a (positive semi-definite) matrix in the above set of matrices. In this thesis we study two graph parameters, namely the zero forcing number of $G$, $Z(G)$, and the positive zero forcing number of $G$, $Z_+(G)$, which bound the maximum nullity and the positive semi-definite maximum nullity from above, respectively. With regard to the zero forcing number, we introduce some new families of graphs for which the zero forcing number and the maximum nullity are the same. Also we establish an equality between the zero forcing number and the path cover number for a new family of graphs. In addition, we establish a connection between the zero forcing number and the chromatic number of graphs. With regard to the positive zero forcing number, we introduce the concept of forcing trees in a graph and we establish a connection between the positive zero forcing number and the tree cover number. Also we study families of graphs for which these parameters coincide. In addition, we provide some new results on the connections of this parameter with other graph parameters, including the independence number and the chromatic number of $G$.

The aim of this paper is to study some parameters of simple graphs related with the degree of the vertices. So, our main tool is the $n\times n$ matrix ${\cal A}$ whose ($i,j$)-entry is $$ a_{ij}= \left\lbrace \begin{array}{ll} \frac{1}{\sqrt{δ_iδ_j}} & {\rm if }\quad v_i\sim v_j ; \\ 0 & {\rm otherwise,} \end{array} \right. $$ where $δ_i$ denotes the degree of the vertex $v_i$. We study the Randić index and some interesting particular cases of conditional excess, conditional Wiener index, and conditional diameter. In particular, using the matrix ${\cal A}$ or its eigenvalues, we obtain tight bounds on the studied parameters.

Tittmann, Averbouch and Makowsky [P. Tittmann, I. Averbouch, J.A. Makowsky, The enumeration of vertex induced subgraphs with respect to the number of components, European Journal of Combinatorics, 32 (2011) 954-974], introduced the subgraph component polynomial $Q(G;x,y)$ which counts the number of connected components in vertex induced subgraphs. It contains much of the underlying graph's structural information, e.g. the order, the size, the independence number. We show that there are several other graph invariants, like the connectivity, the number of cycles of length four in a regular bipartite graph, are determined by the subgraph component polynomial. Using the obtained results, we find several well-known families of graphs are determined by $Q(G;x,y)$: paths, cycles, tadpole graphs, complete bipartite graphs, friendship graphs, book graphs and hypercubes. Moreover, we study the distinguish power and find some simple graphs which are not distinguished by the subgraph component polynomial but distinguished by the Tutte polynomial and the character polynomial. These are answers to three questions concerning the subgraph component polynomial proposed by Tittmann et al.

Let G be a simple graph on $n$ vertices and $e(G)$ edges. Consider $Q(G) = D + A$ as the signless Laplacian of $G$, where $A$ is the adjacency matrix and $D$ is the diagonal matrix of the vertices degree of $G$. Let $q_1(G)$ and $q_2(G)$ be the first and the second largest eigenvalues of $Q(G),$ respectively, and denote by $S_{n}^{+}$ the star graph plus one edge. In this paper, we prove that inequality $q_1(G)+ q_2(G) <= e(G)+3$ is tighter for the graph $S_{n}^{+}$ among all firefly graphs and also tighter to $S_{n}^{+}$ than to the graphs $K_{k} \vee \overline{K_{n-k}}$ recently presented by Ashraf, Omidi and Tayfeh-Rezaie. Also, we conjecture that the same inequality is tighter to $S_{n}^{+}$ than any other graph on $n$ vertices.

We give an upper bound on the number of perfect matchings in simple graphs with a given number of vertices and edges. We apply this result to give an upper bound on the number of 2-factors in a directed complete bipartite balanced graph on 2n vertices. The upper bound is sharp for n even. For n odd we state a conjecture on a sharp upper bound.

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.

A rigidity theory is developed for the Euclidean and non-Euclidean placements of countably infinite simple graphs in R^d with respect to the classical l^p norms, for d>1 and 1<p<\infty. Generalisations are obtained for the Laman and Henneberg combinatorial characterisations of generic infinitesimal rigidity for finite graphs in the Euclidean plane. Also Tay's multi-graph characterisation of the rigidity of generic finite body-bar frameworks in d-dimensional Euclidean space is generalised to the non-Euclidean l^p norms and to countably infinite graphs. For all dimensions and norms it is shown that a generically rigid countable simple graph is the direct limit of an inclusion tower of finite graphs for which the inclusions satisfy a relative rigidity property. For d>2 a countable graph which is rigid for generic placements in R^d may fail the stronger property of sequential rigidity, while for d=2 the equivalence with sequential rigidity is obtained from the generalised Laman characterisations. Applications are given to the flexibility of non-Euclidean convex polyhedra and to the infinitesimal and continuous rigidity of compact infinitely-faceted simplicial polytopes.

We introduce fractional realizations of a graph degree sequence and a closely associated convex polytope. Simple graph realizations correspond to a subset of the vertices of this polytope. We describe properties of the polytope vertices and characterize degree sequences for which each polytope vertex corresponds to a simple graph realization. These include the degree sequences of pseudo-split graphs, and we characterize their realizations both in terms of forbidden subgraphs and graph structure.

We give bounds on the L(2,1)-labeling number of a simple graph in terms of its order and its maximum degree. We also describe an infinite class of graphs of which the elements have the highest L(2,1)-labeling numbers in terms of their maximum degrees of any known infinite class of graphs.

Stanley [9] introduced the chromatic symmetric function ${\bf X}_G$ associated to a simple graph $G$ as a generalization of the chromatic polynomial of $G$. In this paper we present a novel technique to write ${\bf X}_G$ as a linear combination of chromatic symmetric functions of smaller graphs. We use this technique to give a sufficient condition for two graphs to have the same chromatic symmetric function. We then construct an infinite family of pairs of unicyclic graphs with the same chromatic symmetric function, answering the question posed by Martin, Morin, and Wagner [7] of whether such a pair exists. Finally, we approach the problem of whether it is possible to determine a tree from its chromatic symmetric function. Working towards an answer to this question, we give a classification theorem for single-centroid trees in terms of data closely related to its chromatic symmetric function.

Let $G$ be a finite simple graph on $[n]$ and $I(G) \subset S$ the edge ideal of $G$, where $S = K[x_{1}, \ldots, x_{n}]$ is the polynomial ring over a field $K$. Let $m(G)$ denote the maximum size of matchings of $G$ and $im(G)$ that of induced matchings of $G$. It is known that $im(G) \leq \text{reg}(S/I(G)) \leq m(G)$, where $\text{reg}(S/I(G))$ is the Castelnuovo-Mumford regularity of $S/I(G)$. Cameron and Walker succeeded in classifying the finite connected simple graphs $G$ with $im(G) = m(G)$. We say that a finite connected simple graph $G$ is a Cameron-Walker graph if $im(G) = m(G)$ and if $G$ is neither a star nor a star triangle. In the present paper, we study Cameron-Walker graphs from a viewpoint of commutative algebra. First, we prove that a Cameron-Walker graph $G$ is unmixed if and only if $G$ is Cohen-Macaulay and classify all Cohen-Macaulay Cameron-Walker graphs. Second, we prove that there is no Gorenstein Cameron-Walker graph. Finally, we prove that every Cameron--Walker graph is sequentially Cohen-Macaulay.

Let $G$ be a simple graph on the vertex set $\{1,\ldots,n\}$ with $m$ edges. An algebraic object attached to $G$ is the ideal $P_{G}$ generated by diagonal 2-minors of an $n \times n$ matrix of variables. In this paper we prove that if $G$ is bipartite, then every initial ideal of $P_{G}$ is generated by squarefree monomials of degree at most $\left \lfloor{\frac{m+n+1}{2}} \right \rfloor$. Furthermore, we completely characterize all connected graphs $G$ for which $P_{G}$ is the toric ideal associated to a finite simple graph. Finally we compute in certain cases the universal Gr{ö}bner basis of $P_{G}$.

We give a method of generating strongly polynomial sequences of graphs, i.e., sequences $(H_{\mathbf{k}})$ indexed by a multivariate parameter $\mathbf{k}=(k_1,\ldots, k_h)$ such that, for each fixed graph $G$, there is a multivariate polynomial $p(G;x_1,\ldots, x_h)$ such that the number of homomorphisms from $G$ to $H_{\mathbf{k}}$ is given by the evaluation $p(G;k_1,\ldots, k_h)$. A classical example is the sequence $(K_k)$ of complete graphs, for which ${\rm hom}(G,K_k)=P(G;k)$ is the evaluation of the chromatic polynomial at $k$. Our construction produces a large family of graph polynomials that includes the Tutte polynomial, the Averbouch-Godlin-Makowsky polynomial and the Tittmann-Averbouch-Makowsky polynomial. We also introduce a new graph parameter, the {\em branching core size} of a simple graph, related to how many involutive automorphisms with fixed points it has. We prove that a countable family of graphs of bounded branching core size (which in particular implies bounded tree-depth) is always contained in a finite union of strongly polynomial sequences.

Let $d \geq 3$ be an integer. It is known that the number of edges of the edge polytope of the complete graph with $d$ vertices is $d(d-1)(d-2)/2$. In this paper, we study the maximum possible number $μ_d$ of edges of the edge polytope arising from finite simple graphs with $d$ vertices. We show that $μ_{d}=d(d-1)(d-2)/2$ if and only if $3 \leq d \leq 14$. In addition, we study the asymptotic behavior of $μ_d$. Tran--Ziegler gave a lower bound for $μ_d$ by constructing a random graph. We succeeded in improving this bound by constructing both a non-random graph and a random graph whose complement is bipartite.

It was conjectured by Mkrtchyan, Petrosyan, and Vardanyan that every graph $G$ with $Δ(G)-δ(G) \le 1$ has a maximum matching $M$ such that any two $M$-unsaturated vertices do not share a neighbor. In this note, we confirm the conjecture for all $k$-regular simple graphs and also $k$-regular multigraphs with $k\le 4$.

We analyze the Brill-Noether theory of trivalent graphs and multigraphs having largest possible automorphism group in a fixed genus. For trivalent multigraphs with loops of genus at least 3, we show that there exists a graph with maximal automorphism group which is Brill-Noether special. We prove similar results for multigraphs without loops of genus at least 6, as well as simple graphs of genus at least 7. This analysis yields counterexamples, in any sufficiently large genus, to a conjecture of Caporaso.

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.