ALL Metrics
-
Views
-
Downloads
Get PDF
Get XML
Cite
Export
Track
Research Article

Equitable Domination in Turiyam Graphs with Network Applications

[version 1; peer review: awaiting peer review]
PUBLISHED 01 Jun 2026
Author details Author details
OPEN PEER REVIEW
REVIEWER STATUS AWAITING PEER REVIEW

Abstract

Background

Turiyam graphs provide a mathematical framework for representing systems with uncertainty, inconsistency, incomplete information, and refusal conditions. This study introduces the concept of equitable domination in Turiyam graphs to achieve balanced dominance among neighboring vertices and reduce excessive dependence on individual nodes in uncertain network structures.

Methods

The study defines equitable dominating sets in Turiyam graphs and investigates their theoretical properties. Relationships between equitable domination and classical domination concepts are examined through mathematical analysis. Fundamental properties, bounds, and characterizations of equitable domination are established within the Turiyam graph framework.

Results

The analysis shows that equitable domination supports balanced control and efficient resource allocation in uncertain networks. Equitable dominating sets generally require a slightly larger number of dominating vertices than minimum dominating sets, but they provide improved balance, fault tolerance, and network stability. The study also identifies potential applications in communication systems, wireless sensor networks, cloud computing, and social interaction models where reliable connectivity and fair workload distribution are important.

Conclusions

Equitable domination in Turiyam graphs provides an effective approach for analyzing and designing complex systems operating under uncertain conditions. The proposed framework extends domination theory in generalized graph structures and offers a foundation for future studies on optimization, decision-making, and network management in uncertain environments.

Keywords

Domination theory, Fairness in networks, Wireless sensor networks, Turiyam graph, equitable domination

1. Introduction

The idea of uncertainty in real-world systems was first addressed by L.A. Zadeh in 1965 through the introduction of fuzzy set theory.1 In graph theory, the representation of fuzzy graphs and several fuzzy analogues of connectivity were later introduced by Rosenfeld.2 The study of dominating sets in graphs began with the works of Berge and Ore,3 while paired domination was initiated by Teresa et al.4 V.R. Kulli further expanded the theory by developing the concept of domination in graphs.5 Cockayne6 was the first to define the independent domination number in graphs, and Swaminathan and Dharmalingam7 introduced the concept of equitable domination.

A. Meenakshi contributed significantly to the field by developing and analyzing paired equitable domination8 as well as inflated graphs and their counterparts.9,10 Strong and weak domination in fuzzy graphs were defined and studied by Nagoor Gani and M. Basher Ahmed.11 K.T. Atanassov introduced intuitionistic fuzzy relations and intuitionistic fuzzy graphs (IFGs),12 while Shannon and Atanassov,13 along with M.G. Karunambigai et al., 14 identified IFGs as a specific class of fuzzy graphs. Additionally, strong and weak domination in fuzzy graphs were investigated by Jayalakshmi and Harinarayanan.22 The terms “order,” “degree,” and “magnitude” in IFGs were established by Shajitha Begum and A. Nagoor Gani.15 Domination in split intuitionistic fuzzy graphs was introduced by S. Anu Priya and A. Nagoor Gani,16 and Dombi fuzzy graphs were later examined by the same researcher.17 Equitable domination in neutrosophic graphs was developed by A. Meenakshi and J. Senbagamalar.18 Further advancements in Turiyam theory including Turiyam relations, Turiyam graphs, and their applications were proposed by Ganati G.A.1921 Domination and paired domination in Turiyam graphs were subsequently developed by Erana A.G., Srinivasa Rao Repalle V.N., and Agama F.T.23

In this study, we construct and analyze the equitable domination parameter in Turiyam graphs using strong arcs. The motivation for our work arises from the existing research on domination and equitable domination in Turiyam graphs, as well as applications involving strong arcs. The split domination work in intuitionistic fuzzy graphs found in16 primarily focused on vertex and edge cardinality; in contrast, our study extends the investigation to equitable domination in Turiyam graphs, aiming to determine the optimal degree, size, and order of their vertices. Inspired by the concepts of weak and strong domination in fuzzy graphs,13 we further explore both strong and weak equitable domination in Turiyam graphs using the score function.

2. Preliminaries

Definition 2.1

11 If AIF is finite vertex set of GIF=(AIF,BIF) such that;

  • (i) μ1:AIF[0,1];γ1 : AIF[0,1] , indicate the values of membership for the degrees of truth and falsehood respectively, with 0μ1(vs)+γ1(vs)1 for each vsV and,

  • (ii) BIFAIF×AIF Where μ2:AIF×AIF[0,1] ; γ2:AIF×AIF[0,1] are such that μ2{(ki,kj)}min{μ1(ki),μ1(kj)} ; γ2{(ki,kj)}max{γ1(ki),γ1(kj) } and where 0μ2{(ki,kj)}+μ2{(ki,kj)}1(ki,kj) BIF is IFG.

Definition 2.2

11If μ2(ki,kj)=min{μ1(k1),μ1(k2)} and γ2{(ki,kj)}=max{γ1(k1),γ1(k2) }. Then, an arc ( ud,vd ) is a strong arc.

Definition 2.3

11 The degree of a node ud in an IFG, GIF=(AIF,BIF), is the sum of the weights of strength arcs incident at ud and Neighborhood of ud . Additionally, δ(GIF)=min{dGIF(ud)/udAIF} is the smallest degree of GIF , and (GIF)=max{dGIF(ud)/udAIF} is the greatest degree of GIF .

Definition 2.4

11 Node udAIF in an IFG, GIF=(AIF,BIF) is an isolated node if μ2(ki,kj)=0 and γ2(ki,kj)=0.

Definition 2.5

11 Let IFG be GIF=(AIF,BIF) . Then 𝐺’s cardinality is defined as

|G|=|aiANS1TANSFANS2+aiajBNS1TBNSFBNS2|

Definition 2.6

11 If there is a strength of arc between uif and vifAIF , we say that uif dominates vif in GIF where GIF=(AIF,BIF) . A subset DdAIF is a dominance set in GIF if for each vifAIFDd , there is uifDd dominates vif .

Definition 2.7

4 Let Xsp be a generic element and a point space. One neutrosophic collection with values ANS (SVNS) is specified by TANS(Xsp) , IANS(Xsp), and FANS(Xsp) .

For each point x in Xsp;TANS(Xsp) , IANS(Xsp) , and FANS(Xsp)[0,1]. A SVNS,

ANS={x : TANS(x) , IANS(x) , FANS(x)xXsp} .

Definition 2.8

4 Consider the sets ANS=(TANS,IANS,FANS) and BNS=(TBNS,IBNS,FBNS) on a set Xsp be single valued neutrosophic set. If ANS=(TANS,IANS,FANS) is a SVN relation on BNS=(TBNS,IBNS,FBNS) then, TBNS(x,y)min{TANS(x),TANS(y) }.

IBNS(x,y)min{IANS(x),IANS(y)} , and FBNS(x,y)max{TANS(x),TANS(y)} for all x,y in Xsp .

Definition 2.9

4 If TEs{(ai,aj)}=min{TVs(ai),TVs(aj)} , IEs{(ai,aj)}=min{IVs(ai),IVs(aj)} , FEs{(ai,aj)}=max{FVs(ai),FVs(aj)} of GNS=(ANS,BNS) of the neutrosophic graph then, an arc (ai,aj) of GNS is strong where (ai,aj)Es and ai&ajVs .

Definition 2.10

4,24 Let u be a node in a NSG, GNS=(ANS,BNS) . The degree of a node ud is represented by deg ( ud ), which is the total weight of the strong arcs that incident at that node. N(ud)={vdANS/(ud,vd) is a strong arc} represents the neighborhood of ud .

δ(GNS)=min{dGNS(ud)/udANS} is the smallest degree of GNS and (GNS)=max{dGNS(ud)/udANS} is the maximum degree of GNS .

Definition 2.11

25 The order of GNS , GNS=(ANS,BNS) is represented by

|ANS|=|aiANS2+TANS(0.5)IANSFANS3| , and the size of GNS , GNS=(ANS,BNS) is represented by |BNS|=|aiANS2+TBNS(0.5)IBNSFBNS3| .

Definition 2.12

25 If there is at least one udDNS that dominates vd for each vdAIFDNS , then the subset DNSANS is considered a dominance set. The symbol γNG(GNS) represents the dominance number, which is the minimum dominating set’s cardinality.

Definition 2.13

25 If no appropriate subset of DNS is a dominance set of GNS , then the dominance set DNS of ANS is a minimum.

3. Result

3.0 Domination of Turiyam Graph Using Strength of Arc

Definition 3.0.1

Assume u is a node in TG . The degree of a node ud is explained as the total weight of the powerful arcs that occurred at ud and is represented by deg ( ud ). The neighbourhood ud , N(ud)={vdATS/(ud,vd)} is a strong arc, and δ(GNS)=min{dGNS(ud)/udANS} is the smallest degree of GNS and (GNS)=max{dGNS(ud)/udANS} is the greatest degree of GNS .

Definition 3.0.2

The order of GTS , GTS=(ATS,BTS) is;

|ATS|=|aiATS3+TATS(0.5)IATSFATS4| , and the size of GTS , GTS=(ATS,BTS) in a Turiyam graph is;

|BTS|=|aiATS3+TBTS(0.5)IBTSFBTS4|

Definition 3.0.3

The subset DTSATS of GTS is an overwhelming set which is symbolized as γTG(GTS) , if there is at least one udDTS that dominates vd for each vdAIFDTS .

Definition 3.0.4

The dominance set DTS of GTS is minimum, if no proper subset of DTS is an overwhelming of GTS .

Example 3.1:

Let GTS=(ATS,BTS) be TG shown in Figure 1.

From Figure 1, the arcs a2a4 and a4a7 are not strong arcs. The degrees of the vertices are given as follows:

deg(a1)=(0.5,0.5,0.6,0.7),
deg(a2)=(0.8,0.8,0.95,1.05),
deg(a3)=(0.25,0.3,0.35,0.35),
deg(a4)=(0.25,0.25,0.3,0.35),
deg(a5)=(1.4,0.95,0.85,1.15),
deg(a6)=(0.6,0.3,0.2,0.4),
deg(a7)=(0.7,0.65,0.7,0.8),and
deg(a8)=(0.4,0.3,0.35,0.45).

Hence, the smallest truth, indeterminacy, falsity, and liberal membership values of GTS are:

δ(GTS)=min{T(ud):udATS}=0.25,
δ(GIS)=min{I(ud):udATS}=0.25,
δ(GFS)=min{F(ud):udATS}=0.2,
δ(GLS)=min{L(ud):udATS}=0.35.

Therefore, the minimum degree of GTS is

δ(GTS)=min{dGTS(ud):udATS}=(0.25,0.25,0.2,0.35).

Similarly, the greatest truth, indeterminacy, falsity, and liberal membership values of GTS are:

Δ(GTS)=max{dGTS(ud):udATS}=1.4,
Δ(GIS)=max{dGIS(ud):udATS}=0.95,
Δ(GFS)=max{dGFS(ud):udATS}=0.95,
Δ(GLS)=max{dGLS(ud):udATS}=1.15.

Thus, the maximum degree of GTS is

Δ(GTS)=max{dGTS(ud):udATS}=(1.4,0.95,0.95,1.15).

Theorem 3.0.1:

GTS=(ATS,BTS) is minimal. If and only if one of the following criteria is met for each vdϵDTS , where DTS is Turiyam dominance set.

  • i. There is a node udϵATSDTS such that N(ud)DTS={vd}

  • ii. vd is an isolate in DTS

Proof: Assume that a vertex vd of DTS does not satisfy any of the previously mentioned requirements. As a result, N(ud)DTS{vd} for each node udϵATSDTS . Additionally, DTSvd will be a minimal and overpowering of GTS , which is contrary to the assumption, if vd is not an isolate in DTS , according to condition (ii).

Theorem 3.0.2:

A dominance set is a subset DTSATS of GTS , where GTS=(ATS,BTS) . Then, there are two nodes ud,vdϵATSDTS such that at least one vertex of DTS is present in every udvd path.

Proof:

Presume that DTS is a dominant set of G. Since each vertex in ATSDTS is dominated by at least one vertex of DTS , there is a udvd path that comprises at least one vertex of DTS .

Theorem 3.0.3:

For any Turiyam graph TG , with order p

γTG(GTS)pT(GTS)
γTG(GTS)pI(GTS)
γTG(GTS)pF(GTS)
γTG(GTS)pL(GTS)

Proof:

The dominant set has fewer vertices than n since i=1nd(vi)p , where vi is the number of nodes in the strong arc. This is demonstrated by taking GTS=(ATS,BTS) to be a TG of order p . Additionally, by the concept of (GTS) , the maximum truth values membership of vi among all nodes of GTS and γTG(GTS)i=1nd(vi)pT(GTS) , Furthermore, we verify the others for falsity membership, indeterminacy membership, and liberal membership as follows:

γTG(GTS)i=1nd(vi)pI(GTS),γTG(GTS)i=1nd(vi)pF(GTS),andγTG(GTS)i=1nd(vi)pL(GTS).

af8ceaa3-d2dd-4d24-ba45-d0b87c960107_figure1.gif

Figure 1. Example of domination of Turiyam Graph using strong arc.

3.1 Equitable dominance of a Turiyam graph (TG)

Definition 3.1.1

Let GTS=(ATS,BTS) be a Turiyam graph. A dominating set DTSATS is called an equitable dominating set if for every vertex uATS\DTS , there exists a vertex vDTS such that

|deg(u)deg(v)|1.

The equitable domination number of GTS , denoted by γefTG(GTS), is the minimum cardinality of an equitable dominating set in GTS .

Definition 3.1.2

Let GTS=(ATS,BTS) be a Turiyam graph. An equitable dominating set DTSATS is said to be minimum if no proper subset of DTS is an equitable dominating set of GTS .

Example 3.1.1

Let be TG with GTS=(ATS,BTS) and let we have arcs a1a2 , a2a4 , a4a7 which are weak arcs and their degrees can be given as, deg (a1)=(0.25,0.25,0.3,0.35) ,

deg(a2)=(0.75,0.65,0.55,0.75),
deg(a3)=(0.25,0.3,0.35,0.35),
deg(a4)=(0.25,0.25,0.3,0.35),
deg(a5)=(1.4,1.05,0.75,1.2),
deg(a6)=(0.6,0.3,0.2,0.4),
deg(a7)=(0.7,0.65,0.7,0.8)and,
deg(a8)=(0.4,0.3,0.35,0.45).

Let DedTS(1)={a2,a4,a5,a7}. Now, consider the set ATSDedTS(1)={a1,a3,a6,a8} .

For each vertex aiATS\DedTS(1) , there exists a vertex ajDedTS(1) such that:

  • 1. aiajBTS (i.e., ai is adjacent to aj ), and

  • 2. The degree condition holds component-wise:

    |degk(ai)degk(aj)|1,forallcomponentsk.

Indeed:

  • a1 is adjacent to a2 or a4 ,

  • a3 is adjacent to a2 ,

  • a6 is adjacent to a5 ,

  • a8 is adjacent to a7 , and in each case, the component-wise difference of degrees is less than or equal to 1. Hence, DedTS(1)={a2,a4,a5,a7} is an equitable dominating set of GTS .

Theorem 3.1.1

Let GTS=(ATS,BTS) be a Turiyam graph and let DTSATS be a balanced equitable dominating set. Then DTS is a minimum equitable dominating set if and only if every vertex vDTS satisfies at least one of the following conditions:

  • 1. There exists a vertex uATS\DTS such that v is the only vertex in DTS adjacent to u , that is, N(u)DTS={v};

  • 2. The vertex v is isolated within the induced subgraph on DTS , i.e., N(v)DTS=.

    (⇒) Assume that DTS is a minimum equitable dominating set.

Suppose to the contrary, that there exists a vertex vDTS which does not satisfy either of the stated conditions. Then:

i.v is not the unique neighbor of any vertex in ATS\DTS , meaning every such vertex dominated by v is also dominated by another vertex in DTS ; and

ii.v is not isolated in the induced subgraph DTS , so it has at least one neighbor within DTS .

These observations imply that removing v from DTS does not affect the domination of vertices outside the set and does not disrupt the internal structure required for equitable domination. Hence, the set DTS=DTS\{v} would still be an equitable dominating set. This contradicts the minimality of DTS . Therefore, every vertex in DTS must satisfy at least one of the given conditions.

(⇐) Conversely, assume that every vertex vDTS satisfies at least one of the conditions.

Suppose that DTS is not minimum. Then there exists a proper subset DTSDTS that is also an equitable dominating set. This means there exists a vertex vDTS such that vDTS .

We consider two cases:

  • i. If v uniquely dominates some vertex uATS\DTS , then removing v leaves u undominated, contradicting the assumption that DTS is a dominating set.

  • ii. If v is isolated in DTS , then it does not share its role with other vertices in DTS . Removing it would violate the conditions required for equitable domination.

    In both cases, a contradiction arises. Therefore, no proper subset of DTS can be an equitable dominating set. Hence, DTS is a minimum equitable dominating set if and only if every vertex in DTS satisfies at least one of the stated conditions.

Theorem 3.1.2

Let GTS=(ATS,BTS) be a Turiyam graph. Then the domination number of GTS is less than or equal to its equitable domination number, that is, γTG(GTS)γedTG(GTS).

Proof:

Let Ded be a minimum equitable dominating set of GTS . Then, |Ded|=γedTG(GTS).

Since every equitable dominating set is also a dominating set, it satisfies all domination requirements along with additional equitable conditions. Therefore, Ded is also a dominating set of GTS . However, it may not be the smallest dominating set, and let D be a minimum dominating set of GTS , so that |D|=γTG(GTS). Since D is the smallest among all dominating sets, we must have |D||Ded|. Hence, γTG(GTS)γedTG(GTS).

Example 3.1.2:

Consider the diagram below and let GTS=(ATS,BTS) be the TG shown in the below Figure 2.

af8ceaa3-d2dd-4d24-ba45-d0b87c960107_figure2.gif

Figure 2. Example of equitable domination of Turiyam graph.

As we have seen from Figure 2, above all arcs are strength arcs and the only possible balanced dominance set is DedTs={a1,a2,a3,a4,a5,a6} , since |deg(ai)deg(aj)|1 for each j = 2, 3, 4 & 5.

Theorem 3.1.3

Let GTS=(ATS,BTS) be a Turiyam graph and let DedTSATS be an equitable dominating set. Then there exist two vertices u,vATS\DedTS such that every path between u and v contains at least one vertex from DedTS .

Proof:

Assume that DedTS is an equitable dominating set of GTS . Suppose, for contradiction, that for every pair of vertices u,vATS\DedTS , there exists at least one path between u and v that does not contain any vertex from DedTS . This means that the subgraph induced by ATS\DedTS is path-connected, i.e., all vertices outside the dominating set are connected without involving any vertex from DedTS . Now consider any vertex xATS\DedTS . Since DedTS is a dominating set, there exists a vertex yDedTS such that x is adjacent to y .

However, due to the assumed connectivity of ATS\DedTS , the vertices outside DedTS are sufficiently interconnected. This implies that the domination provided by some vertices in DedTS may become redundant, and it may be possible to remove at least one vertex from DedTS while still maintaining domination. This contradicts the defining property of an equitable dominating set, which requires a structured and balanced domination across the graph. Therefore, our assumption is false.

Hence, there must exist at least one pair of vertices u,vATS\DedTS such that every path between them contains at least one vertex of DedTS .

Theorem 3.1.4

Let GTS=(ATS,BTS) be a Turiyam graph of order p=|ATS| . Then the equitable domination number of GTS satisfies the following bounds:

γefTG(GTS)pΔT(GTS),
γefTG(GTS)pΔI(GTS),
γefTG(GTS)pΔF(GTS),
γefTG(GTS)pΔL(GTS),
where ΔT,ΔI,ΔF, and ΔL denote the maximum values of the respective degree components in GTS .

Proof:

Let GTS=(ATS,BTS) be a Turiyam graph with p=|ATS| , and let vATS be a vertex such that its degree attains the maximum in one of the components, say ΔT(GTS) .

By definition, v is adjacent to at least ΔT(GTS) vertices (with respect to the T -component). Consider the set D=ATS\N(v), where N(v) denotes the neighborhood of v .Then:

  • i. All vertices in N(v) are directly dominated by v ,

  • ii. The remaining vertices belong to D .

Thus, the set D{v} forms a dominating set of GTS . Now observe that: |D{v}|=pΔT(GTS). Since the equitable domination number is defined as the minimum cardinality among all equitable dominating sets, we obtain γefTG(GTS)pΔT(GTS). Using the same argument for the other degree components ΔI(GTS) , ΔF(GTS) , and ΔL(GTS) , we similarly obtain: γefTG(GTS)pΔI(GTS),γefTG(GTS)pΔF(GTS),γefTG(GTS)pΔL(GTS).

3.2 Strong and weak Equitable Domination in Turiyam Graph

It is more challenging to handle the concepts of strong and weak domination in Turiyam graphs because the degree of edge membership values is determined by the membership values of the incident vertices. To address this issue, which is analogous to the concept of strong and weak equitable domination, we employ an edge cardinality score function for each edge and a vertex cardinality score function for every vertex. In a Turiyam graph, the existence of both strong and weak equitable domination is determined by the degree of the Turiyam graph.

Definition 3.2.1

Let GTS=(ATS,BTS) be a Turiyam graph. The node score function and edge score function of GTS are defined as follows:

  • 1. The node score function vsf:ATS is given by

    vsf(a)=3+TATS(a)0.5IATS(a)FATS(a)LATS(a)4,aATS.

  • 2. The edge score function esf:BTS is given by

esf(ab)=3+TBTS(ab)0.5IBTS(ab)FBTS(ab)LBTS(ab)4,abBTS.

Definition 3.2.2

The degree of the vertex u , denoted by deg(u) , is defined as the sum of the scores of all strong arcs incident to u . That is, deg(u)=uvBTSuvisastrongarcesf(uv), where esf(uv) denotes the edge score function of the arc uv . The neighborhood of u , denoted by N(u) , is defined as N(u)={vATS|uvBTSanduvisastrongarc}.

The minimum degree and maximum degree of GTS are defined, respectively, as

δ(GTS)=min{deg(u)|uATS},
Δ(GTS)=max{deg(u)|uATS}.

Definition 3.2.3

The order of GTS=(ATS,BTS) is the sum of the score function of node cardinality of each vertex and is represented by GTS . The size of GTS=(ATS,BTS) is the total of the score of the function of edge cardinality of each edge.

Definition 3.2.4

Consider the Turiyam graph GTS=(ATS,BTS) . If deg(ud)deg(vd) and ud is a member of the equitable dominance set, we say that ud is extremely equitable and predominates vd for any ud,vdATS .

Definition 3.2.5

Take the Turiyam graph GTS=(ATS,BTS) into consideration. For each ud,vdATS , we say that ud weakly equitable dominates vd if deg (ud) deg (vd) is a member of the equitable dominance set.

Definition 3.2.6

If there is at least one udDedTsS such that ud is extremely equitable and predominates vd for each vdATSDedTSS , then the dominance set DedTSS of ATS of a Turiyam graph GTS=(ATS,BTS) is a strong equitable dominance set. As the minimum cardinality of a strong equitable dominating set, a strong equitable domination number is denoted as γedTGS(GTs) .

Definition 3.2.7

If there is at least one udDedTsW such that ud weakly equitable dominates vd for each vdATSDedTSW , then a dominance set DedTSW of ATS of a Turiyam graph GTS=(ATS,BTS) is a weak equitable dominance set. A weak equitable dominance number, denoted as γedTGW(GTs) , is the minimal cardinality of a weak equitable dominance set.

Theorem 3.2.1

For every Turiyam graph TG , GTS=(ATS,BTS) , γedTGW(GTs)γedTGS(GTs) or γedTGW(GTs)γedTGS(GTs)

Proof:

Let: DS be a minimum strong edge-dominating TG set of GTS , so |DS|=γedTGS(GTS) .

Step 1: Relationship between strong and weak conditions

By definition: Every strong edge-dominating TG set satisfies stricter conditions than a weak edge-dominating TG set and hence, any set that is strong edge-dominating is also weak edge-dominating.

Therefore, DSis alsoaweak edgedominatingTGset.

Step 2: Minimality argument

Since DS is a weak edge-dominating TG set, but not necessarily minimum for the weak case, we compare it with the minimum weak set.

Let: DW be a minimum weak edge-dominating TG set, so |DW|=γedTGW(GTS) . By minimality of DW , |DW||DS|

Step 3: Substitute parameters γedTGW(GTS)γedTGS(GTS) . Thus, for every Turiyam graph GTS , γedTGW(GTS)γedTGS(GTS)

Theorem 3.2.2:

For any Turiyam graph TG , GTS=(ATS,BTS)

  • i. γedTGs(GTs)o(GTs)(GTs)

  • ii. γedTGs(GTs)o(GTs)δ(GTs)

Proof.

Let GTS=(ATS,BTS) be a Turiyam graph. Since i=1nd(vi)p , where nodes in a strong arc are represented by vi , but an equitable dominant set has fewer vertices than n . Additionally, according to the concept of minimal strong equitable dominance set and (GTs), the maximum truth membership values of vi among all of the nodes of (GTs) , we have γedTG(GTss)i=1nd(vi)p(GTs) . Similarly, we prove γedTG(GTss)pδ(GTs) .

Theorem 3.2.3:

For any Turiyam graph TG , GTS=(ATS,BTS)

  • i. γedTGW(GTs)O(GTs)(GTs)

  • ii. γedTGW(GTs)O(GTs)δ(GTs)

Proof:

Follows from the above theorem

Theorem 3.2.4:

For any Turiyam graph TG , GTS=(ATS,BTS)

  • i. γedTGs(GTs)O(GTs)/((GTs)+1)

  • ii. γedTGW(GTs)O(GTs)/((GTs)+1)

Proof: Let GTS=(ATS,BTS) be a Turiyam graph and its strong equitable dominance number be γedTGs(GTs) .

|O(GTs)γedTGs(GTs)|i=1nd(vi)γedTGs(GTs)(GTs)γedTGs(GTs)((GTs)+1)

Hence, γedTGs(GTs)O(GTs)/((GTs)+1) . Similarly, γedTGW(GTs)O(GTs)/((GTs)+1) .

3.3 Applications of Equitable Dominance of Turiyam graphs in Networks

In networks (such as communication, computer, social, or sensor networks), domination in Turiyam graphs is used to identify a minimal set of key nodes (dominators) that can efficiently monitor, control, or provide service to the rest of the network. Turiyam domination accounts for uncertain, indeterminate, and contradictory relations in networks (extending neutrosophic graphs). Equitable Turiyam domination adds a fairness criterion: all dominator nodes must cover nearly equal numbers of neighbors, balancing workload or service responsibility.

3.3.1 Communication Networks (Wi-Fi/LAN)

Turiyam domination: Selects the minimal number of access points (APs) so every device is within range of at least one AP, even if some connections are uncertain or fluctuating. While Equitable Turiyam domination: Ensures that no AP is overloaded; each AP covers approximately the same number of devices, preventing bottlenecks.

Example 1:

At a university campus, APs are installed in three buildings.

  • Turiyam domination identifies two APs sufficient to cover the whole campus.

  • Equitable domination redistributes load so each AP serves ~20–25 students instead of one AP covering 40 while another covers 5.

Key Insight: From the Table 1 and example 1 , we understand that Turiyam domination is about efficiency (minimize resources) and Equitable Turiyam domination is about efficiency + fairness (minimize resources while balancing service). Both are critical: first ensures coverage, second ensures sustainability. Now by considering the below Figure 3, as a network connection between different buildings we can apply equitable dominating Turiyam graph as follows:

Figure 3 shows that a campus with three buildings and five network nodes A, B, C, D and E. Each node represents a device (Ap, hub or logical controller). Edges are labeled with weights between 0 and 1(these are the link “truth”/reliability values). The two blue nodes A and D are highlighted as the chosen equitable dominating set; they jointly cover the network while keeping the load roughly balanced between them. As represented in diagram above;

Building (icons): Spatial anchors (library, class and cafeteria buildings) useful for mapping nodes to physical region.

Blue Nodes (A, D): The dominators in the diagram (selected controllers).

Yellow Nodes (B, C, E): Regular/client nodes that need coverage.

Edge labels (numbers like 0.8, 0.6, 0.4, 0.7, 0.3 …), link reliability/truth membership tuv between node u and v closer 1 which is more reliable link.

Turiyam nodes value (not drawn in the picture) and each node also have four Turiyam components (t, i, f and l). To get domination strength we need to combine node and edge values.

A node u dominates a node v if the combined reliability of u (its truth) and the link uv is high enough. In Turiyam graphs we account for uncertainty and refusal. So, we typically compute scholar domination strength D(uv) and compare it to a threshold θ . If D(uv)θ , then u effectively covers v . Equitable domination requires that the numbers of nodes assigned to each dominator be nearly equal (most formal definition: difference 1 ). This avoids overloading a single controller and spreading responsibility more fairly. In diagram A and D were chosen because their coverage responsibilities are roughly balanced given the link strengths shown.

To compute domination strengths;

D(uv)=tu.tuv.(1fu).(1lu)Were,

tu: Node u ’s truth/reliability, tuv: link reliability between u and v (edge label on diagram)

fu,lu : Node falsity and liberal/refusal (reduce effective domination)

If the diagram show edge AB labeled 0.4 and if node A has tA=0.95,fA=0.02,lA=0.1 then, D(AB)=0.95×0.4×(10.02)×(10.01)0.369 . If we use a threshold θ=0.35 that value 0.369 means A dominates B . If θ=0.4 it would not. Also, we can use the same computation for every ordered pair uv that has a non-zero link to form the domination matrix.

Now to verify A,D as equitable dominating set we use the following algorithms:

Step 1: Pick a threshold θ

Decide how conservative we want coverage to be (example θ=0.35 is moderate, θ=0.2 is permissive).

Step 2: Assemble Turiyam inputs

If we already have node (t, i, f, l) values from measurement) and we read link tuv from the diagram’s edge/label’s

Step 3: Compute D(uv) for each pair u,v use the formula above that yields a numeric matrix (rows dominators, column targets).

Step 4: Build coverage sets Nθ(u)={(u:D(uv)θ} . For each candidate dominator u, list which nodes it reliably covers at θ .

Step 5: Check domination (Coverage union)

A proposed dominating set S (here ={A,D}) is valid if UuSNθ(u)=V

Step 6: Check equitability

Compute coverage size Cu=|Nθ(u)(node assigned tou)| . For a simple check assign each covered node to the dominator with the highest.

Step 7: Refine if needed

If {A, D} covers everything but is not equitable, try adding equitable a third dominator (e.g C or B) or lowering/raising θ depending on your priorities (fairness versus fewer dominators).

Table 1. Comparison between Turiyam domination and Equitable domination.

AspectTuriyam dominationEquitable Turiyam domination
ObjectiveMinimal dominatorsMinimal + balanced dominators
Load distributionMay be unbalancedBalanced across dominators
Network lifetime (sensors)Shorter if hubs overloadedLonger due to fairness
Communication qualityCoverage assuredCoverage + fairness assured
ApplicationMinimal resource useResource efficiency + fairness
af8ceaa3-d2dd-4d24-ba45-d0b87c960107_figure3.gif

Figure 3. Application of equitable domination in Turiyam graph.

Summary of the diagram

Node A is located near the library building and has medium-strength links to nodes B and D . It likely covers ( A,B , and possibly C/D ) at a moderate θ . Node D is located near the cafeteria building and connects to nodes A , C , and E . It likely covers ( D , and possibly C and E ) at a moderate θ . Together, nodes A and D are positioned so that the union of their high-confidence coverage reaches all five nodes. Because each serve approximately half of the clients A covering the left/central clients and D covering the right/central clients-the workload is balanced. This balanced distribution reflects the equitable property demonstrated in the picture.

3.3.2 Equitable Domination in Social Networks

A Turiyam Graph (TG) model’s social networks more realistically than classical or even neutrosophic graphs, because it represents truth (T), indeterminacy ( I) , falsity ( F), and latent (L) components of relationships. Each connection (friendship, influence, or communication) between two individuals (u,v) is defined as: T(u,v)=(tuv,iuv,fuv,luv) , Where:

tuv : Strength or reliability of connection (e.g., consistent interaction).

iuv : Uncertainty in the relationship (e.g., inconsistent communication).

fuv : Contradiction (e.g., misinformation, conflict).

luv : Latent potential (e.g., shared background or unseen similarity).

In a social network, a dominating set ( D ) is a group of leaders or influencers who can reach or influence all members of the network. A Turiyam dominating set accounts for uncertainty in connections, selecting minimal influencers under varying levels of trust or indeterminacy. An equitable dominating set (EDS) ensures that influence responsibility is fairly distributed, and no single leader dominates excessively or becomes overburdened.

Formally: |NT(u)||NT(v)|1 for all ,v D . Meaning, each influencer reaches approximately the same number of followers with similar influence strength.

Example 2:

Consider the Scenario -Online Student Community

Setting: A university has a student social media platform connecting students across departments. There are five main representatives or leaders:

A (Admin), B (Tech Club Head), C (Sports Leader), D (Cultural Club Head), and E (General Member). Their influence strengths vary due to student interests, department ties, and posting frequency. Consider the diagram below to illustrate the example.

From Figure 4, we have the weights between each edge vary from one another and it indicates the relationship between everyone. These relationships can also be represented as Table 2.

af8ceaa3-d2dd-4d24-ba45-d0b87c960107_figure4.gif

Figure 4. Turiyam connection diagram.

Table 2. Turiyam connection values.

Edge (t,i,f,l) Description
AB (0.8,0.10,0.05,0.05) Strong admin-tech coordination
AC (0.7,0.15,0.10,0.05) Moderate link via events
AD (0.9,0.05,0.03,0.02) Very strong link
BE (0.6,0.25,0.10,0.05) Medium student engagement
CE (0.5,0.30,0.15,0.05) Weak indirect link
DE (0.7,0.20,0.05,0.05) Cultural connection strong

From Table 2, we observe that A and D have very strong links, and we can see the domination and its equitable domination analysis step by step:

Step 1: Domination (θ=0.5) . Nodes dominate others if (tuv0.5) and (fuv0.1).

A dominates {B,C,D} , B dominates {A,E} , D dominates {A,E} , E is dominated by {B,D} , and C only dominated by {A} . Hence, dominating set = {A, D} (all nodes covered).

Step 2: Check Equity

Being dominator A has influenced members {B,C,D} which count 3, and dominator D has influenced members {A,E} which count 2. Therefore, the difference 32=1 → Equitable domination achieved. In this community network; Admin (A) and Cultural Leader (D) form an equitable dominating pair. Both cover complementary subgroups: technical, sports, and cultural clusters. Their influence load differs only by one node which means fair, sustainable community leadership. The benefits of this domination include, preventing one leader (Admin) from overloading communication tasks, each subgroup (sports, tech, and culture) is equally represented, and balanced influence promotes fair participation and diversity. Additionally, Turiyam graph is superior here because of; It models uncertain, fuzzy, and contradictory social ties, Latent factors (L) represent potential friendships or shared goals not yet active and Equitable domination ensures information diffusion fairness even under uncertainty.

The mathematical intuition of Example (2) can be explained by the domination strength from A to B . DT(A,B)=tA×tAB×(1fA)×(1lA)

Equitable domination optimizes the set (D) such that; Max vDT(u,v) min vDT(u,v)1 , ensuring balanced influence across all dominators.

Real-world applications of equitable domination in Turiyam graphs are simplified and presented in Table 3. From Figure 4 and Table 3, the model of Turiyam graph captures truth, uncertainty, falsity, latent potential and its goal is balanced social influence via equitable domination to reduced overload, increased fairness and better engagement. The network shows student leaders forming balanced influencer coverage and the result impact on sustainable and inclusive community communication.

Table 3. Equitable domination impact of Example 2.

ContextDescriptionEquitable domination impact
University PlatformsStudent group leaders managing posts and forumsAvoid single-user burnout, equal content reach
Online Learning CommunitiesMentors guiding study groupsFair mentor workload
NGO Volunteer NetworksCoordinators leading campaignsEqual engagement levels
Corporate Teams (Slack/Teams)Managers or moderatorsFair communication load and reduced bias

4. Conclusion

The concept of equitable dominance in Turiyam graphs offers a powerful framework for analyzing and designing real-world networks under conditions of uncertainty, contradiction, and partial truth. Unlike classical domination, which focuses solely on minimizing the number of dominators, equitable domination ensures that the responsibility of domination is fairly balanced across the selected nodes. Overall, equitable domination in Turiyam graphs represents a next-generation approach to network optimization-ensuring coverage, fairness, and sustainability simultaneously. It bridges theoretical graph models with practical engineering needs, making it particularly valuable for modern complex systems where both efficiency and equity are essential.

Comments on this article Comments (0)

Version 1
VERSION 1 PUBLISHED 01 Jun 2026
Comment
Author details Author details
Competing interests
Grant information
Copyright
Download
 
Export To
metrics
Views Downloads
F1000Research - -
PubMed Central
Data from PMC are received and updated monthly.
- -
Citations
CITE
how to cite this article
Erana AG, Repalle VNS and Agama FT. Equitable Domination in Turiyam Graphs with Network Applications [version 1; peer review: awaiting peer review]. F1000Research 2026, 15:849 (https://doi.org/10.12688/f1000research.181882.1)
NOTE: If applicable, it is important to ensure the information in square brackets after the title is included in all citations of this article.
track
receive updates on this article
Track an article to receive email alerts on any updates to this article.

Open Peer Review

Current Reviewer Status:
AWAITING PEER REVIEW
AWAITING PEER REVIEW
?
Key to Reviewer Statuses VIEW
ApprovedThe paper is scientifically sound in its current form and only minor, if any, improvements are suggested
Approved with reservations A number of small changes, sometimes more significant revisions are required to address specific details and improve the papers academic merit.
Not approvedFundamental flaws in the paper seriously undermine the findings and conclusions

Comments on this article Comments (0)

Version 1
VERSION 1 PUBLISHED 01 Jun 2026
Comment
Alongside their report, reviewers assign a status to the article:
Approved - the paper is scientifically sound in its current form and only minor, if any, improvements are suggested
Approved with reservations - A number of small changes, sometimes more significant revisions are required to address specific details and improve the papers academic merit.
Not approved - fundamental flaws in the paper seriously undermine the findings and conclusions
Sign In
If you've forgotten your password, please enter your email address below and we'll send you instructions on how to reset your password.

The email address should be the one you originally registered with F1000.

Email address not valid, please try again

You registered with F1000 via Google, so we cannot reset your password.

To sign in, please click here.

If you still need help with your Google account password, please click here.

You registered with F1000 via Facebook, so we cannot reset your password.

To sign in, please click here.

If you still need help with your Facebook account password, please click here.

Code not correct, please try again
Email us for further assistance.
Server error, please try again.