{"title":"Cliques of Orders Three and Four in the Paley-Type Graphs","authors":"Anwita Bhowmik, Rupam Barman","doi":"10.1007/s00373-024-02809-1","DOIUrl":"https://doi.org/10.1007/s00373-024-02809-1","url":null,"abstract":"<p>Let <span>(n=2^s p_{1}^{alpha _{1}}cdots p_{k}^{alpha _{k}})</span>, where <span>(s=0)</span> or 1, <span>(alpha _ige 1)</span>, and the distinct primes <span>(p_i)</span> satisfy <span>(p_iequiv 1pmod {4})</span> for all <span>(i=1, ldots , k)</span>. Let <span>(mathbb {Z}_n^*)</span> denote the group of units in the commutative ring <span>(mathbb {Z}_n)</span>. In a recent paper, we defined the Paley-type graph <span>(G_n)</span> of order <i>n</i> as the graph whose vertex set is <span>(mathbb {Z}_n)</span> and <i>xy</i> is an edge if <span>(x-yequiv a^2pmod n)</span> for some <span>(ain mathbb {Z}_n^*)</span>. Computing the number of cliques of a particular order in a Paley graph or its generalizations has been of considerable interest. In our recent paper, for primes <span>(pequiv 1pmod 4)</span> and <span>(alpha ge 1)</span>, by evaluating certain character sums, we found the number of cliques of order 3 in <span>(G_{p^alpha })</span> and expressed the number of cliques of order 4 in <span>(G_{p^alpha })</span> in terms of Jacobi sums. In this article we give combinatorial proofs and find the number of cliques of orders 3 and 4 in <span>(G_n)</span> for all <i>n</i> for which the graph is defined.</p>","PeriodicalId":12811,"journal":{"name":"Graphs and Combinatorics","volume":"126 1","pages":""},"PeriodicalIF":0.7,"publicationDate":"2024-06-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141505150","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Partitions of Vertices and Facets in Trees and Stacked Simplicial Complexes","authors":"Gunnar Fløystad","doi":"10.1007/s00373-024-02804-6","DOIUrl":"https://doi.org/10.1007/s00373-024-02804-6","url":null,"abstract":"<p>For stacked simplicial complexes, (special subclasses of such are: trees, triangulations of polygons, stacked polytopes with their triangulations), we give an explicit bijection between partitions of facets (for trees: edges), and partitions of vertices into independent sets. More generally, we give bijections between facet partitions whose parts have minimal distance <span>(ge s)</span> and vertex partitions whose parts have minimal distance <span>(ge s+1)</span>.</p>","PeriodicalId":12811,"journal":{"name":"Graphs and Combinatorics","volume":"49 1","pages":""},"PeriodicalIF":0.7,"publicationDate":"2024-06-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141529213","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Pivot Gray Codes for the Spanning Trees of a Graph ft. the Fan","authors":"Ben Cameron, Aaron Grubb, Joe Sawada","doi":"10.1007/s00373-024-02808-2","DOIUrl":"https://doi.org/10.1007/s00373-024-02808-2","url":null,"abstract":"<p>We consider the problem of listing all spanning trees of a graph <i>G</i> such that successive trees differ by pivoting a single edge around a vertex. Such a listing is called a “pivot Gray code”, and it has more stringent conditions than known “revolving-door” Gray codes for spanning trees. Most revolving-door algorithms employ a standard edge-deletion/edge-contraction recursive approach which we demonstrate presents natural challenges when requiring the “pivot” property. Our main result is the discovery of a greedy strategy to list the spanning trees of the fan graph in a pivot Gray code order. It is the first greedy algorithm for exhaustively generating spanning trees using such a minimal change operation. The resulting listing is then studied to find a recursive algorithm that produces the same listing in <i>O</i>(1)-amortized time using <i>O</i>(<i>n</i>) space. Additionally, we present <i>O</i>(<i>n</i>)-time algorithms for ranking and unranking the spanning trees for our listing. Finally, we discuss how our listing can be applied to find a pivot Gray code for the wheel graph.</p>","PeriodicalId":12811,"journal":{"name":"Graphs and Combinatorics","volume":"40 1","pages":""},"PeriodicalIF":0.7,"publicationDate":"2024-06-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141505151","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Injective Chromatic Index of $$K_4$$ -Minor Free Graphs","authors":"Jian-Bo Lv, Jiacong Fu, Jianxi Li","doi":"10.1007/s00373-024-02807-3","DOIUrl":"https://doi.org/10.1007/s00373-024-02807-3","url":null,"abstract":"<p>An edge-coloring of a graph <i>G</i> is <i>injective</i> if for any two distinct edges <span>(e_1)</span> and <span>(e_2)</span>, the colors of <span>(e_1)</span> and <span>(e_2)</span> are distinct if they are at distance 2 in <i>G</i> or in a common triangle. The injective chromatic index of <i>G</i>, <span>(chi ^prime _{inj}(G))</span>, is the minimum number of colors needed for an injective edge-coloring of <i>G</i>. In this note, we show that every <span>(K_4)</span>-minor free graph <i>G</i> with maximum degree <span>(Delta (G)ge 3)</span> satisfies <span>(chi ^prime _{inj}(G)le 2Delta (G)+1)</span>.</p>","PeriodicalId":12811,"journal":{"name":"Graphs and Combinatorics","volume":"21 1","pages":""},"PeriodicalIF":0.7,"publicationDate":"2024-06-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141255081","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"A Dirac-Type Theorem for Uniform Hypergraphs","authors":"Yue Ma, Xinmin Hou, Jun Gao","doi":"10.1007/s00373-024-02802-8","DOIUrl":"https://doi.org/10.1007/s00373-024-02802-8","url":null,"abstract":"<p>Dirac (Proc Lond Math Soc (3) 2:69–81, 1952) proved that every connected graph of order <span>(n>2k+1)</span> with minimum degree more than <i>k</i> contains a path of length at least <span>(2k+1)</span>. In this article, we give a hypergraph extension of Dirac’s theorem: Given positive integers <i>n</i>, <i>k</i> and <i>r</i>, let <i>H</i> be a connected <i>n</i>-vertex <i>r</i>-graph with no Berge path of length <span>(2k+1)</span>. (1) If <span>(k> rge 4)</span> and <span>(n>2k+1)</span>, then <span>(delta _1(H)le left( {begin{array}{c}k r-1end{array}}right) )</span>. Furthermore, there exist hypergraphs <span>(S'_r(n,k), S_r(n,k))</span> and <span>(S(sK_{k+1}^{(r)},1))</span> such that the equality holds if and only if <span>(S'_r(n,k)subseteq Hsubseteq S_r(n,k))</span> or <span>(Hcong S(sK_{k+1}^{(r)},1))</span>; (2) If <span>(kge rge 2)</span> and <span>(n>2k(r-1))</span>, then <span>(delta _1(H)le left( {begin{array}{c}k r-1end{array}}right) )</span>. As an application of (1), we give a better lower bound of the minimum degree than the ones in the Dirac-type results for Berge Hamiltonian cycle given by Bermond et al. (Hypergraphes Hamiltoniens. In: Problémes combinatoires et théorie des graphes (Colloq. Internat. CNRS, Univ. Orsay, Orsay, 1976). Colloq. Internat. CNRS, vol. 260, pp. 39–43. CNRS, Paris, 1976) or Clemens et al. (Electron Notes Discrete Math 54:181–186, 2016), respectively.</p>","PeriodicalId":12811,"journal":{"name":"Graphs and Combinatorics","volume":"48 1","pages":""},"PeriodicalIF":0.7,"publicationDate":"2024-06-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141194204","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"The Cordiality Game and the Game Cordiality Number","authors":"Elliot Krop, Aryan Mittal, Michael C. Wigal","doi":"10.1007/s00373-024-02798-1","DOIUrl":"https://doi.org/10.1007/s00373-024-02798-1","url":null,"abstract":"<p>The <i>cordiality game</i> is played on a graph <i>G</i> by two players, Admirable (A) and Impish (I), who take turns selecting unlabeled vertices of <i>G</i>. Admirable labels the selected vertices by 0 and Impish by 1, and the resulting label on any edge is the sum modulo 2 of the labels of the vertices incident to that edge. The two players have opposite goals: Admirable attempts to minimize the number of edges with different labels as much as possible while Impish attempts to maximize this number. When both Admirable and Impish play their optimal games, we define the <i>game cordiality number</i>, <span>(c_g(G))</span>, as the absolute difference between the number of edges labeled zero and one. Let <span>(P_n)</span> be the path on <i>n</i> vertices. We show <span>(c_g(P_n)le frac{n-3}{3})</span> when <span>(n equiv 0 pmod 3)</span>, <span>(c_g(P_n)le frac{n-1}{3})</span> when <span>(n equiv 1 pmod 3)</span>, and <span>(c_g(P_n)le frac{n+1}{3})</span> when <span>(n equiv 2pmod 3)</span>. Furthermore, we show a similar bound, <span>(c_g(T) le frac{|T|}{2})</span> holds for any tree <i>T</i>.</p>","PeriodicalId":12811,"journal":{"name":"Graphs and Combinatorics","volume":"27 1","pages":""},"PeriodicalIF":0.7,"publicationDate":"2024-05-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141194201","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Houmem Belkhechine, Cherifa Ben Salha, Rim Romdhane
{"title":"Irreducible Pairings and Indecomposable Tournaments","authors":"Houmem Belkhechine, Cherifa Ben Salha, Rim Romdhane","doi":"10.1007/s00373-024-02803-7","DOIUrl":"https://doi.org/10.1007/s00373-024-02803-7","url":null,"abstract":"<p>We only consider finite structures. With every totally ordered set <i>V</i> and a subset <i>P</i> of <span>(left( {begin{array}{c}V 2end{array}}right) )</span>, we associate the underlying tournament <span>(textrm{Inv}({underline{V}}, P))</span> obtained from the transitive tournament <span>({underline{V}}:=(V, {(x,y) in V times V: x < y }))</span> by reversing <i>P</i>, i.e., by reversing the arcs (<i>x</i>, <i>y</i>) such that <span>({x,y} in P)</span>. The subset <i>P</i> is a pairing (of <span>(cup P)</span>) if <span>(|cup P| = 2|P|)</span>, a quasi-pairing (of <span>(cup P)</span>) if <span>(|cup P| = 2|P|-1)</span>; it is irreducible if no nontrivial interval of <span>(cup P)</span> is a union of connected components of the graph <span>((cup P, P))</span>. In this paper, we consider pairings and quasi-pairings in relation to tournaments. We establish close relationships between irreducibility of pairings (or quasi-pairings) and indecomposability of their underlying tournaments under modular decomposition. For example, given a pairing <i>P</i> of a totally ordered set <i>V</i> of size at least 6, the pairing <i>P</i> is irreducible if and only if the tournament <span>(textrm{Inv}({underline{V}}, P))</span> is indecomposable. This is a consequence of a more general result characterizing indecomposable tournaments obtained from transitive tournaments by reversing pairings. We obtain analogous results in the case of quasi-pairings.</p>","PeriodicalId":12811,"journal":{"name":"Graphs and Combinatorics","volume":"57 1","pages":""},"PeriodicalIF":0.7,"publicationDate":"2024-05-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141194203","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Jie Chen, Cai-Xia Wang, Yi-Ping Liang, Shou-Jun Xu
{"title":"A Characterization of Graphs with Semitotal Domination Number One-Third Their Order","authors":"Jie Chen, Cai-Xia Wang, Yi-Ping Liang, Shou-Jun Xu","doi":"10.1007/s00373-024-02800-w","DOIUrl":"https://doi.org/10.1007/s00373-024-02800-w","url":null,"abstract":"<p>In an isolate-free graph <i>G</i>, a subset <i>S</i> of vertices is a <i>semitotal dominating set</i> of <i>G</i> if it is a dominating set of <i>G</i> and every vertex in <i>S</i> is within distance 2 of another vertex of <i>S</i>. The <i>semitotal domination number</i> of <i>G</i>, denoted by <span>(gamma _{t2}(G))</span>, is the minimum cardinality of a semitotal dominating set in <i>G</i>. Zhu et al. (Gr Combin 33, 1119–1130, 2017) proved that if <span>(Gnotin {K_4,N_2})</span> is a connected claw-free cubic graph of order <i>n</i>, then <span>(gamma _{t2}(G)le frac{n}{3})</span>, which is sharp. They proposed the problem of characterizing the extremal graphs. We completely solve this problem. There are ten classes of graphs, three of which are infinite families of graphs.</p>","PeriodicalId":12811,"journal":{"name":"Graphs and Combinatorics","volume":"6 1","pages":""},"PeriodicalIF":0.7,"publicationDate":"2024-05-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141194205","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Transitive Subtournaments of k-th Power Paley Digraphs and Improved Lower Bounds for Ramsey Numbers","authors":"Dermot McCarthy, Mason Springfield","doi":"10.1007/s00373-024-02792-7","DOIUrl":"https://doi.org/10.1007/s00373-024-02792-7","url":null,"abstract":"<p>Let <span>(k ge 2)</span> be an even integer. Let <i>q</i> be a prime power such that <span>(q equiv k+1 (text {mod},,2k))</span>. We define the <i>k-th power Paley digraph</i> of order <i>q</i>, <span>(G_k(q))</span>, as the graph with vertex set <span>(mathbb {F}_q)</span> where <span>(a rightarrow b)</span> is an edge if and only if <span>(b-a)</span> is a <i>k</i>-th power residue. This generalizes the (<span>(k=2)</span>) Paley Tournament. We provide a formula, in terms of finite field hypergeometric functions, for the number of transitive subtournaments of order four contained in <span>(G_k(q))</span>, <span>(mathcal {K}_4(G_k(q)))</span>, which holds for all <i>k</i>. We also provide a formula, in terms of Jacobi sums, for the number of transitive subtournaments of order three contained in <span>(G_k(q))</span>, <span>(mathcal {K}_3(G_k(q)))</span>. In both cases, we give explicit determinations of these formulae for small <i>k</i>. We show that zero values of <span>(mathcal {K}_4(G_k(q)))</span> (resp. <span>(mathcal {K}_3(G_k(q)))</span>) yield lower bounds for the multicolor directed Ramsey numbers <span>(R_{frac{k}{2}}(4)=R(4,4,ldots ,4))</span> (resp. <span>(R_{frac{k}{2}}(3))</span>). We state explicitly these lower bounds for <span>(kle 10)</span> and compare to known bounds, showing improvement for <span>(R_2(4))</span> and <span>(R_3(3))</span>. Combining with known multiplicative relations we give improved lower bounds for <span>(R_{t}(4))</span>, for all <span>(tge 2)</span>, and for <span>(R_{t}(3))</span>, for all <span>(t ge 3)</span>.</p>","PeriodicalId":12811,"journal":{"name":"Graphs and Combinatorics","volume":"37 1","pages":""},"PeriodicalIF":0.7,"publicationDate":"2024-05-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141150800","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"The Generalized Terwilliger Algebra of the Hypercube","authors":"Nathan Nicholson","doi":"10.1007/s00373-024-02801-9","DOIUrl":"https://doi.org/10.1007/s00373-024-02801-9","url":null,"abstract":"<p>In the year 2000, Eric Egge introduced the generalized Terwilliger algebra <span>({mathcal {T}})</span> of a distance-regular graph <span>(varGamma )</span>. For any vertex <i>x</i> of <span>(varGamma )</span>, there is a surjective algebra homomorphism <span>(natural )</span> from <span>({mathcal {T}})</span> to the Terwilliger algebra <i>T</i>(<i>x</i>). If <span>(varGamma )</span> is a complete graph, then <span>(natural )</span> is an isomorphism. If <span>(varGamma )</span> is not complete, then <span>(natural )</span> may or may not be an isomorphism, and in general the details are unknown. We show that if <span>(varGamma )</span> is a hypercube, there exists an isomorphism from <span>({mathcal {T}})</span> to a direct sum of full matrix algebras. Using this result, we then show that if <span>(varGamma )</span> is a hypercube, the algebra homomorphism <span>(natural :{mathcal {T}}rightarrow T(x))</span> is an isomorphism for all vertices <i>x</i> of <span>(varGamma )</span>.</p>","PeriodicalId":12811,"journal":{"name":"Graphs and Combinatorics","volume":"40 1","pages":""},"PeriodicalIF":0.7,"publicationDate":"2024-05-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141150799","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}