{"title":"关于距离正则图的自同构群","authors":"László Pyber , Saveliy V. Skresanov","doi":"10.1016/j.jctb.2024.12.005","DOIUrl":null,"url":null,"abstract":"<div><div>The motion of a graph is the minimal degree of its full automorphism group. Babai conjectured that the motion of a primitive distance-regular graph on <em>n</em> vertices of diameter greater than two is at least <span><math><mi>n</mi><mo>/</mo><mi>C</mi></math></span> for some universal constant <span><math><mi>C</mi><mo>></mo><mn>0</mn></math></span>, unless the graph is a Johnson or Hamming graph. We prove that the motion of a distance-regular graph of diameter <span><math><mi>d</mi><mo>≥</mo><mn>3</mn></math></span> on <em>n</em> vertices is at least <span><math><mi>C</mi><mi>n</mi><mo>/</mo><msup><mrow><mo>(</mo><mi>log</mi><mo></mo><mi>n</mi><mo>)</mo></mrow><mrow><mn>6</mn></mrow></msup></math></span> for some universal constant <span><math><mi>C</mi><mo>></mo><mn>0</mn></math></span>, unless it is a Johnson, Hamming or crown graph. To show this, we improve an earlier result by Kivva who gave a lower bound on motion of the form <span><math><mi>n</mi><mo>/</mo><msub><mrow><mi>c</mi></mrow><mrow><mi>d</mi></mrow></msub></math></span>, where <span><math><msub><mrow><mi>c</mi></mrow><mrow><mi>d</mi></mrow></msub></math></span> depends exponentially on <em>d</em>. As a corollary we derive a quasipolynomial upper bound for the size of the automorphism group of a primitive distance-regular graph acting edge-transitively on the graph and on its distance-2 graph. The proofs use elementary combinatorial arguments and do not depend on the classification of finite simple groups.</div></div>","PeriodicalId":54865,"journal":{"name":"Journal of Combinatorial Theory Series B","volume":"172 ","pages":"Pages 94-114"},"PeriodicalIF":1.2000,"publicationDate":"2024-12-31","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"On the automorphism group of a distance-regular graph\",\"authors\":\"László Pyber , Saveliy V. Skresanov\",\"doi\":\"10.1016/j.jctb.2024.12.005\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"<div><div>The motion of a graph is the minimal degree of its full automorphism group. Babai conjectured that the motion of a primitive distance-regular graph on <em>n</em> vertices of diameter greater than two is at least <span><math><mi>n</mi><mo>/</mo><mi>C</mi></math></span> for some universal constant <span><math><mi>C</mi><mo>></mo><mn>0</mn></math></span>, unless the graph is a Johnson or Hamming graph. We prove that the motion of a distance-regular graph of diameter <span><math><mi>d</mi><mo>≥</mo><mn>3</mn></math></span> on <em>n</em> vertices is at least <span><math><mi>C</mi><mi>n</mi><mo>/</mo><msup><mrow><mo>(</mo><mi>log</mi><mo></mo><mi>n</mi><mo>)</mo></mrow><mrow><mn>6</mn></mrow></msup></math></span> for some universal constant <span><math><mi>C</mi><mo>></mo><mn>0</mn></math></span>, unless it is a Johnson, Hamming or crown graph. To show this, we improve an earlier result by Kivva who gave a lower bound on motion of the form <span><math><mi>n</mi><mo>/</mo><msub><mrow><mi>c</mi></mrow><mrow><mi>d</mi></mrow></msub></math></span>, where <span><math><msub><mrow><mi>c</mi></mrow><mrow><mi>d</mi></mrow></msub></math></span> depends exponentially on <em>d</em>. As a corollary we derive a quasipolynomial upper bound for the size of the automorphism group of a primitive distance-regular graph acting edge-transitively on the graph and on its distance-2 graph. The proofs use elementary combinatorial arguments and do not depend on the classification of finite simple groups.</div></div>\",\"PeriodicalId\":54865,\"journal\":{\"name\":\"Journal of Combinatorial Theory Series B\",\"volume\":\"172 \",\"pages\":\"Pages 94-114\"},\"PeriodicalIF\":1.2000,\"publicationDate\":\"2024-12-31\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Journal of Combinatorial Theory Series B\",\"FirstCategoryId\":\"100\",\"ListUrlMain\":\"https://www.sciencedirect.com/science/article/pii/S0095895624001035\",\"RegionNum\":1,\"RegionCategory\":\"数学\",\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"Q1\",\"JCRName\":\"MATHEMATICS\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Journal of Combinatorial Theory Series B","FirstCategoryId":"100","ListUrlMain":"https://www.sciencedirect.com/science/article/pii/S0095895624001035","RegionNum":1,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q1","JCRName":"MATHEMATICS","Score":null,"Total":0}
On the automorphism group of a distance-regular graph
The motion of a graph is the minimal degree of its full automorphism group. Babai conjectured that the motion of a primitive distance-regular graph on n vertices of diameter greater than two is at least for some universal constant , unless the graph is a Johnson or Hamming graph. We prove that the motion of a distance-regular graph of diameter on n vertices is at least for some universal constant , unless it is a Johnson, Hamming or crown graph. To show this, we improve an earlier result by Kivva who gave a lower bound on motion of the form , where depends exponentially on d. As a corollary we derive a quasipolynomial upper bound for the size of the automorphism group of a primitive distance-regular graph acting edge-transitively on the graph and on its distance-2 graph. The proofs use elementary combinatorial arguments and do not depend on the classification of finite simple groups.
期刊介绍:
The Journal of Combinatorial Theory publishes original mathematical research dealing with theoretical and physical aspects of the study of finite and discrete structures in all branches of science. Series B is concerned primarily with graph theory and matroid theory and is a valuable tool for mathematicians and computer scientists.