arXiv++ Combinatorics

A good edge-labelling of a simple graph is a labelling of its edges with real numbers such that, for any ordered pair of vertices (u,v), there is at most one nondecreasing path from u to v. Say a graph is good if it admits a good edge-labelling, and is bad otherwise. Our main result is that any good n-vertex graph whose maximum degree is within a constant factor of its average degree (in particular, any good regular graph) has at most n^{1+o(1)} edges. As a corollary, we show that there are bad graphs with arbitrarily large girth, answering a question of Bode, Farzad and Theis. We also prove that for any Delta, there is a g such that any graph with maximum degree at most Delta and girth at least g is good.

The real minimum skew rank of a simple graph G is the smallest possible rank among all real skew symmetric matrices, whose (i,j)-entry (for i not equal to j) is nonzero whenever {i, j} is an edge in G and is zero otherwise. In this paper we study the problem of real minimum skew rank of powers and strict powers of paths.

The minimum skew rank of a simple graph G over the field of real numbers, is the smallest possible rank among all real skew-symmetric matrices whose (i,j)-entry (for i not equal to j) is nonzero whenever {i, j} is an edge in G and is zero otherwise. In this paper we give an algorithm for computing the minimum skew rank of a connected unicyclic graph, and classify all connected acyclic and connected unicyclic graphs G, for which the minimum skew rank of G is equal to the minimum skew rank of P, where P is a diametrical path of G.

A geometric graph G(bar) is a simple graph drawn in the plane, on points in general position, with straight-line edges. We call G(bar) a geometric realization of the underlying abstract graph G. A geometric homomorphism is a vertex map that preserves adjacencies and crossings (but not necessarily non-adjacencies or non-crossings). This work uses geometric homomorphisms to introduce a partial order on the set of isomorphism classes of geometric realizations of an abstract graph G. We say G(bar) precedes G(hat) if G(bar) and G(hat) are geometric realizations of G and there is a vertex-injective geometric homomorphism from G(bar) to G(hat). This paper develops tools to determine when two geometric realizations are comparable. Further, for 3 \leq n \leq 6, this paper provides the isomorphism classes of geometric realizations of P_n, C_n and K_n, as well as the Hasse diagrams of the geometric homomorphism posets of these graphs. The paper also provides the following results for general n: the poset of P_n and C_n has a unique minimal element and a unique maximal element; if k \leq n then the poset of P_k (resp., the poset of C_k) is a subposet of the poset for P_n (resp., C_n); and the poset for K_n contains a chain of length n-2.

Let $G$ be a simple graph with $n$ vertices and let $μ_1 \geqslant μ_2 \geqslant...\geqslant μ_{n - 1} \geqslant μ_n = 0$ be the eigenvalues of its Laplacian matrix. The Laplacian Estrada index of a graph $G$ is defined as $LEE (G) = \sum\limits_{i = 1}^n e^{μ_i}$. Using the recent connection between Estrada index of a line graph and Laplacian Estrada index, we prove that the path $P_n$ has minimal, while the star $S_n$ has maximal $LEE$ among trees on $n$ vertices. In addition, we find the unique tree with the second maximal Laplacian Estrada index.

In this note we give a new upper bound for the Laplacian eigenvalues of an unweighted graph. Let $G$ be a simple graph on $n$ vertices. Let $d_{m}(G)$ and $λ_{m+1}(G)$ be the $m$-th smallest degree of $G$ and the $m+1$-th smallest Laplacian eigenvalue of $G$ respectively. Then $ λ_{m+1}(G)\leq d_{m}(G)+m-1 $ for $\bar{G} \neq K_{m}+(n-m)K_1 $. We also introduce upper and lower bound for the Laplacian eigenvalues of weighted graphs, and compare it with the special case of unweighted graphs.

Let $G=(V,E)$ be a simple graph with $n = |V|$ vertices and $m = |E|$ edges. The first and second Zagreb indices are among the oldest and the most famous topological indices, defined as $M_1 = \sum_{i \in V} d_i^2$ and $M_2 = \sum_{(i, j) \in E} d_i d_j$, where $d_i$ denote the degree of vertex $i$. Recently proposed conjecture $M_1 / n \leqslant M_2 / m$ has been proven to hold for trees, unicyclic graphs and chemical graphs, while counterexamples were found for both connected and disconnected graphs. Our goal is twofold, both in favor of a conjecture and against it. Firstly, we show that the expressions $M_1/n$ and $M_2/m$ have the same lower and upper bounds, which attain equality for and only for regular graphs. We also establish sharp lower bound for variable first and second Zagreb indices. Secondly, we show that for any fixed number $k\geqslant 2$, there exists a connected graph with $k$ cycles for which $M_1/n>M_2/m$ holds, effectively showing that the conjecture cannot hold unless there exists some kind of limitation on the number of cycles or the maximum vertex degree in a graph. In particular, we show that the conjecture holds for subdivision graphs.

We determine the asymptotic behaviour of the number of the Eulerian circuits in undirected simple graphs with large algebraic connectivity (the second-smallest eigenvalue of the Laplacian matrix). We also prove some new properties of the Laplacian matrix.

In previous work, we associated to any finite simple graph a particular set of derangements of its vertices. These derangements are in bijection with the spheres in the wedge sum describing the homotopy type of the boolean complex for this graph. Here we study the frequency with which a given derangement appears in this set.

For a simple graph $G$, the energy $E(G)$ is defined as the sum of the absolute values of all eigenvalues of its adjacent matrix. For $Δ\geq 3$ and $t\geq 3$, denote by $T_a(Δ,t)$ (or simply $T_a$) the tree formed from a path $P_t$ on $t$ vertices by attaching $Δ-1$ $P_2$'s on each end of the path $P_t$, and $T_b(Δ, t)$ (or simply $T_b$) the tree formed from $P_{t+2}$ by attaching $Δ-1$ $P_2$'s on an end of the $P_{t+2}$ and $Δ-2$ $P_2$'s on the vertex next to the end. In [X. Li, X. Yao, J. Zhang and I. Gutman, Maximum energy trees with two maximum degree vertices, J. Math. Chem. 45(2009), 962--973], Li et al. proved that among trees of order $n$ with two vertices of maximum degree $Δ$, the maximal energy tree is either the graph $T_a$ or the graph $T_b$, where $t=n+4-4Δ\geq 3$. However, they could not determine which one of $T_a$ and $T_b$ is the maximal energy tree. This is because the quasi-order method is invalid for comparing their energies. In this paper, we use a new method to determine the maximal energy tree. It turns out that things are more complicated. We prove that the maximal energy tree is $T_b$ for $Δ\geq 7$ and any $t\geq 3$, while the maximal energy tree is $T_a$ for $Δ=3$ and any $t\geq 3$. Moreover, for $Δ=4$, the maximal energy tree is $T_a$ for all $t\geq 3$ but $t=4$, for which $T_b$ is the maximal energy tree. For $Δ=5$, the maximal energy tree is $T_b$ for all $t\geq 3$ but $t$ is odd and $3\leq t\leq 89$, for which $T_a$ is the maximal energy tree. For $Δ=6$, the maximal energy tree is $T_b$ for all $t\geq 3$ but $t=3,5,7$, for which $T_a$ is the maximal energy tree. One can see that for most $Δ$, $T_b$ is the maximal energy tree, $Δ=5$ is a turning point, and $Δ=3$ and 4 are exceptional cases.

The simple graphs $G=(V,E)$ that satisfy $|E'|\leq 2|V'|-l$ for any subgraph (and for $l=1,2,3$) are the $(2,l)$-sparse graphs. Those that also satisfy $|E|=2|V|-l$ are the $(2,l)$-tight graphs. These can be characterised by their decompositions into two edge disjoint spanning subgraphs of various types. The Henneberg--Laman theorem characterises $(2,3)$-tight graphs inductively in terms of two simple moves, known as the Henneberg moves. Recently this has been extended, via the addition of a graph extension move, to the case of $(2,2)$-tight graphs. Here an alternative characterisation is provided by means of vertex-to-$K_4$ and edge-to-$K_3$ moves, and this is extended to the $(2,1)$-tight graphs by addition of an edge joining move. Similar characterisations of $(2,l)$-sparse graphs are also provided.

The minimum rank problem for a (simple) graph $G$ is to determine the smallest possible rank over all real symmetric matrices whose $ij$th entry (for $i\neq j$) is nonzero whenever $\{i,j\}$ is an edge in $G$ and is zero otherwise. This paper surveys the many developments on the (standard) minimum rank problem and its variants since the survey paper \cite{FH}. In particular, positive semidefinite minimum rank, zero forcing parameters, and minimum rank problems for patterns are discussed.

The Ehrhart ring of the edge polytope $\mathcal{P}_G$ for a connected simple graph $G$ is known to coincide with the edge ring of the same graph if $G$ satisfies the odd cycle condition. This paper gives for a graph which does not satisfy the condition, a generating set of the defining ideal of the Ehrhart ring of the edge polytope, described by combinatorial information of the graph. From this result, two factoring properties of the Ehrhart series are obtained; the first one factors out bipartite biconnected components, and the second one factors out a even cycle which shares only one edge with other part of the graph. As an application of the factoring properties, the root distribution of Ehrhart polynomials for bipartite polygon trees is determined.

A proper vertex coloring of a simple graph is $k$-forested if the graph induced by the vertices of any two color classes is a forest with maximum degree less than $k$. A graph is $k$-forested $q$-choosable if for a given list of $q$ colors associated with each vertex $v$, there exists a $k$-forested coloring of $G$ such that each vertex receives a color from its own list. In this paper, we prove that the $k$-forested choosability of a graph with maximum degree $Δ\geq k\geq 4$ is at most $\lceil\fracΔ{k-1}\rceil+1$, $\lceil\fracΔ{k-1}\rceil+2$ or $\lceil\fracΔ{k-1}\rceil+3$ if its maximum average degree is less than 12/5, $8/3 or 3, respectively.

Let $G$ be a simple graph and $α$ a real number. The quantity $s_α(G)$ defined as the sum of the $α$-th power of the non-zero Laplacian eigenvalues of $G$ generalizes several concepts in the literature. The Laplacian Estrada index is a newly introduced graph invariant based on Laplacian eigenvalues. We establish bounds for $s_α$ and Laplacian Estrada index related to the degree sequences.

We shall present an algorithm for determining whether or not a given planar graph H can ever be a subgraph of a 4-regular planar graph. The algorithm has running time O(|H|^{2.5}) and can be used to find an explicit 4-regular planar graph G containing H if such a graph exists. It shall not matter whether we specify that H and G must be simple graphs or allow them to be multigraphs.

We consider a the minimum k-way cut problem for unweighted graphs with a size bound s on the number of cut edges allowed. Thus we seek to remove as few edges as possible so as to split a graph into k components, or report that this requires cutting more than s edges. We show that this problem is fixed-parameter tractable (FPT) in s. More precisely, for s=O(1), our algorithm runs in quadratic time while we have a different linear time algorithm for planar graphs and bounded genus graphs. Our tractability result stands in contrast to known W[1] hardness of related problems. Without the size bound, Downey et al.[2003] proved that the minimum k-way cut problem is W[1] hard in k even for simple unweighted graphs. Downey et al. asked about the status for planar graphs. Our result implies tractability in k for the planar graphs since the minimum k-way cut of a planar graph is of size at most 6k (more generally, we get tractability in k for any graph class with k-way cuts of size limited by is a function of k, e.g., bounded degree graphs, or simple graphs with an excluded minor). A simple reduction shows that vertex cuts are at least as hard as edge cuts, so the minimum k-way vertex cut is also W[1] hard in terms of k. Marx [2004] proved that finding a minimum k-way vertex cut of size s is also W[1] hard in s. Marx asked about the FPT status with edge cuts, which we prove tractable here. We are not aware of any other cut problem where the vertex version is W[1] hard but the edge version is FPT.

An immersion of a graph $H$ into a graph $G$ is a one-to-one mapping $f:V(H) \to V(G)$ and a collection of edge-disjoint paths in $G$, one for each edge of $H$, such that the path $P_{uv}$ corresponding to edge $uv$ has endpoints $f(u)$ and $f(v)$. The immersion is strong if the paths $P_{uv}$ are internally disjoint from $f(V(H))$. It is proved that for every positive integer $t$, every simple graph of minimum degree at least $200t$ contains a strong immersion of the complete graph $K_t$. For dense graphs one can say even more. If the graph has order $n$ and has $2cn^2$ edges, then there is a strong immersion of the complete graph on at least $c^2 n$ vertices in $G$ in which each path $P_{uv}$ is of length 2. As an application of these results, we resolve a problem raised by Paul Seymour by proving that the line graph of every simple graph with average degree $d$ has a clique minor of order at least $cd^{3/2}$, where $c>0$ is an absolute constant. For small values of $t$, $1\le t\le 7$, every simple graph of minimum degree at least $t-1$ contains an immersion of $K_t$ (Lescure and Meyniel, DeVos et al.). We provide a general class of examples showing that this does not hold when $t$ is large.

We explore the connections between the linear algebra of symmetric matrices over GF(2) and the circuit theory of 4-regular graphs. In particular, we show that the equivalence relation on simple graphs generated by local complementation can also be generated by an operation defined using inverse matrices.

Let $G$ and $H$ be two simple graphs and let $G*H$ denotes the graph theoretical product of $G$ by $H$. In this paper we provide some results on graded Betti numbers, Castelnuovo-Mumford regularity, projective dimension, $h$-vector, and Hilbert series of $G*H$ in terms of that information of $G$ and $H$. To do this, we will provide explicit formulae to compute graded Betti numbers, $h$-vector, and Hilbert series of disjoint union of complexes. Also we will prove that the family of graphs whose regularity equal the maximum number of pairwise $3$-disjoint edges, is closed under product of graphs.