Next Article in Journal
Conditional Domain Adaptation with α-Rényi Entropy Regularization and Noise-Aware Label Weighting
Previous Article in Journal
Willingness to Pay for Sustainable Investment Attributes: A Mixed Logit Analysis of SDG 11
Previous Article in Special Issue
Extremal Values of Second Zagreb Index of Unicyclic Graphs Having Maximum Cycle Length: Two New Algorithms
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

Modular H-Irregularity Strength of Graphs

by
Martin Bača
1,*,
Marcela Lascsáková
1 and
Andrea Semaničová-Feňovčíková
1,2
1
Department of Applied Mathematics and Informatics, Technical University, 042 00 Košice, Slovakia
2
Division of Mathematics, Saveetha School of Engineering, SIMATS, Chennai 602 105, India
*
Author to whom correspondence should be addressed.
Mathematics 2025, 13(16), 2599; https://doi.org/10.3390/math13162599
Submission received: 14 July 2025 / Revised: 5 August 2025 / Accepted: 12 August 2025 / Published: 14 August 2025
(This article belongs to the Special Issue Graph Theory and Applications, 3rd Edition)

Abstract

Two new graph characteristics, the modular edge H-irregularity strength and the modular vertex H-irregularity strength, are introduced. Lower bounds on these graph characteristics are estimated, and their exact values are determined for certain families of graphs. This demonstrates the sharpness of the presented lower bounds.

1. Introduction

Consider a simple graph G = ( V , E ) with vertex set V ( G ) and edge set E ( G ) . A labeling of a graph is a mapping that assigns numbers (usually positive integers) to its elements. The most common domains are the vertex set (yielding vertex labelings) and the edge set (yielding edge labelings).
An edge-covering of G is a family of subgraphs H 1 , H 2 , , H t such that each edge of E ( G ) belongs to at least one of the subgraphs H i , i = 1 , 2 , , t . In this case, we say that G admits an ( H 1 , H 2 , , H t ) -(edge) covering. If each subgraph H i is isomorphic to a given graph H, then the graph G is said to admit an H-covering.
Let G be a graph admitting an H-covering. For a subgraph H G , under an edge k-labeling φ : E ( G ) { 1 , 2 , , k } , where k is a positive integer, the associated H-weight is defined by
w t φ ( H ) = e E ( H ) φ ( e ) .
An edge k-labeling φ is called an H-irregular edge k-labeling of the graph G if for every pair of distinct subgraphs H 1 , H 2 isomorphic to H, it holds that w t φ ( H 1 ) w t φ ( H 2 ) . The smallest integer k for which such a labeling exists is called the edge H-irregularity strength of G and is denoted by ehs ( G , H ) .
Similarly, under a vertex k-labeling ψ : V ( G ) { 1 , 2 , , k } , the associated H-weight is defined by
w t ψ ( H ) = v V ( H ) ψ ( v ) .
A vertex k-labeling ψ is called an H-irregular vertex k-labeling of G if for every pair of distinct subgraphs H 1 , H 2 isomorphic to H, there is w t ψ ( H 1 ) w t ψ ( H 2 ) . The vertex H-irregularity strength of G, denoted by vhs ( G , H ) , is the minimum of the maximum label k over all such labelings. If no such labeling exists, we write vhs ( G , H ) = .
The concepts of the edge H-irregularity strength and the vertex H-irregularity strength were introduced by Ashraf et al. in [1], who provided lower bounds for the parameter ehs ( G , H ) and vhs ( G , H ) as follows:
Theorem 1
([1]). Let G be a graph admitting an H-covering given by t subgraphs isomorphic to H. Then,
ehs ( G , H ) 1 + t 1 | E ( H ) | ,
vhs ( G , H ) 1 + t 1 | V ( H ) | .
The exact values of ehs ( G , H ) and vhs ( G , H ) for paths, fans and ladders were determined in [1,2], establishing the sharpness of bounds (1) and (2).
Theorem 2
([1]). Let n and m be positive integers, 2 m n . Then,
ehs ( P n , P m ) = n 1 m 1 a n d vhs ( P n , P m ) = n m .
Theorem 3
([2]). Let F n , n 2 , be a fan graph on n + 1 vertices admitting F m -covering, where m is a positive integer, 2 m n . Then,
ehs ( F n , F m ) = n + m 1 2 m 1 a n d vhs ( F n , F m ) = n + 1 m + 1 .
Theorem 4
([2]). Let L n P n P 2 , n 2 , be a ladder admitting L m -covering, where m is a positive integer, 2 m n . Then,
ehs ( L n , L m ) = 2 m + n 2 3 m 2 a n d vhs ( L n , L m ) = m + n 2 m .
Several papers have been published in this area over the past four years. For example, the exact values of the edge H-irregularity strength of hexagonal and octagonal grid graphs were computed in [3], and in [4], the vertex (edge) H-irregular labelings of graphs G are investigated, where both G and H are either a comb product or an edge comb product of graphs.
If H is isomorphic to K 2 then a K 2 -irregular vertex k-labeling is equivalent to an edge irregular k-labeling. Hence, the vertex K 2 -irregularity strength vhs ( G , K 2 ) is the edge irregularity strength es ( G ) . This graph characteristic was introduced by Ahmad et al. [5], who provided lower bounds and exact values for paths, stars and the Cartesian product of two paths. Additional results on the edge irregularity strength can be found in [6,7,8]. The edge irregularity strength is an edge modification of the concept of the irregularity strength s ( G ) , originally introduced by Chartrand et al. in [9] and further studied in [10,11,12,13,14].
A natural variation of the H-irregular edge (vertex) k-labeling is a modular H-irregular edge (vertex) k-labeling. Suppose that G admits an ( H 1 , H 2 , , H t ) -covering, where each subgraph H i is isomorphic to a given graph H G . An edge labeling φ : E ( G ) { 1 , 2 , , k } is called a modular H-irregular edge k-labeling if the weight function λ : { H 1 , H 2 , , H t } Z t given by λ ( H i ) = w t φ ( H i ) = e E ( H i ) φ ( e ) is bijective, where Z t is the group of integers modulo t. The value w t φ ( H i ) is called the modular weight of the subgraph H i . The modular edge H-irregularity strength, mehs ( G , H ) , is defined as the smallest integer k for which such a labeling exists.
Analogously, a vertex labeling ψ : V ( G ) { 1 , 2 , , k } is called a modular H-irregular vertex k-labeling if the weight function λ : { H 1 , H 2 , , H t } Z t defined by λ ( H i ) = w t ψ ( H i ) = v V ( H i ) ψ ( v ) is bijective. Again, w t ψ ( H i ) is called the modular weight of the subgraph H i . The modular vertex H-irregularity strength, mvhs ( G , H ) , is defined as the minimum of the maximum vertex label k over all such labelings.
Note that the modular K 2 -irregular vertex k-labeling of a graph G is equivalent to a modular edge irregular k-labeling of G. Therefore, the modular vertex K 2 -irregularity strength mvhs ( G , K 2 ) is the modular edge irregularity strength mes ( G ) introduced in [15], which also provides exact values for caterpillars, cycles, and friendship graphs. The modular irregularity strength ms ( G ) as an edge modification of the modular edge irregularity strength mes ( G ) was introduced in [16], where precise values of the modular irregularity strength for paths, cycles and stars are determined. The exact values of the modular irregularity strength for fan graphs and wheels are addressed in [17] and [18], respectively.
The main objective of the present paper is to estimate lower bounds on the modular edge H-irregularity strength and the modular vertex H-irregularity strength, to investigate the existence of corresponding labelings for various families of graphs, and to determine exact values of these parameters, thereby demonstrating the sharpness of the proposed bounds.

2. Lower Bounds for New Graph Characteristics

Evidently, every modular H-irregular edge k-labeling of a graph G is also an H-irregular edge k-labeling of G, and similarly, every modular H-irregular vertex k-labeling of G is also an H-irregular vertex k-labeling of G. Accordingly, for any simple graph G, the following inequalities hold:
ehs ( G , H ) mehs ( G , H ) ,
vhs ( G , H ) mvhs ( G , H ) .
Of course, in general, the converses of (3) and (4) do not hold. Nevertheless, the validity of the following claims is immediate.
Theorem 5.
Let G be a simple graph admitting an H-covering with ehs ( G , H ) = k . If H-weights under the corresponding H-irregular edge k-labeling form a sequence of consecutive integers, then
ehs ( G , H ) = mehs ( G , H ) = k .
Theorem 6.
Let G be a simple graph admitting an H-covering with vhs ( G , H ) = k . If H-weights under the corresponding H-irregular vertex k-labeling form a sequence of consecutive integers, then
vhs ( G , H ) = mvhs ( G , H ) = k .
The existence of a P m -irregular edge n 1 m 1 -labeling and a P m -irregular vertex n m -labeling of the path on n vertices is established in the proof of Theorem 2, where the corresponding P m -weights form a sequence of consecutive integers in both cases. In light of Theorems 5 and 6, we obtain the following corollary.
Corollary 1.
Let P n , n 2 , be a path on n vertices and let m be a positive integer such that 2 m n . Then,
mehs ( P n , P m ) = n 1 m 1 a n d mvhs ( P n , P m ) = n m .
The fan graph  F n , where n 2 , is the graph obtained by joining each vertex of a path on n vertices to an additional vertex. In the proof of Theorem 3, the existence of an F m -irregular edge n + m 1 2 m 1 -labeling of F n is established, where the corresponding F m -weights form a sequence of consecutive integers. By Theorem 5, we obtain the following corollary:
Corollary 2.
Let F n , n 2 , be a fan graph on n + 1 vertices and let m be a positive integer such that 2 m n . Then,
mehs ( F n , F m ) = n + m 1 2 m 1 .
To obtain the modular vertex F m -irregularity strength of a fan graph, we first establish the following general theorem concerning the join of two graphs. The join  G + F of two disjoint graphs G and F is defined as the union of G and F, together with all edges connecting each vertex of G to each vertex of F.
Theorem 7.
Let G and F be disjoint graphs such that G admits an H-covering consisting of exactly t subgraphs isomorphic to H. If the graph G + F contains exactly t subgraphs isomorphic to H + F , then
vhs ( G , H ) = vhs ( G + F , H + F ) .
Moreover, if there exists an ( H + F ) -irregular vertex vhs ( G , H ) -labeling of G + F , where the corresponding ( H + F ) -weights form a sequence of consecutive integers, then
mvhs ( G , H ) = mvhs ( G + F , H + F ) .
Proof. 
Let G admit an H-covering consisting of exactly t subgraphs isomorphic to H and let ψ : V ( G ) { 1 , 2 , , k } be an H-irregular vertex k-labeling of G, where k = vhs ( G , H ) . Extend this labeling to the labeling of G + F as follows.
Since G + F contains exactly t subgraphs isomorphic to H + F , and each such subgraph must include all vertices of F, it follows that the contribution of labels from vertices in V ( F ) is identical across all ( H + F ) -weights. Therefore, without loss of generality, we may assign the label 1 to each vertex in V ( F ) . In this way, the distinguishing power of the labeling relies solely on the labels of vertices in G, implying that vhs ( G + F , H + F ) k .
Assume, for the sake of contradiction, that vhs ( G + F , H + F ) = k 0 < k . Then, by restricting the corresponding ( H + F ) -irregular vertex k 0 -labeling of G + F to the subgraph G, we obtain an H-irregular vertex k 0 -labeling of G, contradicting the minimality of k = vhs ( G , H ) . Hence, vhs ( G + F , H + F ) = k .
If, in addition, there exists an ( H + F ) -irregular vertex vhs ( G , H ) -labeling of G + F , where the ( H + F ) -weights form a sequence of consecutive integers, then Theorem 6 implies mvhs ( G , H ) = mvhs ( G + F , H + F ) , as claimed. □
Since the fan graph F n is isomorphic to the join P n + K 1 , Theorem 7 combined with Corollary 1 immediately yields the following result.
Corollary 3.
Let F n , n 2 , be a fan graph on n + 1 vertices and let m be a positive integer such that 2 m n . Then,
mvhs ( F n , F m ) = n m .
The ladder  L n , where n 2 , is defined as the Cartesian product of paths P n and P 2 . In the proof of Theorem 4, the existence of an L m -irregular edge 2 m + n 2 3 m 2 -labeling and an L m -irregular vertex m + n 2 m -labeling of the ladder L n is established. In both cases, the corresponding L m -weights form a sequence of consecutive integers. With respect to Theorems 5 and 6, we have the following result:
Corollary 4.
Let L n P n P 2 , n 2 , be a ladder and let m be a positive integer such that 2 m n . Then,
mehs ( L n , L m ) = 2 m + n 2 3 m 2 a n d mvhs ( L n , L m ) = m + n 2 m .
The previous corollaries confirm that the lower bounds of the modular edge H-irregularity strength and the modular vertex H-irregularity strength are tight.

3. Friendship Graphs and Ladder-Wing Graphs

A friendship graph  f n , where n 1 , consists of n triangles sharing a common central vertex and is otherwise independent. Let w denote the central vertex and for the ith triangle, 1 i n , let u i and v i denote the other two vertices. The friendship graph f n contains 2 n + 1 vertices and 3 n edges u i v i , u i w and v i w for 1 i n .
The following theorem provides the exact values of the modular edge H-irregularity strength and the modular vertex H-irregularity strength of the friendship graph f n , where the subgraph H is isomorphic to f m , 1 m n .
Theorem 8.
Let f n , n 1 , be a friendship graph on 2 n + 1 vertices and let m be a positive integer such that 1 m n . Then,
mehs ( f n , f m ) = 2 m + n 3 m a n d mvhs ( f n , f m ) = m + n 2 m .
Proof. 
Clearly, for every positive integer m such that 1 m n , the friendship graph f n on 2 n + 1 vertices admits an f m -covering consisting of exactly t = n m + 1 subgraphs isomorphic to f m .
We first consider the case of edge labeling. With respect to (1), we have that ehs ( f n , f m ) 2 m + n 3 m . To show that 2 m + n 3 m is also an upper bound of the edge f m -irregularity strength, let us define an edge labeling φ as follows:
φ ( u i v i ) = 2 m + i 3 m , for i = 1 , 2 , , n , φ ( u i w ) = i 3 m , for i = 1 , 2 , , n , φ ( v i w ) = m + i 3 m , for i = 1 , 2 , , n .
Evidently, φ is a 2 m + n 3 m -labeling. Let us now compute the f m -weight of the subgraph f m j , j = 1 , 2 , , n m + 1 , under the labeling φ :
w t φ ( f m j ) = e E ( f m j ) φ ( e ) = i = j m + j 1 φ ( u i v i ) + φ ( u i w ) + φ ( v i w ) = φ ( u j v j ) + φ ( u j w ) + φ ( v j w ) + i = j + 1 m + j 1 φ ( u i v i ) + φ ( u i w ) + φ ( v i w ) = 2 m + j 3 m + j 3 m + m + j 3 m + i = j + 1 m + j 1 φ ( u i v i ) + φ ( u i w ) + φ ( v i w ) .
Similarly, for the weight of the next subgraph f m j + 1 , j = 1 , 2 , , n m , we have
w t φ ( f m j + 1 ) = e E ( f m j + 1 ) φ ( e ) = i = j + 1 m + j φ ( u i v i ) + φ ( u i w ) + φ ( v i w ) = φ ( u m + j v m + j ) + φ ( u m + j w ) + φ ( v m + j w ) + i = j + 1 m + j 1 φ ( u i v i ) + φ ( u i w ) + φ ( v i w ) = 2 m + m + j 3 m + m + j 3 m + m + m + j 3 m + i = j + 1 m + j 1 φ ( u i v i ) + φ ( u i w ) + φ ( v i w ) = 1 + w t φ ( f m j ) .
Thus, the f m -weights under the labeling φ form the set of consecutive integers { 3 m , 3 m + 1 , , n + 2 m } . It follows that φ is an f m -irregular edge 2 m + n 3 m -labeling. Combining this with Theorem 5, we conclude that ehs ( f n , f m ) = mehs ( f n , f m ) = 2 m + n 3 m .
Now, we turn our attention to vertex labeling. From Inequality (2), we obtain the lower bound vhs ( f n , f m ) m + n + 1 2 m + 1 . On the other hand, under any vertex labeling ψ of f n , the smallest f m -weight is at least 2 m + ψ ( w ) , and therefore, the largest f m -weight is at least 2 m + ψ ( w ) + t 1 = n + m + ψ ( w ) . Assuming that vhs ( f n , f m ) = k , it follows that the largest f m -weight is at most 2 m k + ψ ( w ) . Combining these inequalities yields n + m + ψ ( w ) 2 m k + ψ ( w ) , which simplifies to k n + m 2 m . To show that n + m 2 m is also an upper bound for the vertex f m -irregularity strength of f n , we define a vertex labeling ψ as follows:
ψ ( u i ) = m + i 2 m , for i = 1 , 2 , , n , ψ ( v i ) = i 2 m , for i = 1 , 2 , , n .
Without loss of generality, we may assign the central vertex w the value ψ ( w ) = 1 . Clearly, ψ ( v i ) ψ ( u i ) n + m 2 m , and hence, ψ is a vertex n + m 2 m -labeling. Next, we evaluate the corresponding f m -weights. For each j = 1 , 2 , , n m + 1 , we have
w t ψ ( f m j ) = v V ( f m j ) ψ ( v ) = i = j m + j 1 ψ ( u i ) + ψ ( v i ) + ψ ( w ) = ψ ( u j ) + ψ ( v j ) + ψ ( w ) + i = j + 1 m + j 1 ψ ( u i ) + ψ ( v i ) = m + j 2 m + j 2 m + 1 + i = j + 1 m + j 1 ψ ( u i ) + ψ ( v i ) .
Similarly, for j = 1 , 2 , , n m , we obtain
w t ψ ( f m j + 1 ) = v V ( f m j + 1 ) ψ ( v ) = i = j + 1 m + j 1 ψ ( u i ) + ψ ( v i ) + ψ ( w ) + ψ ( u m + j ) + ψ ( v m + j ) = i = j + 1 m + j 1 ψ ( u i ) + ψ ( v i ) + 1 + 2 m + j 2 m + m + j 2 m = 1 + w t ψ ( f m j ) .
Thus, ψ is an f m -irregular vertex m + n 2 m -labeling. Moreover, since the weights of subgraphs f m j for j = 1 , 2 , , n m + 1 are not only distinct but form a sequence of consecutive integers { 2 m + 1 , 2 m + 2 , , n + m + 1 } , it follows from Theorem 6 that vhs ( f n , f m ) = mvhs ( f n , f m ) = m + n 2 m . This completes the proof. □
The ladder-wing graph  L W n , for n 2 , is obtained by joining all vertices of a ladder L n to an additional vertex; let us denote it as w. In other words, L W n = L n + K 1 . The following theorem determines the exact values of the modular edge H-irregularity strength and the modular vertex H-irregularity strength for the ladder-wing graph L W n , where the subgraph H is isomorphic to L W m , 2 m n .
Theorem 9.
Let L W n , n 2 , be a ladder-wing graph on 2 n + 1 vertices and let m be a positive integer such that 2 m n . Then,
mehs ( L W n , L W m ) = 4 m + n 2 5 m 2 a n d mvhs ( L W n , L W m ) = m + n 2 m .
Proof. 
Let L W n be a ladder-wing graph on 2 n + 1 vertices with vertex set V ( L W n ) = { u i , v i : i = 1 , 2 , , n } { w } and edge set E ( L W n ) = { u i u i + 1 , v i v i + 1 : i = 1 , 2 , , n 1 } { u i v i , u i w , v i w : i = 1 , 2 , , n } . Clearly, for every m, 2 m n , the ladder-wing graph L W n admits a L W m -covering consisting of exactly t = n m + 1 subgraphs isomorphic to L W m .
We first deal with the edge labeling. According to (1), we have ehs ( L W n , L W m ) 4 m + n 2 5 m 2 . To prove the equality, it suffices to construct an edge 4 m + n 2 5 m 2 -labeling of L W n that is L W m -irregular.
For n 2 , define an edge labeling φ on L W n as follows:
φ ( u i u i + 1 ) = 3 m + i 5 m 2 , for i = 1 , 2 , , n 1 , φ ( v i v i + 1 ) = 4 m 1 + i 5 m 2 , for i = 1 , 2 , , n 1 , φ ( u i v i ) = 2 m + i 5 m 2 , for i = 1 , 2 , , n , φ ( u i w ) = i 5 m 2 , for i = 1 , 2 , , n , φ ( v i w ) = m + i 5 m 2 , for i = 1 , 2 , , n .
All values are clearly bounded above by 4 m + n 2 5 m 2 ; so, φ is an edge 4 m + n 2 5 m 2 -labeling.
Now, consider the L W m -subgraphs L W m j for j = 1 , 2 , , n m + 1 . The weight of each such subgraph is
w t φ ( L W m j ) = e E ( L W m j ) φ ( e ) = i = j m + j 1 φ ( u i v i ) + φ ( u i w ) + φ ( v i w ) + i = j m + j 2 φ ( u i u i + 1 ) + φ ( v i v i + 1 ) = φ ( u j v j ) + φ ( u j w ) + φ ( v j w ) + φ ( u j u j + 1 ) + φ ( v j v j + 1 ) + i = j + 1 m + j 1 φ ( u i v i ) + φ ( u i w ) + φ ( v i w ) + i = j + 1 m + j 2 φ ( u i u i + 1 ) + φ ( v i v i + 1 ) = 2 m + j 5 m 2 + j 5 m 2 + m + j 5 m 2 + 3 m + j 5 m 2 + 4 m 1 + j 5 m 2 + i = j + 1 m + j 1 φ ( u i v i ) + φ ( u i w ) + φ ( v i w ) + i = j + 1 m + j 2 φ ( u i u i + 1 ) + φ ( v i v i + 1 ) .
For the next subgraph L W m j + 1 , j = 1 , 2 , , n m , the analogous weight is
w t φ ( L W m j + 1 ) = e E ( L W m j + 1 ) φ ( e ) = i = j + 1 m + j φ ( u i v i ) + φ ( u i w ) + φ ( v i w ) + i = j + 1 m + j 1 φ ( u i u i + 1 ) + φ ( v i v i + 1 ) = φ ( u m + j v m + j ) + φ ( u m + j w ) + φ ( v m + j w ) + φ ( u m + j 1 u m + j ) + φ ( v m + j 1 v m + j ) + i = j + 1 m + j 1 φ ( u i v i ) + φ ( u i w ) + φ ( v i w ) + i = j + 1 m + j 2 φ ( u i u i + 1 ) + φ ( v i v i + 1 ) = 3 m + j 5 m 2 + m + j 5 m 2 + 2 m + j 5 m 2 + 4 m + j 1 5 m 2 + 5 m 2 + j 5 m 2 + i = j + 1 m + j 1 φ ( u i v i ) + φ ( u i w ) + φ ( v i w ) + i = j + 1 m + j 2 φ ( u i u i + 1 ) + φ ( v i v i + 1 ) = 1 + w t φ ( L W m j ) .
Thus, the L W m -weights form a sequence of consecutive integers starting at 5 m 2 and ending at 4 m + n 2 , i.e., { 5 m 2 , 5 m 1 , , 4 m + n 2 } . By Theorem 5, it follows that ehs ( L W n , L W m ) = mehs ( L W n , L W m ) = 4 m + n 2 5 m 2 .
Now, consider the vertex case. By definition, the ladder-wing graph is obtained as the join of a ladder and an isolated vertex, that is, L W n = L n + K 1 . Therefore, the desired result vhs ( L W n , L W m ) = mvhs ( L W n , L W m ) = m + n 2 m follows immediately by combining Theorem 7 and Corollary 4. □
In the next result, we consider a graph obtained from the ladder graph by inserting both diagonals into every four-sided face of the ladder. We denote this graph by R n . Alternatively, R n can be defined as the strong product of the path on n vertices and the path on two vertices. Let the vertex set and edge set of R n be given by V ( R n ) = { u i , v i : i = 1 , 2 , , n } and E ( R n ) = { u i u i + 1 , v i v i + 1 , u i v i + 1 , u i + 1 v i : i = 1 , 2 , , n 1 } { u i v i : i = 1 , 2 , , n } . The following theorem gives the exact values of the modular edge H-irregularity strength and the modular vertex H-irregularity strength for the graph R n , where the subgraph H is isomorphic to R m , with 2 m n .
Theorem 10.
Let R n , n 2 , be the strong product of the path on n vertices and the path on two vertices and let m be a positive integer such that 2 m n . Then,
mehs ( R n , R m ) = 4 m + n 4 5 m 4 a n d mvhs ( R n , R m ) = m + n 2 m .
Proof. 
One can observe that the ladder R n P n P 2 , n 2 , admits an R m -covering consisting of exactly t = n m + 1 subgraphs isomorphic to R m , where m is a positive integer satisfying 2 m n . From Inequality (1), it follows that ehs ( R n , R m ) 4 m + n 4 5 m 4 . Set k = 4 m + n 4 5 m 4 . To show that k is also an upper bound for the edge R m -irregularity strength of R n , we define an edge labeling φ as follows:
φ ( u i u i + 1 ) = 4 m 3 + i 5 m 4 , for i = 1 , 2 , , n 1 , φ ( v i v i + 1 ) = 3 m 2 + i 5 m 4 , for i = 1 , 2 , , n 1 , φ ( u i v i ) = 2 m 2 + i 5 m 4 , for i = 1 , 2 , , n , φ ( u i v i + 1 ) = m 1 + i 5 m 4 , for i = 1 , 2 , , n 1 , φ ( u i + 1 v i ) = i 5 m 4 , for i = 1 , 2 , , n 1 .
It is straightforward to verify that all edge labels used by φ are at most k. For the R m -weight of the subgraph R m j , j = 1 , 2 , , n m + 1 , under the labeling φ , we obtain
w t φ ( R m j ) = e E ( R m j ) φ ( e ) = i = j m + j 2 φ ( u i u i + 1 ) + φ ( v i v i + 1 ) + φ ( u i v i + 1 ) + φ ( u i + 1 v i ) + i = j m + j 1 φ ( u i v i ) = φ ( u j u j + 1 ) + φ ( v j v j + 1 ) + φ ( u j v j + 1 ) + φ ( u j + 1 v j ) + φ ( u j v j ) + i = j + 1 m + j 2 φ ( u i u i + 1 ) + φ ( v i v i + 1 ) + φ ( u i v i + 1 ) + φ ( u i + 1 v i ) + i = j + 1 m + j 1 φ ( u i v i ) = 4 m 3 + j 5 m 4 + 3 m 2 + j 5 m 4 + m 1 + j 5 m 4 + j 5 m 4 + 2 m 2 + j 5 m 4 + i = j + 1 m + j 2 φ ( u i u i + 1 ) + φ ( v i v i + 1 ) + φ ( u i v i + 1 ) + φ ( u i + 1 v i ) + i = j + 1 m + j 1 φ ( u i v i ) .
For the R m -weight of the subgraph R m j + 1 , j = 1 , 2 , , n m , we have
w t φ ( R m j + 1 ) = e E ( R m j + 1 ) φ ( e ) = i = j + 1 m + j 1 φ ( u i u i + 1 ) + φ ( v i v i + 1 ) + φ ( u i v i + 1 ) + φ ( u i + 1 v i ) + i = j + 1 m + j φ ( u i v i ) = i = j + 1 m + j 2 φ ( u i u i + 1 ) + φ ( v i v i + 1 ) + φ ( u i v i + 1 ) + φ ( u i + 1 v i ) + φ ( u m + j 1 u m + j ) + φ ( v m + j 1 v m + j ) + φ ( u m + j 1 v m + j ) + φ ( u m + j v m + j 1 ) + i = j + 1 m + j 1 φ ( u i v i ) + φ ( u m + j v m + j ) = i = j + 1 m + j 2 φ ( u i u i + 1 ) + φ ( v i v i + 1 ) + φ ( u i v i + 1 ) + φ ( u i + 1 v i ) + 5 m 4 + j 5 m 4 + 4 m 3 + j 5 m 4 + 2 m 2 + j 5 m 4 + m 1 + j 5 m 4 + i = j + 1 m + j 1 φ ( u i v i ) + 3 m 2 + j 5 m 4 = 1 + w t φ ( R m j ) .
This means that R m -weights successively attain values 5 m 4 , 5 m 3 , , 4 m + n 4 and are distinct for all pairs of distinct subgraph R m . The edge labeling φ thus provides an upper bound on the edge R m -irregularity strength of the ladder R n . Consequently, we obtain ehs ( R n , R m ) = 4 m + n 4 5 m 4 . According to Theorem 5, we obtain that ehs ( R n , R m ) = mehs ( R n , R m ) .
Since the graphs P n P 2 and P n P 2 have the same vertex set, and all corresponding subgraphs P m P 2 and P m P 2 likewise have identical vertex sets, it follows from Corollary 4 that mvhs ( R n , R m ) = mvhs ( L n , L m ) = m + n 2 m . This concludes the proof. □
Consider a new graph, called the ladder-wing graph and denoted by R W n , n 2 , which is obtained by joining all vertices of the ladder R n P n P 2 to an additional vertex w. This graph has 2 n + 1 vertices, with vertex set V ( R W n ) = { u i , v i : i = 1 , 2 , , n } { w } and edge set E ( R W n ) = { u i u i + 1 , v i v i + 1 , u i v i + 1 , u i + 1 v i : i = 1 , 2 , , n 1 } { u i v i , u i w , v i w : i = 1 , 2 , , n } .
The following theorem provides the exact values of the modular edge H-irregularity strength and the modular vertex H-irregularity strength for ladder-wing graph R W n , where the subgraph H is isomorphic to R W m with 2 m n .
Theorem 11.
Let R W n , n 2 , be a ladder-wing graph on 2 n + 1 vertices and let m be a positive integer such that 2 m n . Then,
mehs ( R W n , R W m ) = 6 m + n 4 7 m 4 a n d mvhs ( R W n , R W m ) = m + n 2 m .
Proof. 
Clearly, the ladder-wing graph R W n , n 2 , admits an R W m -covering consisting of exactly t = n m + 1 subgraphs for every m such that 2 m n . According to (1), it follows that
ehs ( R W n , R W m ) 6 m + n 4 7 m 4 .
To prove the converse inequality, we construct an edge labeling φ such that
φ ( u i u i + 1 ) = 6 m 3 + i 7 m 4 , for i = 1 , 2 , , n 1 , φ ( v i v i + 1 ) = 5 m 2 + i 7 m 4 , for i = 1 , 2 , , n 1 , φ ( u i v i ) = 4 m 2 + i 7 m 4 , for i = 1 , 2 , , n , φ ( u i v i + 1 ) = 3 m 1 + i 7 m 4 , for i = 1 , 2 , , n 1 , φ ( u i + 1 v i ) = 2 m + i 7 m 4 , for i = 1 , 2 , , n 1 , φ ( u i w ) = m + i 7 m 4 , for i = 1 , 2 , , n , φ ( v i w ) = i 7 m 4 , for i = 1 , 2 , , n .
It is straightforward to verify that under the previously defined labeling, all edge labels are at most 6 m + n 4 7 m 4 . For the R W m -weight of the subgraph R W m j , j = 1 , 2 , , n m + 1 , we obtain
w t φ ( R W m j ) = e E ( R W m j ) φ ( e ) = i = j m + j 2 φ ( u i u i + 1 ) + φ ( v i v i + 1 ) + φ ( u i v i + 1 ) + φ ( u i + 1 v i ) + i = j m + j 1 φ ( u i v i ) + φ ( u i w ) + φ ( v i w ) = φ ( u j u j + 1 ) + φ ( v j v j + 1 ) + φ ( u j v j + 1 ) + φ ( u j + 1 v j ) + i = j + 1 m + j 2 φ ( u i u i + 1 ) + φ ( v i v i + 1 ) + φ ( u i v i + 1 ) + φ ( u i + 1 v i ) + φ ( u j v j ) + φ ( u j w ) + φ ( v j w ) + i = j + 1 m + j 1 φ ( u i v i ) + φ ( u i w ) + φ ( v i w ) = 6 m 3 + j 7 m 4 + 5 m 2 + j 7 m 4 + 3 m 1 + j 7 m 4 + 2 m + j 7 m 4 + i = j + 1 m + j 2 φ ( u i u i + 1 ) + φ ( v i v i + 1 ) + φ ( u i v i + 1 ) + φ ( u i + 1 v i ) + 4 m 2 + j 7 m 4 + m + j 7 m 4 + j 7 m 4 + i = j + 1 m + j 1 φ ( u i v i ) + φ ( u i w ) + φ ( v i w ) .
For the R W m -weight of the subgraph R W m j + 1 , j = 1 , 2 , , n m , we obtain
w t φ ( R W m j + 1 ) = e E ( R W m j + 1 ) φ ( e ) = i = j + 1 m + j 1 φ ( u i u i + 1 ) + φ ( v i v i + 1 ) + φ ( u i v i + 1 ) + φ ( u i + 1 v i ) + i = j + 1 m + j φ ( u i v i ) + φ ( u i w ) + φ ( v i w ) = i = j + 1 m + j 2 φ ( u i u i + 1 ) + φ ( v i v i + 1 ) + φ ( u i v i + 1 ) + φ ( u i + 1 v i ) + φ ( u m + j 1 u m + j ) + φ ( v m + j 1 v m + j ) + φ ( u m + j 1 v m + j ) + φ ( u m + j v m + j 1 ) + i = j + 1 m + j 1 φ ( u i v i ) + φ ( u i w ) + φ ( v i w ) + φ ( u m + j v m + j ) + φ ( u m + j w ) + φ ( v m + j w ) = i = j + 1 m + j 2 φ ( u i u i + 1 ) + φ ( v i v i + 1 ) + φ ( u i v i + 1 ) + φ ( u i + 1 v i ) + 7 m 4 + j 7 m 4 + 6 m 3 + j 7 m 4 + 4 m 2 + j 7 m 4 + 3 m 1 + j 7 m 4 + i = j + 1 m + j 1 φ ( u i v i ) + φ ( u i w ) + φ ( v i w ) + 5 m 2 + j 7 m 4 + 2 m + j 7 m 4 + m + j 7 m 4 = 1 + w t φ ( R W m j ) .
Observe that R W m -weights successively receive values 7 m 4 , 7 m 3 , , 6 m + n 4 . This implies that the weights are distinct for all pairs of distinct subgraphs isomorphic to R m , and therefore, edge labeling φ is a desired R W m -irregular edge 6 m + n 4 7 m 4 -labeling. Hence, this labeling provides an upper bound on ehs ( R W n , R W m ) . Combined with the lower bounds established in (7), we conclude that ehs ( R W n , R W m ) = 6 m + n 4 7 m 4 . The desired result then follows directly from Theorem 5.
Since the graphs L W n and R W n have the same vertex set, and each corresponding pair of subgraphs L W m and R W m likewise have identical vertex sets, it follows from Theorem 9 that mvhs ( L W n , L W m ) = mvhs ( R W n , R W m ) = m + n 2 m . This completes the proof. □

4. Conclusions

In this paper, we introduce two novel graph invariants: the modular edge H-irregularity strength, denoted mehs ( G , H ) , and the modular vertex H-irregularity strength, denoted mvhs ( G , H ) . These are natural extensions of existing irregularity strength concepts. We establish general lower bounds and determine exact values for several graph families, including fan graphs, friendship graphs, ladders, and ladder-wing graphs. In each case, the subgraphs H are isomorphic to graphs of the same type but on a smaller number of vertices. These results confirm the sharpness of the proposed bounds and demonstrate the utility of modular labelings in distinguishing subgraph structures.
It may be of interest to determine the exact values of these invariants in cases where G and H are not of the same type. In the examples presented, the subgraphs H are, in some sense, linearly ordered. It would be challenging to explore cases where the H-covering of G has a more complex structure. A simple example is the case where a cycle C n is covered by paths P m for 2 m n . Considering the two extremal cases, covering the cycle C n by P 2 and P n , we trivially obtain mehs ( C n , P 2 ) = mehs ( C n , P n ) = n . This follows from the fact that the P 2 -weights correspond to the label of a single edge, which must be unique since all weights must differ. For P n , the weights equal the sum of all but one edge label on C n . For m = 3 , we have that mehs ( C n , P 3 ) equals the modular vertex-irregularity strength ms ( C n ) , as defined by Bača et al. in [16]. This is because the weight of each path P 3 in C n essentially corresponds to the vertex weight of the vertex of degree 2 in the path. This observation can be trivially generalized to any r-regular graph G, where mehs ( G , K 1 , r ) = ms ( G ) . Moreover, for regular graphs, the concept of vhs ( G , K 1 , r ) is closely related to the inclusive distance vertex irregularity strength introduced by Bača et al. [19].
Future work may focus on determining mehs ( G , H ) and mvhs ( G , H ) for other graph families, as well as exploring algorithmic aspects and investigating connections with other graph operations or labeling parameters.
All of these concepts open new avenues for studying labeling parameters that induce not only distinct subgraph weights, but weights that are distinct modulo the number of subgraphs. This implies that subgraphs can be uniquely identified by their weights, which may serve as a foundation for potential applications—an exciting direction we hope will be explored in future research.

Author Contributions

Conceptualization, M.B., M.L. and A.S.-F.; methodology, M.B., M.L. and A.S.-F.; software, A.S.-F.; validation, M.B., M.L. and A.S.-F.; formal analysis, M.B., M.L. and A.S.-F.; investigation, M.B., M.L. and A.S.-F.; resources, M.B., M.L. and A.S.-F.; data curation, M.B., M.L. and A.S.-F.; writing—original draft preparation, M.B.; writing—review and editing, M.B., M.L. and A.S.-F.; visualization, M.B., M.L. and A.S.-F.; supervision, M.B. and A.S.-F.; project administration, M.B. and A.S.-F.; funding acquisition, M.B. and A.S.-F. All authors have read and agreed to the published version of the manuscript.

Funding

This work was supported by the Slovak Research and Development Agency under the contract No. APVV-23-0191 and by VEGA 1/0243/23.

Institutional Review Board Statement

Not applicable.

Informed Consent Statement

Not applicable.

Data Availability Statement

The raw data supporting the conclusions of this article will be made available by the authors on request.

Conflicts of Interest

The authors declare no conflicts of interest.

References

  1. Ashraf, F.; Bača, M.; Kimáková, Z.; Semaničová-Feňovčíková, A. On vertex and edge H-irregularity strengths of graphs. Discrete Math. Algorithms Appl. 2016, 8, 1650070. [Google Scholar] [CrossRef]
  2. Ashraf, F.; Bača, M.; Semaničová-Feňovčíková, A.; Siddiqui, M.K. On H-irregularity strength of ladders and fan graphs. AKCE J. Graphs. Combin. 2020, 17, 213–219. [Google Scholar] [CrossRef]
  3. Ibrahim, M.; Gulzar, A.; Fazil, M.; Naeem Azhar, M. On edge H-irregularity strength of hexagonal and octagonal grid graphs. J. Math. 2022, 2022, 6047926. [Google Scholar] [CrossRef]
  4. Maryati, T.K.; Hadiputra, F.F. On H-irregularity strength of comb and edge comb product of graphs. J. Combin. Math. Combin. Comput. 2025, 125, 255–269. [Google Scholar] [CrossRef]
  5. Ahmad, A.; Al-Mushayt, O.; Bača, M. On edge irregularity strength of graphs. Appl. Math. Comput. 2014, 243, 607–610. [Google Scholar] [CrossRef]
  6. Basher, M. Edge irregular reflexive labeling for the r-th power of the path. AIMS Math. 2021, 6, 10405–10430. [Google Scholar] [CrossRef]
  7. Tarawneh, I.; Hasni, R.; Ahmad, A. On the edge irregularity strength of grid graphs. AKCE J. Graphs. Comb. 2020, 17, 414–418. [Google Scholar] [CrossRef]
  8. Tarawneh, I.; Hasni, R.; Ahmad, A.; Asim, M.A. On the edge irregularity strength for some classes of plane graphs. AIMS Math. 2021, 6, 2724–2731. [Google Scholar] [CrossRef]
  9. Chartrand, G.; Jacobson, M.S.; Lehel, J.; Oellermann, O.R.; Ruiz, S.; Saba, F. Irregular networks. Congr. Numer. 1988, 64, 187–192. [Google Scholar]
  10. Aigner, M.; Triesch, E. Irregular assignments of trees and forests. SIAM J. Discrete Math. 1990, 3, 439–449. [Google Scholar] [CrossRef]
  11. Anholcer, M.; Palmer, C. Irregular labellings of circulant graphs. Discret. Math. 2012, 312, 3461–3466. [Google Scholar] [CrossRef]
  12. Bohman, T.; Kravitz, D. On the irregularity strength of trees. J. Graph Theory 2004, 45, 241–254. [Google Scholar] [CrossRef]
  13. Kalkowski, M.; Karonski, M.; Pfender, F. A new upper bound for the irregularity strength of graphs. SIAM J. Discrete Math. 2011, 25, 1319–1321. [Google Scholar] [CrossRef]
  14. Majerski, P.; Przybyło, J. On the irregularity strength of dense graphs. SIAM J. Discrete Math. 2014, 28, 197–205. [Google Scholar] [CrossRef]
  15. Koam, A.N.A.; Ahmad, A.; Bača, M.; Semaničová-Feňovčíková, A. Modular edge irregularity strength of graphs. AIMS Math. 2023, 8, 1475–1487. [Google Scholar] [CrossRef]
  16. Bača, M.; Muthugurupackiam, K.; Kathiresan, K.; Ramya, S. Modular irregularity strength of graphs. Electron. J. Graph Theory Appl. 2020, 8, 435–443. [Google Scholar] [CrossRef]
  17. Bača, M.; Kimáková, Z.; Lascsáková, M.; Semaničová-Feňovčíková, A. The irregularity and modular irregularity strength of fan graphs. Symmetry 2021, 13, 605. [Google Scholar] [CrossRef]
  18. Bača, M.; Imran, M.; Semaničová-Feňovčíková, A. Irregularity and modular irregularity strength of wheels. Mathematics 2021, 9, 2710. [Google Scholar] [CrossRef]
  19. Bača, M.; Semaničová-Feňovčíková, A.; Slamin; Sugeng, K.A. On inclusive distance vertex irregular labelings. Electron. J. Graph Theory Appl. 2018, 6, 61–83. [Google Scholar] [CrossRef]
Disclaimer/Publisher’s Note: The statements, opinions and data contained in all publications are solely those of the individual author(s) and contributor(s) and not of MDPI and/or the editor(s). MDPI and/or the editor(s) disclaim responsibility for any injury to people or property resulting from any ideas, methods, instructions or products referred to in the content.

Share and Cite

MDPI and ACS Style

Bača, M.; Lascsáková, M.; Semaničová-Feňovčíková, A. Modular H-Irregularity Strength of Graphs. Mathematics 2025, 13, 2599. https://doi.org/10.3390/math13162599

AMA Style

Bača M, Lascsáková M, Semaničová-Feňovčíková A. Modular H-Irregularity Strength of Graphs. Mathematics. 2025; 13(16):2599. https://doi.org/10.3390/math13162599

Chicago/Turabian Style

Bača, Martin, Marcela Lascsáková, and Andrea Semaničová-Feňovčíková. 2025. "Modular H-Irregularity Strength of Graphs" Mathematics 13, no. 16: 2599. https://doi.org/10.3390/math13162599

APA Style

Bača, M., Lascsáková, M., & Semaničová-Feňovčíková, A. (2025). Modular H-Irregularity Strength of Graphs. Mathematics, 13(16), 2599. https://doi.org/10.3390/math13162599

Note that from the first issue of 2016, this journal uses article numbers instead of page numbers. See further details here.

Article Metrics

Back to TopTop