Ratio Mathematica Volume 44, 2022 The Detour Monophonic Convexity Number of a Graph M. Sivabalan* S. Sundar Raj† V. Nagarajan‑ Abstract A set 𝑆 is detour monophonic convexifπ½π‘‘π‘š [𝑆} = 𝑆. The detour monophonic convexity number is denoted by πΆπ‘‘π‘š(𝐺), is the cardinality of a maximum proper detour monophonic convex subset of 𝑉.Some general properties satisfied by this concept are studied. The detour monophonic convexity number of certain classes of graphs are determined. It is shown that for every pair of integers π‘Ž and 𝑏 with 3 ≀ π‘Ž < 𝑏, there exists a connected graph 𝐺 such that πΆπ‘š(𝐺) = π‘Ž and πΆπ‘‘π‘š(𝐺) = 2(𝑏 + 1), whereπΆπ‘š(𝐺) is the monophonic convexity number of 𝐺. Keywords: convex, detour, chord, detour monophonic path, monophonic convexity number, detour monophonic, convexity number. AMS subject classification: 05C12,05C38Β§. *Register Number.12567, Research Scholar, Department of Mathematics, S.T. Hindu College, (Nagercoil – 629002, India); e-mail: sivabalanvkc@gmail.com †Department of Mathematics, Vivekananda College, (Agasteeswaram – 629701, India); e-mail: sundarrajvc@gmail.com ‑Department of Mathematics, S.T. Hindu College, (Nagercoil – 629002, India); e-mail: sthcrajan@gmail.com Affiliated to Manonmaniam Sundaranar University, Abishekapatti, Tirunelveli - 627 012, Tamil Nadu, India Β§ Received on June 12 th, 2022. Accepted on Sep 1st, 2022. Published on Nov 30th, 2022. doi: 10.23755/rm.v44i0.918. ISSN: 1592-7415. eISSN: 2282-8214. Β©The Authors.This paper is published under the CC-BY licence agreement. 302 mailto:sivabalanvkc@gmail.com mailto:sthcrajan@gmail.com M. Sivabalan, S. Sundar Raj and V. Nagarajan, 1. Introduction By a graph 𝐺 = (𝑉, 𝐸), we mean a finite undirected connected graph without loops or multiple edges. The order and size of 𝐺 are denoted by 𝑝 and π‘ž respectively. For basic graph theoretic terminology, we refer to [1]. A vertex v is adjacent to another vertex 𝑒 if and only if there exists an edge 𝑒 = 𝑒𝑣 ∈ 𝐸(𝐺). If 𝑒𝑣 ∈ 𝐸(𝐺), we say that 𝑒 is a neighbor of 𝑣 and denote by 𝑁𝐺 (𝑣), the set of neighbors of 𝑣. A vertex 𝑣 is said to be universal vertex if deg𝐺 (𝑣) = 𝑝 βˆ’ 1. A vertex 𝑣 is called an extreme vertex if the subgraph induced by 𝑣 iscomplete. The length of a path is the number of its edges. Let u and v be vertices of a connected graph G. A shortest u-v path is also called a u-vgeodesic. The (shortest path) distance is defined as the length of a 𝑒-𝑣 geodesic in 𝐺 and is denoted by𝑑𝐺 (𝑒, 𝑣) or 𝑑(𝑒, 𝑣) for short if the graph is clear from the context. For a set 𝑆 of vertices, let 𝐼[𝑆] = ⋃ 𝐼[π‘₯, 𝑦].π‘₯,π‘¦βˆˆπ‘† A set 𝑆 βŠ‚ 𝑉 is called a convex set of 𝐺 if 𝐼[𝑆] = 𝑆. These concepts were studied in [1, 3] A chord of a path P is an edge which connects two non-adjacent vertices of P. A u- v path is called a monophonic path if it is a chordless path. For two vertices u and v, the closed interval J[u, v] consists of all the vertices lying in a u βˆ’ v monophonic path including the vertices u and v. If u and v are adjacent, then J[u, v] = {u, v}. For a set M of vertices, let J[M] = βˆͺu,v∈M J[u, v]. Then certainly M βŠ† J[M]. A set M βŠ† V(G) is called a monophonic set of 𝐺 if 𝐽[𝑀] = 𝑉. The monophonic number π‘š(𝐺) of 𝐺 is the minimum order of its monophonic sets and any monophonic set of order π‘š(𝐺) is called a π‘š-set of 𝐺. A set 𝑀 βŠ† 𝑉(𝐺) is called a monophonic convex set of G if 𝐽(𝑀) = 𝑀. The monophonic convexity number πΆπ‘š(𝐺) of G is the cardinality of a maximum proper monophonic convex subset of V. These concepts were studied in [5-10]. The detour distance 𝐷(𝑒, 𝑣) between two vertices 𝑒 and 𝑣 in a connected graph 𝐺 from 𝑒 to 𝑣 is defined as the length of a longest 𝑒-𝑣 path in 𝐺. An 𝑒-𝑣 path of length 𝐷(𝑒, 𝑣) is called an 𝑒-𝑣 detour. The detour monophonic distance π‘‘π‘š(u,v) between two vertices u and v is the length of a longest u-v monophonic path in G, Any monophonic path of length dm(u,v) is called u-v detour monophonic path. For two vertices 𝑒, 𝑣 ∈ 𝑉, let π½π‘‘π‘š[𝑒, 𝑣] denotes the set of all vertices that lies in 𝑒-𝑣detour monophonic path including 𝑒 and 𝑣, and π½π‘‘π‘š(𝑒, 𝑣)denotes the set of all internal vertices that lies in 𝑒 βˆ’ 𝑣detour monophonic path . For 𝑀 βŠ† 𝑉, let π½π‘‘π‘š [𝑀] = ⋃ π½π‘‘π‘š[𝑒, 𝑣]𝑒,π‘£βˆˆπ‘€ .A set 𝑀 βŠ† 𝑉 is a detour monophonic set if π½π‘‘π‘š[𝑀] = 𝑉.The minimum cardinality of a detour monophonic set of G is the detour monophonic number of G and is denoted by π‘‘π‘š(𝐺). The detour monophonic set of cardinality π‘‘π‘š(𝐺) is called dm-set. These concepts were studied in [2, 4, 11]. 2.The detour monophonic convexity number of a Graph Definition 2.1. A set 𝑆 is detour monophonic convex ifπ½π‘‘π‘š[𝑆} = 𝑆. Clearly 𝑆 = {𝑣} or 𝑆 = 𝑉 then 𝑆 is detour monophonic convex. The detour monophonic convexity number 303 The detour monophonic convexity number of a graph is denoted by πΆπ‘‘π‘š(𝐺), is the cardinality of a maximum proper detour mono-phonic convex subset of 𝑉. Example 2.2. For the graph 𝐺in Figure 2.1, 𝑀1 = {𝑣1, 𝑣2, 𝑣3, 𝑣4, 𝑣5, 𝑣6, 𝑣7, 𝑣8}is a πΆπ‘‘π‘š- set of 𝐺 so that πΆπ‘‘π‘š(𝐺) = 8. Also 𝑀2 = {𝑣1, 𝑣2}is a πΆπ‘š-set of 𝐺 so that πΆπ‘š(𝐺) = 2. Observation 2.3. Let 𝐺 be a connected graph of order 𝑝 β‰₯ 3. Then 2 ≀ πΆπ‘‘π‘š(𝐺) ≀ 𝑝 βˆ’ 1. Theorem 2.4. Let 𝐺 be a connected graph of order 𝑝 and 𝐺 contains an extreme vertex. Then πΆπ‘‘π‘š(𝐺) = 𝑝 βˆ’ 1. Proof. Let 𝐺 contain an extreme vertex, say 𝑣. Then 𝑆 = 𝑉(𝐺) βˆ’ {𝑣} is a π‘‘π‘š-convex set of 𝐺 so that πΆπ‘‘π‘š(𝐺) = 𝑝 βˆ’ 1. Theorem 2.5. Let 𝐺 be a connected graph of order 𝑝 β‰₯ 3. Then2 ≀ πœ”(𝐺) ≀ πΆπ‘‘π‘š(𝐺) ≀ 𝑝 βˆ’ 1, where πœ”(𝐺) is the clique number of 𝐺. Proof. Since 𝐺 is a connected graph of order 𝑝 β‰₯ 3, πœ”(𝐺) β‰₯ 2. Let 𝐻 be a subgraph of 𝐺 such that βŒ©π‘‰(𝐻)βŒͺ is a maximal complete subgraph of 𝐺 so that πΆπ‘‘π‘š(𝐺) β‰₯ |𝑣(𝐻)| = πœ”(𝐺). Let 𝑆 be a π‘‘π‘š-convex set of 𝐺. Then 𝑆 is a convex set of 𝐺 so that πΆπ‘‘π‘š (𝐺) ≀ 𝐢(𝐺). Since every convex set of 𝐺 is a proper subset of 𝐺, 𝐢(𝐺) ≀ 𝑝 βˆ’ 1. Therefore 2 ≀ πœ”(𝐺) ≀ πΆπ‘‘π‘š (𝐺) ≀ 𝑝 βˆ’ 1.. Corollary 2.6. (i) For the complete graph 𝐺 = 𝐾𝑝 (𝑝 β‰₯ 3), πΆπ‘‘π‘š(𝐺) = 𝑝 βˆ’ 1. (ii) For a trivial tree G of order 𝑝 β‰₯ 3, πΆπ‘‘π‘š(𝐺) = 𝑝 βˆ’ 1. (iii) For the fan graph 𝐺 = 𝐾1 + π‘ƒπ‘βˆ’1 (𝑝 β‰₯ 4), πΆπ‘‘π‘š(𝐺) = 𝑝 βˆ’ 1. Theorem 2.7. For the cycle 𝐺 = 𝐢𝑝, (𝑝 β‰₯ 3), πΆπ‘‘π‘š(𝐺) = 2. 304 M. Sivabalan, S. Sundar Raj and V. Nagarajan, Proof. Let𝑆 = {π‘₯, 𝑦}be a set of two adjacent vertices of 𝐺. Then π½π‘‘π‘š[𝑆] = 𝑆, it follows that S is a π‘‘π‘š-convex set of 𝐺 so that πΆπ‘‘π‘š (𝐺) β‰₯ 2. We prove that πΆπ‘‘π‘š(𝐺) = 2. Suppose that πΆπ‘‘π‘š(𝐺) β‰₯ 3. Then there exists a dm-convex set 𝑆1 such that |𝑆1| β‰₯ 3. Hence it follows that 𝑆1 contains two independent vertices of 𝐺. Then π½π‘‘π‘š[𝑆1] β‰  𝑆1. Therefore πΆπ‘‘π‘š(𝐺) = 2.∎ Theorem 2.8. For the complete bipartite graph 𝐺 = πΎπ‘š,𝑛, πΆπ‘‘π‘š(𝐺) = 2. Proof: Let (𝑉1, 𝑉2) be a partition of 𝐺. Since πœ”(𝐺) = 2, πΆπ‘‘π‘š(𝐺) β‰₯ 2. We prove that πΆπ‘‘π‘š(𝐺) = 2. Suppose that πΆπ‘‘π‘š(𝐺) β‰₯ 3. Then there exists two vertices π‘₯ and 𝑦 belong to the same partite 𝑉1 (or 𝑉2). Since 𝑑(π‘₯, 𝑦) = 2 in 𝐺, every vertex in 𝑉1 (or 𝑉2) lie on π‘₯ βˆ’ 𝑦 detour monophonic. Hence it follows that π½π‘‘π‘š [𝑆] β‰  𝑆. Therefore πΆπ‘‘π‘š(𝐺) = 2. ∎ Theorem 2.9. For the wheel graph G= π‘Šπ‘ = 𝐾1 + πΆπ‘βˆ’1(𝑝 β‰₯ 4), πΆπ‘‘π‘š(𝐺) = 3. Proof. Let𝑉(𝐾1) = π‘₯and𝑉(πΆπ‘βˆ’1) = {𝑣1, 𝑣2, … π‘£π‘βˆ’1}. Then 𝑆 = {π‘₯, 𝑣1, 𝑣2} is a det- our monophonic convex set of 𝐺 so that πΆπ‘‘π‘š(𝐺) β‰₯ 3.We prove that πΆπ‘‘π‘š(𝐺) = 3. Suppose that πΆπ‘‘π‘š(𝐺) β‰₯ 4. Then there exists π‘‘π‘š-convex set 𝑆1 such that |𝑆1| β‰₯ 4. Hence it follows that 𝑆1 contains two independent vertices of 𝐺. Then π½π‘‘π‘š[𝑆1] β‰  𝑆1. ThereforeπΆπ‘‘π‘š(𝐺) = 3. ∎ Theorem 2.10. For any two positive integers such that 2 ≀ π‘Ž ≀ 𝑏, there exists a connected graph 𝐺 such that πœ”(𝐺) = π‘Ž and πΆπ‘‘π‘š(𝐺) = 𝑏. Proof. For π‘Ž = 𝑏,let 𝐺 = πΎπ‘Ž+1 βˆ’ {𝑒}. Then πœ”(𝐺) = πΆπ‘‘π‘š(𝐺) = π‘Ž.For π‘Ž < 𝑏, let πΎπ‘Ž be the complete graph with vertices 𝑣1,𝑣2, … , π‘£π‘Ž . Let 𝑃: 𝑒1,𝑒2, … , π‘’π‘βˆ’π‘Ž , π‘’π‘βˆ’π‘Ž+1,… , 𝑒𝑐 where 𝑐 > 𝑏 βˆ’ π‘Ž a path on 𝑐 vertices. Let 𝐺 be the graph obtained from πΎπ‘Ž and 𝑃 by joining 𝑒1 with π‘£π‘Žβˆ’1and π‘£π‘Ž each𝑒𝑖 (2 ≀ 𝑖 ≀ 𝑏 βˆ’ π‘Ž) with π‘£π‘Žβˆ’1 and 𝑒𝑐 with π‘£π‘Žβˆ’1. The graph 𝐺 is shown in Figure 2.2. First, we prove that πœ”(𝐺) = π‘Ž. Let 𝑆 = {𝑣1,𝑣2, … , π‘£π‘Ž }. It is clear that 𝑆 is a maximal complete subgraph of 𝐺 such that πœ”(𝐺) = π‘Ž. Next, we prove that πΆπ‘‘π‘š(𝐺) = 𝑏. Let π‘Š = {𝑣1,𝑣2, … , π‘£π‘Ž, 𝑒1,𝑒2, … , π‘’π‘βˆ’π‘Ž}. It is clear that π‘Š is a π‘‘π‘š-convex set of 𝐺 so thatπΆπ‘‘π‘š (𝐺) β‰₯ 𝐺 . We prove that πΆπ‘‘π‘š(𝐺) = 𝑏. Suppose that πΆπ‘‘π‘š(𝐺) > 𝑏. Let 𝑆1 be a dm-convex set with |𝑆1| β‰₯ 𝑏 + 1.Then there exists a vertex𝑒𝑖 (𝑏 βˆ’ π‘Ž + 1 ≀ 𝑖 ≀ 𝑐)such that 𝑒𝑖 ∈ 𝑆1. Then π½π‘‘π‘š[𝑆1] β‰  𝑆1.ThereforeπΆπ‘‘π‘š(𝐺) = 𝑏. ∎ 305 The detour monophonic convexity number of a graph Theorem 2.11. For every pair of integers π‘Ž and 𝑏 with 3 ≀ π‘Ž < 𝑏, there exists a connected graph 𝐺 such that πΆπ‘š(𝐺) = π‘Ž and πΆπ‘‘π‘š(𝐺) = 2(𝑏 + 1). Proof. Let 𝑉(οΏ½Μ…οΏ½2) = {π‘₯, 𝑦}. Let 𝑃𝑖 : 𝑒𝑖,𝑣𝑖 (1 ≀ 𝑖 ≀ 𝑏)be a copy of path of order two. Let 𝐺 be the graph obtained from οΏ½Μ…οΏ½2, 𝑃𝑖 (1 ≀ 𝑖 ≀ 𝑏) and πΎπ‘Žβˆ’1 by joining π‘₯ with each 𝑒𝑖 (1 ≀ 𝑖 ≀ 𝑏) and y with each 𝑣𝑖 (1 ≀ 𝑖 ≀ 𝑏)and π‘₯ and 𝑦 with each vertex of πΎπ‘Ž. The graph 𝐺 is shown in Figure 2.3. First, we prove that πΆπ‘š(𝐺) = π‘Ž. Let 𝑀 = 𝑉(πΎπ‘Ž) βˆͺ {π‘₯}. Then 𝑀 is a monophonic convex set of 𝐺 and so πΆπ‘š(𝐺) β‰₯ π‘Ž. We prove that πΆπ‘š(𝐺) = π‘Ž. Suppose that πΆπ‘š(𝐺) β‰₯ π‘Ž + 1. Let 𝑀1 be π‘š-convex set with |𝑆| β‰₯ π‘Ž + 1. Then there exists at least one vertex, say π‘₯ such that π‘₯ ∈ 𝑀1 and π‘₯ βˆ‰ 𝑀. Hence it follows that π‘₯ = 𝑒𝑖 or 𝑣𝑖 or 𝑦 for some 𝑖 (1 ≀ 𝑖 ≀ 𝑏). Then π½π‘š[𝑀1] β‰  𝑀1, which is a contradiction. Therefore πΆπ‘š(𝐺) = π‘Ž. Next we prove that πΆπ‘‘π‘š(𝐺) = 2(𝑏 + 1). Let 𝑆 = 𝑉(𝐺) βˆ’ 𝑉(πΎπ‘Ž). Then 𝑆 is a detour monophonic convex set of 𝐺 and so πΆπ‘‘π‘š(𝐺) β‰₯ 2(𝑏 + 1). We prove that πΆπ‘‘π‘š(𝐺) = 2(𝑏 + 1). On the contrary πΆπ‘‘π‘š(𝐺) > 2(𝑏 + 1). Let 𝑆1 be a dm-convex set with |𝑆1| β‰₯ 2(𝑏 + 1) + 1. Then there exists a vertex π‘₯ ∈ 𝑆1 such that π‘₯ βˆ‰ 𝑆. Hence it follows that π‘₯ ∈ πΎπ‘Ž. Then π½π‘‘π‘š[𝑆1] β‰  𝑆1. Therefore πΆπ‘‘π‘š(𝐺) = 2(𝑏 + 1).∎ 306 M. Sivabalan, S. Sundar Raj and V. Nagarajan, 3. Conclusions In this paper, we investigated the detour monophonic convexity number of some standard graphs. Also, we proved for every pair of integers π‘Ž and 𝑏 with 3 ≀ π‘Ž < 𝑏, there exists a connected graph 𝐺 such that πΆπ‘š(𝐺) = π‘Ž and πΆπ‘‘π‘š(𝐺) = 2(𝑏 + 1). Acknowledgements The author would like to express her gratitude to the referees for their valuable comments and suggestions. References [1] F. Buckley and F. Harary, Distance in Graphs, Addition-Wesley, Redwood City, CA, 1990. [2] G. Chartrand, G. Johns and S. Tian, Detour Distance in Graphs, Annals of Discrete Mathematics,55, 127-136, 1993. [3] G. Chartrand, C. Wall and P. Zhang, The Convexity number of a Graph, Graphs and Combinatorics, 18, 209-217, 2002. [4] G. Chartrand, G. Johns and P. Zhang, The detour number of a graph, Utilitas Mathematica, 64, 97-113, 2003. [5] P. Duchlet, Convex sets in Graphs, II. Minimal path convexity, J. Comb. Theory, ser-B, 44, 307-316, 1988. 307 The detour monophonic convexity number of a graph [6] J. John and S. Panchali, The upper monophonic number of a graph, International J. Combin, 4, 46-52,2010. [7] Jase Caceres and Ortrud R. Oellermann, Minimal Trees and Monophonic Convexity Discussiones Mathematicae Graph Theory, 32, 685-704,2012. [8] Mitre C. Dourado, Fabio Protti and Jayme L. Szwarcfiter, Complexity results related to monophonic convexity, Discrete Applied Mathematics, 158, 1268-1274. 2010. [9] S. V. Padmavathi, The Weak (Monophonic) convexity number of a graph, Progress in Nonlinear Dynamics and chaos, 3(2), 71-79,2015. [10] A. P. Santhakumaran and P. Titus, Monophonic distance in graphs, Discrete Mathematics, Algorithms and Applications, 3(2), 159 – 169,2011. [11] P. Titus, K. Ganesamoorthy and P. Balakrishnan, The detour monophonic number of a graph, ARS Combinatoria, 84, 179-188,2013. 308