arXiv++ Combinatorics

For a graph $G$ without isolated vertices, $γ(G)\leγ_t(G)\le 2γ(G)$. While graphs attaining $γ(G)=γ_t(G)$ have been studied extensively, a complete structural description in the smallest nontrivial case $γ(G)=2$ has remained open. We resolve this case according to girth. When $g(G)\ne 3$, we show $γ_t(G)=2$ forces $G$ bipartite, give an exact degree-sum criterion for this equality, and show $γ_t(G)\in\{2,4\}$ under the additional hypothesis $δ(G)\ge 2$. When $g(G)=3$, we use Golumbic's vertex-multiplication operation together with known classifications of graphs of rank $2$ through $5$ to completely list the families satisfying $γ(G)=γ_t(G)=2$. As an application, we show that every graph in the extremal family of diameter-two, dominating-vertex-free graphs identified by Erdős and Rényi and classified by Henning and Southey satisfies $γ_t(G)\in\{3,6\}$, so $γ=γ_t=2$ never occurs there. Together these results give a full structural dictionary translating $γ_t(G)=2$ into concrete, checkable graph-theoretic properties.

Let $G$ be a finite group. The \emph{enhanced power graph} of $G$, denoted by $\mathcal{E}(G)$, is the graph with vertex set $G$ in which two vertices $u$ and $v$ are adjacent if and only if there exists an element $w \in G$ such that both $u$ and $v$ belong to $\langle w \rangle$. The \emph{proper enhanced power graph} of $G$, denoted by $\mathcal{E}^{**}(G)$, is the subgraph of $\mathcal{E}(G)$ induced by the non-dominating vertices. The main objective of this paper is to investigate finite groups whose proper enhanced power graph is claw-free, that is, contains no induced subgraph isomorphic to the complete bipartite graph $K_{1,3}$. We first prove that $\mathcal{E}(G)$ is claw-free if and only if $G$ is cyclic. The set of dominating vertices of $\mathcal{E}(G)$ forms a cyclic subgroup of the center of $G$, namely the \emph{cyclicizer} $\cyc(G)$ of $G$. This allows us to give a precise description of the structure of $G/\cyc(G)$ when $\mathcal{E}^{**}(G)$ is claw-free. If $G$ is solvable but not nilpotent, then $G$ is metacyclic, or $G/\cyc(G)$ is either a Frobenius group or a $2$-Frobenius group. If $G$ is non-solvable, then $G/\cyc(G)$ is isomorphic to $\PSL(2,q)$ or $\PGL(2,q),$ and this allows us to give a complete classification of the non-solvable groups whose proper enhanced power graph is claw-free.

This article investigates a remarkable combinatorial identity involving a distinguished family of matrices whose entries are defined via binomial coefficients. Specifically, we consider a class of \( n \times n \) matrices parameterized by a positive integer \( m \), where each entry reflects a structured pattern derived from Pascal's triangle, particularly the diagonals corresponding to figurate numbers such as triangular, tetrahedral, and higher-dimensional simplex numbers. We establish, by means of a bijective argument, that the determinant of any such matrix is identically equal to \( 1 \), independent of the specific values of \( m \) and \( n \), provided that \( 2 \leq m \leq n \). This result unveils a profound connection between classical binomial identities and the enumeration of lattice paths in grid graphs.

The proper commuting graph $\mathcal{C}^{**}(G)$ of a finite group $G$ is the simple graph whose vertices are the noncentral elements of $G$ and two distinct vertices are adjacent if they commute. In this paper, we study the domination number and total domination number of proper commuting graphs of finite groups. We first obtain general bounds for the domination number of proper commuting graphs. For finite nilpotent groups, we exploit a strong product decomposition of commuting graphs to derive exact formulas for the domination number. We further determine the exact domination number and total domination number for proper commuting graphs of several well-known families of finite groups, connecting with the centralizers of those groups.

The deep interconnection between linear algebra and graph theory allows one to interpret classical matrix invariants through combinatorial structures. To each square matrix A over a commutative ring K, one can associate a weighted directed graph D(A), where the algebraic behavior of A is reflected in the combinatorial properties of D(A). In particular, the determinant and characteristic polynomial of A admit elegant formulations in terms of sign-weighted sums over linear subdigraphs of D(A), thereby providing a graphical interpretation of fundamental algebraic quantities. Building upon this correspondence, we establish a combinatorial proof of the trace Cayley-Hamilton theorem. This theorem furnishes explicit trace identities linking the coefficients of the characteristic polynomial of A with the traces of its successive powers.

This note contains a new combinatorial proof of Cramer's rule based on the Gessel-Viennot-Lindstrom Lemma.

The two graphs of the title both have vertex set G. In the intersection power graph, x and y are joined if some non-identity element is a power of both; in the power graph, x and y joined if one is a power of the other. Thus the power graph is a spanning subgraph of the intersection power graph, and we define the edges of the difference graph to be the difference of these edge sets. In this paper, we give a number of results about the difference graph. We examine groups whose power graph and intersection power graph coincide. In addition, we make some observations on isolated vertices in difference graphs. We study the connectedness and perfectness of difference graph with respect to various properties of the underlying group G. Furthermore, we investigate the operation of twin reduction on graphs, a technique that yields smaller graphs which may be easier to analyze.

The enhanced power graph of a group G is a graph with vertex set G, where two distinct vertices x and y are adjacent if and only if there exists an element w in G such that both x and y are powers of w. To obtain the proper enhanced power graph, we consider the induced subgraph on the set G\D, where D represents the set of dominating vertices in the enhanced power graph. In this paper, we aim to determine the strong domination number of the proper enhanced power graphs of finite nilpotent groups.

The enhanced power graph of a group $G$ is a graph with vertex set $G,$ where two distinct vertices $x$ and $y$ are adjacent if and only if there exists an element $w$ in $G$ such that both $x$ and $y$ are powers of $w.$ In this paper, we determine the vertex connectivity of the enhanced power graph of any finite nilpotent group.

In this paper, we introduce a matrix $A_{Γ_{k, R}}$ associate with a $k$-colored acyclic digraph $Γ_{k, R}$ such that $\text{det}(A_{Γ_{k, R}})$ enumerates the paths in the digraph $Γ_{k, R}.$

We look for a non-zero $(0, 1)$-vector in the row space of the adjacency matrix $A(Γ)$ of a graph $Γ,$ provided $Γ$ has at least one edge. Akbari, Cameron, and Khosrovshahi conjectured that there exists a non-zero $(0,1)$-vector in the row space of $A(Γ)$ (over the real numbers) which does not occur as a row of $A(Γ).$ This conjecture can be easily verified for graphs having diameter is equal to $1$ (complete graphs). In this article, we affirmatively prove this conjecture for any graph whose diameter is $\geq 4.$ Furthermore, in the remaining two cases that is, for graphs with diameter is equal to $2$ or $3,$ we report some progress in support of the conjecture.

For a group $G,$ the enhanced power graph of $G$ is a graph with vertex set $G$ in which two distinct elements $x, y$ are adjacent if and only if there exists an element $w$ in $G$ such that both $x$ and $y$ are powers of $w.$ The proper enhanced power graph is the induced subgraph of the enhanced power graph on the set $G \setminus S,$ where $S$ is the set of dominating vertices of the enhanced power graph. In this paper, we first characterize the dominating vertices of enhanced power graph of any finite nilpotent group. Thereafter, we classify all nilpotent groups $G$ such that the proper enhanced power graphs are connected and find out their diameter. We also explicitly find out the domination number of proper enhanced power graphs of finite nilpotent groups. Finally, we determine the multiplicity of the Laplacian spectral radius of the enhanced power graphs of nilpotent groups.

This paper deals with the classification of groups $G$ such that power graphs and proper power graphs of $G$ are line graphs. In fact, we classify all finite nilpotent groups whose power graphs are line graphs. Also, we categorize all finite nilpotent groups (except non-abelian $2$-groups) whose proper power graphs are line graphs. Moreover, we investigate when the proper power graphs of generalized quaternion groups are line graphs. Besides, we derive a condition on the order of the dihedral groups for which the proper power graphs of the dihedral groups are line graphs.

In this article we provide with combinatorial proofs of some recent identities due to Sury and McLaughlin. We show that, the solution of a general linear recurrence with constant coefficients can be interpreted as a determinant of a matrix. Also, we derive a determinantal expression of Fibonacci and Lucas numbers. We prove Binets formula for Fibonacci and Lucas numbers in a purely combinatorial way and in course of doing so, we find a determinantal identity, which we think to be new.

This paper deals with the vertex connectivity of enhanced power graph of finite group. We classify all abelian groups G such that vertex connectivity of enhanced power graph of G is 1. We derive an upper bound of vertex connectivity for the enhanced power graph of any general abelian group G. Also we completely characterize all abelian group G, such that the proper enhanced power graph is connected. Moreover, we study some special class of non-abelian group G such that the proper enhanced power graph is connected and we find their vertex connectivity.

In this article we prove an algebraic identity which significantly generalizes the formula for sum of powers of consecutive integers involving Stirling numbers of the second kind. Also we have obtained a generalization of Newton-Girard power sum identity.

In this article, we evaluate determinants of block hook matrices, which are block matrices consist of hook matrices. In particular, we deduce that the determinant of a block hook matrix factorizes nicely. In addition we give a combinatorial interpretation of the aforesaid factorization property by counting weighted paths in a suitable weighted digraph.

In this paper we give combinatorial proofs of some well known identities and obtain some generalizations. We give a visual proof of a result of Chapman and Costas-Santos regarding the determinant of sum of matrices. Also we find a new identity expressing permanent of sum of matrices. Besides, we give a graphical interpretation of Newton-Girard identity.

Given a group $G$, the enhanced power graph of $G$ denoted by $\mathcal{G}_e(G)$, is the graph with vertex set $G$ and two distinct vertices $x, y$ are edge connected in $\mathcal{G}_e(G)$ if there exists $z\in G $ such that $x=z^m$ and $ y=z^n $, for some $m, n\in \mathbb{N}$. In this article, we characterize the enhanced power graph $\mathcal{G}_e(G)$ of $G$. The graph $\mathcal{G}_e(G)$ is complete if and only if $G$ is cyclic, and $\mathcal{G}_e(G)$ is Eulerian if and only if $|G|$ is odd. We classify all abelian groups and also all non-abelian $p-$groups $G$ for which $\mathcal{G}_e(G)$ satisfies the cone property.

For a finite group $G$ with a normal subgroup $H$, the normal subgroup based power graph of $G$, denoted by $Γ_H(G)$ whose vertex set $V(Γ_H(G))=(G\setminus H)\bigcup \{e\}$ and two vertices $a$ and $b$ are edge connected if $aH=b^mH$ or $bH=a^nH$ for some $m, n \in \mathbb{N}$. In this paper we obtain some fundamental characterizations of the normal subgroup based power graph. We show some relation between the graph $Γ_H(G)$ and the power graph $Γ(\frac{G}{H})$. We show that $Γ_H(G)$ is complete if and only of $\frac{G}{H}$ is cyclic group of order $1$ or $p^m$, where $p$ is prime number and $m\in \mathbb{N}$. $Γ_H(G)$ is planar if and only if $|H|=2$ or $3$ and $\frac{G}{H}\cong \mathbb{Z}_2\times \mathbb{Z}_2 \times \cdots \times \mathbb{Z}_2$. Also $Γ_H(G)$ is Eulerian if and only if $|G|\equiv |H|$ mod$ 2$.