James A. Davis , Sophie Huczynska , Laura Johnson , John Polhill
{"title":"奇素数情况下存在丹尼斯顿偏差集","authors":"James A. Davis , Sophie Huczynska , Laura Johnson , John Polhill","doi":"10.1016/j.ffa.2024.102499","DOIUrl":null,"url":null,"abstract":"<div><p>Denniston constructed partial difference sets (PDSs) with the parameters <span><math><mo>(</mo><msup><mrow><mn>2</mn></mrow><mrow><mn>3</mn><mi>m</mi></mrow></msup><mo>,</mo><mo>(</mo><msup><mrow><mn>2</mn></mrow><mrow><mi>m</mi><mo>+</mo><mi>r</mi></mrow></msup><mo>−</mo><msup><mrow><mn>2</mn></mrow><mrow><mi>m</mi></mrow></msup><mo>+</mo><msup><mrow><mn>2</mn></mrow><mrow><mi>r</mi></mrow></msup><mo>)</mo><mo>(</mo><msup><mrow><mn>2</mn></mrow><mrow><mi>m</mi></mrow></msup><mo>−</mo><mn>1</mn><mo>)</mo><mo>,</mo><msup><mrow><mn>2</mn></mrow><mrow><mi>m</mi></mrow></msup><mo>−</mo><msup><mrow><mn>2</mn></mrow><mrow><mi>r</mi></mrow></msup><mo>+</mo><mo>(</mo><msup><mrow><mn>2</mn></mrow><mrow><mi>m</mi><mo>+</mo><mi>r</mi></mrow></msup><mo>−</mo><msup><mrow><mn>2</mn></mrow><mrow><mi>m</mi></mrow></msup><mo>+</mo><msup><mrow><mn>2</mn></mrow><mrow><mi>r</mi></mrow></msup><mo>)</mo><mo>(</mo><msup><mrow><mn>2</mn></mrow><mrow><mi>r</mi></mrow></msup><mo>−</mo><mn>2</mn><mo>)</mo><mo>,</mo><mo>(</mo><msup><mrow><mn>2</mn></mrow><mrow><mi>m</mi><mo>+</mo><mi>r</mi></mrow></msup><mo>−</mo><msup><mrow><mn>2</mn></mrow><mrow><mi>m</mi></mrow></msup><mo>+</mo><msup><mrow><mn>2</mn></mrow><mrow><mi>r</mi></mrow></msup><mo>)</mo><mo>(</mo><msup><mrow><mn>2</mn></mrow><mrow><mi>r</mi></mrow></msup><mo>−</mo><mn>1</mn><mo>)</mo><mo>)</mo></math></span> in elementary abelian groups of order <span><math><msup><mrow><mn>2</mn></mrow><mrow><mn>3</mn><mi>m</mi></mrow></msup></math></span> for all <span><math><mi>m</mi><mo>≥</mo><mn>2</mn><mo>,</mo><mn>1</mn><mo>≤</mo><mi>r</mi><mo><</mo><mi>m</mi></math></span>. These correspond to maximal arcs in Desarguesian projective planes of even order. In this paper, we show that - although maximal arcs do not exist in Desarguesian projective planes of odd order - PDSs with the Denniston parameters <span><math><mo>(</mo><msup><mrow><mi>p</mi></mrow><mrow><mn>3</mn><mi>m</mi></mrow></msup><mo>,</mo><mo>(</mo><msup><mrow><mi>p</mi></mrow><mrow><mi>m</mi><mo>+</mo><mi>r</mi></mrow></msup><mo>−</mo><msup><mrow><mi>p</mi></mrow><mrow><mi>m</mi></mrow></msup><mo>+</mo><msup><mrow><mi>p</mi></mrow><mrow><mi>r</mi></mrow></msup><mo>)</mo><mo>(</mo><msup><mrow><mi>p</mi></mrow><mrow><mi>m</mi></mrow></msup><mo>−</mo><mn>1</mn><mo>)</mo><mo>,</mo><msup><mrow><mi>p</mi></mrow><mrow><mi>m</mi></mrow></msup><mo>−</mo><msup><mrow><mi>p</mi></mrow><mrow><mi>r</mi></mrow></msup><mo>+</mo><mo>(</mo><msup><mrow><mi>p</mi></mrow><mrow><mi>m</mi><mo>+</mo><mi>r</mi></mrow></msup><mo>−</mo><msup><mrow><mi>p</mi></mrow><mrow><mi>m</mi></mrow></msup><mo>+</mo><msup><mrow><mi>p</mi></mrow><mrow><mi>r</mi></mrow></msup><mo>)</mo><mo>(</mo><msup><mrow><mi>p</mi></mrow><mrow><mi>r</mi></mrow></msup><mo>−</mo><mn>2</mn><mo>)</mo><mo>,</mo><mo>(</mo><msup><mrow><mi>p</mi></mrow><mrow><mi>m</mi><mo>+</mo><mi>r</mi></mrow></msup><mo>−</mo><msup><mrow><mi>p</mi></mrow><mrow><mi>m</mi></mrow></msup><mo>+</mo><msup><mrow><mi>p</mi></mrow><mrow><mi>r</mi></mrow></msup><mo>)</mo><mo>(</mo><msup><mrow><mi>p</mi></mrow><mrow><mi>r</mi></mrow></msup><mo>−</mo><mn>1</mn><mo>)</mo><mo>)</mo></math></span> exist in all elementary abelian groups of order <span><math><msup><mrow><mi>p</mi></mrow><mrow><mn>3</mn><mi>m</mi></mrow></msup></math></span> for all <span><math><mi>m</mi><mo>≥</mo><mn>2</mn><mo>,</mo><mi>r</mi><mo>∈</mo><mo>{</mo><mn>1</mn><mo>,</mo><mi>m</mi><mo>−</mo><mn>1</mn><mo>}</mo></math></span> where <em>p</em> is an odd prime, and present a construction. Our approach uses PDSs formed as unions of cyclotomic classes.</p></div>","PeriodicalId":50446,"journal":{"name":"Finite Fields and Their Applications","volume":null,"pages":null},"PeriodicalIF":1.2000,"publicationDate":"2024-09-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://www.sciencedirect.com/science/article/pii/S1071579724001382/pdfft?md5=03b1e738d3c4bc750b4b0f4af02289e1&pid=1-s2.0-S1071579724001382-main.pdf","citationCount":"0","resultStr":"{\"title\":\"Denniston partial difference sets exist in the odd prime case\",\"authors\":\"James A. Davis , Sophie Huczynska , Laura Johnson , John Polhill\",\"doi\":\"10.1016/j.ffa.2024.102499\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"<div><p>Denniston constructed partial difference sets (PDSs) with the parameters <span><math><mo>(</mo><msup><mrow><mn>2</mn></mrow><mrow><mn>3</mn><mi>m</mi></mrow></msup><mo>,</mo><mo>(</mo><msup><mrow><mn>2</mn></mrow><mrow><mi>m</mi><mo>+</mo><mi>r</mi></mrow></msup><mo>−</mo><msup><mrow><mn>2</mn></mrow><mrow><mi>m</mi></mrow></msup><mo>+</mo><msup><mrow><mn>2</mn></mrow><mrow><mi>r</mi></mrow></msup><mo>)</mo><mo>(</mo><msup><mrow><mn>2</mn></mrow><mrow><mi>m</mi></mrow></msup><mo>−</mo><mn>1</mn><mo>)</mo><mo>,</mo><msup><mrow><mn>2</mn></mrow><mrow><mi>m</mi></mrow></msup><mo>−</mo><msup><mrow><mn>2</mn></mrow><mrow><mi>r</mi></mrow></msup><mo>+</mo><mo>(</mo><msup><mrow><mn>2</mn></mrow><mrow><mi>m</mi><mo>+</mo><mi>r</mi></mrow></msup><mo>−</mo><msup><mrow><mn>2</mn></mrow><mrow><mi>m</mi></mrow></msup><mo>+</mo><msup><mrow><mn>2</mn></mrow><mrow><mi>r</mi></mrow></msup><mo>)</mo><mo>(</mo><msup><mrow><mn>2</mn></mrow><mrow><mi>r</mi></mrow></msup><mo>−</mo><mn>2</mn><mo>)</mo><mo>,</mo><mo>(</mo><msup><mrow><mn>2</mn></mrow><mrow><mi>m</mi><mo>+</mo><mi>r</mi></mrow></msup><mo>−</mo><msup><mrow><mn>2</mn></mrow><mrow><mi>m</mi></mrow></msup><mo>+</mo><msup><mrow><mn>2</mn></mrow><mrow><mi>r</mi></mrow></msup><mo>)</mo><mo>(</mo><msup><mrow><mn>2</mn></mrow><mrow><mi>r</mi></mrow></msup><mo>−</mo><mn>1</mn><mo>)</mo><mo>)</mo></math></span> in elementary abelian groups of order <span><math><msup><mrow><mn>2</mn></mrow><mrow><mn>3</mn><mi>m</mi></mrow></msup></math></span> for all <span><math><mi>m</mi><mo>≥</mo><mn>2</mn><mo>,</mo><mn>1</mn><mo>≤</mo><mi>r</mi><mo><</mo><mi>m</mi></math></span>. These correspond to maximal arcs in Desarguesian projective planes of even order. In this paper, we show that - although maximal arcs do not exist in Desarguesian projective planes of odd order - PDSs with the Denniston parameters <span><math><mo>(</mo><msup><mrow><mi>p</mi></mrow><mrow><mn>3</mn><mi>m</mi></mrow></msup><mo>,</mo><mo>(</mo><msup><mrow><mi>p</mi></mrow><mrow><mi>m</mi><mo>+</mo><mi>r</mi></mrow></msup><mo>−</mo><msup><mrow><mi>p</mi></mrow><mrow><mi>m</mi></mrow></msup><mo>+</mo><msup><mrow><mi>p</mi></mrow><mrow><mi>r</mi></mrow></msup><mo>)</mo><mo>(</mo><msup><mrow><mi>p</mi></mrow><mrow><mi>m</mi></mrow></msup><mo>−</mo><mn>1</mn><mo>)</mo><mo>,</mo><msup><mrow><mi>p</mi></mrow><mrow><mi>m</mi></mrow></msup><mo>−</mo><msup><mrow><mi>p</mi></mrow><mrow><mi>r</mi></mrow></msup><mo>+</mo><mo>(</mo><msup><mrow><mi>p</mi></mrow><mrow><mi>m</mi><mo>+</mo><mi>r</mi></mrow></msup><mo>−</mo><msup><mrow><mi>p</mi></mrow><mrow><mi>m</mi></mrow></msup><mo>+</mo><msup><mrow><mi>p</mi></mrow><mrow><mi>r</mi></mrow></msup><mo>)</mo><mo>(</mo><msup><mrow><mi>p</mi></mrow><mrow><mi>r</mi></mrow></msup><mo>−</mo><mn>2</mn><mo>)</mo><mo>,</mo><mo>(</mo><msup><mrow><mi>p</mi></mrow><mrow><mi>m</mi><mo>+</mo><mi>r</mi></mrow></msup><mo>−</mo><msup><mrow><mi>p</mi></mrow><mrow><mi>m</mi></mrow></msup><mo>+</mo><msup><mrow><mi>p</mi></mrow><mrow><mi>r</mi></mrow></msup><mo>)</mo><mo>(</mo><msup><mrow><mi>p</mi></mrow><mrow><mi>r</mi></mrow></msup><mo>−</mo><mn>1</mn><mo>)</mo><mo>)</mo></math></span> exist in all elementary abelian groups of order <span><math><msup><mrow><mi>p</mi></mrow><mrow><mn>3</mn><mi>m</mi></mrow></msup></math></span> for all <span><math><mi>m</mi><mo>≥</mo><mn>2</mn><mo>,</mo><mi>r</mi><mo>∈</mo><mo>{</mo><mn>1</mn><mo>,</mo><mi>m</mi><mo>−</mo><mn>1</mn><mo>}</mo></math></span> where <em>p</em> is an odd prime, and present a construction. Our approach uses PDSs formed as unions of cyclotomic classes.</p></div>\",\"PeriodicalId\":50446,\"journal\":{\"name\":\"Finite Fields and Their Applications\",\"volume\":null,\"pages\":null},\"PeriodicalIF\":1.2000,\"publicationDate\":\"2024-09-03\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"https://www.sciencedirect.com/science/article/pii/S1071579724001382/pdfft?md5=03b1e738d3c4bc750b4b0f4af02289e1&pid=1-s2.0-S1071579724001382-main.pdf\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Finite Fields and Their Applications\",\"FirstCategoryId\":\"100\",\"ListUrlMain\":\"https://www.sciencedirect.com/science/article/pii/S1071579724001382\",\"RegionNum\":3,\"RegionCategory\":\"数学\",\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"Q1\",\"JCRName\":\"MATHEMATICS\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Finite Fields and Their Applications","FirstCategoryId":"100","ListUrlMain":"https://www.sciencedirect.com/science/article/pii/S1071579724001382","RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q1","JCRName":"MATHEMATICS","Score":null,"Total":0}
Denniston partial difference sets exist in the odd prime case
Denniston constructed partial difference sets (PDSs) with the parameters in elementary abelian groups of order for all . These correspond to maximal arcs in Desarguesian projective planes of even order. In this paper, we show that - although maximal arcs do not exist in Desarguesian projective planes of odd order - PDSs with the Denniston parameters exist in all elementary abelian groups of order for all where p is an odd prime, and present a construction. Our approach uses PDSs formed as unions of cyclotomic classes.
期刊介绍:
Finite Fields and Their Applications is a peer-reviewed technical journal publishing papers in finite field theory as well as in applications of finite fields. As a result of applications in a wide variety of areas, finite fields are increasingly important in several areas of mathematics, including linear and abstract algebra, number theory and algebraic geometry, as well as in computer science, statistics, information theory, and engineering.
For cohesion, and because so many applications rely on various theoretical properties of finite fields, it is essential that there be a core of high-quality papers on theoretical aspects. In addition, since much of the vitality of the area comes from computational problems, the journal publishes papers on computational aspects of finite fields as well as on algorithms and complexity of finite field-related methods.
The journal also publishes papers in various applications including, but not limited to, algebraic coding theory, cryptology, combinatorial design theory, pseudorandom number generation, and linear recurring sequences. There are other areas of application to be included, but the important point is that finite fields play a nontrivial role in the theory, application, or algorithm.