{"title":"The phylogeny number of a graph in the aspect of its triangles and diamonds","authors":"Soogang Eoh, Suh-Ryung Kim, Hojun Lee","doi":"10.1016/j.dam.2024.10.028","DOIUrl":null,"url":null,"abstract":"<div><div>The phylogeny graph of a digraph <span><math><mi>D</mi></math></span>, denoted by <span><math><mrow><mi>P</mi><mrow><mo>(</mo><mi>D</mi><mo>)</mo></mrow></mrow></math></span>, has the vertex set <span><math><mrow><mi>V</mi><mrow><mo>(</mo><mi>D</mi><mo>)</mo></mrow></mrow></math></span> and an edge <span><math><mrow><mi>u</mi><mi>v</mi></mrow></math></span> if and only if <span><math><mrow><mo>(</mo><mi>u</mi><mo>,</mo><mi>v</mi><mo>)</mo></mrow></math></span> or <span><math><mrow><mo>(</mo><mi>v</mi><mo>,</mo><mi>u</mi><mo>)</mo></mrow></math></span> is an arc of <span><math><mi>D</mi></math></span> or <span><math><mi>u</mi></math></span> and <span><math><mi>v</mi></math></span> have a common out-neighbor in <span><math><mi>D</mi></math></span>. The notion of phylogeny graphs was introduced by Roberts and Sheng (1997) as a variant of competition graph. Moral graphs having arisen from studying Bayesian networks are the same as phylogeny graphs. Any acyclic digraph <span><math><mi>D</mi></math></span> for which <span><math><mi>G</mi></math></span> is an induced subgraph of <span><math><mrow><mi>P</mi><mrow><mo>(</mo><mi>D</mi><mo>)</mo></mrow></mrow></math></span> and such that <span><math><mi>D</mi></math></span> has no arcs from vertices outside of <span><math><mi>G</mi></math></span> to vertices in <span><math><mi>G</mi></math></span> is called a phylogeny digraph for <span><math><mi>G</mi></math></span>.</div><div>The phylogeny number <span><math><mrow><mi>p</mi><mrow><mo>(</mo><mi>G</mi><mo>)</mo></mrow></mrow></math></span> of <span><math><mi>G</mi></math></span> is the smallest <span><math><mi>r</mi></math></span> so that <span><math><mi>G</mi></math></span> has a phylogeny digraph <span><math><mi>D</mi></math></span> with <span><math><mrow><mrow><mo>|</mo><mi>V</mi><mrow><mo>(</mo><mi>D</mi><mo>)</mo></mrow><mo>∖</mo><mi>V</mi><mrow><mo>(</mo><mi>G</mi><mo>)</mo></mrow><mo>|</mo></mrow><mo>=</mo><mi>r</mi></mrow></math></span>. In this paper, we integrate the existing theorems computing phylogeny numbers of connected graph with a small number of triangles into one proposition: for a graph <span><math><mi>G</mi></math></span> containing at most two triangle, <span><math><mrow><mrow><mo>|</mo><mi>E</mi><mrow><mo>(</mo><mi>G</mi><mo>)</mo></mrow><mo>|</mo></mrow><mo>−</mo><mrow><mo>|</mo><mi>V</mi><mrow><mo>(</mo><mi>G</mi><mo>)</mo></mrow><mo>|</mo></mrow><mo>−</mo><mn>2</mn><mi>t</mi><mrow><mo>(</mo><mi>G</mi><mo>)</mo></mrow><mo>+</mo><mi>d</mi><mrow><mo>(</mo><mi>G</mi><mo>)</mo></mrow><mo>+</mo><mn>1</mn><mo>≤</mo><mi>p</mi><mrow><mo>(</mo><mi>G</mi><mo>)</mo></mrow><mo>≤</mo><mrow><mo>|</mo><mi>E</mi><mrow><mo>(</mo><mi>G</mi><mo>)</mo></mrow><mo>|</mo></mrow><mo>−</mo><mrow><mo>|</mo><mi>V</mi><mrow><mo>(</mo><mi>G</mi><mo>)</mo></mrow><mo>|</mo></mrow><mo>−</mo><mi>t</mi><mrow><mo>(</mo><mi>G</mi><mo>)</mo></mrow><mo>+</mo><mn>1</mn></mrow></math></span> where <span><math><mrow><mi>t</mi><mrow><mo>(</mo><mi>G</mi><mo>)</mo></mrow></mrow></math></span> and <span><math><mrow><mi>d</mi><mrow><mo>(</mo><mi>G</mi><mo>)</mo></mrow></mrow></math></span> denote the number of triangles and the number of diamonds in <span><math><mi>G</mi></math></span>, respectively. Then we show that these inequalities hold for graphs with many triangles. In the process of showing it, we derive a useful theorem which plays a key role in deducing various meaningful results including a theorem that answers a question given by Wu et al. (2019).</div></div>","PeriodicalId":50573,"journal":{"name":"Discrete Applied Mathematics","volume":"361 ","pages":"Pages 304-314"},"PeriodicalIF":1.0000,"publicationDate":"2024-11-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"Discrete Applied Mathematics","FirstCategoryId":"100","ListUrlMain":"https://www.sciencedirect.com/science/article/pii/S0166218X24004529","RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q3","JCRName":"MATHEMATICS, APPLIED","Score":null,"Total":0}
引用次数: 0
Abstract
The phylogeny graph of a digraph , denoted by , has the vertex set and an edge if and only if or is an arc of or and have a common out-neighbor in . The notion of phylogeny graphs was introduced by Roberts and Sheng (1997) as a variant of competition graph. Moral graphs having arisen from studying Bayesian networks are the same as phylogeny graphs. Any acyclic digraph for which is an induced subgraph of and such that has no arcs from vertices outside of to vertices in is called a phylogeny digraph for .
The phylogeny number of is the smallest so that has a phylogeny digraph with . In this paper, we integrate the existing theorems computing phylogeny numbers of connected graph with a small number of triangles into one proposition: for a graph containing at most two triangle, where and denote the number of triangles and the number of diamonds in , respectively. Then we show that these inequalities hold for graphs with many triangles. In the process of showing it, we derive a useful theorem which plays a key role in deducing various meaningful results including a theorem that answers a question given by Wu et al. (2019).
当且仅当(u,v)或(v,u)是 D 的弧或 u 和 v 在 D 中有共同的外邻时,数字图 D 的系统发育图才有顶点集 V(D)和边 uv,用 P(D) 表示。道德图产生于贝叶斯网络研究,与系统发育图相同。任何非循环数图 D,如果 G 是 P(D) 的诱导子图,且 D 没有从 G 外顶点到 G 内顶点的弧,则称为 G 的系统发育数图。G 的系统发育数 p(G) 是使 G 具有|V(D)∖V(G)|=r 的系统发育数图 D 的最小 r。本文将现有的计算具有少量三角形的连通图的系统发生数的定理整合为一个命题:对于最多包含两个三角形的图 G,|E(G)|-|V(G)|-2t(G)+d(G)+1≤p(G)≤|E(G)|-|V(G)|-t(G)+1,其中 t(G) 和 d(G) 分别表示 G 中的三角形数和菱形数。然后,我们将证明这些不等式对于有许多三角形的图形是成立的。在证明过程中,我们推导出一个有用的定理,该定理在推导各种有意义的结果中发挥了关键作用,其中包括一个回答 Wu 等人(2019)所提问题的定理。
期刊介绍:
The aim of Discrete Applied Mathematics is to bring together research papers in different areas of algorithmic and applicable discrete mathematics as well as applications of combinatorial mathematics to informatics and various areas of science and technology. Contributions presented to the journal can be research papers, short notes, surveys, and possibly research problems. The "Communications" section will be devoted to the fastest possible publication of recent research results that are checked and recommended for publication by a member of the Editorial Board. The journal will also publish a limited number of book announcements as well as proceedings of conferences. These proceedings will be fully refereed and adhere to the normal standards of the journal.
Potential authors are advised to view the journal and the open calls-for-papers of special issues before submitting their manuscripts. Only high-quality, original work that is within the scope of the journal or the targeted special issue will be considered.