{"title":"Attainable bounds for algebraic connectivity and maximally connected regular graphs","authors":"Geoffrey Exoo, Theodore Kolokolnikov, Jeanette Janssen, Timothy Salamon","doi":"10.1002/jgt.23146","DOIUrl":"10.1002/jgt.23146","url":null,"abstract":"<p>We derive attainable upper bounds on the algebraic connectivity (spectral gap) of a regular graph in terms of its diameter and girth. This bound agrees with the well-known Alon–Boppana–Friedman bound for graphs of even diameter, but is an improvement for graphs of odd diameter. For the girth bound, we show that only Moore graphs can attain it, and these only exist for well-known special cases. For the diameter bound, we use a combination of stochastic algorithms and exhaustive search to find graphs which attain it. For 3-regular graphs, we find attainable graphs for all diameters <span></span><math>\u0000 <semantics>\u0000 <mrow>\u0000 \u0000 <mrow>\u0000 <mi>D</mi>\u0000 </mrow>\u0000 </mrow>\u0000 <annotation> $D$</annotation>\u0000 </semantics></math> up to and including <span></span><math>\u0000 <semantics>\u0000 <mrow>\u0000 \u0000 <mrow>\u0000 <mi>D</mi>\u0000 \u0000 <mo>=</mo>\u0000 \u0000 <mn>9</mn>\u0000 </mrow>\u0000 </mrow>\u0000 <annotation> $D=9$</annotation>\u0000 </semantics></math> (the case of <span></span><math>\u0000 <semantics>\u0000 <mrow>\u0000 \u0000 <mrow>\u0000 <mi>D</mi>\u0000 \u0000 <mo>=</mo>\u0000 \u0000 <mn>10</mn>\u0000 </mrow>\u0000 </mrow>\u0000 <annotation> $D=10$</annotation>\u0000 </semantics></math> is open). These graphs are extremely rare and also have high girth; for example, we found exactly 45 distinct cubic graphs on 44 vertices attaining the upper bound when <span></span><math>\u0000 <semantics>\u0000 <mrow>\u0000 \u0000 <mrow>\u0000 <mi>D</mi>\u0000 \u0000 <mo>=</mo>\u0000 \u0000 <mn>7</mn>\u0000 </mrow>\u0000 </mrow>\u0000 <annotation> $D=7$</annotation>\u0000 </semantics></math>; all have girth 8. We also exhibit several infinite families attaining the upper bound with respect to diameter or girth. In particular, when <span></span><math>\u0000 <semantics>\u0000 <mrow>\u0000 \u0000 <mrow>\u0000 <mi>d</mi>\u0000 </mrow>\u0000 </mrow>\u0000 <annotation> $d$</annotation>\u0000 </semantics></math> is a power of prime, we construct a <span></span><math>\u0000 <semantics>\u0000 <mrow>\u0000 \u0000 <mrow>\u0000 <mi>d</mi>\u0000 </mrow>\u0000 ","PeriodicalId":16014,"journal":{"name":"Journal of Graph Theory","volume":"107 3","pages":"522-549"},"PeriodicalIF":0.9,"publicationDate":"2024-06-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://onlinelibrary.wiley.com/doi/epdf/10.1002/jgt.23146","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141504369","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"On oriented \u0000 \u0000 \u0000 \u0000 m\u0000 \u0000 \u0000 $m$\u0000 -semiregular representations of finite groups","authors":"Jia-Li Du, Yan-Quan Feng, Sejeong Bang","doi":"10.1002/jgt.23145","DOIUrl":"10.1002/jgt.23145","url":null,"abstract":"<p>A finite group <span></span><math>\u0000 <semantics>\u0000 <mrow>\u0000 \u0000 <mrow>\u0000 <mi>G</mi>\u0000 </mrow>\u0000 </mrow>\u0000 <annotation> $G$</annotation>\u0000 </semantics></math> admits an <i>oriented regular representation</i> if there exists a Cayley digraph of <span></span><math>\u0000 <semantics>\u0000 <mrow>\u0000 \u0000 <mrow>\u0000 <mi>G</mi>\u0000 </mrow>\u0000 </mrow>\u0000 <annotation> $G$</annotation>\u0000 </semantics></math> such that it has no digons and its automorphism group is isomorphic to <span></span><math>\u0000 <semantics>\u0000 <mrow>\u0000 \u0000 <mrow>\u0000 <mi>G</mi>\u0000 </mrow>\u0000 </mrow>\u0000 <annotation> $G$</annotation>\u0000 </semantics></math>. Let <span></span><math>\u0000 <semantics>\u0000 <mrow>\u0000 \u0000 <mrow>\u0000 <mi>m</mi>\u0000 </mrow>\u0000 </mrow>\u0000 <annotation> $m$</annotation>\u0000 </semantics></math> be a positive integer. In this paper, we extend the notion of oriented regular representations to oriented <span></span><math>\u0000 <semantics>\u0000 <mrow>\u0000 \u0000 <mrow>\u0000 <mi>m</mi>\u0000 </mrow>\u0000 </mrow>\u0000 <annotation> $m$</annotation>\u0000 </semantics></math>-semiregular representations using <span></span><math>\u0000 <semantics>\u0000 <mrow>\u0000 \u0000 <mrow>\u0000 <mi>m</mi>\u0000 </mrow>\u0000 </mrow>\u0000 <annotation> $m$</annotation>\u0000 </semantics></math>-Cayley digraphs. Given a finite group <span></span><math>\u0000 <semantics>\u0000 <mrow>\u0000 \u0000 <mrow>\u0000 <mi>G</mi>\u0000 </mrow>\u0000 </mrow>\u0000 <annotation> $G$</annotation>\u0000 </semantics></math>, an <span></span><math>\u0000 <semantics>\u0000 <mrow>\u0000 \u0000 <mrow>\u0000 <mi>m</mi>\u0000 </mrow>\u0000 </mrow>\u0000 <annotation> $m$</annotation>\u0000 </semantics></math>-<i>Cayley digraph</i> of <span></span><math>\u0000 <semantics>\u0000 <mrow>\u0000 \u0000 <mrow>\u0000 <mi>G</mi>\u0000 </mrow>\u0000 </mrow>\u0000 <annotation> $G$</annotation>\u0000 </semantics></math> is a digraph that has a group of automorphisms isomorphic to <span></span><math>\u0000 <semantics>\u0000 <mrow>\u0000 \u0000 <mrow>\u0000 <mi>G</mi","PeriodicalId":16014,"journal":{"name":"Journal of Graph Theory","volume":"107 3","pages":"485-508"},"PeriodicalIF":0.9,"publicationDate":"2024-06-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141504370","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}