{"title":"On Graphs in Which the Neighborhoods of Vertices Are Edge-Regular Graphs without 3-Claws","authors":"","doi":"10.1134/s0081543823060044","DOIUrl":null,"url":null,"abstract":"<h3>Abstract</h3> <p>The triangle-free Krein graph Kre<span> <span>\\((r)\\)</span> </span> is strongly regular with parameters <span> <span>\\(((r^{2}+3r)^{2},\\)</span> </span><span> <span>\\(r^{3}+3r^{2}+r,0,r^{2}+r)\\)</span> </span>. The existence of such graphs is known only for <span> <span>\\(r=1\\)</span> </span> (the complement of the Clebsch graph) and <span> <span>\\(r=2\\)</span> </span> (the Higman–Sims graph). A.L. Gavrilyuk and A.A. Makhnev proved that the graph Kre<span> <span>\\((3)\\)</span> </span> does not exist. Later Makhnev proved that the graph Kre<span> <span>\\((4)\\)</span> </span> does not exist. The graph Kre<span> <span>\\((r)\\)</span> </span> is the only strongly regular triangle-free graph in which the antineighborhood of a vertex Kre<span> <span>\\((r)^{\\prime}\\)</span> </span> is strongly regular. The graph Kre<span> <span>\\((r)^{\\prime}\\)</span> </span> has parameters <span> <span>\\(((r^{2}+2r-1)(r^{2}+3r+1),r^{3}+2r^{2},0,r^{2})\\)</span> </span>. This work clarifies Makhnev’s result on graphs in which the neighborhoods of vertices are strongly regular graphs without <span> <span>\\(3\\)</span> </span>-cocliques. As a consequence, it is proved that the graph Kre<span> <span>\\((r)\\)</span> </span> exists if and only if the graph Kre<span> <span>\\((r)^{\\prime}\\)</span> </span> exists and is the complement of the block graph of a quasi-symmetric <span> <span>\\(2\\)</span> </span>-design. </p>","PeriodicalId":54557,"journal":{"name":"Proceedings of the Steklov Institute of Mathematics","volume":"13 1","pages":""},"PeriodicalIF":0.4000,"publicationDate":"2023-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"Proceedings of the Steklov Institute of Mathematics","FirstCategoryId":"100","ListUrlMain":"https://doi.org/10.1134/s0081543823060044","RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q4","JCRName":"MATHEMATICS","Score":null,"Total":0}
引用次数: 0
Abstract
The triangle-free Krein graph Kre\((r)\) is strongly regular with parameters \(((r^{2}+3r)^{2},\)\(r^{3}+3r^{2}+r,0,r^{2}+r)\). The existence of such graphs is known only for \(r=1\) (the complement of the Clebsch graph) and \(r=2\) (the Higman–Sims graph). A.L. Gavrilyuk and A.A. Makhnev proved that the graph Kre\((3)\) does not exist. Later Makhnev proved that the graph Kre\((4)\) does not exist. The graph Kre\((r)\) is the only strongly regular triangle-free graph in which the antineighborhood of a vertex Kre\((r)^{\prime}\) is strongly regular. The graph Kre\((r)^{\prime}\) has parameters \(((r^{2}+2r-1)(r^{2}+3r+1),r^{3}+2r^{2},0,r^{2})\). This work clarifies Makhnev’s result on graphs in which the neighborhoods of vertices are strongly regular graphs without \(3\)-cocliques. As a consequence, it is proved that the graph Kre\((r)\) exists if and only if the graph Kre\((r)^{\prime}\) exists and is the complement of the block graph of a quasi-symmetric \(2\)-design.
期刊介绍:
Proceedings of the Steklov Institute of Mathematics is a cover-to-cover translation of the Trudy Matematicheskogo Instituta imeni V.A. Steklova of the Russian Academy of Sciences. Each issue ordinarily contains either one book-length article or a collection of articles pertaining to the same topic.