arXiv++ Combinatorics

The star-critical Ramsey number is a refinement of the concept of a Ramsey number. In this paper, we give equivalent criteria for which the star-critical Ramsey number vanishes. Next, we provide a new general lower bound for multicolor star-critical Ramsey numbers whenever it does not vanish. As an application, we evaluate $r_*(P_k, P_3, P_3)$, where $P_n$ is a path of order $n$. In the process of proving these results, we also show that $r_*(C_5, P_3)=3$, where $C_5$ is a cycle of order $5$.

A cyclic subgroup $N$ of a finite group $G$ is called a uni-width subgroup of $G$ if $N$ is the unique cyclic subgroup of $G$ of order $|N|$. In this article, we prove that a finite group $G$ admits a unique largest uni-width subgroup denoted by $U(1;G)$. We then show that the prime factors of the order of $U(1;G)$ influence the structure decomposition of its Fitting subgroup ${\mathrm{Fit}}(G)$. A power graph $Γ_G$ of a finite group is defined by $G$ being its set of vertices, and a pair of distinct elements $x,y \in G$ are connected by an edge if either $x \in \langle y \rangle$ or $y \in \langle x \rangle$. A universal element of a graph is a vertex that is adjacent to each of the remaining vertices. Our following result shows that a power graph $Γ_G$ of a finite non-trivial group admits a non-identity universal element if and only if it is either cyclic or a generalized quaternion $2$-group. The lambda number $λ(G)$ of a finite group $G$ is a measure of the least number of colors required for an $L(2,1)$-type of vertex coloring on $Γ_G$, which is known to be $\geq |G|$. Generalizing an earlier result, we then derive a necessary condition on a finite group $G$ such that $λ(G) = |G|$. Finally, we show that this result is best possible by exhibiting a family of groups without the necessary condition for which $λ(G) > |G|$.

An $L(2,1)$-labelling of a finite graph $Γ$ is a function that assigns integer values to the vertices $V(Γ)$ of $Γ$ (colouring of $V(Γ)$ by ${\mathbb{Z}}$) so that the absolute difference of two such values is at least $2$ for adjacent vertices and is at least $1$ for vertices which are precisely distance $2$ apart. The lambda number $λ(Γ)$ of $Γ$ measures the least number of integers needed for such a labelling (colouring). A power graph $Γ_G$ of a finite group $G$ is a graph with vertex set as the elements of $G$ and two vertices are joined by an edge if and only if one of them is a positive integer power of the other. It is known that $λ(Γ_G) \geq |G|$ for any finite group. In this paper we show that if $G$ is a finite group of a prime power order, then $λ(Γ_G) = |G|$ if and only if $G$ is neither cyclic nor a generalized quaternion $2$-group. This settles a partial classification of finite groups achieving the lower bound of lambda number.

Let $G_{m,n,k} = \mathbb{Z}_m \ltimes_k \mathbb{Z}_n$ be the split metacyclic group, where $k$ is a unit modulo $n$. We derive an upper bound for the diameter of $G_{m,n,k}$ using an arithmetic parameter called the \textit{weight}, which depends on $n$, $k$, and the order of $k$. As an application, we show how this would determine a bound on the diameter of an arbitrary metacyclic group.

Let $Γ(G,S)$ denote the Cayley graph of a group $G$ with respect to a set $S \subset G$. In this paper, we analyze the spectral properties of the Cayley graphs $\mathcal{T}_{m,n,k} = Γ(\mathbb{Z}_m \ltimes_k \mathbb{Z}_n, \{(\pm 1,0),(0,\pm 1)\})$, where $m,n \geq 3$ and $k^m \equiv 1 \pmod{n}$. We show that the adjacency matrix of $\mathcal{T}_{m,n,k}$, upto relabeling, is a block circulant matrix, and we also obtain an explicit description of these blocks. By extending a result due to Walker-Mieghem to Hermitian matrices, we show that $\mathcal{T}_{m,n,k}$ is not Ramanujan, when either $m > 8$, or $n \geq 400$.