arXiv++ Combinatorics

Let $G = (V,E)$ be a connected simple graph of order $p$ and size $q$. A graph $G$ is called local antimagic if $G$ admits a local antimagic labeling. A bijection $f : E \to \{1,2,\ldots,q\}$ is called a local antimagic labeling of $G$ if for any two adjacent vertices $u$ and $v$, we have $f^+(u) \ne f^+(v)$, where $f^+(u) = \sum_{e\in E(u)} f(e)$, and $E(u)$ is the set of edges incident to $u$. Thus, any local antimagic labeling induces a proper vertex coloring of $G$ if vertex $v$ is assigned the color $f^+(v)$. The local antimagic chromatic number, denoted $χ_{la}(G)$, is the minimum number of induced colors taken over local antimagic labeling of $G$. Let $G$ and $H$ be two vertex disjoint graphs. The join graph of $G$ and $H$, denoted $G \vee H$, is the graph $V(G\vee H) = V(G) \cup V(H)$ and $E(G\vee H) = E(G) \cup E(H) \cup \{uv \,|\, u\in V(G), v \in V(H)\}$. In this paper, we show the existence of non-complete regular graphs with arbitrarily large order, regularity and local antimagic chromatic numbers.

Let $G = (V,E)$ be a connected simple graph of order $p$ and size $q$. A graph $G$ is called local antimagic (total) if $G$ admits a local antimagic (total) labeling. A bijection $g : E \to \{1,2,\ldots,q\}$ is called a local antimagic labeling of $G$ if for any two adjacent vertices $u$ and $v$, we have $g^+(u) \ne g^+(v)$, where $g^+(u) = \sum_{e\in E(u)} g(e)$, and $E(u)$ is the set of edges incident to $u$. Similarly, a bijection $f:V(G)\cup E(G)\to \{1,2,\ldots,p+q\}$ is called a local antimagic total labeling of $G$ if for any two adjacent vertices $u$ and $v$, we have $w_f(u)\ne w_f(v)$, where $w_f(u) = f(u) + \sum_{e\in E(u)} f(e)$. Thus, any local antimagic (total) labeling induces a proper vertex coloring of $G$ if vertex $v$ is assigned the color $g^+(v)$ (respectively, $w_f(u)$). The local antimagic (total) chromatic number, denoted $χ_{la}(G)$ (respectively $χ_{lat}(G)$), is the minimum number of induced colors taken over local antimagic (total) labeling of $G$. In this paper, we determined $χ_{lat}(G)$ where $G$ is the amalgamation of complete graphs.

Let $\mathcal{G} = (\mathcal{V}, \mathcal{E})$ be a simple graph, an $L(2,1)$-labeling of $\mathcal{G}$ is an assignment of labels from nonnegative integers to vertices of $\mathcal{G}$ such that adjacent vertices get labels which differ by at least by two, and vertices which are at distance two from each other get different labels. The $λ$-number of $\mathcal{G}$, denoted by $λ(\mathcal{G})$, is the smallest positive integer $\ell$ such that $\mathcal{G}$ has an $L(2,1)$-labeling with all labels as members of the set $\{0,1, \dots,\ell\}$. The zero-divisor graph of a finite commutative ring $R$ with unity, denoted by $Γ(R)$, is the simple graph whose vertices are all zero divisors of $R$ in which two vertices $u$ and $v$ are adjacent if and only if $uv = 0$ in $R$. In this paper, we investigate $L(2,1)$-labeling of some zero-divisor graphs. We study the partite truncation, a graph operation that allows us to obtain a reduced graph of relatively small order from a graph of significantly larger order. We establish the relation between $λ$-numbers of the graph and its partite truncated one. We make use of the operation partite truncation to contract the zero-divisor graph of a reduced ring to the zero-divisor graph of a Boolean ring.

The Hoffman program with respect to any real or complex square matrix $M$ associated to a graph $G$ stems from Hoffman's pioneering work on the limit points for the spectral radius of adjacency matrices of graphs does not exceed $\sqrt{2+\sqrt{5}}$. A signed graph $\dot{G}=(G,σ)$ is a pair $(G,σ),$ where $G=(V,E)$ is a simple graph and $σ: E(G)\rightarrow \{+1,-1\}$ is the sign function. In this paper, we study the Hoffman program of signed graphs. Here, all signed graphs whose spectral radius does not exceed $\sqrt{2+\sqrt{5}}$ will be identified.

Given a finite simple graph $G$, an odd cover of $G$ is a collection of complete bipartite graphs, or bicliques, in which each edge of $G$ appears in an odd number of bicliques and each non-edge of $G$ appears in an even number of bicliques. We denote the minimum cardinality of an odd cover of $G$ by $b_2(G)$ and prove that $b_2(G)$ is bounded below by half of the rank over $\mathbb{F}_2$ of the adjacency matrix of $G$. We show that this lower bound is tight in the case when $G$ is a bipartite graph and almost tight when $G$ is an odd cycle. However, we also present an infinite family of graphs which shows that this lower bound can be arbitrarily far away from $b_2(G)$. Babai and Frankl (1992) proposed the "odd cover problem," which in our language is equivalent to determining $b_2(K_n)$. Radhakrishnan, Sen, and Vishwanathan (2000) determined $b_2(K_n)$ for an infinite but density zero subset of positive integers $n$. In this paper, we determine $b_2(K_n)$ for a density $3/8$ subset of the positive integers.

The type-PQ adjacency polytope associated to a simple graph is a $0/1$-polytope containing valuable information about an underlying power network. Chen and the first author have recently demonstrated that, when the underlying graph $G$ is connected, the normalized volumes of the adjacency polytopes can be computed by counting sequences of nonnegative integers satisfying restrictions determined by $G$. This article builds upon their work, namely by showing that one of their main results -- the so-called "triangle recurrence" -- applies in a more general setting. Formulas for the normalized volumes when $G$ is obtained by deleting a path or a cycle from a complete graph are also established.

Consider a game played on a simple graph $G = (V,E)$ where each vertex consists of a clickable light. Clicking any vertex $v$ toggles the on/off state of $v$ and its neighbors. One wins the game by finding a sequence of clicks that turns off all the lights. When $G$ is a $5 \times 5$ grid, this game was commercially available from Tiger Electronics as Lights Out. Sutner was one of the first to study these games mathematically. He found that when $d(G) = \text{dim}(\text{ker}(A + I))$ over the field $GF(2)$, where $A$ is the adjacency matrix of $G$, is 0 all initial configurations are solvable. When investigating $n \times n$ grid graphs, Sutner conjectured that $d_{2n+1} = 2d_{n} + δ_{n}, δ_{n} \in \{0,2\}, δ_{2n+1} = δ_{n}$, where $d_n = d(G)$ for $G$ an $n \times n$ grid graph. We resolve this conjecture in the affirmative. We use results from Sutner that give $d_n$ as the GCD of two polynomials in the ring $\mathbb{Z}_2[x]$. We then apply identities from Hunziker, Machiavelo, and Park that relate the polynomials of $(2n+1) \times (2n+1)$ grids and $n \times n$ grids. Finally, we use a result from Ore about the GCD of two products. Together these results allow us to prove Sutner's conjecture. We then go further and show for exactly which values of $n$ $δ_n$ is 0 or 2.

Let $G$ be a connected simple graph with $n$ vertices. The distance Laplacian matrix $D^{L}(G)$ is defined as $D^L(G)=Diag(Tr)-D(G)$, where $Diag(Tr)$ is the diagonal matrix of vertex transmissions and $D(G)$ is the distance matrix of $G$. The eigenvalues of $D^{L}(G)$ are the distance Laplacian eigenvalues of $G$ and are denoted by $\partial_{1}^{L}(G)\geq \partial_{2}^{L}(G)\geq \dots \geq \partial_{n}^{L}(G)$. The largest eigenvalue $\partial_{1}^{L}(G)$ is called the distance Laplacian spectral radius. Lu et al. (2017), Fernandes et al. (2018) and Ma et al. (2018) completely characterized the graphs having some distance Laplacian eigenvalue of multiplicity $n-3$. In this paper, we characterize the graphs having distance Laplacian spectral radius of multiplicity $n-4$ together with one of the distance Laplacian eigenvalue as $n$ of multiplicity either 3 or 2. Further, we completely determine the graphs for which the distance Laplacian eigenvalue $n$ is of multiplicity $n-4$.

We consider a set-valued mapping on a simple graph and ask for the existence of a disparate selection. The term disparate is defined in the paper and we present a sufficient and necessary condition for the existence of a disparate selection. This approach generalizes the classical marriage theorem of Hall. We define the disparate kernel of the set-valued mapping and provide calculation methods for the disparate kernel and a disparate selection. Our main theorem is applied to a result of Ryser on the completion of partially prepopulated Latin squares and we derive Hall's marriage theorem.

We construct a functor associating a cubical set to a (simple) graph. We show that cubical sets arising in this way are Kan complexes, and that the A-groups of a graph coincide with the homotopy groups of the associated Kan complex. We use this to prove a conjecture of Babson, Barcelo, de Longueville, and Laubenbacher from 2006, and a strong version of the Hurewicz theorem in discrete homotopy theory.

Let $R$ be a ring with unity. The cozero-divisor graph of a ring $R$, denoted by $Γ'(R)$, is an undirected simple graph whose vertices are the set of all non-zero and non-unit elements of $R$, and two distinct vertices $x$ and $y$ are adjacent if and only if $x \notin Ry$ and $y \notin Rx$. In this paper, first we study the Laplacian spectrum of $Γ'(\mathbb{Z}_n)$. We show that the graph $Γ'(\mathbb{Z}_{pq})$ is Laplacian integral. Further, we obtain the Laplacian spectrum of $Γ'(\mathbb{Z}_n)$ for $n = p^{n_1}q^{n_2}$, where $n_1, n_2 \in \mathbb{N}$ and $p, q$ are distinct primes. In order to study the Laplacian spectral radius and algebraic connectivity of $Γ'(\mathbb{Z}_n)$, we characterized the values of $n$ for which the Laplacian spectral radius is equal to the order of $Γ'(\mathbb{Z}_n)$. Moreover, the values of $n$ for which the algebraic connectivity and vertex connectivity of $Γ'(\mathbb{Z}_n)$ coincide are also described. At the final part of this paper, we obtain the Wiener index of $Γ'(\mathbb{Z}_n)$ for arbitrary $n$.

We call a multigraph $(k,d)$-edge colourable if its edge set can be partitioned into $k$ subgraphs of maximum degree at most $d$ and denote as $χ'_{d}(G)$ the minimum $k$ such that $G$ is $(k,d)$-edge colourable. We prove that for every integer $d$, every multigraph $G$ with maximum degree $Δ$ is $(\lceil \fracΔ{d} \rceil, d)$-edge colourable if $d$ is even and $(\lceil \frac{3Δ- 1}{3d - 1} \rceil, d)$-edge colourable if $d$ is odd and these bounds are tight. We also prove that for every simple graph $G$, $χ'_{d}(G) \in \{ \lceil \fracΔ{d} \rceil, \lceil \frac{Δ+1}{d} \rceil \}$ and characterize the values of $d$ and $Δ$ for which it is NP-complete to compute $χ'_d(G)$. These results generalize several classic results on the chromatic index of a graph by Shannon, Vizing, Holyer, Leven and Galil.

There are two motivation questions in \cite{MTS, MTS1} about Castelnuovo-Mumford regularity and vertex decomposable of simple graph $G$. In this paper, we disprove the questions by providing of two counterexamples.

We introduce a new one-variable polynomial invariant of graphs, which we call the skew characteristic polynomial. For an oriented simple graph, this is just the characteristic polynomial of its anti-symmetric adjacency matrix. For nonoriented simple graphs the definition is different, but for a certain class of graphs (namely, for intersection graphs of chord diagrams), it gives the same answer if we endow such a graph with an orientation induced by the chord diagram. We prove that this invariant satisfies Vassiliev's $4$-term relations and determines therefore a finite type knot invariant. We investigate the behaviour of the polynomial with respect to the Hopf algebra structure on the space of graphs and show that it takes a constant value on any primitive element in this Hopf algebra. We also provide a two-variable extension of the skew characteristic polynomial to embedded graphs and delta-matroids. The $4$-term relations for the extended polynomial prove that it determines a finite type invariant of multicomponent links.

A Toeplitz graph $T_n \langle t_1,t_2,\ldots,t_k\rangle$ is a simple graph with the vertex set $[n]$ such that two vertices $v$ and $w$ are adjacent if and only if $|v-w| = t_i$ for some $i \in [k]$. In this paper, we investigate line Toeplitz graphs, which are Toeplitz graphs that happen to be line graphs. We first show that for a sufficiently large $n$, the family of claw-free Toeplitz graphs of order $n$ is $T_n \langle t,2t,\ldots,kt\rangle$ for some nonnegative integers $t$ and $k$. Interestingly, this family consists of a union of Toeplitz graphs each of which is isomorphic to a $k$-tree the notion of which was introduced by Patil in 1986. Then we completely characterize $T_n \langle t,2t,\ldots,kt\rangle$ for any positive integer $n$ that is a line graph. Furthermore, we provide a comprehensive description of a line Toeplitz graph $T_n \langle t_1,t_2\rangle$ and $T_n \langle t_1,t_2,t_3\rangle$. In general, line Toeplitz graph seems very challenging to characterize completely. Even for $T_n \langle t_1,t_2,t_3\rangle$, it was not easy to do so. It is also worth mentioning that there is a line Toeplitz graph that is not in the form $T_n \langle t,2t,3t\rangle$.

Graphs are used in many disciplines to model the relationships that exist between objects in a complex discrete system. Researchers may wish to compare a network of interest to a "typical" graph from a family (or ensemble) of graphs which are similar in some way. One way to do this is to take a sample of several random graphs from the family, to gather information about what is "typical". Hence there is a need for algorithms which can generate graphs uniformly (or approximately uniformly) at random from the given family. Since a large sample may be required, the algorithm should also be computationally efficient. Rigorous analysis of such algorithms is often challenging, involving both combinatorial and probabilistic arguments. We will focus mainly on the set of all simple graphs with a particular degree sequence, and describe several different algorithms for sampling graphs from this family uniformly, or almost uniformly.

We give a new unified proof that any simple graph on $n$ vertices with maximum degree at most $Δ$ has no more than $a\binom{Δ+1}{t}+\binom{b}{t}$ cliques of size $t \ (t \ge 3)$, where $n = a(Δ+1)+b \ (0 \le b \le Δ)$.

We conjecture a new lower bound on the algebraic connectivity of a graph that involves the number of vertices of high eccentricity in a graph. We prove that this lower bound implies a strengthening of the Laplacian Spread Conjecture. We discuss further conjectures, also strengthening the Laplacian Spread Conjecture, that include a conjecture for simple graphs and a conjecture for weighted graphs.

The left-ideal relation graph on a ring $R$, denoted by $\overrightarrow{Γ_{l-i}}(R)$, is a directed graph whose vertex set is all the elements of $R$ and there is a directed edge from $x$ to a distinct $y$ if and only if the left ideal generated by $x$, written as $[x]$, is properly contained in the left ideal generated by $y$. In this paper, the automorphisms of $\overrightarrow{Γ_{l-i}}(R)$ are characterized, where $R$ is the ring of all $n \times n$ matrices over a finite field $F_q$. The undirected left relation graph, denoted by $Γ_{l-i}(M_n(F_q))$, is the simple graph whose vertices are all the elements of $R$ and two distinct vertices $x, y$ are adjacent if and only if either $[x] \subset [y]$ or $[y] \subset [x]$ is considered. Various graph theoretic properties of $Γ_{l-i}(M_n(F_q))$ including connectedness, girth, clique number, etc. are studied.

Consider a game played on a simple graph $G = (V, E)$ where each vertex consists of a clickable light. Clicking any vertex $v$ toggles the on/off state of $v$ and its neighbors. Starting from an initial configuration of lights, one wins the game by finding a solution: a sequence of clicks that turns off all the lights. When $G$ is a $5 \times 5$ grid, this game was commercially available from Tiger Electronics as Lights Out. Restricting ourselves to solvable initial configurations, we pose a natural question about this game, the Most Clicks Problem (MCP): How many clicks does a worst-case initial configuration on $G$ require to solve? The answer to the MCP is already known for nullity 0 graphs: those on which every initial configuration is solvable. Generalizing a technique from Scherphius, we give an upper bound to the MCP for all grids of size $(6k - 1) \times (6k - 1)$. We show the value given by this upper bound exactly solves the MCP for all nullity 2 grids of this size. We conjecture that all nullity 2 grids are of size $(6k - 1) \times (6k - 1)$, which would mean we solve the MCP for all nullity 2 square grids.