arXiv++ Combinatorics

The cozero-divisor graph of a commutative ring $R$, denoted $Γ'(R)$, is the graph whose vertices are the non-zero and non-unit elements of $R$, with two distinct vertices $x$ and $y$ adjacent if and only if $x \notin Ry$ and $y \notin Rx$. This paper studies the structural properties of $Γ'(R)$ for the polynomial ring $R = \Z_n[x]/(x^2)$, where $n$ has the prime power decomposition of $p_1^{a_1}p_2^{a_2}\cdots p_q^{a_q}$. We provide a complete structure of the cozero-divisor graph for all $n$ up to cubic prime power decompositions. Furthermore, we determine the Laplacian spectrum of these graphs. Finally, we discuss the connectivity of such a cozero-divisor graph of the polynomial rings for any $n$. Our work provides the first comprehensive spectral analysis of cozero-divisor graphs for non-local polynomial rings and establishes powerful new techniques for bridging commutative algebra with spectral graph theory.

In this paper, we introduce the concept of \emph{Perrin cordial labeling}, a novel vertex labeling scheme inspired by the Perrin number sequence and situated within the broader framework of graph labeling theory. The Perrin numbers are defined recursively by the relation \( P_n = P_{n-2} + P_{n-3} \), with initial values \( P_0 = 0 \), \( P_1 = 3 \), and \( P_2 = 0 \). A Perrin cordial labeling of a graph \( G = (V, E) \) is an injective function \( f : V(G) \rightarrow \{P_0, P_1, \dots, P_n\} \), where the induced edge labeling \( f^* : E(G) \rightarrow \{0,1\} \) is given by \( f^*(uv) = (f(u) + f(v)) \pmod 2 \). The labeling is said to be cordial if the number of edges labeled \( 0 \), denoted \( e_f(0) \), and the number labeled \( 1 \), denoted \( e_f(1) \), satisfy the condition \( |e_f(0) - e_f(1)| \leq 1 \). A graph that admits such a labeling is called a \emph{Perrin cordial graph}. This study investigates the existence of Perrin cordial labelings in various families of graphs by analyzing their structural properties and compatibility with the proposed labeling scheme. Our results aim to enrich the theory of graph labelings and highlight a new connection between number theory and graph structures.

The permanent of an $n \times n$ matrix $M = (m_{ij})$ is defined as $\mathrm{per}(M) = \sum_{σ\in S_n} \prod_{i=1}^n m_{i,σ(i)}$, where $S_n$ denotes the symmetric group on $\{1,2,\ldots,n\}$. The permanental polynomial of $M$, is defined by $ψ(M;x) = \mathrm{per}(xI_n - M)$. We study two fundamental variants: the Laplacian permanental polynomial $ψ(L(G);x)$ and signless Laplacian permanental polynomial $ψ(Q(G);x)$ of a graph $G$. A graph is said to be {determined} by its (signless) Laplacian permanental polynomial if no other non-isomorphic graph shares the same polynomial. A graph is combinedly determined when isomorphism is guaranteed by the equality of both polynomials. Characterizing which graphs are determined by their(signless) Laplacian permanental polynomials is an interesting problem. This paper investigates the permanental characterization problem for several families of starlike graphs, including: spider graphs (tree), coconut tree, perfect binary tree, corona product of $C_m$ and $K_n$, and $\bar K_n$ for various values of $m$ and $n$. We establish which of these graphs are determined by their Laplacian or signless Laplacian permanental polynomials, and which require both polynomials for complete characterization. We emphasize that in this manuscript, we have considered a few techniques to compute the permanental polynomial of matrices and their propagation.

A \emph{Fibonacci cordial labeling} of a graph \( G \) is an injective function \( f: V(G) \rightarrow \{F_0, F_1, \dots, F_n\} \), where \( F_i \) denotes the \( i^{\text{th}} \) Fibonacci number, such that the induced edge labeling \( f^*: E(G) \rightarrow \{0,1\} \), given by \( f^*(uv) = (f(u) + f(v)) \) $(\bmod\ 2)$, satisfies the balance condition \( |e_f(0) - e_f(1)| \le 1 \). Here, \( e_f(0) \) and \( e_f(1) \) represent the number of edges labeled 0 and 1, respectively. A graph that admits such a labeling is termed a \emph{Fibonacci cordial graph}. In this paper, we investigate the existence and construction of Fibonacci cordial labelings for several families of graphs, including \emph{Generalized Petersen graphs}, \emph{open and closed helm graphs}, \emph{joint sum graphs}, and \emph{circulant graphs of small order}. New results and examples are presented, contributing to the growing body of knowledge on graph labelings inspired by numerical sequences.

This paper studies the irreversible $k$-threshold process on graphs, where a vertex becomes colored if at least $k$ neighbors are colored and remains colored indefinitely. We investigate vertex sets that, when initially colored, lead to a completely colored graph. The graphs under initial consideration are constructed using the corona product of cyclic graphs and complete graphs. We then introduce and explore double corona product graphs (of cyclic graphs and complete graphs) to study more complex topologies and their impact on the coloring propagation. We further extend the theory by introducing a probabilistic approach to the coloring dynamics. Our findings provide insights into the interplay between graph structure and saturation dynamics by extending the theory to new families of graphs and introducing a probabilistic approach with potential applications in epidemiology and social influence modeling.

We show that almost all circulant graphs have automorphism groups as small as possible. Of the circulant graphs that do not have automorphism group as small as possible, we give some families of integers such that it is not true that almost all circulant graphs whose order lies in any one of these families, are normal. That almost all Cayley (di)graphs whose automorphism group is not as small as possible are normal was conjectured by the second author, so these results provide counterexamples to this conjecture. It is then shown that there is a large family of integers for which almost every circulant digraph whose order lies in this family and that does not have automorphism group as small as possible, is normal. We additionally explore the asymptotic behavior of the automorphism groups of circulant (di)graphs that are not normal, and show that no general conclusion can be obtained.