Collapsible Graphs and Hamiltonicity of Line Graphs

Thomassen conjectured that every 4-connected line graph is Hamiltonian. Chen and Lai (Combinatorics and Graph Theory, vol 95, World Scientific, Singapore, pp 53–69; Conjecture 8.6 of 1995) conjectured that every 3-edge connected and essentially 6-edge connected graph is collapsible. Denote D ₃(G) the set of vertices of degree 3 of graph G. For ${e = uv \in E(G)}$ , define d(e) = d(u) + d(v) ? 2 the edge degree of e, and ${\xi(G) = \min\{d(e) : e \in E(G)\}}$ . Denote by λ ^m (G) the m-restricted edge-connectivity of G. In this paper, we prove that a 3-edge-connected graph with ${\xi(G)\geq7}$ , and ${\lambda^3(G)\geq7}$ is collapsible; a 3-edge-connected simple graph with ${\xi(G)\geq7}$ , and ${\lambda^3(G)\geq6}$ is collapsible; a 3-edge-connected graph with ${\xi(G)\geq6}$ , ${\lambda^2(G)\geq4}$ , and ${\lambda^3(G)\geq6}$ with at most 24 vertices of degree 3 is collapsible; a 3-edge-connected simple graph with ${\xi(G)\geq6}$ , and ${\lambda^3(G)\geq5}$ with at most 24 vertices of degree 3 is collapsible; a 3-edge-connected graph with ${\xi(G)\geq5}$ , and ${\lambda^2(G)\geq4}$ with at most 9 vertices of degree 3 is collapsible. As a corollary, we show that a 4-connected line graph L(G) with minimum degree at least 5 and ${|D_3(G)|\leq9}$ is Hamiltonian.     

Distinguishing-Transversal in Hypergraphs and Identifying Open Codes in Cubic Graphs

The open neighborhood N(v) of a vertex v in a graph G is the set of vertices adjacent to v in G. A graph is twin-free (or open identifiable) if every two distinct vertices have distinct open neighborhoods. A separating open code in G is a set C of vertices such that \({N(u) \cap C \neq N(v) \cap C}\) for all distinct vertices u and v in G. An open dominating set, or total dominating set, in G is a set C of vertices such that \({N(u) \cap C \ne N(v) \cap C}\) for all vertices v in G. An identifying open code of G is a set C that is both a separating open code and an open dominating set. A graph has an identifying open code if and only if it is twin-free. If G is twin-free, we denote by \({\gamma^{\rm IOC}(G)}\) the minimum cardinality of an identifying open code in G. A hypergraph H is identifiable if every two edges in H are distinct. A distinguishing-transversal T in an identifiable hypergraph H is a subset T of vertices in H that has a nonempty intersection with every edge of H (that is, T is a transversal in H) such that T distinguishes the edges, that is, \({e \cap T \neq f \cap T}\) for every two distinct edges e and f in H. The distinguishing-transversal number \({\tau_D(H)}\) of H is the minimum size of a distinguishing-transversal in H. We show that if H is a 3-uniform identifiable hypergraph of order n and size m with maximum degree at most 3, then \({20\tau_D(H) \leq 12n + 3m}\) . Using this result, we then show that if G is a twin-free cubic graph on n vertices, then \({\gamma^{\rm IOC}(G) \leq 3n/4}\) . This bound is achieved, for example, by the hypercube.     

On the Lucky Choice Number of Graphs

Suppose that G is a graph and ${f: V (G) \rightarrow \mathbb{N}}$ is a labeling of the vertices of G. Let S(v) denote the sum of labels over all neighbors of the vertex v in G. A labeling f of G is called lucky if ${S(u) \neq S(v),}$ for every pair of adjacent vertices u and v. Also, for each vertex ${v \in V(G),}$ let L(v) denote a list of natural numbers available at v. A list lucky labeling, is a lucky labeling f such that ${f(v) \in L(v),}$ for each ${v \in V(G).}$ A graph G is said to be lucky k-choosable if every k-list assignment of natural numbers to the vertices of G permits a list lucky labeling of G. The lucky choice number of G, η _l (G), is the minimum natural number k such that G is lucky k-choosable. In this paper, we prove that for every graph G with ${\Delta \geq 2, \eta_{l}(G) \leq \Delta^2-\Delta + 1,}$ where Δ denotes the maximum degree of G. Among other results we show that for every 3-list assignment to the vertices of a forest, there is a list lucky labeling which is a proper vertex coloring too.     

Stability Number and f-Factors in Graphs

Let ${f:V \longrightarrow N}$ be an integer function. An f-factor is a spanning subgraph of a graph G = (V,E) whose vertices have degrees defined by f. In this paper, we prove sufficient condition for the existence of a f-factor which involves the stability number, the minimum degree of G or the connectivity of the graph.     

Partitioning 2-edge-colored graphs by monochromatic paths and cycles

We present results on partitioning the vertices of 2-edge-colored graphs into monochromatic paths and cycles. We prove asymptotically the two-color case of a conjecture of Sárközy: the vertex set of every 2-edge-colored graph can be partitioned into at most 2α(G) monochromatic cycles, where α(G) denotes the independence number of G. Another direction, emerged recently from a conjecture of Schelp, is to consider colorings of graphs with given minimum degree. We prove that apart from o(|V (G)|) vertices, the vertex set of any 2-edge-colored graph G with minimum degree at least \(\tfrac{{(1 + \varepsilon )3|V(G)|}} {4}\) can be covered by the vertices of two vertex disjoint monochromatic cycles of distinct colors. Finally, under the assumption that \(\bar G\) does not contain a fixed bipartite graph H, we show that in every 2-edge-coloring of G, |V (G)| ? c(H) vertices can be covered by two vertex disjoint paths of different colors, where c(H) is a constant depending only on H. In particular, we prove that c(C ₄)=1, which is best possible.     

d-strong Edge Colorings of Graphs

For a proper edge coloring of a graph G the palette S(v) of a vertex v is the set of the colors of the incident edges. If S(u) ≠ S(v) then the two vertices u and v of G are distinguished by the coloring. A d-strong edge coloring of G is a proper edge coloring that distinguishes all pairs of vertices u and v with distance 1 ≤ d (u, v) ≤ d. The d-strong chromatic index ${\chi_{d}^{\prime}(G)}$ of G is the minimum number of colors of a d-strong edge coloring of G. Such colorings generalize strong edge colorings and adjacent strong edge colorings as well. We prove some general bounds for ${\chi_{d}^{\prime}(G)}$ , determine ${\chi_{d}^{\prime}(G)}$ completely for paths and give exact values for cycles disproving a general conjecture of Zhang et al. (Acta Math Sinica Chin Ser 49:703–708 2006)).     

Score sequences in oriented graphs

An oriented graph is a digraph with no symmetric pairs of directed arcs and without loops. The score of a vertexv _i in an oriented graph D is $a_{v_i } $ (or simply a_i) $d_{v_i }^ - $ are the outdegree and indegree, respectively, ofv _i and n is the number of vertices in D. In this paper, we give a new proof of Avery’s theorem and obtain some stronger inequalities for scores in oriented graphs. We also characterize strongly transitive oriented graphs.     

A Note on Large Rainbow Matchings in Edge-coloured Graphs

A rainbow subgraph in an edge-coloured graph is a subgraph such that its edges have distinct colours. The minimum colour degree of a graph is the smallest number of distinct colours on the edges incident with a vertex over all vertices. Kostochka, Pfender, and Yancey showed that every edge-coloured graph on n vertices with minimum colour degree at least k contains a rainbow matching of size at least k, provided ${n\geq \frac{17}{4}k^2}$ . In this paper, we show that n ≥ 4k ? 4 is sufficient for k ≥ 4.     

Connected Resolvability of Graphs

For an ordered set W = {w ₁, w ₂,..., w _k} of vertices and a vertex v in a connected graph G, the representation of v with respect to W is the k-vector r(v|W) = (d(v, w ₁), d(v, w ₂),... d(v, w _k)), where d(x, y) represents the distance between the vertices x and y. The set W is a resolving set for G if distinct vertices of G have distinct representations with respect to W. A resolving set for G containing a minimum number of vertices is a basis for G. The dimension dim(G) is the number of vertices in a basis for G. A resolving set W of G is connected if the subgraph 〈W〉 induced by W is a nontrivial connected subgraph of G. The minimum cardinality of a connected resolving set in a graph G is its connected resolving number cr(G). Thus 1 ≤ dim(G) ≤ cr(G) ≤ n?1 for every connected graph G of order n ≥ 3. The connected resolving numbers of some well-known graphs are determined. It is shown that if G is a connected graph of order n ≥ 3, then cr(G) = n?1 if and only if G = K _n or G = K _1,n?1. It is also shown that for positive integers a, b with a ≤ b, there exists a connected graph G with dim(G) = a and cr(G) = b if and only if $\left( {a,b} \right) \notin \left\{ {\left( {1,k} \right):k = 1\;{\text{or}}\;k \geqslant 3} \right\}$ Several other realization results are present. The connected resolving numbers of the Cartesian products G × K ₂ for connected graphs G are studied.     

Degree Sum Conditions for Hamiltonicity on k-Partite Graphs

One of the earliest results about hamiltonian graphs was given by Dirac. He showed that if a graph G has order p and minimum degree at least \(\frac{p} {2}\) then G is hamiltonian. Moon and Moser showed that if G is a balanced bipartite graph (the two partite sets have the same order) with minimum degree more than \(\frac{p} {4}\) then G is hamiltonian. Recently their idea is generalized to k-partite graphs by Chen, Faudree, Gould, Jacobson, and Lesniak in terms of minimum degrees. In this paper, we generalize this result in terms of degree sum and the following result is obtained: Let G be a balanced k-partite graph with order kn. If for every pair of nonadjacent vertices u and v which are in different parts $$d(u) + d(v) > \left\{ {\begin{array}{*{20}c} {\left( {k - \frac{2} {{k + 1}}} \right)n} & {if k is odd} \\ {\left( {k - \frac{4} {{k + 2}}} \right)n} & {if k is even} \\ \end{array} } \right.,$$ then G is hamiltonian.     

A spectral approach to polyhedral dimension

Thespectrum spec( ) of a convex polytope is defined as the ordered (non-increasing) list of squared singular values of [A|1], where the rows ofA are the extreme points of . The number of non-zeros in spec( ) exceeds the dimension of by one. Hence, the dimension of a polytope can be established by determining its spectrum. Indeed, this provides a new method for establishing the dimension of a polytope, as the spectrum of a polytope can be established without appealing to a direct proof of its dimension. The spectrum is determined for the four families of polytopes defined as the convex hulls of:

1. The edge-incidence vectors of cutsets induced by balanced bipartitions of the vertices in the complete undirected graph on 2_q vertices (see Section 6).
2. The edge-incidence vectors of Hamiltonian tours in the complete undirected graph onn vertices (see Section 6).
3. The arc-incidence vectors of directed Hamiltonian tours in the complete directed graph ofn nodes (see Section 7).
4. The edge-incidence vectors of perfect matchings in the complete 3-uniform hypergraph on 3_q vertices (see Section 8).

In the cases of (ii) and (iii), the associated dimension results are well-known. The dimension results for (i) and (iv) do not seem to be well-known. General principles are discussed for ‘balanced polytopes’ arising from complete structures.     

Additive Coloring of Planar Graphs

An additive coloring of a graph G is an assignment of positive integers \({\{1,2,\ldots ,k\}}\) to the vertices of G such that for every two adjacent vertices the sums of numbers assigned to their neighbors are different. The minimum number k for which there exists an additive coloring of G is denoted by \({\eta (G)}\) . We prove that \({\eta (G) \, \leqslant \, 468}\) for every planar graph G. This improves a previous bound \({\eta (G) \, \leqslant \, 5544}\) due to Norin. The proof uses Combinatorial Nullstellensatz and the coloring number of planar hypergraphs. We also demonstrate that \({\eta (G) \, \leqslant \, 36}\) for 3-colorable planar graphs, and \({\eta (G) \, \leqslant \, 4}\) for every planar graph of girth at least 13. In a group theoretic version of the problem we show that for each \({r \, \geqslant \, 2}\) there is an r-chromatic graph G _r with no additive coloring by elements of any abelian group of order r.     

On Eccentric Connectivity Index of Eccentric Graph of Regular Dendrimer

The eccentric connectivity index \(\xi ^c(G)\) of a connected graph G is defined as \(\xi ^c(G) =\sum _{v \in V(G)}{deg(v) e(v)},\) where deg(v) is the degree of vertex v and e(v) is the eccentricity of v. The eccentric graph, \(G_e\), of a graph G has the same set of vertices as G,  with two vertices u, v adjacent in \(G_e\) if and only if either u is an eccentric vertex of v or v is an eccentric vertex of u. In this paper, we obtain a formula for the eccentric connectivity index of the eccentric graph of a regular dendrimer. We also derive a formula for the eccentric connectivity index for the second iteration of eccentric graph of regular dendrimer.     

New upper bounds on linear coloring of planar graphs

A proper vertex coloring of a graph G is linear if the graph induced by the vertices of any two color classes is the union of vertex-disjoint paths. The linear chromatic number lc(G) of the graph G is the smallest number of colors in a linear coloring of G. In this paper, it is proved that every planar graph G with girth g and maximum degree Δ has(1)lc(G) ≤Δ 21 if Δ≥ 9; (2)lc(G) ≤「Δ/2」 + 7 ifg ≥ 5; (3) lc(G) ≤「Δ/2」 + 2 ifg ≥ 7 and Δ≥ 7.     

A Liouville comparison principle for sub- and super-solutions of the equation w t −Δ p (w) = |w| q-1 w

We establish a Liouville comparison principle for entire weak sub- and super-solutions of the equation (*) w _t ?Δ _p (w) =  |w| ^q-1 w in the half-space ${\mathbb {S}= \mathbb {R}^1_+\times \mathbb {R}^n}$ , where n ≥ 1, q > 0, and ${ \Delta_p(w) := {\rm div}_x \left(|\nabla_x w|^{p-2}\nabla_x w \right)}$ , 1 < p ≤ 2. In our study we impose neither restrictions on the behaviour of entire weak sub- and super-solutions of (*) on the hyper-plane t = 0, nor any growth conditions on their behaviour and on that of any of their partial derivatives at infinity. We prove that if ${1< q \leq p-1+\frac {p}{n}}$ and u and v are, respectively, an entire weak super-solution and an entire weak sub-solution of (*) in ${\mathbb {S}}$ which belong, only locally in ${\mathbb {S}}$ , to the corresponding Sobolev space and are such that u ≥  v, then u ≡ v. The result is sharp. As direct corollaries we obtain known Fujita-type and Liouville-type theorems.     

Circuits of Each Length in Tournaments

A tournament is a directed graph whose underlying graph is a complete graph. A circuit is an alternating sequence of vertices and arcs of the form v ₁, a ₁, v ₂, a ₂, v ₃, . . . , v _n-1, a _n-1, v _n in which vertex v _n  = v ₁, arc a _i  = v _i v _i+1 for i = 1, 2, . . . , n?1, and \({a_i \neq a_j}\) if \({i \neq j}\) . In this paper, we shall show that every tournament T _n in a subclass of tournaments has a circuit of each length k for \({3 \leqslant k \leqslant \theta(T_n)}\) , where \({\theta(T_n) = \frac{n(n-1)}{2}-3}\) if n is odd and \({\theta(T_n) = \frac{n(n-1)}{2}-\frac{n}{2}}\) otherwise. Note that a graph having θ(G) > n can be used as a host graph on embedding cycles with lengths larger than n to it if congestions are allowed only on vertices.     

On the SIG-Dimension of Trees Under the L ∞-Metric

Let ${{\mathcal P},}$ where ${|{\mathcal P}| \geq 2,}$ be a set of points in d-dimensional space with a given metric ρ. For a point ${p \in {\mathcal P},}$ let r _p be the distance of p with respect to ρ from its nearest neighbor in ${{\mathcal P}.}$ Let B(p,r _p ) be the open ball with respect to ρ centered at p and having the radius r _p . We define the sphere-of-influence graph (SIG) of ${{\mathcal P}}$ as the intersection graph of the family of sets ${\{B(p,r_p)\ | \ p\in {\mathcal P}\}.}$ Given a graph G, a set of points ${{\mathcal P}_G}$ in d-dimensional space with the metric ρ is called a d-dimensional SIG-representation of G, if G is isomorphic to the SIG of ${{\mathcal P}_G.}$ It is known that the absence of isolated vertices is a necessary and sufficient condition for a graph to have a SIG-representation under the L _∞-metric in some space of finite dimension. The SIG-dimension under the L _∞-metric of a graph G without isolated vertices is defined to be the minimum positive integer d such that G has a d-dimensional SIG-representation under the L _∞-metric. It is denoted by SIG _∞(G). We study the SIG-dimension of trees under the L _∞-metric and almost completely answer an open problem posed by Michael and Quint (Discrete Appl Math 127:447–460, 2003). Let T be a tree with at least two vertices. For each ${v\in V(T),}$ let leaf-degree(v) denote the number of neighbors of v that are leaves. We define the maximum leaf-degree as ${\alpha(T) = \max_{x \in V(T)}}$ leaf-degree(x). Let ${ S = \{v\in V(T)\|\}}$ leaf-degree{(v) = α}. If |S| = 1, we define β(T) = α(T) ? 1. Otherwise define β(T) = α(T). We show that for a tree ${T, SIG_\infty(T) = \lceil \log_2(\beta + 2)\rceil}$ where β = β (T), provided β is not of the form 2 ^k ? 1, for some positive integer k ≥ 1. If β = 2 ^k ? 1, then ${SIG_\infty (T) \in \{k, k+1\}.}$ We show that both values are possible.     

Some Graphs with Double Domination Subdivision Number Three

A subset ${S \subseteq V(G)}$ is a double dominating set of G if S dominates every vertex of G at least twice. The double domination number dd(G) is the minimum cardinality of a double dominating set of G. The double domination subdivision number sd _dd (G) is the minimum number of edges that must be subdivided (where each edge in G can be subdivided at most once) in order to increase the double domination number. Atapour et al. (Discret Appl Math, 155:1700–1707, 2007) posed an open problem: Prove or disprove: let G be a connected graph with no isolated vertices, then 1 ≤ sd _dd (G) ≤ 2. In this paper, we disprove the problem by constructing some connected graphs with no isolated vertices and double domination subdivision number three.     

Colouring Clique-Hypergraphs of Circulant Graphs

A clique-colouring of a graph G is a colouring of the vertices of G so that no maximal clique of size at least two is monochromatic. The clique-hypergraph, ${\mathcal{H}(G)}$ , of a graph G has V(G) as its set of vertices and the maximal cliques of G as its hyperedges. A vertex-colouring of ${\mathcal{H}(G)}$ is a clique-colouring of G. Determining the clique-chromatic number, the least number of colours for which a graph G admits a clique-colouring, is known to be NP-hard. In this work, we establish that the clique-chromatic number of powers of cycles is equal to two, except for odd cycles of size at least five, that need three colours. For odd-seq circulant graphs, we show that their clique-chromatic number is at most four, and determine the cases when it is equal to two. Similar bounds for the chromatic number of these graphs are also obtained.     

On quasilinear Beltrami-type equations with degeneration

We consider the solvability problem for the equation $f_{\bar z} $ = v(z, f(z))f _z , where the function v(z,w) of two variables may be close to unity. Such equations are called quasilinear Beltrami-type equations with ellipticity degeneration. We prove that, under some rather general conditions on v(z,w), the above equation has a regular homeomorphic solution in the Sobolev classW _loc ^1,1 . Moreover, such solutions f satisfy the inclusion f ^?1 ∈ W _loc ^1,2 .