arXiv++ Combinatorics

Graph operations or products, such as triangulation and Kronecker product have been extensively applied to model complex networks with striking properties observed in real-world complex systems. In this paper, we study hitting times and resistance distances of $q$-triangulation graphs. For a simple connected graph $G$, its $q$-triangulation graph $R_q(G)$ is obtained from $G$ by performing the $q$-triangulation operation on $G$. That is, for every edge $uv$ in $G$, we add $q$ disjoint paths of length $2$, each having $u$ and $v$ as its ends. We first derive the eigenvalues and eigenvectors of normalized adjacency matrix of $R_q(G)$, expressing them in terms of those associated with $G$. Based on these results, we further obtain some interesting quantities about random walks and resistance distances for $R_q(G)$, including two-node hitting time, Kemeny's constant, two-node resistance distance, Kirchhoff index, additive degree-Kirchhoff index, and multiplicative degree-Kirchhoff index. Finally, we provide exact formulas for the aforementioned quantities of iterated $q$-triangulation graphs, using which we provide closed-form expressions for those quantities corresponding to a class of scale-free small-world graphs, which has been applied to mimic complex networks.

Finding a Hamilton graph from simple connected graphs is an important problem in discrete mathematics and computer science. Grinberg Theorem is a well-known necessary condition for planar Hamilton graphs. It divides a plane into two parts: inside and outside faces. The sum of inside faces in a Hamilton graph is a Hamilton cycle. In this paper, using a basis of the cycle space to represent a graph and by the Inclusion-Exclusion Principle, we derive the equality with respect to the inside faces that can be also obtained from Grinberg Theorem. By further investigating the cycle structure of inside faces, we give a new combinatorial interpretation to Grinberg's condition, which explains why Grinberg Theorem is not sufficient for Hamilton graphs. Our results will improve deriving an efficient condition for Hamilton graphs.

Let $G=(V,E)$ be a simple connected graph. A perfect matching (or Kekulé structure in chemical literature) of $G$ is a set of disjoint edges which covers all vertices of $G$. The anti-forcing number of $G$ is the smallest number of edges such that the remaining graph obtained by deleting these edges has a unique perfect matching and is denoted by $af(G)$. For every $m\in\mathbb{N}$, the $m$th power of $G$, denoted by $G^m$, is a graph with the same vertex set as $G$ such that two vertices are adjacent in $G^m$ if and only if their distance is at most $m$ in $G$. In this paper, we study the anti-forcing number of the powers of some graphs.

By finding orthogonal representation for a family of simple connected called $δ$-graphs it is possible to show that $δ$-graphs satisfy delta conjecture. An extension of the argument to graphs of the form $\overline{P_{Δ(G)+2}\sqcup G}$ where $P_{Δ(G)+2}$ is a path and $G$ is a simple connected graph it is possible to find an orthogonal representation of $\overline{P_{Δ(G)+2}\sqcup G}$ in $\mathbb{R}^{Δ(G)+1}$. As a consequence we prove delta conjecture.

In this paper we give a technique to represent simple connected graphs by using Clockwise Circular Representations and we show its applications by calculating orthogonal representations of simple connected graphs which are essentials in matrix analysis and graph theory.

Let $G=(V,E)$ be a simple connected graph. A matching of $G$ is a set of disjoint edges of $G$. For every $n, m\in\mathbb{N}$, the $n$-subdivision of $G$ is a simple graph $G^{\frac{1}{n}}$ which is constructed by replacing each edge of $G$ with a path of length $n$ and the $m$th power of $G$, denoted by $G^m$, is a graph with the same vertex set as $G$ such that two vertices are adjacent in $G^m$ if and only if their distance is at most $m$ in $G$. The $m^{th}$ power of the $n$-subdivision of $G$ has been introduced as a fractional power of $G$ and is denoted by $G^{\frac{m}{n}}$. In this paper, we study some parameters related to matching of the natural and the fractional powers of some specific graphs. Also we study these parameters for power of graphs that are importance of in Chemistry.

We show the minimum spectral gap of the normalized Laplacian over all simple, connected graphs on $n$ vertices is $(1+o(1))\tfrac{54}{n^3}$. This minimum is achieved asymptotically by a double kite graph. Consequently, this leads to sharp upper bounds for the maximum relaxation time of a random walk, settling a conjecture of Aldous and Fill. We also improve an eigenvalue-diameter inequality by giving a new lower bound for the spectral gap of the normalized Laplacian. This eigenvalue lower bound is asymptotically best possible.

The \emph{resistance matrix} of a simple connected graph $G$ is denoted by $R$, and is defined by $R =(r_{ij})$, where $r_{ij}$ is the resistance distance between the vertices $i$ and $j$ of $G$. In this paper, we consider the resistance matrix of weighted graph with edge weights being positive definite matrices of same size. We derive a formula for the determinant and the inverse of the resistance matrix. Then, we establish an interlacing inequality for the eigenvalues of resistance and Laplacian matrices. Using this interlacing inequality, we obtain the inertia of the resistance matrix.

The recently introduced $\{k\}$-packing function problem is considered in this paper. Special relation between a case when $k=1$, $k\ge 2$ and linear programming relaxation is introduced with sufficient conditions for optimality. For arbitrary simple connected graph $G$ there is construction procedure for finding values of $k$ for which $L_{\{k\}}(G)$ can be determined in the polynomial time. Additionally, relationship between $\{1\}$-packing function and independent set number is established. Optimal values for some special classes of graphs and general upper and lower bounds are introduced.

Let $G$ and $H$ be simple 3-connected graphs such that $G$ has an $H$-minor. An edge $e$ in $G$ is called {\it $H$-deletable} if $G\backslash e$ is 3-connected and has an $H$-minor. The main result in this paper establishes that, if $G$ has no $H$-deletable edges, then there exists a sequence of simple 3-connected graphs $G_0, \dots , G_k$ with no $H$-deletable edges such that $G_0\cong H$, $G_k= G$, and for $1 \le i \le k$ one of three possibilities holds: $G_{i-1}= G_i/f$; $G_{i-1}=G_i/f \backslash e$ where $e$ and $f$ are incident to a degree 3 vertex in $G_i$; or $G_{i-1}=G_i-w$ where $w$ is a degree $3$ vertex in $G_i$. Several applications are given including a graph theoretic proof of the matroid theory result known as the Strong Splitter Theorem, a short new proof of Dirac's characterization of 3-connected graphs with no minor isomorphic to the prism graph, and an extension of a result by Halin that bounds the number of edges in a minimally 3-connected graph. Halin proved that if $G$ is a minimally $3$-connected graph on $n\ge 8$ vertices, then $|E(G)|\le 3n-9$ and equality holds if and only if $G\cong K_{3, n-3}$. We give a different proof of Halin's result and extend it by identifying the minimally 3-connected infinite family of graphs with $|E(G)|=3n-10$.

Let $G=(V,E)$ be a simple connected graph. A matching $M$ in a graph $G$ is a collection of edges of $G$ such that no two edges from $M$ share a vertex. A matching $M$ is maximal if it cannot be extended to a larger matching in $G$. The cardinality of any smallest maximal matching in $G$ is the saturation number of $G$ and is denoted by $s(G)$. In this paper we study the saturation number of the corona product of two specific graphs. We also consider some graphs with certain constructions that are of importance in chemistry and study their saturation number.

One of the most famous applications of Graph Theory is in the field of Channel Assignment Problems. There are varieties of graph colouring concepts that are used for different requirements of frequency assignments in communication channels. We introduce here L(t, 1)-colouring of graphs. This has its foundation in T-colouring and L(p, q)-colouring. For a given finite set T including zero, an L(t, 1)-colouring of a graph G is an assignment of non-negative integers to the vertices of G such that the difference between the colours of adjacent vertices must not belong to the set T and the colours of vertices that are at distance two must be distinct. The variable t in L(t, 1) denotes the elements of the set T. For a graph G, the L(t, 1)-span of G is the minimum of the highest colour used to colour the vertices of a graph out of all the possible L(t, 1)-colourings. It is denoted by $λ_{t,1} (G)$. We study some properties of L(t, 1)-colouring. We also find upper bounds of $λ_{t,1} (G)$ of selected simple connected graphs.

The \emph{distance matrix} of a simple connected graph $G$ is $D(G)=(d_{ij})$, where $d_{ij}$ is the distance between the vertices $i$ and $j$ in $G$. We consider a weighted tree $T$ on $n$ vertices with edge weights are square matrix of same size. The distance $d_{ij}$ between the vertices $i$ and $j$ is the sum of the weight matrices of the edges in the unique path from $i$ to $j$. In this article we establish a characterization for the trees in terms of rank of (matrix) weighted Laplacian matrix associated with it. Then we establish a necessary and sufficient condition for the distance matrix $D$, with matrix weights, to be invertible and the formula for the inverse of $D$, if it exists. Also we study some of the properties of the distance matrices of matrix weighted trees in connection with the Laplacian matrices, g-inverses and eigenvalues.

The distinguishing number (index) $D(G)$ ($D'(G)$) of a graph $G$ is the least integer $d$ such that $G$ has an vertex labeling (edge labeling) with $d$ labels that is preserved only by a trivial automorphism. A graphoidal cover of $G$ is a collection $ψ$ of (not necessarily open) paths in $G$ such that every path in $ψ$ has at least two vertices, every vertex of $G$ is an internal vertex of at most one path in $ψ$ and every edge of $G$ is in exactly one path in $ψ$. Let $Ω(G,ψ)$ denote the intersection graph of $ψ$. A graph $H$ is called a graphoidal graph, if there exists a graph $G$ and a graphoidal cover $ψ$ of $G$ such that $H\cong Ω(G, ψ)$. In this paper, we study the distinguishing number and the distinguishing index of the line graph and the graphoidal graph of a simple connected graph $G$.

A $k$-antimagic labeling of a graph $G$ is an injection from $E(G)$ to $\{1,2,\dots,|E(G)|+k\}$ such that all vertex sums are pairwise distinct, where the vertex sum at vertex $u$ is the sum of the labels assigned to edges incident to $u$. We call a graph $k$-antimagic when it has a $k$-antimagic labeling, and antimagic when it is 0-antimagic. Hartsfield and Ringel conjectured that every simple connected graph other than $K_2$ is antimagic, but the conjecture is still open even for trees. Here we study $k$-antimagic labelings of caterpillars, which are defined as trees the removal of whose leaves produces a path, called its spine. As a general result, we use constructive techniques to prove that any caterpillar of order $n$ is $(\lfloor (n-1)/2 \rfloor - 2)$-antimagic. Furthermore, if $C$ is a caterpillar with a spine of order $s$, we prove that when $C$ has at least $\lfloor (3s+1)/2 \rfloor$ leaves or $\lfloor (s-1)/2 \rfloor$ consecutive vertices of degree at most 2 at one end of a longest path, then $C$ is antimagic. As a consequence of a result by Wong and Zhu, we also prove that if $p$ is a prime number, any caterpillar with a spine of order $p$, $p-1$ or $p-2$ is $1$-antimagic.

We study $M$-alternating Hamilton paths and $M$-alternating Hamilton cycles in a simple connected graph $G$ on $ν$ vertices with a perfect matching $M$. Let $G$ be a bipartite graph, we prove that if for any two vertices $x$ and $y$ in different parts of $G$, $d(x)+d(y)\geq ν/2+2$, then $G$ has an $M$-alternating Hamilton cycle. For general graphs, a condition for the existence of an $M$-alternating Hamilton path starting and ending with edges in $M$ is put forward. Then we prove that if $κ(G)\geqν/2$, where $κ(G)$ denotes the connectivity of $G$, then $G$ has an $M$-alternating Hamilton cycle or belongs to one class of exceptional graphs. Lou and Yu \cite{LY} have proved that every $k$-extendable graph $H$ with $k\geqν/4$ is bipartite or satisfies $κ(H)\geq 2k$. Combining this result with those we obtain we prove the existence of $M$-alternating Hamilton cycles in $H$.

In this paper, we give a relationship between the covering number of a simple graph $G$, $β(G)$, and a new parameter associated to $G$ which is called 2-degree-packing number of $G$, $ν_2(G)$. We prove that$$\lceil ν_{2}(G)/2\rceil\leqβ(G)\leqν_2(G)-1,$$ for any connected simple graph $G$, with $|E(G)|>ν_2(G)$, and we give a characterization of simple connected graphs which attains the inequalities.

A dominating set of a graph $G$ is a set $D\subseteq V(G)$ such that \-every vertex of $G$ is either in $D$ or is adjacent to a vertex in $D$. The domination number of $G$, $γ(G)$, is the minimum order of a dominating set. A subset $R$ of edges of a graph $G$ is a 2-degree-packing, if any three edges from $R$ do not have the same incident vertex. The 2-degree-packing number of $G$, $ν_2(G)$, is the maximum order of a 2-degree-packing of $G$. In this paper, we prove that any simple graph $G$ satisfies $γ(G)\leqν_2(G)-1$. Furthermore, we give a characterization of simple connected graphs $G$ satisfying $γ(G)=ν_2(G)-1$.

Let $δ$ and $Δ$ be the minimum and the maximum degree of the vertices of a simple connected graph $G$, respectively. The distinguishing index of a graph $G$, denoted by $D'(G)$, is the least number of labels in an edge labeling of $G$ not preserved by any non-trivial automorphism. Motivated by a conjecture by Pilśniak (2017) that implies that for any $2$-connected graph $D'(G) \leq \lceil \sqrt{Δ(G)}\rceil +1$, we prove that for any graph $G$ with $δ\geq 2$, $D'(G) \leq \lceil \sqrt[δ]{Δ}\rceil +1$. Also, we show that the distinguishing index of $k$-regular graphs is at most $2$, for any $k\geq 5$.

The Wiener index W(G) of a simple connected graph G is defined as the sum of distances over all pairs of vertices in a graph. We denote by W[T_{n}] the set of all values of Wiener index for a graph from class T_{n} of trees on n vertices. The largest interval of contiguous integers (contiguous even integers in case of odd n) is denoted by W^{int}[T_{n}]. In this paper we prove that both sets are of the cardinality (1/6)n^3+O(n^2) in the case of even n, while in the case of odd n we prove that the cardinality of both sets equals (1/(12))n^3+O(n^2) solving thus two conjectures posed in literature.