arXiv++ Combinatorics

Rubalcaba and Slater (Robert R. Rubalcaba and Peter J. Slater. Efficient (j,k)-domination. Discuss. Math. Graph Theory, 27(3):409-423, 2007.) define a $(j,k)$-dominating function on graph $X$ as a function $f:V(X)\rightarrow \{0,\ldots,j\}$ so that for each $v\in V(X)$, $f(N[v])\geq k$, where $N[v]$ is the closed neighbourhood of $v$. Such a function is efficient if all of the vertex inequalities are met with equality. They give a simple necessary condition for efficient domination, namely: if $X$ is an $r$-regular graph on $n$ vertices that has an efficient $(1,k)$-dominating function, then the size of the corresponding dominating set divides $n\cdot k$. The Hamming graph $H(q,d)$ is the graph on the vectors $\mathbb{Z}_q^d$ where two vectors are adjacent if and only if they are at Hamming distance $1$. We show that if $q$ is prime, then the previous necessary condition is sufficient for $H(q,d)$ to have an efficient $(1,k)$-dominating function. This result extends a result of Lee (Jaeun Lee. Independent perfect domination sets in Cayley graphs. J. Graph Theory, 37(4):213-219, 2001.) on independent perfect domination in Cayley graphs. We mention difficulties that arise for $H(q,d)$ when $q$ is a prime power but not prime.

The work in this thesis concerns the investigation of eigenvalues of the Laplacian matrix, normalized Laplacian matrix, signless Laplacian matrix and distance signless Laplacian matrix of graphs. In Chapter 1, we present a brief introduction of spectral graph theory with some definitions. Chapter $2$ deals with the sum of $ k $ largest Laplacian eigenvalues $ S_{k}(G) $ of graph $ G $ and Brouwer's conjecture. We obtain the upper bounds for $ S_{k}(G) $ for some classes of graphs and use them to verify Brouwer's conjecture for these classes of graphs. Also, we prove Brouwer's conjecture for more general classes of graphs. In Chapter $3$, we investigate the Laplacian eigenvalues of graphs and the Laplacian energy conjecture for trees. We prove the Laplacian energy conjecture completely for trees of diameter $ 4 $. Further, we prove this conjecture for all trees having at most $ \frac{9n}{25}-2 $ non-pendent vertices. Also, we obtain the sufficient conditions for the truth of conjecture for trees of order $ n $. In Chapter $4$, we determine the normalized Laplacian spectrum of the joined union of regular graphs and obtain the spectrum of some well known graphs. As consequences of joined union, we obtain the normalized Laplacian spectrum of power graphs associated to finite cyclic groups. In Chapter $5$, we find the distance signless Laplacian spectrum of regular graphs and zero-divisor graphs associated to finite commutative ring. Also, we find the bounds for spectral radius of generalized distance matrix. Further, we obtain the generalized distance energy for bipartite graphs and trees. We prove that the complete bipartite graph has minimum generalized distance energy among all connected bipartite graphs. Besides, for $ α\in \big(0, \frac{2n}{3n-2}\big) $, we show that the star graph has minimum generalized distance energy among all trees.

Let $\mathcal{G}(k)$ denote the set of connected $k$-regular graphs $G$, $k\geq2$, where the number of vertices at distance 2 from any vertex in $G$ does not exceed $k$. Asratian (2006) showed (using other terminology) that a graph $G\in\mathcal{G}(k)$ is Hamiltonian if for each vertex $u$ of $G$ the subgraph induced by the set of vertices at distance at most 2 from $u$ is 2-connected. We prove here that in fact all graphs in the sets $\mathcal{G}(3)$, $\mathcal{G}(4)$ and $\mathcal{G}(5)$ are Hamiltonian. We also prove that the problem of determining whether there exists a Hamilton cycle in a graph from $\mathcal{G}(6)$ is NP-complete. Nevertheless we show that every locally connected graph $G\in\mathcal{G}(k)$, $k\geq6$, is Hamiltonian and that for each non-Hamiltonian cycle $C$ in $G$ there exists a cycle $C'$ of length $|V(C)|+\ell$ in $G$, $\ell\in\{1,2\}$, such that $V(C)\subset V(C')$. Finally, we note that all our conditions for Hamiltonicity apply to infinitely many graphs with large diameters.

This article considers a strongly regular graph with parameters (2048,276,44,36) that is related to the extended binary Golay code. That graph is known since about 1975 but there seems to be not much information on the contained maximal cocliques. The source package of this article contains a data file that encodes a sequence of maximal independence sets of that graph, covering all sizes from 20 to 67 and the size 72, and a Pascal program to check this assertion and to optionally generate a text file (to be read by the computer algebra system GAP) that contains the adjacency lists of that graph and the list of the independence sets.

Given an edge-coloring of a graph, the palette of a vertex is defined as the set of colors of the edges which are incident with it. We define the palette index of a graph as the minimum number of distinct palettes, taken over all edge-colorings, occurring among the vertices of the graph. Several results about the palette index of some specific classes of graphs are known. In this paper we propose a different approach that leads to new and more general results on the palette index. Our main theorem gives a sufficient condition for a graph to have palette index larger than its minimum degree. In the second part of the paper, by using such a result, we answer to two open problems on this topic. First, for every $r$ odd, we construct a family of $r$-regular graphs with palette index reaching the maximum admissible value. After that, we construct the first known family of simple graphs whose palette index grows quadratically with respect to their maximum degree.

A magic labelling of a graph $G$ with magic sum $s$ is a labelling of the edges of $G$ by nonnegative integers such that for each vertex $v\in V$, the sum of labels of all edges incident to $v$ is equal to the same number $s$. Stanley gave remarkable results on magic labellings, but the distinct labelling case is much more complicated. We consider the complete construction of all magic labellings of a given graph $G$. The idea is illustrated in detail by dealing with three regular graphs. We give combinatorial proofs. The structure result was used to enumerate the corresponding magic distinct labellings.

Given a graph $G$, a dominating set of $G$ is a set $S$ of vertices such that each vertex not in $S$ has a neighbor in $S$. The domination number of $G$, denoted $γ(G)$, is the minimum size of a dominating set of $G$. The independent domination number of $G$, denoted $i(G)$, is the minimum size of a dominating set of $G$ that is also independent. Note that every graph has an independent dominating set, as a maximal independent set is equivalent to an independent dominating set. Let $G$ be a connected $k$-regular graph that is not $K_{k, k}$ where $k\geq 4$. Generalizing a result by Lam, Shiu, and Sun, we prove that $i(G)\le \frac{k-1}{2k-1}|V(G)|$, which is tight for $k = 4$. This answers a question by Goddard et al. in the affirmative. We also show that $\frac{i(G)}{γ(G)} \le \frac{k^3-3k^2+2}{2k^2-6k+2}$, strengthening upon a result of Knor, Škrekovski, and Tepeh. In addition, we prove that a graph $G'$ with maximum degree at most $4$ satisfies $i(G') \le \frac{5}{9}|V(G')|$, which is also tight.

The 1-2-3 Conjecture, posed by Karoński, Łuczak and Thomason, asked whether every connected graph $G$ different from $K_2$ can be 3-edge-weighted so that every two adjacent vertices of $G$ get distinct sums of incident weights. The 1-2 Conjecture states that if vertices also receive colors and the vertex color is added to the sum of its incident edges, then adjacent vertices can be distinguished using only $\{ 1,2\}$. In this paper we confirm 1-2 Conjecture for 3-regular graphs. Meanwhile, we show that every 3-regular graph can achieve a neighbor sum distinguishing edge coloring by using 4 colors, which answers 1-2-3 Conjecture positively.

We survey the area of strongly regular graphs satisfying the 4-vertex condition and find several new families. We describe a switching operation on collinearity graphs of polar spaces that produces cospectral graphs. The obtained graphs satisfy the 4-vertex condition if the original graph belongs to a symplectic polar space.

For a simple connected graph $ G $ of order $ n $, the normalized Laplacian is a square matrix of order $ n $, defined as $\mathcal{L}(G)= D(G)^{-\frac{1}{2}}L(G)D(G)^{-\frac{1}{2}}$, where $ D(G)^{-\frac{1}{2}} $ is the diagonal matrix whose $ i$-th diagonal entry is $ \frac{1}{\sqrt{d_{i}}} $. In this article, we find the normalized Laplacian eigenvalues of the joined union of regular graphs in terms of the adjacency eigenvalues and the eigenvalues of quotient matrix associated with graph $ G $. For a finite group $\mathcal{G}$, the power graph $\mathcal{P}(\mathcal{G})$ of a group $ \mathcal{G} $ is defined as the simple graph in which two distinct vertices are joined by an edge if and only if one is the power of other. As a consequence of the joined union of graphs, we investigate the normalized Laplacian eigenvalues of power graphs of finite cyclic group $ \mathbb{Z}_{n}. $

We analyse an extremal question on the degrees of the link graphs of a finite regular graph, that is, the subgraphs induced by non-trivial spheres. We show that if $G$ is $d$-regular and connected but not complete then some link graph of $G$ has minimum degree at most $\lfloor 2d/3\rfloor-1$, and if $G$ is sufficiently large in terms of $d$ then some link graph has minimum degree at most $\lfloor d/2\rfloor-1$; both bounds are best possible. We also give the corresponding best-possible result for the corresponding problem where subgraphs induced by balls, rather than spheres, are considered. We motivate these questions by posing a conjecture concerning expansion of link graphs in large bounded-degree graphs, together with a heuristic justification thereof.

Following recent work by Kollár and Sarnak, we study gaps in the spectra of large connected cubic and quartic graphs with minimum spectral gap. We focus on two sequences of graphs, denoted $Δ_n$ and $Γ_n$ which are more `symmetric' compared to the other graphs in these two families, respectively. We prove that $(1,\sqrt{5}]$ is a gap interval for $Δ_n$, and $[(-1+\sqrt{17})/2,3]$ is a gap interval for $Γ_n$. We conjecture that these two are indeed maximal gap intervals. As a by-product, we show that the eigenvalues of $Δ_n$ lying in the interval $[-3,-\sqrt{5}]$ (in particular, its minimum eigenvalue) converge to $(1-\sqrt{33})/2$ and the eigenvalues of $Γ_n$ lying in the interval $[-4,-(1+\sqrt{17})/2]$ (and in particular, its minimum eigenvalue) converge to $1-\sqrt{13}$ as $n$ tends to infinity. The proofs of the above results heavily depend on the following property which can be of independent interest: with few exceptions, all the eigenvalues of connected cubic and quartic graphs with minimum spectral gap are simple.

An open packing in a graph $G$ is a set $S$ of vertices in $G$ such that no two vertices in $S$ have a common neighbor in $G$. The injective chromatic number $χ_i(G)$ of $G$ is the smallest number of colors assigned to vertices of $G$ such that each color class is an open packing. Alternatively, the injective chromatic number of $G$ is the chromatic number of the two-step graph of $G$, which is the graph with the same vertex set as $G$ in which two vertices are adjacent if they have a common neighbor. The concept of injective coloring has been studied by many authors, while in the present paper we approach it from two novel perspectives, related to open packings and the two-step graph operation. We prove several general bounds on the injective chromatic number expressed in terms of the open packing number. In particular, we prove that $χ_{i}(G)\geq \frac{1}{2}+\sqrt{\frac{1}{4}+\frac{2m-n}{\opack}}$ holds for any connected graph $G$ of order $n\geq2$, size $m$, and the open packing number $\opack$, and characterize the class of graphs attaining the bound. Regarding the well-known bound $χ_i(G)\ge Δ(G)$, we describe the family of extremal graphs and prove that deciding when the equality holds (even for regular graphs) is NP-complete, solving an open problem from an earlier paper. Next, we consider the chromatic number of the two-step graph of a graph, and compare it with the clique number and the maximum degree of the graph. We present two large families of graphs in which $χ_i(G)$ equals the cardinality of a largest clique of the two-step graph of $G$. Finally, we consider classes of graphs that admit an injective coloring in which all color classes are maximal open packings. We give characterizations of three subclasses of these graphs among graphs with diameter $2$, and find a partial characterization of hypercubes with this property.

A $k$-regular graph is called a divisible design graph (DDG for short) if its vertex set can be partitioned into $m$ classes of size $n$, such that two distinct vertices from the same class have exactly $λ_1$ common neighbors, and two vertices from different classes have exactly $λ_2$ common neighbors. $4\times n$-lattice graph is the line graph of $K_{4,n}$. This graph is a DDG with parameters $(4n,n+2,n-2,2,4,n)$. In the paper we consider DDGs with these parameters. We prove that if $n$ is odd then such graph can only be a $4\times n$-lattice graph. If $n$ is even we characterise all DDGs with such parameters. Moreover, we characterise all DDGs with parameters $(4n,3n-2,3n-6,2n-2,4,n)$ which are related to $4\times n$-lattice graphs.

Let $m\ge 1$ be an integer and $G$ be a graph with $m$ edges. We say that $G$ has an antimagic orientation if $G$ has an orientation $D$ and a bijection $τ:A(D)\rightarrow \{1,2,\ldots,m\}$ such that no two vertices in $D$ have the same vertex-sum under $τ$, where the vertex-sum of a vertex $v$ in $D$ under $τ$ is the sum of labels of all arcs entering $v$ minus the sum of labels of all arcs leaving $v$. Hefetz, Mütze and Schwartz [J. Graph Theory, 64: 219-232, 2010] conjectured that every connected graph admits an antimagic orientation. The conjecture was confirmed for certain classes of graphs such as regular graphs, graphs with minimum degree at least 33, bipartite graphs with no vertex of degree zero or two, and trees including caterpillars and complete $k$-ary trees. We prove that every subdivided caterpillar admits an antimagic orientation, where a subdivided caterpillar is a subdivision of a caterpillar $T$ such that the edges of $T$ that are not on the central path of $T$ are subdivided the same number of times.

Considering regular graphs with every edge in a triangle we prove lower bounds for the number of triangles in such graphs. For r-regular graphs with r <= 5 we exhibit families of graphs with exactly that number of triangles and then classify all such graphs using line graphs and even cycle decompositions. Examples of ways to create such r-regular graphs with r >= 6 are also given. In the 5-regular case, these minimal graphs are proven to be the only regular graphs with every edge in a triangle which cannot have an edge removed and still have every edge in a triangle.

In this paper, we show that if G is strongly regular then the Gallai graph and the anti-Gallai graph of G are edge-regular. We also identify conditions under which the Gallai and anti-Gallai graphs are themselves strongly regular, as well as conditions under which they are 2-connected. We include also a number of concrete examples and a discussion of spectral properties of the Gallai and anti-Gallai graphs.

We derive combinatorial necessary conditions for discrete-time quantum walks defined by regular mixed graphs to be periodic. If the quantum walk is periodic, all the eigenvalues of the time evolution matrices must be algebraic integers. Focusing on this, we explore which ring the coefficients of the characteristic polynomials should belong to. On the other hand, the coefficients of the characteristic polynomials of $η$-Hermitian adjacency matrices have combinatorial implications. From these, we can find combinatorial implications in the coefficients of the characteristic polynomials of the time evolution matrices, and thus derive combinatorial necessary conditions for mixed graphs to be periodic. For example, if a $k$-regular mixed graph with $n$ vertices is periodic, then $2n/k$ must be an integer. As an application of this work, we determine periodicity of mixed complete graphs and mixed graphs with a prime number of vertices.

Graph colorings is a fundamental topic in graph theory that require an assignment of labels (or colors) to vertices or edges subject to various constraints. We focus on the harmonious coloring of a graph, which is a proper vertex coloring such that for every two distinct colors i, j at most one pair of adjacent vertices are colored with i and j. This type of coloring is edge-distinguishing and has potential applications in transportation network, computer network, airway network system. The results presented in this paper fall into two categories: in the first part of the paper we are concerned with the computational aspects of finding a minimum harmonious coloring and in the second part we determine the exact value of the harmonious chromatic number for some particular graphs and classes of graphs. More precisely, in the first part we show that finding a minimum harmonious coloring for arbitrary graphs is APX-hard, the natural greedy algorithm is a $Ω(\sqrt{n})$-approximation, and, moreover, we show a relationship between the vertex cover and the harmonious chromatic number. In the second part we determine the exact value of the harmonious chromatic number for all 3-regular planar graphs of diameter 3, some non-planar regular graphs and cycle-related graphs.

In this paper, we study asymmetric Ramsey properties of the random graph $G_{n,p}$. Let $r \in \mathbb{N}$ and $H_1, \ldots, H_r$ be graphs. We write $G_{n,p} \to (H_1, \ldots, H_r)$ to denote the property that whenever we colour the edges of $G_{n,p}$ with colours from the set $[r] := \{1, \ldots, r\}$ there exists $i \in [r]$ and a copy of $H_i$ in $G_{n,p}$ monochromatic in colour $i$. There has been much interest in determining the asymptotic threshold function for this property. Rödl and Ruciński determined the threshold function for the general symmetric case; that is, when $H_1 = \cdots = H_r$. A conjecture of Kohayakawa and Kreuter, if true, would fully resolve the asymmetric problem. Recently, the 1-statement of this conjecture was confirmed by Mousset, Nenadov and Samotij. Building on work of Marciniszyn, Skokan, Spöhel and Steger, we reduce the 0-statement of Kohayakawa and Kreuter's conjecture to a certain deterministic subproblem. To demonstrate the potential of this approach, we show this subproblem can be resolved for almost all pairs of regular graphs. This therefore resolves the 0-statement for all such pairs of graphs.